Searched refs:AS_ASSUMPTION (Results 1 – 3 of 3) sorted by relevance
53 enum AssumptionSign { AS_ASSUMPTION, AS_RESTRICTION }; enumerator
2042 if (Sign == AS_ASSUMPTION) { in isEffectiveAssumption()2066 if (Sign == AS_ASSUMPTION) in trackAssumption()2070 (Sign == AS_ASSUMPTION && Univ.is_equal(Set)); in trackAssumption()2109 auto Suffix = Sign == AS_ASSUMPTION ? " assumption:\t" : " restriction:\t"; in trackAssumption()2129 if (Sign == AS_ASSUMPTION) in addAssumption()2137 addAssumption(Kind, isl::set::empty(getParamSpace()), Loc, AS_ASSUMPTION, BB); in invalidate()
2521 AS_ASSUMPTION); in assumeNoOutOfBounds()