test/Transforms/GVN/rle-semidominated.ll

   1 ; RUN: opt < %s -basicaa -gvn -S | grep {DEAD = phi i32 }
   2
   3 define i32 @main(i32* %p) {
   4 block1:
   5   %z = load i32* %p
   6         br i1 true, label %block2, label %block3
   7
   8 block2:
   9  br label %block4
  10
  11 block3:
  12   %b = bitcast i32 0 to i32
  13   store i32 %b, i32* %p
  14   br label %block4
  15
  16 block4:
  17   %DEAD = load i32* %p
  18   ret i32 %DEAD
  19 }