[MLton-user] minor 32bit vs. 64bit differences in floating-point calculations with large numbers

[Henry Cejtin]

I  think  it wasn't just that the generated code is nicer because of the
registers.  It is that it is more correct because when you spill from  a
register to memory and then load it back into a register, it is the same
as it was before the spill.  This is NOT true  on  the  x86  unless  you
always  spill extended doubles.  Thus the SSE2 instructions correctly do
what IEEE mandates while the x86 mode does not.  (At least  that  is  my
understanding.)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mlton.org/pipermail/mlton-user/attachments/20101015/5a1a1966/attachment.html