Lines Matching refs:InductiveRangeCheck
143 class InductiveRangeCheck { class
156 SmallVectorImpl<InductiveRangeCheck> &Checks,
228 SmallVectorImpl<InductiveRangeCheck> &Checks);
295 InductiveRangeCheck::parseRangeCheckICmp(Loop *L, ICmpInst *ICI, in INITIALIZE_PASS_DEPENDENCY()
354 void InductiveRangeCheck::extractRangeChecksFromCond( in extractRangeChecksFromCond()
356 SmallVectorImpl<InductiveRangeCheck> &Checks, in extractRangeChecksFromCond()
401 InductiveRangeCheck IRC; in extractRangeChecksFromCond()
409 void InductiveRangeCheck::extractRangeChecksFromBranch( in extractRangeChecksFromBranch()
411 SmallVectorImpl<InductiveRangeCheck> &Checks) { in extractRangeChecksFromBranch()
422 InductiveRangeCheck::extractRangeChecksFromCond(L, SE, BI->getOperandUse(0), in extractRangeChecksFromBranch()
636 InductiveRangeCheck::Range Range;
646 DominatorTree &DT, InductiveRangeCheck::Range R) in LoopConstrainer()
1581 Optional<InductiveRangeCheck::Range>
1582 InductiveRangeCheck::computeSafeIterationSpace( in computeSafeIterationSpace()
1704 return InductiveRangeCheck::Range(Begin, End); in computeSafeIterationSpace()
1707 static Optional<InductiveRangeCheck::Range>
1709 const Optional<InductiveRangeCheck::Range> &R1, in IntersectSignedRange()
1710 const InductiveRangeCheck::Range &R2) { in IntersectSignedRange()
1730 auto Ret = InductiveRangeCheck::Range(NewBegin, NewEnd); in IntersectSignedRange()
1736 static Optional<InductiveRangeCheck::Range>
1738 const Optional<InductiveRangeCheck::Range> &R1, in IntersectUnsignedRange()
1739 const InductiveRangeCheck::Range &R2) { in IntersectUnsignedRange()
1759 auto Ret = InductiveRangeCheck::Range(NewBegin, NewEnd); in IntersectUnsignedRange()
1897 SmallVector<InductiveRangeCheck, 16> RangeChecks; in run()
1901 InductiveRangeCheck::extractRangeChecksFromBranch(TBI, L, SE, BPI, in run()
1911 for (InductiveRangeCheck &IRC : RangeChecks) in run()
1934 Optional<InductiveRangeCheck::Range> SafeIterRange; in run()
1937 SmallVector<InductiveRangeCheck, 4> RangeChecksToEliminate; in run()
1946 for (InductiveRangeCheck &IRC : RangeChecks) { in run()
1984 for (InductiveRangeCheck &IRC : RangeChecksToEliminate) { in run()