Lines Matching refs:InductiveRangeCheck
141 class InductiveRangeCheck { class
154 SmallVectorImpl<InductiveRangeCheck> &Checks,
226 SmallVectorImpl<InductiveRangeCheck> &Checks);
293 InductiveRangeCheck::parseRangeCheckICmp(Loop *L, ICmpInst *ICI, in INITIALIZE_PASS_DEPENDENCY()
352 void InductiveRangeCheck::extractRangeChecksFromCond( in extractRangeChecksFromCond()
354 SmallVectorImpl<InductiveRangeCheck> &Checks, in extractRangeChecksFromCond()
399 InductiveRangeCheck IRC; in extractRangeChecksFromCond()
407 void InductiveRangeCheck::extractRangeChecksFromBranch( in extractRangeChecksFromBranch()
409 SmallVectorImpl<InductiveRangeCheck> &Checks) { in extractRangeChecksFromBranch()
420 InductiveRangeCheck::extractRangeChecksFromCond(L, SE, BI->getOperandUse(0), in extractRangeChecksFromBranch()
634 InductiveRangeCheck::Range Range;
644 DominatorTree &DT, InductiveRangeCheck::Range R) in LoopConstrainer()
1579 Optional<InductiveRangeCheck::Range>
1580 InductiveRangeCheck::computeSafeIterationSpace( in computeSafeIterationSpace()
1702 return InductiveRangeCheck::Range(Begin, End); in computeSafeIterationSpace()
1705 static Optional<InductiveRangeCheck::Range>
1707 const Optional<InductiveRangeCheck::Range> &R1, in IntersectSignedRange()
1708 const InductiveRangeCheck::Range &R2) { in IntersectSignedRange()
1728 auto Ret = InductiveRangeCheck::Range(NewBegin, NewEnd); in IntersectSignedRange()
1734 static Optional<InductiveRangeCheck::Range>
1736 const Optional<InductiveRangeCheck::Range> &R1, in IntersectUnsignedRange()
1737 const InductiveRangeCheck::Range &R2) { in IntersectUnsignedRange()
1757 auto Ret = InductiveRangeCheck::Range(NewBegin, NewEnd); in IntersectUnsignedRange()
1899 SmallVector<InductiveRangeCheck, 16> RangeChecks; in run()
1903 InductiveRangeCheck::extractRangeChecksFromBranch(TBI, L, SE, BPI, in run()
1913 for (InductiveRangeCheck &IRC : RangeChecks) in run()
1936 Optional<InductiveRangeCheck::Range> SafeIterRange; in run()
1939 SmallVector<InductiveRangeCheck, 4> RangeChecksToEliminate; in run()
1948 for (InductiveRangeCheck &IRC : RangeChecks) { in run()
1984 for (InductiveRangeCheck &IRC : RangeChecksToEliminate) { in run()