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

[Johannes Doerfert via llvm-commits]

jdoerfert added inline comments.

================
Comment at: lib/Analysis/ScopDetection.cpp:476
@@ +475,3 @@
+  case llvm::FMRB_UnknownModRefBehavior:
+    return false;
+  case llvm::FMRB_DoesNotAccessMemory:
----------------
Meinersbur wrote:
> Having another though about it, I don't know whether it would be useful at all. Such a clobber would inhibit all transformations from before and after the call.
It would basically be an optimization barrier. Nevertheless it might be useful at some later point (e.g., local arrays cannot be changed by such a call if they are not escaping or arguments). Let's see when if we want to impleemnt that.


http://reviews.llvm.org/D5227