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被破坏后，use仍然被卡住：%addresult=add i32 2，3

有人能解释一下这里发生了什么吗。

Answer 1

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