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

Johannes Doerfert via llvm-commits llvm-commits at lists.llvm.org
Wed Feb 24 12:50:21 PST 2016

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.


More information about the llvm-commits mailing list