LLVM

LLVM is an abbreviation of "Low Level Virtual Machine"; LLVM is:

• A compilation strategy
• A virtual instruction set
• A compiler infrastructure

It is developed by the University of Illinois. It is implemented on many platforms, amongst others the iPhone.

You can use this from a Haskell program using essentially two bindings:

A strongly typed interface that is mainly intended to accelerate your Haskell programs with low-level code:

• llvm-tf, llvm-ffi
• a darcs repository,
• a blog article with examples,
• the article "A performance update" that describes, how LLVM can improve performance
• llvm-extra provides high-level control structures (ifThenElse, whileLoop, Maybe), vector instructions, automatic adaption to target specific extensions
• knead provides array processing similar to accelerate
• Example applications:
  • synthesizer-llvm provides efficient signal processing using vector instructions, including a live software synthesizer
  • patch-image constructs a big image from overlapping parts

An untyped interface mainly intended to write compilers and analyse LLVM bitcode:

• llvm-hs