1 ; RUN: llc < %s -asm-verbose=false -disable-block-placement -verify-machineinstrs | FileCheck %s
3 ; Test switch instructions. Block placement is disabled because it reorders
4 ; the blocks in a way that isn't interesting here.
6 target datalayout = "e-p:32:32-i64:64-n32:64-S128"
7 target triple = "wasm32-unknown-unknown"
17 ; CHECK: block BB0_8{{$}}
18 ; CHECK: block BB0_7{{$}}
19 ; CHECK: block BB0_6{{$}}
20 ; CHECK: block BB0_5{{$}}
21 ; CHECK: block BB0_4{{$}}
22 ; CHECK: block BB0_3{{$}}
23 ; CHECK: block BB0_2{{$}}
24 ; CHECK: tableswitch {{[^,]*}}, BB0_2, BB0_2, BB0_2, BB0_2, BB0_2, BB0_2, BB0_2, BB0_2, BB0_3, BB0_3, BB0_3, BB0_3, BB0_3, BB0_3, BB0_3, BB0_3, BB0_4, BB0_4, BB0_4, BB0_4, BB0_4, BB0_4, BB0_5, BB0_6, BB0_7{{$}}
39 define void @bar32(i32 %n) {
41 switch i32 %n, label %sw.epilog [
52 i32 10, label %sw.bb.1
53 i32 11, label %sw.bb.1
54 i32 12, label %sw.bb.1
55 i32 13, label %sw.bb.1
56 i32 14, label %sw.bb.1
57 i32 15, label %sw.bb.2
58 i32 16, label %sw.bb.2
59 i32 17, label %sw.bb.2
60 i32 18, label %sw.bb.2
61 i32 19, label %sw.bb.2
62 i32 20, label %sw.bb.2
63 i32 21, label %sw.bb.3
64 i32 22, label %sw.bb.4
65 i32 23, label %sw.bb.5
68 sw.bb: ; preds = %entry, %entry, %entry, %entry, %entry, %entry, %entry
69 tail call void @foo0()
72 sw.bb.1: ; preds = %entry, %entry, %entry, %entry, %entry, %entry, %entry, %entry
73 tail call void @foo1()
76 sw.bb.2: ; preds = %entry, %entry, %entry, %entry, %entry, %entry
77 tail call void @foo2()
80 sw.bb.3: ; preds = %entry
81 tail call void @foo3()
84 sw.bb.4: ; preds = %entry
85 tail call void @foo4()
88 sw.bb.5: ; preds = %entry
89 tail call void @foo5()
92 sw.epilog: ; preds = %entry, %sw.bb.5, %sw.bb.4, %sw.bb.3, %sw.bb.2, %sw.bb.1, %sw.bb
97 ; CHECK: block BB1_8{{$}}
98 ; CHECK: block BB1_7{{$}}
99 ; CHECK: block BB1_6{{$}}
100 ; CHECK: block BB1_5{{$}}
101 ; CHECK: block BB1_4{{$}}
102 ; CHECK: block BB1_3{{$}}
103 ; CHECK: block BB1_2{{$}}
104 ; CHECK: tableswitch {{[^,]*}}, BB1_2, BB1_2, BB1_2, BB1_2, BB1_2, BB1_2, BB1_2, BB1_2, BB1_3, BB1_3, BB1_3, BB1_3, BB1_3, BB1_3, BB1_3, BB1_3, BB1_4, BB1_4, BB1_4, BB1_4, BB1_4, BB1_4, BB1_5, BB1_6, BB1_7{{$}}
119 define void @bar64(i64 %n) {
121 switch i64 %n, label %sw.epilog [
129 i64 7, label %sw.bb.1
130 i64 8, label %sw.bb.1
131 i64 9, label %sw.bb.1
132 i64 10, label %sw.bb.1
133 i64 11, label %sw.bb.1
134 i64 12, label %sw.bb.1
135 i64 13, label %sw.bb.1
136 i64 14, label %sw.bb.1
137 i64 15, label %sw.bb.2
138 i64 16, label %sw.bb.2
139 i64 17, label %sw.bb.2
140 i64 18, label %sw.bb.2
141 i64 19, label %sw.bb.2
142 i64 20, label %sw.bb.2
143 i64 21, label %sw.bb.3
144 i64 22, label %sw.bb.4
145 i64 23, label %sw.bb.5
148 sw.bb: ; preds = %entry, %entry, %entry, %entry, %entry, %entry, %entry
149 tail call void @foo0()
152 sw.bb.1: ; preds = %entry, %entry, %entry, %entry, %entry, %entry, %entry, %entry
153 tail call void @foo1()
156 sw.bb.2: ; preds = %entry, %entry, %entry, %entry, %entry, %entry
157 tail call void @foo2()
160 sw.bb.3: ; preds = %entry
161 tail call void @foo3()
164 sw.bb.4: ; preds = %entry
165 tail call void @foo4()
168 sw.bb.5: ; preds = %entry
169 tail call void @foo5()
172 sw.epilog: ; preds = %entry, %sw.bb.5, %sw.bb.4, %sw.bb.3, %sw.bb.2, %sw.bb.1, %sw.bb