Searched refs:ValAssumedPoison (Results 1 – 2 of 2) sorted by relevance
| /freebsd/contrib/llvm-project/llvm/include/llvm/Analysis/ |
| H A D | ValueTracking.h | 1054 bool impliesPoison(const Value *ValAssumedPoison, const Value *V);
|
| /freebsd/contrib/llvm-project/llvm/lib/Analysis/ |
| H A D | ValueTracking.cpp | 7413 static bool directlyImpliesPoison(const Value *ValAssumedPoison, const Value *V, in directlyImpliesPoison() argument
7415 if (ValAssumedPoison == V) in directlyImpliesPoison()
7425 directlyImpliesPoison(ValAssumedPoison, Op, Depth + 1); in directlyImpliesPoison()
7434 (match(ValAssumedPoison, m_ExtractValue(m_Specific(II))) || in directlyImpliesPoison()
7435 llvm::is_contained(II->args(), ValAssumedPoison))) in directlyImpliesPoison()
7441 static bool impliesPoison(const Value *ValAssumedPoison, const Value *V, in impliesPoison() argument
7443 if (isGuaranteedNotToBePoison(ValAssumedPoison)) in impliesPoison()
7446 if (directlyImpliesPoison(ValAssumedPoison, V, /* Depth */ 0)) in impliesPoison()
7453 const auto *I = dyn_cast<Instruction>(ValAssumedPoison); in impliesPoison()
7462 bool llvm::impliesPoison(const Value *ValAssumedPoison, const Value *V) { in impliesPoison() argument
[all …]
|