Recherche:

Ouais mais diff il s'en fout, lui, que le code assembleur soit moche !

Sérieusement : il faudrait faire un diff sur le code assembleur, puis sur les fichiers binaires pour voir si ils sont égaux...

Je viens de poser la question ce matin dans le car à un mec du projet Gallium.

La seule explication plausible selon lui serait que l'option -O2 ait été passée en argument à l'assembleur et au...

C'était exactement le même code, la même commande d'exécution, les mêmes commandes de compilation ?

Si je revois les mecs de Caml je leur poserai la question, mais ça m'a l'air très louche ton...

ocamlopt ne crache pas du code C : pour m'être plongé dans les sources du compilateur (version 3.09.3) je peux l'affirmer ; tu as de plus le manuel qui l'explique très bien. Les temps d'exécution...

C'est Xavier Leroy lui-même qui le dit.

http://caml.inria.fr/pub/old_caml_site/ocaml/numerical.html



Si OCaml est si performant, c'est entre autres grâce à son Garbage Collector, plus...

Ca va pour des types scalaires pour lesquels les opérations sont commutatives, mais qu'en est-il pour des manipulations sur des listes, quand l'ordre des éléments doit être conservé ?

Quand je...

Pour information, ocamlopt n'optimise presque rien. Les seules "optimisations" faites concernent la récursivité terminale ainsi que l'ordonnancement des calculs entiers et flottants dans certains cas...