Lines Matching refs:AccRel

335     isl::union_map AccRel = AccRelMap;  in collectIncompatibleElts()  local
344 if (!Stores.is_disjoint(AccRel)) { in collectIncompatibleElts()
351 R << ", loading: " << AccRel << ")"; in collectIncompatibleElts()
357 Loads = Loads.unite(AccRel); in collectIncompatibleElts()
364 if (Stmt->isRegionStmt() && !Loads.is_disjoint(AccRel)) { in collectIncompatibleElts()
375 if (!Stores.is_disjoint(AccRel) && !onlySameValueWrites(Stmt)) { in collectIncompatibleElts()
381 R << ", storing: " << AccRel << ")"; in collectIncompatibleElts()
387 Stores = Stores.unite(AccRel); in collectIncompatibleElts()
397 auto AccRel = intersectRange(getAccessRelationFor(MA), CompatibleElts); in addArrayReadAccess() local
398 AllReads = AllReads.unite(AccRel); in addArrayReadAccess()
406 isl::map IncludeElement = AccRel.domain_map().curry(); in addArrayReadAccess()
416 isl::map AccRel) { in getWrittenValue() argument
429 AccRel.is_single_valued().is_true()) in getWrittenValue()
453 isl::map AccRel = intersectRange(getAccessRelationFor(MA), CompatibleElts); in addArrayWriteAccess() local
456 AllMustWrites = AllMustWrites.unite(AccRel); in addArrayWriteAccess()
459 AllMayWrites = AllMayWrites.unite(AccRel); in addArrayWriteAccess()
462 isl::union_map WriteValInstance = getWrittenValue(MA, AccRel); in addArrayWriteAccess()
467 isl::map IncludeElement = AccRel.domain_map().curry(); in addArrayWriteAccess()
648 auto AccRel = MA->getLatestAccessRelation(); in getAccessRelationFor() local
649 return AccRel.intersect_domain(Domain); in getAccessRelationFor()