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

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;

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

编辑:以任何方式为您提供添加指令的是在没有构建器的情况下仅调用 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, "add");

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

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
}