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