blob: bcd304a3425991689cbf14dd1cd575a43a8b1117 [file] [log] [blame]
Rich Felkerb69f6952012-03-13 01:17:53 -04001/* origin: FreeBSD /usr/src/lib/msun/src/e_asinf.c */
2/*
3 * Conversion to float by Ian Lance Taylor, Cygnus Support, ian@cygnus.com.
4 */
5/*
6 * ====================================================
7 * Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved.
8 *
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 * ====================================================
14 */
Rich Felkerb69f6952012-03-13 01:17:53 -040015#include "libm.h"
16
Szabolcs Nagyb12a73d2012-12-11 23:56:59 +010017static const double
18pio2 = 1.570796326794896558e+00;
19
Rich Felkerb69f6952012-03-13 01:17:53 -040020static const float
Rich Felkerb69f6952012-03-13 01:17:53 -040021/* coefficients for R(x^2) */
22pS0 = 1.6666586697e-01,
23pS1 = -4.2743422091e-02,
24pS2 = -8.6563630030e-03,
25qS1 = -7.0662963390e-01;
26
Szabolcs Nagyb12a73d2012-12-11 23:56:59 +010027static float R(float z)
28{
Szabolcs Nagye2169512013-05-15 23:08:52 +000029 float_t p, q;
Szabolcs Nagyb12a73d2012-12-11 23:56:59 +010030 p = z*(pS0+z*(pS1+z*pS2));
31 q = 1.0f+z*qS1;
32 return p/q;
33}
Rich Felkerb69f6952012-03-13 01:17:53 -040034
35float asinf(float x)
36{
37 double s;
Szabolcs Nagyb12a73d2012-12-11 23:56:59 +010038 float z;
39 uint32_t hx,ix;
Rich Felkerb69f6952012-03-13 01:17:53 -040040
41 GET_FLOAT_WORD(hx, x);
42 ix = hx & 0x7fffffff;
43 if (ix >= 0x3f800000) { /* |x| >= 1 */
44 if (ix == 0x3f800000) /* |x| == 1 */
Szabolcs Nagyb12a73d2012-12-11 23:56:59 +010045 return x*pio2 + 0x1p-120f; /* asin(+-1) = +-pi/2 with inexact */
46 return 0/(x-x); /* asin(|x|>1) is NaN */
47 }
48 if (ix < 0x3f000000) { /* |x| < 0.5 */
Szabolcs Nagyc599f4f2013-08-15 10:14:46 +000049 /* if 0x1p-126 <= |x| < 0x1p-12, avoid raising underflow */
50 if (ix < 0x39800000 && ix >= 0x00800000)
51 return x;
Szabolcs Nagyb12a73d2012-12-11 23:56:59 +010052 return x + x*R(x*x);
Rich Felkerb69f6952012-03-13 01:17:53 -040053 }
54 /* 1 > |x| >= 0.5 */
Szabolcs Nagyb12a73d2012-12-11 23:56:59 +010055 z = (1 - fabsf(x))*0.5f;
56 s = sqrt(z);
57 x = pio2 - 2*(s+s*R(z));
58 if (hx >> 31)
59 return -x;
60 return x;
Rich Felkerb69f6952012-03-13 01:17:53 -040061}