[PATCH] D5227: [Polly] Support ModRef function behaviour

[Hongbin Zheng via llvm-commits]

etherzhhb requested changes to this revision.
This revision now requires changes to proceed.

================
Comment at: include/polly/ScopInfo.h:330-331
@@ -329,1 +329,4 @@
 
+  /// @brief Is this array info modeling an array?
+  bool isArrayKind() const { return Kind == MK_Array; };
+
----------------
This change can be pushed directly

================
Comment at: include/polly/Support/ScopHelper.h:78
@@ -77,2 +77,3 @@
   /* implicit */ MemAccInst(llvm::MemIntrinsic *MI) : I(MI) {}
+  /* implicit */ MemAccInst(llvm::CallInst *CI) : I(CI) {}
   explicit MemAccInst(llvm::Instruction &I) : I(&I) { assert(isa(I)); }
----------------
A little bit weird, I think CallInst is too different from the other instruction above. Could we not mix CallInst with the other MemAccInst? 

================
Comment at: include/polly/Support/ScopHelper.h:192
@@ -180,1 +191,3 @@
+    if (isCallInst())
+      return nullptr;
     llvm_unreachable("Operation not supported on nullptr");
----------------
This is very confusing as a CallInst can have multiple pointer operands if the call read/write the location of multiples pointer arguments


http://reviews.llvm.org/D5227