[PATCH] D13992: [AliasAnalysis] Take into account readonly attribute for the function arguments

[Igor Laevsky via llvm-commits]

igor-laevsky created this revision.
igor-laevsky added reviewers: reames, chandlerc.
igor-laevsky added a subscriber: llvm-commits.

In getArgModRefInfo we consider all arguments as having MRI_ModRef. However for arguments marked with readonly attribute we can return more precise answer - MRI_Ref.

http://reviews.llvm.org/D13992

Files:
  include/llvm/Analysis/AliasAnalysis.h
  test/Analysis/BasicAA/modref.ll

Index: test/Analysis/BasicAA/modref.ll
===================================================================
--- test/Analysis/BasicAA/modref.ll
+++ test/Analysis/BasicAA/modref.ll
@@ -190,6 +190,16 @@
   ; CHECK: ret i32 %Diff
 }
 
+define i32 @test11(i32* %P, i32* %P2) {
+  %V1 = load i32, i32* %P
+  call i32 @func_argmemonly(i32* readonly %P2)
+  %V2 = load i32, i32* %P
+  %Diff = sub i32 %V1, %V2
+  ret i32 %Diff
+  ; CHECK-NOT: load
+  ; CHECK: ret i32 0
+}
+
 declare void @llvm.memset.p0i8.i32(i8* nocapture, i8, i32, i32, i1) nounwind
 declare void @llvm.memset.p0i8.i8(i8* nocapture, i8, i8, i32, i1) nounwind
 declare void @llvm.memcpy.p0i8.p0i8.i8(i8* nocapture, i8* nocapture, i8, i32, i1) nounwind
Index: include/llvm/Analysis/AliasAnalysis.h
===================================================================
--- include/llvm/Analysis/AliasAnalysis.h
+++ include/llvm/Analysis/AliasAnalysis.h
@@ -755,6 +755,8 @@
   }
 
   ModRefInfo getArgModRefInfo(ImmutableCallSite CS, unsigned ArgIdx) {
+    if (CS.paramHasAttr(ArgIdx + 1, Attribute::ReadOnly))
+      return MRI_Ref;
     return MRI_ModRef;
   }
 


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D13992.38156.patch
Type: text/x-patch
Size: 1122 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20151022/dc09a9e4/attachment.bin>