[PATCH] D13962: [OperandBundles] Teach AliasAnalysis about operand bundles

[Philip Reames via llvm-commits]

reames accepted this revision.
reames added a comment.
This revision is now accepted and ready to land.

LGTM


================
Comment at: include/llvm/Analysis/AliasAnalysis.h:762
@@ -761,3 +761,3 @@
   FunctionModRefBehavior getModRefBehavior(ImmutableCallSite CS) {
-    if (const Function *F = CS.getCalledFunction())
-      return getBestAAResults().getModRefBehavior(F);
+    if (!CS.hasOperandBundles())
+      // If CS has operand bundles then aliasing attributes from the function it
----------------
This is rather conservative, but that's fine for the moment.  

================
Comment at: include/llvm/Analysis/AliasAnalysis.h:768
@@ -764,2 +767,3 @@
+        return getBestAAResults().getModRefBehavior(F);
 
     return FMRB_UnknownModRefBehavior;
----------------
Unrelated to your change: I'm surprised we're not looking at CallSite attributes here..


http://reviews.llvm.org/D13962