Question

我有这个字节码片段：

define void @setGlobal(i32 %a) #0 {
entry:
  %a.addr = alloca i32, align 4
  store i32 %a, i32* %a.addr, align 4
  %0 = load i32* %a.addr, align 4
  store i32 %0, i32* @Global, align 4
  %1 = load i32* %a.addr, align 4
  store i32 %1, i32* getelementptr inbounds ([5 x i32]* @GlobalVec, i32 0, i64 0), align 4
  store i32 2, i32* getelementptr inbounds ([5 x i32]* @GlobalVec, i32 0, i64 2), align 4
  ret void
}

我正在使用此代码从“store i32％1，i32 * getelementptr inbounds（[5 x i32] * @GlobalVec，i32 0，i64 0），align 4”中找到getelementptr：

for (Module::iterator F = p_Module.begin(), endF = p_Module.end(); F != endF; ++F) {

        for (Function::iterator BB = F->begin(), endBB = F->end(); BB != endBB; ++BB) {

            for (BasicBlock::iterator I = BB->begin(), endI = BB->end(); I
                    != endI; ++I) {
                if (StoreInst* SI = dyn_cast<StoreInst>(I)) {
                    if (Instruction *gep = dyn_cast<Instruction>(SI->getOperand(1)))
                    {
                        if (gep->getOpcode() == Instruction::GetElementPtr)
                        {
                            //do something
                        }

                    }

                }

            }
        }
}

此代码找不到getelementptr。我究竟做错了什么？

Answer 1

您的bitcode代码段中没有getelementptr说明，这就是您无法找到它们的原因。

看起来像getelementptr指令的两个案例实际上是constant expressions - 告诉标志是它们显示为另一条指令（store）的一部分，这不是你能做的事情做有规律的说明。

因此，如果您要搜索该表达式，则需要查找type GetElementPtrConstantExpr，而不是GetElementPtrInst。

LLVM无法找到getelementptr指令

1 个答案: