------- Comment #5 from pinskia at gcc dot gnu dot org 2008-03-06 23:15 -------
The division is done and then rounded to 80bits and then rounded again to
64bits.
This is not really a bug. It is just a misunderstanding on how x87 FPU works.
fldl -24(%ebp)
fldl -32(%ebp)
fdivrp %st, %st(1)
fstpl -40(%ebp)
Either use -mfpmath=sse or don't use x86.
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|DUPLICATE |INVALID
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35488
