fpu_hyperb.c revision 1.9 1 1.9 isaki /* $NetBSD: fpu_hyperb.c,v 1.9 2013/04/19 13:31:11 isaki Exp $ */
2 1.1 briggs
3 1.1 briggs /*
4 1.1 briggs * Copyright (c) 1995 Ken Nakata
5 1.1 briggs * All rights reserved.
6 1.1 briggs *
7 1.1 briggs * Redistribution and use in source and binary forms, with or without
8 1.1 briggs * modification, are permitted provided that the following conditions
9 1.1 briggs * are met:
10 1.1 briggs * 1. Redistributions of source code must retain the above copyright
11 1.1 briggs * notice, this list of conditions and the following disclaimer.
12 1.1 briggs * 2. Redistributions in binary form must reproduce the above copyright
13 1.1 briggs * notice, this list of conditions and the following disclaimer in the
14 1.1 briggs * documentation and/or other materials provided with the distribution.
15 1.1 briggs * 3. Neither the name of the author nor the names of its contributors
16 1.1 briggs * may be used to endorse or promote products derived from this software
17 1.1 briggs * without specific prior written permission.
18 1.1 briggs *
19 1.1 briggs * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
20 1.1 briggs * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
21 1.1 briggs * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
22 1.1 briggs * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
23 1.1 briggs * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
24 1.1 briggs * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
25 1.1 briggs * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
26 1.1 briggs * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
27 1.1 briggs * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
28 1.1 briggs * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
29 1.1 briggs * SUCH DAMAGE.
30 1.1 briggs *
31 1.1 briggs * @(#)fpu_hyperb.c 10/24/95
32 1.1 briggs */
33 1.2 lukem
34 1.6 tsutsui /*
35 1.6 tsutsui * Copyright (c) 2011 Tetsuya Isaki. All rights reserved.
36 1.6 tsutsui *
37 1.6 tsutsui * Redistribution and use in source and binary forms, with or without
38 1.6 tsutsui * modification, are permitted provided that the following conditions
39 1.6 tsutsui * are met:
40 1.6 tsutsui * 1. Redistributions of source code must retain the above copyright
41 1.6 tsutsui * notice, this list of conditions and the following disclaimer.
42 1.6 tsutsui * 2. Redistributions in binary form must reproduce the above copyright
43 1.6 tsutsui * notice, this list of conditions and the following disclaimer in the
44 1.6 tsutsui * documentation and/or other materials provided with the distribution.
45 1.6 tsutsui *
46 1.6 tsutsui * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
47 1.6 tsutsui * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
48 1.6 tsutsui * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
49 1.6 tsutsui * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
50 1.6 tsutsui * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
51 1.6 tsutsui * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
52 1.6 tsutsui * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
53 1.6 tsutsui * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
54 1.6 tsutsui * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
55 1.6 tsutsui * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
56 1.6 tsutsui * SUCH DAMAGE.
57 1.6 tsutsui */
58 1.6 tsutsui
59 1.2 lukem #include <sys/cdefs.h>
60 1.9 isaki __KERNEL_RCSID(0, "$NetBSD: fpu_hyperb.c,v 1.9 2013/04/19 13:31:11 isaki Exp $");
61 1.1 briggs
62 1.1 briggs #include "fpu_emulate.h"
63 1.1 briggs
64 1.1 briggs /*
65 1.1 briggs * fpu_hyperb.c: defines the following functions
66 1.1 briggs *
67 1.1 briggs * fpu_atanh(), fpu_cosh(), fpu_sinh(), and fpu_tanh()
68 1.1 briggs */
69 1.1 briggs
70 1.1 briggs struct fpn *
71 1.4 dsl fpu_atanh(struct fpemu *fe)
72 1.1 briggs {
73 1.5 isaki /* stub */
74 1.5 isaki return &fe->fe_f2;
75 1.1 briggs }
76 1.1 briggs
77 1.9 isaki /*
78 1.9 isaki * taylor expansion used by sinh(), cosh().
79 1.9 isaki */
80 1.9 isaki static struct fpn *
81 1.9 isaki __fpu_sinhcosh_taylor(struct fpemu *fe, struct fpn *s0, uint32_t f)
82 1.9 isaki {
83 1.9 isaki struct fpn res;
84 1.9 isaki struct fpn x2;
85 1.9 isaki struct fpn *s1;
86 1.9 isaki struct fpn *r;
87 1.9 isaki int sign;
88 1.9 isaki uint32_t k;
89 1.9 isaki
90 1.9 isaki /* x2 := x * x */
91 1.9 isaki CPYFPN(&fe->fe_f1, &fe->fe_f2);
92 1.9 isaki r = fpu_mul(fe);
93 1.9 isaki CPYFPN(&x2, r);
94 1.9 isaki
95 1.9 isaki /* res := s0 */
96 1.9 isaki CPYFPN(&res, s0);
97 1.9 isaki
98 1.9 isaki sign = 1; /* sign := (-1)^n */
99 1.9 isaki
100 1.9 isaki for (;;) {
101 1.9 isaki /* (f1 :=) s0 * x^2 */
102 1.9 isaki CPYFPN(&fe->fe_f1, s0);
103 1.9 isaki CPYFPN(&fe->fe_f2, &x2);
104 1.9 isaki r = fpu_mul(fe);
105 1.9 isaki CPYFPN(&fe->fe_f1, r);
106 1.9 isaki
107 1.9 isaki /*
108 1.9 isaki * for sin(), s1 := s0 * x^2 / (2n+1)2n
109 1.9 isaki * for cos(), s1 := s0 * x^2 / 2n(2n-1)
110 1.9 isaki */
111 1.9 isaki k = f * (f + 1);
112 1.9 isaki fpu_explode(fe, &fe->fe_f2, FTYPE_LNG, &k);
113 1.9 isaki s1 = fpu_div(fe);
114 1.9 isaki
115 1.9 isaki /* break if s1 is enough small */
116 1.9 isaki if (ISZERO(s1))
117 1.9 isaki break;
118 1.9 isaki if (res.fp_exp - s1->fp_exp >= FP_NMANT)
119 1.9 isaki break;
120 1.9 isaki
121 1.9 isaki /* s0 := s1 for next loop */
122 1.9 isaki CPYFPN(s0, s1);
123 1.9 isaki
124 1.9 isaki /* res += s1 */
125 1.9 isaki CPYFPN(&fe->fe_f2, s1);
126 1.9 isaki CPYFPN(&fe->fe_f1, &res);
127 1.9 isaki r = fpu_add(fe);
128 1.9 isaki CPYFPN(&res, r);
129 1.9 isaki
130 1.9 isaki f += 2;
131 1.9 isaki sign ^= 1;
132 1.9 isaki }
133 1.9 isaki
134 1.9 isaki CPYFPN(&fe->fe_f2, &res);
135 1.9 isaki return &fe->fe_f2;
136 1.9 isaki }
137 1.9 isaki
138 1.1 briggs struct fpn *
139 1.4 dsl fpu_cosh(struct fpemu *fe)
140 1.1 briggs {
141 1.6 tsutsui struct fpn s0;
142 1.6 tsutsui struct fpn *r;
143 1.6 tsutsui
144 1.6 tsutsui if (ISNAN(&fe->fe_f2))
145 1.6 tsutsui return &fe->fe_f2;
146 1.6 tsutsui
147 1.6 tsutsui if (ISINF(&fe->fe_f2)) {
148 1.6 tsutsui fe->fe_f2.fp_sign = 0;
149 1.6 tsutsui return &fe->fe_f2;
150 1.6 tsutsui }
151 1.6 tsutsui
152 1.8 isaki fpu_const(&s0, FPU_CONST_1);
153 1.9 isaki r = __fpu_sinhcosh_taylor(fe, &s0, 1);
154 1.6 tsutsui CPYFPN(&fe->fe_f2, r);
155 1.6 tsutsui
156 1.5 isaki return &fe->fe_f2;
157 1.1 briggs }
158 1.1 briggs
159 1.1 briggs struct fpn *
160 1.4 dsl fpu_sinh(struct fpemu *fe)
161 1.1 briggs {
162 1.6 tsutsui struct fpn s0;
163 1.6 tsutsui struct fpn *r;
164 1.6 tsutsui
165 1.6 tsutsui if (ISNAN(&fe->fe_f2))
166 1.6 tsutsui return &fe->fe_f2;
167 1.6 tsutsui if (ISINF(&fe->fe_f2))
168 1.6 tsutsui return &fe->fe_f2;
169 1.6 tsutsui
170 1.6 tsutsui CPYFPN(&s0, &fe->fe_f2);
171 1.9 isaki r = __fpu_sinhcosh_taylor(fe, &s0, 2);
172 1.6 tsutsui CPYFPN(&fe->fe_f2, r);
173 1.6 tsutsui
174 1.5 isaki return &fe->fe_f2;
175 1.1 briggs }
176 1.1 briggs
177 1.1 briggs struct fpn *
178 1.4 dsl fpu_tanh(struct fpemu *fe)
179 1.1 briggs {
180 1.6 tsutsui struct fpn x;
181 1.6 tsutsui struct fpn s;
182 1.6 tsutsui struct fpn *r;
183 1.6 tsutsui int sign;
184 1.6 tsutsui
185 1.6 tsutsui if (ISNAN(&fe->fe_f2))
186 1.6 tsutsui return &fe->fe_f2;
187 1.6 tsutsui
188 1.6 tsutsui if (ISINF(&fe->fe_f2)) {
189 1.6 tsutsui sign = fe->fe_f2.fp_sign;
190 1.8 isaki fpu_const(&fe->fe_f2, FPU_CONST_1);
191 1.6 tsutsui fe->fe_f2.fp_sign = sign;
192 1.6 tsutsui return &fe->fe_f2;
193 1.6 tsutsui }
194 1.6 tsutsui
195 1.6 tsutsui CPYFPN(&x, &fe->fe_f2);
196 1.6 tsutsui
197 1.6 tsutsui /* sinh(x) */
198 1.6 tsutsui CPYFPN(&fe->fe_f2, &x);
199 1.6 tsutsui r = fpu_sinh(fe);
200 1.6 tsutsui CPYFPN(&s, r);
201 1.6 tsutsui
202 1.6 tsutsui /* cosh(x) */
203 1.6 tsutsui CPYFPN(&fe->fe_f2, &x);
204 1.6 tsutsui r = fpu_cosh(fe);
205 1.6 tsutsui CPYFPN(&fe->fe_f2, r);
206 1.6 tsutsui
207 1.6 tsutsui CPYFPN(&fe->fe_f1, &s);
208 1.6 tsutsui r = fpu_div(fe);
209 1.6 tsutsui
210 1.6 tsutsui CPYFPN(&fe->fe_f2, r);
211 1.6 tsutsui
212 1.5 isaki return &fe->fe_f2;
213 1.1 briggs }
214