Lines Matching refs:InductiveRangeCheck
142 class InductiveRangeCheck {
156 SmallVectorImpl<InductiveRangeCheck> &Checks,
166 OS << "InductiveRangeCheck:\n";
229 SmallVectorImpl<InductiveRangeCheck> &Checks);
286 InductiveRangeCheck::parseRangeCheckICmp(Loop *L, ICmpInst *ICI,
345 void InductiveRangeCheck::extractRangeChecksFromCond(
347 SmallVectorImpl<InductiveRangeCheck> &Checks,
392 InductiveRangeCheck IRC;
401 void InductiveRangeCheck::extractRangeChecksFromBranch(
403 SmallVectorImpl<InductiveRangeCheck> &Checks) {
414 InductiveRangeCheck::extractRangeChecksFromCond(L, SE, BI->getOperandUse(0),
629 InductiveRangeCheck::Range Range;
639 DominatorTree &DT, InductiveRangeCheck::Range R)
1585 Optional<InductiveRangeCheck::Range>
1586 InductiveRangeCheck::computeSafeIterationSpace(
1708 return InductiveRangeCheck::Range(Begin, End);
1711 static Optional<InductiveRangeCheck::Range>
1713 const Optional<InductiveRangeCheck::Range> &R1,
1714 const InductiveRangeCheck::Range &R2) {
1734 auto Ret = InductiveRangeCheck::Range(NewBegin, NewEnd);
1740 static Optional<InductiveRangeCheck::Range>
1742 const Optional<InductiveRangeCheck::Range> &R1,
1743 const InductiveRangeCheck::Range &R2) {
1763 auto Ret = InductiveRangeCheck::Range(NewBegin, NewEnd);
1849 SmallVector<InductiveRangeCheck, 16> RangeChecks;
1853 InductiveRangeCheck::extractRangeChecksFromBranch(TBI, L, SE, BPI,
1863 for (InductiveRangeCheck &IRC : RangeChecks)
1884 Optional<InductiveRangeCheck::Range> SafeIterRange;
1887 SmallVector<InductiveRangeCheck, 4> RangeChecksToEliminate;
1896 for (InductiveRangeCheck &IRC : RangeChecks) {
1934 for (InductiveRangeCheck &IRC : RangeChecksToEliminate) {