Dodawanie funkcji w LLVM (powiązania haskell), gdy liczba parametrów nie jest znana w czasie kompilacji

Question

Tło: Napisałem zabawkowy interpreter Lisp, do którego próbuję dodać funkcjonalność LLVM JIT. W tej chwili nie narzuca następujące ograniczenia:

• tylko wartości całkowite są dozwolone w funkcji
• Zmienne mogą odwoływać się tylko parametry formalne

Biorąc:

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

Pytanie: Jak wygenerować funkcję, w której liczba p parametry są równe długości listy Formalne parametry?

Answer 1

Nie wiem, czy to możliwe, aby to zrobić tylko z EDSL z LLVM.Core (typy są rzeczywiście dość owłosione), ale jeśli spojrzeć na LLVM.FFI.Core znajdziesz funkcjonalność niższego poziomu do manipulating LLVM function types i creating LLVM functions . Prowadzi to do następnego planu działania:

• Tworzenie TypeRef dla funkcji z functionType.
• Dodaj tę funkcję do swojego modułu za pomocą addFunction.
• Wypełnij go podstawowymi blokami, używając appendBasicBlock/insertBasicBlock. Użyj getParam, aby odwołać się do argumentów funkcji wewnątrz podstawowych bloków.

Powinna istnieć możliwość wykorzystania ładnej monadycznej składni EDSL do budowy podstawowych bloków. Ponadto spójrz na LLVM.Core.Util, zawiera pewne funkcje pomocnicze do pracy z warstwą FFI.