7

Background: I have written a toy Lisp interpreter that I am trying to add LLVM JIT functionality to. For the moment, have imposed the following limitations:

  • Only integer values are allowed in functions
  • Variables may only reference formal parameters

Given:

compile :: [Value] -- List of Formal Parameters
        -> [Value] -- Body of function
        -> CodeGenModule(Function a)`

Question: How do I generate a function where the number of parameters equals the length of the Formal Parameters list?

icktoofay
  • 126,289
  • 21
  • 250
  • 231
John F. Miller
  • 26,961
  • 10
  • 71
  • 121
  • A good start might be to either help me understand `forall f g r . FunctionArgs f g (CodeGenFunction r ())` – John F. Miller Jun 23 '11 at 02:32
  • would you like to share you experience of using haskell binding of LLVM? which version do you used? :) – wuxb Jun 23 '11 at 02:35
  • @Wu: LLVM 2.9 with the llvm binding from [commit 729514](https://github.com/bos/llvm/commit/72951414d7b7b377ee1a040fae2b043b7747ceff). [See also](http://stackoverflow.com/questions/6406067/haskell-llvm-binding-linker-error) – John F. Miller Jun 23 '11 at 02:43

1 Answers1

6

I don't know if it's possible to do this with just the EDSL from LLVM.Core (the types are indeed quite hairy), but if you look at LLVM.FFI.Core, you'll find the lower-level functionality for manipulating LLVM function types and creating LLVM functions. This leads to the following plan of action:

  • Create a TypeRef for your function with functionType.
  • Add this function to your module using addFunction.
  • Populate it with basic blocks by using appendBasicBlock/insertBasicBlock. Use getParam to reference function arguments inside your basic blocks.

It should be possible to utilise the nice monadic EDSL syntax for constructing the basic blocks. Also, look at LLVM.Core.Util, it contains some helper functions for working with the FFI layer.

Mikhail Glushenkov
  • 14,928
  • 3
  • 52
  • 65