diff options
| author | Nick Lewycky <nicholas@mxc.ca> | 2013-07-07 10:15:16 +0000 |
|---|---|---|
| committer | Nick Lewycky <nicholas@mxc.ca> | 2013-07-07 10:15:16 +0000 |
| commit | 37ade2b8015d86e73c62ab48a2ce5f0ce10de708 (patch) | |
| tree | 63e6197f1885f2eadfb4cac6041a0664b35e48b0 /test | |
| parent | 6bd46a40e8258b4321a2c6f35a8c61b3fa22116c (diff) | |
| download | llvm-37ade2b8015d86e73c62ab48a2ce5f0ce10de708.tar.gz llvm-37ade2b8015d86e73c62ab48a2ce5f0ce10de708.tar.bz2 llvm-37ade2b8015d86e73c62ab48a2ce5f0ce10de708.tar.xz | |
Eliminate trivial redundant loads across nocapture+readonly calls to uncaptured
pointer arguments.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@185776 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/Transforms/GVN/readattrs.ll | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/test/Transforms/GVN/readattrs.ll b/test/Transforms/GVN/readattrs.ll new file mode 100644 index 0000000000..7baee99861 --- /dev/null +++ b/test/Transforms/GVN/readattrs.ll @@ -0,0 +1,17 @@ +; RUN: opt -gvn -S -o - < %s | FileCheck %s + +target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128" +target triple = "x86_64-unknown-linux-gnu" + +declare void @use(i8* readonly nocapture) + +define i8 @test() { + %a = alloca i8 + store i8 1, i8* %a + call void @use(i8* %a) + %b = load i8* %a + ret i8 %b +; CHECK: define i8 @test +; CHECK: call void @use(i8* %a) +; CHECK-NEXT: ret i8 1 +} |