; RUN: opt < %s -gvn -enable-pre -S | 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:
block4:
%b = add i32 %p, 1
ret i32 %b
}