1; RUN: opt < %s -aa-pipeline=basic-aa -passes=dse -S | FileCheck %s 2 3define void @test(ptr %P) { 4; CHECK: store i32 0, ptr %X 5 %Q = getelementptr {i32,i32}, ptr %P, i32 1 6 %X = getelementptr {i32,i32}, ptr %Q, i32 0, i32 1 7 %Y = getelementptr {i32,i32}, ptr %Q, i32 1, i32 1 8 store i32 0, ptr %X 9 store i32 1, ptr %Y 10 ret void 11} 12