I have a stupid question : I wonder if it would not be a bad idea that Ocaml output C code and let gcc do its work, so compile code with good performances in a lot of architecture ? Gcc is able to do autovectorization (SSE, MMX, Larabee in the futur, etc...), very specific processor optimization, etc... But maybe it's a stupid idea ?
2011/8/25 Gerd Stolpmann <[email protected]> > Am Donnerstag, den 25.08.2011, 11:34 +0200 schrieb Benedikt Meurer: > > On Aug 25, 2011, at 10:02 , Benedikt Meurer wrote: > > > > >>> - > http://ps.informatik.uni-siegen.de/~meurer/tmp/compiletime_timings.pdfcontains > a comparison of the ocamlopt invocations. > > >>> - > > >>> http://ps.informatik.uni-siegen.de/~meurer/tmp/runtime_timings.pdfcontains > > >>> comparison of the generated code. > > >>> > > >>> As can be seen from the results, amd64 is more sensitive to register > allocator changes than i386. > > >> > > >> Well, this particular i386 CPU model is a strange guy - Northwoods > have > > >> this extremely long pipeline, which is very sensitive to unforeseen > > >> jumps. It would be more interesting to see this test on a modern CPU > in > > >> i386 mode. My guess is that it behaves then more like amd64. > > > > > > Modern CPUs most probably don't run ocaml in 32bit mode, but more > likely in long mode. That's why we choose to run the i386 on "real 32bit > hardware", where the ocaml i386 port is actually used. > > Right. However, if you look at new 32-bit-only CPUs like older Atoms > these base on modern cores where only some of the circuits were omitted > that are needed for 64-bit execution.-- > [cut] > --------------------- https://twitter.com/#!/ontologiae/ http://linuxfr.org/users/montaigne -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
