xref: /freebsd/lib/msun/src/math.h (revision 457f6cd2d6a252c742a247d30d8483a2a8f7d8e7)
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. */
445d62092fSMike Barcroft #define	FP_INFINITE	0x01
455d62092fSMike Barcroft #define	FP_NAN		0x02
465d62092fSMike Barcroft #define	FP_NORMAL	0x04
475d62092fSMike Barcroft #define	FP_SUBNORMAL	0x08
485d62092fSMike Barcroft #define	FP_ZERO		0x10
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))
535d62092fSMike Barcroft 
545d62092fSMike Barcroft #define	isfinite(x)	(fpclassify(x) & (FP_INFINITE|FP_NAN) == 0)
555d62092fSMike Barcroft #define	isinf(x)	(fpclassify(x) == FP_INFINITE)
565d62092fSMike Barcroft #define	isnan(x)	(fpclassify(x) == FP_NAN)
575d62092fSMike Barcroft #define	isnanf(x)      	isnan(x)
585d62092fSMike Barcroft #define	isnormal(x)	(fpclassify(x) == FP_NORMAL)
595d62092fSMike Barcroft 
605d62092fSMike Barcroft #define	isgreater(x, y)		(!isunordered((x), (y)) && (x) > (y))
615d62092fSMike Barcroft #define	isgreaterequal(x, y)	(!isunordered((x), (y)) && (x) >= (y))
625d62092fSMike Barcroft #define	isless(x, y)		(!isunordered((x), (y)) && (x) < (y))
635d62092fSMike Barcroft #define	islessequal(x, y)	(!isunordered((x), (y)) && (x) <= (y))
645d62092fSMike Barcroft #define	islessgreater(x, y)	(!isunordered((x), (y)) && \
655d62092fSMike Barcroft 					((x) > (y) || (y) > (x)))
665d62092fSMike Barcroft #define	isunordered(x, y)	(isnan(x) || isnan(y))
675d62092fSMike Barcroft 
688e9b2831SMike Barcroft #define	signbit(x)	__signbit(x)
698cf5ed51SMike Barcroft 
708cf5ed51SMike Barcroft typedef	__double_t	double_t;
718cf5ed51SMike Barcroft typedef	__float_t	float_t;
723a8617a8SJordan K. Hubbard 
733a8617a8SJordan K. Hubbard /*
743a8617a8SJordan K. Hubbard  * XOPEN/SVID
753a8617a8SJordan K. Hubbard  */
763a8617a8SJordan K. Hubbard #if !defined(_ANSI_SOURCE) && !defined(_POSIX_SOURCE)
773a8617a8SJordan K. Hubbard #define	M_E		2.7182818284590452354	/* e */
783a8617a8SJordan K. Hubbard #define	M_LOG2E		1.4426950408889634074	/* log 2e */
793a8617a8SJordan K. Hubbard #define	M_LOG10E	0.43429448190325182765	/* log 10e */
803a8617a8SJordan K. Hubbard #define	M_LN2		0.69314718055994530942	/* log e2 */
813a8617a8SJordan K. Hubbard #define	M_LN10		2.30258509299404568402	/* log e10 */
823a8617a8SJordan K. Hubbard #define	M_PI		3.14159265358979323846	/* pi */
833a8617a8SJordan K. Hubbard #define	M_PI_2		1.57079632679489661923	/* pi/2 */
843a8617a8SJordan K. Hubbard #define	M_PI_4		0.78539816339744830962	/* pi/4 */
853a8617a8SJordan K. Hubbard #define	M_1_PI		0.31830988618379067154	/* 1/pi */
863a8617a8SJordan K. Hubbard #define	M_2_PI		0.63661977236758134308	/* 2/pi */
873a8617a8SJordan K. Hubbard #define	M_2_SQRTPI	1.12837916709551257390	/* 2/sqrt(pi) */
883a8617a8SJordan K. Hubbard #define	M_SQRT2		1.41421356237309504880	/* sqrt(2) */
893a8617a8SJordan K. Hubbard #define	M_SQRT1_2	0.70710678118654752440	/* 1/sqrt(2) */
903a8617a8SJordan K. Hubbard 
913a8617a8SJordan K. Hubbard #define	MAXFLOAT	((float)3.40282346638528860e+38)
923a8617a8SJordan K. Hubbard extern int signgam;
933a8617a8SJordan K. Hubbard 
943a8617a8SJordan K. Hubbard #if !defined(_XOPEN_SOURCE)
953a8617a8SJordan K. Hubbard enum fdversion {fdlibm_ieee = -1, fdlibm_svid, fdlibm_xopen, fdlibm_posix};
963a8617a8SJordan K. Hubbard 
973a8617a8SJordan K. Hubbard #define _LIB_VERSION_TYPE enum fdversion
983a8617a8SJordan K. Hubbard #define _LIB_VERSION _fdlib_version
993a8617a8SJordan K. Hubbard 
1003a8617a8SJordan K. Hubbard /* if global variable _LIB_VERSION is not desirable, one may
1013a8617a8SJordan K. Hubbard  * change the following to be a constant by:
1023a8617a8SJordan K. Hubbard  *	#define _LIB_VERSION_TYPE const enum version
1033a8617a8SJordan K. Hubbard  * In that case, after one initializes the value _LIB_VERSION (see
1043a8617a8SJordan K. Hubbard  * s_lib_version.c) during compile time, it cannot be modified
1053a8617a8SJordan K. Hubbard  * in the middle of a program
1063a8617a8SJordan K. Hubbard  */
1073a8617a8SJordan K. Hubbard extern  _LIB_VERSION_TYPE  _LIB_VERSION;
1083a8617a8SJordan K. Hubbard 
1093a8617a8SJordan K. Hubbard #define _IEEE_  fdlibm_ieee
1103a8617a8SJordan K. Hubbard #define _SVID_  fdlibm_svid
1113a8617a8SJordan K. Hubbard #define _XOPEN_ fdlibm_xopen
1123a8617a8SJordan K. Hubbard #define _POSIX_ fdlibm_posix
1133a8617a8SJordan K. Hubbard 
114d6f56cfcSDavid E. O'Brien /* We have a problem when using C++ since `exception' is a reserved
115d6f56cfcSDavid E. O'Brien    name in C++.  */
1166a9280beSBruce Evans #ifndef __cplusplus
1173a8617a8SJordan K. Hubbard struct exception {
1183a8617a8SJordan K. Hubbard 	int type;
1193a8617a8SJordan K. Hubbard 	char *name;
1203a8617a8SJordan K. Hubbard 	double arg1;
1213a8617a8SJordan K. Hubbard 	double arg2;
1223a8617a8SJordan K. Hubbard 	double retval;
1233a8617a8SJordan K. Hubbard };
1246a9280beSBruce Evans #endif
1253a8617a8SJordan K. Hubbard 
126219cbe10SBruce Evans #if 0
12754e9b367SBruce Evans /* Old value from 4.4BSD-Lite math.h; this is probably better. */
128219cbe10SBruce Evans #define	HUGE		HUGE_VAL
129219cbe10SBruce Evans #else
1303a8617a8SJordan K. Hubbard #define	HUGE		MAXFLOAT
131219cbe10SBruce Evans #endif
1323a8617a8SJordan K. Hubbard 
1333a8617a8SJordan K. Hubbard /*
1343a8617a8SJordan K. Hubbard  * set X_TLOSS = pi*2**52, which is possibly defined in <values.h>
1353a8617a8SJordan K. Hubbard  * (one may replace the following line by "#include <values.h>")
1363a8617a8SJordan K. Hubbard  */
1373a8617a8SJordan K. Hubbard 
1383a8617a8SJordan K. Hubbard #define X_TLOSS		1.41484755040568800000e+16
1393a8617a8SJordan K. Hubbard 
1403a8617a8SJordan K. Hubbard #define	DOMAIN		1
1413a8617a8SJordan K. Hubbard #define	SING		2
1423a8617a8SJordan K. Hubbard #define	OVERFLOW	3
1433a8617a8SJordan K. Hubbard #define	UNDERFLOW	4
1443a8617a8SJordan K. Hubbard #define	TLOSS		5
1453a8617a8SJordan K. Hubbard #define	PLOSS		6
1463a8617a8SJordan K. Hubbard 
1473a8617a8SJordan K. Hubbard #endif /* !_XOPEN_SOURCE */
1483a8617a8SJordan K. Hubbard #endif /* !_ANSI_SOURCE && !_POSIX_SOURCE */
1493a8617a8SJordan K. Hubbard 
1503a8617a8SJordan K. Hubbard #include <sys/cdefs.h>
1516898f8c4SBruce Evans 
152219cbe10SBruce Evans /*
153219cbe10SBruce Evans  * Most of these functions have the side effect of setting errno, so they
154219cbe10SBruce Evans  * are not declared as __pure2.  (XXX: this point needs to be revisited,
155219cbe10SBruce Evans  * since C99 doesn't require the mistake of setting errno, and we mostly
156219cbe10SBruce Evans  * don't set it anyway.  In C99, pragmas and functions for changing the
157219cbe10SBruce Evans  * rounding mode affect the purity of these functions.)
158219cbe10SBruce Evans  */
1596898f8c4SBruce Evans __BEGIN_DECLS
1603a8617a8SJordan K. Hubbard /*
1613a8617a8SJordan K. Hubbard  * ANSI/POSIX
1623a8617a8SJordan K. Hubbard  */
1635d62092fSMike Barcroft int	__fpclassifyd(double) __pure2;
1645d62092fSMike Barcroft int	__fpclassifyf(float) __pure2;
1655d62092fSMike Barcroft int	__fpclassifyl(long double) __pure2;
1665d62092fSMike Barcroft int	__signbit(double) __pure2;
1678cf5ed51SMike Barcroft 
16869160b1eSDavid E. O'Brien double	acos(double);
16969160b1eSDavid E. O'Brien double	asin(double);
17069160b1eSDavid E. O'Brien double	atan(double);
17169160b1eSDavid E. O'Brien double	atan2(double, double);
17269160b1eSDavid E. O'Brien double	cos(double);
17369160b1eSDavid E. O'Brien double	sin(double);
17469160b1eSDavid E. O'Brien double	tan(double);
1753a8617a8SJordan K. Hubbard 
17669160b1eSDavid E. O'Brien double	cosh(double);
17769160b1eSDavid E. O'Brien double	sinh(double);
17869160b1eSDavid E. O'Brien double	tanh(double);
1793a8617a8SJordan K. Hubbard 
18069160b1eSDavid E. O'Brien double	exp(double);
181219cbe10SBruce Evans double	frexp(double, int *);	/* fundamentally !__pure2 */
18269160b1eSDavid E. O'Brien double	ldexp(double, int);
18369160b1eSDavid E. O'Brien double	log(double);
18469160b1eSDavid E. O'Brien double	log10(double);
185219cbe10SBruce Evans double	modf(double, double *);	/* fundamentally !__pure2 */
1863a8617a8SJordan K. Hubbard 
18769160b1eSDavid E. O'Brien double	pow(double, double);
18869160b1eSDavid E. O'Brien double	sqrt(double);
1893a8617a8SJordan K. Hubbard 
19069160b1eSDavid E. O'Brien double	ceil(double);
19169160b1eSDavid E. O'Brien double	fabs(double);
19269160b1eSDavid E. O'Brien double	floor(double);
19369160b1eSDavid E. O'Brien double	fmod(double, double);
1943a8617a8SJordan K. Hubbard 
195219cbe10SBruce Evans /*
196219cbe10SBruce Evans  * These functions are not in C90 so they can be "right".  The ones that
197219cbe10SBruce Evans  * never set errno in lib/msun are declared as __pure2.
198219cbe10SBruce Evans  */
1993a8617a8SJordan K. Hubbard #if !defined(_ANSI_SOURCE) && !defined(_POSIX_SOURCE)
20069160b1eSDavid E. O'Brien double	erf(double);
201219cbe10SBruce Evans double	erfc(double) __pure2;
202219cbe10SBruce Evans int	finite(double) __pure2;
20369160b1eSDavid E. O'Brien double	gamma(double);
20469160b1eSDavid E. O'Brien double	hypot(double, double);
20569160b1eSDavid E. O'Brien double	j0(double);
20669160b1eSDavid E. O'Brien double	j1(double);
20769160b1eSDavid E. O'Brien double	jn(int, double);
20869160b1eSDavid E. O'Brien double	lgamma(double);
20969160b1eSDavid E. O'Brien double	y0(double);
21069160b1eSDavid E. O'Brien double	y1(double);
21169160b1eSDavid E. O'Brien double	yn(int, double);
2123a8617a8SJordan K. Hubbard 
2133a8617a8SJordan K. Hubbard #if !defined(_XOPEN_SOURCE)
21469160b1eSDavid E. O'Brien double	acosh(double);
21569160b1eSDavid E. O'Brien double	asinh(double);
21669160b1eSDavid E. O'Brien double	atanh(double);
217219cbe10SBruce Evans double	cbrt(double) __pure2;
218219cbe10SBruce Evans double	logb(double) __pure2;
21969160b1eSDavid E. O'Brien double	nextafter(double, double);
22069160b1eSDavid E. O'Brien double	remainder(double, double);
22169160b1eSDavid E. O'Brien double	scalb(double, double);
22246d7c297SBruce Evans double	tgamma(double);
2233a8617a8SJordan K. Hubbard 
2246a9280beSBruce Evans #ifndef __cplusplus
22569160b1eSDavid E. O'Brien int	matherr(struct exception *);
2266a9280beSBruce Evans #endif
2273a8617a8SJordan K. Hubbard 
2283a8617a8SJordan K. Hubbard /*
2293a8617a8SJordan K. Hubbard  * IEEE Test Vector
2303a8617a8SJordan K. Hubbard  */
23169160b1eSDavid E. O'Brien double	significand(double);
2323a8617a8SJordan K. Hubbard 
2333a8617a8SJordan K. Hubbard /*
2343a8617a8SJordan K. Hubbard  * Functions callable from C, intended to support IEEE arithmetic.
2353a8617a8SJordan K. Hubbard  */
236219cbe10SBruce Evans double	copysign(double, double) __pure2;
23769160b1eSDavid E. O'Brien int	ilogb(double);
238219cbe10SBruce Evans double	rint(double) __pure2;
23969160b1eSDavid E. O'Brien double	scalbn(double, int);
2403a8617a8SJordan K. Hubbard 
2413a8617a8SJordan K. Hubbard /*
2423a8617a8SJordan K. Hubbard  * BSD math library entry points
2433a8617a8SJordan K. Hubbard  */
24469160b1eSDavid E. O'Brien double	drem(double, double);
245219cbe10SBruce Evans double	expm1(double) __pure2;
246219cbe10SBruce Evans double	log1p(double) __pure2;
2473a8617a8SJordan K. Hubbard 
2483a8617a8SJordan K. Hubbard /*
2493a8617a8SJordan K. Hubbard  * Reentrant version of gamma & lgamma; passes signgam back by reference
2503a8617a8SJordan K. Hubbard  * as the second argument; user must allocate space for signgam.
2513a8617a8SJordan K. Hubbard  */
252457f6cd2SWarner Losh #ifdef __BSD_VISIBLE
25369160b1eSDavid E. O'Brien double	gamma_r(double, int *);
25469160b1eSDavid E. O'Brien double	lgamma_r(double, int *);
255457f6cd2SWarner Losh #endif /* __BSD_VISIBLE */
2563a8617a8SJordan K. Hubbard 
2573a8617a8SJordan K. Hubbard /* float versions of ANSI/POSIX functions */
25869160b1eSDavid E. O'Brien float	acosf(float);
25969160b1eSDavid E. O'Brien float	asinf(float);
26069160b1eSDavid E. O'Brien float	atanf(float);
26169160b1eSDavid E. O'Brien float	atan2f(float, float);
26269160b1eSDavid E. O'Brien float	cosf(float);
26369160b1eSDavid E. O'Brien float	sinf(float);
26469160b1eSDavid E. O'Brien float	tanf(float);
2653a8617a8SJordan K. Hubbard 
26669160b1eSDavid E. O'Brien float	coshf(float);
26769160b1eSDavid E. O'Brien float	sinhf(float);
26869160b1eSDavid E. O'Brien float	tanhf(float);
2693a8617a8SJordan K. Hubbard 
27069160b1eSDavid E. O'Brien float	expf(float);
271219cbe10SBruce Evans float	frexpf(float, int *);	/* fundamentally !__pure2 */
27269160b1eSDavid E. O'Brien float	ldexpf(float, int);
27369160b1eSDavid E. O'Brien float	logf(float);
27469160b1eSDavid E. O'Brien float	log10f(float);
275219cbe10SBruce Evans float	modff(float, float *);	/* fundamentally !__pure2 */
2763a8617a8SJordan K. Hubbard 
27769160b1eSDavid E. O'Brien float	powf(float, float);
27869160b1eSDavid E. O'Brien float	sqrtf(float);
2793a8617a8SJordan K. Hubbard 
28069160b1eSDavid E. O'Brien float	ceilf(float);
28169160b1eSDavid E. O'Brien float	fabsf(float);
28269160b1eSDavid E. O'Brien float	floorf(float);
28369160b1eSDavid E. O'Brien float	fmodf(float, float);
2843a8617a8SJordan K. Hubbard 
28569160b1eSDavid E. O'Brien float	erff(float);
286219cbe10SBruce Evans float	erfcf(float) __pure2;
287219cbe10SBruce Evans int	finitef(float) __pure2;
28869160b1eSDavid E. O'Brien float	gammaf(float);
289219cbe10SBruce Evans float	hypotf(float, float) __pure2;
29069160b1eSDavid E. O'Brien float	j0f(float);
29169160b1eSDavid E. O'Brien float	j1f(float);
29269160b1eSDavid E. O'Brien float	jnf(int, float);
29369160b1eSDavid E. O'Brien float	lgammaf(float);
29469160b1eSDavid E. O'Brien float	y0f(float);
29569160b1eSDavid E. O'Brien float	y1f(float);
29669160b1eSDavid E. O'Brien float	ynf(int, float);
2973a8617a8SJordan K. Hubbard 
29869160b1eSDavid E. O'Brien float	acoshf(float);
29969160b1eSDavid E. O'Brien float	asinhf(float);
30069160b1eSDavid E. O'Brien float	atanhf(float);
301219cbe10SBruce Evans float	cbrtf(float) __pure2;
302219cbe10SBruce Evans float	logbf(float) __pure2;
30369160b1eSDavid E. O'Brien float	nextafterf(float, float);
30469160b1eSDavid E. O'Brien float	remainderf(float, float);
30569160b1eSDavid E. O'Brien float	scalbf(float, float);
3063a8617a8SJordan K. Hubbard 
3073a8617a8SJordan K. Hubbard /*
3083a8617a8SJordan K. Hubbard  * float version of IEEE Test Vector
3093a8617a8SJordan K. Hubbard  */
31069160b1eSDavid E. O'Brien float	significandf(float);
3113a8617a8SJordan K. Hubbard 
3123a8617a8SJordan K. Hubbard /*
3133a8617a8SJordan K. Hubbard  * Float versions of functions callable from C, intended to support
3143a8617a8SJordan K. Hubbard  * IEEE arithmetic.
3153a8617a8SJordan K. Hubbard  */
316219cbe10SBruce Evans float	copysignf(float, float) __pure2;
31769160b1eSDavid E. O'Brien int	ilogbf(float);
31869160b1eSDavid E. O'Brien float	rintf(float);
31969160b1eSDavid E. O'Brien float	scalbnf(float, int);
3203a8617a8SJordan K. Hubbard 
3213a8617a8SJordan K. Hubbard /*
3223a8617a8SJordan K. Hubbard  * float versions of BSD math library entry points
3233a8617a8SJordan K. Hubbard  */
32469160b1eSDavid E. O'Brien float	dremf(float, float);
325219cbe10SBruce Evans float	expm1f(float) __pure2;
326219cbe10SBruce Evans float	log1pf(float) __pure2;
3273a8617a8SJordan K. Hubbard 
3283a8617a8SJordan K. Hubbard /*
3293a8617a8SJordan K. Hubbard  * Float versions of reentrant version of gamma & lgamma; passes
3303a8617a8SJordan K. Hubbard  * signgam back by reference as the second argument; user must
3313a8617a8SJordan K. Hubbard  * allocate space for signgam.
3323a8617a8SJordan K. Hubbard  */
333457f6cd2SWarner Losh #ifdef __BSD_VISIBLE
33469160b1eSDavid E. O'Brien float	gammaf_r(float, int *);
33569160b1eSDavid E. O'Brien float	lgammaf_r(float, int *);
336457f6cd2SWarner Losh #endif	/* __BSD_VISIBLE */
3373a8617a8SJordan K. Hubbard 
3383a8617a8SJordan K. Hubbard #endif /* !_XOPEN_SOURCE */
3393a8617a8SJordan K. Hubbard #endif /* !_ANSI_SOURCE && !_POSIX_SOURCE */
3403a8617a8SJordan K. Hubbard __END_DECLS
3413a8617a8SJordan K. Hubbard 
342ef1ee63eSAlexey Zelkin #endif /* !_MATH_H_ */
343