Searched refs:isKnownPredicate (Results 1 – 7 of 7) sorted by relevance
/external/llvm/lib/Analysis/ |
D | DependenceAnalysis.cpp | 441 if (isKnownPredicate(CmpInst::ICMP_EQ, X->getD(), Y->getD())) in intersectConstraints() 443 if (isKnownPredicate(CmpInst::ICMP_NE, X->getD(), Y->getD())) { in intersectConstraints() 470 if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2)) { in intersectConstraints() 475 if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2)) in intersectConstraints() 477 if (isKnownPredicate(CmpInst::ICMP_NE, Prod1, Prod2)) { in intersectConstraints() 484 if (isKnownPredicate(CmpInst::ICMP_NE, Prod1, Prod2)) { in intersectConstraints() 556 if (isKnownPredicate(CmpInst::ICMP_EQ, Sum, Y->getC())) in intersectConstraints() 558 if (isKnownPredicate(CmpInst::ICMP_NE, Sum, Y->getC())) { in intersectConstraints() 945 bool DependenceAnalysis::isKnownPredicate(ICmpInst::Predicate Pred, in isKnownPredicate() function in DependenceAnalysis 964 if (SE->isKnownPredicate(Pred, X, Y)) in isKnownPredicate() [all …]
|
D | ScalarEvolution.cpp | 1395 if (Limit && isKnownPredicate(Pred, PreAR, Limit)) // proves (1) in proveNoWrapByVaryingStart() 3061 isKnownPredicate(ICmpInst::ICMP_SGE, Ops[i], Ops[i+1])) { in getSMaxExpr() 3064 } else if (isKnownPredicate(ICmpInst::ICMP_SLE, Ops[i], Ops[i+1])) { in getSMaxExpr() 3164 isKnownPredicate(ICmpInst::ICMP_UGE, Ops[i], Ops[i+1])) { in getUMaxExpr() 3167 } else if (isKnownPredicate(ICmpInst::ICMP_ULE, Ops[i], Ops[i+1])) { in getUMaxExpr() 7093 bool ScalarEvolution::isKnownPredicate(ICmpInst::Predicate Pred, in isKnownPredicate() function in ScalarEvolution 7407 isKnownPredicate(CmpInst::ICMP_SGE, LHS, getZero(LHS->getType())) && in isKnownPredicateViaSplitting() 7408 isKnownPredicate(CmpInst::ICMP_SLT, LHS, RHS); in isKnownPredicateViaSplitting() 7996 return SE.isKnownPredicate(Pred, LAR->getStart(), RAR->getStart()); in IsKnownPredicateViaAddRecStart()
|
/external/llvm/lib/Transforms/Utils/ |
D | SimplifyIndVar.cpp | 177 if (SE->isKnownPredicate(Pred, S, X)) { in eliminateIVComparison() 181 } else if (SE->isKnownPredicate(ICmpInst::getInversePredicate(Pred), S, X)) { in eliminateIVComparison() 254 SE->isKnownPredicate(IsSigned ? ICmpInst::ICMP_SLT : ICmpInst::ICMP_ULT, in eliminateIVRemainder() 263 if (!SE->isKnownPredicate(IsSigned ? in eliminateIVRemainder()
|
/external/llvm/include/llvm/Analysis/ |
D | DependenceAnalysis.h | 563 bool isKnownPredicate(ICmpInst::Predicate Pred,
|
D | ScalarEvolution.h | 1098 bool isKnownPredicate(ICmpInst::Predicate Pred,
|
/external/llvm/lib/Transforms/Scalar/ |
D | InductiveRangeCheckElimination.cpp | 911 SE.isKnownPredicate(ICmpInst::ICMP_SLE, Range.getBegin(), Smallest); in calculateSubRanges() 916 SE.isKnownPredicate(ICmpInst::ICMP_SLE, Greatest, Range.getEnd()); in calculateSubRanges()
|
D | IndVarSimplify.cpp | 1349 SE->isKnownPredicate(ICmpInst::ICMP_SGE, NarrowSCEV, in pushNarrowIVUsers()
|