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
OCamlJIT2 vs. OCamlJIT
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2010-11-30 (21:19)
From: Jon Harrop <jonathandeanharrop@g...>
Subject: RE: [Caml-list] OCamlJIT2 vs. OCamlJIT
Bluestorm wrote:
> - more optimizations : the LLVM guys try to develop a wide range of
optimization passes between
> LLVM IR and native code, while ocamlopt is mostly a "non-optimising
compiler". It's not clear
> however how much gain we could have, as OCaml has already optimized the
most important parts,
> and a big part of the performance concerns are outside the LLVM area (data
representation and
> GC). Still, the experience of GHC-LLVM has been quite positive, with
noticeable improvements
> in some cases. 

Without a typeful intermediate representation of the program, LLVM's hands
would be tied when it comes to most optimization passes. You need to convey
as much type information as possible via the LLVM IR for LLVM's optimization
passes to be really effective.