]>
Commit | Line | Data |
---|---|---|
0d37d3a7 KG |
1 | /* Test various type-generic builtins by calling "main_tests()". */ |
2 | ||
3bf5906b | 3 | #define FP_NAN 1 |
32101f99 | 4 | #define FP_INFINITE 2 |
3bf5906b KG |
5 | #define FP_NORMAL 3 |
6 | #define FP_SUBNORMAL 4 | |
7 | #define FP_ZERO 5 | |
32101f99 | 8 | #define fpclassify(X) __builtin_fpclassify(FP_NAN, FP_INFINITE, FP_NORMAL, FP_SUBNORMAL, FP_ZERO, (X)) |
3bf5906b | 9 | |
0d37d3a7 KG |
10 | void __attribute__ ((__noinline__)) |
11 | foo_1 (float f, double d, long double ld, | |
12 | int res_unord, int res_isnan, int res_isinf, | |
3bf5906b | 13 | int res_isinf_sign, int res_isfin, int res_isnorm, |
61717a45 | 14 | int res_signbit, int classification) |
0d37d3a7 KG |
15 | { |
16 | if (__builtin_isunordered (f, 0) != res_unord) | |
17 | __builtin_abort (); | |
18 | if (__builtin_isunordered (0, f) != res_unord) | |
19 | __builtin_abort (); | |
20 | if (__builtin_isunordered (d, 0) != res_unord) | |
21 | __builtin_abort (); | |
22 | if (__builtin_isunordered (0, d) != res_unord) | |
23 | __builtin_abort (); | |
24 | if (__builtin_isunordered (ld, 0) != res_unord) | |
25 | __builtin_abort (); | |
26 | if (__builtin_isunordered (0, ld) != res_unord) | |
27 | __builtin_abort (); | |
28 | ||
29 | if (__builtin_isnan (f) != res_isnan) | |
30 | __builtin_abort (); | |
31 | if (__builtin_isnan (d) != res_isnan) | |
32 | __builtin_abort (); | |
33 | if (__builtin_isnan (ld) != res_isnan) | |
34 | __builtin_abort (); | |
35 | if (__builtin_isnanf (f) != res_isnan) | |
36 | __builtin_abort (); | |
37 | if (__builtin_isnanl (ld) != res_isnan) | |
38 | __builtin_abort (); | |
39 | ||
40 | if (__builtin_isinf (f) != res_isinf) | |
41 | __builtin_abort (); | |
42 | if (__builtin_isinf (d) != res_isinf) | |
43 | __builtin_abort (); | |
44 | if (__builtin_isinf (ld) != res_isinf) | |
45 | __builtin_abort (); | |
46 | if (__builtin_isinff (f) != res_isinf) | |
47 | __builtin_abort (); | |
48 | if (__builtin_isinfl (ld) != res_isinf) | |
49 | __builtin_abort (); | |
50 | ||
05f41289 KG |
51 | if (__builtin_isinf_sign (f) != res_isinf_sign) |
52 | __builtin_abort (); | |
53 | if (__builtin_isinf_sign (d) != res_isinf_sign) | |
54 | __builtin_abort (); | |
55 | if (__builtin_isinf_sign (ld) != res_isinf_sign) | |
56 | __builtin_abort (); | |
57 | ||
0d37d3a7 KG |
58 | if (__builtin_isnormal (f) != res_isnorm) |
59 | __builtin_abort (); | |
60 | if (__builtin_isnormal (d) != res_isnorm) | |
61 | __builtin_abort (); | |
62 | if (__builtin_isnormal (ld) != res_isnorm) | |
63 | __builtin_abort (); | |
64 | ||
65 | if (__builtin_isfinite (f) != res_isfin) | |
66 | __builtin_abort (); | |
67 | if (__builtin_isfinite (d) != res_isfin) | |
68 | __builtin_abort (); | |
69 | if (__builtin_isfinite (ld) != res_isfin) | |
70 | __builtin_abort (); | |
71 | ||
72 | if (__builtin_finitef (f) != res_isfin) | |
73 | __builtin_abort (); | |
74 | if (__builtin_finite (f) != res_isfin) | |
75 | __builtin_abort (); | |
76 | if (__builtin_finite (d) != res_isfin) | |
77 | __builtin_abort (); | |
78 | if (__builtin_finitel (d) != res_isfin) | |
79 | __builtin_abort (); | |
80 | if (__builtin_finitel (ld) != res_isfin) | |
81 | __builtin_abort (); | |
3bf5906b | 82 | |
61717a45 FXC |
83 | /* Sign bit of zeros and nans is not preserved in unsafe math mode. */ |
84 | #ifdef UNSAFE | |
85 | if (!res_isnan && d != 0) | |
86 | #endif | |
87 | { | |
88 | if ((__builtin_signbit (f) ? 1 : 0) != res_signbit) | |
89 | __builtin_abort (); | |
90 | if ((__builtin_signbit (d) ? 1 : 0) != res_signbit) | |
91 | __builtin_abort (); | |
92 | if ((__builtin_signbit (ld) ? 1 : 0) != res_signbit) | |
93 | __builtin_abort (); | |
94 | if ((__builtin_signbitf (f) ? 1 : 0) != res_signbit) | |
95 | __builtin_abort (); | |
96 | if ((__builtin_signbitl (ld) ? 1 : 0) != res_signbit) | |
97 | __builtin_abort (); | |
98 | } | |
99 | ||
3bf5906b KG |
100 | /* Subnormals can abruptly underflow to zero in unsafe math |
101 | mode, so bypass testing these numbers if necessary. */ | |
102 | #ifdef UNSAFE | |
103 | if (classification != FP_SUBNORMAL) | |
104 | #endif | |
105 | { | |
106 | if (fpclassify(f) != classification) | |
107 | __builtin_abort (); | |
108 | if (fpclassify(d) != classification) | |
109 | __builtin_abort (); | |
110 | if (fpclassify(ld) != classification) | |
111 | __builtin_abort (); | |
112 | } | |
0d37d3a7 KG |
113 | } |
114 | ||
115 | void __attribute__ ((__noinline__)) | |
116 | foo (float f, double d, long double ld, | |
117 | int res_unord, int res_isnan, int res_isinf, | |
3bf5906b | 118 | int res_isfin, int res_isnorm, int classification) |
0d37d3a7 | 119 | { |
61717a45 FXC |
120 | foo_1 (f, d, ld, res_unord, res_isnan, res_isinf, res_isinf, res_isfin, res_isnorm, 0, classification); |
121 | /* Try all the values negated as well. All will have the sign bit set, | |
122 | except for the nan. */ | |
123 | foo_1 (-f, -d, -ld, res_unord, res_isnan, res_isinf, -res_isinf, res_isfin, res_isnorm, 1, classification); | |
0d37d3a7 KG |
124 | } |
125 | ||
126 | int __attribute__ ((__noinline__)) | |
127 | main_tests (void) | |
128 | { | |
05f41289 KG |
129 | volatile float f; |
130 | volatile double d; | |
131 | volatile long double ld; | |
0d37d3a7 KG |
132 | |
133 | /* Test NaN. */ | |
134 | f = __builtin_nanf(""); d = __builtin_nan(""); ld = __builtin_nanl(""); | |
3bf5906b | 135 | foo(f, d, ld, /*unord=*/ 1, /*isnan=*/ 1, /*isinf=*/ 0, /*isfin=*/ 0, /*isnorm=*/ 0, FP_NAN); |
0d37d3a7 KG |
136 | |
137 | /* Test infinity. */ | |
138 | f = __builtin_inff(); d = __builtin_inf(); ld = __builtin_infl(); | |
32101f99 | 139 | foo(f, d, ld, /*unord=*/ 0, /*isnan=*/ 0, /*isinf=*/ 1, /*isfin=*/ 0, /*isnorm=*/ 0, FP_INFINITE); |
0d37d3a7 KG |
140 | |
141 | /* Test zero. */ | |
142 | f = 0; d = 0; ld = 0; | |
3bf5906b | 143 | foo(f, d, ld, /*unord=*/ 0, /*isnan=*/ 0, /*isinf=*/ 0, /*isfin=*/ 1, /*isnorm=*/ 0, FP_ZERO); |
0d37d3a7 KG |
144 | |
145 | /* Test one. */ | |
146 | f = 1; d = 1; ld = 1; | |
3bf5906b | 147 | foo(f, d, ld, /*unord=*/ 0, /*isnan=*/ 0, /*isinf=*/ 0, /*isfin=*/ 1, /*isnorm=*/ 1, FP_NORMAL); |
0d37d3a7 KG |
148 | |
149 | /* Test minimum values. */ | |
150 | f = __FLT_MIN__; d = __DBL_MIN__; ld = __LDBL_MIN__; | |
3bf5906b | 151 | foo(f, d, ld, /*unord=*/ 0, /*isnan=*/ 0, /*isinf=*/ 0, /*isfin=*/ 1, /*isnorm=*/ 1, FP_NORMAL); |
0d37d3a7 KG |
152 | |
153 | /* Test subnormal values. */ | |
154 | f = __FLT_MIN__/2; d = __DBL_MIN__/2; ld = __LDBL_MIN__/2; | |
3bf5906b | 155 | foo(f, d, ld, /*unord=*/ 0, /*isnan=*/ 0, /*isinf=*/ 0, /*isfin=*/ 1, /*isnorm=*/ 0, FP_SUBNORMAL); |
0d37d3a7 KG |
156 | |
157 | /* Test maximum values. */ | |
158 | f = __FLT_MAX__; d = __DBL_MAX__; ld = __LDBL_MAX__; | |
3bf5906b | 159 | foo(f, d, ld, /*unord=*/ 0, /*isnan=*/ 0, /*isinf=*/ 0, /*isfin=*/ 1, /*isnorm=*/ 1, FP_NORMAL); |
0d37d3a7 KG |
160 | |
161 | /* Test overflow values. */ | |
162 | f = __FLT_MAX__*2; d = __DBL_MAX__*2; ld = __LDBL_MAX__*2; | |
32101f99 | 163 | foo(f, d, ld, /*unord=*/ 0, /*isnan=*/ 0, /*isinf=*/ 1, /*isfin=*/ 0, /*isnorm=*/ 0, FP_INFINITE); |
0d37d3a7 KG |
164 | |
165 | return 0; | |
166 | } |