1184588Sdfr/*
2184588Sdfr * ====================================================
3184588Sdfr * Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved.
4184588Sdfr *
5184588Sdfr * Developed at SunPro, a Sun Microsystems, Inc. business.
6184588Sdfr * Permission to use, copy, modify, and distribute this
7184588Sdfr * software is freely granted, provided that this notice
8184588Sdfr * is preserved.
9184588Sdfr * ====================================================
10184588Sdfr */
11184588Sdfr
12184588Sdfr/*
13184588Sdfr * from: @(#)fdlibm.h 5.1 93/09/24
14184588Sdfr * $FreeBSD: stable/11/lib/msun/src/math.h 369606 2021-04-15 17:27:32Z git2svn $
15184588Sdfr */
16184588Sdfr
17184588Sdfr#ifndef _MATH_H_
18184588Sdfr#define	_MATH_H_
19184588Sdfr
20184588Sdfr#include <sys/cdefs.h>
21184588Sdfr#include <sys/_types.h>
22184588Sdfr#include <machine/_limits.h>
23184588Sdfr
24184588Sdfr/*
25184588Sdfr * ANSI/POSIX
26184588Sdfr */
27249592Skenextern const union __infinity_un {
28249592Sken	unsigned char	__uc[8];
29249592Sken	double		__ud;
30249592Sken} __infinity;
31249592Sken
32249592Skenextern const union __nan_un {
33249592Sken	unsigned char	__uc[sizeof(float)];
34322137Smav	float		__uf;
35322137Smav} __nan;
36249592Sken
37249592Sken#if __GNUC_PREREQ__(3, 3) || (defined(__INTEL_COMPILER) && __INTEL_COMPILER >= 800)
38249592Sken#define	__MATH_BUILTIN_CONSTANTS
39249592Sken#endif
40260097Smav
41249592Sken#if __GNUC_PREREQ__(3, 0) && !defined(__INTEL_COMPILER)
42249592Sken#define	__MATH_BUILTIN_RELOPS
43249592Sken#endif
44322137Smav
45322137Smav#ifdef __MATH_BUILTIN_CONSTANTS
46249592Sken#define	HUGE_VAL	__builtin_huge_val()
47249592Sken#else
48249592Sken#define	HUGE_VAL	(__infinity.__ud)
49249592Sken#endif
50249592Sken
51249592Sken#if __ISO_C_VISIBLE >= 1999
52249592Sken#define	FP_ILOGB0	(-__INT_MAX)
53249592Sken#define	FP_ILOGBNAN	__INT_MAX
54249592Sken
55249592Sken#ifdef __MATH_BUILTIN_CONSTANTS
56249592Sken#define	HUGE_VALF	__builtin_huge_valf()
57249592Sken#define	HUGE_VALL	__builtin_huge_vall()
58249592Sken#define	INFINITY	__builtin_inff()
59249592Sken#define	NAN		__builtin_nanf("")
60249592Sken#else
61249592Sken#define	HUGE_VALF	(float)HUGE_VAL
62249592Sken#define	HUGE_VALL	(long double)HUGE_VAL
63249592Sken#define	INFINITY	HUGE_VALF
64249592Sken#define	NAN		(__nan.__uf)
65260097Smav#endif /* __MATH_BUILTIN_CONSTANTS */
66249592Sken
67249592Sken#define	MATH_ERRNO	1
68249592Sken#define	MATH_ERREXCEPT	2
69249592Sken#define	math_errhandling	MATH_ERREXCEPT
70249592Sken
71249592Sken#define	FP_FAST_FMAF	1
72249592Sken
73249592Sken/* Symbolic constants to classify floating point numbers. */
74249592Sken#define	FP_INFINITE	0x01
75249592Sken#define	FP_NAN		0x02
76260097Smav#define	FP_NORMAL	0x04
77260097Smav#define	FP_SUBNORMAL	0x08
78260097Smav#define	FP_ZERO		0x10
79260097Smav
80260097Smav#if __STDC_VERSION__ >= 201112L || __has_extension(c_generic_selections)
81249592Sken#define	__fp_type_select(x, f, d, ld) __extension__ _Generic((x),	\
82249592Sken    float: f(x),							\
83249592Sken    double: d(x),							\
84249592Sken    long double: ld(x),							\
85249592Sken    volatile float: f(x),						\
86322137Smav    volatile double: d(x),						\
87322137Smav    volatile long double: ld(x),					\
88249592Sken    volatile const float: f(x),						\
89249592Sken    volatile const double: d(x),					\
90249592Sken    volatile const long double: ld(x),					\
91249592Sken    const float: f(x),							\
92249592Sken    const double: d(x),							\
93259765Smav    const long double: ld(x))
94249592Sken#elif __GNUC_PREREQ__(3, 1) && !defined(__cplusplus)
95249592Sken#define	__fp_type_select(x, f, d, ld) __builtin_choose_expr(		\
96249592Sken    __builtin_types_compatible_p(__typeof(x), long double), ld(x),	\
97249592Sken    __builtin_choose_expr(						\
98249592Sken    __builtin_types_compatible_p(__typeof(x), double), d(x),		\
99249592Sken    __builtin_choose_expr(						\
100249592Sken    __builtin_types_compatible_p(__typeof(x), float), f(x), (void)0)))
101249592Sken#else
102249592Sken#define	 __fp_type_select(x, f, d, ld)					\
103249592Sken    ((sizeof(x) == sizeof(float)) ? f(x)				\
104260097Smav    : (sizeof(x) == sizeof(double)) ? d(x)				\
105249592Sken    : ld(x))
106249592Sken#endif
107249592Sken
108249592Sken#define	fpclassify(x) \
109249592Sken	__fp_type_select(x, __fpclassifyf, __fpclassifyd, __fpclassifyl)
110249592Sken#define	isfinite(x) __fp_type_select(x, __isfinitef, __isfinite, __isfinitel)
111249592Sken#define	isinf(x) __fp_type_select(x, __isinff, __isinf, __isinfl)
112249592Sken#define	isnan(x) \
113184588Sdfr	__fp_type_select(x, __inline_isnanf, __inline_isnan, __inline_isnanl)
114249592Sken#define	isnormal(x) __fp_type_select(x, __isnormalf, __isnormal, __isnormall)
115249592Sken
116249592Sken#ifdef __MATH_BUILTIN_RELOPS
117249592Sken#define	isgreater(x, y)		__builtin_isgreater((x), (y))
118249592Sken#define	isgreaterequal(x, y)	__builtin_isgreaterequal((x), (y))
119249592Sken#define	isless(x, y)		__builtin_isless((x), (y))
120249592Sken#define	islessequal(x, y)	__builtin_islessequal((x), (y))
121#define	islessgreater(x, y)	__builtin_islessgreater((x), (y))
122#define	isunordered(x, y)	__builtin_isunordered((x), (y))
123#else
124#define	isgreater(x, y)		(!isunordered((x), (y)) && (x) > (y))
125#define	isgreaterequal(x, y)	(!isunordered((x), (y)) && (x) >= (y))
126#define	isless(x, y)		(!isunordered((x), (y)) && (x) < (y))
127#define	islessequal(x, y)	(!isunordered((x), (y)) && (x) <= (y))
128#define	islessgreater(x, y)	(!isunordered((x), (y)) && \
129					((x) > (y) || (y) > (x)))
130#define	isunordered(x, y)	(isnan(x) || isnan(y))
131#endif /* __MATH_BUILTIN_RELOPS */
132
133#define	signbit(x) __fp_type_select(x, __signbitf, __signbit, __signbitl)
134
135typedef	__double_t	double_t;
136typedef	__float_t	float_t;
137#endif /* __ISO_C_VISIBLE >= 1999 */
138
139/*
140 * XOPEN/SVID
141 */
142#if __BSD_VISIBLE || __XSI_VISIBLE
143#define	M_E		2.7182818284590452354	/* e */
144#define	M_LOG2E		1.4426950408889634074	/* log 2e */
145#define	M_LOG10E	0.43429448190325182765	/* log 10e */
146#define	M_LN2		0.69314718055994530942	/* log e2 */
147#define	M_LN10		2.30258509299404568402	/* log e10 */
148#define	M_PI		3.14159265358979323846	/* pi */
149#define	M_PI_2		1.57079632679489661923	/* pi/2 */
150#define	M_PI_4		0.78539816339744830962	/* pi/4 */
151#define	M_1_PI		0.31830988618379067154	/* 1/pi */
152#define	M_2_PI		0.63661977236758134308	/* 2/pi */
153#define	M_2_SQRTPI	1.12837916709551257390	/* 2/sqrt(pi) */
154#define	M_SQRT2		1.41421356237309504880	/* sqrt(2) */
155#define	M_SQRT1_2	0.70710678118654752440	/* 1/sqrt(2) */
156
157#define	MAXFLOAT	((float)3.40282346638528860e+38)
158extern int signgam;
159#endif /* __BSD_VISIBLE || __XSI_VISIBLE */
160
161#if __BSD_VISIBLE
162#if 0
163/* Old value from 4.4BSD-Lite math.h; this is probably better. */
164#define	HUGE		HUGE_VAL
165#else
166#define	HUGE		MAXFLOAT
167#endif
168#endif /* __BSD_VISIBLE */
169
170/*
171 * Most of these functions depend on the rounding mode and have the side
172 * effect of raising floating-point exceptions, so they are not declared
173 * as __pure2.  In C99, FENV_ACCESS affects the purity of these functions.
174 */
175__BEGIN_DECLS
176/*
177 * ANSI/POSIX
178 */
179int	__fpclassifyd(double) __pure2;
180int	__fpclassifyf(float) __pure2;
181int	__fpclassifyl(long double) __pure2;
182int	__isfinitef(float) __pure2;
183int	__isfinite(double) __pure2;
184int	__isfinitel(long double) __pure2;
185int	__isinff(float) __pure2;
186int	__isinf(double) __pure2;
187int	__isinfl(long double) __pure2;
188int	__isnormalf(float) __pure2;
189int	__isnormal(double) __pure2;
190int	__isnormall(long double) __pure2;
191int	__signbit(double) __pure2;
192int	__signbitf(float) __pure2;
193int	__signbitl(long double) __pure2;
194
195static __inline int
196__inline_isnan(__const double __x)
197{
198
199	return (__x != __x);
200}
201
202static __inline int
203__inline_isnanf(__const float __x)
204{
205
206	return (__x != __x);
207}
208
209static __inline int
210__inline_isnanl(__const long double __x)
211{
212
213	return (__x != __x);
214}
215
216/*
217 * Define the following aliases, for compatibility with glibc and CUDA.
218 */
219#define __isnan __inline_isnan
220#define __isnanf __inline_isnanf
221
222/*
223 * Version 2 of the Single UNIX Specification (UNIX98) defined isnan() and
224 * isinf() as functions taking double.  C99, and the subsequent POSIX revisions
225 * (SUSv3, POSIX.1-2001, define it as a macro that accepts any real floating
226 * point type.  If we are targeting SUSv2 and C99 or C11 (or C++11) then we
227 * expose the newer definition, assuming that the language spec takes
228 * precedence over the operating system interface spec.
229 */
230#if	__XSI_VISIBLE > 0 && __XSI_VISIBLE < 600 && __ISO_C_VISIBLE < 1999
231#undef isinf
232#undef isnan
233int	isinf(double);
234int	isnan(double);
235#endif
236
237double	acos(double);
238double	asin(double);
239double	atan(double);
240double	atan2(double, double);
241double	cos(double);
242double	sin(double);
243double	tan(double);
244
245double	cosh(double);
246double	sinh(double);
247double	tanh(double);
248
249double	exp(double);
250double	frexp(double, int *);	/* fundamentally !__pure2 */
251double	ldexp(double, int);
252double	log(double);
253double	log10(double);
254double	modf(double, double *);	/* fundamentally !__pure2 */
255
256double	pow(double, double);
257double	sqrt(double);
258
259double	ceil(double);
260double	fabs(double) __pure2;
261double	floor(double);
262double	fmod(double, double);
263
264/*
265 * These functions are not in C90.
266 */
267#if __BSD_VISIBLE || __ISO_C_VISIBLE >= 1999 || __XSI_VISIBLE
268double	acosh(double);
269double	asinh(double);
270double	atanh(double);
271double	cbrt(double);
272double	erf(double);
273double	erfc(double);
274double	exp2(double);
275double	expm1(double);
276double	fma(double, double, double);
277double	hypot(double, double);
278int	ilogb(double) __pure2;
279double	lgamma(double);
280long long llrint(double);
281long long llround(double);
282double	log1p(double);
283double	log2(double);
284double	logb(double);
285long	lrint(double);
286long	lround(double);
287double	nan(const char *) __pure2;
288double	nextafter(double, double);
289double	remainder(double, double);
290double	remquo(double, double, int *);
291double	rint(double);
292#endif /* __BSD_VISIBLE || __ISO_C_VISIBLE >= 1999 || __XSI_VISIBLE */
293
294#if __BSD_VISIBLE || __XSI_VISIBLE
295double	j0(double);
296double	j1(double);
297double	jn(int, double);
298double	y0(double);
299double	y1(double);
300double	yn(int, double);
301
302#if __XSI_VISIBLE <= 500 || __BSD_VISIBLE
303double	gamma(double);
304#endif
305
306#if __XSI_VISIBLE <= 600 || __BSD_VISIBLE
307double	scalb(double, double);
308#endif
309#endif /* __BSD_VISIBLE || __XSI_VISIBLE */
310
311#if __BSD_VISIBLE || __ISO_C_VISIBLE >= 1999
312double	copysign(double, double) __pure2;
313double	fdim(double, double);
314double	fmax(double, double) __pure2;
315double	fmin(double, double) __pure2;
316double	nearbyint(double);
317double	round(double);
318double	scalbln(double, long);
319double	scalbn(double, int);
320double	tgamma(double);
321double	trunc(double);
322#endif
323
324/*
325 * BSD math library entry points
326 */
327#if __BSD_VISIBLE
328double	drem(double, double);
329int	finite(double) __pure2;
330int	isnanf(float) __pure2;
331
332/*
333 * Reentrant version of gamma & lgamma; passes signgam back by reference
334 * as the second argument; user must allocate space for signgam.
335 */
336double	gamma_r(double, int *);
337double	lgamma_r(double, int *);
338
339/*
340 * IEEE Test Vector
341 */
342double	significand(double);
343#endif /* __BSD_VISIBLE */
344
345/* float versions of ANSI/POSIX functions */
346#if __ISO_C_VISIBLE >= 1999
347float	acosf(float);
348float	asinf(float);
349float	atanf(float);
350float	atan2f(float, float);
351float	cosf(float);
352float	sinf(float);
353float	tanf(float);
354
355float	coshf(float);
356float	sinhf(float);
357float	tanhf(float);
358
359float	exp2f(float);
360float	expf(float);
361float	expm1f(float);
362float	frexpf(float, int *);	/* fundamentally !__pure2 */
363int	ilogbf(float) __pure2;
364float	ldexpf(float, int);
365float	log10f(float);
366float	log1pf(float);
367float	log2f(float);
368float	logf(float);
369float	modff(float, float *);	/* fundamentally !__pure2 */
370
371float	powf(float, float);
372float	sqrtf(float);
373
374float	ceilf(float);
375float	fabsf(float) __pure2;
376float	floorf(float);
377float	fmodf(float, float);
378float	roundf(float);
379
380float	erff(float);
381float	erfcf(float);
382float	hypotf(float, float);
383float	lgammaf(float);
384float	tgammaf(float);
385
386float	acoshf(float);
387float	asinhf(float);
388float	atanhf(float);
389float	cbrtf(float);
390float	logbf(float);
391float	copysignf(float, float) __pure2;
392long long llrintf(float);
393long long llroundf(float);
394long	lrintf(float);
395long	lroundf(float);
396float	nanf(const char *) __pure2;
397float	nearbyintf(float);
398float	nextafterf(float, float);
399float	remainderf(float, float);
400float	remquof(float, float, int *);
401float	rintf(float);
402float	scalblnf(float, long);
403float	scalbnf(float, int);
404float	truncf(float);
405
406float	fdimf(float, float);
407float	fmaf(float, float, float);
408float	fmaxf(float, float) __pure2;
409float	fminf(float, float) __pure2;
410#endif
411
412/*
413 * float versions of BSD math library entry points
414 */
415#if __BSD_VISIBLE
416float	dremf(float, float);
417int	finitef(float) __pure2;
418float	gammaf(float);
419float	j0f(float);
420float	j1f(float);
421float	jnf(int, float);
422float	scalbf(float, float);
423float	y0f(float);
424float	y1f(float);
425float	ynf(int, float);
426
427/*
428 * Float versions of reentrant version of gamma & lgamma; passes
429 * signgam back by reference as the second argument; user must
430 * allocate space for signgam.
431 */
432float	gammaf_r(float, int *);
433float	lgammaf_r(float, int *);
434
435/*
436 * float version of IEEE Test Vector
437 */
438float	significandf(float);
439#endif	/* __BSD_VISIBLE */
440
441/*
442 * long double versions of ISO/POSIX math functions
443 */
444#if __ISO_C_VISIBLE >= 1999
445long double	acoshl(long double);
446long double	acosl(long double);
447long double	asinhl(long double);
448long double	asinl(long double);
449long double	atan2l(long double, long double);
450long double	atanhl(long double);
451long double	atanl(long double);
452long double	cbrtl(long double);
453long double	ceill(long double);
454long double	copysignl(long double, long double) __pure2;
455long double	coshl(long double);
456long double	cosl(long double);
457long double	erfcl(long double);
458long double	erfl(long double);
459long double	exp2l(long double);
460long double	expl(long double);
461long double	expm1l(long double);
462long double	fabsl(long double) __pure2;
463long double	fdiml(long double, long double);
464long double	floorl(long double);
465long double	fmal(long double, long double, long double);
466long double	fmaxl(long double, long double) __pure2;
467long double	fminl(long double, long double) __pure2;
468long double	fmodl(long double, long double);
469long double	frexpl(long double, int *); /* fundamentally !__pure2 */
470long double	hypotl(long double, long double);
471int		ilogbl(long double) __pure2;
472long double	ldexpl(long double, int);
473long double	lgammal(long double);
474long long	llrintl(long double);
475long long	llroundl(long double);
476long double	log10l(long double);
477long double	log1pl(long double);
478long double	log2l(long double);
479long double	logbl(long double);
480long double	logl(long double);
481long		lrintl(long double);
482long		lroundl(long double);
483long double	modfl(long double, long double *); /* fundamentally !__pure2 */
484long double	nanl(const char *) __pure2;
485long double	nearbyintl(long double);
486long double	nextafterl(long double, long double);
487double		nexttoward(double, long double);
488float		nexttowardf(float, long double);
489long double	nexttowardl(long double, long double);
490long double	powl(long double, long double);
491long double	remainderl(long double, long double);
492long double	remquol(long double, long double, int *);
493long double	rintl(long double);
494long double	roundl(long double);
495long double	scalblnl(long double, long);
496long double	scalbnl(long double, int);
497long double	sinhl(long double);
498long double	sinl(long double);
499long double	sqrtl(long double);
500long double	tanhl(long double);
501long double	tanl(long double);
502long double	tgammal(long double);
503long double	truncl(long double);
504#endif /* __ISO_C_VISIBLE >= 1999 */
505
506#if __BSD_VISIBLE
507long double	lgammal_r(long double, int *);
508void		sincos(double, double *, double *);
509void		sincosf(float, float *, float *);
510void		sincosl(long double, long double *, long double *);
511#endif
512
513__END_DECLS
514
515#endif /* !_MATH_H_ */
516