Lines Matching defs:ValAssumedPoison

7650 static bool directlyImpliesPoison(const Value *ValAssumedPoison, const Value *V,
7652   if (ValAssumedPoison == V)
7662                  directlyImpliesPoison(ValAssumedPoison, Op, Depth + 1);
7671         (match(ValAssumedPoison, m_ExtractValue(m_Specific(II))) ||
7672          llvm::is_contained(II->args(), ValAssumedPoison)))
7678 static bool impliesPoison(const Value *ValAssumedPoison, const Value *V,
7680   if (isGuaranteedNotToBePoison(ValAssumedPoison))
7683   if (directlyImpliesPoison(ValAssumedPoison, V, /* Depth */ 0))
7690   const auto *I = dyn_cast<Instruction>(ValAssumedPoison);
7699 bool llvm::impliesPoison(const Value *ValAssumedPoison, const Value *V) {
7700   return ::impliesPoison(ValAssumedPoison, V, /* Depth */ 0);