Question

我使用llvm-general-pure为LLVM language中的程序构建抽象语法树。

使用provided pretty printer，我得到的输出看起来像

A.Module {
  A.moduleName = "main",
  A.moduleDataLayout = Nothing,
  A.moduleTargetTriple = Nothing,
  A.moduleDefinitions = [
    ...
    A.GlobalDefinition A.G.Function {
      A.G.linkage = A.L.External,
      A.G.visibility = A.V.Default,
      A.G.callingConvention = A.CC.C,
      A.G.returnAttributes = [],
      A.G.returnType = A.IntegerType {A.typeBits = 32},
      A.G.name = A.Name "Main",
      A.G.parameters = ([], False),
      A.G.functionAttributes = [],
      A.G.section = Nothing,
      A.G.alignment = 0,
      A.G.garbageCollectorName = Nothing,
      A.G.basicBlocks = [
        A.G.BasicBlock (A.Name "mainBlock") [
          A.Name "n57" A.:= A.Alloca {
            A.allocatedType = A.IntegerType {A.typeBits = 64},
            A.numElements = Nothing,
            A.alignment = 0,
            A.metadata = []
          },
...

我希望输出看起来像

define i32 @main() {
mainBlock:
    %n57 = alloca i64
    ...
}
...

llvm-general-quote包中的LLVM语言看起来很automatically generated parser，但没有相应的漂亮打印机。

Stephen Diehl's excellent article提示名为moduleString的内容。

Answer 1

llvm-general-pure没有纯粹漂亮的打印机，我们必须通过llvm-general才能执行此操作。它可以通过Haskell AST上的withModuleFromAST打印IR，以显示IR的模块表示（即C ++模块），然后调用moduleLLVMAssembly来调用漂亮的打印机。

moduleLLVMAssembly :: Mod.Module -> IO String
withModuleFromAST :: Context -> AST.Module -> (Mod.Module -> IO a) -> ErrorT String IO a

这不是纯粹的Haskell，它通过FFI调用LLVM的内部函数。

import LLVM.General.Module as Mod
import qualified LLVM.General.AST as AST

ppModule :: AST.Module -> IO ()
ppModule ast = withContext $ \ctx ->
  runExceptT $ withModuleFromAST ctx ast $ \m -> do
    llstr <- moduleLLVMAssembly m
    putStrLn llstr

我们没有理由不能拥有纯粹漂亮的打印机，事实上我开始做一个名为llvm-pp的项目，但它只是一个很大的数量为整个LLVM规范编写一个漂亮的打印机，令人费解的麻烦。

漂亮的印刷llvm-general-pure ASTs作为llvm-ir？

1 个答案: