Lines Matching refs:AccRel
176 auto AccRel = MA->getAccessRelation(); in removeOverwrites() local
177 AccRel = AccRel.intersect_domain(Domain); in removeOverwrites()
178 AccRel = AccRel.intersect_params(S->getContext()); in removeOverwrites()
184 isl::map AccRelUniv = isl::map::universe(AccRel.get_space()); in removeOverwrites()
190 isl::union_map AccRelUnion = AccRel; in removeOverwrites()
204 WillBeOverwritten = underapproximatedAddMap(WillBeOverwritten, AccRel); in removeOverwrites()
255 isl::map AccRel = MA->getLatestAccessRelation().intersect_domain(Domain); in coalesceWrites() local
258 isl::set AccRelWrapped = AccRel.wrap(); in coalesceWrites()
279 isl::set AccDomain = AccRel.domain(); in coalesceWrites()
286 isl::set::universe(AccRel.get_space().range()); in coalesceWrites()
294 isl::map AllowedAccesses = AccRel.unite(UndefAnything); in coalesceWrites()
323 isl::map NewAccRel = AccRel.unite(OtherAccRel); in coalesceWrites()
425 isl::map AccRel = MA->getAccessRelation(); in removeRedundantWrites() local
426 AccRel = AccRel.intersect_domain(Domain); in removeRedundantWrites()
427 isl::set AccRelWrapped = AccRel.wrap(); in removeRedundantWrites()
446 LLVM_DEBUG(dbgs() << " AccRel: " << AccRel << "\n"); in removeRedundantWrites()
503 isl::map AccRel = MA->getAccessRelation(); in removeEmptyPartialAccesses() local
504 if (!AccRel.is_empty().is_true()) in removeEmptyPartialAccesses()