На пути к пониманию CodeGen * в привязках Haskell LLVM - PullRequest
Новая
       35

На пути к пониманию CodeGen * в привязках Haskell LLVM

22 голосов
/ 15 июня 2011

Справочная информация: Я пишу игрушечный интерпретатор / компилятор Lisp в Haskell для собственного развлечения / назидания.Я пытаюсь добавить возможность компилирования в байт-код LLVM.

Контекст: Я читал документацию для LLVM.Core и пример кода ( здесь ) попытка понять средство комбинации и средство абстракции (как описано в Абельсон и Суссман Структура и интерпретация компьютерных программ .) Используется в привязках Haskell LLVM.Есть много маленьких частей, и мне не ясно, как они предназначены для совместной работы.Похоже, что есть уровень абстракции над основными машинными инструкциями LLVM, который очевиден для тех, кто имеет большой опыт работы с LLVM, но не документирован для тех, как я, которые только намокают.

Вопрос: Что такое CodeGenModule и CodeGenFunction и как они используются для построения Functions и Modules?

Ответы [ 2 ]

16 голосов
/ 16 июня 2011

Типы Module и Function - это просто тонкие обертки вокруг указателей на соответствующие объекты C ++ (то есть Module* и Value*): 

-- LLVM.Core.Util
newtype Module = Module {
      fromModule :: FFI.ModuleRef
    }
    deriving (Show, Typeable)

type Function a = Value (Ptr a)    

newtype Value a = Value { unValue :: FFI.ValueRef }
    deriving (Show, Typeable)

-- LLVM.FFI.Core
data Module
    deriving (Typeable)
type ModuleRef = Ptr Module

data Value
    deriving (Typeable)
type ValueRef = Ptr Value

CodeGenModule иCodeGenFunction типы - это части EDSL, построенные поверх модулей LLVM.FFI.*.Они используют Function, Module и функции из LLVM.FFI.* для внутренних целей и позволяют писать LLVM IR в Haskell кратко, используя do-нотацию (пример взят из блога Леннарта Огюсссона ): 

mFib :: CodeGenModule (Function (Word32 -> IO Word32))
mFib = do
    fib <- newFunction ExternalLinkage
    defineFunction fib $ \ arg -> do
        -- Create the two basic blocks.
        recurse <- newBasicBlock
        exit <- newBasicBlock

        [...]
        ret r
    return fib

Вы можете представить CodeGenModule как AST, представляющий проанализированный файл сборки LLVM (.ll).Учитывая CodeGenModule, вы можете, например, записать его в файл .bc: 

-- newModule :: IO Module
mod <- newModule
-- defineModule :: Module -> CodeGenModule a -> IO a
defineModule mod $ do [...]

-- writeBitcodeToFile :: FilePath -> Module -> IO ()
writeBitcodeToFile "mymodule.bc" mod

--- Alternatively, just use this function from LLVM.Util.File:
writeCodeGenModule :: FilePath -> CodeGenModule a -> IO ()

Я также рекомендую вам ознакомиться с базовыми классами LLVM , так как они также показываютчерез в Haskell API.

0 голосов
/ 26 июня 2011

CodeGenFunction поддерживает код сборки LLVM для одной функции. CodeGenModule поддерживает несколько таких функций. В пакете привязок Haskell llvm есть пример каталога с рабочим кодом.

...