xref: /dflybsd-src/contrib/openbsd_libm/arch/amd64/invtrig.c (revision 4382f29d99a100bd77a81697c2f699c11f6a472a)
1*05a0b428SJohn Marino /*	$OpenBSD: invtrig.c,v 1.3 2013/01/13 03:44:59 martynas Exp $	*/
2*05a0b428SJohn Marino /*-
3*05a0b428SJohn Marino  * Copyright (c) 2008 David Schultz <das@FreeBSD.ORG>
4*05a0b428SJohn Marino  * All rights reserved.
5*05a0b428SJohn Marino  *
6*05a0b428SJohn Marino  * Redistribution and use in source and binary forms, with or without
7*05a0b428SJohn Marino  * modification, are permitted provided that the following conditions
8*05a0b428SJohn Marino  * are met:
9*05a0b428SJohn Marino  * 1. Redistributions of source code must retain the above copyright
10*05a0b428SJohn Marino  *    notice, this list of conditions and the following disclaimer.
11*05a0b428SJohn Marino  * 2. Redistributions in binary form must reproduce the above copyright
12*05a0b428SJohn Marino  *    notice, this list of conditions and the following disclaimer in the
13*05a0b428SJohn Marino  *    documentation and/or other materials provided with the distribution.
14*05a0b428SJohn Marino  *
15*05a0b428SJohn Marino  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
16*05a0b428SJohn Marino  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
17*05a0b428SJohn Marino  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
18*05a0b428SJohn Marino  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
19*05a0b428SJohn Marino  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
20*05a0b428SJohn Marino  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
21*05a0b428SJohn Marino  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
22*05a0b428SJohn Marino  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
23*05a0b428SJohn Marino  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
24*05a0b428SJohn Marino  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
25*05a0b428SJohn Marino  * SUCH DAMAGE.
26*05a0b428SJohn Marino  */
27*05a0b428SJohn Marino 
28*05a0b428SJohn Marino #include <stdint.h>
29*05a0b428SJohn Marino 
30*05a0b428SJohn Marino #define STRUCT_DECLS
31*05a0b428SJohn Marino #include "invtrig.h"
32*05a0b428SJohn Marino 
33*05a0b428SJohn Marino /*
34*05a0b428SJohn Marino  * asinl() and acosl()
35*05a0b428SJohn Marino  */
36*05a0b428SJohn Marino const LONGDOUBLE
37*05a0b428SJohn Marino pS0 = { 0xaaaaaaaaaaaaaaa8ULL, 0x3ffcU }, /*  1.66666666666666666631e-01L */
38*05a0b428SJohn Marino pS1 = { 0xd5271b6699b48bfaULL, 0xbffdU }, /* -4.16313987993683104320e-01L */
39*05a0b428SJohn Marino pS2 = { 0xbcf67ca9e9f669cfULL, 0x3ffdU }, /*  3.69068046323246813704e-01L */
40*05a0b428SJohn Marino pS3 = { 0x8b7baa3d15f9830dULL, 0xbffcU }, /* -1.36213932016738603108e-01L */
41*05a0b428SJohn Marino pS4 = { 0x92154b093a3bff1cULL, 0x3ff9U }, /*  1.78324189708471965733e-02L */
42*05a0b428SJohn Marino pS5 = { 0xe5dd76401964508cULL, 0xbff2U }, /* -2.19216428382605211588e-04L */
43*05a0b428SJohn Marino pS6 = { 0xee69c5b0fdb76951ULL, 0xbfedU }, /* -7.10526623669075243183e-06L */
44*05a0b428SJohn Marino qS1 = { 0xbcaa2159c01436a0ULL, 0xc000U }, /* -2.94788392796209867269e+00L */
45*05a0b428SJohn Marino qS2 = { 0xd17a73d1e1564c29ULL, 0x4000U }, /*  3.27309890266528636716e+00L */
46*05a0b428SJohn Marino qS3 = { 0xd767e411c9cf4c2cULL, 0xbfffU }, /* -1.68285799854822427013e+00L */
47*05a0b428SJohn Marino qS4 = { 0xc809c0dfb9b0d0b7ULL, 0x3ffdU }, /*  3.90699412641738801874e-01L */
48*05a0b428SJohn Marino qS5 = { 0x80c3a2197c8ced57ULL, 0xbffaU }; /* -3.14365703596053263322e-02L */
49*05a0b428SJohn Marino 
50*05a0b428SJohn Marino /*
51*05a0b428SJohn Marino  * atanl()
52*05a0b428SJohn Marino  */
53*05a0b428SJohn Marino const LONGDOUBLE atanhi[] = {
54*05a0b428SJohn Marino 	{ 0xed63382b0dda7b45ULL, 0x3ffdU }, /*  4.63647609000806116202e-01L */
55*05a0b428SJohn Marino 	{ 0xc90fdaa22168c235ULL, 0x3ffeU }, /*  7.85398163397448309628e-01L */
56*05a0b428SJohn Marino 	{ 0xfb985e940fb4d900ULL, 0x3ffeU }, /*  9.82793723247329067960e-01L */
57*05a0b428SJohn Marino 	{ 0xc90fdaa22168c235ULL, 0x3fffU }, /*  1.57079632679489661926e+00L */
58*05a0b428SJohn Marino };
59*05a0b428SJohn Marino 
60*05a0b428SJohn Marino const LONGDOUBLE atanlo[] = {
61*05a0b428SJohn Marino 	{ 0xdfc88bd978751a07ULL, 0x3fbcU }, /*  1.18469937025062860669e-20L */
62*05a0b428SJohn Marino 	{ 0xece675d1fc8f8cbbULL, 0xbfbcU }, /* -1.25413940316708300586e-20L */
63*05a0b428SJohn Marino 	{ 0xf10f5e197793c283ULL, 0x3fbdU }, /*  2.55232234165405176172e-20L */
64*05a0b428SJohn Marino 	{ 0xece675d1fc8f8cbbULL, 0xbfbdU }, /* -2.50827880633416601173e-20L */
65*05a0b428SJohn Marino };
66*05a0b428SJohn Marino 
67*05a0b428SJohn Marino const LONGDOUBLE aT[] = {
68*05a0b428SJohn Marino 	{ 0xaaaaaaaaaaaaaa9fULL, 0x3ffdU }, /*  3.33333333333333333017e-01L */
69*05a0b428SJohn Marino 	{ 0xcccccccccccc62bcULL, 0xbffcU }, /* -1.99999999999999632011e-01L */
70*05a0b428SJohn Marino 	{ 0x9249249248b81e3fULL, 0x3ffcU }, /*  1.42857142857046531280e-01L */
71*05a0b428SJohn Marino 	{ 0xe38e38e3316f3de5ULL, 0xbffbU }, /* -1.11111111100562372733e-01L */
72*05a0b428SJohn Marino 	{ 0xba2e8b8dc280726aULL, 0x3ffbU }, /*  9.09090902935647302252e-02L */
73*05a0b428SJohn Marino 	{ 0x9d89d5b4c6847ec4ULL, 0xbffbU }, /* -7.69230552476207730353e-02L */
74*05a0b428SJohn Marino 	{ 0x8888461d3099c677ULL, 0x3ffbU }, /*  6.66661718042406260546e-02L */
75*05a0b428SJohn Marino 	{ 0xf0e8ee0f5328dc29ULL, 0xbffaU }, /* -5.88158892835030888692e-02L */
76*05a0b428SJohn Marino 	{ 0xd73ea84d24bae54aULL, 0x3ffaU }, /*  5.25499891539726639379e-02L */
77*05a0b428SJohn Marino 	{ 0xc08fa381dcd9213aULL, 0xbffaU }, /* -4.70119845393155721494e-02L */
78*05a0b428SJohn Marino 	{ 0xa54a26f4095f2a3aULL, 0x3ffaU }, /*  4.03539201366454414072e-02L */
79*05a0b428SJohn Marino 	{ 0xeea2d8d059ef3ad6ULL, 0xbff9U }, /* -2.91303858419364158725e-02L */
80*05a0b428SJohn Marino 	{ 0xcc82292ab894b051ULL, 0x3ff8U }, /*  1.24822046299269234080e-02L */
81*05a0b428SJohn Marino };
82*05a0b428SJohn Marino 
83*05a0b428SJohn Marino const LONGDOUBLE
84*05a0b428SJohn Marino pi_lo = { 0xece675d1fc8f8cbbULL, 0xbfbeU }; /* -5.01655761266833202345e-20L */
85