5 * Common Development and Distribution License (the "License").
6 * You may not use this file except in compliance with the License.
7 *
8 * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
9 * or http://www.opensolaris.org/os/licensing.
10 * See the License for the specific language governing permissions
11 * and limitations under the License.
12 *
13 * When distributing Covered Code, include this CDDL HEADER in each
14 * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
15 * If applicable, add the following below this CDDL HEADER, with the
16 * fields enclosed by brackets "[]" replaced with your own identifying
17 * information: Portions Copyright [yyyy] [name of copyright owner]
18 *
19 * CDDL HEADER END
20 */
21
22 /*
23 * Copyright 2011 Nexenta Systems, Inc. All rights reserved.
24 */
25 /*
26 * Copyright 2006 Sun Microsystems, Inc. All rights reserved.
27 * Use is subject to license terms.
28 */
29
30 /*
31 * void sincospil(long double x, long double *s, long double *c)
32 * *s = sinl(pi*x); *c = cosl(pi*x);
33 *
34 * Algorithm, 10/17/2002, K.C. Ng
35 * ------------------------------
36 * Let y = |4x|, z = floor(y), and n = (int)(z mod 8.0) (displayed in binary).
37 * 1. If y == z, then x is a multiple of pi/4. Return the following values:
38 * ---------------------------------------------------
39 * n x mod 2 sin(x*pi) cos(x*pi) tan(x*pi)
40 * ---------------------------------------------------
41 * 000 0.00 +0 ___ +1 ___ +0
42 * 001 0.25 +\/0.5 +\/0.5 +1
43 * 010 0.50 +1 ___ +0 ___ +inf
44 * 011 0.75 +\/0.5 -\/0.5 -1
56 * 010 (y-z)/4 cospi(t) -sinpi(t) -1/tanpi(t)
57 * 011 (z+1-y)/4 sinpi(t) -cospi(t) -tanpi(t)
58 * 100 (y-z)/4 -sinpi(t) -cospi(t) tanpi(t)
59 * 101 (z+1-y)/4 -cospi(t) -sinpi(t) 1/tanpi(t)
60 * 110 (y-z)/4 -cospi(t) sinpi(t) -1/tanpi(t)
61 * 111 (z+1-y)/4 -sinpi(t) cospi(t) -tanpi(t)
62 * ---------------------------------------------------
63 *
64 * NOTE. This program compute sinpi/cospi(t<0.25) by __k_sin/cos(pi*t, 0.0).
65 * This will return a result with error slightly more than one ulp (but less
66 * than 2 ulp). If one wants accurate result, one may break up pi*t in
67 * high (tpi_h) and low (tpi_l) parts and call __k_sin/cos(tip_h, tip_lo)
68 * instead.
69 */
70
71 #include "libm.h"
72 #include "longdouble.h"
73
74 #include <sys/isa_defs.h>
75
76 #define I(q, m) ((int *) &(q))[m]
77 #define U(q, m) ((unsigned *) &(q))[m]
78 #if defined(__i386) || defined(__amd64)
79 #define LDBL_MOST_SIGNIF_I(ld) ((I(ld, 2) << 16) | (0xffff & (I(ld, 1) >> 15)))
80 #define LDBL_LEAST_SIGNIF_U(ld) U(ld, 0)
81 #define PREC 64
82 #define PRECM1 63
83 #define PRECM2 62
84 static const long double twoPRECM2 = 9.223372036854775808000000000000000e+18L;
85 #else
86 #define LDBL_MOST_SIGNIF_I(ld) I(ld, 0)
87 #define LDBL_LEAST_SIGNIF_U(ld) U(ld, sizeof(long double) / sizeof(int) - 1)
88 #define PREC 113
89 #define PRECM1 112
90 #define PRECM2 111
91 static const long double twoPRECM2 = 5.192296858534827628530496329220096e+33L;
92 #endif
93
94 static const long double
95 zero = 0.0L,
96 quater = 0.25L,
97 one = 1.0L,
98 pi = 3.141592653589793238462643383279502884197e+0000L,
99 sqrth = 0.707106781186547524400844362104849039284835937688474,
100 tiny = 1.0e-100;
101
102 void
103 sincospil(long double x, long double *s, long double *c) {
104 long double y, z, t;
105 int hx, n, k;
106 unsigned lx;
107
108 hx = LDBL_MOST_SIGNIF_I(x);
109 lx = LDBL_LEAST_SIGNIF_U(x);
110 k = ((hx & 0x7fff0000) >> 16) - 0x3fff;
111 if (k >= PRECM2) { /* |x| >= 2**(Prec-2) */
112 if (k >= 16384) {
113 *s = *c = x - x;
114 }
115 else {
116 if (k >= PREC) {
117 *s = zero;
118 *c = one;
119 }
120 else if (k == PRECM1) {
121 if ((lx & 1) == 0) {
122 *s = zero;
123 *c = one;
124 }
125 else {
126 *s = -zero;
127 *c = -one;
128 }
129 }
130 else { /* k = Prec - 2 */
131 if ((lx & 1) == 0) {
132 *s = zero;
133 *c = one;
134 }
135 else {
136 *s = one;
137 *c = zero;
138 }
139 if ((lx & 2) != 0) {
140 *s = -*s;
141 *c = -*c;
142 }
143 }
144 }
145 }
146 else if (k < -2) /* |x| < 0.25 */
147 *s = __k_sincosl(pi * fabsl(x), zero, c);
148 else {
149 /* y = |4x|, z = floor(y), and n = (int)(z mod 8.0) */
150 y = 4.0L * fabsl(x);
151 if (k < PRECM2) {
152 z = y + twoPRECM2;
153 n = LDBL_LEAST_SIGNIF_U(z) & 7; /* 3 LSb of z */
154 t = z - twoPRECM2;
155 k = 0;
156 if (t == y)
157 k = 1;
158 else if (t > y) {
159 n -= 1;
160 t = quater + (y - t) * quater;
161 }
162 else
163 t = (y - t) * quater;
164 }
165 else { /* k = Prec-3 */
166 n = LDBL_LEAST_SIGNIF_U(y) & 7; /* 3 LSb of z */
167 k = 1;
168 }
169 if (k) { /* x = N/4 */
170 if ((n & 1) != 0)
171 *s = *c = sqrth + tiny;
172 else
173 if ((n & 2) == 0) {
174 *s = zero;
175 *c = one;
176 }
177 else {
178 *s = one;
179 *c = zero;
180 }
181 if ((n & 4) != 0)
182 *s = -*s;
183 if (((n + 1) & 4) != 0)
184 *c = -*c;
185 }
186 else {
187 if ((n & 1) != 0)
188 t = quater - t;
189 if (((n + (n & 1)) & 2) == 0)
190 *s = __k_sincosl(pi * t, zero, c);
191 else
192 *c = __k_sincosl(pi * t, zero, s);
193 if ((n & 4) != 0)
194 *s = -*s;
195 if (((n + 2) & 4) != 0)
196 *c = -*c;
197 }
198 }
199 if (hx < 0)
200 *s = -*s;
201 }
202 #undef U
203 #undef LDBL_LEAST_SIGNIF_U
204 #undef I
205 #undef LDBL_MOST_SIGNIF_I
|
5 * Common Development and Distribution License (the "License").
6 * You may not use this file except in compliance with the License.
7 *
8 * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
9 * or http://www.opensolaris.org/os/licensing.
10 * See the License for the specific language governing permissions
11 * and limitations under the License.
12 *
13 * When distributing Covered Code, include this CDDL HEADER in each
14 * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
15 * If applicable, add the following below this CDDL HEADER, with the
16 * fields enclosed by brackets "[]" replaced with your own identifying
17 * information: Portions Copyright [yyyy] [name of copyright owner]
18 *
19 * CDDL HEADER END
20 */
21
22 /*
23 * Copyright 2011 Nexenta Systems, Inc. All rights reserved.
24 */
25
26 /*
27 * Copyright 2006 Sun Microsystems, Inc. All rights reserved.
28 * Use is subject to license terms.
29 */
30
31 /*
32 * void sincospil(long double x, long double *s, long double *c)
33 * *s = sinl(pi*x); *c = cosl(pi*x);
34 *
35 * Algorithm, 10/17/2002, K.C. Ng
36 * ------------------------------
37 * Let y = |4x|, z = floor(y), and n = (int)(z mod 8.0) (displayed in binary).
38 * 1. If y == z, then x is a multiple of pi/4. Return the following values:
39 * ---------------------------------------------------
40 * n x mod 2 sin(x*pi) cos(x*pi) tan(x*pi)
41 * ---------------------------------------------------
42 * 000 0.00 +0 ___ +1 ___ +0
43 * 001 0.25 +\/0.5 +\/0.5 +1
44 * 010 0.50 +1 ___ +0 ___ +inf
45 * 011 0.75 +\/0.5 -\/0.5 -1
57 * 010 (y-z)/4 cospi(t) -sinpi(t) -1/tanpi(t)
58 * 011 (z+1-y)/4 sinpi(t) -cospi(t) -tanpi(t)
59 * 100 (y-z)/4 -sinpi(t) -cospi(t) tanpi(t)
60 * 101 (z+1-y)/4 -cospi(t) -sinpi(t) 1/tanpi(t)
61 * 110 (y-z)/4 -cospi(t) sinpi(t) -1/tanpi(t)
62 * 111 (z+1-y)/4 -sinpi(t) cospi(t) -tanpi(t)
63 * ---------------------------------------------------
64 *
65 * NOTE. This program compute sinpi/cospi(t<0.25) by __k_sin/cos(pi*t, 0.0).
66 * This will return a result with error slightly more than one ulp (but less
67 * than 2 ulp). If one wants accurate result, one may break up pi*t in
68 * high (tpi_h) and low (tpi_l) parts and call __k_sin/cos(tip_h, tip_lo)
69 * instead.
70 */
71
72 #include "libm.h"
73 #include "longdouble.h"
74
75 #include <sys/isa_defs.h>
76
77 #define I(q, m) ((int *)&(q))[m]
78 #define U(q, m) ((unsigned *)&(q))[m]
79 #if defined(__i386) || defined(__amd64)
80 #define LDBL_MOST_SIGNIF_I(ld) ((I(ld, 2) << 16) | (0xffff & (I(ld, \
81 1) >> 15)))
82 #define LDBL_LEAST_SIGNIF_U(ld) U(ld, 0)
83 #define PREC 64
84 #define PRECM1 63
85 #define PRECM2 62
86
87 static const long double twoPRECM2 = 9.223372036854775808000000000000000e+18L;
88 #else
89 #define LDBL_MOST_SIGNIF_I(ld) I(ld, 0)
90 #define LDBL_LEAST_SIGNIF_U(ld) U(ld, sizeof (long double) / \
91 sizeof (int) - 1)
92 #define PREC 113
93 #define PRECM1 112
94 #define PRECM2 111
95
96 static const long double twoPRECM2 = 5.192296858534827628530496329220096e+33L;
97 #endif
98
99 static const long double zero = 0.0L,
100 quater = 0.25L,
101 one = 1.0L,
102 pi = 3.141592653589793238462643383279502884197e+0000L,
103 sqrth = 0.707106781186547524400844362104849039284835937688474,
104 tiny = 1.0e-100;
105
106 void
107 sincospil(long double x, long double *s, long double *c)
108 {
109 long double y, z, t;
110 int hx, n, k;
111 unsigned lx;
112
113 hx = LDBL_MOST_SIGNIF_I(x);
114 lx = LDBL_LEAST_SIGNIF_U(x);
115 k = ((hx & 0x7fff0000) >> 16) - 0x3fff;
116
117 if (k >= PRECM2) { /* |x| >= 2**(Prec-2) */
118 if (k >= 16384) {
119 *s = *c = x - x;
120 } else {
121 if (k >= PREC) {
122 *s = zero;
123 *c = one;
124 } else if (k == PRECM1) {
125 if ((lx & 1) == 0) {
126 *s = zero;
127 *c = one;
128 } else {
129 *s = -zero;
130 *c = -one;
131 }
132 } else { /* k = Prec - 2 */
133 if ((lx & 1) == 0) {
134 *s = zero;
135 *c = one;
136 } else {
137 *s = one;
138 *c = zero;
139 }
140
141 if ((lx & 2) != 0) {
142 *s = -*s;
143 *c = -*c;
144 }
145 }
146 }
147 } else if (k < -2) { /* |x| < 0.25 */
148 *s = __k_sincosl(pi * fabsl(x), zero, c);
149 } else {
150 /* y = |4x|, z = floor(y), and n = (int)(z mod 8.0) */
151 y = 4.0L * fabsl(x);
152
153 if (k < PRECM2) {
154 z = y + twoPRECM2;
155 n = LDBL_LEAST_SIGNIF_U(z) & 7; /* 3 LSb of z */
156 t = z - twoPRECM2;
157 k = 0;
158
159 if (t == y) {
160 k = 1;
161 } else if (t > y) {
162 n -= 1;
163 t = quater + (y - t) * quater;
164 } else {
165 t = (y - t) * quater;
166 }
167 } else { /* k = Prec-3 */
168 n = LDBL_LEAST_SIGNIF_U(y) & 7; /* 3 LSb of z */
169 k = 1;
170 }
171
172 if (k) { /* x = N/4 */
173 if ((n & 1) != 0) {
174 *s = *c = sqrth + tiny;
175 } else if ((n & 2) == 0) {
176 *s = zero;
177 *c = one;
178 } else {
179 *s = one;
180 *c = zero;
181 }
182
183 if ((n & 4) != 0)
184 *s = -*s;
185
186 if (((n + 1) & 4) != 0)
187 *c = -*c;
188 } else {
189 if ((n & 1) != 0)
190 t = quater - t;
191
192 if (((n + (n & 1)) & 2) == 0)
193 *s = __k_sincosl(pi * t, zero, c);
194 else
195 *c = __k_sincosl(pi * t, zero, s);
196
197 if ((n & 4) != 0)
198 *s = -*s;
199
200 if (((n + 2) & 4) != 0)
201 *c = -*c;
202 }
203 }
204
205 if (hx < 0)
206 *s = -*s;
207 }
208
209 #undef U
210 #undef LDBL_LEAST_SIGNIF_U
211 #undef I
212 #undef LDBL_MOST_SIGNIF_I
|