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

Subversion Repositories openrisc_me

[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.5.1/] [gcc/] [testsuite/] [gcc.c-torture/] [execute/] [conversion.c] - Blame information for rev 297

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 297 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
#ifdef __SPU__
288
  /* SPU float rounds towards zero.  */
289
  if (f2u((float) ((~0U) >> 1)) != 0x7fffff80)
290
    abort();
291
#else
292
  if (f2u((float) ((~0U) >> 1)) != (~0U) >> 1 &&        /* 0x7fffffff */
293
      f2u((float) ((~0U) >> 1)) != ((~0U) >> 1) + 1)
294
    abort();
295
#endif
296
  if (f2u((float) ~((~0U) >> 1)) != ~((~0U) >> 1))      /* 0x80000000 */
297
    abort();
298
 
299
 /* These tests require double precision, so for hosts that don't offer
300
    that much precision, just ignore these test.  */
301
 if (sizeof (double) >= 8) {
302
  if (d2u(0.0) != 0)
303
    abort();
304
  if (d2u(0.999) != 0)
305
    abort();
306
  if (d2u(1.0) != 1)
307
    abort();
308
  if (d2u(1.99) != 1)
309
    abort();
310
  if (d2u((double) (~0U)) != ~0U)                       /* 0xffffffff */
311
    abort();
312
  if (d2u((double) ((~0U) >> 1)) != (~0U) >> 1)         /* 0x7fffffff */
313
    abort();
314
  if (d2u((double) ~((~0U) >> 1)) != ~((~0U) >> 1))     /* 0x80000000 */
315
    abort();
316
 }
317
 
318
 /* These tests require long double precision, so for hosts that don't offer
319
    that much precision, just ignore these test.  */
320
 if (sizeof (long double) >= 8) {
321
  if (ld2u(0.0) != 0)
322
    abort();
323
  if (ld2u(0.999) != 0)
324
    abort();
325
  if (ld2u(1.0) != 1)
326
    abort();
327
  if (ld2u(1.99) != 1)
328
    abort();
329
  if (ld2u((long double) (~0U)) != ~0U)                 /* 0xffffffff */
330
    abort();
331
  if (ld2u((long double) ((~0U) >> 1)) != (~0U) >> 1)   /* 0x7fffffff */
332
    abort();
333
  if (ld2u((long double) ~((~0U) >> 1)) != ~((~0U) >> 1))       /* 0x80000000 */
334
    abort();
335
 }
336
 
337
  if (f2s(0.0) != 0)
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(-0.999) != 0)
346
    abort();
347
  if (f2s(-1.0) != -1)
348
    abort();
349
  if (f2s(-1.99) != -1)
350
    abort();
351
  if (f2s((float)(int)~((~0U) >> 1)) != (int)~((~0U) >> 1)) /* 0x80000000 */
352
    abort();
353
 
354
 /* These tests require double precision, so for hosts that don't offer
355
    that much precision, just ignore these test.  */
356
 if (sizeof (double) >= 8) {
357
  if (d2s(0.0) != 0)
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(-0.999) != 0)
366
    abort();
367
  if (d2s(-1.0) != -1)
368
    abort();
369
  if (d2s(-1.99) != -1)
370
    abort();
371
  if (d2s((double) ((~0U) >> 1)) != (~0U) >> 1)         /* 0x7fffffff */
372
    abort();
373
  if (d2s((double)(int)~((~0U) >> 1)) != (int)~((~0U) >> 1)) /* 0x80000000 */
374
    abort();
375
 }
376
 
377
 /* These tests require long double precision, so for hosts that don't offer
378
    that much precision, just ignore these test.  */
379
 if (sizeof (long double) >= 8) {
380
  if (ld2s(0.0) != 0)
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(-0.999) != 0)
389
    abort();
390
  if (ld2s(-1.0) != -1)
391
    abort();
392
  if (ld2s(-1.99) != -1)
393
    abort();
394
  if (ld2s((long double) ((~0U) >> 1)) != (~0U) >> 1)           /* 0x7fffffff */
395
    abort();
396
  if (ld2s((long double)(int)~((~0U) >> 1)) != (int)~((~0U) >> 1)) /* 0x80000000 */
397
    abort();
398
 }
399
}
400
 
401
#if __GNUC__
402
unsigned long long int
403
f2ull(float f)
404
{
405
  return (unsigned long long int) f;
406
}
407
 
408
unsigned long long int
409
d2ull(double d)
410
{
411
  return (unsigned long long int) d;
412
}
413
 
414
unsigned long long int
415
ld2ull(long double d)
416
{
417
  return (unsigned long long int) d;
418
}
419
 
420
long long int
421
f2sll(float f)
422
{
423
  return (long long int) f;
424
}
425
 
426
long long int
427
d2sll(double d)
428
{
429
  return (long long int) d;
430
}
431
 
432
long long int
433
ld2sll(long double d)
434
{
435
  return (long long int) d;
436
}
437
 
438
test_float_to_longlong_integer()
439
{
440
  if (f2ull(0.0) != 0LL)
441
    abort();
442
  if (f2ull(0.999) != 0LL)
443
    abort();
444
  if (f2ull(1.0) != 1LL)
445
    abort();
446
  if (f2ull(1.99) != 1LL)
447
    abort();
448
#ifdef __SPU__
449
  /* SPU float rounds towards zero.  */
450
  if (f2ull((float) ((~0ULL) >> 1)) != 0x7fffff8000000000ULL)
451
    abort();
452
#else
453
  if (f2ull((float) ((~0ULL) >> 1)) != (~0ULL) >> 1 &&  /* 0x7fffffff */
454
      f2ull((float) ((~0ULL) >> 1)) != ((~0ULL) >> 1) + 1)
455
    abort();
456
#endif
457
  if (f2ull((float) ~((~0ULL) >> 1)) != ~((~0ULL) >> 1)) /* 0x80000000 */
458
    abort();
459
 
460
  if (d2ull(0.0) != 0LL)
461
    abort();
462
  if (d2ull(0.999) != 0LL)
463
    abort();
464
  if (d2ull(1.0) != 1LL)
465
    abort();
466
  if (d2ull(1.99) != 1LL)
467
    abort();
468
  if (d2ull((double) ((~0ULL) >> 1)) != (~0ULL) >> 1 && /* 0x7fffffff */
469
      d2ull((double) ((~0ULL) >> 1)) != ((~0ULL) >> 1) + 1)
470
    abort();
471
  if (d2ull((double) ~((~0ULL) >> 1)) != ~((~0ULL) >> 1)) /* 0x80000000 */
472
    abort();
473
 
474
  if (ld2ull(0.0) != 0LL)
475
    abort();
476
  if (ld2ull(0.999) != 0LL)
477
    abort();
478
  if (ld2ull(1.0) != 1LL)
479
    abort();
480
  if (ld2ull(1.99) != 1LL)
481
    abort();
482
  if (ld2ull((long double) ((~0ULL) >> 1)) != (~0ULL) >> 1 &&   /* 0x7fffffff */
483
      ld2ull((long double) ((~0ULL) >> 1)) != ((~0ULL) >> 1) + 1)
484
    abort();
485
  if (ld2ull((long double) ~((~0ULL) >> 1)) != ~((~0ULL) >> 1)) /* 0x80000000 */
486
    abort();
487
 
488
 
489
  if (f2sll(0.0) != 0LL)
490
    abort();
491
  if (f2sll(0.999) != 0LL)
492
    abort();
493
  if (f2sll(1.0) != 1LL)
494
    abort();
495
  if (f2sll(1.99) != 1LL)
496
    abort();
497
  if (f2sll(-0.999) != 0LL)
498
    abort();
499
  if (f2sll(-1.0) != -1LL)
500
    abort();
501
  if (f2sll(-1.99) != -1LL)
502
    abort();
503
  if (f2sll((float)(long long int)~((~0ULL) >> 1)) != (long long int)~((~0ULL) >> 1)) /* 0x80000000 */
504
    abort();
505
 
506
  if (d2sll(0.0) != 0LL)
507
    abort();
508
  if (d2sll(0.999) != 0LL)
509
    abort();
510
  if (d2sll(1.0) != 1LL)
511
    abort();
512
  if (d2sll(1.99) != 1LL)
513
    abort();
514
  if (d2sll(-0.999) != 0LL)
515
    abort();
516
  if (d2sll(-1.0) != -1LL)
517
    abort();
518
  if (d2sll(-1.99) != -1LL)
519
    abort();
520
  if (d2sll((double)(long long int)~((~0ULL) >> 1)) != (long long int)~((~0ULL) >> 1)) /* 0x80000000 */
521
    abort();
522
 
523
  if (ld2sll(0.0) != 0LL)
524
    abort();
525
  if (ld2sll(0.999) != 0LL)
526
    abort();
527
  if (ld2sll(1.0) != 1LL)
528
    abort();
529
  if (ld2sll(1.99) != 1LL)
530
    abort();
531
  if (ld2sll(-0.999) != 0LL)
532
    abort();
533
  if (ld2sll(-1.0) != -1LL)
534
    abort();
535
  if (ld2sll(-1.99) != -1LL)
536
    abort();
537
  if (ld2sll((long double)(long long int)~((~0ULL) >> 1)) != (long long int)~((~0ULL) >> 1)) /* 0x80000000 */
538
    abort();
539
}
540
#endif
541
 
542
main()
543
{
544
  test_integer_to_float();
545
  test_float_to_integer();
546
#if __GNUC__
547
  test_longlong_integer_to_float();
548
  test_float_to_longlong_integer();
549
#endif
550
  exit(0);
551
}

powered by: WebSVN 2.1.0

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