Searched refs:ValAssumedPoison (Results 1 – 2 of 2) sorted by relevance
| /freebsd-13.1/contrib/llvm-project/llvm/lib/Analysis/ |
| H A D | ValueTracking.cpp | 5046 static bool directlyImpliesPoison(const Value *ValAssumedPoison, in directlyImpliesPoison() argument
5048 if (ValAssumedPoison == V) in directlyImpliesPoison()
5058 return directlyImpliesPoison(ValAssumedPoison, Op, Depth + 1); in directlyImpliesPoison()
5063 return directlyImpliesPoison(ValAssumedPoison, SI->getCondition(), in directlyImpliesPoison()
5070 (match(ValAssumedPoison, m_ExtractValue(m_Specific(II))) || in directlyImpliesPoison()
5071 llvm::is_contained(II->arg_operands(), ValAssumedPoison))) in directlyImpliesPoison()
5077 static bool impliesPoison(const Value *ValAssumedPoison, const Value *V, in impliesPoison() argument
5079 if (isGuaranteedNotToBeUndefOrPoison(ValAssumedPoison)) in impliesPoison()
5082 if (directlyImpliesPoison(ValAssumedPoison, V, /* Depth */ 0)) in impliesPoison()
5089 const auto *I = dyn_cast<Instruction>(ValAssumedPoison); in impliesPoison()
[all …]
|
| /freebsd-13.1/contrib/llvm-project/llvm/include/llvm/Analysis/ |
| H A D | ValueTracking.h | 635 bool impliesPoison(const Value *ValAssumedPoison, const Value *V);
|