| Dmitri Gribenko | d7beca8 | 2013-01-01 13:57:25 +0000 | [diff] [blame] | 1 | ; RUN: opt -basicaa -dse -S < %s | FileCheck %s |
| Nick Lewycky | c53e2ec | 2009-11-14 06:15:14 +0000 | [diff] [blame] | 2 | |
| 3 | %t = type { i32 } |
| 4 | |
| Dan Gohman | fb41936 | 2010-01-05 17:55:26 +0000 | [diff] [blame] | 5 | @g = global i32 42 |
| Nick Lewycky | c53e2ec | 2009-11-14 06:15:14 +0000 | [diff] [blame] | 6 | |
| 7 | define void @test1(%t* noalias %pp) { |
| 8 | %p = getelementptr inbounds %t* %pp, i32 0, i32 0 |
| 9 | |
| 10 | store i32 1, i32* %p; <-- This is dead |
| 11 | %x = load i32* inttoptr (i32 12345 to i32*) |
| 12 | store i32 %x, i32* %p |
| 13 | ret void |
| Stephen Lin | a76289a | 2013-07-14 01:50:49 +0000 | [diff] [blame] | 14 | ; CHECK-LABEL: define void @test1( |
| Nick Lewycky | c53e2ec | 2009-11-14 06:15:14 +0000 | [diff] [blame] | 15 | ; CHECK: store |
| 16 | ; CHECK-NOT: store |
| 17 | ; CHECK: ret void |
| 18 | } |
| 19 | |
| 20 | define void @test3() { |
| 21 | store i32 1, i32* @g; <-- This is dead. |
| 22 | store i32 42, i32* @g |
| 23 | ret void |
| Stephen Lin | a76289a | 2013-07-14 01:50:49 +0000 | [diff] [blame] | 24 | ; CHECK-LABEL: define void @test3( |
| Benjamin Kramer | 401e609 | 2009-12-12 09:25:50 +0000 | [diff] [blame] | 25 | ; CHECK: store |
| 26 | ; CHECK-NOT: store |
| 27 | ; CHECK: ret void |
| Nick Lewycky | c53e2ec | 2009-11-14 06:15:14 +0000 | [diff] [blame] | 28 | } |
| 29 | |
| 30 | define void @test4(i32* %p) { |
| 31 | store i32 1, i32* %p |
| 32 | %x = load i32* @g; <-- %p and @g could alias |
| 33 | store i32 %x, i32* %p |
| 34 | ret void |
| Stephen Lin | a76289a | 2013-07-14 01:50:49 +0000 | [diff] [blame] | 35 | ; CHECK-LABEL: define void @test4( |
| Nick Lewycky | c53e2ec | 2009-11-14 06:15:14 +0000 | [diff] [blame] | 36 | ; CHECK: store |
| 37 | ; CHECK: store |
| 38 | ; CHECK: ret void |
| 39 | } |