Fix tanf spurious underflows (bug 18221).
[glibc.git] / sysdeps / ieee754 / flt-32 / k_tanf.c
bloba67f36e283f7771846b2ccb03d74519ce9c96b00
1 /* k_tanf.c -- float version of k_tan.c
2 * Conversion to float by Ian Lance Taylor, Cygnus Support, ian@cygnus.com.
3 */
5 /*
6 * ====================================================
7 * Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved.
9 * Developed at SunPro, a Sun Microsystems, Inc. business.
10 * Permission to use, copy, modify, and distribute this
11 * software is freely granted, provided that this notice
12 * is preserved.
13 * ====================================================
16 #if defined(LIBM_SCCS) && !defined(lint)
17 static char rcsid[] = "$NetBSD: k_tanf.c,v 1.4 1995/05/10 20:46:39 jtc Exp $";
18 #endif
20 #include <math.h>
21 #include <math_private.h>
22 static const float
23 one = 1.0000000000e+00, /* 0x3f800000 */
24 pio4 = 7.8539812565e-01, /* 0x3f490fda */
25 pio4lo= 3.7748947079e-08, /* 0x33222168 */
26 T[] = {
27 3.3333334327e-01, /* 0x3eaaaaab */
28 1.3333334029e-01, /* 0x3e088889 */
29 5.3968254477e-02, /* 0x3d5d0dd1 */
30 2.1869488060e-02, /* 0x3cb327a4 */
31 8.8632395491e-03, /* 0x3c11371f */
32 3.5920790397e-03, /* 0x3b6b6916 */
33 1.4562094584e-03, /* 0x3abede48 */
34 5.8804126456e-04, /* 0x3a1a26c8 */
35 2.4646313977e-04, /* 0x398137b9 */
36 7.8179444245e-05, /* 0x38a3f445 */
37 7.1407252108e-05, /* 0x3895c07a */
38 -1.8558637748e-05, /* 0xb79bae5f */
39 2.5907305826e-05, /* 0x37d95384 */
42 float __kernel_tanf(float x, float y, int iy)
44 float z,r,v,w,s;
45 int32_t ix,hx;
46 GET_FLOAT_WORD(hx,x);
47 ix = hx&0x7fffffff; /* high word of |x| */
48 if(ix<0x39000000) /* x < 2**-13 */
49 {if((int)x==0) { /* generate inexact */
50 if((ix|(iy+1))==0) return one/fabsf(x);
51 else return (iy==1)? x: -one/x;
54 if(ix>=0x3f2ca140) { /* |x|>=0.6744 */
55 if(hx<0) {x = -x; y = -y;}
56 z = pio4-x;
57 w = pio4lo-y;
58 x = z+w; y = 0.0;
59 if (fabsf (x) < 0x1p-13f)
60 return (1 - ((hx >> 30) & 2)) * iy * (1.0f - 2 * iy * x);
62 z = x*x;
63 w = z*z;
64 /* Break x^5*(T[1]+x^2*T[2]+...) into
65 * x^5(T[1]+x^4*T[3]+...+x^20*T[11]) +
66 * x^5(x^2*(T[2]+x^4*T[4]+...+x^22*[T12]))
68 r = T[1]+w*(T[3]+w*(T[5]+w*(T[7]+w*(T[9]+w*T[11]))));
69 v = z*(T[2]+w*(T[4]+w*(T[6]+w*(T[8]+w*(T[10]+w*T[12])))));
70 s = z*x;
71 r = y + z*(s*(r+v)+y);
72 r += T[0]*s;
73 w = x+r;
74 if(ix>=0x3f2ca140) {
75 v = (float)iy;
76 return (float)(1-((hx>>30)&2))*(v-(float)2.0*(x-(w*w/(w+v)-r)));
78 if(iy==1) return w;
79 else { /* if allow error up to 2 ulp,
80 simply return -1.0/(x+r) here */
81 /* compute -1.0/(x+r) accurately */
82 float a,t;
83 int32_t i;
84 z = w;
85 GET_FLOAT_WORD(i,z);
86 SET_FLOAT_WORD(z,i&0xfffff000);
87 v = r-(z - x); /* z+v = r+x */
88 t = a = -(float)1.0/w; /* a = -1.0/w */
89 GET_FLOAT_WORD(i,t);
90 SET_FLOAT_WORD(t,i&0xfffff000);
91 s = (float)1.0+t*z;
92 return t+a*(s+t*v);