On Sun, 12 Dec 2010 22:05:34 -0000
Jon Harrop <jonathandeanharrop@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