1; RUN: opt < %s -gvn -S | FileCheck %s
2; RUN: opt < %s -passes=gvn -S | FileCheck %s
3
4define i32 @main() {
5block1:
6	%z1 = bitcast i32 0 to i32
7	br label %block2
8block2:
9  %z2 = bitcast i32 0 to i32
10  ret i32 %z2
11}
12
13; CHECK: define i32 @main() {
14; CHECK-NEXT: block1:
15; CHECK-NEXT:   ret i32 0
16; CHECK-NEXT: }
17