Searched refs:InductiveRangeCheck (Results 1 – 1 of 1) sorted by relevance
135 class InductiveRangeCheck { class333 SmallVectorImpl<InductiveRangeCheck> &Checks, in extractRangeChecksFromCond()378 InductiveRangeCheck IRC; in extractRangeChecksFromCond()621 InductiveRangeCheck::Range Range;1555 Optional<InductiveRangeCheck::Range>1556 InductiveRangeCheck::computeSafeIterationSpace( in computeSafeIterationSpace()1671 return InductiveRangeCheck::Range(Begin, End); in computeSafeIterationSpace()1674 static Optional<InductiveRangeCheck::Range>1703 static Optional<InductiveRangeCheck::Range>1795 for (InductiveRangeCheck &IRC : RangeChecks) in run()[all …]