Home
last modified time | relevance | path

Searched refs:isKnownPredicate (Results 1 – 17 of 17) sorted by relevance

/llvm-project-15.0.7/llvm/lib/Analysis/
H A DDependenceAnalysis.cpp488 if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2)) { in intersectConstraints()
493 if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2)) in intersectConstraints()
1006 if (SE->isKnownPredicate(Pred, X, Y)) in isKnownPredicate()
1125 if (isKnownPredicate(CmpInst::ICMP_EQ, Src, Dst)) { in testZIV()
1129 if (isKnownPredicate(CmpInst::ICMP_NE, Src, Dst)) { in testZIV()
1371 if (isKnownPredicate(CmpInst::ICMP_SGT, Delta, ML)) { in weakCrossingSIVtest()
1377 if (isKnownPredicate(CmpInst::ICMP_EQ, Delta, ML)) { in weakCrossingSIVtest()
3180 else if (isKnownPredicate(CmpInst::ICMP_EQ, A, B)) { in propagateLine()
3262 if (!isKnownPredicate(CmpInst::ICMP_NE, in updateDirection()
3267 if (!isKnownPredicate(CmpInst::ICMP_SLE, in updateDirection()
[all …]
H A DLoopCacheAnalysis.cpp494 return SE.isKnownPredicate(ICmpInst::ICMP_ULT, Stride, CacheLineSize); in isConsecutive()
H A DScalarEvolution.cpp1548 if (Limit && isKnownPredicate(Pred, PreAR, Limit)) // proves (1) in proveNoWrapByVaryingStart()
5447 isKnownPredicate(ICmpInst::ICMP_NE, Expr, ExtendedExpr); in createAddRecFromPHIWithCastsImpl()
5467 !isKnownPredicate(ICmpInst::ICMP_EQ, Expr, ExtendedExpr)) { in createAddRecFromPHIWithCastsImpl()
10604 bool ScalarEvolution::isKnownPredicate(ICmpInst::Predicate Pred, in isKnownPredicate() function in ScalarEvolution
10622 if (isKnownPredicate(Pred, LHS, RHS)) in evaluatePredicate()
10624 else if (isKnownPredicate(ICmpInst::getInversePredicate(Pred), LHS, RHS)) in evaluatePredicate()
10633 return isKnownPredicate(Pred, LHS, RHS) || in isKnownPredicateAt()
10992 isKnownPredicate(CmpInst::ICMP_SLT, LHS, RHS); in isKnownPredicateViaSplitting()
11883 return isKnownPredicate(ICmpInst::ICMP_ULE, ShifteeS, RHS); in isImpliedCondOperandsViaShift()
11886 return isKnownPredicate(ICmpInst::ICMP_SLE, ShifteeS, RHS); in isImpliedCondOperandsViaShift()
[all …]
/llvm-project-15.0.7/llvm/lib/Transforms/Utils/
H A DLoopPeel.cpp286 if (!SE.isKnownPredicate(Pred, IterVal, RightSCEV)) in countToEliminateCompares()
303 SE.isKnownPredicate(Pred, IterVal, RightSCEV)) in countToEliminateCompares()
308 if (!SE.isKnownPredicate(ICmpInst::getInversePredicate(Pred), IterVal, in countToEliminateCompares()
316 !SE.isKnownPredicate(ICmpInst::getInversePredicate(Pred), NextIterVal, in countToEliminateCompares()
318 !SE.isKnownPredicate(Pred, IterVal, RightSCEV) && in countToEliminateCompares()
319 SE.isKnownPredicate(Pred, NextIterVal, RightSCEV)) { in countToEliminateCompares()
H A DSimplifyIndVar.cpp407 if (SE->isKnownPredicate(LT, N, D)) { in simplifyIVRemainder()
414 if (SE->isKnownPredicate(LT, NLessOne, D)) { in simplifyIVRemainder()
1849 SE->isKnownPredicate(ICmpInst::ICMP_SGE, NarrowSCEV, in pushNarrowIVUsers()
/llvm-project-15.0.7/llvm/test/Analysis/ScalarEvolution/
H A Dinner-loop-by-latch-cond-unknown.ll24 ; isKnownPredicate with AddRec for %i and unknown SCEV for %b.
H A Dpr51869-scalar-evolution-prove-implications-via-truncation.ll12 ; happened when using isKnownPredicate inside ScalarEvolution::isImpliedCond.
/llvm-project-15.0.7/llvm/test/Transforms/IndVarSimplify/X86/
H A Dinner-loop.ll3 ; This is regression test for the bug in ScalarEvolution::isKnownPredicate.
/llvm-project-15.0.7/llvm/lib/Transforms/Scalar/
H A DInductiveRangeCheckElimination.cpp201 return SE.isKnownPredicate(ICmpInst::ICMP_SGE, Begin, End); in isEmpty()
203 return SE.isKnownPredicate(ICmpInst::ICMP_UGE, Begin, End); in isEmpty()
1130 SE.isKnownPredicate(PredLE, Range.getBegin(), Smallest); in calculateSubRanges()
1135 SE.isKnownPredicate(PredLT, GreatestSeen, Range.getEnd()); in calculateSubRanges()
H A DLoopBoundSplit.cpp111 if (SE.isKnownPredicate(Pred, Cond.BoundSCEV, MaxSCEV)) { in calculateUpperBound()
H A DLoopPredication.cpp674 SE->isKnownPredicate(ICmpInst::ICMP_ULE, RC.IV->getStart(), RC.Limit)) in normalizePredicate()
H A DLoopFuse.cpp1105 bool IsAlwaysGE = SE.isKnownPredicate(Pred, SCEVPtr0, SCEVPtr1); in accessDiffIsPositive()
H A DIndVarSimplify.cpp2078 assert(!SE->isKnownPredicate(ICmpInst::ICMP_ULT, BackedgeTakenCount, in run()
/llvm-project-15.0.7/llvm/include/llvm/Analysis/
H A DDependenceAnalysis.h557 bool isKnownPredicate(ICmpInst::Predicate Pred,
H A DScalarEvolution.h1035 bool isKnownPredicate(ICmpInst::Predicate Pred, const SCEV *LHS,
/llvm-project-15.0.7/llvm/unittests/Analysis/
H A DScalarEvolutionTest.cpp1234 EXPECT_TRUE(SE.isKnownPredicate(ICmpInst::ICMP_UGE, Sum, X)); in TEST_F()
1235 EXPECT_TRUE(SE.isKnownPredicate(ICmpInst::ICMP_UGT, Sum, X)); in TEST_F()
/llvm-project-15.0.7/polly/lib/CodeGen/
H A DIslNodeBuilder.cpp584 !SE.isKnownPredicate(Predicate, SE.getSCEV(ValueLB), SE.getSCEV(ValueUB)); in createForSequential()