[polly] r316459 - [ZoneAlgo] Translate addArrayWriteAccess to isl++. NFC.

[Michael Kruse via llvm-commits]

Author: meinersbur
Date: Tue Oct 24 09:40:34 2017
New Revision: 316459

URL: http://llvm.org/viewvc/llvm-project?rev=316459&view=rev
Log:
[ZoneAlgo] Translate addArrayWriteAccess to isl++. NFC.

Modified:
    polly/trunk/lib/Transform/ZoneAlgo.cpp

Modified: polly/trunk/lib/Transform/ZoneAlgo.cpp
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/Transform/ZoneAlgo.cpp?rev=316459&r1=316458&r2=316459&view=diff
==============================================================================
--- polly/trunk/lib/Transform/ZoneAlgo.cpp (original)
+++ polly/trunk/lib/Transform/ZoneAlgo.cpp Tue Oct 24 09:40:34 2017
@@ -446,30 +446,26 @@ void ZoneAlgorithm::addArrayWriteAccess(
   auto *Stmt = MA->getStatement();
 
   // { Domain[] -> Element[] }
-  auto AccRel = intersectRange(getAccessRelationFor(MA), CompatibleElts);
+  isl::map AccRel = intersectRange(getAccessRelationFor(MA), CompatibleElts);
 
   if (MA->isMustWrite())
-    AllMustWrites =
-        give(isl_union_map_add_map(AllMustWrites.take(), AccRel.copy()));
+    AllMustWrites = AllMustWrites.add_map(AccRel);
 
   if (MA->isMayWrite())
-    AllMayWrites =
-        give(isl_union_map_add_map(AllMayWrites.take(), AccRel.copy()));
+    AllMayWrites = AllMayWrites.add_map(AccRel);
 
   // { Domain[] -> ValInst[] }
-  auto WriteValInstance = getWrittenValue(MA, AccRel);
+  isl::map WriteValInstance = getWrittenValue(MA, AccRel);
   if (!WriteValInstance)
     WriteValInstance = makeUnknownForDomain(Stmt);
 
   // { Domain[] -> [Element[] -> Domain[]] }
-  auto IncludeElement = give(isl_map_curry(isl_map_domain_map(AccRel.copy())));
+  isl::map IncludeElement = AccRel.domain_map().curry();
 
   // { [Element[] -> DomainWrite[]] -> ValInst[] }
-  auto EltWriteValInst = give(
-      isl_map_apply_domain(WriteValInstance.take(), IncludeElement.take()));
+  isl::map EltWriteValInst = WriteValInstance.apply_domain(IncludeElement);
 
-  AllWriteValInst = give(
-      isl_union_map_add_map(AllWriteValInst.take(), EltWriteValInst.take()));
+  AllWriteValInst = AllWriteValInst.add_map(EltWriteValInst);
 }
 
 isl::union_set ZoneAlgorithm::makeEmptyUnionSet() const {