Re: ASIS (Was Re: IrisAda)

[alex@MIMSY.CS.UMD.EDU (Alex Blakemore)]

In article <1993Jan21.205719.14359@inmet.camb.inmet.com> ryer@inmet.camb.inmet.
com (Mike Ryer) writes:
> ASIS has a cost beyond the dollars you pay for it.  It
> can result in slower compilers and larger program libraries.
> Our compiler (for MVS) currently generates DIANA; it would be a very simple
> matter to add ASIS generation -- just send money.  

In Intermetric's case, since you already store DIANA, providing an ASIS interfa
ce
to the DIANA should not add significant time, space, costs to your compiler bey
ond
what's there to create and traverse DIANA.  DIANA is a very rich intermediate f
orm.
You are correct that a vendor which already used a lean intermediate form
may have more work & tradeoffs to make to support ASIS.

One important point - ASIS is NOT an intermediate form or a data structure (lik
e DIANA).
It is a relatively simple INTERFACE that allows you to query information from
whatever intermediate form the compiler uses in a standard way.  Depending upon
 the
details of the particular intermediate form, supporting ASIS may be simple or c
omplex.
If the information is already stored in the intermediate form, the compiler sho
uld not
have to be made slower and more complex (regardless of the complexity of the AS
IS interface)
The compiler may not need to be changed at all.  If ASIS requires some informat
ion
that is not currently stored, there are several approaches.
  - modify the compiler to store the needed info,
  - recompute the info on demand
  - not implement the particular ASIS feature
    (several things have been made optional that compiler vendors typically don
t store)
    (there are query routines that allow tools to test if an implementation doe
s this)

For example, source position info may not be preserved by some compilers.
If its not, dont implement the package ASIS_Text that provides that info.
Tools can call the routine IS_Text_Supported to check whether that info is avai
lable.
Tools that dont need source position info can work.  Other tools wont & people 
that
want those tools to run can then pressure/pay you to provide that feature.

I know one very fast lean compiler that already has an intermediate form that
will easily support most of ASIS.  Most compiler vendors already provide some i
nterface,
but its always a different one.  Until we have some kind of standard, its very 
expensive
and difficult to develop Ada tools - and when you are done they only work with
one compiler.

> In my opinion, ASIS has been defined as "everything that Telesoft and Rationa
l
> happen to have in their libraries", rather than "everything that a reasonable
> tool vendor needs and cannot easily compute for him/herself".

ASIS is evolving - and the latest drafts have tried to address your concerns in
several ways.  Several compiler vendors have attended working group sessions an
d
pointed out what is hard or easy for them to support.  One concept that is shap
ing
up in 1.1 is to provide a standard interface to some information that could be 
computed
(with difficulty) from lower level ASIS primitives.  There would be a public
implementation of this higher level layer that any vendor could use - so they o
nly
have to provide the primitives.

Perhaps someone from Intermetrics could attend an ASIS working group meeting an
d
contribute to developing ASIS into a practical standard.  
-- 
---------------------------------------------------
Alex Blakemore alex@cs.umd.edu   NeXT mail accepted