LLVM Binding

[alcremi@…]

LLVM (Low Level Virtual Machine) is a fast-evolving, well maintained, free, compilation infrastructure. The input is "a low-level object code representation that uses simple RISC-like instructions, but provides rich, language-independent, type information and dataflow (SSA) information about operands". Many optimizations passes can be trigerred. LLVM is used by the PyPy? project as one of its back-end. Such a back-end for haskell compilers could be a way to use the manpower invested in LLVM, which is not available for the other haskell compiler back-ends (C-- for instance)

Note that there already is a  llvm package on hackage. This project should try to extend this with missing functionality.

Interested Mentors

• (2007)  Eric Kidd

Interested Students

• (2007) Marek Materzok (tilk) <marek.materzok@…>
• (2007) Soenke Hahn <shahn@…>

[bos]

This no longer really makes sense as a complete project. See  http://darcs.serpentine.com/ for LLVM bindings that Lennart Augustsson and I have been working on. It might be a good idea to add documentation, examples, and the like, if someone is interested.

[tommd]

There are now: 1) LLVM bindings on Hackage 2) An LLVM backend in GHC