xref: /freebsd/lib/msun/src/math.h (revision 8cf5ed5125ca8f57fa6f27892f3fbda25a52d354)
13a8617a8SJordan K. Hubbard /*
23a8617a8SJordan K. Hubbard  * ====================================================
33a8617a8SJordan K. Hubbard  * Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved.
43a8617a8SJordan K. Hubbard  *
53a8617a8SJordan K. Hubbard  * Developed at SunPro, a Sun Microsystems, Inc. business.
63a8617a8SJordan K. Hubbard  * Permission to use, copy, modify, and distribute this
73a8617a8SJordan K. Hubbard  * software is freely granted, provided that this notice
83a8617a8SJordan K. Hubbard  * is preserved.
93a8617a8SJordan K. Hubbard  * ====================================================
103a8617a8SJordan K. Hubbard  */
113a8617a8SJordan K. Hubbard 
123a8617a8SJordan K. Hubbard /*
133a8617a8SJordan K. Hubbard  * from: @(#)fdlibm.h 5.1 93/09/24
147f3dea24SPeter Wemm  * $FreeBSD$
153a8617a8SJordan K. Hubbard  */
163a8617a8SJordan K. Hubbard 
173a8617a8SJordan K. Hubbard #ifndef _MATH_H_
183a8617a8SJordan K. Hubbard #define	_MATH_H_
193a8617a8SJordan K. Hubbard 
208cf5ed51SMike Barcroft #include <sys/_types.h>
218cf5ed51SMike Barcroft 
223a8617a8SJordan K. Hubbard /*
233a8617a8SJordan K. Hubbard  * ANSI/POSIX
243a8617a8SJordan K. Hubbard  */
2583999f5aSArchie Cobbs extern const union __infinity_un {
2683999f5aSArchie Cobbs 	unsigned char	__uc[8];
2783999f5aSArchie Cobbs 	double		__ud;
2883999f5aSArchie Cobbs } __infinity;
298cf5ed51SMike Barcroft 
308cf5ed51SMike Barcroft extern const union __nan_un {
318cf5ed51SMike Barcroft 	unsigned char	__uc[sizeof(float)];
328cf5ed51SMike Barcroft 	float		__uf;
338cf5ed51SMike Barcroft } __nan;
348cf5ed51SMike Barcroft 
358cf5ed51SMike Barcroft #define	FP_ILOGB0	(-0x7fffffff - 1)	/* INT_MIN */
368cf5ed51SMike Barcroft #define	FP_ILOGBNAN	0x7fffffff		/* INT_MAX */
3783999f5aSArchie Cobbs #define HUGE_VAL	(__infinity.__ud)
388cf5ed51SMike Barcroft #define	HUGE_VALF	(float)HUGE_VAL
398cf5ed51SMike Barcroft #define	HUGE_VALL	(long double)HUGE_VAL
408cf5ed51SMike Barcroft #define	INFINITY	HUGE_VALF
418cf5ed51SMike Barcroft #define	NAN		(__nan.__uf)
428cf5ed51SMike Barcroft 
438cf5ed51SMike Barcroft /* Symbolic constants to classify floating point numbers. */
448cf5ed51SMike Barcroft #define	FP_INFINITE	1
458cf5ed51SMike Barcroft #define	FP_NAN		2
468cf5ed51SMike Barcroft #define	FP_NORMAL	3
478cf5ed51SMike Barcroft #define	FP_SUBNORMAL	4
488cf5ed51SMike Barcroft #define	FP_ZERO		5
498cf5ed51SMike Barcroft #define	fpclassify(x) \
508cf5ed51SMike Barcroft     ((sizeof (x) == sizeof (float)) ? __fpclassifyf(x) \
518cf5ed51SMike Barcroft     : (sizeof (x) == sizeof (double)) ? __fpclassifyd(x) \
528cf5ed51SMike Barcroft     : __fpclassifyl(x))
538cf5ed51SMike Barcroft 
548cf5ed51SMike Barcroft typedef	__double_t	double_t;
558cf5ed51SMike Barcroft typedef	__float_t	float_t;
563a8617a8SJordan K. Hubbard 
573a8617a8SJordan K. Hubbard /*
583a8617a8SJordan K. Hubbard  * XOPEN/SVID
593a8617a8SJordan K. Hubbard  */
603a8617a8SJordan K. Hubbard #if !defined(_ANSI_SOURCE) && !defined(_POSIX_SOURCE)
613a8617a8SJordan K. Hubbard #define	M_E		2.7182818284590452354	/* e */
623a8617a8SJordan K. Hubbard #define	M_LOG2E		1.4426950408889634074	/* log 2e */
633a8617a8SJordan K. Hubbard #define	M_LOG10E	0.43429448190325182765	/* log 10e */
643a8617a8SJordan K. Hubbard #define	M_LN2		0.69314718055994530942	/* log e2 */
653a8617a8SJordan K. Hubbard #define	M_LN10		2.30258509299404568402	/* log e10 */
663a8617a8SJordan K. Hubbard #define	M_PI		3.14159265358979323846	/* pi */
673a8617a8SJordan K. Hubbard #define	M_PI_2		1.57079632679489661923	/* pi/2 */
683a8617a8SJordan K. Hubbard #define	M_PI_4		0.78539816339744830962	/* pi/4 */
693a8617a8SJordan K. Hubbard #define	M_1_PI		0.31830988618379067154	/* 1/pi */
703a8617a8SJordan K. Hubbard #define	M_2_PI		0.63661977236758134308	/* 2/pi */
713a8617a8SJordan K. Hubbard #define	M_2_SQRTPI	1.12837916709551257390	/* 2/sqrt(pi) */
723a8617a8SJordan K. Hubbard #define	M_SQRT2		1.41421356237309504880	/* sqrt(2) */
733a8617a8SJordan K. Hubbard #define	M_SQRT1_2	0.70710678118654752440	/* 1/sqrt(2) */
743a8617a8SJordan K. Hubbard 
753a8617a8SJordan K. Hubbard #define	MAXFLOAT	((float)3.40282346638528860e+38)
763a8617a8SJordan K. Hubbard extern int signgam;
773a8617a8SJordan K. Hubbard 
783a8617a8SJordan K. Hubbard #if !defined(_XOPEN_SOURCE)
793a8617a8SJordan K. Hubbard enum fdversion {fdlibm_ieee = -1, fdlibm_svid, fdlibm_xopen, fdlibm_posix};
803a8617a8SJordan K. Hubbard 
813a8617a8SJordan K. Hubbard #define _LIB_VERSION_TYPE enum fdversion
823a8617a8SJordan K. Hubbard #define _LIB_VERSION _fdlib_version
833a8617a8SJordan K. Hubbard 
843a8617a8SJordan K. Hubbard /* if global variable _LIB_VERSION is not desirable, one may
853a8617a8SJordan K. Hubbard  * change the following to be a constant by:
863a8617a8SJordan K. Hubbard  *	#define _LIB_VERSION_TYPE const enum version
873a8617a8SJordan K. Hubbard  * In that case, after one initializes the value _LIB_VERSION (see
883a8617a8SJordan K. Hubbard  * s_lib_version.c) during compile time, it cannot be modified
893a8617a8SJordan K. Hubbard  * in the middle of a program
903a8617a8SJordan K. Hubbard  */
913a8617a8SJordan K. Hubbard extern  _LIB_VERSION_TYPE  _LIB_VERSION;
923a8617a8SJordan K. Hubbard 
933a8617a8SJordan K. Hubbard #define _IEEE_  fdlibm_ieee
943a8617a8SJordan K. Hubbard #define _SVID_  fdlibm_svid
953a8617a8SJordan K. Hubbard #define _XOPEN_ fdlibm_xopen
963a8617a8SJordan K. Hubbard #define _POSIX_ fdlibm_posix
973a8617a8SJordan K. Hubbard 
98d6f56cfcSDavid E. O'Brien /* We have a problem when using C++ since `exception' is a reserved
99d6f56cfcSDavid E. O'Brien    name in C++.  */
1006a9280beSBruce Evans #ifndef __cplusplus
1013a8617a8SJordan K. Hubbard struct exception {
1023a8617a8SJordan K. Hubbard 	int type;
1033a8617a8SJordan K. Hubbard 	char *name;
1043a8617a8SJordan K. Hubbard 	double arg1;
1053a8617a8SJordan K. Hubbard 	double arg2;
1063a8617a8SJordan K. Hubbard 	double retval;
1073a8617a8SJordan K. Hubbard };
1086a9280beSBruce Evans #endif
1093a8617a8SJordan K. Hubbard 
110219cbe10SBruce Evans #if 0
11154e9b367SBruce Evans /* Old value from 4.4BSD-Lite math.h; this is probably better. */
112219cbe10SBruce Evans #define	HUGE		HUGE_VAL
113219cbe10SBruce Evans #else
1143a8617a8SJordan K. Hubbard #define	HUGE		MAXFLOAT
115219cbe10SBruce Evans #endif
1163a8617a8SJordan K. Hubbard 
1173a8617a8SJordan K. Hubbard /*
1183a8617a8SJordan K. Hubbard  * set X_TLOSS = pi*2**52, which is possibly defined in <values.h>
1193a8617a8SJordan K. Hubbard  * (one may replace the following line by "#include <values.h>")
1203a8617a8SJordan K. Hubbard  */
1213a8617a8SJordan K. Hubbard 
1223a8617a8SJordan K. Hubbard #define X_TLOSS		1.41484755040568800000e+16
1233a8617a8SJordan K. Hubbard 
1243a8617a8SJordan K. Hubbard #define	DOMAIN		1
1253a8617a8SJordan K. Hubbard #define	SING		2
1263a8617a8SJordan K. Hubbard #define	OVERFLOW	3
1273a8617a8SJordan K. Hubbard #define	UNDERFLOW	4
1283a8617a8SJordan K. Hubbard #define	TLOSS		5
1293a8617a8SJordan K. Hubbard #define	PLOSS		6
1303a8617a8SJordan K. Hubbard 
1313a8617a8SJordan K. Hubbard #endif /* !_XOPEN_SOURCE */
1323a8617a8SJordan K. Hubbard #endif /* !_ANSI_SOURCE && !_POSIX_SOURCE */
1333a8617a8SJordan K. Hubbard 
1343a8617a8SJordan K. Hubbard #include <sys/cdefs.h>
1356898f8c4SBruce Evans 
136219cbe10SBruce Evans /*
137219cbe10SBruce Evans  * Most of these functions have the side effect of setting errno, so they
138219cbe10SBruce Evans  * are not declared as __pure2.  (XXX: this point needs to be revisited,
139219cbe10SBruce Evans  * since C99 doesn't require the mistake of setting errno, and we mostly
140219cbe10SBruce Evans  * don't set it anyway.  In C99, pragmas and functions for changing the
141219cbe10SBruce Evans  * rounding mode affect the purity of these functions.)
142219cbe10SBruce Evans  */
1436898f8c4SBruce Evans __BEGIN_DECLS
1443a8617a8SJordan K. Hubbard /*
1453a8617a8SJordan K. Hubbard  * ANSI/POSIX
1463a8617a8SJordan K. Hubbard  */
1478cf5ed51SMike Barcroft int	__fpclassifyd(double);
1488cf5ed51SMike Barcroft int	__fpclassifyf(float);
1498cf5ed51SMike Barcroft int	__fpclassifyl(long double);
1508cf5ed51SMike Barcroft 
15169160b1eSDavid E. O'Brien double	acos(double);
15269160b1eSDavid E. O'Brien double	asin(double);
15369160b1eSDavid E. O'Brien double	atan(double);
15469160b1eSDavid E. O'Brien double	atan2(double, double);
15569160b1eSDavid E. O'Brien double	cos(double);
15669160b1eSDavid E. O'Brien double	sin(double);
15769160b1eSDavid E. O'Brien double	tan(double);
1583a8617a8SJordan K. Hubbard 
15969160b1eSDavid E. O'Brien double	cosh(double);
16069160b1eSDavid E. O'Brien double	sinh(double);
16169160b1eSDavid E. O'Brien double	tanh(double);
1623a8617a8SJordan K. Hubbard 
16369160b1eSDavid E. O'Brien double	exp(double);
164219cbe10SBruce Evans double	frexp(double, int *);	/* fundamentally !__pure2 */
16569160b1eSDavid E. O'Brien double	ldexp(double, int);
16669160b1eSDavid E. O'Brien double	log(double);
16769160b1eSDavid E. O'Brien double	log10(double);
168219cbe10SBruce Evans double	modf(double, double *);	/* fundamentally !__pure2 */
1693a8617a8SJordan K. Hubbard 
17069160b1eSDavid E. O'Brien double	pow(double, double);
17169160b1eSDavid E. O'Brien double	sqrt(double);
1723a8617a8SJordan K. Hubbard 
17369160b1eSDavid E. O'Brien double	ceil(double);
17469160b1eSDavid E. O'Brien double	fabs(double);
17569160b1eSDavid E. O'Brien double	floor(double);
17669160b1eSDavid E. O'Brien double	fmod(double, double);
1773a8617a8SJordan K. Hubbard 
178219cbe10SBruce Evans /*
179219cbe10SBruce Evans  * These functions are not in C90 so they can be "right".  The ones that
180219cbe10SBruce Evans  * never set errno in lib/msun are declared as __pure2.
181219cbe10SBruce Evans  */
1823a8617a8SJordan K. Hubbard #if !defined(_ANSI_SOURCE) && !defined(_POSIX_SOURCE)
18369160b1eSDavid E. O'Brien double	erf(double);
184219cbe10SBruce Evans double	erfc(double) __pure2;
185219cbe10SBruce Evans int	finite(double) __pure2;
18669160b1eSDavid E. O'Brien double	gamma(double);
18769160b1eSDavid E. O'Brien double	hypot(double, double);
188219cbe10SBruce Evans int	isinf(double) __pure2;
189219cbe10SBruce Evans int	isnan(double) __pure2;
19069160b1eSDavid E. O'Brien double	j0(double);
19169160b1eSDavid E. O'Brien double	j1(double);
19269160b1eSDavid E. O'Brien double	jn(int, double);
19369160b1eSDavid E. O'Brien double	lgamma(double);
19469160b1eSDavid E. O'Brien double	y0(double);
19569160b1eSDavid E. O'Brien double	y1(double);
19669160b1eSDavid E. O'Brien double	yn(int, double);
1973a8617a8SJordan K. Hubbard 
1983a8617a8SJordan K. Hubbard #if !defined(_XOPEN_SOURCE)
19969160b1eSDavid E. O'Brien double	acosh(double);
20069160b1eSDavid E. O'Brien double	asinh(double);
20169160b1eSDavid E. O'Brien double	atanh(double);
202219cbe10SBruce Evans double	cbrt(double) __pure2;
203219cbe10SBruce Evans double	logb(double) __pure2;
20469160b1eSDavid E. O'Brien double	nextafter(double, double);
20569160b1eSDavid E. O'Brien double	remainder(double, double);
20669160b1eSDavid E. O'Brien double	scalb(double, double);
20746d7c297SBruce Evans double	tgamma(double);
2083a8617a8SJordan K. Hubbard 
2096a9280beSBruce Evans #ifndef __cplusplus
21069160b1eSDavid E. O'Brien int	matherr(struct exception *);
2116a9280beSBruce Evans #endif
2123a8617a8SJordan K. Hubbard 
2133a8617a8SJordan K. Hubbard /*
2143a8617a8SJordan K. Hubbard  * IEEE Test Vector
2153a8617a8SJordan K. Hubbard  */
21669160b1eSDavid E. O'Brien double	significand(double);
2173a8617a8SJordan K. Hubbard 
2183a8617a8SJordan K. Hubbard /*
2193a8617a8SJordan K. Hubbard  * Functions callable from C, intended to support IEEE arithmetic.
2203a8617a8SJordan K. Hubbard  */
221219cbe10SBruce Evans double	copysign(double, double) __pure2;
22269160b1eSDavid E. O'Brien int	ilogb(double);
223219cbe10SBruce Evans double	rint(double) __pure2;
22469160b1eSDavid E. O'Brien double	scalbn(double, int);
2253a8617a8SJordan K. Hubbard 
2263a8617a8SJordan K. Hubbard /*
2273a8617a8SJordan K. Hubbard  * BSD math library entry points
2283a8617a8SJordan K. Hubbard  */
22969160b1eSDavid E. O'Brien double	drem(double, double);
230219cbe10SBruce Evans double	expm1(double) __pure2;
231219cbe10SBruce Evans double	log1p(double) __pure2;
2323a8617a8SJordan K. Hubbard 
2333a8617a8SJordan K. Hubbard /*
2343a8617a8SJordan K. Hubbard  * Reentrant version of gamma & lgamma; passes signgam back by reference
2353a8617a8SJordan K. Hubbard  * as the second argument; user must allocate space for signgam.
2363a8617a8SJordan K. Hubbard  */
2373a8617a8SJordan K. Hubbard #ifdef _REENTRANT
23869160b1eSDavid E. O'Brien double	gamma_r(double, int *);
23969160b1eSDavid E. O'Brien double	lgamma_r(double, int *);
2403a8617a8SJordan K. Hubbard #endif /* _REENTRANT */
2413a8617a8SJordan K. Hubbard 
2423a8617a8SJordan K. Hubbard /* float versions of ANSI/POSIX functions */
24369160b1eSDavid E. O'Brien float	acosf(float);
24469160b1eSDavid E. O'Brien float	asinf(float);
24569160b1eSDavid E. O'Brien float	atanf(float);
24669160b1eSDavid E. O'Brien float	atan2f(float, float);
24769160b1eSDavid E. O'Brien float	cosf(float);
24869160b1eSDavid E. O'Brien float	sinf(float);
24969160b1eSDavid E. O'Brien float	tanf(float);
2503a8617a8SJordan K. Hubbard 
25169160b1eSDavid E. O'Brien float	coshf(float);
25269160b1eSDavid E. O'Brien float	sinhf(float);
25369160b1eSDavid E. O'Brien float	tanhf(float);
2543a8617a8SJordan K. Hubbard 
25569160b1eSDavid E. O'Brien float	expf(float);
256219cbe10SBruce Evans float	frexpf(float, int *);	/* fundamentally !__pure2 */
25769160b1eSDavid E. O'Brien float	ldexpf(float, int);
25869160b1eSDavid E. O'Brien float	logf(float);
25969160b1eSDavid E. O'Brien float	log10f(float);
260219cbe10SBruce Evans float	modff(float, float *);	/* fundamentally !__pure2 */
2613a8617a8SJordan K. Hubbard 
26269160b1eSDavid E. O'Brien float	powf(float, float);
26369160b1eSDavid E. O'Brien float	sqrtf(float);
2643a8617a8SJordan K. Hubbard 
26569160b1eSDavid E. O'Brien float	ceilf(float);
26669160b1eSDavid E. O'Brien float	fabsf(float);
26769160b1eSDavid E. O'Brien float	floorf(float);
26869160b1eSDavid E. O'Brien float	fmodf(float, float);
2693a8617a8SJordan K. Hubbard 
27069160b1eSDavid E. O'Brien float	erff(float);
271219cbe10SBruce Evans float	erfcf(float) __pure2;
272219cbe10SBruce Evans int	finitef(float) __pure2;
27369160b1eSDavid E. O'Brien float	gammaf(float);
274219cbe10SBruce Evans float	hypotf(float, float) __pure2;
275219cbe10SBruce Evans int	isnanf(float) __pure2;
27669160b1eSDavid E. O'Brien float	j0f(float);
27769160b1eSDavid E. O'Brien float	j1f(float);
27869160b1eSDavid E. O'Brien float	jnf(int, float);
27969160b1eSDavid E. O'Brien float	lgammaf(float);
28069160b1eSDavid E. O'Brien float	y0f(float);
28169160b1eSDavid E. O'Brien float	y1f(float);
28269160b1eSDavid E. O'Brien float	ynf(int, float);
2833a8617a8SJordan K. Hubbard 
28469160b1eSDavid E. O'Brien float	acoshf(float);
28569160b1eSDavid E. O'Brien float	asinhf(float);
28669160b1eSDavid E. O'Brien float	atanhf(float);
287219cbe10SBruce Evans float	cbrtf(float) __pure2;
288219cbe10SBruce Evans float	logbf(float) __pure2;
28969160b1eSDavid E. O'Brien float	nextafterf(float, float);
29069160b1eSDavid E. O'Brien float	remainderf(float, float);
29169160b1eSDavid E. O'Brien float	scalbf(float, float);
2923a8617a8SJordan K. Hubbard 
2933a8617a8SJordan K. Hubbard /*
2943a8617a8SJordan K. Hubbard  * float version of IEEE Test Vector
2953a8617a8SJordan K. Hubbard  */
29669160b1eSDavid E. O'Brien float	significandf(float);
2973a8617a8SJordan K. Hubbard 
2983a8617a8SJordan K. Hubbard /*
2993a8617a8SJordan K. Hubbard  * Float versions of functions callable from C, intended to support
3003a8617a8SJordan K. Hubbard  * IEEE arithmetic.
3013a8617a8SJordan K. Hubbard  */
302219cbe10SBruce Evans float	copysignf(float, float) __pure2;
30369160b1eSDavid E. O'Brien int	ilogbf(float);
30469160b1eSDavid E. O'Brien float	rintf(float);
30569160b1eSDavid E. O'Brien float	scalbnf(float, int);
3063a8617a8SJordan K. Hubbard 
3073a8617a8SJordan K. Hubbard /*
3083a8617a8SJordan K. Hubbard  * float versions of BSD math library entry points
3093a8617a8SJordan K. Hubbard  */
31069160b1eSDavid E. O'Brien float	dremf(float, float);
311219cbe10SBruce Evans float	expm1f(float) __pure2;
312219cbe10SBruce Evans float	log1pf(float) __pure2;
3133a8617a8SJordan K. Hubbard 
3143a8617a8SJordan K. Hubbard /*
3153a8617a8SJordan K. Hubbard  * Float versions of reentrant version of gamma & lgamma; passes
3163a8617a8SJordan K. Hubbard  * signgam back by reference as the second argument; user must
3173a8617a8SJordan K. Hubbard  * allocate space for signgam.
3183a8617a8SJordan K. Hubbard  */
3193a8617a8SJordan K. Hubbard #ifdef _REENTRANT
32069160b1eSDavid E. O'Brien float	gammaf_r(float, int *);
32169160b1eSDavid E. O'Brien float	lgammaf_r(float, int *);
3223a8617a8SJordan K. Hubbard #endif	/* _REENTRANT */
3233a8617a8SJordan K. Hubbard 
3243a8617a8SJordan K. Hubbard #endif /* !_XOPEN_SOURCE */
3253a8617a8SJordan K. Hubbard #endif /* !_ANSI_SOURCE && !_POSIX_SOURCE */
3263a8617a8SJordan K. Hubbard __END_DECLS
3273a8617a8SJordan K. Hubbard 
328ef1ee63eSAlexey Zelkin #endif /* !_MATH_H_ */
329