diff options
| author | Igor Laevsky <igmyrj@gmail.com> | 2015-10-28 17:54:48 +0000 |
|---|---|---|
| committer | Igor Laevsky <igmyrj@gmail.com> | 2015-10-28 17:54:48 +0000 |
| commit | 559d1700216ec7843ceec8c15aa2c32288162bc3 (patch) | |
| tree | e52196da31d3799ce599c2a923f1af505bea3019 | |
| parent | ddaa1c7eb13f6c8177b880c46cd2ea28bb5917be (diff) | |
| download | bcm5719-llvm-559d1700216ec7843ceec8c15aa2c32288162bc3.tar.gz bcm5719-llvm-559d1700216ec7843ceec8c15aa2c32288162bc3.zip | |
[AliasAnalysis] Take into account readnone attribute for the function arguments
Differential Revision: http://reviews.llvm.org/D13992
llvm-svn: 251535
| -rw-r--r-- | llvm/lib/Analysis/BasicAliasAnalysis.cpp | 3 | ||||
| -rw-r--r-- | llvm/test/Analysis/BasicAA/modref.ll | 11 |
2 files changed, 14 insertions, 0 deletions
diff --git a/llvm/lib/Analysis/BasicAliasAnalysis.cpp b/llvm/lib/Analysis/BasicAliasAnalysis.cpp index 26578b83c8b..1f7e82d3158 100644 --- a/llvm/lib/Analysis/BasicAliasAnalysis.cpp +++ b/llvm/lib/Analysis/BasicAliasAnalysis.cpp @@ -619,6 +619,9 @@ ModRefInfo BasicAAResult::getArgModRefInfo(ImmutableCallSite CS, 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); } diff --git a/llvm/test/Analysis/BasicAA/modref.ll b/llvm/test/Analysis/BasicAA/modref.ll index 342d3fc23cd..e42793936c3 100644 --- a/llvm/test/Analysis/BasicAA/modref.ll +++ b/llvm/test/Analysis/BasicAA/modref.ll @@ -216,6 +216,17 @@ define i32 @test12(i32* %P, i32* %P2, i32* %P3) { ; 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 |
