170 static isl::union_map computeReachingDefinition(isl::union_map Schedule,  in computeReachingDefinition()
171                                                 isl::union_map Writes,  in computeReachingDefinition()
188 static isl::union_map computeScalarReachingDefinition(isl::union_map Schedule,  in computeScalarReachingDefinition()
193   isl::union_map Defs = isl::union_map::from_domain(Writes);  in computeScalarReachingDefinition()
214 static isl::map computeScalarReachingDefinition(isl::union_map Schedule,  in computeScalarReachingDefinition()
221   isl::union_map UMap = computeScalarReachingDefinition(  in computeScalarReachingDefinition()
228 isl::union_map polly::makeUnknownForDomain(isl::union_set Domain) {  in makeUnknownForDomain()
229   return isl::union_map::from_domain(Domain);  in makeUnknownForDomain()
253 isl::union_map polly::filterKnownValInst(const isl::union_map &UMap) {  in filterKnownValInst()
254   isl::union_map Result = isl::union_map::empty(UMap.ctx());  in filterKnownValInst()
335     isl::union_map AccRel = AccRelMap;  in collectIncompatibleElts()
415 isl::union_map ZoneAlgorithm::getWrittenValue(MemoryAccess *MA,  in getWrittenValue()
462   isl::union_map WriteValInstance = getWrittenValue(MA, AccRel);  in addArrayWriteAccess()
470   isl::union_map EltWriteValInst =  in addArrayWriteAccess()
536 isl::union_map ZoneAlgorithm::computePerPHI(const ScopArrayInfo *SAI) {  in computePerPHI()
555   isl::union_map PHIWriteScatter = makeEmptyUnionMap();  in computePerPHI()
581   isl::union_map Result =  in computePerPHI()
582       isl::union_map(LastPerPHIWrites).apply_range(PHIWriteScatter.reverse());  in computePerPHI()
594 isl::union_map ZoneAlgorithm::makeEmptyUnionMap() const {  in makeEmptyUnionMap()
595   return isl::union_map::empty(ParamSpace.ctx());  in makeEmptyUnionMap()
625 isl::union_map ZoneAlgorithm::getScatterFor(isl::union_set Domain) const {  in getScatterFor()
847 static isl::union_map normalizeValInst(isl::union_map Input,  in normalizeValInst()
849                                        isl::union_map NormalizeMap) {  in normalizeValInst()
850   isl::union_map Result = isl::union_map::empty(Input.ctx());  in normalizeValInst()
872     isl::union_map Mapped = isl::union_map(Map).apply_range(NormalizeMap);  in normalizeValInst()
879 isl::union_map ZoneAlgorithm::makeNormalizedValInst(llvm::Value *Val,  in makeNormalizedValInst()
884   isl::union_map Normalized =  in makeNormalizedValInst()
953 isl::boolean ZoneAlgorithm::isNormalized(isl::union_map UMap) {  in isNormalized()
1019   isl::union_map AllPHIMaps = makeEmptyUnionMap();  in computeNormalizedPHIs()
1038       isl::union_map PerPHI = computePerPHI(SAI);  in computeNormalizedPHIs()
1046       isl::union_map IncomingValInsts = makeEmptyUnionMap();  in computeNormalizedPHIs()
1066       isl::union_map PHIMap =  in computeNormalizedPHIs()
1101 isl::union_map ZoneAlgorithm::computeKnownFromMustWrites() const {  in computeKnownFromMustWrites()
1103   isl::union_map EltReachdDef = distributeDomain(WriteReachDefZone.curry());  in computeKnownFromMustWrites()
1106   isl::union_map AllKnownWriteValInst = filterKnownValInst(AllWriteValInst);  in computeKnownFromMustWrites()
1112 isl::union_map ZoneAlgorithm::computeKnownFromLoad() const {  in computeKnownFromLoad()
1117   isl::union_map EltZoneUniverse = isl::union_map::from_domain_and_range(  in computeKnownFromLoad()
1128   isl::union_map DefZone =  in computeKnownFromLoad()
1129       WriteReachDefZone.unite(isl::union_map::from_domain(NonReachDef));  in computeKnownFromLoad()
1132   isl::union_map EltZoneElt = EltZoneUniverse.domain_map();  in computeKnownFromLoad()
1135   isl::union_map DefZoneEltDefId = EltZoneElt.range_product(DefZone);  in computeKnownFromLoad()
1138   isl::union_map EltDefZone = DefZone.curry();  in computeKnownFromLoad()
1141   isl::union_map EltZoneEltDefid = distributeDomain(EltDefZone);  in computeKnownFromLoad()
1144   isl::union_map Reads = AllReads.range_product(Schedule).reverse();  in computeKnownFromLoad()
1147   isl::union_map ReadsElt = EltZoneElt.range_product(Reads);  in computeKnownFromLoad()
1150   isl::union_map ScatterKnown = ReadsElt.apply_range(AllReadValInst);  in computeKnownFromLoad()
1153   isl::union_map DefidKnown =  in computeKnownFromLoad()
1160 isl::union_map ZoneAlgorithm::computeKnown(bool FromWrite,  in computeKnown()
1162   isl::union_map Result = makeEmptyUnionMap();  in computeKnown()