Searched refs:AssumedContext (Results 1 – 3 of 3) sorted by relevance
1491 AssumedContext = isl::set::universe(Space); in buildContext()1513 AssumedContext = AssumedContext.align_params(Space); in realignParams()1575 AssumedContext = simplifyAssumptionContext(AssumedContext, *this); in simplifyContexts()1792 assert(!AssumedContext.is_null() && "Assumed context not yet built"); in getAssumedContextStr()1793 return stringFromIslObj(AssumedContext); in getAssumedContextStr()1841 assert(!AssumedContext.is_null() && "Assumed context not yet built"); in getAssumedContext()1842 return AssumedContext; in getAssumedContext()1930 if (AssumedContext.is_subset(Set)) in isEffectiveAssumption()2019 AssumedContext = AssumedContext.intersect(Set).coalesce(); in addAssumption()2056 OS.indent(4) << AssumedContext << "\n"; in printContext()
3 ; CHECK-NOT: AssumedContext
1753 isl::set AssumedContext; variable2182 return Context.intersect_params(AssumedContext).subtract(InvalidContext); in getBestKnownDefinedBehaviorContext()