Bug in optimization under Linunx/x86
Alexandre Oliva
aoliva@redhat.com
Thu Jun 7 20:03:00 GMT 2001
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
More information about the Gcc-bugs
mailing list