Home
last modified time | relevance | path

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

/external/swiftshader/third_party/llvm-7.0/llvm/lib/Analysis/
DDependenceAnalysis.cpp437 if (isKnownPredicate(CmpInst::ICMP_EQ, X->getD(), Y->getD())) in intersectConstraints()
439 if (isKnownPredicate(CmpInst::ICMP_NE, X->getD(), Y->getD())) { in intersectConstraints()
466 if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2)) { in intersectConstraints()
471 if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2)) in intersectConstraints()
473 if (isKnownPredicate(CmpInst::ICMP_NE, Prod1, Prod2)) { in intersectConstraints()
480 if (isKnownPredicate(CmpInst::ICMP_NE, Prod1, Prod2)) { in intersectConstraints()
552 if (isKnownPredicate(CmpInst::ICMP_EQ, Sum, Y->getC())) in intersectConstraints()
554 if (isKnownPredicate(CmpInst::ICMP_NE, Sum, Y->getC())) { in intersectConstraints()
953 bool DependenceInfo::isKnownPredicate(ICmpInst::Predicate Pred, const SCEV *X, in isKnownPredicate() function in DependenceInfo
971 if (SE->isKnownPredicate(Pred, X, Y)) in isKnownPredicate()
[all …]
DScalarEvolution.cpp1554 if (Limit && isKnownPredicate(Pred, PreAR, Limit)) // proves (1) in proveNoWrapByVaryingStart()
3564 isKnownPredicate(ICmpInst::ICMP_SGE, Ops[i], Ops[i+1])) { in getSMaxExpr()
3567 } else if (isKnownPredicate(ICmpInst::ICMP_SLE, Ops[i], Ops[i+1])) { in getSMaxExpr()
4860 isKnownPredicate(ICmpInst::ICMP_NE, Expr, ExtendedExpr); in createAddRecFromPHIWithCastsImpl()
4880 !isKnownPredicate(ICmpInst::ICMP_EQ, Expr, ExtendedExpr)) { in createAddRecFromPHIWithCastsImpl()
8900 bool ScalarEvolution::isKnownPredicate(ICmpInst::Predicate Pred, in isKnownPredicate() function in ScalarEvolution
9155 isKnownPredicate(CmpInst::ICMP_SGE, LHS, getZero(LHS->getType())) && in isKnownPredicateViaSplitting()
9156 isKnownPredicate(CmpInst::ICMP_SLT, LHS, RHS); in isKnownPredicateViaSplitting()
9913 return SE.isKnownPredicate(Pred, LAR->getStart(), RAR->getStart()); in IsKnownPredicateViaAddRecStart()
/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/swiftshader/third_party/llvm-7.0/llvm/lib/Transforms/Utils/
DLoopUnrollPeel.cpp176 if (SE.isKnownPredicate(Pred, LeftSCEV, RightSCEV) || in countToEliminateCompares()
177 SE.isKnownPredicate(ICmpInst::getInversePredicate(Pred), LeftSCEV, in countToEliminateCompares()
216 if (!SE.isKnownPredicate(Pred, IterVal, RightSCEV)) in countToEliminateCompares()
221 SE.isKnownPredicate(Pred, IterVal, RightSCEV)) { in countToEliminateCompares()
229 SE.isKnownPredicate(ICmpInst::getInversePredicate(Pred), IterVal, in countToEliminateCompares()
DSimplifyIndVar.cpp254 if (SE->isKnownPredicate(Pred, S, X)) { in eliminateIVComparison()
258 } else if (SE->isKnownPredicate(ICmpInst::getInversePredicate(Pred), S, X)) { in eliminateIVComparison()
374 if (SE->isKnownPredicate(LT, N, D)) { in simplifyIVRemainder()
381 if (SE->isKnownPredicate(LT, NLessOne, D)) { in simplifyIVRemainder()
/external/swiftshader/third_party/LLVM/lib/Transforms/Utils/
DSimplifyIndVar.cpp174 if (SE->isKnownPredicate(Pred, S, X)) in eliminateIVComparison()
176 else if (SE->isKnownPredicate(ICmpInst::getInversePredicate(Pred), S, X)) in eliminateIVComparison()
208 SE->isKnownPredicate(IsSigned ? ICmpInst::ICMP_SLT : ICmpInst::ICMP_ULT, in eliminateIVRemainder()
218 if (!SE->isKnownPredicate(IsSigned ? in eliminateIVRemainder()
/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/swiftshader/third_party/llvm-7.0/llvm/test/Analysis/ScalarEvolution/
Dinner-loop-by-latch-cond-unknown.ll24 ; isKnownPredicate with AddRec for %i and unknown SCEV for %b.
/external/swiftshader/third_party/llvm-7.0/llvm/test/Transforms/IndVarSimplify/
Dinner-loop.ll3 ; This is regression test for the bug in ScalarEvolution::isKnownPredicate.
/external/swiftshader/third_party/llvm-7.0/llvm/lib/Transforms/Scalar/
DInductiveRangeCheckElimination.cpp216 return SE.isKnownPredicate(ICmpInst::ICMP_SGE, Begin, End); in isEmpty()
218 return SE.isKnownPredicate(ICmpInst::ICMP_UGE, Begin, End); in isEmpty()
1190 SE.isKnownPredicate(PredLE, Range.getBegin(), Smallest); in calculateSubRanges()
1195 SE.isKnownPredicate(PredLT, GreatestSeen, Range.getEnd()); in calculateSubRanges()
DIndVarSimplify.cpp1512 SE->isKnownPredicate(ICmpInst::ICMP_SGE, NarrowSCEV, in pushNarrowIVUsers()
/external/swiftshader/third_party/llvm-7.0/llvm/include/llvm/Analysis/
DDependenceAnalysis.h556 bool isKnownPredicate(ICmpInst::Predicate Pred,
DScalarEvolution.h886 bool isKnownPredicate(ICmpInst::Predicate Pred, const SCEV *LHS,
/external/llvm/include/llvm/Analysis/
DDependenceAnalysis.h566 bool isKnownPredicate(ICmpInst::Predicate Pred,
DScalarEvolution.h1473 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()
DIndVarSimplify.cpp1374 SE->isKnownPredicate(ICmpInst::ICMP_SGE, NarrowSCEV, in pushNarrowIVUsers()
/external/swiftshader/third_party/LLVM/include/llvm/Analysis/
DScalarEvolution.h813 bool isKnownPredicate(ICmpInst::Predicate Pred,
/external/swiftshader/third_party/LLVM/lib/Analysis/
DScalarEvolution.cpp2430 isKnownPredicate(ICmpInst::ICMP_SGE, Ops[i], Ops[i+1])) { in getSMaxExpr()
2433 } else if (isKnownPredicate(ICmpInst::ICMP_SLE, Ops[i], Ops[i+1])) { in getSMaxExpr()
2534 isKnownPredicate(ICmpInst::ICMP_UGE, Ops[i], Ops[i+1])) { in getUMaxExpr()
2537 } else if (isKnownPredicate(ICmpInst::ICMP_ULE, Ops[i], Ops[i+1])) { in getUMaxExpr()
5712 bool ScalarEvolution::isKnownPredicate(ICmpInst::Predicate Pred, in isKnownPredicate() function in ScalarEvolution