English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Ocamlopt code generator question
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2009-05-10 (11:04)
From: David MENTRE <dmentre@l...>
Subject: Re: [Caml-list] Ocamlopt x86-32 and SSE2

Xavier Leroy <Xavier.Leroy@inria.fr> writes:

> 1- Have an additional "ia32sse2" port of ocamlopt in parallel with the
>    current "i386" port.
> 2- Declare pre-SSE2 processors obsolete and convert the current
>    "i386" port to always use SSE2 float arithmetic.
> 3- Support both x87 and SSE2 float arithmetic within the same i386
>    port, with a command-line option to activate SSE2, like gcc does.

Regarding option 2, I assume that byte-code would still work on i386
pre-SSE2 machines? So OCaml programs would still work on those machines.

As far as I know, one is using ocamlopt to improve performance. I can't
think of any case where one would need native code running on pre-SS2
machines which are so outdated performance-wise.

So I would vote for option 2: always use SSE2 float arithmetic.

Sincerely yours,
GPG/PGP key: A3AD7A2A David MENTRE <dmentre@linux-france.org>
 5996 CC46 4612 9CA4 3562  D7AC 6C67 9E96 A3AD 7A2A