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,6405eefbf080daa6
X-Google-Attributes: gid103376,public
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: Is an RTOS Required for Ada?
Date: 1999/05/28
Message-ID: <7imvsr$5bg$1@nnrp1.deja.com>#1/1
X-Deja-AN: 483229364
References: <373B2927.7B22F898@pop.safetran.com>
 <19990514155120.03860.00000396@ng-cr1.aol.com> <7hmc18$jr6$1@nnrp1.deja.com>
 <wccogjh80os.fsf@world.std.com> <7i1b7p$3nb$1@nnrp1.deja.com>
 <FCB3LD.2F2@sd.aonix.com> <7ifapi$lf1$1@nnrp1.deja.com>
 <374EC6EA.61519FAF@praxis-cs.co.uk>
X-Http-Proxy: 1.0 x39.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 May 28 20:55:56 1999 GMT
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I)
Date: 1999-05-28T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <374EC6EA.61519FAF@praxis-cs.co.uk>,
  Rod Chapman <rod@praxis-cs.co.uk> wrote:
> Robert Dewar wrote:
> >
> My normal rule-of-thumb is "no surprises" - the compiler
> should not ever surprise me in its generated code, or (perhaps
> more simply put) generate code that I can't understand and
> map back to the source, irrespective of optimization

I don't think we can write into a standard that the code must
not surprise Rod Chapman :-)

Who knows what would surprise you.

Certainly if you know the Merced instruction set well, it would
surprise you NOT to see a simple if handled by predication (at
least it would surprise me). On this machine, that is the
natural way of handling things.

Obviously what one person expects and understands is going to
be quite different from what another person expects and
understands. The principle of "no optimization, no surprise"
is simply not one that can be given any formal definition.

Robert Dewar


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