Difference between revisions of "Harpy"
Jump to navigation
Jump to search
(→Description: Removed the link to the home page, as the server has dissappeared) |
(→Tutorials: Updated links) |
||
| Line 11: | Line 11: | ||
== Tutorials== |
== Tutorials== |
||
| + | |||
* Writing x86 code generators with Harpy: |
* Writing x86 code generators with Harpy: |
||
| − | ** [http:// |
+ | ** [http://www.grabmueller.de/martin/www/pub/harpy-demo-haskell07.pdf Harpy: Run-time Code Generation in Haskell] (PDF), describing a fast factorial function |
| + | ** [http://community.haskell.org/~martin/repos/harpy/doc/tutorial.lhs A fast factorial function] (literate Haskell source code) |
||
| − | ** [http:// |
+ | ** [http://community.haskell.org/~martin/repos/harpy/doc/larger-tutorial.lhs Run-time compiler for call-by-value lambda calculus] (literate Haskell source code) |
| ⚫ | |||
| − | ** [http://augustss.blogspot. |
+ | ** [http://augustss.blogspot.nl/2007/06/playing-with-harpy-recently-there-was.html Generating x86 assembly] |
| − | ** [http://augustss.blogspot. |
+ | ** [http://augustss.blogspot.nl/2007/06/simple-compiler-in-my-last-post-i.html Compiling a DSL to x86 assembly] |
| − | ** [http://augustss.blogspot. |
+ | ** [http://augustss.blogspot.nl/2007/06/disassembly-harpy-package-also-contains.html Disassembling x86] |
| ⚫ | |||
== Examples == |
== Examples == |
||
Latest revision as of 12:49, 22 January 2013
Description
Harpy is a library for run-time x86 code generation in Haskell programs. Harpy requires several Haskell extensions and GHC-specific features (Template Haskell, multi-parameter type classes and monad transformers). It is available from Hackage
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
Tutorials
- Writing x86 code generators with Harpy:
- Harpy: Run-time Code Generation in Haskell (PDF), describing a fast factorial function
- A fast factorial function (literate Haskell source code)
- Run-time compiler for call-by-value lambda calculus (literate Haskell source code)
- Generating x86 assembly
- Compiling a DSL to x86 assembly
- Disassembling x86
- Generating more code with Harpy