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