math: add fma TODO comments about the underflow issue
[oweals/musl.git] / src / math / __rem_pio2f.c
1 /* origin: FreeBSD /usr/src/lib/msun/src/e_rem_pio2f.c */
2 /*
3  * Conversion to float by Ian Lance Taylor, Cygnus Support, ian@cygnus.com.
4  * Debugged and optimized by Bruce D. Evans.
5  */
6 /*
7  * ====================================================
8  * Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved.
9  *
10  * Developed at SunPro, a Sun Microsystems, Inc. business.
11  * Permission to use, copy, modify, and distribute this
12  * software is freely granted, provided that this notice
13  * is preserved.
14  * ====================================================
15  */
16 /* __rem_pio2f(x,y)
17  *
18  * return the remainder of x rem pi/2 in *y
19  * use double precision for everything except passing x
20  * use __rem_pio2_large() for large x
21  */
22
23 #include "libm.h"
24
25 /*
26  * invpio2:  53 bits of 2/pi
27  * pio2_1:   first 25 bits of pi/2
28  * pio2_1t:  pi/2 - pio2_1
29  */
30 static const double
31 invpio2 = 6.36619772367581382433e-01, /* 0x3FE45F30, 0x6DC9C883 */
32 pio2_1  = 1.57079631090164184570e+00, /* 0x3FF921FB, 0x50000000 */
33 pio2_1t = 1.58932547735281966916e-08; /* 0x3E5110b4, 0x611A6263 */
34
35 int __rem_pio2f(float x, double *y)
36 {
37         double w,r,fn;
38         double tx[1],ty[1];
39         float z;
40         int32_t e0,n,ix,hx;
41
42         GET_FLOAT_WORD(hx, x);
43         ix = hx & 0x7fffffff;
44         /* 25+53 bit pi is good enough for medium size */
45         if (ix < 0x4dc90fdb) {  /* |x| ~< 2^28*(pi/2), medium size */
46                 /* Use a specialized rint() to get fn.  Assume round-to-nearest. */
47                 STRICT_ASSIGN(double, fn, x*invpio2 + 0x1.8p52);
48                 fn = fn - 0x1.8p52;
49 // FIXME
50 #ifdef HAVE_EFFICIENT_IRINT
51                 n  = irint(fn);
52 #else
53                 n  = (int32_t)fn;
54 #endif
55                 r  = x - fn*pio2_1;
56                 w  = fn*pio2_1t;
57                 *y = r - w;
58                 return n;
59         }
60         /*
61          * all other (large) arguments
62          */
63         if(ix>=0x7f800000) {  /* x is inf or NaN */
64                 *y = x-x;
65                 return 0;
66         }
67         /* set z = scalbn(|x|,ilogb(|x|)-23) */
68         e0 = (ix>>23) - 150;  /* e0 = ilogb(|x|)-23; */
69         SET_FLOAT_WORD(z, ix - ((int32_t)(e0<<23)));
70         tx[0] = z;
71         n  =  __rem_pio2_large(tx,ty,e0,1,0);
72         if (hx < 0) {
73                 *y = -ty[0];
74                 return -n;
75         }
76         *y = ty[0];
77         return n;
78 }