t_sinh.c revision 1.4 1 1.4 jruoho /* $NetBSD: t_sinh.c,v 1.4 2011/10/18 14:16:42 jruoho 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.4 jruoho __RCSID("$NetBSD: t_sinh.c,v 1.4 2011/10/18 14:16:42 jruoho 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 * sinh(3)
40 1.1 jruoho */
41 1.1 jruoho ATF_TC(sinh_def);
42 1.1 jruoho ATF_TC_HEAD(sinh_def, tc)
43 1.1 jruoho {
44 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test the definition of sinh(3)");
45 1.1 jruoho }
46 1.1 jruoho
47 1.1 jruoho ATF_TC_BODY(sinh_def, tc)
48 1.1 jruoho {
49 1.1 jruoho #ifndef __vax__
50 1.3 jruoho const double x[] = { 0.005, 0.05, 0.0, 1.0, 10.0, 20.0 };
51 1.4 jruoho const double eps = 1.0e-4;
52 1.1 jruoho double y, z;
53 1.1 jruoho size_t i;
54 1.1 jruoho
55 1.1 jruoho for (i = 0; i < __arraycount(x); i++) {
56 1.1 jruoho
57 1.1 jruoho y = sinh(x[i]);
58 1.1 jruoho z = (exp(x[i]) - exp(-x[i])) / 2;
59 1.1 jruoho
60 1.3 jruoho (void)fprintf(stderr,
61 1.3 jruoho "sinh(%0.03f) = %f\n(exp(%0.03f) - "
62 1.3 jruoho "exp(-%0.03f)) / 2 = %f\n", x[i], y, x[i], x[i], z);
63 1.3 jruoho
64 1.1 jruoho if (fabs(y - z) > eps)
65 1.1 jruoho atf_tc_fail_nonfatal("sinh(%0.03f) != %0.03f\n",
66 1.1 jruoho x[i], z);
67 1.1 jruoho }
68 1.1 jruoho #endif
69 1.1 jruoho }
70 1.1 jruoho
71 1.1 jruoho ATF_TC(sinh_nan);
72 1.1 jruoho ATF_TC_HEAD(sinh_nan, tc)
73 1.1 jruoho {
74 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test sinh(NaN) == NaN");
75 1.1 jruoho }
76 1.1 jruoho
77 1.1 jruoho ATF_TC_BODY(sinh_nan, tc)
78 1.1 jruoho {
79 1.1 jruoho #ifndef __vax__
80 1.1 jruoho const double x = 0.0L / 0.0L;
81 1.1 jruoho
82 1.1 jruoho ATF_CHECK(isnan(x) != 0);
83 1.1 jruoho ATF_CHECK(isnan(sinh(x)) != 0);
84 1.1 jruoho #endif
85 1.1 jruoho }
86 1.1 jruoho
87 1.1 jruoho ATF_TC(sinh_inf_neg);
88 1.1 jruoho ATF_TC_HEAD(sinh_inf_neg, tc)
89 1.1 jruoho {
90 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test sinh(-Inf) == -Inf");
91 1.1 jruoho }
92 1.1 jruoho
93 1.1 jruoho ATF_TC_BODY(sinh_inf_neg, tc)
94 1.1 jruoho {
95 1.1 jruoho #ifndef __vax__
96 1.1 jruoho const double x = -1.0L / 0.0L;
97 1.1 jruoho double y = sinh(x);
98 1.1 jruoho
99 1.1 jruoho ATF_CHECK(isinf(y) != 0);
100 1.1 jruoho ATF_CHECK(signbit(y) != 0);
101 1.1 jruoho #endif
102 1.1 jruoho }
103 1.1 jruoho
104 1.1 jruoho ATF_TC(sinh_inf_pos);
105 1.1 jruoho ATF_TC_HEAD(sinh_inf_pos, tc)
106 1.1 jruoho {
107 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test sinh(+Inf) == +Inf");
108 1.1 jruoho }
109 1.1 jruoho
110 1.1 jruoho ATF_TC_BODY(sinh_inf_pos, tc)
111 1.1 jruoho {
112 1.1 jruoho #ifndef __vax__
113 1.1 jruoho const double x = 1.0L / 0.0L;
114 1.1 jruoho double y = sinh(x);
115 1.1 jruoho
116 1.1 jruoho ATF_CHECK(isinf(y) != 0);
117 1.1 jruoho ATF_CHECK(signbit(y) == 0);
118 1.1 jruoho #endif
119 1.1 jruoho }
120 1.1 jruoho
121 1.1 jruoho ATF_TC(sinh_zero_neg);
122 1.1 jruoho ATF_TC_HEAD(sinh_zero_neg, tc)
123 1.1 jruoho {
124 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test sinh(-0.0) == -0.0");
125 1.1 jruoho }
126 1.1 jruoho
127 1.1 jruoho ATF_TC_BODY(sinh_zero_neg, tc)
128 1.1 jruoho {
129 1.1 jruoho #ifndef __vax__
130 1.1 jruoho const double x = -0.0L;
131 1.1 jruoho double y = sinh(x);
132 1.1 jruoho
133 1.1 jruoho if (fabs(y) > 0.0 || signbit(y) == 0)
134 1.1 jruoho atf_tc_fail_nonfatal("sinh(-0.0) != -0.0");
135 1.1 jruoho #endif
136 1.1 jruoho }
137 1.1 jruoho
138 1.1 jruoho ATF_TC(sinh_zero_pos);
139 1.1 jruoho ATF_TC_HEAD(sinh_zero_pos, tc)
140 1.1 jruoho {
141 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test sinh(+0.0) == +0.0");
142 1.1 jruoho }
143 1.1 jruoho
144 1.1 jruoho ATF_TC_BODY(sinh_zero_pos, tc)
145 1.1 jruoho {
146 1.1 jruoho #ifndef __vax__
147 1.1 jruoho const double x = 0.0L;
148 1.1 jruoho double y = sinh(x);
149 1.1 jruoho
150 1.1 jruoho if (fabs(y) > 0.0 || signbit(y) != 0)
151 1.1 jruoho atf_tc_fail_nonfatal("sinh(+0.0) != +0.0");
152 1.1 jruoho #endif
153 1.1 jruoho }
154 1.1 jruoho
155 1.1 jruoho /*
156 1.1 jruoho * sinhf(3)
157 1.1 jruoho */
158 1.1 jruoho ATF_TC(sinhf_def);
159 1.1 jruoho ATF_TC_HEAD(sinhf_def, tc)
160 1.1 jruoho {
161 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test the definition of sinhf(3)");
162 1.1 jruoho }
163 1.1 jruoho
164 1.1 jruoho ATF_TC_BODY(sinhf_def, tc)
165 1.1 jruoho {
166 1.1 jruoho #ifndef __vax__
167 1.3 jruoho const float x[] = { 0.005, 0.05, 0.0, 1.0, 10.0, 20.0 };
168 1.4 jruoho const float eps = 1.0e-2;
169 1.1 jruoho float y, z;
170 1.1 jruoho size_t i;
171 1.1 jruoho
172 1.1 jruoho for (i = 0; i < __arraycount(x); i++) {
173 1.1 jruoho
174 1.1 jruoho y = sinhf(x[i]);
175 1.1 jruoho z = (expf(x[i]) - expf(-x[i])) / 2;
176 1.1 jruoho
177 1.3 jruoho (void)fprintf(stderr,
178 1.3 jruoho "sinhf(%0.03f) = %f\n(expf(%0.03f) - "
179 1.3 jruoho "expf(-%0.03f)) / 2 = %f\n", x[i], y, x[i], x[i], z);
180 1.3 jruoho
181 1.1 jruoho if (fabsf(y - z) > eps)
182 1.1 jruoho atf_tc_fail_nonfatal("sinhf(%0.03f) != %0.03f\n",
183 1.1 jruoho x[i], z);
184 1.1 jruoho }
185 1.1 jruoho #endif
186 1.1 jruoho }
187 1.1 jruoho
188 1.1 jruoho ATF_TC(sinhf_nan);
189 1.1 jruoho ATF_TC_HEAD(sinhf_nan, tc)
190 1.1 jruoho {
191 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test sinhf(NaN) == NaN");
192 1.1 jruoho }
193 1.1 jruoho
194 1.1 jruoho ATF_TC_BODY(sinhf_nan, tc)
195 1.1 jruoho {
196 1.1 jruoho #ifndef __vax__
197 1.1 jruoho const float x = 0.0L / 0.0L;
198 1.1 jruoho
199 1.1 jruoho ATF_CHECK(isnan(x) != 0);
200 1.1 jruoho ATF_CHECK(isnan(sinhf(x)) != 0);
201 1.1 jruoho #endif
202 1.1 jruoho }
203 1.1 jruoho
204 1.1 jruoho ATF_TC(sinhf_inf_neg);
205 1.1 jruoho ATF_TC_HEAD(sinhf_inf_neg, tc)
206 1.1 jruoho {
207 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test sinhf(-Inf) == -Inf");
208 1.1 jruoho }
209 1.1 jruoho
210 1.1 jruoho ATF_TC_BODY(sinhf_inf_neg, tc)
211 1.1 jruoho {
212 1.1 jruoho #ifndef __vax__
213 1.1 jruoho const float x = -1.0L / 0.0L;
214 1.1 jruoho float y = sinhf(x);
215 1.1 jruoho
216 1.1 jruoho ATF_CHECK(isinf(y) != 0);
217 1.1 jruoho ATF_CHECK(signbit(y) != 0);
218 1.1 jruoho #endif
219 1.1 jruoho }
220 1.1 jruoho
221 1.1 jruoho ATF_TC(sinhf_inf_pos);
222 1.1 jruoho ATF_TC_HEAD(sinhf_inf_pos, tc)
223 1.1 jruoho {
224 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test sinhf(+Inf) == +Inf");
225 1.1 jruoho }
226 1.1 jruoho
227 1.1 jruoho ATF_TC_BODY(sinhf_inf_pos, tc)
228 1.1 jruoho {
229 1.1 jruoho #ifndef __vax__
230 1.1 jruoho const float x = 1.0L / 0.0L;
231 1.1 jruoho float y = sinhf(x);
232 1.1 jruoho
233 1.1 jruoho ATF_CHECK(isinf(y) != 0);
234 1.1 jruoho ATF_CHECK(signbit(y) == 0);
235 1.1 jruoho #endif
236 1.1 jruoho }
237 1.1 jruoho
238 1.1 jruoho ATF_TC(sinhf_zero_neg);
239 1.1 jruoho ATF_TC_HEAD(sinhf_zero_neg, tc)
240 1.1 jruoho {
241 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test sinhf(-0.0) == -0.0");
242 1.1 jruoho }
243 1.1 jruoho
244 1.1 jruoho ATF_TC_BODY(sinhf_zero_neg, tc)
245 1.1 jruoho {
246 1.1 jruoho #ifndef __vax__
247 1.1 jruoho const float x = -0.0L;
248 1.1 jruoho float y = sinhf(x);
249 1.1 jruoho
250 1.1 jruoho if (fabsf(y) > 0.0 || signbit(y) == 0)
251 1.1 jruoho atf_tc_fail_nonfatal("sinhf(-0.0) != -0.0");
252 1.1 jruoho #endif
253 1.1 jruoho }
254 1.1 jruoho
255 1.1 jruoho ATF_TC(sinhf_zero_pos);
256 1.1 jruoho ATF_TC_HEAD(sinhf_zero_pos, tc)
257 1.1 jruoho {
258 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test sinhf(+0.0) == +0.0");
259 1.1 jruoho }
260 1.1 jruoho
261 1.1 jruoho ATF_TC_BODY(sinhf_zero_pos, tc)
262 1.1 jruoho {
263 1.1 jruoho #ifndef __vax__
264 1.1 jruoho const float x = 0.0L;
265 1.1 jruoho float y = sinhf(x);
266 1.1 jruoho
267 1.1 jruoho if (fabsf(y) > 0.0 || signbit(y) != 0)
268 1.1 jruoho atf_tc_fail_nonfatal("sinhf(+0.0) != +0.0");
269 1.1 jruoho #endif
270 1.1 jruoho }
271 1.1 jruoho
272 1.1 jruoho ATF_TP_ADD_TCS(tp)
273 1.1 jruoho {
274 1.1 jruoho
275 1.1 jruoho ATF_TP_ADD_TC(tp, sinh_def);
276 1.1 jruoho ATF_TP_ADD_TC(tp, sinh_nan);
277 1.1 jruoho ATF_TP_ADD_TC(tp, sinh_inf_neg);
278 1.1 jruoho ATF_TP_ADD_TC(tp, sinh_inf_pos);
279 1.1 jruoho ATF_TP_ADD_TC(tp, sinh_zero_neg);
280 1.1 jruoho ATF_TP_ADD_TC(tp, sinh_zero_pos);
281 1.1 jruoho
282 1.1 jruoho ATF_TP_ADD_TC(tp, sinhf_def);
283 1.1 jruoho ATF_TP_ADD_TC(tp, sinhf_nan);
284 1.1 jruoho ATF_TP_ADD_TC(tp, sinhf_inf_neg);
285 1.1 jruoho ATF_TP_ADD_TC(tp, sinhf_inf_pos);
286 1.1 jruoho ATF_TP_ADD_TC(tp, sinhf_zero_neg);
287 1.1 jruoho ATF_TP_ADD_TC(tp, sinhf_zero_pos);
288 1.1 jruoho
289 1.1 jruoho return atf_no_error();
290 1.1 jruoho }
291