12116Sjkh/* e_lgammaf_r.c -- float version of e_lgamma_r.c. 22116Sjkh * Conversion to float by Ian Lance Taylor, Cygnus Support, ian@cygnus.com. 3271651Skargl * Conversion to float fixed By Steven G. Kargl. 42116Sjkh */ 52116Sjkh 62116Sjkh/* 72116Sjkh * ==================================================== 82116Sjkh * Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved. 92116Sjkh * 102116Sjkh * Developed at SunPro, a Sun Microsystems, Inc. business. 112116Sjkh * Permission to use, copy, modify, and distribute this 128870Srgrimes * software is freely granted, provided that this notice 132116Sjkh * is preserved. 142116Sjkh * ==================================================== 152116Sjkh */ 162116Sjkh 17176451Sdas#include <sys/cdefs.h> 18176451Sdas__FBSDID("$FreeBSD: stable/11/lib/msun/src/e_lgammaf_r.c 324006 2017-09-26 09:01:56Z dim $"); 192116Sjkh 202116Sjkh#include "math.h" 212116Sjkh#include "math_private.h" 222116Sjkh 23270947Skarglstatic const volatile float vzero = 0; 24270947Skargl 258870Srgrimesstatic const float 26271651Skarglzero= 0, 27271651Skarglhalf= 0.5, 28271651Skarglone = 1, 292116Sjkhpi = 3.1415927410e+00, /* 0x40490fdb */ 30271651Skargl/* 31271651Skargl * Domain y in [0x1p-27, 0.27], range ~[-3.4599e-10, 3.4590e-10]: 32271651Skargl * |(lgamma(2 - y) + 0.5 * y) / y - a(y)| < 2**-31.4 33271651Skargl */ 34271651Skargla0 = 7.72156641e-02, /* 0x3d9e233f */ 35271651Skargla1 = 3.22467119e-01, /* 0x3ea51a69 */ 36271651Skargla2 = 6.73484802e-02, /* 0x3d89ee00 */ 37271651Skargla3 = 2.06395667e-02, /* 0x3ca9144f */ 38271651Skargla4 = 6.98275631e-03, /* 0x3be4cf9b */ 39271651Skargla5 = 4.11768444e-03, /* 0x3b86eda4 */ 40271651Skargl/* 41271651Skargl * Domain x in [tc-0.24, tc+0.28], range ~[-5.6577e-10, 5.5677e-10]: 42271651Skargl * |(lgamma(x) - tf) - t(x - tc)| < 2**-30.8. 43271651Skargl */ 44271651Skargltc = 1.46163213e+00, /* 0x3fbb16c3 */ 45271651Skargltf = -1.21486291e-01, /* 0xbdf8cdce */ 46271651Skarglt0 = -2.94064460e-11, /* 0xae0154b7 */ 47271651Skarglt1 = -2.35939837e-08, /* 0xb2caabb8 */ 48271651Skarglt2 = 4.83836412e-01, /* 0x3ef7b968 */ 49271651Skarglt3 = -1.47586212e-01, /* 0xbe1720d7 */ 50271651Skarglt4 = 6.46013096e-02, /* 0x3d844db1 */ 51271651Skarglt5 = -3.28450352e-02, /* 0xbd068884 */ 52271651Skarglt6 = 1.86483748e-02, /* 0x3c98c47a */ 53271651Skarglt7 = -9.89206228e-03, /* 0xbc221251 */ 54271651Skargl/* 55271651Skargl * Domain y in [-0.1, 0.232], range ~[-8.4931e-10, 8.7794e-10]: 56271651Skargl * |(lgamma(1 + y) + 0.5 * y) / y - u(y) / v(y)| < 2**-31.2 57271651Skargl */ 58271651Skarglu0 = -7.72156641e-02, /* 0xbd9e233f */ 59271651Skarglu1 = 7.36789703e-01, /* 0x3f3c9e40 */ 60271651Skarglu2 = 4.95649040e-01, /* 0x3efdc5b6 */ 61271651Skarglv1 = 1.10958421e+00, /* 0x3f8e06db */ 62271651Skarglv2 = 2.10598111e-01, /* 0x3e57a708 */ 63271651Skarglv3 = -1.02995494e-02, /* 0xbc28bf71 */ 64271651Skargl/* 65271651Skargl * Domain x in (2, 3], range ~[-5.5189e-11, 5.2317e-11]: 66271651Skargl * |(lgamma(y+2) - 0.5 * y) / y - s(y)/r(y)| < 2**-35.0 67271651Skargl * with y = x - 2. 68271651Skargl */ 69271651Skargls0 = -7.72156641e-02, /* 0xbd9e233f */ 70271651Skargls1 = 2.69987404e-01, /* 0x3e8a3bca */ 71271651Skargls2 = 1.42851010e-01, /* 0x3e124789 */ 72271651Skargls3 = 1.19389519e-02, /* 0x3c439b98 */ 73271651Skarglr1 = 6.79650068e-01, /* 0x3f2dfd8c */ 74271651Skarglr2 = 1.16058730e-01, /* 0x3dedb033 */ 75271651Skarglr3 = 3.75673687e-03, /* 0x3b763396 */ 76271651Skargl/* 77271651Skargl * Domain z in [8, 0x1p24], range ~[-1.2640e-09, 1.2640e-09]: 78271651Skargl * |lgamma(x) - (x - 0.5) * (log(x) - 1) - w(1/x)| < 2**-29.6. 79271651Skargl */ 80271651Skarglw0 = 4.18938547e-01, /* 0x3ed67f1d */ 81271651Skarglw1 = 8.33332464e-02, /* 0x3daaaa9f */ 82271651Skarglw2 = -2.76129087e-03; /* 0xbb34f6c6 */ 832116Sjkh 84270893Skarglstatic float 85270932Skarglsin_pif(float x) 862116Sjkh{ 87270893Skargl volatile float vz; 882116Sjkh float y,z; 89270893Skargl int n; 902116Sjkh 91270893Skargl y = -x; 922116Sjkh 93270893Skargl vz = y+0x1p23F; /* depend on 0 <= y < 0x1p23 */ 94270893Skargl z = vz-0x1p23F; /* rintf(y) for the above range */ 95270893Skargl if (z == y) 96270932Skargl return zero; 972116Sjkh 98270893Skargl vz = y+0x1p21F; 99270893Skargl GET_FLOAT_WORD(n,vz); /* bits for rounded y (units 0.25) */ 100270893Skargl z = vz-0x1p21F; /* y rounded to a multiple of 0.25 */ 101270893Skargl if (z > y) { 102270893Skargl z -= 0.25F; /* adjust to round down */ 103270893Skargl n--; 104270893Skargl } 105270893Skargl n &= 7; /* octant of y mod 2 */ 106270893Skargl y = y - z + n * 0.25F; /* y mod 2 */ 107270893Skargl 1082116Sjkh switch (n) { 109152869Sbde case 0: y = __kernel_sindf(pi*y); break; 1108870Srgrimes case 1: 111152869Sbde case 2: y = __kernel_cosdf(pi*((float)0.5-y)); break; 1128870Srgrimes case 3: 113152869Sbde case 4: y = __kernel_sindf(pi*(one-y)); break; 1142116Sjkh case 5: 115152869Sbde case 6: y = -__kernel_cosdf(pi*(y-(float)1.5)); break; 116152869Sbde default: y = __kernel_sindf(pi*(y-(float)2.0)); break; 1172116Sjkh } 1182116Sjkh return -y; 1192116Sjkh} 1202116Sjkh 1212116Sjkh 12297413Salfredfloat 12397413Salfred__ieee754_lgammaf_r(float x, int *signgamp) 1242116Sjkh{ 125324006Sdim float nadj,p,p1,p2,q,r,t,w,y,z; 126169220Sbde int32_t hx; 127169220Sbde int i,ix; 1282116Sjkh 1292116Sjkh GET_FLOAT_WORD(hx,x); 1302116Sjkh 131272845Skargl /* purge +-Inf and NaNs */ 1322116Sjkh *signgamp = 1; 1332116Sjkh ix = hx&0x7fffffff; 1342116Sjkh if(ix>=0x7f800000) return x*x; 135272845Skargl 136272845Skargl /* purge +-0 and tiny arguments */ 137272845Skargl *signgamp = 1-2*((uint32_t)hx>>31); 138272845Skargl if(ix<0x32000000) { /* |x|<2**-27, return -log(|x|) */ 139272845Skargl if(ix==0) 140272845Skargl return one/vzero; 141272845Skargl return -__ieee754_logf(fabsf(x)); 142271719Skargl } 143272845Skargl 144272845Skargl /* purge negative integers and start evaluation for other x < 0 */ 1452116Sjkh if(hx<0) { 146272845Skargl *signgamp = 1; 147272845Skargl if(ix>=0x4b000000) /* |x|>=2**23, must be -integer */ 148270947Skargl return one/vzero; 149270932Skargl t = sin_pif(x); 150270947Skargl if(t==zero) return one/vzero; /* -integer */ 1512116Sjkh nadj = __ieee754_logf(pi/fabsf(t*x)); 1522116Sjkh if(t<zero) *signgamp = -1; 1532116Sjkh x = -x; 1542116Sjkh } 1552116Sjkh 156272845Skargl /* purge 1 and 2 */ 1572116Sjkh if (ix==0x3f800000||ix==0x40000000) r = 0; 1582116Sjkh /* for x < 2.0 */ 1592116Sjkh else if(ix<0x40000000) { 1602116Sjkh if(ix<=0x3f666666) { /* lgamma(x) = lgamma(x+1)-log(x) */ 1612116Sjkh r = -__ieee754_logf(x); 1622116Sjkh if(ix>=0x3f3b4a20) {y = one-x; i= 0;} 1632116Sjkh else if(ix>=0x3e6d3308) {y= x-(tc-one); i=1;} 1642116Sjkh else {y = x; i=2;} 1652116Sjkh } else { 1662116Sjkh r = zero; 167271651Skargl if(ix>=0x3fdda618) {y=2-x;i=0;} /* [1.7316,2] */ 1682116Sjkh else if(ix>=0x3F9da620) {y=x-tc;i=1;} /* [1.23,1.73] */ 1692116Sjkh else {y=x-one;i=2;} 1702116Sjkh } 1712116Sjkh switch(i) { 1722116Sjkh case 0: 1732116Sjkh z = y*y; 174271651Skargl p1 = a0+z*(a2+z*a4); 175271651Skargl p2 = z*(a1+z*(a3+z*a5)); 1762116Sjkh p = y*p1+p2; 177272845Skargl r += p-y/2; break; 1782116Sjkh case 1: 179271651Skargl p = t0+y*t1+y*y*(t2+y*(t3+y*(t4+y*(t5+y*(t6+y*t7))))); 180272845Skargl r += tf + p; break; 1818870Srgrimes case 2: 182271651Skargl p1 = y*(u0+y*(u1+y*u2)); 183271651Skargl p2 = one+y*(v1+y*(v2+y*v3)); 184272845Skargl r += p1/p2-y/2; 1852116Sjkh } 1862116Sjkh } 187272845Skargl /* x < 8.0 */ 188272845Skargl else if(ix<0x41000000) { 189271651Skargl i = x; 190271651Skargl y = x-i; 191271651Skargl p = y*(s0+y*(s1+y*(s2+y*s3))); 192271651Skargl q = one+y*(r1+y*(r2+y*r3)); 193271651Skargl r = y/2+p/q; 1942116Sjkh z = one; /* lgamma(1+s) = log(s) + lgamma(s) */ 1952116Sjkh switch(i) { 196271651Skargl case 7: z *= (y+6); /* FALLTHRU */ 197271651Skargl case 6: z *= (y+5); /* FALLTHRU */ 198271651Skargl case 5: z *= (y+4); /* FALLTHRU */ 199271651Skargl case 4: z *= (y+3); /* FALLTHRU */ 200271651Skargl case 3: z *= (y+2); /* FALLTHRU */ 2012116Sjkh r += __ieee754_logf(z); break; 2022116Sjkh } 203272845Skargl /* 8.0 <= x < 2**27 */ 204272845Skargl } else if (ix < 0x4d000000) { 2052116Sjkh t = __ieee754_logf(x); 2062116Sjkh z = one/x; 2072116Sjkh y = z*z; 208271651Skargl w = w0+z*(w1+y*w2); 2092116Sjkh r = (x-half)*(t-one)+w; 2108870Srgrimes } else 211272845Skargl /* 2**27 <= x <= inf */ 2122116Sjkh r = x*(__ieee754_logf(x)-one); 2132116Sjkh if(hx<0) r = nadj - r; 2142116Sjkh return r; 2152116Sjkh} 216