Question

我试图按照LLVM教程编写实现，但是当我尝试发出目标代码时，我的代码会出现段错误。

这是尝试编译函数func的最小示例。为了简单起见，func是一个什么都不做的函数。

#include <iostream>
#include <llvm/ADT/Optional.h>
#include <llvm/IR/BasicBlock.h>
#include <llvm/IR/DerivedTypes.h>
#include <llvm/IR/Function.h>
#include <llvm/IR/IRBuilder.h>
#include <llvm/IR/LLVMContext.h>
#include <llvm/IR/LegacyPassManager.h>
#include <llvm/IR/Module.h>
#include <llvm/IR/Type.h>
#include <llvm/IR/Verifier.h>
#include <llvm/Support/CodeGen.h>
#include <llvm/Support/FileSystem.h>
#include <llvm/Support/Host.h>
#include <llvm/Support/TargetRegistry.h>
#include <llvm/Support/TargetSelect.h>
#include <llvm/Support/raw_ostream.h>
#include <llvm/Target/TargetMachine.h>
#include <llvm/Target/TargetOptions.h>
#include <stdexcept>
#include <string>
#include <system_error>
#include <vector>

int main() {

    llvm::LLVMContext context;
    llvm::IRBuilder<> builder(context);
    llvm::Module      module("module", context);

    llvm::Function* const func = llvm::Function::Create(
        llvm::FunctionType::get(llvm::Type::getVoidTy(context),
                                std::vector<llvm::Type*>(), false),
        llvm::Function::ExternalLinkage, "func", &module
    );

    builder.SetInsertPoint(llvm::BasicBlock::Create(context, "entry", func));

    llvm::verifyFunction(*func);

    func->dump();

    llvm::InitializeAllTargetInfos();
    llvm::InitializeAllTargets();
    llvm::InitializeAllTargetMCs();
    llvm::InitializeAllAsmParsers();
    llvm::InitializeAllAsmPrinters();

    const std::string triple = llvm::sys::getDefaultTargetTriple();

    std::string message;
    const llvm::Target* const target = llvm::TargetRegistry::lookupTarget(
        triple, message
    );
    if (!target) throw std::runtime_error("Couldn't find target.");

    llvm::TargetMachine* const machine = target->createTargetMachine(
        triple, "generic", "", llvm::TargetOptions(),
        llvm::Optional<llvm::Reloc::Model>()
    );

    module.setDataLayout(machine->createDataLayout());
    module.setTargetTriple(triple);

    std::error_code code;
    llvm::raw_fd_ostream obj_file("func.o", code, llvm::sys::fs::F_None);
    if (code) throw std::runtime_error("Couldn't open object file.");

    llvm::legacy::PassManager manager;
    if (
        machine->addPassesToEmitFile(manager, obj_file,
                                     llvm::TargetMachine::CGFT_ObjectFile)
    ) throw std::runtime_error("Adding passes failed.");

    std::cout << "Running pass manager." << std::endl;
    manager.run(module);
    std::cout << "Ran pass manager." << std::endl;

    obj_file.flush();

}

这是我正在编译的命令。我使用GCC版本6.3.1和LLVM版本3.9.1。

g++ src/main.cc -o bin/test -std=c++1z -Wall -Wextra             \
    -Wno-unused-function -Wno-unused-value -Wno-unused-parameter \
    -Werror -ggdb -O0 `llvm-config --system-libs --libs core`

这是输出。

define void @func() {
entry:
}

Running pass manager.
Segmentation fault (core dumped)

对IR的转换成功 - 至少对我来说转储看起来是正确的 - 但是在调用llvm::legacy::PassManager::run时发生了段错误。

我尝试使用GDB逐步完成代码。这是从段错误时刻开始的回溯。

#0  0x00007ffff56ce72f in ?? () from /usr/lib/libLLVM-3.9.so
#1  0x00007ffff56477c2 in llvm::FPPassManager::runOnFunction(llvm::Function&) () from /usr/lib/libLLVM-3.9.so
#2  0x00007ffff5647b4b in llvm::FPPassManager::runOnModule(llvm::Module&) () from /usr/lib/libLLVM-3.9.so
#3  0x00007ffff5647e74 in llvm::legacy::PassManagerImpl::run(llvm::Module&) () from /usr/lib/libLLVM-3.9.so
#4  0x0000000000403ab6 in main () at src/main.cc:76

不幸的是，我的LLVM安装（在Arch Linux上使用pacman安装）似乎没有行号调试信息，因此我无法确切地说明llvm::FPPassManager::runOnFunction中的位置执行问题正在发生。

在概念或实施方面，我试图做的事情有什么明显的错误吗？

Answer 1

必须终止所有LLVM基本块（参见例如http://llvm.org/docs/doxygen/html/classllvm_1_1BasicBlock.html#details）。在您的情况下，生成的IR应如下所示：

define void @func() {
entry:
    ret void
}

在您的C ++代码中，您需要在致电builder.CreateRetVoid()之前添加llvm::verifyFunction。

此外，llvm::verifyFunction没有明显输出错误，因为您没有传递第二个参数，该参数指示LLVM应输出错误的流。请尝试将其输出到stderr：

llvm::verifyFunction(*func, &llvm::errs())

您还应该检查llvm::verifyFunction的返回值。 true返回值表示错误。

请参阅：http://llvm.org/docs/doxygen/html/namespacellvm.html#a26389c546573f058ad8ecbdc5c1933cf和http://llvm.org/docs/doxygen/html/raw__ostream_8h.html

您还应该考虑在调用llvm::verifyModule(theModule, theOsStream)生成目标文件之前验证整个模块（请参阅http://llvm.org/docs/doxygen/html/Verifier_8h.html）。

最后，我建议在编译C代码时检查Clang生成的IR，以便检查正确生成的IR是什么样的。例如，您可以按如下方式创建一个简单的C文件：

// test.c
void func(void) {}

然后编译并查看如下：

clang -S -emit-llvm test.c
cat test.ll

当我尝试发出目标代码时，为什么LLVM会出现错误？

1 个答案: