Question

我正在学习LLVM基础知识。我试图进入构建器框架并设置模块，函数头等，但我还没有找到在构建器中创建这样的简单序列的方法：

%0 = 41
%1 = add i32 42, %0

意思是如何通过构建器框架使用伪寄存器表示法？

我试图根据两个常量创建一个加号指令。我用来生成（整数）加法的核心线是：

    Value *L = (Value *)m_left->Create_LLVM(  );
    Value *R = (Value *)m_right->Create_LLVM();
    if ( L == 0 || R == 0 ) return 0;

    llvm::Value *p_instruction =  Get_Builder().CreateAdd( L, R, "addtmp" );

这包含了很多我自己的功能，但我想基本知识很清楚。我得到左侧和右侧操作数的值指针，它们都是常量，然后使用构建器框架创建一个添加操作。模块和构建器再次设置正确，当我调用dump（）时，我看到了我所做的所有其他事情，但上面的这一行并没有创建任何IR代码。

我希望它能创造类似

的东西

%4 = add i32 %3, %2

或类似的东西。我是否误解了与建筑商一起构建运营方式的基本原则，还是只是对某些细节进行了一些小的疏忽？

由于

Answer 1

如果没有花哨的Create_LLVM()函数，很难说你做错了什么，但通常会添加两个常量：

您必须创建2 ConstantInt：

const auto& ctx = getGlobalContext(); // just your LLVMContext
auto* L = ConstantInt::get(Type::getInt32Ty(ctx), 41);
auto* R = ConstantInt::get(Type::getInt32Ty(ctx), 42);
const auto& builder = Get_Builder();
builder.Insert(L);  // just a no-op in standard builder impl
builder.Insert(R);  // just a no-op in standard builder impl
builder.CreateAdd(L, R, "addtmp");

你应该得到：

%addtmp = add i32 41, i32 42;

您说您的构建器设置正确，因此它会在当前运行的 add 的末尾添加BasicBlock。我假设您已经创建了一个Function，其中至少有一个BasicBlock。

修改什么会给你带来一个添加指令，就是创建它只是在没有构建器的情况下调用C ++ API：

BinaryOperator* add = BinaryOperator::Create(BinaryOps::Add, L, R, "addtmp", BB);

其中BB是当前BasicBlock。

为了获得更复杂的东西（添加到变量），规范的方法是：

首先你需要一些记忆。 AllocaInst在堆栈上分配内存：

您可以使用构建器：

auto* A = builder.CreateAlloca (Type::getInt32Ty(ctx), nullptr, "a"); auto* B = builder.CreateAlloca (Type::getInt32Ty(ctx), nullptr, "b");

为简单起见，我只是从上面取常量并将它们存储在A和B中。要存储值，我们需要StoreInst：

builder.CreateStore (L, A, /*isVolatile=*/false); builder.CreateStore (R, B, /*isVolatile=*/false);

对于添加，我们使用LoadInst
将内存中的值加载到寄存器中
auto* addLHS = builder.CreateLoad(A); auto* addRHS = builder.CreateLoad(B);

最后添加如上： auto * add = builder.CreateAdd（addLHS，addRHS，＆＃34; add＆＃34;）;

使用指向添加的指针，您可以继续，例如，返回它或将其存储到另一个变量。

IR应如下所示：

define i32 foo() { entry: %a = alloca i32, align 4 %b = alloca i32, align 4 store i32 41, i32* %a, align 4 store i32 42, i32* %b, align 4 %0 = load i32* %a, align 4 %1 = load i32* %b, align 4 %add = add i32 %0, %1 ret i32 %add }

我将如何在LLVM构建器框架中创建此序列？

1 个答案: