diff options
| author | Nick Lewycky <nicholas@mxc.ca> | 2014-05-30 02:31:27 +0000 |
|---|---|---|
| committer | Nick Lewycky <nicholas@mxc.ca> | 2014-05-30 02:31:27 +0000 |
| commit | a35be5ab6758bd9e877c252cba37f844369f74ad (patch) | |
| tree | 970b4ab9883c7b73536f095122a8ad3b8b8c75bb /test/Transforms/FunctionAttrs | |
| parent | 0997206ac4562abfc866065da9c00859c04a048e (diff) | |
| download | llvm-a35be5ab6758bd9e877c252cba37f844369f74ad.tar.gz llvm-a35be5ab6758bd9e877c252cba37f844369f74ad.tar.bz2 llvm-a35be5ab6758bd9e877c252cba37f844369f74ad.tar.xz | |
When analyzing params/args for readnone/readonly, don't forget to consider that a pointer argument may be passed through a callsite to the return, and that we may need to analyze it. Fixes a bug reported on llvm-dev: http://lists.cs.uiuc.edu/pipermail/llvmdev/2014-May/073098.html
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@209870 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/FunctionAttrs')
| -rw-r--r-- | test/Transforms/FunctionAttrs/nocapture.ll | 2 | ||||
| -rw-r--r-- | test/Transforms/FunctionAttrs/readattrs.ll | 14 |
2 files changed, 15 insertions, 1 deletions
diff --git a/test/Transforms/FunctionAttrs/nocapture.ll b/test/Transforms/FunctionAttrs/nocapture.ll index d2460c0b6d..d3842c8415 100644 --- a/test/Transforms/FunctionAttrs/nocapture.ll +++ b/test/Transforms/FunctionAttrs/nocapture.ll @@ -68,7 +68,7 @@ define i1* @lookup_bit(i32* %q, i32 %bitno) readnone nounwind { ret i1* %lookup } -; CHECK: define i1 @c7(i32* readnone %q, i32 %bitno) +; CHECK: define i1 @c7(i32* readonly %q, i32 %bitno) define i1 @c7(i32* %q, i32 %bitno) { %ptr = call i1* @lookup_bit(i32* %q, i32 %bitno) %val = load i1* %ptr diff --git a/test/Transforms/FunctionAttrs/readattrs.ll b/test/Transforms/FunctionAttrs/readattrs.ll index 7ae38bbb10..b4e904cf9b 100644 --- a/test/Transforms/FunctionAttrs/readattrs.ll +++ b/test/Transforms/FunctionAttrs/readattrs.ll @@ -51,3 +51,17 @@ define void @test6_2(i8** %p, i8* %q) { define void @test7_1(i32* inalloca %a) { ret void } + +; CHECK: define i32* @test8_1(i32* readnone %p) +define i32* @test8_1(i32* %p) { +entry: + ret i32* %p +} + +; CHECK: define void @test8_2(i32* %p) +define void @test8_2(i32* %p) { +entry: + %call = call i32* @test8_1(i32* %p) + store i32 10, i32* %call, align 4 + ret void +} |