76 isl::union_map computeReachingOverwrite(isl::union_map Schedule,  in computeReachingOverwrite()
77                                         isl::union_map Writes,  in computeReachingOverwrite()
97 isl::union_map computeScalarReachingOverwrite(isl::union_map Schedule,  in computeScalarReachingOverwrite()
103   auto WritesMap = isl::union_map::from_domain(Writes);  in computeScalarReachingOverwrite()
121 isl::map computeScalarReachingOverwrite(isl::union_map Schedule,  in computeScalarReachingOverwrite()
127   isl::union_map ReachOverwrite = computeScalarReachingOverwrite(  in computeScalarReachingOverwrite()
143 isl::union_map expandMapping(isl::union_map Relevant, isl::union_set Universe) {  in expandMapping()
146   isl::union_map Simplified = Relevant.gist_domain(RelevantDomain);  in expandMapping()
228   isl::union_map Known;
236   isl::union_map Written;
269             isl::union_map Known, isl::union_map Written)  in Knowledge()
618   std::tuple<isl::union_map, isl::map>
645     auto Uses = isl::union_map(ReachDef.reverse().range_map())  in computeValueUses()
704     isl::union_map DefUses;  in tryMapValue()
769                 isl::union_map UseTarget, isl::map Lifetime,  in mapValue()
807   isl::union_map determinePHIWrittenValues(const ScopArrayInfo *SAI) {  in determinePHIWrittenValues()
813       isl::union_map ValInst;  in determinePHIWrittenValues()
912     isl::union_map PerPHIWriteScatterUmap = PerPHIWrites.apply_range(Schedule);  in tryMapPHI()
922     auto WriteLifetime = isl::union_map(Lifetime).apply_domain(PerPHIWrites);  in tryMapPHI()
972               isl::union_map WriteTarget, isl::map Lifetime,  in mapPHI()
1149   isl::union_map computeWritten() const {  in computeWritten()
1197     isl::union_map EltKnown, EltWritten;  in computeZone()
1302         isl::union_map AccRel = MA->getLatestAccessRelation();  in greedyCollapse()
1516     isl::union_map ExistingKnown, isl::union_map ExistingWrites,  in isConflicting()
1518     isl::union_map ProposedKnown, isl::union_map ProposedWrites,  in isConflicting()