LLVM IR：获取地址的值

Question

我正在尝试编写一个 LLVM pass 来分析以下 IR：

  %d = alloca i32, align 4
  store i32 0, i32* %d, align 4
  %1 = load i32* %d, align 4
  %2 = add nsw i32 %1, 2
  store i32 %2, i32* %d, align 4

我需要做的是计算出d的最终值。

对于 store i32 0, i32* %d, align 4，我对操作数 0 使用了 ConstantInt 类型转换，并找到了 d 的赋值（即 0）。但我正在努力寻找最后一条存储指令中 d 的值：

store i32 %2, i32* %d, align 4

据我所知，%2 是指向指令 %2 = add nsw i32 %1, 2 结果的指针，与 %1 类似。

我是否需要回溯 %2 以找到 %2 的值，或者是否有更简单的方法？

编辑：

以下是我目前使用的代码：

void analyse(BasicBlock* BB)
{
    for (auto &I: *BB) 
    {
        if (isa<StoreInst>(I)) 
        {
            Value *v = I.getOperand(0);
            Instruction *i = dyn_cast<Instruction>(I.getOperand(1));

            if (isa<ConstantInt>(v)) 
            {
                llvm::ConstantInt *CI = dyn_cast<llvm::ConstantInt>(v);
                int value = CI->getZExtValue();
                std::string ope = i->getName().str().c_str();
                std::cout << "ope " << value << " \n";
            }
        }
    }
}

Answer 1

解决这个问题的方法是回溯。在这种情况下：

store i32 %2, i32* %d, align 4
%2 = add nsw i32 %1, 2
%1 = load i32* %d, align 4

所以它正在检查操作数是一条指令，如果是，则检查指令的类型（即：isa(v)、isa(v) 或 isa(v) 等），然后找到值。

LLVM IR：获取地址的值

LLVM IR: getting the value of an address

llvm

llvm-clang