t_sinh.c revision 1.1 1 1.1 jruoho /* $NetBSD: t_sinh.c,v 1.1 2011/10/16 07:40:47 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.1 jruoho __RCSID("$NetBSD: t_sinh.c,v 1.1 2011/10/16 07:40:47 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.1 jruoho const double x[] = { -9.0, -1.0, -0.05, 0.0, 1.0, 10.0, 20.0 };
51 1.1 jruoho const double eps = 1.0e-16;
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.1 jruoho if (fabs(y - z) > eps)
61 1.1 jruoho atf_tc_fail_nonfatal("sinh(%0.03f) != %0.03f\n",
62 1.1 jruoho x[i], z);
63 1.1 jruoho }
64 1.1 jruoho #endif
65 1.1 jruoho }
66 1.1 jruoho
67 1.1 jruoho ATF_TC(sinh_nan);
68 1.1 jruoho ATF_TC_HEAD(sinh_nan, tc)
69 1.1 jruoho {
70 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test sinh(NaN) == NaN");
71 1.1 jruoho }
72 1.1 jruoho
73 1.1 jruoho ATF_TC_BODY(sinh_nan, tc)
74 1.1 jruoho {
75 1.1 jruoho #ifndef __vax__
76 1.1 jruoho const double x = 0.0L / 0.0L;
77 1.1 jruoho
78 1.1 jruoho ATF_CHECK(isnan(x) != 0);
79 1.1 jruoho ATF_CHECK(isnan(sinh(x)) != 0);
80 1.1 jruoho #endif
81 1.1 jruoho }
82 1.1 jruoho
83 1.1 jruoho ATF_TC(sinh_inf_neg);
84 1.1 jruoho ATF_TC_HEAD(sinh_inf_neg, tc)
85 1.1 jruoho {
86 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test sinh(-Inf) == -Inf");
87 1.1 jruoho }
88 1.1 jruoho
89 1.1 jruoho ATF_TC_BODY(sinh_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 = sinh(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(sinh_inf_pos);
101 1.1 jruoho ATF_TC_HEAD(sinh_inf_pos, tc)
102 1.1 jruoho {
103 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test sinh(+Inf) == +Inf");
104 1.1 jruoho }
105 1.1 jruoho
106 1.1 jruoho ATF_TC_BODY(sinh_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 = sinh(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(sinh_zero_neg);
118 1.1 jruoho ATF_TC_HEAD(sinh_zero_neg, tc)
119 1.1 jruoho {
120 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test sinh(-0.0) == -0.0");
121 1.1 jruoho }
122 1.1 jruoho
123 1.1 jruoho ATF_TC_BODY(sinh_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 = sinh(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("sinh(-0.0) != -0.0");
131 1.1 jruoho #endif
132 1.1 jruoho }
133 1.1 jruoho
134 1.1 jruoho ATF_TC(sinh_zero_pos);
135 1.1 jruoho ATF_TC_HEAD(sinh_zero_pos, tc)
136 1.1 jruoho {
137 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test sinh(+0.0) == +0.0");
138 1.1 jruoho }
139 1.1 jruoho
140 1.1 jruoho ATF_TC_BODY(sinh_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 = sinh(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("sinh(+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 * sinhf(3)
153 1.1 jruoho */
154 1.1 jruoho ATF_TC(sinhf_def);
155 1.1 jruoho ATF_TC_HEAD(sinhf_def, tc)
156 1.1 jruoho {
157 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test the definition of sinhf(3)");
158 1.1 jruoho }
159 1.1 jruoho
160 1.1 jruoho ATF_TC_BODY(sinhf_def, tc)
161 1.1 jruoho {
162 1.1 jruoho #ifndef __vax__
163 1.1 jruoho const float x[] = { -9.0, -1.0, -0.05, 0.0, 1.0, 10.0, 20.0 };
164 1.1 jruoho const float eps = 1.0e-7;
165 1.1 jruoho float y, z;
166 1.1 jruoho size_t i;
167 1.1 jruoho
168 1.1 jruoho for (i = 0; i < __arraycount(x); i++) {
169 1.1 jruoho
170 1.1 jruoho y = sinhf(x[i]);
171 1.1 jruoho z = (expf(x[i]) - expf(-x[i])) / 2;
172 1.1 jruoho
173 1.1 jruoho if (fabsf(y - z) > eps)
174 1.1 jruoho atf_tc_fail_nonfatal("sinhf(%0.03f) != %0.03f\n",
175 1.1 jruoho x[i], z);
176 1.1 jruoho }
177 1.1 jruoho #endif
178 1.1 jruoho }
179 1.1 jruoho
180 1.1 jruoho ATF_TC(sinhf_nan);
181 1.1 jruoho ATF_TC_HEAD(sinhf_nan, tc)
182 1.1 jruoho {
183 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test sinhf(NaN) == NaN");
184 1.1 jruoho }
185 1.1 jruoho
186 1.1 jruoho ATF_TC_BODY(sinhf_nan, tc)
187 1.1 jruoho {
188 1.1 jruoho #ifndef __vax__
189 1.1 jruoho const float x = 0.0L / 0.0L;
190 1.1 jruoho
191 1.1 jruoho ATF_CHECK(isnan(x) != 0);
192 1.1 jruoho ATF_CHECK(isnan(sinhf(x)) != 0);
193 1.1 jruoho #endif
194 1.1 jruoho }
195 1.1 jruoho
196 1.1 jruoho ATF_TC(sinhf_inf_neg);
197 1.1 jruoho ATF_TC_HEAD(sinhf_inf_neg, tc)
198 1.1 jruoho {
199 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test sinhf(-Inf) == -Inf");
200 1.1 jruoho }
201 1.1 jruoho
202 1.1 jruoho ATF_TC_BODY(sinhf_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 = sinhf(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(sinhf_inf_pos);
214 1.1 jruoho ATF_TC_HEAD(sinhf_inf_pos, tc)
215 1.1 jruoho {
216 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test sinhf(+Inf) == +Inf");
217 1.1 jruoho }
218 1.1 jruoho
219 1.1 jruoho ATF_TC_BODY(sinhf_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 = sinhf(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(sinhf_zero_neg);
231 1.1 jruoho ATF_TC_HEAD(sinhf_zero_neg, tc)
232 1.1 jruoho {
233 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test sinhf(-0.0) == -0.0");
234 1.1 jruoho }
235 1.1 jruoho
236 1.1 jruoho ATF_TC_BODY(sinhf_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 = sinhf(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("sinhf(-0.0) != -0.0");
244 1.1 jruoho #endif
245 1.1 jruoho }
246 1.1 jruoho
247 1.1 jruoho ATF_TC(sinhf_zero_pos);
248 1.1 jruoho ATF_TC_HEAD(sinhf_zero_pos, tc)
249 1.1 jruoho {
250 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test sinhf(+0.0) == +0.0");
251 1.1 jruoho }
252 1.1 jruoho
253 1.1 jruoho ATF_TC_BODY(sinhf_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 = sinhf(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("sinhf(+0.0) != +0.0");
261 1.1 jruoho #endif
262 1.1 jruoho }
263 1.1 jruoho
264 1.1 jruoho ATF_TP_ADD_TCS(tp)
265 1.1 jruoho {
266 1.1 jruoho
267 1.1 jruoho ATF_TP_ADD_TC(tp, sinh_def);
268 1.1 jruoho ATF_TP_ADD_TC(tp, sinh_nan);
269 1.1 jruoho ATF_TP_ADD_TC(tp, sinh_inf_neg);
270 1.1 jruoho ATF_TP_ADD_TC(tp, sinh_inf_pos);
271 1.1 jruoho ATF_TP_ADD_TC(tp, sinh_zero_neg);
272 1.1 jruoho ATF_TP_ADD_TC(tp, sinh_zero_pos);
273 1.1 jruoho
274 1.1 jruoho ATF_TP_ADD_TC(tp, sinhf_def);
275 1.1 jruoho ATF_TP_ADD_TC(tp, sinhf_nan);
276 1.1 jruoho ATF_TP_ADD_TC(tp, sinhf_inf_neg);
277 1.1 jruoho ATF_TP_ADD_TC(tp, sinhf_inf_pos);
278 1.1 jruoho ATF_TP_ADD_TC(tp, sinhf_zero_neg);
279 1.1 jruoho ATF_TP_ADD_TC(tp, sinhf_zero_pos);
280 1.1 jruoho
281 1.1 jruoho return atf_no_error();
282 1.1 jruoho }
283