1; RUN: opt -jump-threading -S < %s | FileCheck %s
2; RUN: opt -passes=jump-threading -S < %s | FileCheck %s
3; Check the unreachable loop won't cause infinite loop
4; in jump-threading when it tries to update the predecessors'
5; profile metadata from a phi node.
6
7define void @unreachable_single_bb_loop() {
8; CHECK-LABEL: @unreachable_single_bb_loop()
9bb:
10  %tmp = call i32 @a()
11  %tmp1 = icmp eq i32 %tmp, 1
12  br i1 %tmp1, label %bb5, label %bb8
13
14; unreachable single bb loop.
15bb2:                                              ; preds = %bb2
16  %tmp4 = icmp ne i32 %tmp, 1
17  switch i1 %tmp4, label %bb2 [
18    i1 0, label %bb5
19    i1 1, label %bb8
20  ]
21
22bb5:                                              ; preds = %bb2, %bb
23  %tmp6 = phi i1 [ %tmp1, %bb ], [ false, %bb2 ]
24  br i1 %tmp6, label %bb8, label %bb7, !prof !0
25
26bb7:                                              ; preds = %bb5
27  br label %bb8
28
29bb8:                                              ; preds = %bb8, %bb7, %bb5, %bb2
30  ret void
31}
32
33define void @unreachable_multi_bbs_loop() {
34; CHECK-LABEL: @unreachable_multi_bbs_loop()
35bb:
36  %tmp = call i32 @a()
37  %tmp1 = icmp eq i32 %tmp, 1
38  br i1 %tmp1, label %bb5, label %bb8
39
40; unreachable two bbs loop.
41bb3:                                              ; preds = %bb2
42  br label %bb2
43
44bb2:                                              ; preds = %bb3
45  %tmp4 = icmp ne i32 %tmp, 1
46  switch i1 %tmp4, label %bb3 [
47    i1 0, label %bb5
48    i1 1, label %bb8
49  ]
50
51bb5:                                              ; preds = %bb2, %bb
52  %tmp6 = phi i1 [ %tmp1, %bb ], [ false, %bb2 ]
53  br i1 %tmp6, label %bb8, label %bb7, !prof !0
54
55bb7:                                              ; preds = %bb5
56  br label %bb8
57
58bb8:                                              ; preds = %bb8, %bb7, %bb5, %bb2
59  ret void
60}
61declare i32 @a()
62
63!0 = !{!"branch_weights", i32 2146410443, i32 1073205}
64