Searched refs:AssumptionContext (Results 1 – 1 of 1) sorted by relevance
1634 static isl::set simplifyAssumptionContext(isl::set AssumptionContext, in simplifyAssumptionContext() argument1644 AssumptionContext = AssumptionContext.gist_params(DomainParameters); in simplifyAssumptionContext()1647 AssumptionContext = AssumptionContext.gist_params(S.getContext()); in simplifyAssumptionContext()1648 return AssumptionContext; in simplifyAssumptionContext()