获取指令指针时出现LLVM断言错误

Question

我正在尝试获取指向每条指令的指针，这可以通过执行以下操作来实现：

Value* ptr = dyn_cast<Value>(&inst);

但是，在使用cmake运行编译后的C++程序时，我一直收到一个分段错误。在调试模式下，我得到以下错误消息：

opt-11: /usr/lib/llvm-11/include/llvm/IR/User.h:170: llvm::Value* llvm::User::getOperand(unsigned int) 
const: Assertion `i < NumUserOperands && "getOperand() out of range!"' failed.

在LLVM doc中，下面是指向断言来源的代码块：

   Value *getOperand(unsigned i) const {
     assert(i < NumUserOperands && "getOperand() out of range!");
     return getOperandList()[i];
   }

我向程序中从getOperand()获取的每个变量添加了空检查，但错误仍然存在。有没有人知道它为什么会发生以及如何修复它？

Answer 1

实际上，LLVM中的一些指令只有一个操作数，使用inst.getOperand(1)获取第二个操作数是没有意义的。因此，在继续操作之前，需要检查操作数的数量：

         for (auto& inst : bb) {
            Value* v1;
            Value* v2;
            if (inst.getNumOperands() >= 1) 
                v1 = inst.getOperand(0);
            if (inst.getNumOperands() == 2)
                v2 = inst.getOperand(1);
         }

或者简单地说

         for (auto& inst : bb) {
            Value* v1 = inst.getOperand(0);
            Value* v2;
            if (inst.getNumOperands() == 2)
                v2 = inst.getOperand(1);
         }