llvm/test/Analysis/BasicAA/2004-07-28-MustAliasbug.ll

   1 ; RUN: opt < %s -aa-pipeline=basic-aa -passes=dse -S | FileCheck %s
   2
   3 define 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 }