OLD | NEW |
1 /* origin: FreeBSD /usr/src/lib/msun/src/e_powf.c */ | 1 /* origin: FreeBSD /usr/src/lib/msun/src/e_powf.c */ |
2 /* | 2 /* |
3 * Conversion to float by Ian Lance Taylor, Cygnus Support, ian@cygnus.com. | 3 * Conversion to float by Ian Lance Taylor, Cygnus Support, ian@cygnus.com. |
4 */ | 4 */ |
5 /* | 5 /* |
6 * ==================================================== | 6 * ==================================================== |
7 * Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved. | 7 * Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved. |
8 * | 8 * |
9 * Developed at SunPro, a Sun Microsystems, Inc. business. | 9 * Developed at SunPro, a Sun Microsystems, Inc. business. |
10 * Permission to use, copy, modify, and distribute this | 10 * Permission to use, copy, modify, and distribute this |
11 * software is freely granted, provided that this notice | 11 * software is freely granted, provided that this notice |
12 * is preserved. | 12 * is preserved. |
13 * ==================================================== | 13 * ==================================================== |
14 */ | 14 */ |
15 | 15 |
16 #include "libm.h" | 16 #include "libm.h" |
17 | 17 |
18 static const float | 18 static const float bp[] = |
19 bp[] = {1.0, 1.5,}, | 19 { |
20 dp_h[] = { 0.0, 5.84960938e-01,}, /* 0x3f15c000 */ | 20 1.0, 1.5, |
21 dp_l[] = { 0.0, 1.56322085e-06,}, /* 0x35d1cfdc */ | 21 }, |
22 two24 = 16777216.0, /* 0x4b800000 */ | 22 dp_h[] = |
23 huge = 1.0e30, | 23 { |
24 tiny = 1.0e-30, | 24 0.0, 5.84960938e-01, |
25 /* poly coefs for (3/2)*(log(x)-2s-2/3*s**3 */ | 25 }, /* 0x3f15c000 */ |
26 L1 = 6.0000002384e-01, /* 0x3f19999a */ | 26 dp_l[] = |
27 L2 = 4.2857143283e-01, /* 0x3edb6db7 */ | 27 { |
28 L3 = 3.3333334327e-01, /* 0x3eaaaaab */ | 28 0.0, 1.56322085e-06, |
29 L4 = 2.7272811532e-01, /* 0x3e8ba305 */ | 29 }, /* 0x35d1cfdc */ |
30 L5 = 2.3066075146e-01, /* 0x3e6c3255 */ | 30 two24 = 16777216.0, /* 0x4b800000 */ |
31 L6 = 2.0697501302e-01, /* 0x3e53f142 */ | 31 huge = 1.0e30, |
32 P1 = 1.6666667163e-01, /* 0x3e2aaaab */ | 32 tiny = 1.0e-30, |
33 P2 = -2.7777778450e-03, /* 0xbb360b61 */ | 33 /* poly coefs for (3/2)*(log(x)-2s-2/3*s**3 */ |
34 P3 = 6.6137559770e-05, /* 0x388ab355 */ | 34 L1 = 6.0000002384e-01, /* 0x3f19999a */ |
35 P4 = -1.6533901999e-06, /* 0xb5ddea0e */ | 35 L2 = 4.2857143283e-01, /* 0x3edb6db7 */ |
36 P5 = 4.1381369442e-08, /* 0x3331bb4c */ | 36 L3 = 3.3333334327e-01, /* 0x3eaaaaab */ |
37 lg2 = 6.9314718246e-01, /* 0x3f317218 */ | 37 L4 = 2.7272811532e-01, /* 0x3e8ba305 */ |
38 lg2_h = 6.93145752e-01, /* 0x3f317200 */ | 38 L5 = 2.3066075146e-01, /* 0x3e6c3255 */ |
39 lg2_l = 1.42860654e-06, /* 0x35bfbe8c */ | 39 L6 = 2.0697501302e-01, /* 0x3e53f142 */ |
40 ovt = 4.2995665694e-08, /* -(128-log2(ovfl+.5ulp)) */ | 40 P1 = 1.6666667163e-01, /* 0x3e2aaaab */ |
41 cp = 9.6179670095e-01, /* 0x3f76384f =2/(3ln2) */ | 41 P2 = -2.7777778450e-03, /* 0xbb360b61 */ |
42 cp_h = 9.6191406250e-01, /* 0x3f764000 =12b cp */ | 42 P3 = 6.6137559770e-05, /* 0x388ab355 */ |
43 cp_l = -1.1736857402e-04, /* 0xb8f623c6 =tail of cp_h */ | 43 P4 = -1.6533901999e-06, /* 0xb5ddea0e */ |
44 ivln2 = 1.4426950216e+00, /* 0x3fb8aa3b =1/ln2 */ | 44 P5 = 4.1381369442e-08, /* 0x3331bb4c */ |
45 ivln2_h = 1.4426879883e+00, /* 0x3fb8aa00 =16b 1/ln2*/ | 45 lg2 = 6.9314718246e-01, /* 0x3f317218 */ |
46 ivln2_l = 7.0526075433e-06; /* 0x36eca570 =1/ln2 tail*/ | 46 lg2_h = 6.93145752e-01, /* 0x3f317200 */ |
47 | 47 lg2_l = 1.42860654e-06, /* 0x35bfbe8c */ |
48 float powf(float x, float y) | 48 ovt = 4.2995665694e-08, /* -(128-log2(ovfl+.5ulp)) */ |
49 { | 49 cp = 9.6179670095e-01, /* 0x3f76384f =2/(3ln2) */ |
50 float z,ax,z_h,z_l,p_h,p_l; | 50 cp_h = 9.6191406250e-01, /* 0x3f764000 =12b cp */ |
51 float y1,t1,t2,r,s,sn,t,u,v,w; | 51 cp_l = -1.1736857402e-04, /* 0xb8f623c6 =tail of cp_h */ |
52 int32_t i,j,k,yisint,n; | 52 ivln2 = 1.4426950216e+00, /* 0x3fb8aa3b =1/ln2 */ |
53 int32_t hx,hy,ix,iy,is; | 53 ivln2_h = 1.4426879883e+00, /* 0x3fb8aa00 =16b 1/ln2*/ |
54 | 54 ivln2_l = 7.0526075433e-06; /* 0x36eca570 =1/ln2 tail*/ |
55 GET_FLOAT_WORD(hx, x); | 55 |
56 GET_FLOAT_WORD(hy, y); | 56 float powf(float x, float y) { |
57 ix = hx & 0x7fffffff; | 57 float z, ax, z_h, z_l, p_h, p_l; |
58 iy = hy & 0x7fffffff; | 58 float y1, t1, t2, r, s, sn, t, u, v, w; |
59 | 59 int32_t i, j, k, yisint, n; |
60 /* x**0 = 1, even if x is NaN */ | 60 int32_t hx, hy, ix, iy, is; |
61 if (iy == 0) | 61 |
62 return 1.0f; | 62 GET_FLOAT_WORD(hx, x); |
63 /* 1**y = 1, even if y is NaN */ | 63 GET_FLOAT_WORD(hy, y); |
64 if (hx == 0x3f800000) | 64 ix = hx & 0x7fffffff; |
65 return 1.0f; | 65 iy = hy & 0x7fffffff; |
66 /* NaN if either arg is NaN */ | 66 |
67 if (ix > 0x7f800000 || iy > 0x7f800000) | 67 /* x**0 = 1, even if x is NaN */ |
68 return x + y; | 68 if (iy == 0) |
69 | 69 return 1.0f; |
70 /* determine if y is an odd int when x < 0 | 70 /* 1**y = 1, even if y is NaN */ |
71 * yisint = 0 ... y is not an integer | 71 if (hx == 0x3f800000) |
72 * yisint = 1 ... y is an odd int | 72 return 1.0f; |
73 * yisint = 2 ... y is an even int | 73 /* NaN if either arg is NaN */ |
74 */ | 74 if (ix > 0x7f800000 || iy > 0x7f800000) |
75 yisint = 0; | 75 return x + y; |
76 if (hx < 0) { | 76 |
77 if (iy >= 0x4b800000) | 77 /* determine if y is an odd int when x < 0 |
78 yisint = 2; /* even integer y */ | 78 * yisint = 0 ... y is not an integer |
79 else if (iy >= 0x3f800000) { | 79 * yisint = 1 ... y is an odd int |
80 k = (iy>>23) - 0x7f; /* exponent */ | 80 * yisint = 2 ... y is an even int |
81 j = iy>>(23-k); | 81 */ |
82 if ((j<<(23-k)) == iy) | 82 yisint = 0; |
83 yisint = 2 - (j & 1); | 83 if (hx < 0) { |
84 } | 84 if (iy >= 0x4b800000) |
85 } | 85 yisint = 2; /* even integer y */ |
86 | 86 else if (iy >= 0x3f800000) { |
87 /* special value of y */ | 87 k = (iy >> 23) - 0x7f; /* exponent */ |
88 if (iy == 0x7f800000) { /* y is +-inf */ | 88 j = iy >> (23 - k); |
89 if (ix == 0x3f800000) /* (-1)**+-inf is 1 */ | 89 if ((j << (23 - k)) == iy) |
90 return 1.0f; | 90 yisint = 2 - (j & 1); |
91 else if (ix > 0x3f800000) /* (|x|>1)**+-inf = inf,0 */ | 91 } |
92 return hy >= 0 ? y : 0.0f; | 92 } |
93 else /* (|x|<1)**+-inf = 0,inf */ | 93 |
94 return hy >= 0 ? 0.0f: -y; | 94 /* special value of y */ |
95 } | 95 if (iy == 0x7f800000) { /* y is +-inf */ |
96 if (iy == 0x3f800000) /* y is +-1 */ | 96 if (ix == 0x3f800000) /* (-1)**+-inf is 1 */ |
97 return hy >= 0 ? x : 1.0f/x; | 97 return 1.0f; |
98 if (hy == 0x40000000) /* y is 2 */ | 98 else if (ix > 0x3f800000) /* (|x|>1)**+-inf = inf,0 */ |
99 return x*x; | 99 return hy >= 0 ? y : 0.0f; |
100 if (hy == 0x3f000000) { /* y is 0.5 */ | 100 else /* (|x|<1)**+-inf = 0,inf */ |
101 if (hx >= 0) /* x >= +0 */ | 101 return hy >= 0 ? 0.0f : -y; |
102 return sqrtf(x); | 102 } |
103 } | 103 if (iy == 0x3f800000) /* y is +-1 */ |
104 | 104 return hy >= 0 ? x : 1.0f / x; |
105 ax = fabsf(x); | 105 if (hy == 0x40000000) /* y is 2 */ |
106 /* special value of x */ | 106 return x * x; |
107 if (ix == 0x7f800000 || ix == 0 || ix == 0x3f800000) { /* x is +-0,+-inf
,+-1 */ | 107 if (hy == 0x3f000000) { /* y is 0.5 */ |
108 z = ax; | 108 if (hx >= 0) /* x >= +0 */ |
109 if (hy < 0) /* z = (1/|x|) */ | 109 return sqrtf(x); |
110 z = 1.0f/z; | 110 } |
111 if (hx < 0) { | 111 |
112 if (((ix-0x3f800000)|yisint) == 0) { | 112 ax = fabsf(x); |
113 z = (z-z)/(z-z); /* (-1)**non-int is NaN */ | 113 /* special value of x */ |
114 } else if (yisint == 1) | 114 if (ix == 0x7f800000 || ix == 0 || |
115 z = -z; /* (x<0)**odd = -(|x|**odd) */ | 115 ix == 0x3f800000) { /* x is +-0,+-inf,+-1 */ |
116 } | 116 z = ax; |
117 return z; | 117 if (hy < 0) /* z = (1/|x|) */ |
118 } | 118 z = 1.0f / z; |
119 | 119 if (hx < 0) { |
120 sn = 1.0f; /* sign of result */ | 120 if (((ix - 0x3f800000) | yisint) == 0) { |
121 if (hx < 0) { | 121 z = (z - z) / (z - z); /* (-1)**non-int is NaN */ |
122 if (yisint == 0) /* (x<0)**(non-int) is NaN */ | 122 } else if (yisint == 1) |
123 return (x-x)/(x-x); | 123 z = -z; /* (x<0)**odd = -(|x|**odd) */ |
124 if (yisint == 1) /* (x<0)**(odd int) */ | 124 } |
125 sn = -1.0f; | 125 return z; |
126 } | 126 } |
127 | 127 |
128 /* |y| is huge */ | 128 sn = 1.0f; /* sign of result */ |
129 if (iy > 0x4d000000) { /* if |y| > 2**27 */ | 129 if (hx < 0) { |
130 /* over/underflow if x is not close to one */ | 130 if (yisint == 0) /* (x<0)**(non-int) is NaN */ |
131 if (ix < 0x3f7ffff8) | 131 return (x - x) / (x - x); |
132 return hy < 0 ? sn*huge*huge : sn*tiny*tiny; | 132 if (yisint == 1) /* (x<0)**(odd int) */ |
133 if (ix > 0x3f800007) | 133 sn = -1.0f; |
134 return hy > 0 ? sn*huge*huge : sn*tiny*tiny; | 134 } |
135 /* now |1-x| is tiny <= 2**-20, suffice to compute | 135 |
136 log(x) by x-x^2/2+x^3/3-x^4/4 */ | 136 /* |y| is huge */ |
137 t = ax - 1; /* t has 20 trailing zeros */ | 137 if (iy > 0x4d000000) { /* if |y| > 2**27 */ |
138 w = (t*t)*(0.5f - t*(0.333333333333f - t*0.25f)); | 138 /* over/underflow if x is not close to one */ |
139 u = ivln2_h*t; /* ivln2_h has 16 sig. bits */ | 139 if (ix < 0x3f7ffff8) |
140 v = t*ivln2_l - w*ivln2; | 140 return hy < 0 ? sn * huge * huge : sn * tiny * tiny; |
141 t1 = u + v; | 141 if (ix > 0x3f800007) |
142 GET_FLOAT_WORD(is, t1); | 142 return hy > 0 ? sn * huge * huge : sn * tiny * tiny; |
143 SET_FLOAT_WORD(t1, is & 0xfffff000); | 143 /* now |1-x| is tiny <= 2**-20, suffice to compute |
144 t2 = v - (t1-u); | 144 log(x) by x-x^2/2+x^3/3-x^4/4 */ |
145 } else { | 145 t = ax - 1; /* t has 20 trailing zeros */ |
146 float s2,s_h,s_l,t_h,t_l; | 146 w = (t * t) * (0.5f - t * (0.333333333333f - t * 0.25f)); |
147 n = 0; | 147 u = ivln2_h * t; /* ivln2_h has 16 sig. bits */ |
148 /* take care subnormal number */ | 148 v = t * ivln2_l - w * ivln2; |
149 if (ix < 0x00800000) { | 149 t1 = u + v; |
150 ax *= two24; | 150 GET_FLOAT_WORD(is, t1); |
151 n -= 24; | 151 SET_FLOAT_WORD(t1, is & 0xfffff000); |
152 GET_FLOAT_WORD(ix, ax); | 152 t2 = v - (t1 - u); |
153 } | 153 } else { |
154 n += ((ix)>>23) - 0x7f; | 154 float s2, s_h, s_l, t_h, t_l; |
155 j = ix & 0x007fffff; | 155 n = 0; |
156 /* determine interval */ | 156 /* take care subnormal number */ |
157 ix = j | 0x3f800000; /* normalize ix */ | 157 if (ix < 0x00800000) { |
158 if (j <= 0x1cc471) /* |x|<sqrt(3/2) */ | 158 ax *= two24; |
159 k = 0; | 159 n -= 24; |
160 else if (j < 0x5db3d7) /* |x|<sqrt(3) */ | 160 GET_FLOAT_WORD(ix, ax); |
161 k = 1; | 161 } |
162 else { | 162 n += ((ix) >> 23) - 0x7f; |
163 k = 0; | 163 j = ix & 0x007fffff; |
164 n += 1; | 164 /* determine interval */ |
165 ix -= 0x00800000; | 165 ix = j | 0x3f800000; /* normalize ix */ |
166 } | 166 if (j <= 0x1cc471) /* |x|<sqrt(3/2) */ |
167 SET_FLOAT_WORD(ax, ix); | 167 k = 0; |
168 | 168 else if (j < 0x5db3d7) /* |x|<sqrt(3) */ |
169 /* compute s = s_h+s_l = (x-1)/(x+1) or (x-1.5)/(x+1.5) */ | 169 k = 1; |
170 u = ax - bp[k]; /* bp[0]=1.0, bp[1]=1.5 */ | 170 else { |
171 v = 1.0f/(ax+bp[k]); | 171 k = 0; |
172 s = u*v; | 172 n += 1; |
173 s_h = s; | 173 ix -= 0x00800000; |
174 GET_FLOAT_WORD(is, s_h); | 174 } |
175 SET_FLOAT_WORD(s_h, is & 0xfffff000); | 175 SET_FLOAT_WORD(ax, ix); |
176 /* t_h=ax+bp[k] High */ | 176 |
177 is = ((ix>>1) & 0xfffff000) | 0x20000000; | 177 /* compute s = s_h+s_l = (x-1)/(x+1) or (x-1.5)/(x+1.5) */ |
178 SET_FLOAT_WORD(t_h, is + 0x00400000 + (k<<21)); | 178 u = ax - bp[k]; /* bp[0]=1.0, bp[1]=1.5 */ |
179 t_l = ax - (t_h - bp[k]); | 179 v = 1.0f / (ax + bp[k]); |
180 s_l = v*((u - s_h*t_h) - s_h*t_l); | 180 s = u * v; |
181 /* compute log(ax) */ | 181 s_h = s; |
182 s2 = s*s; | 182 GET_FLOAT_WORD(is, s_h); |
183 r = s2*s2*(L1+s2*(L2+s2*(L3+s2*(L4+s2*(L5+s2*L6))))); | 183 SET_FLOAT_WORD(s_h, is & 0xfffff000); |
184 r += s_l*(s_h+s); | 184 /* t_h=ax+bp[k] High */ |
185 s2 = s_h*s_h; | 185 is = ((ix >> 1) & 0xfffff000) | 0x20000000; |
186 t_h = 3.0f + s2 + r; | 186 SET_FLOAT_WORD(t_h, is + 0x00400000 + (k << 21)); |
187 GET_FLOAT_WORD(is, t_h); | 187 t_l = ax - (t_h - bp[k]); |
188 SET_FLOAT_WORD(t_h, is & 0xfffff000); | 188 s_l = v * ((u - s_h * t_h) - s_h * t_l); |
189 t_l = r - ((t_h - 3.0f) - s2); | 189 /* compute log(ax) */ |
190 /* u+v = s*(1+...) */ | 190 s2 = s * s; |
191 u = s_h*t_h; | 191 r = s2 * s2 * |
192 v = s_l*t_h + t_l*s; | 192 (L1 + s2 * (L2 + s2 * (L3 + s2 * (L4 + s2 * (L5 + s2 * L6))))); |
193 /* 2/(3log2)*(s+...) */ | 193 r += s_l * (s_h + s); |
194 p_h = u + v; | 194 s2 = s_h * s_h; |
195 GET_FLOAT_WORD(is, p_h); | 195 t_h = 3.0f + s2 + r; |
196 SET_FLOAT_WORD(p_h, is & 0xfffff000); | 196 GET_FLOAT_WORD(is, t_h); |
197 p_l = v - (p_h - u); | 197 SET_FLOAT_WORD(t_h, is & 0xfffff000); |
198 z_h = cp_h*p_h; /* cp_h+cp_l = 2/(3*log2) */ | 198 t_l = r - ((t_h - 3.0f) - s2); |
199 z_l = cp_l*p_h + p_l*cp+dp_l[k]; | 199 /* u+v = s*(1+...) */ |
200 /* log2(ax) = (s+..)*2/(3*log2) = n + dp_h + z_h + z_l */ | 200 u = s_h * t_h; |
201 t = (float)n; | 201 v = s_l * t_h + t_l * s; |
202 t1 = (((z_h + z_l) + dp_h[k]) + t); | 202 /* 2/(3log2)*(s+...) */ |
203 GET_FLOAT_WORD(is, t1); | 203 p_h = u + v; |
204 SET_FLOAT_WORD(t1, is & 0xfffff000); | 204 GET_FLOAT_WORD(is, p_h); |
205 t2 = z_l - (((t1 - t) - dp_h[k]) - z_h); | 205 SET_FLOAT_WORD(p_h, is & 0xfffff000); |
206 } | 206 p_l = v - (p_h - u); |
207 | 207 z_h = cp_h * p_h; /* cp_h+cp_l = 2/(3*log2) */ |
208 /* split up y into y1+y2 and compute (y1+y2)*(t1+t2) */ | 208 z_l = cp_l * p_h + p_l * cp + dp_l[k]; |
209 GET_FLOAT_WORD(is, y); | 209 /* log2(ax) = (s+..)*2/(3*log2) = n + dp_h + z_h + z_l */ |
210 SET_FLOAT_WORD(y1, is & 0xfffff000); | 210 t = (float)n; |
211 p_l = (y-y1)*t1 + y*t2; | 211 t1 = (((z_h + z_l) + dp_h[k]) + t); |
212 p_h = y1*t1; | 212 GET_FLOAT_WORD(is, t1); |
213 z = p_l + p_h; | 213 SET_FLOAT_WORD(t1, is & 0xfffff000); |
214 GET_FLOAT_WORD(j, z); | 214 t2 = z_l - (((t1 - t) - dp_h[k]) - z_h); |
215 if (j > 0x43000000) /* if z > 128 */ | 215 } |
216 return sn*huge*huge; /* overflow */ | 216 |
217 else if (j == 0x43000000) { /* if z == 128 */ | 217 /* split up y into y1+y2 and compute (y1+y2)*(t1+t2) */ |
218 if (p_l + ovt > z - p_h) | 218 GET_FLOAT_WORD(is, y); |
219 return sn*huge*huge; /* overflow */ | 219 SET_FLOAT_WORD(y1, is & 0xfffff000); |
220 } else if ((j&0x7fffffff) > 0x43160000) /* z < -150 */ // FIXME: check
should be (uint32_t)j > 0xc3160000 | 220 p_l = (y - y1) * t1 + y * t2; |
221 return sn*tiny*tiny; /* underflow */ | 221 p_h = y1 * t1; |
222 else if (j == 0xc3160000) { /* z == -150 */ | 222 z = p_l + p_h; |
223 if (p_l <= z-p_h) | 223 GET_FLOAT_WORD(j, z); |
224 return sn*tiny*tiny; /* underflow */ | 224 if (j > 0x43000000) /* if z > 128 */ |
225 } | 225 return sn * huge * huge; /* overflow */ |
226 /* | 226 else if (j == 0x43000000) { /* if z == 128 */ |
227 * compute 2**(p_h+p_l) | 227 if (p_l + ovt > z - p_h) |
228 */ | 228 return sn * huge * huge; /* overflow */ |
229 i = j & 0x7fffffff; | 229 } else if ((j & 0x7fffffff) > 0x43160000) /* z < -150 */ // FIXME: check |
230 k = (i>>23) - 0x7f; | 230 // should be |
231 n = 0; | 231 // (uint32_t)j > |
232 if (i > 0x3f000000) { /* if |z| > 0.5, set n = [z+0.5] */ | 232 // 0xc3160000 |
233 n = j + (0x00800000>>(k+1)); | 233 return sn * tiny * tiny; /* underflow */ |
234 k = ((n&0x7fffffff)>>23) - 0x7f; /* new k for n */ | 234 else if (j == 0xc3160000) { /* z == -150 */ |
235 SET_FLOAT_WORD(t, n & ~(0x007fffff>>k)); | 235 if (p_l <= z - p_h) |
236 n = ((n&0x007fffff)|0x00800000)>>(23-k); | 236 return sn * tiny * tiny; /* underflow */ |
237 if (j < 0) | 237 } |
238 n = -n; | 238 /* |
239 p_h -= t; | 239 * compute 2**(p_h+p_l) |
240 } | 240 */ |
241 t = p_l + p_h; | 241 i = j & 0x7fffffff; |
242 GET_FLOAT_WORD(is, t); | 242 k = (i >> 23) - 0x7f; |
243 SET_FLOAT_WORD(t, is & 0xffff8000); | 243 n = 0; |
244 u = t*lg2_h; | 244 if (i > 0x3f000000) { /* if |z| > 0.5, set n = [z+0.5] */ |
245 v = (p_l-(t-p_h))*lg2 + t*lg2_l; | 245 n = j + (0x00800000 >> (k + 1)); |
246 z = u + v; | 246 k = ((n & 0x7fffffff) >> 23) - 0x7f; /* new k for n */ |
247 w = v - (z - u); | 247 SET_FLOAT_WORD(t, n & ~(0x007fffff >> k)); |
248 t = z*z; | 248 n = ((n & 0x007fffff) | 0x00800000) >> (23 - k); |
249 t1 = z - t*(P1+t*(P2+t*(P3+t*(P4+t*P5)))); | 249 if (j < 0) |
250 r = (z*t1)/(t1-2.0f) - (w+z*w); | 250 n = -n; |
251 z = 1.0f - (r - z); | 251 p_h -= t; |
252 GET_FLOAT_WORD(j, z); | 252 } |
253 j += n<<23; | 253 t = p_l + p_h; |
254 if ((j>>23) <= 0) /* subnormal output */ | 254 GET_FLOAT_WORD(is, t); |
255 z = scalbnf(z, n); | 255 SET_FLOAT_WORD(t, is & 0xffff8000); |
256 else | 256 u = t * lg2_h; |
257 SET_FLOAT_WORD(z, j); | 257 v = (p_l - (t - p_h)) * lg2 + t * lg2_l; |
258 return sn*z; | 258 z = u + v; |
| 259 w = v - (z - u); |
| 260 t = z * z; |
| 261 t1 = z - t * (P1 + t * (P2 + t * (P3 + t * (P4 + t * P5)))); |
| 262 r = (z * t1) / (t1 - 2.0f) - (w + z * w); |
| 263 z = 1.0f - (r - z); |
| 264 GET_FLOAT_WORD(j, z); |
| 265 j += n << 23; |
| 266 if ((j >> 23) <= 0) /* subnormal output */ |
| 267 z = scalbnf(z, n); |
| 268 else |
| 269 SET_FLOAT_WORD(z, j); |
| 270 return sn * z; |
259 } | 271 } |
OLD | NEW |