Searched refs:InductiveRangeCheck (Results 1 – 1 of 1) sorted by relevance
145 class InductiveRangeCheck { class367 bool InductiveRangeCheck::reassociateSubLHS( in reassociateSubLHS()487 SmallVectorImpl<InductiveRangeCheck> &Checks, in extractRangeChecksFromCond()517 InductiveRangeCheck IRC; in extractRangeChecksFromCond()650 std::optional<InductiveRangeCheck::Range>824 return InductiveRangeCheck::Range(Begin, End); in computeSafeIterationSpace()827 static std::optional<InductiveRangeCheck::Range>856 static std::optional<InductiveRangeCheck::Range>988 SmallVector<InductiveRangeCheck, 16> RangeChecks; in run()1003 for (InductiveRangeCheck &IRC : RangeChecks) in run()[all …]