25

我目前正在使用 llvm 进行编译器项目。我遵循了各种教程,直到我有一个解析器来创建语法树,然后使用提供的 IRBuilder 将树转换为 llvm 模块。

我的目标是创建一个可执行文件,但我对下一步该做什么感到困惑。我找到的所有教程都只是创建 llvm 模块并使用 Module.dump() 打印出程序集。此外,我能找到的唯一文档是针对 llvm 开发人员的,而不是针对项目的最终用户的。

如果我想生成机器码,接下来的步骤是什么?llvm-mc 项目看起来可以做我想做的事,但我找不到任何类型的文档。

也许我期待 llvm 做一些它没有做的事情。我的期望是我可以构建一个模块,然后会有一个我可以用模块调用的 API,一个目标三元组和一个目标文件将被生成。我找到了有关生成 JIT 的文档和示例,但我对此不感兴趣。我正在寻找如何生成已编译的二进制文件。

我正在开发 OS X,如果这有任何影响的话。

4

4 回答 4

19

用于llc -filetype=obj从您的 IR 发出可链接的目标文件。您可以查看代码llc以查看它发出此类代码的 LLVM API 调用。至少对于 Mac OS X 和 Linux,以这种方式发出的对象应该是相当不错的(即,现在这不是“alpha 质量”选项)。

但是,LLVM 不包含链接器(还没有!)。因此,要将这个目标文件实际链接到某个可执行文件或共享库中,您需要使用系统链接器。请注意,即使您有一个由单个目标文件组成的可执行文件,也必须链接后者。LLVM 社区的开发人员正在为 LLVM 开发一个真正的链接器,称为lld. 您可以访问其页面或搜索邮件列表档案以跟踪其进度。

于 2012-11-22T13:41:54.117 回答
16

正如您在 llc 指南中所读到的那样,它确实只是为了生成程序集,然后“然后可以将汇编语言输出通过本机汇编程序和链接器传递以生成本机可执行文件” - 例如 gnu 汇编程序(as)和链接器 ( ld)。

所以这里的主要答案是使用本地工具进行组装和链接

但是,通过以下方式直接从 IR 文件生成本机对象有实验性支持llc

-filetype      - Choose a file type (not all types are supported by all targets):
    =asm         -   Emit an assembly ('.s') file
    =obj         -   Emit a native object ('.o') file [experimental]

或者您可以使用llvm-mc.s文件中组装它:

-filetype      - Choose an output file type:
    =asm         -   Emit an assembly ('.s') file
    =null        -   Don't emit anything (for timing purposes)
    =obj         -   Emit a native object ('.o') file

不过,我不知道链接器。

此外,我建议查看该tools/bugpoint/ToolRunner.h文件,该文件公开了一个包装器组合llc和平台的本机 C 工具链,用于生成机器代码。从它的标题评论中:

该文件公开了围绕平台 C 编译器的抽象,用于编译 C 和汇编代码。

于 2012-11-21T11:28:55.747 回答
7

查看以下功能llvm-c/TargetMachine.h

/** Emits an asm or object file for the given module to the filename. This
  wraps several c++ only classes (among them a file stream). Returns any
  error in ErrorMessage. Use LLVMDisposeMessage to dispose the message. */
LLVMBool LLVMTargetMachineEmitToFile(LLVMTargetMachineRef T, LLVMModuleRef M,
  char *Filename, LLVMCodeGenFileType codegen, char **ErrorMessage);

/** Compile the LLVM IR stored in \p M and store the result in \p OutMemBuf. */
LLVMBool LLVMTargetMachineEmitToMemoryBuffer(LLVMTargetMachineRef T, LLVMModuleRef M,
  LLVMCodeGenFileType codegen, char** ErrorMessage, LLVMMemoryBufferRef *OutMemBuf);
于 2015-11-24T18:13:14.003 回答
1

要运行示例BrainF程序,请编译并运行:

echo ,. > test.bf
./BrainF test.bf -o test.bc
llc -filetype=obj test.bc
gcc test.o -o a.out
./a.out

然后键入一个字母并按 Enter。它应该把那封信回馈给你。(就是,.这样。)

以上是使用 LLVM 版本 3.5.0 测试的。

于 2014-11-23T19:59:33.863 回答