Lines Matching defs:ValAssumedPoison

7413 static bool directlyImpliesPoison(const Value *ValAssumedPoison, const Value *V,
7415   if (ValAssumedPoison == V)
7425                  directlyImpliesPoison(ValAssumedPoison, Op, Depth + 1);
7434         (match(ValAssumedPoison, m_ExtractValue(m_Specific(II))) ||
7435          llvm::is_contained(II->args(), ValAssumedPoison)))
7441 static bool impliesPoison(const Value *ValAssumedPoison, const Value *V,
7443   if (isGuaranteedNotToBePoison(ValAssumedPoison))
7446   if (directlyImpliesPoison(ValAssumedPoison, V, /* Depth */ 0))
7453   const auto *I = dyn_cast<Instruction>(ValAssumedPoison);
7462 bool llvm::impliesPoison(const Value *ValAssumedPoison, const Value *V) {
7463   return ::impliesPoison(ValAssumedPoison, V, /* Depth */ 0);