Lines Matching refs:Domain
228 isl::union_map polly::makeUnknownForDomain(isl::union_set Domain) { in makeUnknownForDomain() argument
229 return isl::union_map::from_domain(Domain); in makeUnknownForDomain()
239 static isl::map makeUnknownForDomain(isl::set Domain) { in makeUnknownForDomain() argument
240 return isl::map::from_domain(Domain); in makeUnknownForDomain()
625 isl::union_map ZoneAlgorithm::getScatterFor(isl::union_set Domain) const { in getScatterFor()
626 return Schedule.intersect_domain(Domain); in getScatterFor()
629 isl::map ZoneAlgorithm::getScatterFor(isl::set Domain) const { in getScatterFor()
630 auto ResultSpace = Domain.get_space().map_from_domain_and_range(ScatterSpace); in getScatterFor()
631 auto UDomain = isl::union_set(Domain); in getScatterFor()
634 assert(Result.is_null() || Result.domain().is_equal(Domain) == isl_bool_true); in getScatterFor()
647 auto Domain = getDomainFor(MA); in getAccessRelationFor() local
649 return AccRel.intersect_domain(Domain); in getAccessRelationFor()
711 auto Domain = getDomainFor(Stmt); in getScalarReachingDefinition() local
712 Result = computeScalarReachingDefinition(Schedule, Domain, false, true); in getScalarReachingDefinition()