[MLton] Re: In hope of a release ...

[Wesley W. Terpstra]

On Wed, Oct 28, 2009 at 2:02 AM, Adam Goode <adam at spicenitz.org> wrote:
> The software floating point only supports default rounding, since that
> is all that is required for ARM EABI compliance. For gcc, it
> is the implementation here, once described to me as "magic":
>
> http://gcc.gnu.org/viewcvs/trunk/gcc/config/arm/ieee754-sf.S?revision=148210&view=markup
> http://gcc.gnu.org/viewcvs/trunk/gcc/config/arm/ieee754-df.S?revision=148210&view=markup

I can see that they tried to heavily optimize it. The SoftFloat
package [1] manages to do things in C for all rounding modes. I guess
they wanted faster FP.

[1] http://www.jhauser.us/arithmetic/SoftFloat.html