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