search for: trytoreplaceinstwithconstant

Hi Félix, Sanjoy Das wrote: > Félix Cloutier via llvm-dev wrote: > > Assuming that this is a bug, what are the next steps? > > Looks like you already have a very small test case -- have you tried > sticking it in a debugger to see why SCCP thinks removing the call is > okay? > > Alternatively, file a bug at llvm.org/bugs and someone will get to it. The third

...> Btw, looks like the bug is in runSCCP in > > for (BasicBlock::iterator BI = BB.begin(), E = BB.end(); BI != E;) { > Instruction *Inst = &*BI++; > if (Inst->getType()->isVoidTy() || isa<TerminatorInst>(Inst)) > continue; > > if (tryToReplaceInstWithConstant(Solver, Inst, > true /* shouldEraseFromParent */)) { > // Hey, we just changed something! > MadeChanges = true; > ++NumInstRemoved; > } > > It should not be passing in true for shouldEraseFromParent. I think...