Lines Matching refs:ValToPoison
228 static Value *getPoisonFor(DenseMap<Value *, Value *> &ValToPoison, Value *V) { in getPoisonFor() argument
229 auto Itr = ValToPoison.find(V); in getPoisonFor()
230 if (Itr != ValToPoison.end()) in getPoisonFor()
264 DenseMap<Value *, Value *> ValToPoison; in rewrite() local
274 ValToPoison[OldPHI] = NewPHI; in rewrite()
288 CreateAssertNot(B, getPoisonFor(ValToPoison, const_cast<Value *>(Op))); in rewrite()
294 CreateAssertNot(B, getPoisonFor(ValToPoison, Op)); in rewrite()
300 Checks.push_back(getPoisonFor(ValToPoison, V)); in rewrite()
304 ValToPoison[&I] = buildOrChain(B, Checks); in rewrite()
310 if (!ValToPoison.count(OldPHI)) in rewrite()
312 auto *NewPHI = cast<PHINode>(ValToPoison[OldPHI]); in rewrite()
315 NewPHI->setIncomingValue(i, getPoisonFor(ValToPoison, OldVal)); in rewrite()