1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -jump-threading -simplifycfg -S < %s | FileCheck %s
3declare void @ham()
4
5define void @hoge() {
6; CHECK-LABEL: @hoge(
7; CHECK-NEXT:  bb:
8; CHECK-NEXT:    [[TMP:%.*]] = and i32 undef, 1073741823
9; CHECK-NEXT:    [[COND:%.*]] = icmp eq i32 [[TMP]], 5
10; CHECK-NEXT:    br i1 [[COND]], label [[BB10:%.*]], label [[BB13:%.*]]
11; CHECK:       bb10:
12; CHECK-NEXT:    tail call void @ham()
13; CHECK-NEXT:    br label [[BB13]]
14; CHECK:       bb13:
15; CHECK-NEXT:    ret void
16;
17bb:
18  %tmp = and i32 undef, 1073741823
19  %tmp1 = icmp eq i32 %tmp, 2
20  br i1 %tmp1, label %bb12, label %bb2
21
22bb2:
23  %tmp3 = icmp eq i32 %tmp, 3
24  br i1 %tmp3, label %bb13, label %bb4
25
26bb4:
27  %tmp5 = icmp eq i32 %tmp, 5
28  br i1 %tmp5, label %bb6, label %bb7
29
30bb6:
31  tail call void @ham()
32  br label %bb7
33
34bb7:
35  br i1 %tmp3, label %bb13, label %bb8
36
37bb8:
38  %tmp9 = icmp eq i32 %tmp, 4
39  br i1 %tmp9, label %bb13, label %bb10
40
41bb10:
42  br i1 %tmp9, label %bb11, label %bb13
43
44bb11:
45  br label %bb13
46
47bb12:
48  br label %bb2
49
50bb13:
51  ret void
52}
53