Lines Matching refs:ValToPoison
222 static Value *getPoisonFor(DenseMap<Value *, Value *> &ValToPoison, Value *V) { in getPoisonFor() argument
223 auto Itr = ValToPoison.find(V); in getPoisonFor()
224 if (Itr != ValToPoison.end()) in getPoisonFor()
258 DenseMap<Value *, Value *> ValToPoison; in rewrite() local
268 ValToPoison[OldPHI] = NewPHI; in rewrite()
282 CreateAssertNot(B, getPoisonFor(ValToPoison, const_cast<Value *>(Op))); in rewrite()
288 CreateAssertNot(B, getPoisonFor(ValToPoison, Op)); in rewrite()
294 Checks.push_back(getPoisonFor(ValToPoison, V)); in rewrite()
298 ValToPoison[&I] = buildOrChain(B, Checks); in rewrite()
304 if (!ValToPoison.count(OldPHI)) in rewrite()
306 auto *NewPHI = cast<PHINode>(ValToPoison[OldPHI]); in rewrite()
309 NewPHI->setIncomingValue(i, getPoisonFor(ValToPoison, OldVal)); in rewrite()