[llvm] r251535 - [AliasAnalysis] Take into account readnone attribute for the function arguments
Igor Laevsky via llvm-commits
llvm-commits at lists.llvm.org
Wed Oct 28 10:54:48 PDT 2015
Author: igor.laevsky
Date: Wed Oct 28 12:54:48 2015
New Revision: 251535
URL: http://llvm.org/viewvc/llvm-project?rev=251535&view=rev
Log:
[AliasAnalysis] Take into account readnone attribute for the function arguments
Differential Revision: http://reviews.llvm.org/D13992
Modified:
llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp
llvm/trunk/test/Analysis/BasicAA/modref.ll
Modified: llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp?rev=251535&r1=251534&r2=251535&view=diff
==============================================================================
--- llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp (original)
+++ llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp Wed Oct 28 12:54:48 2015
@@ -619,6 +619,9 @@ ModRefInfo BasicAAResult::getArgModRefIn
if (CS.paramHasAttr(ArgIdx + 1, Attribute::ReadOnly))
return MRI_Ref;
+ if (CS.paramHasAttr(ArgIdx + 1, Attribute::ReadNone))
+ return MRI_NoModRef;
+
return AAResultBase::getArgModRefInfo(CS, ArgIdx);
}
Modified: llvm/trunk/test/Analysis/BasicAA/modref.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/BasicAA/modref.ll?rev=251535&r1=251534&r2=251535&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/BasicAA/modref.ll (original)
+++ llvm/trunk/test/Analysis/BasicAA/modref.ll Wed Oct 28 12:54:48 2015
@@ -216,6 +216,17 @@ define i32 @test12(i32* %P, i32* %P2, i3
; CHECK: ret i32 %Diff
}
+; CHECK-LABEL: @test13(
+define i32 @test13(i32* %P, i32* %P2) {
+ %V1 = load i32, i32* %P
+ call i32 @func_argmemonly(i32* readnone %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
More information about the llvm-commits
mailing list