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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,acba876b1e3c9639
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!proxad.net!proxad.net!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Newsgroups: comp.lang.ada
Subject: Re: GNAT Optimization of Constant Expressions
From: Georg Bauhaus <bauhaus@futureapps.de>
In-Reply-To: <f2iou1$ks5$1@jacob-sparre.dk>
References: <1179355028.624745.258370@q75g2000hsh.googlegroups.com>
	 <f2gmpv$raj$1@jacob-sparre.dk>   <464cb4cd$1_3@news.bluewin.ch>
	 <f2ier6$c09$1@jacob-sparre.dk>
	 <1179442153.169828.109970@l77g2000hsb.googlegroups.com>
	 <f2iou1$ks5$1@jacob-sparre.dk>
Content-Type: text/plain
Content-Transfer-Encoding: 7bit
Organization: #
Message-Id: <1179487665.6721.7.camel@localhost.localdomain>
Mime-Version: 1.0
X-Mailer: Evolution 2.10.1 
Date: Fri, 18 May 2007 13:27:45 +0200
NNTP-Posting-Date: 18 May 2007 13:27:45 CEST
NNTP-Posting-Host: 7d16f65e.newsspool3.arcor-online.net
X-Trace: 
 DXC=Q<o@:\6o_NBFJ3]dH>I?oEMcF=Q^Z^V3H4Fo<]lROoRAFl8W>\BH3YBIA4NKS@Xg6@A:ho7QcPOVCTL@WTQV<g7F@ki2[7RmKjI
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:15829
Date: 2007-05-18T13:27:45+02:00
List-Id: <comp.lang.ada>

On Thu, 2007-05-17 at 18:38 -0500, Randy Brukardt wrote:

>  Ada has fairly strict requirements on accuracy that C and
> Fortran don't have. An optimizer shouldn't be providing the *wrong* answer
> in order to make code fast;

An Apple employee once recommended using the then new FPT
optimizations and to see whether the optimized program will meet
the expectations. ("You can always sell speed".) So maybe accurate
computation is a far reaching requirement for some software
markets.