[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:
> 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