| 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 |