From: pfk@schnecke.offl.uni-jena.de (Frank Klemm)
Subject: Re: Plenty of unnecessary contraint tests (Was: Size code Ada and C)
Date: 1998/07/10
Date: 1998-07-10T00:00:00+00:00 [thread overview]
Message-ID: <slrn6qbsmc.10i.pfk@schnecke.offl.uni-jena.de> (raw)
In-Reply-To: dewar.900036273@merv
On 9 Jul 1998 22:05:37 -0400, Robert Dewar <dewar@merv.cs.nyu.edu> wrote:
>
>Incidentally, I can't begin to duplicate the assembly output you are
>getting from GNAT, but probably that is because you are using an obsolete
>version.
>
It's a new version I got 2 weeks ago from a ftp server referenced by
adahome. If there is any newer in the web, inform me and I will test it again.
Should I publish the full soures and the ducumented assembler output ?
$ cat bin/* lib/*/*/*/gnat1 | strings
GCC: (GNU) 2.7.2.1
GNAT Lib v3.10
GNAT Preprocessor Version 1.03 Copyright 1996 Free Software Foundation, Inc.
XREF v3.10
c3.10p (970814)XREF v3.10 GNAT Lib v3.10
d3.10p (970814)
Note, that I have added some code to prevent the optimizer from removing
code. This code was written as ... in the text.
Generally speaking a range tracking of every (local) variable is very
exhausting, but that's no reason not to do this. Gnat seems to do nothing
concerning this topic...
--
Frank Klemm
/------\ /-----------------------------------------------------\
| eMail: || pfk@uni-jena.de | home: pfk@schnecke.offl.uni-jena.de |
| Tel: || | home: +49 (3641) 390545 |
| sMail: || Frank Klemm, Ziegesarstr. 1, D-07747 Jena, Germany |
\------/ \-----------------------------------------------------/
next prev parent reply other threads:[~1998-07-10 0:00 UTC|newest]
Thread overview: 23+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <35921271.E51E36DF@aonix.fr>
[not found] ` <3598358A.73FF35CC@pipeline.com>
[not found] ` <dewar.899298949@merv>
1998-07-03 0:00 ` Performance Ada and C, was Re: Size code Ada and C Van Snyder
1998-07-03 0:00 ` Performance " Markus Kuhn
1998-07-03 0:00 ` Robert Dewar
1998-07-03 0:00 ` Markus Kuhn
1998-07-04 0:00 ` ak
1998-07-07 0:00 ` Frank Klemm
1998-07-13 0:00 ` Daren Scot Wilson
[not found] ` <m3zpf1tyr8.fsf@zaphod.enst.fr>
[not found] ` <6mtiv0$9j3@gcsin3.geccs.gecm.com>
[not found] ` <dewar.898962846@merv>
[not found] ` <6n7jut$al0$1@nnrp1.dejanews.com>
[not found] ` <6navqt$shc$1@goanna.cs.rmit.edu.au>
[not found] ` <359A53E2.41C6@lanl.gov>
[not found] ` <dewar.899334821@merv>
[not found] ` <6nfp0v$dgl@gcsin3.geccs.gecm.com>
1998-07-02 0:00 ` Ariane 5 failure (Was: Size code Ada and C) Jean-Pierre Rosen
1998-07-03 0:00 ` robin
1998-07-02 0:00 ` William Clodius
1998-07-09 0:00 ` Plenty of unnecessary contraint tests " Frank Klemm
1998-07-09 0:00 ` Robert Dewar
1998-07-10 0:00 ` Frank Klemm [this message]
1998-07-10 0:00 ` Robert S. White
1998-07-10 0:00 ` Ariane 5 failure " Dale Stanbrough
1998-07-10 0:00 ` John McCabe
1998-07-10 0:00 ` Pat Rogers
1998-07-10 0:00 ` Frank Klemm
[not found] ` <6n8393$hoi$2@platane.wanadoo.fr>
[not found] ` <6n84im$79q@gcsin3.geccs.gecm.com>
[not found] ` <m3u35470ds.fsf@zaphod.enst.fr>
[not found] ` <6n8b7u$9hm@gcsin3.geccs.gecm.com>
[not found] ` <m3vhpk5f0d.fsf@zaphod.enst.fr>
[not found] ` <3597db2d.1017430@news.demon.co.uk>
[not found] ` <EACHUS.98Jun30173656@spectre.mitre.org>
1998-07-03 0:00 ` Size code Ada and C John McCabe
1998-07-03 0:00 ` Larry Elmore
1998-07-03 0:00 ` John McCabe
1998-07-07 0:00 ` Robert I. Eachus
[not found] ` <dewar.899298821@merv>
1998-07-07 0:00 ` Robert I. Eachus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox