1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
|
/* { dg-do run } */
/* { dg-require-effective-target long_double_ibm128 } */
/* { dg-options "-std=c99 -O2" } */
/* { dg-add-options long_double_ibm128 } */
#include <float.h>
#ifndef __LONG_DOUBLE_IBM128__
#error "long double must be IBM 128-bit"
#endif
union gl_long_double_union
{
struct { double hi; double lo; } dd;
long double ld;
};
/* This is gnulib's LDBL_MAX which, being 107 bits in precision, is
slightly larger than gcc's 106 bit precision LDBL_MAX. */
volatile union gl_long_double_union gl_LDBL_MAX =
{ { DBL_MAX, DBL_MAX / (double)134217728UL / (double)134217728UL } };
volatile double min_denorm = 0x1p-1074;
volatile double ld_low = 0x1p-969;
volatile double dinf = 1.0/0.0;
volatile double dnan = 0.0/0.0;
int
main (void)
{
long double ld;
ld = gl_LDBL_MAX.ld;
if (__builtin_isinf (ld))
__builtin_abort ();
ld = -gl_LDBL_MAX.ld;
if (__builtin_isinf (ld))
__builtin_abort ();
ld = gl_LDBL_MAX.ld;
if (!__builtin_isfinite (ld))
__builtin_abort ();
ld = -gl_LDBL_MAX.ld;
if (!__builtin_isfinite (ld))
__builtin_abort ();
ld = ld_low;
if (!__builtin_isnormal (ld))
__builtin_abort ();
ld = -ld_low;
if (!__builtin_isnormal (ld))
__builtin_abort ();
ld = -min_denorm;
ld += ld_low;
if (__builtin_isnormal (ld))
__builtin_abort ();
ld = min_denorm;
ld -= ld_low;
if (__builtin_isnormal (ld))
__builtin_abort ();
ld = 0.0;
if (__builtin_isnormal (ld))
__builtin_abort ();
ld = -0.0;
if (__builtin_isnormal (ld))
__builtin_abort ();
ld = LDBL_MAX;
if (!__builtin_isnormal (ld))
__builtin_abort ();
ld = -LDBL_MAX;
if (!__builtin_isnormal (ld))
__builtin_abort ();
ld = gl_LDBL_MAX.ld;
if (!__builtin_isnormal (ld))
__builtin_abort ();
ld = -gl_LDBL_MAX.ld;
if (!__builtin_isnormal (ld))
__builtin_abort ();
ld = dinf;
if (__builtin_isnormal (ld))
__builtin_abort ();
ld = -dinf;
if (__builtin_isnormal (ld))
__builtin_abort ();
ld = dnan;
if (__builtin_isnormal (ld))
__builtin_abort ();
ld = -dnan;
if (__builtin_isnormal (ld))
__builtin_abort ();
return 0;
}
|
