Lines Matching refs:InductiveRangeCheck

135 class InductiveRangeCheck {  class
149 SmallVectorImpl<InductiveRangeCheck> &Checks,
222 SmallVectorImpl<InductiveRangeCheck> &Checks);
272 InductiveRangeCheck::parseRangeCheckICmp(Loop *L, ICmpInst *ICI, in INITIALIZE_PASS_DEPENDENCY()
331 void InductiveRangeCheck::extractRangeChecksFromCond( in extractRangeChecksFromCond()
333 SmallVectorImpl<InductiveRangeCheck> &Checks, in extractRangeChecksFromCond()
378 InductiveRangeCheck IRC; in extractRangeChecksFromCond()
387 void InductiveRangeCheck::extractRangeChecksFromBranch( in extractRangeChecksFromBranch()
389 SmallVectorImpl<InductiveRangeCheck> &Checks) { in extractRangeChecksFromBranch()
400 InductiveRangeCheck::extractRangeChecksFromCond(L, SE, BI->getOperandUse(0), in extractRangeChecksFromBranch()
621 InductiveRangeCheck::Range Range;
631 DominatorTree &DT, InductiveRangeCheck::Range R) in LoopConstrainer()
1555 Optional<InductiveRangeCheck::Range>
1556 InductiveRangeCheck::computeSafeIterationSpace( in computeSafeIterationSpace()
1671 return InductiveRangeCheck::Range(Begin, End); in computeSafeIterationSpace()
1674 static Optional<InductiveRangeCheck::Range>
1676 const Optional<InductiveRangeCheck::Range> &R1, in IntersectSignedRange()
1677 const InductiveRangeCheck::Range &R2) { in IntersectSignedRange()
1697 auto Ret = InductiveRangeCheck::Range(NewBegin, NewEnd); in IntersectSignedRange()
1703 static Optional<InductiveRangeCheck::Range>
1705 const Optional<InductiveRangeCheck::Range> &R1, in IntersectUnsignedRange()
1706 const InductiveRangeCheck::Range &R2) { in IntersectUnsignedRange()
1726 auto Ret = InductiveRangeCheck::Range(NewBegin, NewEnd); in IntersectUnsignedRange()
1781 SmallVector<InductiveRangeCheck, 16> RangeChecks; in run()
1785 InductiveRangeCheck::extractRangeChecksFromBranch(TBI, L, SE, BPI, in run()
1795 for (InductiveRangeCheck &IRC : RangeChecks) in run()
1816 Optional<InductiveRangeCheck::Range> SafeIterRange; in run()
1819 SmallVector<InductiveRangeCheck, 4> RangeChecksToEliminate; in run()
1828 for (InductiveRangeCheck &IRC : RangeChecks) { in run()
1866 for (InductiveRangeCheck &IRC : RangeChecksToEliminate) { in run()