From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: *
X-Spam-Status: No, score=1.3 required=5.0 tests=BAYES_00,INVALID_MSGID,
	MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,33c2f396f345ec59
X-Google-Attributes: gid103376,public
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: FRAC tool?
Date: 1999/06/25
Message-ID: <7l03ds$5a4$1@nnrp1.deja.com>#1/1
X-Deja-AN: 493766897
References: <7itrtj$l8t$1@news8.svr.pol.co.uk> <wcclndti94g.fsf@world.std.com>
 <7jmnk0$vvv$1@nnrp1.deja.com> <2oRa3.14$Lc3.1167@typhoon.nyu.edu>
X-Http-Proxy: 1.0 x37.deja.com:80 (Squid/1.1.22) for client 205.232.38.14
Organization: Deja.com - Share what you know. Learn what you don't.
X-Article-Creation-Date: Fri Jun 25 14:24:12 1999 GMT
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I)
Date: 1999-06-25T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <2oRa3.14$Lc3.1167@typhoon.nyu.edu>,
 kenner@lab.ultra.nyu.edu (Richard Kenner) wrote:

> Not completely, especially in the presence of optimization.
>
> Consider:
>
> 	A := A * 4;
> 	A := A + B;
>
> On the Alpha, that can be done in one instruction, so only one
of those
> lines can be considered to generate code.


You misunderstand my criterion. In this case I would still say
that both statements generate code. The fact that the single
amazing Alpha instruction will take care of both statements
is interesting but irrelevant.

The issue is whether the given statements generate code. In
this case clearly both statements generate code. The fact that
the one instruction of the code takes care of both statements
does not change this fact.

If you think of Ada as defined by a virtual operational machine,
the issue is whether this virtual operational machine would have
code generated, assuming an appropriate realistic abstraction
level for the machine.

Sure this is vague, but could be made quite precise if someone
desired to do so.

I still see a quite clear intuitive distinction between the
above two statements, and a statement that says

 >begin

:-)




Sent via Deja.com http://www.deja.com/
Share what you know. Learn what you don't.