; RUN: llvm-as < %s | opt -gvn | llvm-dis | grep {b.pre}

define i32 @main(i32 %p) {
block1:
  
	br i1 true, label %block2, label %block3

block2:
 %a = add i32 %p, 1
 br label %block4

block3:
  br label %block4

block4:
  %b = add i32 %p, 1
  ret i32 %b
}


Use the -enable-pre flag so this test doesn't fail.
; RUN: llvm-as < %s | opt -gvn -enable-pre | llvm-dis | grep {b.pre}

define i32 @main(i32 %p) {
block1:
  
	br i1 true, label %block2, label %block3

block2:
 %a = add i32 %p, 1
 br label %block4

block3:
  br label %block4

block4:
  %b = add i32 %p, 1
  ret i32 %b
}