1 /* PR tree-optimization/52267 */
2 /* { dg-do run { target { int16 } } } */
3 /* { dg-options "-O2" } */
4
5 extern void abort (void);
6
7 #define BITSM1 (sizeof (int) * __CHAR_BIT__ - 1)
8 #define BITSH ((sizeof (int) - sizeof (short)) * __CHAR_BIT__)
9
10 void
11 f1 (unsigned int s)
12 {
13 if ((s & (7U << (BITSM1 - 2))) != 0)
14 {
15 if (s == (0xc000U << BITSH) - 1 || s == (0xf000U << BITSH) - 1
16 || s == (0x9000U << BITSH) - 1 || s == (0xa031U << BITSH) - 1
17 || s == (0xbfbfU << BITSH) || s == (0xc000U << BITSH)
18 || s == (0xf000U << BITSH) || s == (0x9000U << BITSH)
19 || s == (0xc000U << BITSH) + 1 || s == -1U || s == -15U
20 || s == 0x3cbf || s == 0x3cc0
21 || s == -15550U || s == -15552U || s == (0x7000 << BITSH) - 1
22 || s == (0x7000 << BITSH) || s == (1 << (BITSM1 - 2))
23 || s == 1U + __INT_MAX__ || s == -32U
24 || s == (3 << (BITSM1 - 2)) + 2 || s == -5U || s == -63U
25 || s == -64U || s == -65U || s == 6U + __INT_MAX__ || s == -8189U
26 || s == -8191U || s == -8192U || s == -8193U || s == -8250U
27 || s == -8255U || s == -8256U || s == -8257U || s == __INT_MAX__
28 || s == __INT_MAX__ + 9U)
29 return;
30 }
31 else
32 {
33 if (s == 0 || s == 0x1cbf || s == 0x1cc0 || s == 0x1fff || s == 0x2000
34 || s == 0x20 || s == 0x3f || s == 1
35 || s == (1 << (BITSM1 - 2)) - 1 || s == 2 || s == 24 || s == 5)
36 return;
37 }
38 abort ();
39 }
40
41 void
42 f2 (int s)
43 {
44 if ((s & (7U << (BITSM1 - 2))) == 0)
45 {
46 if (s == 0 || s == 0x1cbf || s == 0x1cc0 || s == 0x1fff || s == 0x2000
47 || s == 0x20 || s == 0x3f || s == 1
48 || s == (1 << (BITSM1 - 2)) - 1 || s == 2 || s == 24 || s == 5)
49 return;
50 }
51 else
52 {
53 if (s == (-0x4000 << BITSH) - 1 || s == (-0x1000 << BITSH) - 1
54 || s == (-0x7000 << BITSH) - 1 || s == (-0x5fcf << BITSH) - 1
55 || s == (-0x4041 << BITSH) || s == (-0x4000 << BITSH)
56 || s == (-0x1000 << BITSH) || s == (-0x7000 << BITSH)
57 || s == (-0x4000 << BITSH) + 1 || s == -1 || s == -15 || s == -15550
58 || s == 0x3cbf || s == 0x3cc0
59 || s == -15552 || s == (0x7000 << BITSH) - 1
60 || s == (0x7000 << BITSH) || s == (1 << (BITSM1 - 2))
61 || s == -__INT_MAX__ - 1 || s == -32 || s == (3 << (BITSM1 - 2)) + 2
62 || s == -5 || s == -63 || s == -64 || s == -65
63 || s == -__INT_MAX__ + 4 || s == -8189 || s == -8191 || s == -8192
64 || s == -8193 || s == -8250 || s == -8255 || s == -8256
65 || s == -8257 || s == __INT_MAX__ || s == -__INT_MAX__ + 7)
66 return;
67 }
68 abort ();
69 }
70
71 void
72 f3 (unsigned int s)
73 {
74 if ((s & 0x3cc0) == 0)
75 {
76 if (s == 0 || s == 0x20 || s == 0x3f
77 || s == (0xc000U << BITSH)
78 || s == (0xc000U << BITSH) + 1 || s == 1
79 || s == 1U + __INT_MAX__ || s == 2 || s == 24
80 || s == 5 || s == 6U + __INT_MAX__
81 || s == __INT_MAX__ + 9U)
82 return;
83 }
84 else
85 {
86 if (s == 0x1cbf || s == 0x1cc0 || s == 0x1fff || s == 0x2000
87 || s == (0xbfbfU << BITSH) || s == (0xf000U << BITSH)
88 || s == (0x9000U << BITSH)
89 || s == (0x7000 << BITSH) || s == (1 << (BITSM1 - 2))
90 || s == (3 << (BITSM1 - 2)) + 2
91 || s == 0x3cbf || s == 0x3cc0 || s == (0xc000U << BITSH) - 1
92 || s == (0xf000U << BITSH) - 1 || s == (0x9000U << BITSH) - 1
93 || s == (0xa031U << BITSH) - 1 || s == -1U || s == -15U
94 || s == -15550U || s == -15552U || s == (0x7000 << BITSH) - 1
95 || s == (1 << (BITSM1 - 2)) - 1 || s == -32U || s == -5U
96 || s == -63U || s == -64U || s == -65U || s == -8189U || s == -8191U
97 || s == -8192U || s == -8193U || s == -8250U || s == -8255U
98 || s == -8256U || s == -8257U || s == __INT_MAX__)
99 return;
100 }
101 abort ();
102 }
103
104 void
105 f4 (int s)
106 {
107 if ((s & 0x3cc0) == 0)
108 {
109 if (s == 0 || s == 0x20 || s == 0x3f
110 || s == (-0x4000 << BITSH)
111 || s == (-0x4000 << BITSH) + 1 || s == 1
112 || s == -__INT_MAX__ - 1 || s == 2 || s == 24
113 || s == 5 || s == -__INT_MAX__ + 4
114 || s == -__INT_MAX__ + 7)
115 return;
116 }
117 else
118 {
119 if (s == 0x1cbf || s == 0x1cc0 || s == 0x1fff || s == 0x2000
120 || s == (-0x4041 << BITSH) || s == (-0x1000 << BITSH)
121 || s == (-0x7000 << BITSH)
122 || s == (0x7000 << BITSH) || s == (1 << (BITSM1 - 2))
123 || s == (3 << (BITSM1 - 2)) + 2
124 || s == 0x3cbf || s == 0x3cc0 || s == (-0x4000 << BITSH) - 1
125 || s == (-0x1000 << BITSH) - 1 || s == (-0x7000 << BITSH) - 1
126 || s == (-0x5fcf << BITSH) - 1 || s == -1 || s == -15 || s == -15550
127 || s == -15552 || s == (0x7000 << BITSH) - 1
128 || s == (1 << (BITSM1 - 2)) - 1 || s == -32 || s == -5 || s == -63
129 || s == -64 || s == -65 || s == -8189 || s == -8191 || s == -8192
130 || s == -8193 || s == -8250 || s == -8255 || s == -8256
131 || s == -8257 || s == __INT_MAX__)
132 return;
133 }
134 abort ();
135 }
136
137 void
138 f5 (int s)
139 {
140 if ((s & 0x3cc0U) == 0)
141 {
142 if (s == 0 || s == 0x20 || s == 0x3f
143 || s == (-0x4000 << BITSH)
144 || s == (-0x4000 << BITSH) + 1 || s == 1
145 || s == -__INT_MAX__ - 1 || s == 2 || s == 24
146 || s == 5 || s == -__INT_MAX__ + 4
147 || s == -__INT_MAX__ + 7)
148 return;
149 }
150 else
151 {
152 if (s == 0x1cbf || s == 0x1cc0 || s == 0x1fff || s == 0x2000
153 || s == (-0x4041 << BITSH) || s == (-0x1000 << BITSH)
154 || s == (-0x7000 << BITSH)
155 || s == (0x7000 << BITSH) || s == (1 << (BITSM1 - 2))
156 || s == (3 << (BITSM1 - 2)) + 2
157 || s == 0x3cbf || s == 0x3cc0 || s == (-0x4000 << BITSH) - 1
158 || s == (-0x1000 << BITSH) - 1 || s == (-0x7000 << BITSH) - 1
159 || s == (-0x5fcf << BITSH) - 1 || s == -1 || s == -15 || s == -15550
160 || s == -15552 || s == (0x7000 << BITSH) - 1
161 || s == (1 << (BITSM1 - 2)) - 1 || s == -32 || s == -5 || s == -63
162 || s == -64 || s == -65 || s == -8189 || s == -8191 || s == -8192
163 || s == -8193 || s == -8250 || s == -8255 || s == -8256
164 || s == -8257 || s == __INT_MAX__)
165 return;
166 }
167 abort ();
168 }
169
170 void
171 f6 (unsigned int s)
172 {
173 if ((s & 0x3cc0) == 0x3cc0)
174 {
175 if (s == 0x3cc0 || s == (0xc000U << BITSH) - 1
176 || s == -1U || s == -15U
177 || s == (1 << (BITSM1 - 2)) - 1
178 || s == -32U || s == -5U || s == -63U || s == -64U
179 || s == __INT_MAX__)
180 return;
181 }
182 else
183 {
184 if (s == 0 || s == 0x1cbf || s == 0x1cc0 || s == 0x1fff || s == 0x2000
185 || s == (0xf000U << BITSH) - 1 || s == (0x9000U << BITSH) - 1
186 || s == (0xa031U << BITSH) - 1
187 || s == (0x7000 << BITSH) - 1
188 || s == 0x20 || s == 0x3cbf || s == 0x3f || s == (0xbfbfU << BITSH)
189 || s == (0xc000U << BITSH) || s == (0xf000U << BITSH)
190 || s == (0x9000U << BITSH) || s == (0xc000U << BITSH) + 1 || s == 1
191 || s == -15550U || s == -15552U || s == (0x7000 << BITSH)
192 || s == (1 << (BITSM1 - 2)) || s == 1U + __INT_MAX__ || s == 2
193 || s == 24 || s == (3 << (BITSM1 - 2)) + 2 || s == 5 || s == -65U
194 || s == 6U + __INT_MAX__ || s == -8189U || s == -8191U
195 || s == -8192U || s == -8193U || s == -8250U || s == -8255U
196 || s == -8256U || s == -8257U || s == __INT_MAX__ + 9U)
197 return;
198 }
199 abort ();
200 }
201
202 void
203 f7 (int s)
204 {
205 if ((s & 0x3cc0) == 0x3cc0)
206 {
207 if (s == 0x3cc0 || s == (-0x4000 << BITSH) - 1
208 || s == -1 || s == -15
209 || s == (1 << (BITSM1 - 2)) - 1
210 || s == -32 || s == -5 || s == -63 || s == -64 || s == __INT_MAX__)
211 return;
212 }
213 else
214 {
215 if (s == 0 || s == 0x1cbf || s == 0x1cc0 || s == 0x1fff || s == 0x2000
216 || s == (-0x1000 << BITSH) - 1 || s == (-0x7000 << BITSH) - 1
217 || s == (-0x5fcf << BITSH) - 1
218 || s == (0x7000 << BITSH) - 1
219 || s == 0x20 || s == 0x3cbf || s == 0x3f || s == (-0x4041 << BITSH)
220 || s == (-0x4000 << BITSH) || s == (-0x1000 << BITSH)
221 || s == (-0x7000 << BITSH) || s == (-0x4000 << BITSH) + 1 || s == 1
222 || s == -15550 || s == -15552 || s == (0x7000 << BITSH)
223 || s == (1 << (BITSM1 - 2)) || s == -__INT_MAX__ - 1 || s == 2
224 || s == 24 || s == (3 << (BITSM1 - 2)) + 2 || s == 5 || s == -65
225 || s == -__INT_MAX__ + 4 || s == -8189 || s == -8191 || s == -8192
226 || s == -8193 || s == -8250 || s == -8255 || s == -8256
227 || s == -8257 || s == -__INT_MAX__ + 7)
228 return;
229 }
230 abort ();
231 }
232
233 void
234 f8 (int s)
235 {
236 if ((s & 0x3cc0U) == 0x3cc0)
237 {
238 if (s == 0x3cc0 || s == (-0x4000 << BITSH) - 1
239 || s == -1 || s == -15
240 || s == (1 << (BITSM1 - 2)) - 1
241 || s == -32 || s == -5 || s == -63 || s == -64 || s == __INT_MAX__)
242 return;
243 }
244 else
245 {
246 if (s == 0 || s == 0x1cbf || s == 0x1cc0 || s == 0x1fff || s == 0x2000
247 || s == (-0x1000 << BITSH) - 1 || s == (-0x7000 << BITSH) - 1
248 || s == (-0x5fcf << BITSH) - 1
249 || s == (0x7000 << BITSH) - 1
250 || s == 0x20 || s == 0x3cbf || s == 0x3f || s == (-0x4041 << BITSH)
251 || s == (-0x4000 << BITSH) || s == (-0x1000 << BITSH)
252 || s == (-0x7000 << BITSH) || s == (-0x4000 << BITSH) + 1 || s == 1
253 || s == -15550 || s == -15552 || s == (0x7000 << BITSH)
254 || s == (1 << (BITSM1 - 2)) || s == -__INT_MAX__ - 1 || s == 2
255 || s == 24 || s == (3 << (BITSM1 - 2)) + 2 || s == 5 || s == -65
256 || s == -__INT_MAX__ + 4 || s == -8189 || s == -8191 || s == -8192
257 || s == -8193 || s == -8250 || s == -8255 || s == -8256
258 || s == -8257 || s == -__INT_MAX__ + 7)
259 return;
260 }
261 abort ();
262 }
263
264 void
265 f9 (unsigned int s)
266 {
267 if ((s & 0x3cc0) >= 0x1cc0)
268 {
269 if (s == 0x1cc0 || s == 0x1fff || s == 0x2000 || s == 0x3cbf
270 || s == 0x3cc0 || s == (0xc000U << BITSH) - 1
271 || s == (0xf000U << BITSH) - 1
272 || s == (0xbfbfU << BITSH) || s == (0xf000U << BITSH)
273 || s == (0x7000 << BITSH)
274 || s == (1 << (BITSM1 - 2)) || s == (3 << (BITSM1 - 2)) + 2
275 || s == (0xa031U << BITSH) - 1 || s == -1U || s == -15U
276 || s == (0x7000 << BITSH) - 1 || s == (1 << (BITSM1 - 2)) - 1
277 || s == -32U || s == -5U || s == -63U || s == -64U || s == -65U
278 || s == -8189U || s == -8191U || s == -8192U || s == -8193U
279 || s == -8250U || s == -8255U || s == -8256U || s == __INT_MAX__)
280 return;
281 }
282 else
283 {
284 if (s == 0 || s == 0x1cbf || s == 0x20 || s == 0x3f
285 || s == (0x9000U << BITSH) - 1 || s == (0xc000U << BITSH)
286 || s == (0x9000U << BITSH)
287 || s == (0xc000U << BITSH) + 1 || s == 1 || s == -15550U
288 || s == -15552U
289 || s == 1U + __INT_MAX__ || s == 2
290 || s == 24 || s == 5
291 || s == 6U + __INT_MAX__ || s == -8257U || s == __INT_MAX__ + 9U)
292 return;
293 }
294 abort ();
295 }
296
297 void
298 f10 (unsigned int s)
299 {
300 if ((s & 0x3cc0) > 0x1cc0)
301 {
302 if (s == 0x2000 || s == 0x3cbf || s == 0x3cc0
303 || s == (0xc000U << BITSH) - 1 || s == (0xf000U << BITSH) - 1
304 || s == (0xbfbfU << BITSH) || s == (0xa031U << BITSH) - 1
305 || s == (0xf000U << BITSH)
306 || s == -1U || s == -15U || s == (0x7000 << BITSH) - 1
307 || s == (0x7000 << BITSH) || s == (1 << (BITSM1 - 2))
308 || s == -32U || s == (3 << (BITSM1 - 2)) + 2 || s == -5U
309 || s == -63U || s == -64U || s == -65U || s == -8189U || s == -8191U
310 || s == -8192U || s == __INT_MAX__)
311 return;
312 }
313 else
314 {
315 if (s == 0 || s == 0x1cbf || s == 0x1cc0 || s == 0x1fff || s == 0x20
316 || s == 0x3f || s == (0x9000U << BITSH) - 1
317 || s == (0xc000U << BITSH) || s == (0x9000U << BITSH)
318 || s == (0xc000U << BITSH) + 1 || s == 1 || s == -15550U
319 || s == -15552U || s == (1 << (BITSM1 - 2)) - 1
320 || s == 1U + __INT_MAX__ || s == 2
321 || s == 24 || s == 5
322 || s == 6U + __INT_MAX__ || s == -8193U || s == -8250U
323 || s == -8255U || s == -8256U || s == -8257U
324 || s == __INT_MAX__ + 9U)
325 return;
326 }
327 abort ();
328 }
329
330 void
331 f11 (int s)
332 {
333 if ((s & 0x3cc0) >= 0x1cc0)
334 {
335 if (s == 0x1cc0 || s == 0x1fff || s == 0x2000 || s == 0x3cbf
336 || s == 0x3cc0 || s == (-0x4000 << BITSH) - 1
337 || s == (-0x1000 << BITSH) - 1
338 || s == (-0x4041 << BITSH)
339 || s == (-0x1000 << BITSH)
340 || s == (0x7000 << BITSH) || s == (1 << (BITSM1 - 2))
341 || s == (3 << (BITSM1 - 2)) + 2
342 || s == (-0x5fcf << BITSH) - 1 || s == -1 || s == -15
343 || s == (0x7000 << BITSH) - 1 || s == (1 << (BITSM1 - 2)) - 1
344 || s == -32 || s == -5 || s == -63 || s == -64 || s == -65
345 || s == -8189 || s == -8191 || s == -8192 || s == -8193
346 || s == -8250 || s == -8255 || s == -8256 || s == __INT_MAX__)
347 return;
348 }
349 else
350 {
351 if (s == 0 || s == 0x1cbf || s == 0x20 || s == 0x3f
352 || s == (-0x7000 << BITSH) - 1 || s == (-0x4000 << BITSH)
353 || s == (-0x7000 << BITSH)
354 || s == (-0x4000 << BITSH) + 1 || s == 1 || s == -15550
355 || s == -15552
356 || s == -__INT_MAX__ - 1 || s == 2 || s == 24
357 || s == 5 || s == -__INT_MAX__ + 4
358 || s == -8257 || s == -__INT_MAX__ + 7)
359 return;
360 }
361 abort ();
362 }
363
364 void
365 f12 (int s)
366 {
367 if ((s & 0x3cc0) > 0x1cc0)
368 {
369 if (s == 0x2000 || s == 0x3cbf || s == 0x3cc0
370 || s == (-0x4000 << BITSH) - 1 || s == (-0x1000 << BITSH) - 1
371 || s == (-0x5fcf << BITSH) - 1
372 || s == (-0x4041 << BITSH)
373 || s == (-0x1000 << BITSH)
374 || s == -1 || s == -15 || s == (0x7000 << BITSH) - 1
375 || s == (0x7000 << BITSH) || s == (1 << (BITSM1 - 2))
376 || s == (3 << (BITSM1 - 2)) + 2
377 || s == -32 || s == -5 || s == -63
378 || s == -64 || s == -65 || s == -8189 || s == -8191 || s == -8192
379 || s == __INT_MAX__)
380 return;
381 }
382 else
383 {
384 if (s == 0 || s == 0x1cbf || s == 0x1cc0 || s == 0x1fff || s == 0x20
385 || s == 0x3f || s == (-0x7000 << BITSH) - 1
386 || s == (-0x4000 << BITSH) || s == (-0x7000 << BITSH)
387 || s == (-0x4000 << BITSH) + 1 || s == 1 || s == -15550
388 || s == -15552 || s == (1 << (BITSM1 - 2)) - 1
389 || s == -__INT_MAX__ - 1 || s == 2 || s == 24
390 || s == 5 || s == -__INT_MAX__ + 4
391 || s == -8193 || s == -8250 || s == -8255 || s == -8256
392 || s == -8257 || s == -__INT_MAX__ + 7)
393 return;
394 }
395 abort ();
396 }
397
398 void
399 f13 (unsigned int s)
400 {
401 if ((s & (0xe071U << BITSH)) > (0xb030U << BITSH))
402 {
403 if (s == (0xf000U << BITSH) - 1 || s == (0xc000U << BITSH)
404 || s == (0xf000U << BITSH) || s == (0xc000U << BITSH) + 1
405 || s == -1U || s == -15U || s == -15550U || s == -15552U
406 || s == -32U || s == -5U || s == -63U || s == -64U || s == -65U
407 || s == -8189U || s == -8191U || s == -8192U || s == -8193U
408 || s == -8250U || s == -8255U || s == -8256U || s == -8257U)
409 return;
410 }
411 else
412 {
413 if (s == 0 || s == 0x1cbf || s == 0x1cc0 || s == 0x1fff || s == 0x2000
414 || s == 0x20 || s == 0x3cbf || s == 0x3cc0 || s == 0x3f
415 || s == (0xc000U << BITSH) - 1 || s == (0x9000U << BITSH) - 1
416 || s == (0xa031U << BITSH) - 1 || s == (0xbfbfU << BITSH)
417 || s == (0x9000U << BITSH) || s == 1 || s == (0x7000 << BITSH) - 1
418 || s == (0x7000 << BITSH) || s == (1 << (BITSM1 - 2))
419 || s == (1 << (BITSM1 - 2)) - 1 || s == 1U + __INT_MAX__ || s == 2
420 || s == 24 || s == (3 << (BITSM1 - 2)) + 2 || s == 5
421 || s == 6U + __INT_MAX__ || s == __INT_MAX__
422 || s == __INT_MAX__ + 9U)
423 return;
424 }
425 abort ();
426 }
427
428 void
429 f14 (unsigned int s)
430 {
431 if ((s & (0xe071U << BITSH)) > (0xa030U << BITSH))
432 {
433 if (s == (0xc000U << BITSH) - 1 || s == (0xf000U << BITSH) - 1
434 || s == (0xbfbfU << BITSH) || s == (0xc000U << BITSH)
435 || s == (0xf000U << BITSH) || s == (0xc000U << BITSH) + 1
436 || s == -1U || s == -15U || s == -15550U || s == -15552U
437 || s == -32U || s == -5U || s == -63U || s == -64U || s == -65U
438 || s == -8189U || s == -8191U || s == -8192U || s == -8193U
439 || s == -8250U || s == -8255U || s == -8256U || s == -8257U)
440 return;
441 }
442 else
443 {
444 if (s == 0 || s == 0x1cbf || s == 0x1cc0 || s == 0x1fff || s == 0x2000
445 || s == 0x20 || s == 0x3cbf || s == 0x3cc0 || s == 0x3f
446 || s == (0x9000U << BITSH) - 1 || s == (0xa031U << BITSH) - 1
447 || s == (0x9000U << BITSH) || s == 1 || s == (0x7000 << BITSH) - 1
448 || s == (0x7000 << BITSH) || s == (1 << (BITSM1 - 2))
449 || s == (1 << (BITSM1 - 2)) - 1 || s == 1U + __INT_MAX__ || s == 2
450 || s == 24 || s == (3 << (BITSM1 - 2)) + 2 || s == 5
451 || s == 6U + __INT_MAX__ || s == __INT_MAX__
452 || s == __INT_MAX__ + 9U)
453 return;
454 }
455 abort ();
456 }
457
458 void
459 f15 (int s)
460 {
461 if ((s & ((-0x1f8f) << BITSH)) > ((-0x4fd0) << BITSH))
462 {
463 if (s == 0 || s == 0x1cbf || s == 0x1cc0 || s == 0x1fff || s == 0x2000
464 || s == 0x20 || s == 0x3cbf || s == 0x3cc0 || s == 0x3f
465 || s == (-0x1000 << BITSH) - 1 || s == (-0x4000 << BITSH)
466 || s == (-0x1000 << BITSH) || s == (-0x4000 << BITSH) + 1 || s == 1
467 || s == -1 || s == -15 || s == -15550 || s == -15552
468 || s == (0x7000 << BITSH) - 1 || s == (0x7000 << BITSH)
469 || s == (1 << (BITSM1 - 2)) || s == (1 << (BITSM1 - 2)) - 1
470 || s == 2 || s == 24 || s == -32 || s == (3 << (BITSM1 - 2)) + 2
471 || s == 5 || s == -5 || s == -63 || s == -64 || s == -65
472 || s == -8189 || s == -8191 || s == -8192 || s == -8193
473 || s == -8250 || s == -8255 || s == -8256 || s == -8257
474 || s == __INT_MAX__)
475 return;
476 }
477 else
478 {
479 if (s == (-0x4000 << BITSH) - 1 || s == (-0x7000 << BITSH) - 1
480 || s == (-0x5fcf << BITSH) - 1 || s == (-0x4041 << BITSH)
481 || s == (-0x7000 << BITSH) || s == -__INT_MAX__ - 1
482 || s == -__INT_MAX__ + 4 || s == -__INT_MAX__ + 7)
483 return;
484 }
485 abort ();
486 }
487
488 void
489 f16 (int s)
490 {
491 if ((s & ((-0x1f8f) << BITSH)) >= ((-0x4fd0) << BITSH))
492 {
493 if (s == 0 || s == 0x1cbf || s == 0x1cc0 || s == 0x1fff || s == 0x2000
494 || s == 0x20 || s == 0x3cbf || s == 0x3cc0 || s == 0x3f
495 || s == (-0x1000 << BITSH) - 1 || s == (-0x4000 << BITSH)
496 || s == (-0x1000 << BITSH) || s == (-0x4000 << BITSH) + 1 || s == 1
497 || s == -1 || s == -15 || s == -15550 || s == -15552
498 || s == (0x7000 << BITSH) - 1 || s == (0x7000 << BITSH)
499 || s == (1 << (BITSM1 - 2)) || s == (1 << (BITSM1 - 2)) - 1
500 || s == 2 || s == 24 || s == -32 || s == (3 << (BITSM1 - 2)) + 2
501 || s == 5 || s == -5 || s == -63 || s == -64 || s == -65
502 || s == -8189 || s == -8191 || s == -8192 || s == -8193
503 || s == -8250 || s == -8255 || s == -8256 || s == -8257
504 || s == __INT_MAX__)
505 return;
506 }
507 else
508 {
509 if (s == (-0x4000 << BITSH) - 1 || s == (-0x7000 << BITSH) - 1
510 || s == (-0x5fcf << BITSH) - 1 || s == (-0x4041 << BITSH)
511 || s == (-0x7000 << BITSH) || s == -__INT_MAX__ - 1
512 || s == -__INT_MAX__ + 4 || s == -__INT_MAX__ + 7)
513 return;
514 }
515 abort ();
516 }
517
518 void
519 f17 (int s)
520 {
521 if ((s & ((-0x4000 << BITSH) | 1)) != -__INT_MAX__ - 1)
522 {
523 if (s == 0 || s == 0x1cbf || s == 0x1cc0 || s == 0x1fff || s == 0x2000
524 || s == 0x20 || s == 0x3cbf || s == 0x3cc0 || s == 0x3f
525 || s == (-0x4000 << BITSH) - 1 || s == (-0x1000 << BITSH) - 1
526 || s == (-0x7000 << BITSH) - 1 || s == (-0x4041 << BITSH)
527 || s == (-0x4000 << BITSH) || s == (-0x1000 << BITSH)
528 || s == (-0x4000 << BITSH) + 1 || s == 1 || s == -1 || s == -15
529 || s == -15550 || s == -15552 || s == (0x7000 << BITSH) - 1
530 || s == (0x7000 << BITSH) || s == (1 << (BITSM1 - 2))
531 || s == (1 << (BITSM1 - 2)) - 1 || s == 2 || s == 24 || s == -32
532 || s == (3 << (BITSM1 - 2)) + 2 || s == 5 || s == -5 || s == -63
533 || s == -64 || s == -65 || s == -__INT_MAX__ + 4 || s == -8189
534 || s == -8191 || s == -8192 || s == -8193 || s == -8250
535 || s == -8255 || s == -8256 || s == -8257 || s == __INT_MAX__)
536 return;
537 }
538 else
539 {
540 if (s == (-0x5fcf << BITSH) - 1 || s == (-0x7000 << BITSH)
541 || s == -__INT_MAX__ - 1 || s == -__INT_MAX__ + 7)
542 return;
543 }
544 abort ();
545 }
546
547 void
548 f18 (int s)
549 {
550 if ((s & ((-0x4000 << BITSH) | 1)) != ((-0x4000 << BITSH) | 1))
551 {
552 if (s == 0 || s == 0x1cbf || s == 0x1cc0 || s == 0x1fff || s == 0x2000
553 || s == 0x20 || s == 0x3cbf || s == 0x3cc0 || s == 0x3f
554 || s == (-0x4000 << BITSH) - 1 || s == (-0x7000 << BITSH) - 1
555 || s == (-0x5fcf << BITSH) - 1 || s == (-0x4041 << BITSH)
556 || s == (-0x4000 << BITSH) || s == (-0x1000 << BITSH)
557 || s == (-0x7000 << BITSH) || s == 1 || s == -15550 || s == -15552
558 || s == (0x7000 << BITSH) - 1 || s == (0x7000 << BITSH)
559 || s == (1 << (BITSM1 - 2)) || s == (1 << (BITSM1 - 2)) - 1
560 || s == -__INT_MAX__ - 1 || s == 2 || s == 24 || s == -32
561 || s == (3 << (BITSM1 - 2)) + 2 || s == 5 || s == -64
562 || s == -__INT_MAX__ + 4 || s == -8192 || s == -8250 || s == -8256
563 || s == __INT_MAX__ || s == -__INT_MAX__ + 7)
564 return;
565 }
566 else
567 {
568 if (s == (-0x1000 << BITSH) - 1 || s == (-0x4000 << BITSH) + 1
569 || s == -1 || s == -15 || s == -5 || s == -63 || s == -65
570 || s == -8189 || s == -8191 || s == -8193 || s == -8255
571 || s == -8257)
572 return;
573 }
574 abort ();
575 }
576
577 void
578 f19 (int s)
579 {
580 if ((s & ((-0x4000 << BITSH) | 1)) != ((0x4000 << BITSH) | 1))
581 {
582 if (s == 0 || s == 0x1cbf || s == 0x1cc0 || s == 0x1fff || s == 0x2000
583 || s == 0x20 || s == 0x3cbf || s == 0x3cc0 || s == 0x3f
584 || s == (-0x4000 << BITSH) - 1 || s == (-0x1000 << BITSH) - 1
585 || s == (-0x7000 << BITSH) - 1 || s == (-0x5fcf << BITSH) - 1
586 || s == (-0x4041 << BITSH) || s == (-0x4000 << BITSH)
587 || s == (-0x1000 << BITSH) || s == (-0x7000 << BITSH)
588 || s == (-0x4000 << BITSH) + 1 || s == 1 || s == -1 || s == -15
589 || s == -15550 || s == -15552 || s == (0x7000 << BITSH)
590 || s == (1 << (BITSM1 - 2)) || s == (1 << (BITSM1 - 2)) - 1
591 || s == -__INT_MAX__ - 1 || s == 2 || s == 24 || s == -32
592 || s == (3 << (BITSM1 - 2)) + 2 || s == 5 || s == -5 || s == -63
593 || s == -64 || s == -65 || s == -__INT_MAX__ + 4 || s == -8189
594 || s == -8191 || s == -8192 || s == -8193 || s == -8250
595 || s == -8255 || s == -8256 || s == -8257 || s == -__INT_MAX__ + 7)
596 return;
597 }
598 else
599 {
600 if (s == (0x7000 << BITSH) - 1 || s == __INT_MAX__)
601 return;
602 }
603 abort ();
604 }
605
606 void
607 f20 (int s)
608 {
609 if ((s & (-0x1000 << BITSH)) != -__INT_MAX__ - 1)
610 {
611 if (s == 0 || s == 0x1cbf || s == 0x1cc0 || s == 0x1fff || s == 0x2000
612 || s == 0x20 || s == 0x3cbf || s == 0x3cc0 || s == 0x3f
613 || s == (-0x4000 << BITSH) - 1 || s == (-0x1000 << BITSH) - 1
614 || s == (-0x5fcf << BITSH) - 1 || s == (-0x4041 << BITSH)
615 || s == (-0x4000 << BITSH) || s == (-0x1000 << BITSH)
616 || s == (-0x7000 << BITSH) || s == (-0x4000 << BITSH) + 1 || s == 1
617 || s == -1 || s == -15 || s == -15550 || s == -15552
618 || s == (0x7000 << BITSH) - 1 || s == (0x7000 << BITSH)
619 || s == (1 << (BITSM1 - 2)) || s == (1 << (BITSM1 - 2)) - 1
620 || s == 2 || s == 24 || s == -32 || s == (3 << (BITSM1 - 2)) + 2
621 || s == 5 || s == -5 || s == -63 || s == -64 || s == -65
622 || s == -8189 || s == -8191 || s == -8192 || s == -8193
623 || s == -8250 || s == -8255 || s == -8256 || s == -8257
624 || s == __INT_MAX__)
625 return;
626 }
627 else
628 {
629 if (s == (-0x7000 << BITSH) - 1 || s == -__INT_MAX__ - 1
630 || s == -__INT_MAX__ + 4 || s == -__INT_MAX__ + 7)
631 return;
632 }
633 abort ();
634 }
635
636 void
637 f21 (int s)
638 {
639 if ((s & (-0x1000 << BITSH)) != (-0x1000 << BITSH))
640 {
641 if (s == 0 || s == 0x1cbf || s == 0x1cc0 || s == 0x1fff || s == 0x2000
642 || s == 0x20 || s == 0x3cbf || s == 0x3cc0 || s == 0x3f
643 || s == (-0x4000 << BITSH) - 1 || s == (-0x1000 << BITSH) - 1
644 || s == (-0x7000 << BITSH) - 1 || s == (-0x5fcf << BITSH) - 1
645 || s == (-0x4041 << BITSH) || s == (-0x4000 << BITSH)
646 || s == (-0x7000 << BITSH) || s == (-0x4000 << BITSH) + 1 || s == 1
647 || s == -15550 || s == -15552
648 || s == (0x7000 << BITSH) - 1 || s == (0x7000 << BITSH)
649 || s == (1 << (BITSM1 - 2)) || s == (1 << (BITSM1 - 2)) - 1
650 || s == -__INT_MAX__ - 1 || s == 2 || s == 24
651 || s == (3 << (BITSM1 - 2)) + 2 || s == 5 || s == -__INT_MAX__ + 4
652 || s == -8189 || s == -8191 || s == -8192 || s == -8193
653 || s == -8250 || s == -8255 || s == -8256 || s == -8257
654 || s == __INT_MAX__ || s == -__INT_MAX__ + 7)
655 return;
656 }
657 else
658 {
659 if (s == (-0x1000 << BITSH) || s == -1 || s == -15
660 || s == -32 || s == -5 || s == -63 || s == -64
661 || s == -65)
662 return;
663 }
664 abort ();
665 }
666
667 void
668 f22 (int s)
669 {
670 if ((s & (-0x1000 << BITSH)) != (0x7000 << BITSH))
671 {
672 if (s == 0 || s == 0x1cbf || s == 0x1cc0 || s == 0x1fff || s == 0x2000
673 || s == 0x20 || s == 0x3cbf || s == 0x3cc0 || s == 0x3f
674 || s == (-0x4000 << BITSH) - 1 || s == (-0x1000 << BITSH) - 1
675 || s == (-0x7000 << BITSH) - 1 || s == (-0x5fcf << BITSH) - 1
676 || s == (-0x4041 << BITSH) || s == (-0x4000 << BITSH)
677 || s == (-0x1000 << BITSH) || s == (-0x7000 << BITSH)
678 || s == (-0x4000 << BITSH) + 1 || s == 1 || s == -1 || s == -15
679 || s == -15550 || s == -15552 || s == (0x7000 << BITSH) - 1
680 || s == (1 << (BITSM1 - 2)) || s == (1 << (BITSM1 - 2)) - 1
681 || s == -__INT_MAX__ - 1 || s == 2 || s == 24 || s == -32
682 || s == (3 << (BITSM1 - 2)) + 2 || s == 5 || s == -5 || s == -63
683 || s == -64 || s == -65 || s == -__INT_MAX__ + 4 || s == -8189
684 || s == -8191 || s == -8192 || s == -8193 || s == -8250
685 || s == -8255 || s == -8256 || s == -8257 || s == -__INT_MAX__ + 7)
686 return;
687 }
688 else
689 {
690 if (s == (0x7000 << BITSH) || s == __INT_MAX__)
691 return;
692 }
693 abort ();
694 }
695
696 void
697 f23 (unsigned int s)
698 {
699 if ((s & (0xf000U << BITSH)) != (0x7000 << BITSH))
700 {
701 if (s == 0 || s == 0x1cbf || s == 0x1cc0 || s == 0x1fff || s == 0x2000
702 || s == 0x20 || s == 0x3cbf || s == 0x3cc0 || s == 0x3f
703 || s == (0xc000U << BITSH) - 1 || s == (0xf000U << BITSH) - 1
704 || s == (0x9000U << BITSH) - 1 || s == (0xa031U << BITSH) - 1
705 || s == (0xbfbfU << BITSH) || s == (0xc000U << BITSH)
706 || s == (0xf000U << BITSH) || s == (0x9000U << BITSH)
707 || s == (0xc000U << BITSH) + 1 || s == 1 || s == -1U || s == -15U
708 || s == -15550U || s == -15552U || s == (0x7000 << BITSH) - 1
709 || s == (1 << (BITSM1 - 2)) || s == (1 << (BITSM1 - 2)) - 1
710 || s == 1U + __INT_MAX__ || s == 2 || s == 24 || s == -32U
711 || s == (3 << (BITSM1 - 2)) + 2 || s == 5 || s == -5U || s == -63U
712 || s == -64U || s == -65U || s == 6U + __INT_MAX__ || s == -8189U
713 || s == -8191U || s == -8192U || s == -8193U || s == -8250U
714 || s == -8255U || s == -8256U || s == -8257U
715 || s == __INT_MAX__ + 9U)
716 return;
717 }
718 else
719 {
720 if (s == (0x7000 << BITSH) || s == __INT_MAX__)
721 return;
722 }
723 abort ();
724 }
725
726 void
727 f24 (unsigned int s)
728 {
729 if ((s & (0xf000U << BITSH)) != (0x8000U << BITSH))
730 {
731 if (s == 0 || s == 0x1cbf || s == 0x1cc0 || s == 0x1fff || s == 0x2000
732 || s == 0x20 || s == 0x3cbf || s == 0x3cc0 || s == 0x3f
733 || s == (0xc000U << BITSH) - 1 || s == (0xf000U << BITSH) - 1
734 || s == (0xa031U << BITSH) - 1 || s == (0xbfbfU << BITSH)
735 || s == (0xc000U << BITSH) || s == (0xf000U << BITSH)
736 || s == (0x9000U << BITSH) || s == (0xc000U << BITSH) + 1 || s == 1
737 || s == -1U || s == -15U || s == -15550U || s == -15552U
738 || s == (0x7000 << BITSH) - 1 || s == (0x7000 << BITSH)
739 || s == (1 << (BITSM1 - 2)) || s == (1 << (BITSM1 - 2)) - 1
740 || s == 2 || s == 24 || s == -32U || s == (3 << (BITSM1 - 2)) + 2
741 || s == 5 || s == -5U || s == -63U || s == -64U || s == -65U
742 || s == -8189U || s == -8191U || s == -8192U || s == -8193U
743 || s == -8250U || s == -8255U || s == -8256U || s == -8257U
744 || s == __INT_MAX__)
745 return;
746 }
747 else
748 {
749 if (s == (0x9000U << BITSH) - 1 || s == 1U + __INT_MAX__
750 || s == 6U + __INT_MAX__ || s == __INT_MAX__ + 9U)
751 return;
752 }
753 abort ();
754 }
755
756 /* Make this easier to run on microcontroller architectures by using a switch
757 statements instead of arrays.
758 We still don't want the compiler to constant-propagate the array contents,
759 so use an asm in each accessor function with to hide what's going on. */
760
761 int
762 svals (int i)
763 {
764 asm ("" : "=g" (i) : "0" (i));
765 switch (i)
766 {
767 case 0: return 0;
768 case 1: return 0x1cbf;
769 case 2: return 0x1cc0;
770 case 3: return 0x1fff;
771 case 4: return 0x2000;
772 case 5: return 0x20;
773 case 6: return 0x3cbf;
774 case 7: return 0x3cc0;
775 case 8: return 0x3f;
776 case 9: return (-0x4000 << BITSH) - 1;
777 case 10: return (-0x1000 << BITSH) - 1;
778 case 11: return (-0x7000 << BITSH) - 1;
779 case 12: return (-0x5fcf << BITSH) - 1;
780 case 13: return (-0x4041 << BITSH);
781 case 14: return (-0x4000 << BITSH);
782 case 15: return (-0x1000 << BITSH);
783 case 16: return (-0x7000 << BITSH);
784 case 17: return (-0x4000 << BITSH) + 1;
785 case 18: return 1;
786 case 19: return -1;
787 case 20: return -15;
788 case 21: return -15550;
789 case 22: return -15552;
790 case 23: return (0x7000 << BITSH) - 1;
791 case 24: return (0x7000 << BITSH);
792 case 25: return (1 << (BITSM1 - 2));
793 case 26: return (1 << (BITSM1 - 2)) - 1;
794 case 27: return -__INT_MAX__ - 1;
795 case 28: return 2;
796 case 29: return 24;
797 case 30: return -32;
798 case 31: return (3 << (BITSM1 - 2)) + 2;
799 case 32: return 5;
800 case 33: return -5;
801 case 34: return -63;
802 case 35: return -64;
803 case 36: return -65;
804 case 37: return -__INT_MAX__ + 4;
805 case 38: return -8189;
806 case 39: return -8191;
807 case 40: return -8192;
808 case 41: return -8193;
809 case 42: return -8250;
810 case 43: return -8255;
811 case 44: return -8256;
812 case 45: return -8257;
813 case 46: return __INT_MAX__;
814 case 47: return -__INT_MAX__ + 7;
815 #define SVAL_NUM 48
816 default: abort ();
817 }
818 };
819
820 unsigned int
821 uvals (int i)
822 {
823 asm ("" : "=g" (i) : "0" (i));
824 switch (i)
825 {
826 case 0: return 0;
827 case 1: return 0x1cbf;
828 case 2: return 0x1cc0;
829 case 3: return 0x1fff;
830 case 4: return 0x2000;
831 case 5: return 0x20;
832 case 6: return 0x3cbf;
833 case 7: return 0x3cc0;
834 case 8: return 0x3f;
835 case 9: return (0xc000U << BITSH) - 1;
836 case 10: return (0xf000U << BITSH) - 1;
837 case 11: return (0x9000U << BITSH) - 1;
838 case 12: return (0xa031U << BITSH) - 1;
839 case 13: return (0xbfbfU << BITSH);
840 case 14: return (0xc000U << BITSH);
841 case 15: return (0xf000U << BITSH);
842 case 16: return (0x9000U << BITSH);
843 case 17: return (0xc000U << BITSH) + 1;
844 case 18: return 1;
845 case 19: return -1U;
846 case 20: return -15U;
847 case 21: return -15550U;
848 case 22: return -15552U;
849 case 23: return (0x7000 << BITSH) - 1;
850 case 24: return (0x7000 << BITSH);
851 case 25: return (1 << (BITSM1 - 2));
852 case 26: return (1 << (BITSM1 - 2)) - 1;
853 case 27: return 1U + __INT_MAX__;
854 case 28: return 2;
855 case 29: return 24;
856 case 30: return -32U;
857 case 31: return (3 << (BITSM1 - 2)) + 2;
858 case 32: return 5;
859 case 33: return -5U;
860 case 34: return -63U;
861 case 35: return -64U;
862 case 36: return -65U;
863 case 37: return 6U + __INT_MAX__;
864 case 38: return -8189U;
865 case 39: return -8191U;
866 case 40: return -8192U;
867 case 41: return -8193U;
868 case 42: return -8250U;
869 case 43: return -8255U;
870 case 44: return -8256U;
871 case 45: return -8257U;
872 case 46: return __INT_MAX__;
873 case 47: return __INT_MAX__ + 9U;
874 #define UVAL_NUM 48
875 default: abort ();
876 }
877 };
878
879 int
880 main ()
881 {
882 int i;
883 for (i = 0; i < SVAL_NUM; i++)
884 {
885 f2 (svals (i));
886 f4 (svals (i));
887 f5 (svals (i));
888 f7 (svals (i));
889 f8 (svals (i));
890 f11 (svals (i));
891 f12 (svals (i));
892 f15 (svals (i));
893 f16 (svals (i));
894 f17 (svals (i));
895 f18 (svals (i));
896 f19 (svals (i));
897 f20 (svals (i));
898 f21 (svals (i));
899 f22 (svals (i));
900 }
901 for (i = 0; i < UVAL_NUM; i++)
902 {
903 f1 (uvals (i));
904 f3 (uvals (i));
905 f6 (uvals (i));
906 f9 (uvals (i));
907 f10 (uvals (i));
908 f13 (uvals (i));
909 f14 (uvals (i));
910 f23 (uvals (i));
911 f24 (uvals (i));
912 }
913 return 0;
914 }