Question

我正在尝试编写LLVM传递来分析以下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我使用了ConstantInt转换为操作数0并找到了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：获取地址的值

1 个答案: