Lines Matching refs:AccRel
266 auto AccRel = MA->getAccessRelation(); in removeOverwrites() local
267 AccRel = AccRel.intersect_domain(Domain); in removeOverwrites()
268 AccRel = AccRel.intersect_params(S->getContext()); in removeOverwrites()
274 isl::map AccRelUniv = isl::map::universe(AccRel.get_space()); in removeOverwrites()
280 isl::union_map AccRelUnion = AccRel; in removeOverwrites()
294 WillBeOverwritten = underapproximatedAddMap(WillBeOverwritten, AccRel); in removeOverwrites()
345 isl::map AccRel = MA->getLatestAccessRelation().intersect_domain(Domain); in coalesceWrites() local
348 isl::set AccRelWrapped = AccRel.wrap(); in coalesceWrites()
369 isl::set AccDomain = AccRel.domain(); in coalesceWrites()
376 isl::set::universe(AccRel.get_space().range()); in coalesceWrites()
384 isl::map AllowedAccesses = AccRel.unite(UndefAnything); in coalesceWrites()
413 isl::map NewAccRel = AccRel.unite(OtherAccRel); in coalesceWrites()
515 isl::map AccRel = MA->getAccessRelation(); in removeRedundantWrites() local
516 AccRel = AccRel.intersect_domain(Domain); in removeRedundantWrites()
517 isl::set AccRelWrapped = AccRel.wrap(); in removeRedundantWrites()
536 LLVM_DEBUG(dbgs() << " AccRel: " << AccRel << "\n"); in removeRedundantWrites()
593 isl::map AccRel = MA->getAccessRelation(); in removeEmptyPartialAccesses() local
594 if (!AccRel.is_empty().is_true()) in removeEmptyPartialAccesses()