This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: GCC options and floating-point correctness (benchmarks)
On Thu, Mar 25, 2004 at 02:32:58PM -0500, Scott Robert Ladd wrote:
> Joe Buck wrote:
> > But there's a problem. People have posted trivial programs where icc
> > majorly violates IEEE rules. Could Intel be tuning specifically to work
> > well on paranoia, but take impermissible shortcuts elsewhere?
>
> That's certainly possible. It's not like we haven't seen such creativity
> in other situations. However, I'd want to find some proof before making
> any accusations in this case.
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?