Home
last modified time | relevance | path

Searched refs:ValAssumedPoison (Results 1 – 2 of 2) sorted by relevance

/llvm-project-15.0.7/llvm/lib/Analysis/
H A DValueTracking.cpp5209 static bool directlyImpliesPoison(const Value *ValAssumedPoison, in directlyImpliesPoison() argument
5211 if (ValAssumedPoison == V) in directlyImpliesPoison()
5221 return directlyImpliesPoison(ValAssumedPoison, Op, Depth + 1); in directlyImpliesPoison()
5226 return directlyImpliesPoison(ValAssumedPoison, SI->getCondition(), in directlyImpliesPoison()
5233 (match(ValAssumedPoison, m_ExtractValue(m_Specific(II))) || in directlyImpliesPoison()
5234 llvm::is_contained(II->args(), ValAssumedPoison))) in directlyImpliesPoison()
5240 static bool impliesPoison(const Value *ValAssumedPoison, const Value *V, in impliesPoison() argument
5242 if (isGuaranteedNotToBeUndefOrPoison(ValAssumedPoison)) in impliesPoison()
5245 if (directlyImpliesPoison(ValAssumedPoison, V, /* Depth */ 0)) in impliesPoison()
5252 const auto *I = dyn_cast<Instruction>(ValAssumedPoison); in impliesPoison()
[all …]
/llvm-project-15.0.7/llvm/include/llvm/Analysis/
H A DValueTracking.h676 bool impliesPoison(const Value *ValAssumedPoison, const Value *V);