170 static isl::union_map computeReachingDefinition(isl::union_map Schedule,  in computeReachingDefinition()  argument
173   return computeReachingWrite(Schedule, Writes, false, InclDef, InclRedef);  in computeReachingDefinition()
188 static isl::union_map computeScalarReachingDefinition(isl::union_map Schedule,  in computeScalarReachingDefinition()  argument
197       computeReachingDefinition(Schedule, Defs, InclDef, InclRedef);  in computeScalarReachingDefinition()
214 static isl::map computeScalarReachingDefinition(isl::union_map Schedule,  in computeScalarReachingDefinition()  argument
218   isl::space ScatterSpace = getScatterSpace(Schedule);  in computeScalarReachingDefinition()
222       Schedule, isl::union_set(Writes), InclDef, InclRedef);  in computeScalarReachingDefinition()
264       Schedule(S->getSchedule()) {  in ZoneAlgorithm()
267   Schedule = Schedule.intersect_domain(Domains);  in ZoneAlgorithm()
268   ParamSpace = Schedule.get_space();  in ZoneAlgorithm()
269   ScatterSpace = getScatterSpace(Schedule);  in ZoneAlgorithm()
618   return Schedule.extract_map(ResultSpace);  in getScatterFor()
626   return Schedule.intersect_domain(Domain);  in getScatterFor()
712   Result = computeScalarReachingDefinition(Schedule, Domain, false, true);  in getScalarReachingDefinition()
994       computeReachingDefinition(Schedule, AllWrites, false, true);  in computeCommon()
1144   isl::union_map Reads = AllReads.range_product(Schedule).reverse();  in computeKnownFromLoad()