t_cbrt.c revision 1.2 1 1.2 joerg /* $NetBSD: t_cbrt.c,v 1.2 2013/11/19 19:24:33 joerg Exp $ */
2 1.1 jruoho
3 1.1 jruoho /*-
4 1.1 jruoho * Copyright (c) 2011 The NetBSD Foundation, Inc.
5 1.1 jruoho * All rights reserved.
6 1.1 jruoho *
7 1.1 jruoho * This code is derived from software contributed to The NetBSD Foundation
8 1.1 jruoho * by Jukka Ruohonen.
9 1.1 jruoho *
10 1.1 jruoho * Redistribution and use in source and binary forms, with or without
11 1.1 jruoho * modification, are permitted provided that the following conditions
12 1.1 jruoho * are met:
13 1.1 jruoho * 1. Redistributions of source code must retain the above copyright
14 1.1 jruoho * notice, this list of conditions and the following disclaimer.
15 1.1 jruoho * 2. Redistributions in binary form must reproduce the above copyright
16 1.1 jruoho * notice, this list of conditions and the following disclaimer in the
17 1.1 jruoho * documentation and/or other materials provided with the distribution.
18 1.1 jruoho *
19 1.1 jruoho * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
20 1.1 jruoho * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
21 1.1 jruoho * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22 1.1 jruoho * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
23 1.1 jruoho * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
24 1.1 jruoho * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
25 1.1 jruoho * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
26 1.1 jruoho * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
27 1.1 jruoho * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
28 1.1 jruoho * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
29 1.1 jruoho * POSSIBILITY OF SUCH DAMAGE.
30 1.1 jruoho */
31 1.1 jruoho #include <sys/cdefs.h>
32 1.2 joerg __RCSID("$NetBSD: t_cbrt.c,v 1.2 2013/11/19 19:24:33 joerg Exp $");
33 1.1 jruoho
34 1.1 jruoho #include <atf-c.h>
35 1.1 jruoho #include <math.h>
36 1.1 jruoho #include <stdio.h>
37 1.1 jruoho
38 1.1 jruoho /*
39 1.1 jruoho * cbrt(3)
40 1.1 jruoho */
41 1.1 jruoho ATF_TC(cbrt_nan);
42 1.1 jruoho ATF_TC_HEAD(cbrt_nan, tc)
43 1.1 jruoho {
44 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test cbrt(NaN) == NaN");
45 1.1 jruoho }
46 1.1 jruoho
47 1.1 jruoho ATF_TC_BODY(cbrt_nan, tc)
48 1.1 jruoho {
49 1.1 jruoho #ifndef __vax__
50 1.1 jruoho const double x = 0.0L / 0.0L;
51 1.1 jruoho
52 1.1 jruoho ATF_CHECK(isnan(x) != 0);
53 1.1 jruoho ATF_CHECK(isnan(cbrt(x)) != 0);
54 1.1 jruoho #endif
55 1.1 jruoho }
56 1.1 jruoho
57 1.1 jruoho ATF_TC(cbrt_pow);
58 1.1 jruoho ATF_TC_HEAD(cbrt_pow, tc)
59 1.1 jruoho {
60 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test cbrt(3) vs. pow(3)");
61 1.1 jruoho }
62 1.1 jruoho
63 1.1 jruoho ATF_TC_BODY(cbrt_pow, tc)
64 1.1 jruoho {
65 1.1 jruoho #ifndef __vax__
66 1.1 jruoho const double x[] = { 0.0, 0.005, 1.0, 99.0, 123.123, 9999.0 };
67 1.1 jruoho const double eps = 1.0e-14;
68 1.1 jruoho double y, z;
69 1.1 jruoho size_t i;
70 1.1 jruoho
71 1.1 jruoho for (i = 0; i < __arraycount(x); i++) {
72 1.1 jruoho
73 1.1 jruoho y = cbrt(x[i]);
74 1.1 jruoho z = pow(x[i], 1.0 / 3.0);
75 1.1 jruoho
76 1.1 jruoho if (fabs(y - z) > eps)
77 1.1 jruoho atf_tc_fail_nonfatal("cbrt(%0.03f) != "
78 1.1 jruoho "pow(%0.03f, 1/3)\n", x[i], x[i]);
79 1.1 jruoho }
80 1.1 jruoho #endif
81 1.1 jruoho }
82 1.1 jruoho
83 1.1 jruoho ATF_TC(cbrt_inf_neg);
84 1.1 jruoho ATF_TC_HEAD(cbrt_inf_neg, tc)
85 1.1 jruoho {
86 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test cbrt(-Inf) == -Inf");
87 1.1 jruoho }
88 1.1 jruoho
89 1.1 jruoho ATF_TC_BODY(cbrt_inf_neg, tc)
90 1.1 jruoho {
91 1.1 jruoho #ifndef __vax__
92 1.1 jruoho const double x = -1.0L / 0.0L;
93 1.1 jruoho double y = cbrt(x);
94 1.1 jruoho
95 1.1 jruoho ATF_CHECK(isinf(y) != 0);
96 1.1 jruoho ATF_CHECK(signbit(y) != 0);
97 1.1 jruoho #endif
98 1.1 jruoho }
99 1.1 jruoho
100 1.1 jruoho ATF_TC(cbrt_inf_pos);
101 1.1 jruoho ATF_TC_HEAD(cbrt_inf_pos, tc)
102 1.1 jruoho {
103 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test cbrt(+Inf) == +Inf");
104 1.1 jruoho }
105 1.1 jruoho
106 1.1 jruoho ATF_TC_BODY(cbrt_inf_pos, tc)
107 1.1 jruoho {
108 1.1 jruoho #ifndef __vax__
109 1.1 jruoho const double x = 1.0L / 0.0L;
110 1.1 jruoho double y = cbrt(x);
111 1.1 jruoho
112 1.1 jruoho ATF_CHECK(isinf(y) != 0);
113 1.1 jruoho ATF_CHECK(signbit(y) == 0);
114 1.1 jruoho #endif
115 1.1 jruoho }
116 1.1 jruoho
117 1.1 jruoho ATF_TC(cbrt_zero_neg);
118 1.1 jruoho ATF_TC_HEAD(cbrt_zero_neg, tc)
119 1.1 jruoho {
120 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test cbrt(-0.0) == -0.0");
121 1.1 jruoho }
122 1.1 jruoho
123 1.1 jruoho ATF_TC_BODY(cbrt_zero_neg, tc)
124 1.1 jruoho {
125 1.1 jruoho #ifndef __vax__
126 1.1 jruoho const double x = -0.0L;
127 1.1 jruoho double y = cbrt(x);
128 1.1 jruoho
129 1.1 jruoho if (fabs(y) > 0.0 || signbit(y) == 0)
130 1.1 jruoho atf_tc_fail_nonfatal("cbrt(-0.0) != -0.0");
131 1.1 jruoho #endif
132 1.1 jruoho }
133 1.1 jruoho
134 1.1 jruoho ATF_TC(cbrt_zero_pos);
135 1.1 jruoho ATF_TC_HEAD(cbrt_zero_pos, tc)
136 1.1 jruoho {
137 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test cbrt(+0.0) == +0.0");
138 1.1 jruoho }
139 1.1 jruoho
140 1.1 jruoho ATF_TC_BODY(cbrt_zero_pos, tc)
141 1.1 jruoho {
142 1.1 jruoho #ifndef __vax__
143 1.1 jruoho const double x = 0.0L;
144 1.1 jruoho double y = cbrt(x);
145 1.1 jruoho
146 1.1 jruoho if (fabs(y) > 0.0 || signbit(y) != 0)
147 1.1 jruoho atf_tc_fail_nonfatal("cbrt(+0.0) != +0.0");
148 1.1 jruoho #endif
149 1.1 jruoho }
150 1.1 jruoho
151 1.1 jruoho /*
152 1.1 jruoho * cbrtf(3)
153 1.1 jruoho */
154 1.1 jruoho ATF_TC(cbrtf_nan);
155 1.1 jruoho ATF_TC_HEAD(cbrtf_nan, tc)
156 1.1 jruoho {
157 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test cbrtf(NaN) == NaN");
158 1.1 jruoho }
159 1.1 jruoho
160 1.1 jruoho ATF_TC_BODY(cbrtf_nan, tc)
161 1.1 jruoho {
162 1.1 jruoho #ifndef __vax__
163 1.1 jruoho const float x = 0.0L / 0.0L;
164 1.1 jruoho
165 1.1 jruoho ATF_CHECK(isnan(x) != 0);
166 1.1 jruoho ATF_CHECK(isnan(cbrtf(x)) != 0);
167 1.1 jruoho #endif
168 1.1 jruoho }
169 1.1 jruoho
170 1.1 jruoho ATF_TC(cbrtf_powf);
171 1.1 jruoho ATF_TC_HEAD(cbrtf_powf, tc)
172 1.1 jruoho {
173 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test cbrtf(3) vs. powf(3)");
174 1.1 jruoho }
175 1.1 jruoho
176 1.1 jruoho ATF_TC_BODY(cbrtf_powf, tc)
177 1.1 jruoho {
178 1.1 jruoho #ifndef __vax__
179 1.1 jruoho const float x[] = { 0.0, 0.005, 1.0, 99.0, 123.123, 9999.0 };
180 1.1 jruoho const float eps = 1.0e-5;
181 1.1 jruoho float y, z;
182 1.1 jruoho size_t i;
183 1.1 jruoho
184 1.1 jruoho for (i = 0; i < __arraycount(x); i++) {
185 1.1 jruoho
186 1.1 jruoho y = cbrtf(x[i]);
187 1.1 jruoho z = powf(x[i], 1.0 / 3.0);
188 1.1 jruoho
189 1.1 jruoho if (fabsf(y - z) > eps)
190 1.1 jruoho atf_tc_fail_nonfatal("cbrtf(%0.03f) != "
191 1.1 jruoho "powf(%0.03f, 1/3)\n", x[i], x[i]);
192 1.1 jruoho }
193 1.1 jruoho #endif
194 1.1 jruoho }
195 1.1 jruoho
196 1.1 jruoho ATF_TC(cbrtf_inf_neg);
197 1.1 jruoho ATF_TC_HEAD(cbrtf_inf_neg, tc)
198 1.1 jruoho {
199 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test cbrtf(-Inf) == -Inf");
200 1.1 jruoho }
201 1.1 jruoho
202 1.1 jruoho ATF_TC_BODY(cbrtf_inf_neg, tc)
203 1.1 jruoho {
204 1.1 jruoho #ifndef __vax__
205 1.1 jruoho const float x = -1.0L / 0.0L;
206 1.1 jruoho float y = cbrtf(x);
207 1.1 jruoho
208 1.1 jruoho ATF_CHECK(isinf(y) != 0);
209 1.1 jruoho ATF_CHECK(signbit(y) != 0);
210 1.1 jruoho #endif
211 1.1 jruoho }
212 1.1 jruoho
213 1.1 jruoho ATF_TC(cbrtf_inf_pos);
214 1.1 jruoho ATF_TC_HEAD(cbrtf_inf_pos, tc)
215 1.1 jruoho {
216 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test cbrtf(+Inf) == +Inf");
217 1.1 jruoho }
218 1.1 jruoho
219 1.1 jruoho ATF_TC_BODY(cbrtf_inf_pos, tc)
220 1.1 jruoho {
221 1.1 jruoho #ifndef __vax__
222 1.1 jruoho const float x = 1.0L / 0.0L;
223 1.1 jruoho float y = cbrtf(x);
224 1.1 jruoho
225 1.1 jruoho ATF_CHECK(isinf(y) != 0);
226 1.1 jruoho ATF_CHECK(signbit(y) == 0);
227 1.1 jruoho #endif
228 1.1 jruoho }
229 1.1 jruoho
230 1.1 jruoho ATF_TC(cbrtf_zero_neg);
231 1.1 jruoho ATF_TC_HEAD(cbrtf_zero_neg, tc)
232 1.1 jruoho {
233 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test cbrtf(-0.0) == -0.0");
234 1.1 jruoho }
235 1.1 jruoho
236 1.1 jruoho ATF_TC_BODY(cbrtf_zero_neg, tc)
237 1.1 jruoho {
238 1.1 jruoho #ifndef __vax__
239 1.1 jruoho const float x = -0.0L;
240 1.1 jruoho float y = cbrtf(x);
241 1.1 jruoho
242 1.1 jruoho if (fabsf(y) > 0.0 || signbit(y) == 0)
243 1.1 jruoho atf_tc_fail_nonfatal("cbrtf(-0.0) != -0.0");
244 1.1 jruoho #endif
245 1.1 jruoho }
246 1.1 jruoho
247 1.1 jruoho ATF_TC(cbrtf_zero_pos);
248 1.1 jruoho ATF_TC_HEAD(cbrtf_zero_pos, tc)
249 1.1 jruoho {
250 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test cbrtf(+0.0) == +0.0");
251 1.1 jruoho }
252 1.1 jruoho
253 1.1 jruoho ATF_TC_BODY(cbrtf_zero_pos, tc)
254 1.1 jruoho {
255 1.1 jruoho #ifndef __vax__
256 1.1 jruoho const float x = 0.0L;
257 1.1 jruoho float y = cbrtf(x);
258 1.1 jruoho
259 1.1 jruoho if (fabsf(y) > 0.0 || signbit(y) != 0)
260 1.1 jruoho atf_tc_fail_nonfatal("cbrtf(+0.0) != +0.0");
261 1.1 jruoho #endif
262 1.1 jruoho }
263 1.1 jruoho
264 1.2 joerg /*
265 1.2 joerg * cbrtl(3)
266 1.2 joerg */
267 1.2 joerg ATF_TC(cbrtl_nan);
268 1.2 joerg ATF_TC_HEAD(cbrtl_nan, tc)
269 1.2 joerg {
270 1.2 joerg atf_tc_set_md_var(tc, "descr", "Test cbrtl(NaN) == NaN");
271 1.2 joerg }
272 1.2 joerg
273 1.2 joerg ATF_TC_BODY(cbrtl_nan, tc)
274 1.2 joerg {
275 1.2 joerg #ifndef __vax__
276 1.2 joerg const long double x = 0.0L / 0.0L;
277 1.2 joerg
278 1.2 joerg ATF_CHECK(isnan(x) != 0);
279 1.2 joerg ATF_CHECK(isnan(cbrtl(x)) != 0);
280 1.2 joerg #endif
281 1.2 joerg }
282 1.2 joerg
283 1.2 joerg ATF_TC(cbrtl_powl);
284 1.2 joerg ATF_TC_HEAD(cbrtl_powl, tc)
285 1.2 joerg {
286 1.2 joerg atf_tc_set_md_var(tc, "descr", "Test cbrtl(3) vs. powl(3)");
287 1.2 joerg }
288 1.2 joerg
289 1.2 joerg ATF_TC_BODY(cbrtl_powl, tc)
290 1.2 joerg {
291 1.2 joerg #ifndef __vax__
292 1.2 joerg const long double x[] = { 0.0, 0.005, 1.0, 99.0, 123.123, 9999.0 };
293 1.2 joerg const long double eps = 1.0e-15;
294 1.2 joerg long double y, z;
295 1.2 joerg size_t i;
296 1.2 joerg
297 1.2 joerg for (i = 0; i < __arraycount(x); i++) {
298 1.2 joerg
299 1.2 joerg y = cbrtl(x[i]);
300 1.2 joerg z = powl(x[i], 1.0 / 3.0);
301 1.2 joerg
302 1.2 joerg if (fabsl(y - z) > eps * fabsl(1 + x[i]))
303 1.2 joerg atf_tc_fail_nonfatal("cbrtl(%0.03Lf) != "
304 1.2 joerg "powl(%0.03Lf, 1/3)\n", x[i], x[i]);
305 1.2 joerg }
306 1.2 joerg #endif
307 1.2 joerg }
308 1.2 joerg
309 1.2 joerg ATF_TC(cbrtl_inf_neg);
310 1.2 joerg ATF_TC_HEAD(cbrtl_inf_neg, tc)
311 1.2 joerg {
312 1.2 joerg atf_tc_set_md_var(tc, "descr", "Test cbrtl(-Inf) == -Inf");
313 1.2 joerg }
314 1.2 joerg
315 1.2 joerg ATF_TC_BODY(cbrtl_inf_neg, tc)
316 1.2 joerg {
317 1.2 joerg #ifndef __vax__
318 1.2 joerg const long double x = -1.0L / 0.0L;
319 1.2 joerg long double y = cbrtl(x);
320 1.2 joerg
321 1.2 joerg ATF_CHECK(isinf(y) != 0);
322 1.2 joerg ATF_CHECK(signbit(y) != 0);
323 1.2 joerg #endif
324 1.2 joerg }
325 1.2 joerg
326 1.2 joerg ATF_TC(cbrtl_inf_pos);
327 1.2 joerg ATF_TC_HEAD(cbrtl_inf_pos, tc)
328 1.2 joerg {
329 1.2 joerg atf_tc_set_md_var(tc, "descr", "Test cbrtl(+Inf) == +Inf");
330 1.2 joerg }
331 1.2 joerg
332 1.2 joerg ATF_TC_BODY(cbrtl_inf_pos, tc)
333 1.2 joerg {
334 1.2 joerg #ifndef __vax__
335 1.2 joerg const long double x = 1.0L / 0.0L;
336 1.2 joerg long double y = cbrtl(x);
337 1.2 joerg
338 1.2 joerg ATF_CHECK(isinf(y) != 0);
339 1.2 joerg ATF_CHECK(signbit(y) == 0);
340 1.2 joerg #endif
341 1.2 joerg }
342 1.2 joerg
343 1.2 joerg ATF_TC(cbrtl_zero_neg);
344 1.2 joerg ATF_TC_HEAD(cbrtl_zero_neg, tc)
345 1.2 joerg {
346 1.2 joerg atf_tc_set_md_var(tc, "descr", "Test cbrtl(-0.0) == -0.0");
347 1.2 joerg }
348 1.2 joerg
349 1.2 joerg ATF_TC_BODY(cbrtl_zero_neg, tc)
350 1.2 joerg {
351 1.2 joerg #ifndef __vax__
352 1.2 joerg const long double x = -0.0L;
353 1.2 joerg long double y = cbrtl(x);
354 1.2 joerg
355 1.2 joerg if (fabsl(y) > 0.0 || signbit(y) == 0)
356 1.2 joerg atf_tc_fail_nonfatal("cbrtl(-0.0) != -0.0");
357 1.2 joerg #endif
358 1.2 joerg }
359 1.2 joerg
360 1.2 joerg ATF_TC(cbrtl_zero_pos);
361 1.2 joerg ATF_TC_HEAD(cbrtl_zero_pos, tc)
362 1.2 joerg {
363 1.2 joerg atf_tc_set_md_var(tc, "descr", "Test cbrtl(+0.0) == +0.0");
364 1.2 joerg }
365 1.2 joerg
366 1.2 joerg ATF_TC_BODY(cbrtl_zero_pos, tc)
367 1.2 joerg {
368 1.2 joerg #ifndef __vax__
369 1.2 joerg const long double x = 0.0L;
370 1.2 joerg long double y = cbrtl(x);
371 1.2 joerg
372 1.2 joerg if (fabsl(y) > 0.0 || signbit(y) != 0)
373 1.2 joerg atf_tc_fail_nonfatal("cbrtl(+0.0) != +0.0");
374 1.2 joerg #endif
375 1.2 joerg }
376 1.2 joerg
377 1.1 jruoho ATF_TP_ADD_TCS(tp)
378 1.1 jruoho {
379 1.1 jruoho
380 1.1 jruoho ATF_TP_ADD_TC(tp, cbrt_nan);
381 1.1 jruoho ATF_TP_ADD_TC(tp, cbrt_pow);
382 1.1 jruoho ATF_TP_ADD_TC(tp, cbrt_inf_neg);
383 1.1 jruoho ATF_TP_ADD_TC(tp, cbrt_inf_pos);
384 1.1 jruoho ATF_TP_ADD_TC(tp, cbrt_zero_neg);
385 1.1 jruoho ATF_TP_ADD_TC(tp, cbrt_zero_pos);
386 1.1 jruoho
387 1.1 jruoho ATF_TP_ADD_TC(tp, cbrtf_nan);
388 1.1 jruoho ATF_TP_ADD_TC(tp, cbrtf_powf);
389 1.1 jruoho ATF_TP_ADD_TC(tp, cbrtf_inf_neg);
390 1.1 jruoho ATF_TP_ADD_TC(tp, cbrtf_inf_pos);
391 1.1 jruoho ATF_TP_ADD_TC(tp, cbrtf_zero_neg);
392 1.1 jruoho ATF_TP_ADD_TC(tp, cbrtf_zero_pos);
393 1.1 jruoho
394 1.2 joerg ATF_TP_ADD_TC(tp, cbrtl_nan);
395 1.2 joerg ATF_TP_ADD_TC(tp, cbrtl_powl);
396 1.2 joerg ATF_TP_ADD_TC(tp, cbrtl_inf_neg);
397 1.2 joerg ATF_TP_ADD_TC(tp, cbrtl_inf_pos);
398 1.2 joerg ATF_TP_ADD_TC(tp, cbrtl_zero_neg);
399 1.2 joerg ATF_TP_ADD_TC(tp, cbrtl_zero_pos);
400 1.2 joerg
401 1.1 jruoho return atf_no_error();
402 1.1 jruoho }
403