Bug in optimization under Linunx/x86

[Alexandre Oliva]

On Jun  6, 2001, jonathan.desena@jhuapl.edu wrote:

>     While the differences are right about at the limit for the
> precision of a 32 bit floating point number, they imply that the
> value in memory is different, which I believe to be a bug.

Not a bug.  It's just that x86's FPU operates with excess precision
bits, which causes different results to be obtained depending on
whether a FP register is spilled to memory and loaded back or not.

-- 
Alexandre Oliva   Enjoy Guarana', see http://www.ic.unicamp.br/~oliva/
Red Hat GCC Developer                  aoliva@{cygnus.com, redhat.com}
CS PhD student at IC-Unicamp        oliva@{lsd.ic.unicamp.br, gnu.org}
Free Software Evangelist    *Please* write to mailing lists, not to me