On Tue, Mar 9, 2010 at 11:33 AM, Xavier Leroy <Xavier.Leroy@inria.fr> wrote:

- The register-based SSE2 model fits the OCaml back-end much better
than the stack-based x87 model. In particular, "let"-bound intermediate
results of type "float" can be kept in SSE2 registers, while in
the current x87 mode they are systematically flushed to the stack.

Note that x86-64 bits systems as well as Mac OS X already use SSE2 as
their default floating-point model.

I have a bunch of biological sequence analysis stuff that could be interesting but I am already in x86-64 ("Wow! A 64 bit architecture!"). The above seems pretty clear but just to verify - I would not benefit from this new back-end, right?

Mike