Searched refs:AssumptionContext (Results 1 – 1 of 1) sorted by relevance
1529 static isl::set simplifyAssumptionContext(isl::set AssumptionContext, in simplifyAssumptionContext() argument1539 AssumptionContext = AssumptionContext.gist_params(DomainParameters); in simplifyAssumptionContext()1542 AssumptionContext = AssumptionContext.gist_params(S.getContext()); in simplifyAssumptionContext()1543 return AssumptionContext; in simplifyAssumptionContext()