diff options
author | Nick Lewycky <nicholas@mxc.ca> | 2009-11-14 06:15:14 +0000 |
---|---|---|
committer | Nick Lewycky <nicholas@mxc.ca> | 2009-11-14 06:15:14 +0000 |
commit | 20162ac5662a45388911ef1d35ba7559aae368f5 (patch) | |
tree | fc493f6cbfa5e37bdc5d329f85d483aeabe14328 /test/Transforms/DeadStoreElimination | |
parent | fae3e923452b85e72b2c03dd6eacc063f59d81b1 (diff) | |
download | llvm-20162ac5662a45388911ef1d35ba7559aae368f5.tar.gz llvm-20162ac5662a45388911ef1d35ba7559aae368f5.tar.bz2 llvm-20162ac5662a45388911ef1d35ba7559aae368f5.tar.xz |
Teach BasicAA that a constant expression can't alias memory provably not
allocated until runtime (such as an alloca). Patch by Hans Wennborg!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@88760 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/DeadStoreElimination')
-rw-r--r-- | test/Transforms/DeadStoreElimination/const-pointers.ll | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/test/Transforms/DeadStoreElimination/const-pointers.ll b/test/Transforms/DeadStoreElimination/const-pointers.ll new file mode 100644 index 0000000000..ce18c6fb81 --- /dev/null +++ b/test/Transforms/DeadStoreElimination/const-pointers.ll @@ -0,0 +1,39 @@ +; RUN: opt %s -dse -S | FileCheck %s + +%t = type { i32 } + +@g = global i32 42; + +define void @test1(%t* noalias %pp) { + %p = getelementptr inbounds %t* %pp, i32 0, i32 0 + + store i32 1, i32* %p; <-- This is dead + %x = load i32* inttoptr (i32 12345 to i32*) + store i32 %x, i32* %p + ret void +; CHECK define void @test1 +; CHECK: store +; CHECK-NOT: store +; CHECK: ret void +} + +define void @test3() { + store i32 1, i32* @g; <-- This is dead. + store i32 42, i32* @g + ret void +;CHECK define void @test3 +;CHECK: store +;CHECK-NOT: store +;CHECK: ret void +} + +define void @test4(i32* %p) { + store i32 1, i32* %p + %x = load i32* @g; <-- %p and @g could alias + store i32 %x, i32* %p + ret void +; CHECK define void @test4 +; CHECK: store +; CHECK: store +; CHECK: ret void +} |