Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Odd performance result with HLVM
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2009-03-02 (14:36)
From: Florent Ouchet <florent.ouchet@i...>
Subject: Re: [Caml-list] Odd performance result with HLVM
Jon Harrop a écrit :
> There are really two major advantages over the current ocamlopt design and 
> both stem from the use of JIT compilation:
> . Run-time types allow per-type functions like generic pretty printers and 
> comparison.
> . Monomorphisation during JIT compilation completely removes the performance 
> cost of polymorphism, e.g. floats, tuples and records are never boxed.

Do you mean that each polymorphic function is compiled into a different
native piece of code each time it is called with different parameter
types? How does the JIT'ed code size compare to ocamlopt'ed code size?

- Florent