Home
last modified time | relevance | path

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

/freebsd-12.1/contrib/llvm/lib/Analysis/
H A DDependenceAnalysis.cpp473 if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2)) { in intersectConstraints()
478 if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2)) in intersectConstraints()
978 if (SE->isKnownPredicate(Pred, X, Y)) in isKnownPredicate()
1097 if (isKnownPredicate(CmpInst::ICMP_EQ, Src, Dst)) { in testZIV()
1101 if (isKnownPredicate(CmpInst::ICMP_NE, Src, Dst)) { in testZIV()
1343 if (isKnownPredicate(CmpInst::ICMP_SGT, Delta, ML)) { in weakCrossingSIVtest()
1349 if (isKnownPredicate(CmpInst::ICMP_EQ, Delta, ML)) { in weakCrossingSIVtest()
3150 else if (isKnownPredicate(CmpInst::ICMP_EQ, A, B)) { in propagateLine()
3232 if (!isKnownPredicate(CmpInst::ICMP_NE, in updateDirection()
3237 if (!isKnownPredicate(CmpInst::ICMP_SLE, in updateDirection()
[all …]
H A DScalarEvolution.cpp1552 if (Limit && isKnownPredicate(Pred, PreAR, Limit)) // proves (1) in proveNoWrapByVaryingStart()
3569 isKnownPredicate(ICmpInst::ICMP_SGE, Ops[i], Ops[i+1])) { in getSMaxExpr()
3572 } else if (isKnownPredicate(ICmpInst::ICMP_SLE, Ops[i], Ops[i+1])) { in getSMaxExpr()
4865 isKnownPredicate(ICmpInst::ICMP_NE, Expr, ExtendedExpr); in createAddRecFromPHIWithCastsImpl()
4885 !isKnownPredicate(ICmpInst::ICMP_EQ, Expr, ExtendedExpr)) { in createAddRecFromPHIWithCastsImpl()
9092 bool ScalarEvolution::isKnownPredicate(ICmpInst::Predicate Pred, in isKnownPredicate() function in ScalarEvolution
9347 isKnownPredicate(CmpInst::ICMP_SGE, LHS, getZero(LHS->getType())) && in isKnownPredicateViaSplitting()
9348 isKnownPredicate(CmpInst::ICMP_SLT, LHS, RHS); in isKnownPredicateViaSplitting()
10114 return SE.isKnownPredicate(Pred, LAR->getStart(), RAR->getStart()); in IsKnownPredicateViaAddRecStart()
/freebsd-12.1/contrib/llvm/lib/Transforms/Utils/
H A 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()
H A DSimplifyIndVar.cpp263 if (SE->isKnownPredicate(Pred, S, X)) { in eliminateIVComparison()
267 } else if (SE->isKnownPredicate(ICmpInst::getInversePredicate(Pred), S, X)) { in eliminateIVComparison()
383 if (SE->isKnownPredicate(LT, N, D)) { in simplifyIVRemainder()
390 if (SE->isKnownPredicate(LT, NLessOne, D)) { in simplifyIVRemainder()
/freebsd-12.1/contrib/llvm/lib/Transforms/Scalar/
H A DInductiveRangeCheckElimination.cpp197 return SE.isKnownPredicate(ICmpInst::ICMP_SGE, Begin, End); in isEmpty()
199 return SE.isKnownPredicate(ICmpInst::ICMP_UGE, Begin, End); in isEmpty()
1111 SE.isKnownPredicate(PredLE, Range.getBegin(), Smallest); in calculateSubRanges()
1116 SE.isKnownPredicate(PredLT, GreatestSeen, Range.getEnd()); in calculateSubRanges()
H A DIndVarSimplify.cpp1646 SE->isKnownPredicate(ICmpInst::ICMP_SGE, NarrowSCEV, in pushNarrowIVUsers()
/freebsd-12.1/contrib/llvm/include/llvm/Analysis/
H A DDependenceAnalysis.h556 bool isKnownPredicate(ICmpInst::Predicate Pred,
H A DScalarEvolution.h886 bool isKnownPredicate(ICmpInst::Predicate Pred, const SCEV *LHS,