Home
last modified time | relevance | path

Searched refs:impliesPoison (Results 1 – 7 of 7) sorted by relevance

/llvm-project-15.0.7/llvm/unittests/Analysis/
H A DValueTrackingTest.cpp711 EXPECT_TRUE(impliesPoison(A, A)); in TEST_F()
720 EXPECT_TRUE(impliesPoison(A2, A)); in TEST_F()
729 EXPECT_FALSE(impliesPoison(A2, A)); in TEST_F()
738 EXPECT_TRUE(impliesPoison(A2, A)); in TEST_F()
747 EXPECT_TRUE(impliesPoison(A2, A)); in TEST_F()
756 EXPECT_FALSE(impliesPoison(A2, A)); in TEST_F()
766 EXPECT_TRUE(impliesPoison(A2, A)); in TEST_F()
776 EXPECT_FALSE(impliesPoison(A2, A)); in TEST_F()
785 EXPECT_TRUE(impliesPoison(A2, A)); in TEST_F()
796 EXPECT_TRUE(impliesPoison(A2, A)); in TEST_F()
/llvm-project-15.0.7/llvm/include/llvm/Analysis/
H A DValueTracking.h676 bool impliesPoison(const Value *ValAssumedPoison, const Value *V);
/llvm-project-15.0.7/llvm/lib/Analysis/
H A DValueTracking.cpp5240 static bool impliesPoison(const Value *ValAssumedPoison, const Value *V, in impliesPoison() function
5255 return impliesPoison(Op, V, Depth + 1); in impliesPoison()
5261 bool llvm::impliesPoison(const Value *ValAssumedPoison, const Value *V) { in impliesPoison() function in llvm
5262 return ::impliesPoison(ValAssumedPoison, V, /* Depth */ 0); in impliesPoison()
H A DInstructionSimplify.cpp192 if (match(FCmp, m_Zero()) && impliesPoison(TCmp, Cond)) in handleOtherCmpSelSimplifications()
197 if (match(TCmp, m_One()) && impliesPoison(FCmp, Cond)) in handleOtherCmpSelSimplifications()
H A DScalarEvolution.cpp4019 static bool impliesPoison(const SCEV *AssumedPoison, const SCEV *S) { in impliesPoison() function
4142 if (::impliesPoison(Ops[i], Ops[i - 1]) || in getSequentialMinMaxExpr()
/llvm-project-15.0.7/llvm/lib/Transforms/InstCombine/
H A DInstCombineSelect.cpp2663 if (impliesPoison(FalseVal, CondVal)) { in visitSelectInst()
2675 if (impliesPoison(TrueVal, CondVal)) { in visitSelectInst()
/llvm-project-15.0.7/llvm/lib/Transforms/Utils/
H A DSimplifyCFG.cpp3339 if (impliesPoison(RHS, LHS)) in createLogicalOp()