1 /* PR tree-optimization/79472 */
2 /* { dg-options "-O2 -fdump-tree-switchconv" } */
3 /* { dg-do run } */
4
5 int *expected;
6
7 void
8 foo (int x, int y)
9 {
10 if (x != expected[0] || y != expected[1])
11 __builtin_abort ();
12 expected += 2;
13 }
14
15 __attribute__((noinline, noclone)) void
16 f1 (int v, int w)
17 {
18 int i, j;
19 if (w)
20 {
21 i = 129;
22 j = i - 1;
23 goto lab;
24 }
25 switch (v)
26 {
27 case 170:
28 j = 7;
29 i = 27;
30 break;
31 case 171:
32 i = 8;
33 j = 122;
34 break;
35 case 172:
36 i = 21;
37 j = -19;
38 break;
39 case 173:
40 i = 18;
41 j = 17;
42 break;
43 case 174:
44 i = 139;
45 j = -5;
46 break;
47 case 175:
48 i = 14;
49 j = -26;
50 break;
51 case 176:
52 j = 5;
53 i = -14;
54 break;
55 case 177:
56 j = 8;
57 i = 12;
58 break;
59 default:
60 __builtin_abort ();
61 }
62
63 lab:
64 foo (i, j);
65 }
66
67 __attribute__((noinline, noclone)) void
68 f2 (int v)
69 {
70 int i, j;
71 switch (v)
72 {
73 case 170:
74 j = 7;
75 i = 27;
76 break;
77 case 171:
78 i = 8;
79 j = 122;
80 break;
81 case 172:
82 i = 21;
83 j = -19;
84 break;
85 case 173:
86 i = 18;
87 j = 17;
88 break;
89 case 174:
90 i = 139;
91 j = -5;
92 break;
93 case 175:
94 i = 14;
95 j = -26;
96 break;
97 case 176:
98 j = 5;
99 i = -14;
100 break;
101 case 177:
102 j = 8;
103 i = 12;
104 break;
105 default:
106 foo (5, 12);
107 foo (17, 19);
108 i = 8;
109 j = 19;
110 break;
111 }
112
113 foo (i, j);
114 }
115
116 __attribute__((noinline, noclone)) void
117 f3 (int v)
118 {
119 int i;
120 switch (v)
121 {
122 default:
123 i = v;
124 goto lab;
125 case 170:
126 i = 27;
127 break;
128 case 171:
129 i = 8;
130 break;
131 case 172:
132 i = 21;
133 break;
134 case 173:
135 i = 18;
136 break;
137 case 174:
138 i = 139;
139 break;
140 case 175:
141 i = 14;
142 break;
143 case 176:
144 i = -14;
145 break;
146 case 177:
147 i = 12;
148 break;
149 }
150
151 lab:
152 foo (i, -5);
153 }
154
155 __attribute__((noinline, noclone)) void
156 f4 (int v, int w)
157 {
158 int i, j, k = 5;
159 if (w)
160 {
161 foo (0, 0);
162 k = 26;
163 goto do_default;
164 }
165 switch (v)
166 {
167 case 170:
168 j = 7;
169 i = 27;
170 break;
171 case 171:
172 i = 8;
173 j = 122;
174 break;
175 case 172:
176 i = 21;
177 j = -19;
178 break;
179 case 173:
180 i = 18;
181 j = 17;
182 break;
183 case 174:
184 i = 139;
185 j = -5;
186 break;
187 case 175:
188 i = 14;
189 j = -26;
190 break;
191 case 176:
192 j = 5;
193 i = -14;
194 break;
195 case 177:
196 j = 8;
197 i = 12;
198 break;
199 default:
200 do_default:
201 foo (5, 12);
202 foo (17, 19);
203 i = 8;
204 j = 19;
205 break;
206 }
207
208 foo (i, j + k);
209 }
210
211 void
212 f5 (int v, int w)
213 {
214 int i;
215 if (w)
216 {
217 foo (23, 0);
218 i = 129;
219 }
220 else
221 switch (v)
222 {
223 case 170:
224 i = 27;
225 break;
226 case 171:
227 i = 8;
228 break;
229 case 172:
230 i = 21;
231 break;
232 case 173:
233 i = 18;
234 break;
235 case 174:
236 i = 139;
237 break;
238 case 175:
239 i = 14;
240 break;
241 case 176:
242 i = -14;
243 break;
244 case 177:
245 i = 12;
246 break;
247 default:
248 i = 80;
249 break;
250 }
251
252 lab:
253 foo (i, 0);
254 }
255
256 int
257 main ()
258 {
259 int *e;
260 #define T(call, cnt, ...) \
261 expected = e = (int []) __VA_ARGS__; \
262 call; \
263 if (expected != e + cnt) \
264 __builtin_abort ()
265 T (f1 (171, 1), 2, { 129, 128 });
266 T (f1 (140, 1), 2, { 129, 128 });
267 T (f1 (170, 0), 2, { 27, 7 });
268 T (f1 (171, 0), 2, { 8, 122 });
269 T (f1 (172, 0), 2, { 21, -19 });
270 T (f1 (173, 0), 2, { 18, 17 });
271 T (f1 (174, 0), 2, { 139, -5 });
272 T (f1 (175, 0), 2, { 14, -26 });
273 T (f1 (176, 0), 2, { -14, 5 });
274 T (f1 (177, 0), 2, { 12, 8 });
275 T (f2 (-31), 6, { 5, 12, 17, 19, 8, 19 });
276 T (f2 (169), 6, { 5, 12, 17, 19, 8, 19 });
277 T (f2 (170), 2, { 27, 7 });
278 T (f2 (171), 2, { 8, 122 });
279 T (f2 (172), 2, { 21, -19 });
280 T (f2 (173), 2, { 18, 17 });
281 T (f2 (174), 2, { 139, -5 });
282 T (f2 (175), 2, { 14, -26 });
283 T (f2 (176), 2, { -14, 5 });
284 T (f2 (177), 2, { 12, 8 });
285 T (f2 (178), 6, { 5, 12, 17, 19, 8, 19 });
286 T (f2 (231), 6, { 5, 12, 17, 19, 8, 19 });
287 T (f3 (-31), 2, { -31, -5 });
288 T (f3 (169), 2, { 169, -5 });
289 T (f3 (170), 2, { 27, -5 });
290 T (f3 (171), 2, { 8, -5 });
291 T (f3 (172), 2, { 21, -5 });
292 T (f3 (173), 2, { 18, -5 });
293 T (f3 (174), 2, { 139, -5 });
294 T (f3 (175), 2, { 14, -5 });
295 T (f3 (176), 2, { -14, -5 });
296 T (f3 (177), 2, { 12, -5 });
297 T (f3 (178), 2, { 178, -5 });
298 T (f3 (231), 2, { 231, -5 });
299 T (f4 (171, 1), 8, { 0, 0, 5, 12, 17, 19, 8, 45 });
300 T (f4 (140, 1), 8, { 0, 0, 5, 12, 17, 19, 8, 45 });
301 T (f4 (-31, 0), 6, { 5, 12, 17, 19, 8, 24 });
302 T (f4 (169, 0), 6, { 5, 12, 17, 19, 8, 24 });
303 T (f4 (170, 0), 2, { 27, 12 });
304 T (f4 (171, 0), 2, { 8, 127 });
305 T (f4 (172, 0), 2, { 21, -14 });
306 T (f4 (173, 0), 2, { 18, 22 });
307 T (f4 (174, 0), 2, { 139, 0 });
308 T (f4 (175, 0), 2, { 14, -21 });
309 T (f4 (176, 0), 2, { -14, 10 });
310 T (f4 (177, 0), 2, { 12, 13 });
311 T (f4 (178, 0), 6, { 5, 12, 17, 19, 8, 24 });
312 T (f4 (231, 0), 6, { 5, 12, 17, 19, 8, 24 });
313 T (f5 (171, 1), 4, { 23, 0, 129, 0 });
314 T (f5 (140, 1), 4, { 23, 0, 129, 0 });
315 T (f5 (-31, 0), 2, { 80, 0 });
316 T (f5 (169, 0), 2, { 80, 0 });
317 T (f5 (170, 0), 2, { 27, 0 });
318 T (f5 (171, 0), 2, { 8, 0 });
319 T (f5 (172, 0), 2, { 21, 0 });
320 T (f5 (173, 0), 2, { 18, 0 });
321 T (f5 (174, 0), 2, { 139, 0 });
322 T (f5 (175, 0), 2, { 14, 0 });
323 T (f5 (176, 0), 2, { -14, 0 });
324 T (f5 (177, 0), 2, { 12, 0 });
325 T (f5 (178, 0), 2, { 80, 0 });
326 T (f5 (231, 0), 2, { 80, 0 });
327 }
328
329 /* { dg-final { scan-tree-dump-times "Switch converted" 5 "switchconv" } } */
330 /* { dg-final { scan-tree-dump-times "= CSWTCH" 8 "switchconv" } } */