Searched refs:isImpliedCond (Results 1 – 4 of 4) sorted by relevance
| /llvm-project-15.0.7/llvm/test/Analysis/ScalarEvolution/ |
| H A D | pr51869-scalar-evolution-prove-implications-via-truncation.ll | 12 ; happened when using isKnownPredicate inside ScalarEvolution::isImpliedCond.
|
| /llvm-project-15.0.7/llvm/unittests/Analysis/ |
| H A D | ScalarEvolutionTest.cpp | 72 static bool isImpliedCond( in isImpliedCond() function in llvm::ScalarEvolutionsTest
76 return SE.isImpliedCond(Pred, LHS, RHS, FoundPred, FoundLHS, FoundRHS); in isImpliedCond()
1447 EXPECT_TRUE(isImpliedCond(SE, ICmpInst::ICMP_SLT, AddRec_0_N1, Zero, in TEST_F()
1450 EXPECT_TRUE(isImpliedCond(SE, ICmpInst::ICMP_SGT, AddRec_0_1, Zero, in TEST_F()
|
| /llvm-project-15.0.7/llvm/include/llvm/Analysis/ |
| H A D | ScalarEvolution.h | 1802 bool isImpliedCond(ICmpInst::Predicate Pred, const SCEV *LHS, const SCEV *RHS,
1820 bool isImpliedCond(ICmpInst::Predicate Pred, const SCEV *LHS, const SCEV *RHS,
|
| /llvm-project-15.0.7/llvm/lib/Analysis/ |
| H A D | ScalarEvolution.cpp | 11008 isImpliedCond(Pred, LHS, RHS, Condition, false); in isImpliedViaGuard()
11040 isImpliedCond(Pred, LHS, RHS, in isLoopBackedgeGuardedByCond()
11063 if (isImpliedCond(Pred, LHS, RHS, ICmpInst::ICMP_ULT, LoopCounter, in isLoopBackedgeGuardedByCond()
11076 if (isImpliedCond(Pred, LHS, RHS, CI->getArgOperand(0), false)) in isLoopBackedgeGuardedByCond()
11112 if (isImpliedCond(Pred, LHS, RHS, Condition, in isLoopBackedgeGuardedByCond()
11164 if (isImpliedCond(Pred, LHS, RHS, Condition, Inverse, CtxI)) in isBasicBlockEntryGuardedByCond()
11168 return isImpliedCond(P, LHS, RHS, Condition, Inverse, CtxI); in isBasicBlockEntryGuardedByCond()
11261 return isImpliedCond(Pred, LHS, RHS, Op0, Inverse, CtxI) || in isImpliedCond()
11262 isImpliedCond(Pred, LHS, RHS, Op1, Inverse, CtxI); in isImpliedCond()
11265 return isImpliedCond(Pred, LHS, RHS, Op0, Inverse, CtxI) || in isImpliedCond()
[all …]
|