Home
last modified time | relevance | path

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

12

/external/swiftshader/third_party/llvm-10.0/llvm/lib/Transforms/Utils/
DLoopUnrollPeel.cpp197 if (SE.isKnownPredicate(Pred, LeftSCEV, RightSCEV) || in countToEliminateCompares()
198 SE.isKnownPredicate(ICmpInst::getInversePredicate(Pred), LeftSCEV, in countToEliminateCompares()
234 if (!SE.isKnownPredicate(Pred, IterVal, RightSCEV)) in countToEliminateCompares()
251 SE.isKnownPredicate(Pred, IterVal, RightSCEV)) in countToEliminateCompares()
256 if (!SE.isKnownPredicate(ICmpInst::getInversePredicate(Pred), IterVal, in countToEliminateCompares()
264 !SE.isKnownPredicate(ICmpInst::getInversePredicate(Pred), NextIterVal, in countToEliminateCompares()
266 assert(!SE.isKnownPredicate(Pred, IterVal, RightSCEV) && in countToEliminateCompares()
267 SE.isKnownPredicate(Pred, NextIterVal, RightSCEV) && in countToEliminateCompares()
DSimplifyIndVar.cpp264 if (SE->isKnownPredicate(Pred, S, X)) { in eliminateIVComparison()
268 } else if (SE->isKnownPredicate(ICmpInst::getInversePredicate(Pred), S, X)) { in eliminateIVComparison()
384 if (SE->isKnownPredicate(LT, N, D)) { in simplifyIVRemainder()
391 if (SE->isKnownPredicate(LT, NLessOne, D)) { in simplifyIVRemainder()
/external/llvm-project/llvm/lib/Transforms/Utils/
DLoopPeel.cpp209 if (SE.isKnownPredicate(Pred, LeftSCEV, RightSCEV) || in countToEliminateCompares()
210 SE.isKnownPredicate(ICmpInst::getInversePredicate(Pred), LeftSCEV, in countToEliminateCompares()
244 if (!SE.isKnownPredicate(Pred, IterVal, RightSCEV)) in countToEliminateCompares()
261 SE.isKnownPredicate(Pred, IterVal, RightSCEV)) in countToEliminateCompares()
266 if (!SE.isKnownPredicate(ICmpInst::getInversePredicate(Pred), IterVal, in countToEliminateCompares()
274 !SE.isKnownPredicate(ICmpInst::getInversePredicate(Pred), NextIterVal, in countToEliminateCompares()
276 !SE.isKnownPredicate(Pred, IterVal, RightSCEV) && in countToEliminateCompares()
277 SE.isKnownPredicate(Pred, NextIterVal, RightSCEV)) { in countToEliminateCompares()
DSimplifyIndVar.cpp266 if (SE->isKnownPredicate(Pred, S, X)) { in eliminateIVComparison()
270 } else if (SE->isKnownPredicate(ICmpInst::getInversePredicate(Pred), S, X)) { in eliminateIVComparison()
386 if (SE->isKnownPredicate(LT, N, D)) { in simplifyIVRemainder()
393 if (SE->isKnownPredicate(LT, NLessOne, D)) { in simplifyIVRemainder()
1838 SE->isKnownPredicate(ICmpInst::ICMP_SGE, NarrowSCEV, in pushNarrowIVUsers()
/external/swiftshader/third_party/llvm-10.0/llvm/lib/Analysis/
DDependenceAnalysis.cpp457 if (isKnownPredicate(CmpInst::ICMP_EQ, X->getD(), Y->getD())) in intersectConstraints()
459 if (isKnownPredicate(CmpInst::ICMP_NE, X->getD(), Y->getD())) { in intersectConstraints()
486 if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2)) { in intersectConstraints()
491 if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2)) in intersectConstraints()
493 if (isKnownPredicate(CmpInst::ICMP_NE, Prod1, Prod2)) { in intersectConstraints()
500 if (isKnownPredicate(CmpInst::ICMP_NE, Prod1, Prod2)) { in intersectConstraints()
572 if (isKnownPredicate(CmpInst::ICMP_EQ, Sum, Y->getC())) in intersectConstraints()
574 if (isKnownPredicate(CmpInst::ICMP_NE, Sum, Y->getC())) { in intersectConstraints()
964 bool DependenceInfo::isKnownPredicate(ICmpInst::Predicate Pred, const SCEV *X, in isKnownPredicate() function in DependenceInfo
982 if (SE->isKnownPredicate(Pred, X, Y)) in isKnownPredicate()
[all …]
DLoopCacheAnalysis.cpp399 return SE.isKnownPredicate(ICmpInst::ICMP_ULT, Stride, CacheLineSize); in isConsecutive()
/external/llvm/lib/Analysis/
DDependenceAnalysis.cpp436 if (isKnownPredicate(CmpInst::ICMP_EQ, X->getD(), Y->getD())) in intersectConstraints()
438 if (isKnownPredicate(CmpInst::ICMP_NE, X->getD(), Y->getD())) { in intersectConstraints()
465 if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2)) { in intersectConstraints()
470 if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2)) in intersectConstraints()
472 if (isKnownPredicate(CmpInst::ICMP_NE, Prod1, Prod2)) { in intersectConstraints()
479 if (isKnownPredicate(CmpInst::ICMP_NE, Prod1, Prod2)) { in intersectConstraints()
551 if (isKnownPredicate(CmpInst::ICMP_EQ, Sum, Y->getC())) in intersectConstraints()
553 if (isKnownPredicate(CmpInst::ICMP_NE, Sum, Y->getC())) { in intersectConstraints()
938 bool DependenceInfo::isKnownPredicate(ICmpInst::Predicate Pred, const SCEV *X, in isKnownPredicate() function in DependenceInfo
956 if (SE->isKnownPredicate(Pred, X, Y)) in isKnownPredicate()
[all …]
DScalarEvolution.cpp1396 if (Limit && isKnownPredicate(Pred, PreAR, Limit)) // proves (1) in proveNoWrapByVaryingStart()
3096 isKnownPredicate(ICmpInst::ICMP_SGE, Ops[i], Ops[i+1])) { in getSMaxExpr()
3099 } else if (isKnownPredicate(ICmpInst::ICMP_SLE, Ops[i], Ops[i+1])) { in getSMaxExpr()
3197 isKnownPredicate(ICmpInst::ICMP_UGE, Ops[i], Ops[i+1])) { in getUMaxExpr()
3200 } else if (isKnownPredicate(ICmpInst::ICMP_ULE, Ops[i], Ops[i+1])) { in getUMaxExpr()
7575 bool ScalarEvolution::isKnownPredicate(ICmpInst::Predicate Pred, in isKnownPredicate() function in ScalarEvolution
7845 isKnownPredicate(CmpInst::ICMP_SGE, LHS, getZero(LHS->getType())) && in isKnownPredicateViaSplitting()
7846 isKnownPredicate(CmpInst::ICMP_SLT, LHS, RHS); in isKnownPredicateViaSplitting()
8454 return SE.isKnownPredicate(Pred, LAR->getStart(), RAR->getStart()); in IsKnownPredicateViaAddRecStart()
/external/llvm-project/llvm/lib/Analysis/
DDependenceAnalysis.cpp457 if (isKnownPredicate(CmpInst::ICMP_EQ, X->getD(), Y->getD())) in intersectConstraints()
459 if (isKnownPredicate(CmpInst::ICMP_NE, X->getD(), Y->getD())) { in intersectConstraints()
486 if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2)) { in intersectConstraints()
491 if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2)) in intersectConstraints()
493 if (isKnownPredicate(CmpInst::ICMP_NE, Prod1, Prod2)) { in intersectConstraints()
500 if (isKnownPredicate(CmpInst::ICMP_NE, Prod1, Prod2)) { in intersectConstraints()
572 if (isKnownPredicate(CmpInst::ICMP_EQ, Sum, Y->getC())) in intersectConstraints()
574 if (isKnownPredicate(CmpInst::ICMP_NE, Sum, Y->getC())) { in intersectConstraints()
966 bool DependenceInfo::isKnownPredicate(ICmpInst::Predicate Pred, const SCEV *X, in isKnownPredicate() function in DependenceInfo
984 if (SE->isKnownPredicate(Pred, X, Y)) in isKnownPredicate()
[all …]
DLoopCacheAnalysis.cpp425 return SE.isKnownPredicate(ICmpInst::ICMP_ULT, Stride, CacheLineSize); in isConsecutive()
DScalarEvolution.cpp1484 if (Limit && isKnownPredicate(Pred, PreAR, Limit)) // proves (1) in proveNoWrapByVaryingStart()
4929 isKnownPredicate(ICmpInst::ICMP_NE, Expr, ExtendedExpr); in createAddRecFromPHIWithCastsImpl()
4949 !isKnownPredicate(ICmpInst::ICMP_EQ, Expr, ExtendedExpr)) { in createAddRecFromPHIWithCastsImpl()
9488 bool ScalarEvolution::isKnownPredicate(ICmpInst::Predicate Pred, in isKnownPredicate() function in ScalarEvolution
9507 return isKnownPredicate(Pred, LHS, RHS) || in isKnownPredicateAt()
9818 isKnownPredicate(CmpInst::ICMP_SGE, LHS, getZero(LHS->getType())) && in isKnownPredicateViaSplitting()
9819 isKnownPredicate(CmpInst::ICMP_SLT, LHS, RHS); in isKnownPredicateViaSplitting()
10135 if (isKnownPredicate(ICmpInst::ICMP_ULE, FoundLHS, MaxValue) && in isImpliedCond()
10136 isKnownPredicate(ICmpInst::ICMP_ULE, FoundRHS, MaxValue)) { in isImpliedCond()
10674 return SE.isKnownPredicate(Pred, LAR->getStart(), RAR->getStart()); in IsKnownPredicateViaAddRecStart()
/external/llvm/lib/Transforms/Utils/
DSimplifyIndVar.cpp174 if (SE->isKnownPredicate(Pred, S, X)) { in eliminateIVComparison()
178 } else if (SE->isKnownPredicate(ICmpInst::getInversePredicate(Pred), S, X)) { in eliminateIVComparison()
289 SE->isKnownPredicate(IsSigned ? ICmpInst::ICMP_SLT : ICmpInst::ICMP_ULT, in eliminateIVRemainder()
298 if (!SE->isKnownPredicate(IsSigned ? in eliminateIVRemainder()
/external/llvm-project/llvm/test/Analysis/ScalarEvolution/
Dinner-loop-by-latch-cond-unknown.ll25 ; isKnownPredicate with AddRec for %i and unknown SCEV for %b.
/external/llvm-project/llvm/test/Transforms/IndVarSimplify/X86/
Dinner-loop.ll3 ; This is regression test for the bug in ScalarEvolution::isKnownPredicate.
/external/swiftshader/third_party/llvm-10.0/llvm/lib/Transforms/Scalar/
DInductiveRangeCheckElimination.cpp202 return SE.isKnownPredicate(ICmpInst::ICMP_SGE, Begin, End); in isEmpty()
204 return SE.isKnownPredicate(ICmpInst::ICMP_UGE, Begin, End); in isEmpty()
1117 SE.isKnownPredicate(PredLE, Range.getBegin(), Smallest); in calculateSubRanges()
1122 SE.isKnownPredicate(PredLT, GreatestSeen, Range.getEnd()); in calculateSubRanges()
DLoopPredication.cpp664 SE->isKnownPredicate(ICmpInst::ICMP_ULE, RC.IV->getStart(), RC.Limit)) in normalizePredicate()
DIndVarSimplify.cpp1697 SE->isKnownPredicate(ICmpInst::ICMP_SGE, NarrowSCEV, in pushNarrowIVUsers()
3150 assert(!SE->isKnownPredicate(ICmpInst::ICMP_ULT, BackedgeTakenCount, in run()
/external/llvm-project/llvm/lib/Transforms/Scalar/
DInductiveRangeCheckElimination.cpp203 return SE.isKnownPredicate(ICmpInst::ICMP_SGE, Begin, End); in isEmpty()
205 return SE.isKnownPredicate(ICmpInst::ICMP_UGE, Begin, End); in isEmpty()
1132 SE.isKnownPredicate(PredLE, Range.getBegin(), Smallest); in calculateSubRanges()
1137 SE.isKnownPredicate(PredLT, GreatestSeen, Range.getEnd()); in calculateSubRanges()
DLoopPredication.cpp666 SE->isKnownPredicate(ICmpInst::ICMP_ULE, RC.IV->getStart(), RC.Limit)) in normalizePredicate()
/external/llvm/include/llvm/Analysis/
DDependenceAnalysis.h566 bool isKnownPredicate(ICmpInst::Predicate Pred,
DScalarEvolution.h1473 bool isKnownPredicate(ICmpInst::Predicate Pred,
/external/swiftshader/third_party/llvm-10.0/llvm/include/llvm/Analysis/
DDependenceAnalysis.h559 bool isKnownPredicate(ICmpInst::Predicate Pred,
/external/llvm-project/llvm/include/llvm/Analysis/
DDependenceAnalysis.h560 bool isKnownPredicate(ICmpInst::Predicate Pred,
/external/llvm/lib/Transforms/Scalar/
DInductiveRangeCheckElimination.cpp882 SE.isKnownPredicate(ICmpInst::ICMP_SLE, Range.getBegin(), Smallest); in calculateSubRanges()
887 SE.isKnownPredicate(ICmpInst::ICMP_SLE, Greatest, Range.getEnd()); in calculateSubRanges()
/external/llvm-project/llvm/unittests/Analysis/
DScalarEvolutionTest.cpp1189 EXPECT_TRUE(SE.isKnownPredicate(ICmpInst::ICMP_UGE, Sum, X)); in TEST_F()
1190 EXPECT_TRUE(SE.isKnownPredicate(ICmpInst::ICMP_UGT, Sum, X)); in TEST_F()

12