Home
last modified time | relevance | path

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

/openbsd-src/gnu/llvm/llvm/lib/Analysis/
H A DDependenceAnalysis.cpp522 if (isKnownPredicate(CmpInst::ICMP_EQ, X->getD(), Y->getD())) in intersectConstraints()
524 if (isKnownPredicate(CmpInst::ICMP_NE, X->getD(), Y->getD())) { in intersectConstraints()
551 if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2)) { in intersectConstraints()
556 if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2)) in intersectConstraints()
558 if (isKnownPredicate(CmpInst::ICMP_NE, Prod1, Prod2)) { in intersectConstraints()
565 if (isKnownPredicate(CmpInst::ICMP_NE, Prod1, Prod2)) { in intersectConstraints()
637 if (isKnownPredicate(CmpInst::ICMP_EQ, Sum, Y->getC())) in intersectConstraints()
639 if (isKnownPredicate(CmpInst::ICMP_NE, Sum, Y->getC())) { in intersectConstraints()
1051 bool DependenceInfo::isKnownPredicate(ICmpInst::Predicate Pred, const SCEV *X, in isKnownPredicate() function in DependenceInfo
1069 if (SE->isKnownPredicate(Pred, X, Y)) in isKnownPredicate()
[all …]
H A DLoopCacheAnalysis.cpp493 return SE.isKnownPredicate(ICmpInst::ICMP_ULT, Stride, CacheLineSize); in isConsecutive()
H A DScalarEvolution.cpp1540 if (Limit && isKnownPredicate(Pred, PreAR, Limit)) // proves (1) in proveNoWrapByVaryingStart()
5595 isKnownPredicate(ICmpInst::ICMP_NE, Expr, ExtendedExpr); in createAddRecFromPHIWithCastsImpl()
5615 !isKnownPredicate(ICmpInst::ICMP_EQ, Expr, ExtendedExpr)) { in createAddRecFromPHIWithCastsImpl()
10904 bool ScalarEvolution::isKnownPredicate(ICmpInst::Predicate Pred, in isKnownPredicate() function in ScalarEvolution
10922 if (isKnownPredicate(Pred, LHS, RHS)) in evaluatePredicate()
10924 else if (isKnownPredicate(ICmpInst::getInversePredicate(Pred), LHS, RHS)) in evaluatePredicate()
10933 return isKnownPredicate(Pred, LHS, RHS) || in isKnownPredicateAt()
11348 isKnownPredicate(CmpInst::ICMP_SGE, LHS, getZero(LHS->getType())) && in isKnownPredicateViaSplitting()
11349 isKnownPredicate(CmpInst::ICMP_SLT, LHS, RHS); in isKnownPredicateViaSplitting()
12231 return isKnownPredicate(ICmpInst::ICMP_ULE, ShifteeS, RHS); in isImpliedCondOperandsViaShift()
[all …]
/openbsd-src/gnu/llvm/llvm/lib/Transforms/Utils/
H A DLoopPeel.cpp401 if (!SE.isKnownPredicate(Pred, IterVal, RightSCEV)) in countToEliminateCompares()
418 SE.isKnownPredicate(Pred, IterVal, RightSCEV)) in countToEliminateCompares()
423 if (!SE.isKnownPredicate(ICmpInst::getInversePredicate(Pred), IterVal, in countToEliminateCompares()
431 !SE.isKnownPredicate(ICmpInst::getInversePredicate(Pred), NextIterVal, in countToEliminateCompares()
433 !SE.isKnownPredicate(Pred, IterVal, RightSCEV) && in countToEliminateCompares()
434 SE.isKnownPredicate(Pred, NextIterVal, RightSCEV)) { in countToEliminateCompares()
H A DSimplifyIndVar.cpp377 if (SE->isKnownPredicate(LT, N, D)) { in simplifyIVRemainder()
384 if (SE->isKnownPredicate(LT, NLessOne, D)) { in simplifyIVRemainder()
1838 SE->isKnownPredicate(ICmpInst::ICMP_SGE, NarrowSCEV, in pushNarrowIVUsers()
/openbsd-src/gnu/llvm/llvm/lib/Transforms/Scalar/
H A DInductiveRangeCheckElimination.cpp200 return SE.isKnownPredicate(ICmpInst::ICMP_SGE, Begin, End); in isEmpty()
202 return SE.isKnownPredicate(ICmpInst::ICMP_UGE, Begin, End); in isEmpty()
1133 SE.isKnownPredicate(PredLE, Range.getBegin(), Smallest); in calculateSubRanges()
1138 SE.isKnownPredicate(PredLT, GreatestSeen, Range.getEnd()); in calculateSubRanges()
H A DLoopBoundSplit.cpp111 if (SE.isKnownPredicate(Pred, Cond.BoundSCEV, MaxSCEV)) { in calculateUpperBound()
H A DLoopPredication.cpp683 SE->isKnownPredicate(ICmpInst::ICMP_ULE, RC.IV->getStart(), RC.Limit)) in normalizePredicate()
H A DLoopFuse.cpp1315 bool IsAlwaysGE = SE.isKnownPredicate(Pred, SCEVPtr0, SCEVPtr1); in accessDiffIsPositive()
H A DIndVarSimplify.cpp2198 assert(!SE->isKnownPredicate(ICmpInst::ICMP_ULT, BackedgeTakenCount, in run()
/openbsd-src/gnu/llvm/llvm/include/llvm/Analysis/
H A DDependenceAnalysis.h581 bool isKnownPredicate(ICmpInst::Predicate Pred,
H A DScalarEvolution.h1051 bool isKnownPredicate(ICmpInst::Predicate Pred, const SCEV *LHS,
/openbsd-src/gnu/llvm/llvm/lib/Transforms/Vectorize/
H A DVPlanTransforms.cpp521 !SE.isKnownPredicate(CmpInst::ICMP_ULE, TripCount, C)) in optimizeForVFAndUF()