通过使用LLVM编译haskell生成的Bitcode文件中找不到主函数

Question

我想在通过ghc前端和llvm后端编译haskell文件生成的.bc文件上运行klee。

我的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

问题是当我尝试运行klee或尝试在.bc文件上运行lli时出现以下错误

main function not found in module error

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