1 #include <fenv.h>
2 #include <math.h>
3 #include <float.h>
4 #include <stdlib.h>
5 #include <stdio.h>
6 #include <math-tests.h>
7
8 #if !defined(FE_OVERFLOW) && !defined(FE_UNDERFLOW)
9 /* If there's no support for the exceptions this test is checking,
10 then just return success and allow the test to be compiled. */
11 # define fetestexcept(e) 1
12 #endif
13
14 float zero = 0.0;
15 float inf = INFINITY;
16
17 int
18 main (void)
19 {
20 int result = 0;
21
22 float i = INFINITY;
23 float m = FLT_MAX;
24 feclearexcept (FE_ALL_EXCEPT);
25 if (nextafterf (m, i) != i)
26 {
27 puts ("nextafterf+ failed");
28 ++result;
29 }
30 if (EXCEPTION_TESTS (float) && fetestexcept (FE_OVERFLOW) == 0)
31 {
32 puts ("nextafterf+ did not overflow");
33 ++result;
34 }
35 feclearexcept (FE_ALL_EXCEPT);
36 if (nextafterf (-m, -i) != -i)
37 {
38 puts ("nextafterf- failed");
39 ++result;
40 }
41 if (EXCEPTION_TESTS (float) && fetestexcept (FE_OVERFLOW) == 0)
42 {
43 puts ("nextafterf- did not overflow");
44 ++result;
45 }
46
47 i = 0;
48 m = FLT_MIN;
49 feclearexcept (FE_ALL_EXCEPT);
50 i = nextafterf (m, i);
51 if (i < 0 || i >= FLT_MIN)
52 {
53 puts ("nextafterf+ failed");
54 ++result;
55 }
56 if (EXCEPTION_TESTS (float) && fetestexcept (FE_UNDERFLOW) == 0)
57 {
58 puts ("nextafterf+ did not underflow");
59 ++result;
60 }
61 i = 0;
62 feclearexcept (FE_ALL_EXCEPT);
63 i = nextafterf (-m, -i);
64 if (i > 0 || i <= -FLT_MIN)
65 {
66 puts ("nextafterf- failed");
67 ++result;
68 }
69 if (EXCEPTION_TESTS (float) && fetestexcept (FE_UNDERFLOW) == 0)
70 {
71 puts ("nextafterf- did not underflow");
72 ++result;
73 }
74 i = -INFINITY;
75 feclearexcept (FE_ALL_EXCEPT);
76 m = nextafterf (zero, inf);
77 if (m < 0.0 || m >= FLT_MIN)
78 {
79 puts ("nextafterf+ failed");
80 ++result;
81 }
82 if (EXCEPTION_TESTS (float) && fetestexcept (FE_UNDERFLOW) == 0)
83 {
84 puts ("nextafterf+ did not underflow");
85 ++result;
86 }
87 feclearexcept (FE_ALL_EXCEPT);
88 if (nextafterf (m, i) != 0.0)
89 {
90 puts ("nextafterf+ failed");
91 ++result;
92 }
93 if (EXCEPTION_TESTS (float) && fetestexcept (FE_UNDERFLOW) == 0)
94 {
95 puts ("nextafterf+ did not underflow");
96 ++result;
97 }
98 feclearexcept (FE_ALL_EXCEPT);
99 m = nextafterf (copysignf (zero, -1.0), -inf);
100 if (m > 0.0 || m <= -FLT_MIN)
101 {
102 puts ("nextafterf- failed");
103 ++result;
104 }
105 if (EXCEPTION_TESTS (float) && fetestexcept (FE_UNDERFLOW) == 0)
106 {
107 puts ("nextafterf- did not underflow");
108 ++result;
109 }
110 feclearexcept (FE_ALL_EXCEPT);
111 if (nextafterf (m, -i) != 0.0)
112 {
113 puts ("nextafterf- failed");
114 ++result;
115 }
116 if (EXCEPTION_TESTS (float) && fetestexcept (FE_UNDERFLOW) == 0)
117 {
118 puts ("nextafterf- did not underflow");
119 ++result;
120 }
121
122 double di = INFINITY;
123 double dm = DBL_MAX;
124 feclearexcept (FE_ALL_EXCEPT);
125 if (nextafter (dm, di) != di)
126 {
127 puts ("nextafter+ failed");
128 ++result;
129 }
130 if (EXCEPTION_TESTS (double) && fetestexcept (FE_OVERFLOW) == 0)
131 {
132 puts ("nextafter+ did not overflow");
133 ++result;
134 }
135 feclearexcept (FE_ALL_EXCEPT);
136 if (nextafter (-dm, -di) != -di)
137 {
138 puts ("nextafter failed");
139 ++result;
140 }
141 if (EXCEPTION_TESTS (double) && fetestexcept (FE_OVERFLOW) == 0)
142 {
143 puts ("nextafter- did not overflow");
144 ++result;
145 }
146
147 di = 0;
148 dm = DBL_MIN;
149 feclearexcept (FE_ALL_EXCEPT);
150 di = nextafter (dm, di);
151 if (di < 0 || di >= DBL_MIN)
152 {
153 puts ("nextafter+ failed");
154 ++result;
155 }
156 if (EXCEPTION_TESTS (double) && fetestexcept (FE_UNDERFLOW) == 0)
157 {
158 puts ("nextafter+ did not underflow");
159 ++result;
160 }
161 di = 0;
162 feclearexcept (FE_ALL_EXCEPT);
163 di = nextafter (-dm, -di);
164 if (di > 0 || di <= -DBL_MIN)
165 {
166 puts ("nextafter- failed");
167 ++result;
168 }
169 if (EXCEPTION_TESTS (double) && fetestexcept (FE_UNDERFLOW) == 0)
170 {
171 puts ("nextafter- did not underflow");
172 ++result;
173 }
174 di = -INFINITY;
175 feclearexcept (FE_ALL_EXCEPT);
176 dm = nextafter (zero, inf);
177 if (dm < 0.0 || dm >= DBL_MIN)
178 {
179 puts ("nextafter+ failed");
180 ++result;
181 }
182 if (EXCEPTION_TESTS (double) && fetestexcept (FE_UNDERFLOW) == 0)
183 {
184 puts ("nextafter+ did not underflow");
185 ++result;
186 }
187 feclearexcept (FE_ALL_EXCEPT);
188 if (nextafter (dm, di) != 0.0)
189 {
190 puts ("nextafter+ failed");
191 ++result;
192 }
193 if (EXCEPTION_TESTS (double) && fetestexcept (FE_UNDERFLOW) == 0)
194 {
195 puts ("nextafter+ did not underflow");
196 ++result;
197 }
198 feclearexcept (FE_ALL_EXCEPT);
199 dm = nextafter (copysign (zero, -1.0), -inf);
200 if (dm > 0.0 || dm <= -DBL_MIN)
201 {
202 puts ("nextafter- failed");
203 ++result;
204 }
205 if (EXCEPTION_TESTS (double) && fetestexcept (FE_UNDERFLOW) == 0)
206 {
207 puts ("nextafter- did not underflow");
208 ++result;
209 }
210 feclearexcept (FE_ALL_EXCEPT);
211 if (nextafter (dm, -di) != 0.0)
212 {
213 puts ("nextafter- failed");
214 ++result;
215 }
216 if (EXCEPTION_TESTS (double) && fetestexcept (FE_UNDERFLOW) == 0)
217 {
218 puts ("nextafter- did not underflow");
219 ++result;
220 }
221
222 long double li = INFINITY;
223 long double lm = LDBL_MAX;
224 feclearexcept (FE_ALL_EXCEPT);
225 if (nextafterl (lm, li) != li)
226 {
227 puts ("nextafterl+ failed");
228 ++result;
229 }
230 if (EXCEPTION_TESTS (long double) && fetestexcept (FE_OVERFLOW) == 0)
231 {
232 puts ("nextafterl+ did not overflow");
233 ++result;
234 }
235 feclearexcept (FE_ALL_EXCEPT);
236 if (nextafterl (-lm, -li) != -li)
237 {
238 puts ("nextafterl failed");
239 ++result;
240 }
241 if (EXCEPTION_TESTS (long double) && fetestexcept (FE_OVERFLOW) == 0)
242 {
243 puts ("nextafterl- did not overflow");
244 ++result;
245 }
246
247 li = 0;
248 lm = LDBL_MIN;
249 feclearexcept (FE_ALL_EXCEPT);
250 li = nextafterl (lm, li);
251 if (li < 0 || li >= LDBL_MIN)
252 {
253 puts ("nextafterl+ failed");
254 ++result;
255 }
256 if (EXCEPTION_TESTS (long double) && fetestexcept (FE_UNDERFLOW) == 0)
257 {
258 puts ("nextafterl+ did not underflow");
259 ++result;
260 }
261 li = 0;
262 feclearexcept (FE_ALL_EXCEPT);
263 li = nextafterl (-lm, -li);
264 if (li > 0 || li <= -LDBL_MIN)
265 {
266 puts ("nextafterl- failed");
267 ++result;
268 }
269 if (EXCEPTION_TESTS (long double) && fetestexcept (FE_UNDERFLOW) == 0)
270 {
271 puts ("nextafterl- did not underflow");
272 ++result;
273 }
274 li = -INFINITY;
275 feclearexcept (FE_ALL_EXCEPT);
276 lm = nextafterl (zero, inf);
277 if (lm < 0.0 || lm >= LDBL_MIN)
278 {
279 puts ("nextafterl+ failed");
280 ++result;
281 }
282 if (EXCEPTION_TESTS (long double) && fetestexcept (FE_UNDERFLOW) == 0)
283 {
284 puts ("nextafterl+ did not underflow");
285 ++result;
286 }
287 feclearexcept (FE_ALL_EXCEPT);
288 if (nextafterl (lm, li) != 0.0)
289 {
290 puts ("nextafterl+ failed");
291 ++result;
292 }
293 if (EXCEPTION_TESTS (long double) && fetestexcept (FE_UNDERFLOW) == 0)
294 {
295 puts ("nextafterl+ did not underflow");
296 ++result;
297 }
298 feclearexcept (FE_ALL_EXCEPT);
299 lm = nextafterl (copysign (zero, -1.0), -inf);
300 if (lm > 0.0 || lm <= -LDBL_MIN)
301 {
302 puts ("nextafterl- failed");
303 ++result;
304 }
305 if (EXCEPTION_TESTS (long double) && fetestexcept (FE_UNDERFLOW) == 0)
306 {
307 puts ("nextafterl- did not underflow");
308 ++result;
309 }
310 feclearexcept (FE_ALL_EXCEPT);
311 if (nextafterl (lm, -li) != 0.0)
312 {
313 puts ("nextafterl- failed");
314 ++result;
315 }
316 if (EXCEPTION_TESTS (long double) && fetestexcept (FE_UNDERFLOW) == 0)
317 {
318 puts ("nextafterl- did not underflow");
319 ++result;
320 }
321
322 return result;
323 }