Searched refs:ValAssumedPoison (Results 1 – 3 of 3) sorted by relevance
| /freebsd/contrib/llvm-project/llvm/include/llvm/Analysis/ |
| H A D | ValueTracking.h | 774 LLVM_ABI bool impliesPoison(const Value *ValAssumedPoison, const Value *V);
|
| /freebsd/contrib/llvm-project/llvm/lib/Analysis/ |
| H A D | ValueTracking.cpp | 7517 static bool directlyImpliesPoison(const Value *ValAssumedPoison, const Value *V, in directlyImpliesPoison() argument
7519 if (ValAssumedPoison == V) in directlyImpliesPoison()
7529 directlyImpliesPoison(ValAssumedPoison, Op, Depth + 1); in directlyImpliesPoison()
7538 (match(ValAssumedPoison, m_ExtractValue(m_Specific(II))) || in directlyImpliesPoison()
7539 llvm::is_contained(II->args(), ValAssumedPoison))) in directlyImpliesPoison()
7545 static bool impliesPoison(const Value *ValAssumedPoison, const Value *V, in impliesPoison() argument
7547 if (isGuaranteedNotToBePoison(ValAssumedPoison)) in impliesPoison()
7550 if (directlyImpliesPoison(ValAssumedPoison, V, /* Depth */ 0)) in impliesPoison()
7557 const auto *I = dyn_cast<Instruction>(ValAssumedPoison); in impliesPoison()
7566 bool llvm::impliesPoison(const Value *ValAssumedPoison, const Value *V) { in impliesPoison() argument
[all …]
|
| /freebsd/contrib/llvm-project/llvm/lib/Transforms/InstCombine/ |
| H A D | InstCombineSelect.cpp | 3197 static bool impliesPoisonOrCond(const Value *ValAssumedPoison, const Value *V, in impliesPoisonOrCond() argument
3199 if (impliesPoison(ValAssumedPoison, V)) in impliesPoisonOrCond()
3204 if (auto *ICmp = dyn_cast<ICmpInst>(ValAssumedPoison)) { in impliesPoisonOrCond()
|