Searched refs:InductiveRangeCheck (Results 1 – 1 of 1) sorted by relevance
143 class InductiveRangeCheck { class356 SmallVectorImpl<InductiveRangeCheck> &Checks, in extractRangeChecksFromCond()401 InductiveRangeCheck IRC; in extractRangeChecksFromCond()636 InductiveRangeCheck::Range Range;1581 Optional<InductiveRangeCheck::Range>1582 InductiveRangeCheck::computeSafeIterationSpace( in computeSafeIterationSpace()1704 return InductiveRangeCheck::Range(Begin, End); in computeSafeIterationSpace()1707 static Optional<InductiveRangeCheck::Range>1736 static Optional<InductiveRangeCheck::Range>1911 for (InductiveRangeCheck &IRC : RangeChecks) in run()[all …]