Question

我正在尝试使用LLVM和C ++编写玩具编译器。但每当我尝试使用多个索引创建一个GetElementPtrInst时，就会出现一个Segfault。有关此说明的文档对我没有帮助（API-Documentation Language-Documentation）

我的llvm版本是3.1，这是在Arch Linux上。刚刚在另一台Arch机器上测试它并得到了同样的错误。

我做错了吗？

这是一个很小的工作程序来说明我的问题。它可以编译为：

g++ -o segfault_example segfault_example.cpp -Wall -Wextra -pedantic \
    `llvm-config --libs core jit native --cxxflags --ldflags`

#include <llvm/Module.h>
#include <llvm/Constants.h>
#include <llvm/DerivedTypes.h>
#include <llvm/LLVMContext.h>
#include <llvm/Instructions.h>
#include <llvm/Analysis/Verifier.h>
#include <llvm/ADT/ArrayRef.h>
#include <string>
#include <iostream>

static llvm::LLVMContext& global = llvm::getGlobalContext();
static llvm::Type* int32ty = llvm::Type::getInt32Ty(global);

llvm::ConstantInt* getInt32(int n)
{
    return llvm::ConstantInt::get(llvm::Type::getInt32Ty(global), n);
}

int main()
{
    //setup everything for a minimal example
    llvm::Module* mainModule = new llvm::Module("main", global);

    llvm::FunctionType* ftype = llvm::FunctionType::get(int32ty, false);

    llvm::Function* mainFunction = llvm::Function::Create(
        ftype, llvm::GlobalValue::InternalLinkage, "main", mainModule);

    llvm::BasicBlock* bblock = llvm::BasicBlock::Create(
        global, "entry", mainFunction, 0);

    llvm::AllocaInst* mem = new llvm::AllocaInst(llvm::Type::getInt32PtrTy(global, 0x1000)
        , getInt32(0x1000), 0x1000, "mem", bblock);

    //tests
    //this works
    std::cout << "Testing with one element vector" << std::endl;
    std::vector<llvm::Value*> vect_1;
    vect_1.push_back(getInt32(0));
    llvm::GetElementPtrInst* gep1 =
        llvm::GetElementPtrInst::CreateInBounds(mem, llvm::ArrayRef<llvm::Value*>(vect_1)
        , "retval", bblock);
    std::cout << "done" << std::endl;

    //this works too, but I can't find this signature in the documentation
    std::cout << "Testing with Value* instead of ArrayRef" << std::endl;
        llvm::GetElementPtrInst::CreateInBounds(mem, getInt32(0), "retval", bblock);
    std::cout << "done" << std::endl;

    //this segfaults
    std::cout << "Filling two element vector" << std::endl;
    std::vector<llvm::Value*> vect_2;
    vect_2.push_back(getInt32(0));
    vect_2.push_back(getInt32(1));
    std::cout << "Testing with two element vector" << std::endl;
    //segfault
    llvm::GetElementPtrInst* gep2 =
        llvm::GetElementPtrInst::CreateInBounds(mem, llvm::ArrayRef<llvm::Value*>(vect_2)
        , "retval", bblock);
    std::cout << "done" << std::endl;

    mainModule->dump();
    llvm::verifyFunction(*mainFunction);
}

Answer 1

发现错误。我将尝试解释原因和我的解决方案，但解释可能是错误的。

mem的类型错误。（在我的例子中）它需要使用new llvm::AllocaInst(llvm::ArrayType::get(int32ty, 100), "mem", bblock);声明。创建两个间接级别（explanation why there are two indirections）。前一种类型只有一个间接，并用GetElementPtrInst取消引用它，因此两元素向量不起作用。

在使用llvm in the browser并发出LLVM C ++ Api代码时，我注意到了这一点。

您可以在命令行上为C示例文件创建C ++ Api代码，如下所示：

clang -c -emit-llvm -o ex.bf example.c
llc -march=cpp -o ex.cpp ex.bf

将GetElementPtrInst与包含多个Value的ArrayRef一起使用时的Segfault

1 个答案: