如何在LLVM builder框架中创建此序列？

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

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

这意味着如何通过构建器框架使用伪寄存器表示法

我试图创建一个基于两个常量的plus指令。我用来生成整数加法的核心行是：

    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" );

这包含了很多我自己的函数，但我想基本的都很清楚。我为左右操作数获取一个值指针，这两个操作数都是常量，然后使用构建器框架创建一个add操作。同样，模块和构建器的设置是正确的，当我调用dump时，我会看到我所做的所有其他事情，但上面这一行不会创建任何IR代码

我希望它能共同创造出这样的东西

%4 = add i32 %3, %2 

或者类似的东西。我是否误解了与建筑商一起施工的基本方式，或者只是对某些细节的一些小疏忽

---

感谢

如果没有别致的Create_LLVM函数，很难说你做错了什么，但通常是因为添加了两个常量：

您必须创建2个康斯坦丁：

你应该得到：

%addtmp = add i32 41, i32 42;

您说过构建器设置正确，因此它将在当前操作的BasicBlock的末尾添加add。我假设您已经准备好创建一个至少有一个BasicBlock的函数

编辑： 将给你带来任何方式的一个添加指令就是创建它，只调用没有构建器的C++ API：

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

其中BB是当前的基本块

为了获得更复杂的变量，规范的方法是：

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

您可以使用生成器执行以下操作：

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

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

对于加法，我们使用LoadInst将值从内存加载到寄存器：

最后，添加如下内容： auto*add=builder.createaddlhs，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
}

---

如果没有特别的Create_LLVM函数，很难说您做错了什么，但一般来说，添加两个常量：

您必须创建2个康斯坦丁：

你应该得到：

%addtmp = add i32 41, i32 42;

您说过构建器设置正确，因此它将在当前操作的BasicBlock的末尾添加add。我假设您已经准备好创建一个至少有一个BasicBlock的函数

编辑： 将给你带来任何方式的一个添加指令就是创建它，只调用没有构建器的C++ API：

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

其中BB是当前的基本块

为了获得更复杂的变量，规范的方法是：

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

您可以使用生成器执行以下操作：

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

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

对于加法，我们使用LoadInst将值从内存加载到寄存器：

最后，添加如下内容： auto*add=builder.createaddlhs，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
}

---

在又一天的实验之后，我走得更远了，我意识到构建器现在只是创建了一个带有常量值的返回语句，而没有实际执行加法，这让我起初很恼火，因为我不希望在没有明确的优化请求的情况下，但对于LLVM来说，这类事情可能是微不足道的，不用说。不过，我现在的主要问题是第一个问题。我无法在变量中实际存储值，事实上我还没有找到任何类似于变量的值派生类，因此我假设，以与IR基本教程兼容的方式处理变量，必须有一些复杂的方法来处理它，不知何故，它是模糊的，不容易找到。生成器有一个恒定的文件夹，在IR生成期间执行恒定的折叠，这很可能就是为什么你看到这样一个优化没有优化器通过的原因。是的，我想，当你不期望它时，它只是让人困惑。有没有关于如何在变量中存储值的提示？这是我的主要障碍。最后事情开始变得更清楚了，非常感谢你的解释。我的印象是，我应该能够通过像%0=42这样的序列创建变量序列，而无需首先分配存储，就像纯IR代码示例中那样。到目前为止，我还没有找到任何办法

---

这样做，您的答案似乎表明在构建器中没有这样做的方法。我必须进一步研究这个例子，让它更深入，但我现在开始看得更清楚了，谢谢。在又一天的实验之后，我走得更远了，我意识到构建器现在只是创建一个带有常量值的返回语句，而没有实际执行加法，一开始这让我很恼火，因为我不希望在没有明确的优化请求的情况下这样做，但对于LLVM来说，这类事情可能微不足道，不言而喻。不过，我现在的主要问题是第一个问题。我无法在变量中实际存储值，事实上我还没有找到任何类似于变量的值派生类，因此我假设，以与IR基本教程兼容的方式处理变量，必须有一些复杂的方法来处理它，不知何故，它是模糊的，不容易找到。生成器有一个恒定的文件夹，在IR生成期间执行恒定的折叠，这很可能就是为什么你看到这样一个优化没有优化器通过的原因。是的，我想，当你不期望它时，它只是让人困惑。有没有关于如何在变量中存储值的提示？这是我的主要障碍。最后事情开始变得更清楚了，非常感谢你的解释。我的印象是，我应该能够通过像%0=42这样的序列创建变量序列，而无需首先分配存储，就像纯IR代码示例中那样。到目前为止，我还没有看到任何方法可以做到这一点，而您的回答似乎表明，在建筑商中没有任何方法可以做到这一点。我必须进一步研究这个例子，让它更深入，但我现在开始看得更清楚了，谢谢。