summaryrefslogtreecommitdiff
path: root/usr/src/libm/src/LD/cosl.c
blob: 69d4239d3f16e7553a0952c258613d7d180bee85 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
/*
 * CDDL HEADER START
 *
 * The contents of this file are subject to the terms of the
 * Common Development and Distribution License (the "License").
 * You may not use this file except in compliance with the License.
 *
 * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
 * or http://www.opensolaris.org/os/licensing.
 * See the License for the specific language governing permissions
 * and limitations under the License.
 *
 * When distributing Covered Code, include this CDDL HEADER in each
 * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
 * If applicable, add the following below this CDDL HEADER, with the
 * fields enclosed by brackets "[]" replaced with your own identifying
 * information: Portions Copyright [yyyy] [name of copyright owner]
 *
 * CDDL HEADER END
 */

/*
 * Copyright 2006 Sun Microsystems, Inc.  All rights reserved.
 * Use is subject to license terms.
 */

#pragma ident	"@(#)cosl.c	1.9	06/01/31 SMI"

#pragma weak cosl = __cosl

/* INDENT OFF */
/* cosl(x)
 * Table look-up algorithm by K.C. Ng, November, 1989.
 *
 * kernel function:
 *	__k_sinl	... sin function on [-pi/4,pi/4]
 *	__k_cosl	... cos function on [-pi/4,pi/4]
 *	__rem_pio2l	... argument reduction routine
 *
 * Method.
 *      Let S and C denote the sin and cos respectively on [-PI/4, +PI/4].
 *      1. Assume the argument x is reduced to y1+y2 = x-k*pi/2 in
 *	   [-pi/2 , +pi/2], and let n = k mod 4.
 *	2. Let S=S(y1+y2), C=C(y1+y2). Depending on n, we have
 *
 *          n        sin(x)      cos(x)        tan(x)
 *     ----------------------------------------------------------
 *	    0	       S	   C		 S/C
 *	    1	       C	  -S		-C/S
 *	    2	      -S	  -C		 S/C
 *	    3	      -C	   S		-C/S
 *     ----------------------------------------------------------
 *
 * Special cases:
 *      Let trig be any of sin, cos, or tan.
 *      trig(+-INF)  is NaN, with signals;
 *      trig(NaN)    is that NaN;
 *
 * Accuracy:
 *	computer TRIG(x) returns trig(x) nearly rounded.
 */
/* INDENT ON */

#include "libm.h"
#include "libm_synonyms.h"
#include "longdouble.h"

long double
cosl(long double x) {
	long double y[2], z = 0.0L;
	int n, ix;
	int *px = (int *) &x;

	/* trig(Inf or NaN) is NaN */
	if (!finitel(x))
		return x - x;

	/* High word of x. */
#if !defined(__i386)
	ix = px[0];
#else
	XTOI(px, ix);
#endif

	/* |x| ~< pi/4 */
	ix &= 0x7fffffff;
	if (ix <= 0x3ffe9220)
		return __k_cosl(x, z);

	/* argument reduction needed */
	else {
		n = __rem_pio2l(x, y);
		switch (n & 3) {
		case 0:
			return __k_cosl(y[0], y[1]);
		case 1:
			return -__k_sinl(y[0], y[1]);
		case 2:
			return -__k_cosl(y[0], y[1]);
		case 3:
			return __k_sinl(y[0], y[1]);
		/* NOTREACHED */
		}
	}
}