GCC options and floating-point correctness (benchmarks)

[Joe Buck]

On Fri, Mar 26, 2004 at 07:55:56PM -0500, Robert Dewar wrote:
> Joe Buck wrote:
> 
> > Agreed; we should be cautious before deciding that there is a problem.
> > Are we certain, for example, that icc's optimization of
> > 
> > 	(a+b)+c == a+(b+c)
> > 
> > for double a, b, and c, is impermissibly aggressive?
> 
> In my view, yes.

I have not seen the assembly code that they are producing.  Evidently
they do not simply reduce it to a constant, though they take shortcuts.
So let's be sure before we accuse them.