Searched refs:ValAssumedPoison (Results 1 – 2 of 2) sorted by relevance
| /freebsd-14.2/contrib/llvm-project/llvm/lib/Analysis/ |
| H A D | ValueTracking.cpp | 6736 static bool directlyImpliesPoison(const Value *ValAssumedPoison, const Value *V, in directlyImpliesPoison() argument
6738 if (ValAssumedPoison == V) in directlyImpliesPoison()
6748 directlyImpliesPoison(ValAssumedPoison, Op, Depth + 1); in directlyImpliesPoison()
6757 (match(ValAssumedPoison, m_ExtractValue(m_Specific(II))) || in directlyImpliesPoison()
6758 llvm::is_contained(II->args(), ValAssumedPoison))) in directlyImpliesPoison()
6764 static bool impliesPoison(const Value *ValAssumedPoison, const Value *V, in impliesPoison() argument
6766 if (isGuaranteedNotToBePoison(ValAssumedPoison)) in impliesPoison()
6769 if (directlyImpliesPoison(ValAssumedPoison, V, /* Depth */ 0)) in impliesPoison()
6776 const auto *I = dyn_cast<Instruction>(ValAssumedPoison); in impliesPoison()
6785 bool llvm::impliesPoison(const Value *ValAssumedPoison, const Value *V) { in impliesPoison() argument
[all …]
|
| /freebsd-14.2/contrib/llvm-project/llvm/include/llvm/Analysis/ |
| H A D | ValueTracking.h | 978 bool impliesPoison(const Value *ValAssumedPoison, const Value *V);
|