1 /* Copyright (C) 2002 Free Software Foundation.
2
3 Test that (A & C1) op C2 optimizations behave correctly where C1 is
4 a constant power of 2, op is == or !=, and C2 is C1 or zero.
5
6 Written by Roger Sayle, 5th May 2002. */
7
8 #include <limits.h>
9
10 extern void abort (void);
11
12 void test1 (signed char c, int set);
13 void test2 (unsigned char c, int set);
14 void test3 (short s, int set);
15 void test4 (unsigned short s, int set);
16 void test5 (int i, int set);
17 void test6 (unsigned int i, int set);
18 void test7 (long long l, int set);
19 void test8 (unsigned long long l, int set);
20
21 #ifndef LONG_LONG_MAX
22 #define LONG_LONG_MAX __LONG_LONG_MAX__
23 #endif
24 #ifndef LONG_LONG_MIN
25 #define LONG_LONG_MIN (-LONG_LONG_MAX-1)
26 #endif
27 #ifndef ULONG_LONG_MAX
28 #define ULONG_LONG_MAX (LONG_LONG_MAX * 2ULL + 1)
29 #endif
30
31
32 void
33 test1 (signed char c, int set)
34 {
35 if ((c & (SCHAR_MAX+1)) == 0)
36 {
37 if (set) abort ();
38 }
39 else
40 if (!set) abort ();
41
42 if ((c & (SCHAR_MAX+1)) != 0)
43 {
44 if (!set) abort ();
45 }
46 else
47 if (set) abort ();
48
49 if ((c & (SCHAR_MAX+1)) == (SCHAR_MAX+1))
50 {
51 if (!set) abort ();
52 }
53 else
54 if (set) abort ();
55
56 if ((c & (SCHAR_MAX+1)) != (SCHAR_MAX+1))
57 {
58 if (set) abort ();
59 }
60 else
61 if (!set) abort ();
62 }
63
64 void
65 test2 (unsigned char c, int set)
66 {
67 if ((c & (SCHAR_MAX+1)) == 0)
68 {
69 if (set) abort ();
70 }
71 else
72 if (!set) abort ();
73
74 if ((c & (SCHAR_MAX+1)) != 0)
75 {
76 if (!set) abort ();
77 }
78 else
79 if (set) abort ();
80
81 if ((c & (SCHAR_MAX+1)) == (SCHAR_MAX+1))
82 {
83 if (!set) abort ();
84 }
85 else
86 if (set) abort ();
87
88 if ((c & (SCHAR_MAX+1)) != (SCHAR_MAX+1))
89 {
90 if (set) abort ();
91 }
92 else
93 if (!set) abort ();
94 }
95
96 void
97 test3 (short s, int set)
98 {
99 if ((s & (SHRT_MAX+1)) == 0)
100 {
101 if (set) abort ();
102 }
103 else
104 if (!set) abort ();
105
106 if ((s & (SHRT_MAX+1)) != 0)
107 {
108 if (!set) abort ();
109 }
110 else
111 if (set) abort ();
112
113 if ((s & (SHRT_MAX+1)) == (SHRT_MAX+1))
114 {
115 if (!set) abort ();
116 }
117 else
118 if (set) abort ();
119
120 if ((s & (SHRT_MAX+1)) != (SHRT_MAX+1))
121 {
122 if (set) abort ();
123 }
124 else
125 if (!set) abort ();
126 }
127
128 void
129 test4 (unsigned short s, int set)
130 {
131 if ((s & (SHRT_MAX+1)) == 0)
132 {
133 if (set) abort ();
134 }
135 else
136 if (!set) abort ();
137
138 if ((s & (SHRT_MAX+1)) != 0)
139 {
140 if (!set) abort ();
141 }
142 else
143 if (set) abort ();
144
145 if ((s & (SHRT_MAX+1)) == (SHRT_MAX+1))
146 {
147 if (!set) abort ();
148 }
149 else
150 if (set) abort ();
151
152 if ((s & (SHRT_MAX+1)) != (SHRT_MAX+1))
153 {
154 if (set) abort ();
155 }
156 else
157 if (!set) abort ();
158 }
159
160 void
161 test5 (int i, int set)
162 {
163 if ((i & (INT_MAX+1U)) == 0)
164 {
165 if (set) abort ();
166 }
167 else
168 if (!set) abort ();
169
170 if ((i & (INT_MAX+1U)) != 0)
171 {
172 if (!set) abort ();
173 }
174 else
175 if (set) abort ();
176
177 if ((i & (INT_MAX+1U)) == (INT_MAX+1U))
178 {
179 if (!set) abort ();
180 }
181 else
182 if (set) abort ();
183
184 if ((i & (INT_MAX+1U)) != (INT_MAX+1U))
185 {
186 if (set) abort ();
187 }
188 else
189 if (!set) abort ();
190 }
191
192 void
193 test6 (unsigned int i, int set)
194 {
195 if ((i & (INT_MAX+1U)) == 0)
196 {
197 if (set) abort ();
198 }
199 else
200 if (!set) abort ();
201
202 if ((i & (INT_MAX+1U)) != 0)
203 {
204 if (!set) abort ();
205 }
206 else
207 if (set) abort ();
208
209 if ((i & (INT_MAX+1U)) == (INT_MAX+1U))
210 {
211 if (!set) abort ();
212 }
213 else
214 if (set) abort ();
215
216 if ((i & (INT_MAX+1U)) != (INT_MAX+1U))
217 {
218 if (set) abort ();
219 }
220 else
221 if (!set) abort ();
222 }
223
224 void
225 test7 (long long l, int set)
226 {
227 if ((l & (LONG_LONG_MAX+1ULL)) == 0)
228 {
229 if (set) abort ();
230 }
231 else
232 if (!set) abort ();
233
234 if ((l & (LONG_LONG_MAX+1ULL)) != 0)
235 {
236 if (!set) abort ();
237 }
238 else
239 if (set) abort ();
240
241 if ((l & (LONG_LONG_MAX+1ULL)) == (LONG_LONG_MAX+1ULL))
242 {
243 if (!set) abort ();
244 }
245 else
246 if (set) abort ();
247
248 if ((l & (LONG_LONG_MAX+1ULL)) != (LONG_LONG_MAX+1ULL))
249 {
250 if (set) abort ();
251 }
252 else
253 if (!set) abort ();
254 }
255
256 void
257 test8 (unsigned long long l, int set)
258 {
259 if ((l & (LONG_LONG_MAX+1ULL)) == 0)
260 {
261 if (set) abort ();
262 }
263 else
264 if (!set) abort ();
265
266 if ((l & (LONG_LONG_MAX+1ULL)) != 0)
267 {
268 if (!set) abort ();
269 }
270 else
271 if (set) abort ();
272
273 if ((l & (LONG_LONG_MAX+1ULL)) == (LONG_LONG_MAX+1ULL))
274 {
275 if (!set) abort ();
276 }
277 else
278 if (set) abort ();
279
280 if ((l & (LONG_LONG_MAX+1ULL)) != (LONG_LONG_MAX+1ULL))
281 {
282 if (set) abort ();
283 }
284 else
285 if (!set) abort ();
286 }
287
288 int
289 main ()
290 {
291 test1 (0, 0);
292 test1 (SCHAR_MAX, 0);
293 test1 (SCHAR_MIN, 1);
294 test1 (UCHAR_MAX, 1);
295
296 test2 (0, 0);
297 test2 (SCHAR_MAX, 0);
298 test2 (SCHAR_MIN, 1);
299 test2 (UCHAR_MAX, 1);
300
301 test3 (0, 0);
302 test3 (SHRT_MAX, 0);
303 test3 (SHRT_MIN, 1);
304 test3 (USHRT_MAX, 1);
305
306 test4 (0, 0);
307 test4 (SHRT_MAX, 0);
308 test4 (SHRT_MIN, 1);
309 test4 (USHRT_MAX, 1);
310
311 test5 (0, 0);
312 test5 (INT_MAX, 0);
313 test5 (INT_MIN, 1);
314 test5 (UINT_MAX, 1);
315
316 test6 (0, 0);
317 test6 (INT_MAX, 0);
318 test6 (INT_MIN, 1);
319 test6 (UINT_MAX, 1);
320
321 test7 (0, 0);
322 test7 (LONG_LONG_MAX, 0);
323 test7 (LONG_LONG_MIN, 1);
324 test7 (ULONG_LONG_MAX, 1);
325
326 test8 (0, 0);
327 test8 (LONG_LONG_MAX, 0);
328 test8 (LONG_LONG_MIN, 1);
329 test8 (ULONG_LONG_MAX, 1);
330
331 return 0;
332 }
333