Searched refs:ResultSpace (Results 1 – 2 of 2) sorted by relevance
224 isl::space ResultSpace = ScatterSpace.map_from_domain_and_range(DomainSpace); in computeScalarReachingDefinition() local225 return singleton(UMap, ResultSpace); in computeScalarReachingDefinition()616 isl::space ResultSpace = in getScatterFor() local618 return Schedule.extract_map(ResultSpace); in getScatterFor()630 auto ResultSpace = Domain.get_space().map_from_domain_and_range(ScatterSpace); in getScatterFor() local633 auto Result = singleton(std::move(UResult), std::move(ResultSpace)); in getScatterFor()
130 isl::space ResultSpace = ScatterSpace.map_from_domain_and_range(DomSpace); in computeScalarReachingOverwrite() local131 return singleton(std::move(ReachOverwrite), ResultSpace); in computeScalarReachingOverwrite()