OpenCores
URL https://opencores.org/ocsvn/openrisc/openrisc/trunk

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-old/] [gcc-4.2.2/] [gcc/] [testsuite/] [gcc.c-torture/] [execute/] [conversion.c] - Blame information for rev 816

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 149 jeremybenn 
/* Test front-end conversions, optimizer conversions, and run-time
2 
   conversions between different arithmetic types.
3 
 
4 
   Constants are specified in a non-obvious way to make them work for
5 
   any word size.  Their value on a 32-bit machine is indicated in the
6 
   comments.
7 
 
8 
   Note that this code is NOT intended for testing of accuracy of fp
9 
   conversions.  */
10 
 
11 
float
12 
u2f(u)
13 
     unsigned int u;
14 
{
15 
  return u;
16 
}
17 
 
18 
double
19 
u2d(u)
20 
     unsigned int u;
21 
{
22 
  return u;
23 
}
24 
 
25 
long double
26 
u2ld(u)
27 
     unsigned int u;
28 
{
29 
  return u;
30 
}
31 
 
32 
float
33 
s2f(s)
34 
     int s;
35 
{
36 
  return s;
37 
}
38 
 
39 
double
40 
s2d(s)
41 
     int s;
42 
{
43 
  return s;
44 
}
45 
 
46 
long double
47 
s2ld(s)
48 
     int s;
49 
{
50 
  return s;
51 
}
52 
 
53 
int
54 
fnear (float x, float y)
55 
{
56 
  float t = x - y;
57 
  return t == 0 || x / t > 1000000.0;
58 
}
59 
 
60 
int
61 
dnear (double x, double y)
62 
{
63 
  double t = x - y;
64 
  return t == 0 || x / t > 100000000000000.0;
65 
}
66 
 
67 
int
68 
ldnear (long double x, long double y)
69 
{
70 
  long double t = x - y;
71 
  return t == 0 || x / t > 100000000000000000000000000000000.0;
72 
}
73 
 
74 
test_integer_to_float()
75 
{
76 
  if (u2f(0U) != (float) 0U)                            /* 0 */
77 
    abort();
78 
  if (!fnear (u2f(~0U), (float) ~0U))                   /* 0xffffffff */
79 
    abort();
80 
  if (!fnear (u2f((~0U) >> 1), (float) ((~0U) >> 1)))   /* 0x7fffffff */
81 
    abort();
82 
  if (u2f(~((~0U) >> 1)) != (float) ~((~0U) >> 1))      /* 0x80000000 */
83 
    abort();
84 
 
85 
  if (u2d(0U) != (double) 0U)                           /* 0 */
86 
    abort();
87 
  if (!dnear (u2d(~0U), (double) ~0U))                  /* 0xffffffff */
88 
    abort();
89 
  if (!dnear (u2d((~0U) >> 1),(double) ((~0U) >> 1)))   /* 0x7fffffff */
90 
    abort();
91 
  if (u2d(~((~0U) >> 1)) != (double) ~((~0U) >> 1))     /* 0x80000000 */
92 
    abort();
93 
 
94 
  if (u2ld(0U) != (long double) 0U)                     /* 0 */
95 
    abort();
96 
  if (!ldnear (u2ld(~0U), (long double) ~0U))           /* 0xffffffff */
97 
    abort();
98 
  if (!ldnear (u2ld((~0U) >> 1),(long double) ((~0U) >> 1)))    /* 0x7fffffff */
99 
    abort();
100 
  if (u2ld(~((~0U) >> 1)) != (long double) ~((~0U) >> 1))       /* 0x80000000 */
101 
    abort();
102 
 
103 
  if (s2f(0) != (float) 0)                                /* 0 */
104 
    abort();
105 
  if (!fnear (s2f(~0), (float) ~0))                       /* 0xffffffff */
106 
    abort();
107 
  if (!fnear (s2f((int)((~0U) >> 1)), (float)(int)((~0U) >> 1))) /* 0x7fffffff */
108 
    abort();
109 
  if (s2f((int)(~((~0U) >> 1))) != (float)(int)~((~0U) >> 1)) /* 0x80000000 */
110 
    abort();
111 
 
112 
  if (s2d(0) != (double) 0)                               /* 0 */
113 
    abort();
114 
  if (!dnear (s2d(~0), (double) ~0))                      /* 0xffffffff */
115 
    abort();
116 
  if (!dnear (s2d((int)((~0U) >> 1)), (double)(int)((~0U) >> 1))) /* 0x7fffffff */
117 
    abort();
118 
  if (s2d((int)~((~0U) >> 1)) != (double)(int)~((~0U) >> 1)) /* 0x80000000 */
119 
    abort();
120 
 
121 
  if (s2ld(0) != (long double) 0)                 /* 0 */
122 
    abort();
123 
  if (!ldnear (s2ld(~0), (long double) ~0))               /* 0xffffffff */
124 
    abort();
125 
  if (!ldnear (s2ld((int)((~0U) >> 1)), (long double)(int)((~0U) >> 1))) /* 0x7fffffff */
126 
    abort();
127 
  if (s2ld((int)~((~0U) >> 1)) != (long double)(int)~((~0U) >> 1)) /* 0x80000000 */
128 
    abort();
129 
}
130 
 
131 
#if __GNUC__
132 
float
133 
ull2f(u)
134 
     unsigned long long int u;
135 
{
136 
  return u;
137 
}
138 
 
139 
double
140 
ull2d(u)
141 
     unsigned long long int u;
142 
{
143 
  return u;
144 
}
145 
 
146 
long double
147 
ull2ld(u)
148 
     unsigned long long int u;
149 
{
150 
  return u;
151 
}
152 
 
153 
float
154 
sll2f(s)
155 
     long long int s;
156 
{
157 
  return s;
158 
}
159 
 
160 
double
161 
sll2d(s)
162 
     long long int s;
163 
{
164 
  return s;
165 
}
166 
 
167 
long double
168 
sll2ld(s)
169 
     long long int s;
170 
{
171 
  return s;
172 
}
173 
 
174 
test_longlong_integer_to_float()
175 
{
176 
  if (ull2f(0ULL) != (float) 0ULL)                      /* 0 */
177 
    abort();
178 
  if (ull2f(~0ULL) != (float) ~0ULL)                    /* 0xffffffff */
179 
    abort();
180 
  if (ull2f((~0ULL) >> 1) != (float) ((~0ULL) >> 1))    /* 0x7fffffff */
181 
    abort();
182 
  if (ull2f(~((~0ULL) >> 1)) != (float) ~((~0ULL) >> 1)) /* 0x80000000 */
183 
    abort();
184 
 
185 
  if (ull2d(0ULL) != (double) 0ULL)                     /* 0 */
186 
    abort();
187 
#if __HAVE_68881__
188 
  /* Some 68881 targets return values in fp0, with excess precision.
189 
     But the compile-time conversion to double works correctly.  */
190 
  if (! dnear (ull2d(~0ULL), (double) ~0ULL))           /* 0xffffffff */
191 
    abort();
192 
  if (! dnear (ull2d((~0ULL) >> 1), (double) ((~0ULL) >> 1))) /* 0x7fffffff */
193 
    abort();
194 
#else
195 
  if (ull2d(~0ULL) != (double) ~0ULL)                   /* 0xffffffff */
196 
    abort();
197 
  if (ull2d((~0ULL) >> 1) != (double) ((~0ULL) >> 1))   /* 0x7fffffff */
198 
    abort();
199 
#endif
200 
  if (ull2d(~((~0ULL) >> 1)) != (double) ~((~0ULL) >> 1)) /* 0x80000000 */
201 
    abort();
202 
 
203 
  if (ull2ld(0ULL) != (long double) 0ULL)               /* 0 */
204 
    abort();
205 
  if (ull2ld(~0ULL) != (long double) ~0ULL)             /* 0xffffffff */
206 
    abort();
207 
  if (ull2ld((~0ULL) >> 1) != (long double) ((~0ULL) >> 1))     /* 0x7fffffff */
208 
    abort();
209 
  if (ull2ld(~((~0ULL) >> 1)) != (long double) ~((~0ULL) >> 1)) /* 0x80000000 */
210 
    abort();
211 
 
212 
  if (sll2f(0LL) != (float) 0LL)                        /* 0 */
213 
    abort();
214 
  if (sll2f(~0LL) != (float) ~0LL)                      /* 0xffffffff */
215 
    abort();
216 
  if (! fnear (sll2f((long long int)((~0ULL) >> 1)), (float)(long long int)((~0ULL) >> 1))) /* 0x7fffffff */
217 
    abort();
218 
  if (sll2f((long long int)(~((~0ULL) >> 1))) != (float)(long long int)~((~0ULL) >> 1)) /* 0x80000000 */
219 
    abort();
220 
 
221 
  if (sll2d(0LL) != (double) 0LL)                       /* 0 */
222 
    abort();
223 
  if (sll2d(~0LL) != (double) ~0LL)                     /* 0xffffffff */
224 
    abort();
225 
  if (!dnear (sll2d((long long int)((~0ULL) >> 1)), (double)(long long int)((~0ULL) >> 1))) /* 0x7fffffff */
226 
    abort();
227 
  if (! dnear (sll2d((long long int)~((~0ULL) >> 1)), (double)(long long int)~((~0ULL) >> 1))) /* 0x80000000 */
228 
    abort();
229 
 
230 
  if (sll2ld(0LL) != (long double) 0LL)                 /* 0 */
231 
    abort();
232 
  if (sll2ld(~0LL) != (long double) ~0LL)               /* 0xffffffff */
233 
    abort();
234 
  if (!ldnear (sll2ld((long long int)((~0ULL) >> 1)), (long double)(long long int)((~0ULL) >> 1))) /* 0x7fffffff */
235 
    abort();
236 
  if (! ldnear (sll2ld((long long int)~((~0ULL) >> 1)), (long double)(long long int)~((~0ULL) >> 1))) /* 0x80000000 */
237 
    abort();
238 
}
239 
#endif
240 
 
241 
unsigned int
242 
f2u(float f)
243 
{
244 
  return (unsigned) f;
245 
}
246 
 
247 
unsigned int
248 
d2u(double d)
249 
{
250 
  return (unsigned) d;
251 
}
252 
 
253 
unsigned int
254 
ld2u(long double d)
255 
{
256 
  return (unsigned) d;
257 
}
258 
 
259 
int
260 
f2s(float f)
261 
{
262 
  return (int) f;
263 
}
264 
 
265 
int
266 
d2s(double d)
267 
{
268 
  return (int) d;
269 
}
270 
 
271 
int
272 
ld2s(long double d)
273 
{
274 
  return (int) d;
275 
}
276 
 
277 
test_float_to_integer()
278 
{
279 
  if (f2u(0.0) != 0)
280 
    abort();
281 
  if (f2u(0.999) != 0)
282 
    abort();
283 
  if (f2u(1.0) != 1)
284 
    abort();
285 
  if (f2u(1.99) != 1)
286 
    abort();
287 
  if (f2u((float) ((~0U) >> 1)) != (~0U) >> 1 &&        /* 0x7fffffff */
288 
      f2u((float) ((~0U) >> 1)) != ((~0U) >> 1) + 1)
289 
    abort();
290 
  if (f2u((float) ~((~0U) >> 1)) != ~((~0U) >> 1))      /* 0x80000000 */
291 
    abort();
292 
 
293 
 /* These tests require double precision, so for hosts that don't offer
294 
    that much precision, just ignore these test.  */
295 
 if (sizeof (double) >= 8) {
296 
  if (d2u(0.0) != 0)
297 
    abort();
298 
  if (d2u(0.999) != 0)
299 
    abort();
300 
  if (d2u(1.0) != 1)
301 
    abort();
302 
  if (d2u(1.99) != 1)
303 
    abort();
304 
  if (d2u((double) (~0U)) != ~0U)                       /* 0xffffffff */
305 
    abort();
306 
  if (d2u((double) ((~0U) >> 1)) != (~0U) >> 1)         /* 0x7fffffff */
307 
    abort();
308 
  if (d2u((double) ~((~0U) >> 1)) != ~((~0U) >> 1))     /* 0x80000000 */
309 
    abort();
310 
 }
311 
 
312 
 /* These tests require long double precision, so for hosts that don't offer
313 
    that much precision, just ignore these test.  */
314 
 if (sizeof (long double) >= 8) {
315 
  if (ld2u(0.0) != 0)
316 
    abort();
317 
  if (ld2u(0.999) != 0)
318 
    abort();
319 
  if (ld2u(1.0) != 1)
320 
    abort();
321 
  if (ld2u(1.99) != 1)
322 
    abort();
323 
  if (ld2u((long double) (~0U)) != ~0U)                 /* 0xffffffff */
324 
    abort();
325 
  if (ld2u((long double) ((~0U) >> 1)) != (~0U) >> 1)   /* 0x7fffffff */
326 
    abort();
327 
  if (ld2u((long double) ~((~0U) >> 1)) != ~((~0U) >> 1))       /* 0x80000000 */
328 
    abort();
329 
 }
330 
 
331 
  if (f2s(0.0) != 0)
332 
    abort();
333 
  if (f2s(0.999) != 0)
334 
    abort();
335 
  if (f2s(1.0) != 1)
336 
    abort();
337 
  if (f2s(1.99) != 1)
338 
    abort();
339 
  if (f2s(-0.999) != 0)
340 
    abort();
341 
  if (f2s(-1.0) != -1)
342 
    abort();
343 
  if (f2s(-1.99) != -1)
344 
    abort();
345 
  if (f2s((float)(int)~((~0U) >> 1)) != (int)~((~0U) >> 1)) /* 0x80000000 */
346 
    abort();
347 
 
348 
 /* These tests require double precision, so for hosts that don't offer
349 
    that much precision, just ignore these test.  */
350 
 if (sizeof (double) >= 8) {
351 
  if (d2s(0.0) != 0)
352 
    abort();
353 
  if (d2s(0.999) != 0)
354 
    abort();
355 
  if (d2s(1.0) != 1)
356 
    abort();
357 
  if (d2s(1.99) != 1)
358 
    abort();
359 
  if (d2s(-0.999) != 0)
360 
    abort();
361 
  if (d2s(-1.0) != -1)
362 
    abort();
363 
  if (d2s(-1.99) != -1)
364 
    abort();
365 
  if (d2s((double) ((~0U) >> 1)) != (~0U) >> 1)         /* 0x7fffffff */
366 
    abort();
367 
  if (d2s((double)(int)~((~0U) >> 1)) != (int)~((~0U) >> 1)) /* 0x80000000 */
368 
    abort();
369 
 }
370 
 
371 
 /* These tests require long double precision, so for hosts that don't offer
372 
    that much precision, just ignore these test.  */
373 
 if (sizeof (long double) >= 8) {
374 
  if (ld2s(0.0) != 0)
375 
    abort();
376 
  if (ld2s(0.999) != 0)
377 
    abort();
378 
  if (ld2s(1.0) != 1)
379 
    abort();
380 
  if (ld2s(1.99) != 1)
381 
    abort();
382 
  if (ld2s(-0.999) != 0)
383 
    abort();
384 
  if (ld2s(-1.0) != -1)
385 
    abort();
386 
  if (ld2s(-1.99) != -1)
387 
    abort();
388 
  if (ld2s((long double) ((~0U) >> 1)) != (~0U) >> 1)           /* 0x7fffffff */
389 
    abort();
390 
  if (ld2s((long double)(int)~((~0U) >> 1)) != (int)~((~0U) >> 1)) /* 0x80000000 */
391 
    abort();
392 
 }
393 
}
394 
 
395 
#if __GNUC__
396 
unsigned long long int
397 
f2ull(float f)
398 
{
399 
  return (unsigned long long int) f;
400 
}
401 
 
402 
unsigned long long int
403 
d2ull(double d)
404 
{
405 
  return (unsigned long long int) d;
406 
}
407 
 
408 
unsigned long long int
409 
ld2ull(long double d)
410 
{
411 
  return (unsigned long long int) d;
412 
}
413 
 
414 
long long int
415 
f2sll(float f)
416 
{
417 
  return (long long int) f;
418 
}
419 
 
420 
long long int
421 
d2sll(double d)
422 
{
423 
  return (long long int) d;
424 
}
425 
 
426 
long long int
427 
ld2sll(long double d)
428 
{
429 
  return (long long int) d;
430 
}
431 
 
432 
test_float_to_longlong_integer()
433 
{
434 
  if (f2ull(0.0) != 0LL)
435 
    abort();
436 
  if (f2ull(0.999) != 0LL)
437 
    abort();
438 
  if (f2ull(1.0) != 1LL)
439 
    abort();
440 
  if (f2ull(1.99) != 1LL)
441 
    abort();
442 
  if (f2ull((float) ((~0ULL) >> 1)) != (~0ULL) >> 1 &&  /* 0x7fffffff */
443 
      f2ull((float) ((~0ULL) >> 1)) != ((~0ULL) >> 1) + 1)
444 
    abort();
445 
  if (f2ull((float) ~((~0ULL) >> 1)) != ~((~0ULL) >> 1)) /* 0x80000000 */
446 
    abort();
447 
 
448 
  if (d2ull(0.0) != 0LL)
449 
    abort();
450 
  if (d2ull(0.999) != 0LL)
451 
    abort();
452 
  if (d2ull(1.0) != 1LL)
453 
    abort();
454 
  if (d2ull(1.99) != 1LL)
455 
    abort();
456 
  if (d2ull((double) ((~0ULL) >> 1)) != (~0ULL) >> 1 && /* 0x7fffffff */
457 
      d2ull((double) ((~0ULL) >> 1)) != ((~0ULL) >> 1) + 1)
458 
    abort();
459 
  if (d2ull((double) ~((~0ULL) >> 1)) != ~((~0ULL) >> 1)) /* 0x80000000 */
460 
    abort();
461 
 
462 
  if (ld2ull(0.0) != 0LL)
463 
    abort();
464 
  if (ld2ull(0.999) != 0LL)
465 
    abort();
466 
  if (ld2ull(1.0) != 1LL)
467 
    abort();
468 
  if (ld2ull(1.99) != 1LL)
469 
    abort();
470 
  if (ld2ull((long double) ((~0ULL) >> 1)) != (~0ULL) >> 1 &&   /* 0x7fffffff */
471 
      ld2ull((long double) ((~0ULL) >> 1)) != ((~0ULL) >> 1) + 1)
472 
    abort();
473 
  if (ld2ull((long double) ~((~0ULL) >> 1)) != ~((~0ULL) >> 1)) /* 0x80000000 */
474 
    abort();
475 
 
476 
 
477 
  if (f2sll(0.0) != 0LL)
478 
    abort();
479 
  if (f2sll(0.999) != 0LL)
480 
    abort();
481 
  if (f2sll(1.0) != 1LL)
482 
    abort();
483 
  if (f2sll(1.99) != 1LL)
484 
    abort();
485 
  if (f2sll(-0.999) != 0LL)
486 
    abort();
487 
  if (f2sll(-1.0) != -1LL)
488 
    abort();
489 
  if (f2sll(-1.99) != -1LL)
490 
    abort();
491 
  if (f2sll((float)(long long int)~((~0ULL) >> 1)) != (long long int)~((~0ULL) >> 1)) /* 0x80000000 */
492 
    abort();
493 
 
494 
  if (d2sll(0.0) != 0LL)
495 
    abort();
496 
  if (d2sll(0.999) != 0LL)
497 
    abort();
498 
  if (d2sll(1.0) != 1LL)
499 
    abort();
500 
  if (d2sll(1.99) != 1LL)
501 
    abort();
502 
  if (d2sll(-0.999) != 0LL)
503 
    abort();
504 
  if (d2sll(-1.0) != -1LL)
505 
    abort();
506 
  if (d2sll(-1.99) != -1LL)
507 
    abort();
508 
  if (d2sll((double)(long long int)~((~0ULL) >> 1)) != (long long int)~((~0ULL) >> 1)) /* 0x80000000 */
509 
    abort();
510 
 
511 
  if (ld2sll(0.0) != 0LL)
512 
    abort();
513 
  if (ld2sll(0.999) != 0LL)
514 
    abort();
515 
  if (ld2sll(1.0) != 1LL)
516 
    abort();
517 
  if (ld2sll(1.99) != 1LL)
518 
    abort();
519 
  if (ld2sll(-0.999) != 0LL)
520 
    abort();
521 
  if (ld2sll(-1.0) != -1LL)
522 
    abort();
523 
  if (ld2sll(-1.99) != -1LL)
524 
    abort();
525 
  if (ld2sll((long double)(long long int)~((~0ULL) >> 1)) != (long long int)~((~0ULL) >> 1)) /* 0x80000000 */
526 
    abort();
527 
}
528 
#endif
529 
 
530 
main()
531 
{
532 
  test_integer_to_float();
533 
  test_float_to_integer();
534 
#if __GNUC__
535 
  test_longlong_integer_to_float();
536 
  test_float_to_longlong_integer();
537 
#endif
538 
  exit(0);
539 
}

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.