t_cos.c revision 1.2 1 1.2 jruoho /* $NetBSD: t_cos.c,v 1.2 2011/09/14 06:50:43 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
32 1.1 jruoho #include <atf-c.h>
33 1.1 jruoho #include <math.h>
34 1.1 jruoho
35 1.1 jruoho static const struct {
36 1.1 jruoho int angle;
37 1.1 jruoho double x;
38 1.1 jruoho double y;
39 1.1 jruoho } angles[] = {
40 1.1 jruoho { -180, -3.141592653589793, -1.0000000000000000 },
41 1.1 jruoho { -135, -2.356194490192345, -0.7071067811865476 },
42 1.1 jruoho { -90, -1.570796326794897, 0.0000000000000000 },
43 1.1 jruoho { -45, -0.785398163397448, 0.7071067811865476 },
44 1.1 jruoho { 0, 0.000000000000000, 1.0000000000000000 },
45 1.1 jruoho { 30, 0.523598775598299, 0.8660254037844386 },
46 1.1 jruoho { 45, 0.785398163397448, 0.7071067811865476 },
47 1.1 jruoho { 60, 1.047197551196598, 0.5000000000000000 },
48 1.1 jruoho { 90, 1.570796326794897, 0.0000000000000000 },
49 1.1 jruoho { 120, 2.094395102393195, -0.5000000000000000 },
50 1.1 jruoho { 135, 2.356194490192345, -0.7071067811865476 },
51 1.1 jruoho { 150, 2.617993877991494, -0.8660254037844386 },
52 1.1 jruoho { 180, 3.141592653589793, -1.0000000000000000 },
53 1.1 jruoho { 270, 4.712388980384690, 0.0000000000000000 },
54 1.1 jruoho { 360, 6.283185307179586, 1.0000000000000000 }
55 1.1 jruoho };
56 1.1 jruoho
57 1.1 jruoho /*
58 1.1 jruoho * cos(3)
59 1.1 jruoho */
60 1.1 jruoho ATF_TC(cos_angles);
61 1.1 jruoho ATF_TC_HEAD(cos_angles, tc)
62 1.1 jruoho {
63 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test some selected angles");
64 1.1 jruoho }
65 1.1 jruoho
66 1.1 jruoho ATF_TC_BODY(cos_angles, tc)
67 1.1 jruoho {
68 1.1 jruoho const double eps = 1.0e-15;
69 1.1 jruoho size_t i;
70 1.1 jruoho
71 1.1 jruoho for (i = 0; i < __arraycount(angles); i++) {
72 1.1 jruoho
73 1.1 jruoho if (fabs(cos(angles[i].x) - angles[i].y) > eps)
74 1.1 jruoho atf_tc_fail_nonfatal("cos(%d deg) != %0.01f",
75 1.1 jruoho angles[i].angle, angles[i].y);
76 1.1 jruoho }
77 1.1 jruoho }
78 1.1 jruoho
79 1.1 jruoho ATF_TC(cos_nan);
80 1.1 jruoho ATF_TC_HEAD(cos_nan, tc)
81 1.1 jruoho {
82 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test cos(NaN) == NaN");
83 1.1 jruoho }
84 1.1 jruoho
85 1.1 jruoho ATF_TC_BODY(cos_nan, tc)
86 1.1 jruoho {
87 1.1 jruoho #ifndef __vax__
88 1.1 jruoho const double x = 0.0L / 0.0L;
89 1.1 jruoho
90 1.1 jruoho ATF_CHECK(isnan(x) != 0);
91 1.1 jruoho ATF_CHECK(isnan(cos(x)) != 0);
92 1.1 jruoho #endif
93 1.1 jruoho }
94 1.1 jruoho
95 1.1 jruoho ATF_TC(cos_inf_neg);
96 1.1 jruoho ATF_TC_HEAD(cos_inf_neg, tc)
97 1.1 jruoho {
98 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test cos(-Inf) == NaN");
99 1.1 jruoho }
100 1.1 jruoho
101 1.1 jruoho ATF_TC_BODY(cos_inf_neg, tc)
102 1.1 jruoho {
103 1.1 jruoho #ifndef __vax__
104 1.1 jruoho const double x = -1.0L / 0.0L;
105 1.1 jruoho
106 1.1 jruoho ATF_CHECK(isnan(cos(x)) != 0);
107 1.1 jruoho #endif
108 1.1 jruoho }
109 1.1 jruoho
110 1.1 jruoho ATF_TC(cos_inf_pos);
111 1.1 jruoho ATF_TC_HEAD(cos_inf_pos, tc)
112 1.1 jruoho {
113 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test cos(+Inf) == NaN");
114 1.1 jruoho }
115 1.1 jruoho
116 1.1 jruoho ATF_TC_BODY(cos_inf_pos, tc)
117 1.1 jruoho {
118 1.1 jruoho #ifndef __vax__
119 1.1 jruoho const double x = 1.0L / 0.0L;
120 1.1 jruoho
121 1.1 jruoho ATF_CHECK(isnan(cos(x)) != 0);
122 1.1 jruoho #endif
123 1.1 jruoho }
124 1.1 jruoho
125 1.1 jruoho
126 1.1 jruoho ATF_TC(cos_zero_neg);
127 1.1 jruoho ATF_TC_HEAD(cos_zero_neg, tc)
128 1.1 jruoho {
129 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test cos(-0.0) == 1.0");
130 1.1 jruoho }
131 1.1 jruoho
132 1.1 jruoho ATF_TC_BODY(cos_zero_neg, tc)
133 1.1 jruoho {
134 1.1 jruoho #ifndef __vax__
135 1.1 jruoho const double x = -0.0L;
136 1.1 jruoho
137 1.1 jruoho ATF_CHECK(cos(x) == 1.0);
138 1.1 jruoho #endif
139 1.1 jruoho }
140 1.1 jruoho
141 1.1 jruoho ATF_TC(cos_zero_pos);
142 1.1 jruoho ATF_TC_HEAD(cos_zero_pos, tc)
143 1.1 jruoho {
144 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test cos(+0.0) == 1.0");
145 1.1 jruoho }
146 1.1 jruoho
147 1.1 jruoho ATF_TC_BODY(cos_zero_pos, tc)
148 1.1 jruoho {
149 1.1 jruoho #ifndef __vax__
150 1.1 jruoho const double x = 0.0L;
151 1.1 jruoho
152 1.1 jruoho ATF_CHECK(cos(x) == 1.0);
153 1.1 jruoho #endif
154 1.1 jruoho }
155 1.1 jruoho
156 1.1 jruoho /*
157 1.1 jruoho * cosf(3)
158 1.1 jruoho */
159 1.1 jruoho ATF_TC(cosf_angles);
160 1.1 jruoho ATF_TC_HEAD(cosf_angles, tc)
161 1.1 jruoho {
162 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test some selected angles");
163 1.1 jruoho }
164 1.1 jruoho
165 1.1 jruoho ATF_TC_BODY(cosf_angles, tc)
166 1.1 jruoho {
167 1.1 jruoho const float eps = 1.0e-7;
168 1.1 jruoho float x, y;
169 1.1 jruoho size_t i;
170 1.1 jruoho
171 1.1 jruoho for (i = 0; i < __arraycount(angles); i++) {
172 1.1 jruoho
173 1.1 jruoho x = angles[i].x;
174 1.1 jruoho y = angles[i].y;
175 1.1 jruoho
176 1.2 jruoho if (fabsf(cosf(x) - y) > eps)
177 1.1 jruoho atf_tc_fail_nonfatal("cosf(%d deg) != %0.01f",
178 1.1 jruoho angles[i].angle, angles[i].y);
179 1.1 jruoho }
180 1.1 jruoho }
181 1.1 jruoho
182 1.1 jruoho ATF_TC(cosf_nan);
183 1.1 jruoho ATF_TC_HEAD(cosf_nan, tc)
184 1.1 jruoho {
185 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test cosf(NaN) == NaN");
186 1.1 jruoho }
187 1.1 jruoho
188 1.1 jruoho ATF_TC_BODY(cosf_nan, tc)
189 1.1 jruoho {
190 1.1 jruoho #ifndef __vax__
191 1.1 jruoho const float x = 0.0L / 0.0L;
192 1.1 jruoho
193 1.1 jruoho ATF_CHECK(isnan(x) != 0);
194 1.1 jruoho ATF_CHECK(isnan(cosf(x)) != 0);
195 1.1 jruoho #endif
196 1.1 jruoho }
197 1.1 jruoho
198 1.1 jruoho ATF_TC(cosf_inf_neg);
199 1.1 jruoho ATF_TC_HEAD(cosf_inf_neg, tc)
200 1.1 jruoho {
201 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test cosf(-Inf) == NaN");
202 1.1 jruoho }
203 1.1 jruoho
204 1.1 jruoho ATF_TC_BODY(cosf_inf_neg, tc)
205 1.1 jruoho {
206 1.1 jruoho #ifndef __vax__
207 1.1 jruoho const float x = -1.0L / 0.0L;
208 1.1 jruoho
209 1.1 jruoho ATF_CHECK(isnan(cosf(x)) != 0);
210 1.1 jruoho #endif
211 1.1 jruoho }
212 1.1 jruoho
213 1.1 jruoho ATF_TC(cosf_inf_pos);
214 1.1 jruoho ATF_TC_HEAD(cosf_inf_pos, tc)
215 1.1 jruoho {
216 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test cosf(+Inf) == NaN");
217 1.1 jruoho }
218 1.1 jruoho
219 1.1 jruoho ATF_TC_BODY(cosf_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
224 1.1 jruoho ATF_CHECK(isnan(cosf(x)) != 0);
225 1.1 jruoho #endif
226 1.1 jruoho }
227 1.1 jruoho
228 1.1 jruoho
229 1.1 jruoho ATF_TC(cosf_zero_neg);
230 1.1 jruoho ATF_TC_HEAD(cosf_zero_neg, tc)
231 1.1 jruoho {
232 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test cosf(-0.0) == 1.0");
233 1.1 jruoho }
234 1.1 jruoho
235 1.1 jruoho ATF_TC_BODY(cosf_zero_neg, tc)
236 1.1 jruoho {
237 1.1 jruoho #ifndef __vax__
238 1.1 jruoho const float x = -0.0L;
239 1.1 jruoho
240 1.1 jruoho ATF_CHECK(cosf(x) == 1.0);
241 1.1 jruoho #endif
242 1.1 jruoho }
243 1.1 jruoho
244 1.1 jruoho ATF_TC(cosf_zero_pos);
245 1.1 jruoho ATF_TC_HEAD(cosf_zero_pos, tc)
246 1.1 jruoho {
247 1.1 jruoho atf_tc_set_md_var(tc, "descr", "Test cosf(+0.0) == 1.0");
248 1.1 jruoho }
249 1.1 jruoho
250 1.1 jruoho ATF_TC_BODY(cosf_zero_pos, tc)
251 1.1 jruoho {
252 1.1 jruoho #ifndef __vax__
253 1.1 jruoho const float x = 0.0L;
254 1.1 jruoho
255 1.1 jruoho ATF_CHECK(cosf(x) == 1.0);
256 1.1 jruoho #endif
257 1.1 jruoho }
258 1.1 jruoho
259 1.1 jruoho ATF_TP_ADD_TCS(tp)
260 1.1 jruoho {
261 1.1 jruoho
262 1.1 jruoho ATF_TP_ADD_TC(tp, cos_angles);
263 1.1 jruoho ATF_TP_ADD_TC(tp, cos_nan);
264 1.1 jruoho ATF_TP_ADD_TC(tp, cos_inf_neg);
265 1.1 jruoho ATF_TP_ADD_TC(tp, cos_inf_pos);
266 1.1 jruoho ATF_TP_ADD_TC(tp, cos_zero_neg);
267 1.1 jruoho ATF_TP_ADD_TC(tp, cos_zero_pos);
268 1.1 jruoho
269 1.1 jruoho ATF_TP_ADD_TC(tp, cosf_angles);
270 1.1 jruoho ATF_TP_ADD_TC(tp, cosf_nan);
271 1.1 jruoho ATF_TP_ADD_TC(tp, cosf_inf_neg);
272 1.1 jruoho ATF_TP_ADD_TC(tp, cosf_inf_pos);
273 1.1 jruoho ATF_TP_ADD_TC(tp, cosf_zero_neg);
274 1.1 jruoho ATF_TP_ADD_TC(tp, cosf_zero_pos);
275 1.1 jruoho
276 1.1 jruoho return atf_no_error();
277 1.1 jruoho }
278