Harpy

Revision as of 00:35, 15 November 2008

1 Description

Harpy is a library for run-time x86 code generation in Haskell programs. Harpy requires several Haskell extensions and GHC-specific features (the Haskell FFI, Template Haskell, multi-parameter type classes and monad transformers).

• Project homepage
• on hackage

2 Limitations

• 64-bit mode is not supported
• MMX, SSE, SSE2 and SSE3 instructions and registers are not supported.
• The disassembler supports (in principle) 64-bit mode and SSE instructions, but this has not been tested.
• Buffer overflow checks have to be done manually with checkBufferSize or ensureBufferSize

3 Tutorials

• Writing x86 code generators with Harpy:
  • a fast factorial function
  • run-time compiler for call-by-value lambda calculus
  • Generating x86 assembly
  • Compiling a DSL to x86 assembly
  • Disassembling x86
  • Generating more code with Harpy

4 Examples

• calc: A small compiler for arithmetic expressions