This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: /internet
- To: "Joe Buck" <jbuck at synopsys dot com>, "moshier at mediaone dot net" <moshier at mediaone dot net>
- Subject: Re: /internet
- From: "Geert Bosch" <bosch at gnat dot com>
- Date: Wed, 16 Dec 1998 21:35:27 +0100
- Cc: "burley at gnu dot org" <burley at gnu dot org>, "egcs at cygnus dot com" <egcs at cygnus dot com>, "hjstein at bfr dot co dot il" <hjstein at bfr dot co dot il>, "jbuck at synopsys dot com" <jbuck at synopsys dot com>, "law at cygnus dot com" <law at cygnus dot com>, "tim at wagner dot princeton dot edu" <tim at wagner dot princeton dot edu>, "tprince at cat dot e-mail dot com" <tprince at cat dot e-mail dot com>
- Reply-To: "Geert Bosch" <bosch at gnat dot com>
On Wed, 16 Dec 98 11:58:08 PST, Joe Buck wrote:
Amazing. These guys are trying to turn C into Ada.
If that's true, they are doing it all wrong! :-)
In Ada95 rules have be precisely chosen such to allow
useful optimizations like these. See my previous message
where I explain how checks (and as a result operations)
may be removed.
Another useful difference is that in Ada evaluations of
functions in "pure" packages are guaranteed to be free of
side-effects and may reuse results of earlier invocations
with the same parameters. GCC takes full advantage of this
by moving them out of loops etc. Of course all elementary
fpt functions (including complex ones) are defined in pure
packages and this leads to nice optimizations without sacrifying
one bit of accuracy.
Those guys should copy these features instead of ones they make up!
Regards,
Geert