コンパイル時にパラメータの数がわからないときにLLVM（haskell bindings）に関数を追加する

Question

背景：LLVM JIT機能を追加しようとしているおもちゃLispインタプリタを書いています。さしあたり、次の制限を課している：

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

：のみ整数値を関数で許可さ

• 変数のみを考える仮パラメータ

を参照することができます質問：関数pを生成するにはどうすればよいですか？ arametersは、Formal Parametersリストの長さと同じですか？

Answer 1

それはLLVM.CoreからわずかEDSL（種類は確かにかなり毛深いです）でこれを行うことが可能です場合、私は知らないが、あなたはLLVM.FFI.Coreを見れば、あなたはmanipulating LLVM function typesとcreating LLVM functionsのための低レベルの機能を見つけることができます。これは、アクションの次計画につながる：

• がfunctionTypeであなたの機能のためのTypeRefを作成します。
• addFunctionを使用して、この機能をモジュールに追加します。
• appendBasicBlock/insertBasicBlockを使用して基本ブロックを設定します。基本ブロック内の関数引数を参照するには、getParamを使用します。

基本ブロックを構築するのに素敵なモナドEDSL構文を利用することは可能です。また、LLVM.Core.Utilを見ると、FFIレイヤーを操作するためのヘルパー関数がいくつか含まれています。