1/*
2 * Copyright 2001-2012 Haiku, Inc. All Rights Reserved.
3 * Distributed under the terms of the MIT License.
4 */
5#ifndef _MATH_H_
6#define _MATH_H_
7
8/* (float|double)_t typedefs */
9
10#ifdef __FLT_EVAL_METHOD__
11	#define FLT_EVAL_METHOD __FLT_EVAL_METHOD__
12#else
13	#define FLT_EVAL_METHOD 0
14#endif
15
16#if FLT_EVAL_METHOD == 1
17	typedef double float_t;
18	typedef double double_t;
19#elif FLT_EVAL_METHOD == 2
20	typedef long double float_t;
21	typedef long double double_t;
22#else
23	typedef float float_t;
24	typedef double double_t;
25#endif
26
27#define M_E				2.7182818284590452354	/* e */
28#define M_LOG2E			1.4426950408889634074	/* log 2e */
29#define M_LOG10E		0.43429448190325182765	/* log 10e */
30#define M_LN2			0.69314718055994530942	/* log e2 */
31#define M_LN10			2.30258509299404568402	/* log e10 */
32#define M_PI			3.14159265358979323846	/* pi */
33#define M_PI_2			1.57079632679489661923	/* pi/2 */
34#define M_PI_4			0.78539816339744830962	/* pi/4 */
35#define M_1_PI			0.31830988618379067154	/* 1/pi */
36#define M_2_PI			0.63661977236758134308	/* 2/pi */
37#define M_2_SQRTPI		1.12837916709551257390	/* 2/sqrt(pi) */
38#define M_SQRT2			1.41421356237309504880	/* sqrt(2) */
39#define M_SQRT1_2		0.70710678118654752440	/* 1/sqrt(2) */
40
41/* platform independent IEEE floating point special values */
42#if __GNUC__ >= 4
43	/* gcc4 and clang definitions */
44#	ifndef HUGE_VAL
45#		define HUGE_VAL     __builtin_huge_val()
46#	endif
47
48#	define HUGE_VALF        __builtin_huge_valf()
49#	define HUGE_VALL		__builtin_huge_vall()
50#	define NAN              __builtin_nanf("")
51#	define INFINITY			__builtin_inff()
52#else
53	/* gcc2 definitions */
54#	define	__HUGE_VAL_v	0x7ff0000000000000LL
55#	define __huge_val_t	union { unsigned char __c[8]; long long __ll; double __d; }
56#	ifndef HUGE_VAL
57#		define HUGE_VAL		(((__huge_val_t) { __ll: __HUGE_VAL_v }).__d)
58#	endif
59
60#	define __HUGE_VALF_v	0x7f800000L
61#	define __huge_valf_t	union { unsigned char __c[4]; long __l; float __f; }
62#	define HUGE_VALF		(((__huge_valf_t) { __l: __HUGE_VALF_v }).__f)
63
64	/* TODO: define HUGE_VALL for long doubles */
65
66#	define __NAN_VALF_v	0x7fc00000L
67#	define NAN				(((__huge_valf_t) { __l: __NAN_VALF_v }).__f)
68#	define INFINITY			HUGE_VALF
69#endif
70
71#include <limits.h>
72#define MAXFLOAT FLT_MAX
73
74/* floating-point categories */
75#define FP_NAN			0
76#define FP_INFINITE		1
77#define FP_ZERO			2
78#define FP_SUBNORMAL	3
79#define FP_NORMAL		4
80
81#ifdef __FP_FAST_FMA
82	#define FP_FAST_FMA		__FP_FAST_FMA
83#else
84	#define FP_FAST_FMA		0
85#endif
86#ifdef __FP_FAST_FMAF
87	#define FP_FAST_FMAF	__FP_FAST_FMAF
88#else
89	#define FP_FAST_FMAF	0
90#endif
91#ifdef __FP_FAST_FMAL
92	#define FP_FAST_FMAL 	__FP_FAST_FMAL
93#else
94	#define FP_FAST_FMAL	0
95#endif
96
97#define FP_ILOGB0		INT_MIN
98#define FP_ILOGBNAN		INT_MAX
99
100#ifdef __cplusplus
101struct __exception;
102extern "C" int matherr(struct __exception *);
103struct __exception {
104#else
105struct exception;
106extern int matherr(struct exception *);
107struct exception {
108#endif
109	int		type;
110	char	*name;
111	double	arg1;
112	double	arg2;
113	double	retval;
114};
115
116#define MATH_ERRNO			1
117#define MATH_ERREXCEPT		2
118#define math_errhandling	0
119
120#define DOMAIN		1
121#define SING		2
122#define OVERFLOW	3
123#define UNDERFLOW	4
124#define TLOSS		5
125#define PLOSS		6
126
127extern int signgam;
128
129
130#ifdef __cplusplus
131extern "C" {
132#endif
133
134/* float math functions */
135extern float		acosf(float x);
136extern float		acoshf(float x);
137extern float		asinf(float x);
138extern float		asinhf(float x);
139extern float		atan2f(float y, float x);
140extern float		atanf(float x);
141extern float		atanhf(float x);
142extern float		cbrtf(float x);
143extern float		ceilf(float x);
144extern float		copysignf(float x, float y);
145extern float		cosf(float x);
146extern float		coshf(float x);
147extern float		erfcf(float x);
148extern float		erff(float x);
149extern float		expf(float x);
150extern float		exp2f(float x);
151extern float		expm1f(float x);
152extern float		fabsf(float x);
153extern float		fdimf(float x, float y);
154extern float		floorf(float x);
155extern float		fmaf(float x, float y, float z);
156extern float		fmaxf(float x, float y);
157extern float		fminf(float x, float y);
158extern float		fmodf(float x, float y);
159extern float		frexpf(float x, int *_exponent);
160extern float		gammaf(float x);
161extern float		hypotf(float x, float y);
162extern int			ilogbf(float x);
163extern float		ldexpf(float x, int exponent);
164extern float		lgammaf(float x);
165extern long long	llrintf(float x);
166extern long long	llroundf(float x);
167extern float		log10f(float x);
168extern float		log1pf(float x);
169extern float		log2f(float x);
170extern float		logbf(float x);
171extern float		logf(float x);
172extern long			lrintf(float x);
173extern long			lroundf(float x);
174extern float		modff(float x, float *y);
175extern float		nanf(const char *tagp);
176extern float		nearbyintf(float x);
177extern float		nextafterf(float x, float y);
178extern float		nexttowardf(float x, long double y);
179extern float		powf(float x, float y);
180extern float		remainderf(float x, float y);
181extern float		remquof(float x, float y, int *quo);
182extern float		rintf(float x);
183extern float		roundf(float x);
184extern float		scalbf(float x, float n);
185extern float		scalblnf(float x, long n);
186extern float		scalbnf(float x, int n);
187extern float		sinf(float x);
188extern float		sinhf(float x);
189extern float		sqrtf(float x);
190extern float		tanf(float x);
191extern float		tanhf(float x);
192extern float		tgammaf(float x);
193extern float		truncf(float x);
194
195/* double math functions */
196extern double		acos(double x);
197extern double		acosh(double x);
198extern double		asin(double x);
199extern double		asinh(double x);
200extern double		atan(double x);
201extern double		atan2(double x, double y);
202extern double		atanh(double x);
203extern double		cbrt(double x);
204extern double		ceil(double x);
205extern double		copysign(double x, double y);
206extern double		cos(double x);
207extern double		cosh(double x);
208extern double		erf(double x);
209extern double		erfc(double x);
210extern double		exp(double x);
211extern double		expm1(double x);
212extern double		exp2(double x);
213extern double		fabs(double x);
214extern double		fdim(double x, double y);
215extern double		floor(double x);
216extern double		fma(double x, double y, double z);
217extern double		fmax(double x, double y);
218extern double		fmin(double x, double y);
219extern double		fmod(double x, double y);
220extern double		frexp(double x, int *_exponent);
221extern double		gamma(double x);
222extern double		hypot(double x, double y);
223extern int			ilogb(double x);
224extern double		ldexp(double x, int exponent);
225extern double		lgamma(double x);
226extern long long	llrint(double x);
227extern long long	llround(double x);
228extern double		log(double x);
229extern double		log10(double x);
230extern double		log1p(double x);
231extern double		log2(double x);
232extern double		logb(double x);
233extern long			lrint(double x);
234extern long			lround(double x);
235extern double		modf(double x, double *y);
236extern double		nan(const char* tagp);
237extern double		nearbyint(double x);
238extern double		nextafter(double x, double y);
239extern double		nexttoward(double x, long double y);
240extern double		pow(double x, double y);
241extern double		remainder(double x, double y);
242extern double		remquo(double x, double y, int *quo);
243extern double		rint(double x);
244extern double		round(double x);
245extern double		scalb(double x, double y);
246extern double 		scalbln(double x, long n);
247extern double		scalbn(double x, int y);
248extern double		sin(double x);
249extern double		sinh(double x);
250extern double		sqrt(double x);
251extern double		tan(double x);
252extern double		tanh(double x);
253extern double		tgamma(double x);
254extern double		trunc(double x);
255
256/* long double math functions */
257extern long double	acoshl(long double x);
258extern long double	acosl(long double x);
259extern long double	asinhl(long double x);
260extern long double	asinl(long double x);
261extern long double	atanhl(long double x);
262extern long double	atanl(long double x);
263extern long double	atan2l(long double y, long double x);
264extern long double	cbrtl(long double x);
265extern long double	ceill(long double x);
266extern long double	copysignl(long double x, long double y);
267extern long double	cosl(long double x);
268extern long double	coshl(long double x);
269extern long double	erfcl(long double x);
270extern long double	erfl(long double x);
271extern long double	expl(long double x);
272extern long double	expm1l(long double x);
273extern long double	exp2l(long double x);
274extern long double	fabsl(long double x);
275extern long double	fdiml(long double x, long double y);
276extern long double	floorl(long double x);
277extern long double	fmal(long double x, long double y, long double z);
278extern long double	fmaxl(long double x, long double y);
279extern long double	fminl(long double x, long double y);
280extern long double	fmodl(long double x, long double y);
281extern long double	frexpl(long double num, int *_exponent);
282extern long double	hypotl(long double x, long double y);
283extern int			ilogbl(long double x);
284extern long double	ldexpl(long double x, int exponent);
285extern long double	lgammal(long double x);
286extern long long	llrintl(long double x);
287extern long long	llroundl(long double x);
288extern long double	logbl(long double x);
289extern long double	logl(long double x);
290extern long double	log1pl(long double x);
291extern long double	log10l(long double x);
292extern long double	log2l(long double x);
293extern long			lrintl(long double x);
294extern long			lroundl(long double x);
295extern long double	modfl(long double value, long double *iptr);
296extern long double	nanl(const char* tagp);
297extern long double	nearbyintl(long double x);
298extern long double	nextafterl(long double x, long double y);
299extern long double	nexttowardl(long double x, long double y);
300extern long double	powl(long double x, long double y);
301extern long double	remainderl(long double x, long double y);
302extern long double	remquol(long double x, long double y, int *quo);
303extern long double	rintl(long double x);
304extern long double	roundl(long double x);
305extern long double	scalbnl(long double x, int n);
306extern long double	scalblnl(long double x, long n);
307extern long double	sinl(long double x);
308extern long double	sinhl(long double x);
309extern long double	sqrtl(long double x);
310extern long double	tanl(long double x);
311extern long double	tanhl(long double x);
312extern long double	tgammal(long double x);
313extern long double	truncl(long double x);
314
315/* some BSD non-ANSI or POSIX math functions */
316extern double		j0(double x);
317extern double		j1(double x);
318extern double		jn(int x, double y);
319extern double		lgamma_r(double x, int *y);
320extern double		y0(double x);
321extern double		y1(double x);
322extern double		yn(int x, double y);
323
324/* other stuff as defined in BeOS */
325extern int			isinff(float value);
326extern int			finitef(float value);
327extern float		dremf(float x, float y);
328extern float		significandf(float x);
329extern int			isnanf(float value);
330extern double		significand(double x);
331extern double		drem(double x, double y);
332extern int			finite(double x);
333extern float		j0f(float x);
334extern float		j1f(float x);
335extern float		jnf(int x, float y);
336extern float		y0f(float x);
337extern float		y1f(float x);
338extern float		ynf(int x, float y);
339extern float		lgammaf_r(float x, int *y);
340
341#if __GNUC__ >= 7 || defined(__clang__)
342#define fpclassify(value) \
343	__builtin_fpclassify(FP_NAN, FP_INFINITE, FP_NORMAL, FP_SUBNORMAL, FP_ZERO, (value))
344#define signbit(value)	__builtin_signbit((value))
345#define isfinite(value)	__builtin_isfinite((value))
346#define isnormal(value)	__builtin_isnormal((value))
347#define isnan(value)	__builtin_isnan((value))
348#define isinf(value)	__builtin_isinf_sign((value))
349#else
350/* prototypes for functions used in the macros below */
351extern int			__fpclassifyf(float value);
352extern int			__signbitf(float value);
353extern int			__finitef(float value);
354extern int			__isnanf(float value);
355extern int			__isinff(float value);
356
357extern int			__fpclassifyl(long double value);
358extern int			__signbitl(long double value);
359extern int			__finitel(long double value);
360extern int			__isnanl(long double value);
361extern int			__isinfl(long double value);
362
363extern int			__fpclassify(double value);
364extern int			__signbit(double value);
365extern int			__finite(double value);
366extern int			__isnan(double value);
367extern int			__isinf(double value);
368
369/* returns number of classification appropriate for 'value' */
370#define fpclassify(value) \
371	(sizeof(value) == sizeof(float) ? __fpclassifyf(value)		\
372		: sizeof(value) == sizeof(double) ? __fpclassify(value)	\
373		: __fpclassifyl(value))
374
375/* returns non-zero if 'value' is negative */
376# define signbit(value) \
377	(sizeof(value) == sizeof(float) ? __signbitf(value)			\
378		: sizeof(value) == sizeof(double) ? __signbit(value)	\
379		: __signbitl(value))
380
381/* returns non-zero if 'value' is not Inf or NaN */
382# define isfinite(value) \
383	(sizeof(value) == sizeof(float) ? __finitef(value)			\
384		: sizeof(value) == sizeof(double) ? __finite(value)		\
385		: __finitel(value))
386
387/* returns non-zero if 'value' is neither zero, sub-normal, Inf, nor NaN */
388# define isnormal(value) \
389	(fpclassify(value) == FP_NORMAL)
390
391/* returns non-zero if 'value' is NaN */
392# define isnan(value) \
393	(sizeof(value) == sizeof(float) ? __isnanf(value)			\
394		: sizeof(value) == sizeof(double) ? __isnan(value)		\
395		: __isnanl(value))
396
397/* returns non-zero if 'value is Inf */
398# define isinf(value) \
399	(sizeof(value) == sizeof(float) ? __isinff(value)			\
400		: sizeof(value) == sizeof(double) ? __isinf(value)		\
401		: __isinfl(value))
402#endif
403
404#if __GNUC__ >= 4
405	#define isgreater(x, y)			__builtin_isgreater((x), (y))
406	#define isgreaterequal(x, y)	__builtin_isgreaterequal((x), (y))
407	#define isless(x, y)			__builtin_isless((x), (y))
408	#define islessequal(x, y)		__builtin_islessequal((x), (y))
409	#define islessgreater(x, y)		__builtin_islessgreater((x), (y))
410	#define isunordered(x, y)		__builtin_isunordered((x), (y))
411#else
412	/* these are only for GCC2, and require GNUC statement expressions */
413	#define _wrap_expr_typeof(x, y, body) ({	\
414		__typeof(x) X = (x);					\
415		__typeof(y) Y = (y);					\
416		body;})
417	#define isgreater(x, y)	\
418		_wrap_expr_typeof(x, y, !isnan(X) && !isnan(Y) && X > Y)
419	#define isgreaterequal(x, y) \
420		_wrap_expr_typeof(x, y, !isnan(X) && !isnan(Y) && X >= Y)
421	#define isless(x, y) \
422		_wrap_expr_typeof(x, y, !isnan(X) && !isnan(Y) && X < Y)
423	#define islessequal(x, y) \
424		_wrap_expr_typeof(x, y, !isnan(X) && !isnan(Y) && X <= Y)
425	#define islessgreater(x, y)	\
426		_wrap_expr_typeof(x, y, X < Y || Y < X)
427	#define isunordered(x, y) \
428		_wrap_expr_typeof(x, y, isnan(X) || isnan(Y))
429#endif
430
431#ifdef __cplusplus
432}
433#endif
434
435#endif	/* _MATH_H_ */
436