1; RUN: opt < %s -basicaa -dse -S | FileCheck %s
2
3define void @test({i32,i32 }* %P) {
4; CHECK: store i32 0, i32* %X
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
8  store i32 0, i32* %X
9  store i32 1, i32* %Y
10  ret void
11}
12