test/Transforms/GVN/dominated.ll

   1 ; RUN: llvm-as < %s | opt -gvn | llvm-dis | not grep DEAD
   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  %a = load i32** %p
  10  br label %block4
  11
  12 block3:
  13   %b = load i32** %p
  14   br label %block4
  15
  16 block4:
  17   %DEAD = load i32** %p
  18   %c = load i32* %DEAD
  19   ret i32 %c
  20 }