使用 llvm 后端编译 haskell .ll 文件时出错

我想使用 ghc 前端和 llvm 后端编译 haskell。

我的 haskell hello.hs 文件中有以下代码：

main = putStrLn "Hello World!"

我使用以下命令用 ghc 编译 hello.hs

ghc -fllvm -keep-llvm-files -force-recomp -hello.hs

它会生成 hello.ll 文件以及其他文件。 然后我尝试将此 .ll 文件编译为 .bc 文件。

llvm-as hello.ll -o hello.bc

然后将此 .bc 文件转换为可执行文件

llc hello.bc -o hello

生成一个可执行文件。问题是当我运行这个文件时我发现以下错误

./hello: line 1: .file: command not found
./hello: line 2: .section: command not found
./hello: line 3: .globl: command not found
./hello: line 4: .align: command not found
./hello: line 5: .type: command not found
./hello: line 6: Main_main2_info:: command not found
./hello: line 8: subq: command not found
./hello: line 9: syntax error near unexpected token `('
./hello: line 9: `                 movq                                                                      
%r13, 112(%rsp)'

当我在 .bc 文件上使用 lli 时，我得到

main function not found in module error

我在 docker 上运行 ghc 和 llvm。我有 llvm 3.4 版本和 ghc 7.6.3 版本。

当我尝试在 Mac 上执行此操作时，会发生“类似”错误。我不知道为什么我会收到此错误。

The llc程序不创建可执行文件。它将 LLVM 字节码编译为本机汇编源（默认情况下）或目标文件。如果你运行：

llc hello.bc -o hello

然后使用文本编辑器检查生成的“hello”文件，您将看到它是一个 Intel 汇编文件，并且您遇到的语法错误是因为您尝试将其作为 shell 脚本运行。

相反，您可以将 LLVM 字节码直接编译为目标文件：

llc hello.bc -filetype=obj -o hello.o

然后尝试将其链接到可执行文件：

ld hello.o -o hello

这会产生一堆链接错误，因为它需要与 Haskell 运行时链接。事实证明，在 Haskell 运行时链接的最佳方法是使用ghc本身进行链接：

ghc hello.o -o hello

请注意，该命令的作用是not实际上重新编译 Haskell 源代码。它只是进行链接。如果您想查看它运行的链接命令，请使用：

ghc -v hello.o -o hello

你就会明白为什么最好将链接保留在ghc!!

最后，完成所有这些之后，您应该能够运行“hello”。完整的命令集是：

$ ghc -fllvm -keep-llvm-files -fforce-recomp hello.hs                                                           
[1 of 1] Compiling Main             ( hello.hs, hello.o )                                                       
Linking hello ...
$ rm hello                                                                                               
$ llvm-as hello.ll -o hello.bc                                                                                  
$ llc hello.bc -filetype=obj -o hello.o                                                                         
$ ghc hello.o -o hello                                                                                          
$ ./hello                                                                                                       
Hello, world!  
$