Searched refs:RightSCEV (Results 1 – 2 of 2) sorted by relevance
| /llvm-project-15.0.7/llvm/lib/Transforms/Scalar/ |
| H A D | InductiveRangeCheckElimination.cpp | 804 const SCEV *RightSCEV = SE.getSCEV(RightValue); in parseLoopStructure() local
808 if (isa<SCEVAddRecExpr>(RightSCEV)) { in parseLoopStructure()
809 std::swap(LeftSCEV, RightSCEV); in parseLoopStructure()
878 FixedRightSCEV = RightSCEV; in parseLoopStructure()
892 isKnownNonNegativeInLoop(RightSCEV, &L, SE)) in parseLoopStructure()
905 RightSCEV = SE.getMinusSCEV(RightSCEV, in parseLoopStructure()
910 RightSCEV = SE.getMinusSCEV(RightSCEV, in parseLoopStructure()
943 SE.getAddExpr(RightSCEV, SE.getOne(RightSCEV->getType())); in parseLoopStructure()
969 RightSCEV = SE.getAddExpr(RightSCEV, SE.getOne(RightSCEV->getType())); in parseLoopStructure()
973 RightSCEV = SE.getAddExpr(RightSCEV, SE.getOne(RightSCEV->getType())); in parseLoopStructure()
[all …]
|
| /llvm-project-15.0.7/llvm/lib/Transforms/Utils/ |
| H A D | LoopPeel.cpp | 249 const SCEV *RightSCEV = SE.getSCEV(RightVal); in countToEliminateCompares() local
253 if (SE.evaluatePredicate(Pred, LeftSCEV, RightSCEV)) in countToEliminateCompares()
259 if (isa<SCEVAddRecExpr>(RightSCEV)) { in countToEliminateCompares()
260 std::swap(LeftSCEV, RightSCEV); in countToEliminateCompares()
286 if (!SE.isKnownPredicate(Pred, IterVal, RightSCEV)) in countToEliminateCompares()
303 SE.isKnownPredicate(Pred, IterVal, RightSCEV)) in countToEliminateCompares()
309 RightSCEV)) in countToEliminateCompares()
317 RightSCEV) && in countToEliminateCompares()
318 !SE.isKnownPredicate(Pred, IterVal, RightSCEV) && in countToEliminateCompares()
319 SE.isKnownPredicate(Pred, NextIterVal, RightSCEV)) { in countToEliminateCompares()
|