; RUN: opt < %s -aa-pipeline=basic-aa -passes=dse -S | FileCheck %s | |
define void @test(ptr %P) { | |
; CHECK: store i32 0, ptr %X | |
%Q = getelementptr {i32,i32}, ptr %P, i32 1 | |
%X = getelementptr {i32,i32}, ptr %Q, i32 0, i32 1 | |
%Y = getelementptr {i32,i32}, ptr %Q, i32 1, i32 1 | |
store i32 0, ptr %X | |
store i32 1, ptr %Y | |
ret void | |
} |