Does ocaml have benchmark programs for use by C
compiler writers and architecture developers as
performance measurement ?

Gang Chen

--- Xavier Leroy <Xavier.Leroy@inria.fr> wrote:


> The performance variations between the gcc versions
> confirm my
> impression that gcc is getting "too clever for its
> own good" --
> carefully hand-optimized code like the OCaml
> bytecode interpreter
> is best served by a compiler that compiles code
> nearly as written.
> (Think gcc 2.95.)
> 
> The P4 microarchitecture is known for its weird
> performance model:
> some code runs very fast, some similar code very
> slow.
> In my experience, AMD processors as well as the
> Pentium-M are
> much more consistent performance-wise.
> 
> If you really want to understand what's going on,
> you need a good
> performance analysis tool.  Timing runs will tell
> you nothing.
> Intel's VTUNE is king of the hill here, but the
> Windows version is
> costly and I could never install the free Linux
> version.
> 
> - Xavier Leroy
> 
> _______________________________________________
> Caml-list mailing list. Subscription management:
>
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list:
> http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>