| Bill Wendling | cd6df16 | 2012-04-24 09:15:38 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -basicaa -dse -S | FileCheck %s |
| Chris Lattner | 096a8f7 | 2004-07-29 01:33:05 +0000 | [diff] [blame] | 2 | |
| Tanya Lattner | f865dcd | 2008-02-14 06:56:27 +0000 | [diff] [blame] | 3 | define void @test({i32,i32 }* %P) { |
| Bill Wendling | cd6df16 | 2012-04-24 09:15:38 +0000 | [diff] [blame] | 4 | ; CHECK: store i32 0, i32* %X |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 5 | %Q = getelementptr {i32,i32}, {i32,i32}* %P, i32 1 |
| 6 | %X = getelementptr {i32,i32}, {i32,i32}* %Q, i32 0, i32 1 |
| 7 | %Y = getelementptr {i32,i32}, {i32,i32}* %Q, i32 1, i32 1 |
| Bill Wendling | cd6df16 | 2012-04-24 09:15:38 +0000 | [diff] [blame] | 8 | store i32 0, i32* %X |
| 9 | store i32 1, i32* %Y |
| 10 | ret void |
| Chris Lattner | 096a8f7 | 2004-07-29 01:33:05 +0000 | [diff] [blame] | 11 | } |