Lines Matching defs:ValToPoison
223 static Value *getPoisonFor(DenseMap<Value *, Value *> &ValToPoison, Value *V) {
224 auto Itr = ValToPoison.find(V);
225 if (Itr != ValToPoison.end())
259 DenseMap<Value *, Value *> ValToPoison;
269 ValToPoison[OldPHI] = NewPHI;
286 getPoisonFor(ValToPoison, const_cast<Value *>(Op)));
292 CreateAssertNot(B, getPoisonFor(ValToPoison, Op));
297 if (ValToPoison.count(U) && propagatesPoison(U))
298 Checks.push_back(getPoisonFor(ValToPoison, U));
303 ValToPoison[&I] = buildOrChain(B, Checks);
309 if (!ValToPoison.count(OldPHI))
311 auto *NewPHI = cast<PHINode>(ValToPoison[OldPHI]);
314 NewPHI->setIncomingValue(i, getPoisonFor(ValToPoison, OldVal));