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()609 isl::space ResultSpace = in getScatterFor() local611 return Schedule.extract_map(ResultSpace); in getScatterFor()623 auto ResultSpace = Domain.get_space().map_from_domain_and_range(ScatterSpace); in getScatterFor() local626 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()