LLVM IR 指令插入

Question

在函数迭代器循环中，当我输入以下代码时

 for(BasicBlock::iterator BI = BB->begin(), BE = BB->end(); BI != BE; ++BI)          
        {
             if(isa<StoreInst>(&(*BI)) )
                {
                   if(i==0)
                   {
                    Value *Two = ConstantInt::get(Type::getInt32Ty(Context), 2);
                     Value *Three = ConstantInt::get(Type::getInt32Ty(Context), 3);
                      Instruction *Add = BinaryOperator::Create(Instruction::Add, Two, Three,"addresult",(Instruction*)BI);
                        i=1;
                    }
                    }
                    }

然后我收到错误（在以下 input.bc 文件上应用此传递时 它是那个 input.bc 文件的 input.ll

 define void @_Z3minv() #0 {
entry:
%k = alloca i32, align 4
  %i = alloca i32, align 4
 %j = alloca i32, align 4
 store i32 10, i32* %i, align 4
 store i32 5, i32* %j, align 4
 %0 = load i32* %i, align 4
 %1 = load i32* %j, align 4
 %add = add nsw i32 %0, %1
 store i32 %add, i32* %k, align 4
 ret void}

使用命令 opt -load ../Release+Asserts/lib/Testing.so -insert （插入是我的通行证名称） 我正进入（状态：- 在删除 i32 时 Def 被销毁后使用仍然卡住：%addresult =add i32 2, 3

谁能解释一下这里发生了什么。

Answer 1

通常当某些东西没有完全附加到模块时，我会得到这些。创建的指令不在块中，或者块不在函数中，或者函数不在模块中。基本上删除时无法访问。