Lines Matching refs:ScalarEvolution
152 static bool parseRangeCheckICmp(Loop *L, ICmpInst *ICI, ScalarEvolution &SE,
157 extractRangeChecksFromCond(Loop *L, ScalarEvolution &SE, Use &ConditionUse,
162 ICmpInst::Predicate Pred, ScalarEvolution &SE,
167 ICmpInst::Predicate Pred, ScalarEvolution &SE,
210 bool isEmpty(ScalarEvolution &SE, bool IsSigned) const { in isEmpty()
227 std::optional<Range> computeSafeIterationSpace(ScalarEvolution &SE,
237 BranchInst *BI, Loop *L, ScalarEvolution &SE, BranchProbabilityInfo *BPI,
242 ScalarEvolution &SE;
256 InductiveRangeCheckElimination(ScalarEvolution &SE, in InductiveRangeCheckElimination()
271 ScalarEvolution &SE, in parseRangeCheckICmp()
306 ScalarEvolution &SE, in parseIvAgaisntLimit()
369 ScalarEvolution &SE, const SCEVAddRecExpr *&Index, const SCEV *&End) { in reassociateSubLHS()
433 const SCEV *(ScalarEvolution::*Operation)(const SCEV *, const SCEV *, in reassociateSubLHS()
439 Operation = &ScalarEvolution::getAddExpr; in reassociateSubLHS()
442 Operation = &ScalarEvolution::getMinusSCEV; in reassociateSubLHS()
486 Loop *L, ScalarEvolution &SE, Use &ConditionUse, in extractRangeChecksFromCond()
526 BranchInst *BI, Loop *L, ScalarEvolution &SE, BranchProbabilityInfo *BPI, in extractRangeChecksFromBranch()
557 static const SCEV *NoopOrExtend(const SCEV *S, Type *Ty, ScalarEvolution &SE, in NoopOrExtend()
566 calculateSubRanges(ScalarEvolution &SE, const Loop &L, in calculateSubRanges()
651 InductiveRangeCheck::computeSafeIterationSpace(ScalarEvolution &SE, in computeSafeIterationSpace()
828 IntersectSignedRange(ScalarEvolution &SE, in IntersectSignedRange()
857 IntersectUnsignedRange(ScalarEvolution &SE, in IntersectUnsignedRange()