1; RUN: llc -mtriple=i686-pc-gnu-linux < %s | FileCheck %s
2; RUN: llc -mtriple=i686-pc-gnu-linux -print-machineinstrs=expand-isel-pseudos %s -o /dev/null 2>&1 | FileCheck %s -check-prefix=CHECK-JT-PROB
3
4
5; An unreachable default destination is replaced with the most popular case label.
6
7define void @foo(i32 %x, i32* %to) {
8; CHECK-LABEL: foo:
9; CHECK: movl 4(%esp), [[REG:%e[a-z]{2}]]
10; CHECK: cmpl $3, [[REG]]
11; CHECK: ja .LBB0_6
12; CHECK-NEXT: # BB#1:
13; CHECK-NEXT: jmpl *.LJTI0_0(,[[REG]],4)
14; CHECK: movl $4
15; CHECK: retl
16
17entry:
18  switch i32 %x, label %default [
19    i32 0, label %bb0
20    i32 1, label %bb1
21    i32 2, label %bb2
22    i32 3, label %bb3
23    i32 4, label %bb4
24    i32 5, label %bb4
25  ]
26bb0:
27  store i32 0, i32* %to
28  br label %exit
29bb1:
30  store i32 1, i32* %to
31  br label %exit
32bb2:
33  store i32 2, i32* %to
34  br label %exit
35bb3:
36  store i32 3, i32* %to
37  br label %exit
38bb4:
39  store i32 4, i32* %to
40  br label %exit
41exit:
42  ret void
43default:
44  unreachable
45
46; The jump table has four entries.
47; CHECK-LABEL: .LJTI0_0:
48; CHECK-NEXT: .long  .LBB0_2
49; CHECK-NEXT: .long  .LBB0_3
50; CHECK-NEXT: .long  .LBB0_4
51; CHECK-NEXT: .long  .LBB0_5
52}
53
54; Check if branch probabilities are correctly assigned to the jump table.
55
56define void @bar(i32 %x, i32* %to) {
57; CHECK-JT-PROB-LABEL: bar:
58; CHECK-JT-PROB: Successors according to CFG: BB#6({{[0-9a-fx/= ]+}}14.29%) BB#8({{[0-9a-fx/= ]+}}85.71%)
59; CHECK-JT-PROB: Successors according to CFG: BB#1({{[0-9a-fx/= ]+}}16.67%) BB#2({{[0-9a-fx/= ]+}}16.67%) BB#3({{[0-9a-fx/= ]+}}16.67%) BB#4({{[0-9a-fx/= ]+}}16.67%) BB#5({{[0-9a-fx/= ]+}}33.33%)
60
61entry:
62  switch i32 %x, label %default [
63    i32 0, label %bb0
64    i32 1, label %bb1
65    i32 2, label %bb2
66    i32 3, label %bb3
67    i32 4, label %bb4
68    i32 5, label %bb4
69  ], !prof !1
70bb0:
71  store i32 0, i32* %to
72  br label %exit
73bb1:
74  store i32 1, i32* %to
75  br label %exit
76bb2:
77  store i32 2, i32* %to
78  br label %exit
79bb3:
80  store i32 3, i32* %to
81  br label %exit
82bb4:
83  store i32 4, i32* %to
84  br label %exit
85default:
86  store i32 5, i32* %to
87  br label %exit
88exit:
89  ret void
90}
91
92!1 = !{!"branch_weights", i32 16, i32 16, i32 16, i32 16, i32 16, i32 16, i32 16}
93