| /freebsd/contrib/llvm-project/llvm/lib/Analysis/ |
| H A D | DependenceAnalysis.cpp | 522 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 D | LoopCacheAnalysis.cpp | 498 return SE.isKnownPredicate(ICmpInst::ICMP_ULT, Stride, CacheLineSize); in isConsecutive()
|
| H A D | ScalarEvolution.cpp | 1482 if (Limit && isKnownPredicate(Pred, PreAR, Limit)) // proves (1) in proveNoWrapByVaryingStart()
5641 isKnownPredicate(ICmpInst::ICMP_NE, Expr, ExtendedExpr); in createAddRecFromPHIWithCastsImpl()
5661 !isKnownPredicate(ICmpInst::ICMP_EQ, Expr, ExtendedExpr)) { in createAddRecFromPHIWithCastsImpl()
10932 bool ScalarEvolution::isKnownPredicate(ICmpInst::Predicate Pred, in isKnownPredicate() function in ScalarEvolution
10950 if (isKnownPredicate(Pred, LHS, RHS)) in evaluatePredicate()
10952 if (isKnownPredicate(ICmpInst::getInversePredicate(Pred), LHS, RHS)) in evaluatePredicate()
10961 return isKnownPredicate(Pred, LHS, RHS) || in isKnownPredicateAt()
11375 isKnownPredicate(CmpInst::ICMP_SGE, LHS, getZero(LHS->getType())) && in isKnownPredicateViaSplitting()
11376 isKnownPredicate(CmpInst::ICMP_SLT, LHS, RHS); in isKnownPredicateViaSplitting()
12270 return isKnownPredicate(ICmpInst::ICMP_ULE, ShifteeS, RHS); in isImpliedCondOperandsViaShift()
[all …]
|
| H A D | LoopAccessAnalysis.cpp | 1958 if (SE.isKnownPredicate(CmpInst::ICMP_ULE, SrcEnd, SinkStart)) in getDependenceDistanceStrideAndSize()
1960 if (SE.isKnownPredicate(CmpInst::ICMP_ULE, SinkEnd, SrcStart)) in getDependenceDistanceStrideAndSize()
|
| /freebsd/contrib/llvm-project/llvm/lib/Transforms/Utils/ |
| H A D | LoopPeel.cpp | 361 SE.isKnownPredicate(Pred, IterVal, BoundSCEV)) { in countToEliminateCompares()
365 return SE.isKnownPredicate(ICmpInst::getInversePredicate(Pred), IterVal, in countToEliminateCompares()
425 if (!SE.isKnownPredicate(Pred, IterVal, RightSCEV)) in countToEliminateCompares()
438 !SE.isKnownPredicate(ICmpInst::getInversePredicate(Pred), NextIterVal, in countToEliminateCompares()
440 !SE.isKnownPredicate(Pred, IterVal, RightSCEV) && in countToEliminateCompares()
441 SE.isKnownPredicate(Pred, NextIterVal, RightSCEV)) { in countToEliminateCompares()
|
| H A D | SimplifyIndVar.cpp | 394 if (SE->isKnownPredicate(LT, N, D)) { in simplifyIVRemainder()
401 if (SE->isKnownPredicate(LT, NLessOne, D)) { in simplifyIVRemainder()
2004 SE->isKnownPredicate(ICmpInst::ICMP_SGE, NarrowSCEV, in pushNarrowIVUsers()
|
| /freebsd/contrib/llvm-project/llvm/lib/Transforms/Scalar/ |
| H A D | InductiveRangeCheckElimination.cpp | 214 return SE.isKnownPredicate(ICmpInst::ICMP_SGE, Begin, End); in isEmpty()
216 return SE.isKnownPredicate(ICmpInst::ICMP_UGE, Begin, End); in isEmpty()
635 SE.isKnownPredicate(PredLE, Range.getBegin(), Smallest); in map()
640 SE.isKnownPredicate(PredLT, GreatestSeen, Range.getEnd());
|
| H A D | LoopBoundSplit.cpp | 111 if (SE.isKnownPredicate(Pred, Cond.BoundSCEV, MaxSCEV)) { in calculateUpperBound()
|
| H A D | LoopPredication.cpp | 645 SE->isKnownPredicate(ICmpInst::ICMP_ULE, RC.IV->getStart(), RC.Limit)) in widenICmpRangeCheckDecrementingLoop()
|
| H A D | LoopFuse.cpp | 1312 bool IsAlwaysGE = SE.isKnownPredicate(Pred, SCEVPtr0, SCEVPtr1); in accessDiffIsPositive()
|
| /freebsd/contrib/llvm-project/llvm/include/llvm/Analysis/ |
| H A D | DependenceAnalysis.h | 577 /// isKnownPredicate - Compare X and Y using the predicate Pred.
578 /// Basically a wrapper for SCEV::isKnownPredicate,
581 bool isKnownPredicate(ICmpInst::Predicate Pred,
|
| H A D | ScalarEvolution.h | 1073 bool isKnownPredicate(ICmpInst::Predicate Pred, const SCEV *LHS,
|
| /freebsd/contrib/llvm-project/llvm/lib/Transforms/Vectorize/ |
| H A D | VPlanTransforms.cpp | 698 !SE.isKnownPredicate(CmpInst::ICMP_ULE, TripCount, C)) in optimizeForVFAndUF()
|
| H A D | LoopVectorize.cpp | 4733 if (SE.isKnownPredicate( in selectEpilogueVectorizationFactor()
|