Searched refs:AssumedContext (Results 1 – 3 of 3) sorted by relevance
1560 AssumedContext = isl::set::universe(Space); in buildContext()1615 AssumedContext = AssumedContext.align_params(Space); in realignParams()1680 AssumedContext = simplifyAssumptionContext(AssumedContext, *this); in simplifyContexts()1889 assert(AssumedContext && "Assumed context not yet built"); in getAssumedContextStr()1890 return AssumedContext.to_str(); in getAssumedContextStr()1944 assert(AssumedContext && "Assumed context not yet built"); in getAssumedContext()1945 return AssumedContext; in getAssumedContext()2046 if (AssumedContext.is_subset(Set)) in isEffectiveAssumption()2130 AssumedContext = AssumedContext.intersect(Set).coalesce(); in addAssumption()2147 OS.indent(4) << AssumedContext << "\n"; in printContext()
3 ; CHECK-NOT: AssumedContext
1798 isl::set AssumedContext; variable