On Sun, 12 Dec 2010 22:05:34 -0000 Jon Harrop <jonathandeanhar...@googlemail.com> wrote:
> Edwin wrote: > > AFAICT LLVM's OCaml bindings are only good for generating LLVM IR > > from OCaml, not for actually performing transformations on it > > (there is no binding to retrieve the type of a value for example). > > I'll probably be looking into fixing that in the near future, and > > this may indirectly help your LLVM backend (if you intend to write > > OCaml specific transformations on the LLVM IR). > > That's a lot of work. Wouldn't it be preferable to do the passes on > the OCaml side and focus on generating high quality LLVM IR? Yes, that is probably a better approach (generating the optimized IR in the first place). Best regards, --Edwin _______________________________________________ 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