2 * ====================================================
3 * Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved.
5 * Developed at SunPro, a Sun Microsystems, Inc. business.
6 * Permission to use, copy, modify, and distribute this
7 * software is freely granted, provided that this notice
9 * ====================================================
13 * from: @(#)fdlibm.h 5.1 93/09/24
19 #include <sys/cdefs.h>
20 #include <sys/_types.h>
21 #include <machine/_limits.h>
26 extern const union __infinity_un {
27 unsigned char __uc[8];
31 extern const union __nan_un {
32 unsigned char __uc[sizeof(float)];
36 #if __GNUC_PREREQ__(3, 3)
37 #define __MATH_BUILTIN_CONSTANTS
40 #if __GNUC_PREREQ__(3, 0)
41 #define __MATH_BUILTIN_RELOPS
44 #ifdef __MATH_BUILTIN_CONSTANTS
45 #define HUGE_VAL __builtin_huge_val()
47 #define HUGE_VAL (__infinity.__ud)
50 #if __ISO_C_VISIBLE >= 1999
51 #define FP_ILOGB0 (-__INT_MAX)
52 #define FP_ILOGBNAN __INT_MAX
54 #ifdef __MATH_BUILTIN_CONSTANTS
55 #define HUGE_VALF __builtin_huge_valf()
56 #define HUGE_VALL __builtin_huge_vall()
57 #define INFINITY __builtin_inff()
58 #define NAN __builtin_nanf("")
60 #define HUGE_VALF (float)HUGE_VAL
61 #define HUGE_VALL (long double)HUGE_VAL
62 #define INFINITY HUGE_VALF
63 #define NAN (__nan.__uf)
64 #endif /* __MATH_BUILTIN_CONSTANTS */
67 #define MATH_ERREXCEPT 2
68 #define math_errhandling MATH_ERREXCEPT
70 #define FP_FAST_FMAF 1
72 /* Symbolic constants to classify floating point numbers. */
73 #define FP_INFINITE 0x01
75 #define FP_NORMAL 0x04
76 #define FP_SUBNORMAL 0x08
79 #if __STDC_VERSION__ >= 201112L || __has_extension(c_generic_selections)
80 #define __fp_type_select(x, f, d, ld) __extension__ _Generic((x), \
84 #elif __GNUC_PREREQ__(3, 1) && !defined(__cplusplus)
85 #define __fp_type_select(x, f, d, ld) __builtin_choose_expr( \
86 __builtin_types_compatible_p(__typeof(x), long double), ld(x), \
87 __builtin_choose_expr( \
88 __builtin_types_compatible_p(__typeof(x), double), d(x), \
89 __builtin_choose_expr( \
90 __builtin_types_compatible_p(__typeof(x), float), f(x), (void)0)))
92 #define __fp_type_select(x, f, d, ld) \
93 ((sizeof(x) == sizeof(float)) ? f(x) \
94 : (sizeof(x) == sizeof(double)) ? d(x) \
98 #define fpclassify(x) \
99 __fp_type_select(x, __fpclassifyf, __fpclassifyd, __fpclassifyl)
100 #define isfinite(x) __fp_type_select(x, __isfinitef, __isfinite, __isfinitel)
101 #define isinf(x) __fp_type_select(x, __isinff, __isinf, __isinfl)
103 __fp_type_select(x, __inline_isnanf, __inline_isnan, __inline_isnanl)
104 #define isnormal(x) __fp_type_select(x, __isnormalf, __isnormal, __isnormall)
106 #ifdef __MATH_BUILTIN_RELOPS
107 #define isgreater(x, y) __builtin_isgreater((x), (y))
108 #define isgreaterequal(x, y) __builtin_isgreaterequal((x), (y))
109 #define isless(x, y) __builtin_isless((x), (y))
110 #define islessequal(x, y) __builtin_islessequal((x), (y))
111 #define islessgreater(x, y) __builtin_islessgreater((x), (y))
112 #define isunordered(x, y) __builtin_isunordered((x), (y))
114 #define isgreater(x, y) (!isunordered((x), (y)) && (x) > (y))
115 #define isgreaterequal(x, y) (!isunordered((x), (y)) && (x) >= (y))
116 #define isless(x, y) (!isunordered((x), (y)) && (x) < (y))
117 #define islessequal(x, y) (!isunordered((x), (y)) && (x) <= (y))
118 #define islessgreater(x, y) (!isunordered((x), (y)) && \
119 ((x) > (y) || (y) > (x)))
120 #define isunordered(x, y) (isnan(x) || isnan(y))
121 #endif /* __MATH_BUILTIN_RELOPS */
123 #define signbit(x) __fp_type_select(x, __signbitf, __signbit, __signbitl)
125 typedef __double_t double_t;
126 typedef __float_t float_t;
127 #endif /* __ISO_C_VISIBLE >= 1999 */
132 #if __BSD_VISIBLE || __XSI_VISIBLE
133 #define M_E 2.7182818284590452354 /* e */
134 #define M_LOG2E 1.4426950408889634074 /* log 2e */
135 #define M_LOG10E 0.43429448190325182765 /* log 10e */
136 #define M_LN2 0.69314718055994530942 /* log e2 */
137 #define M_LN10 2.30258509299404568402 /* log e10 */
138 #define M_PI 3.14159265358979323846 /* pi */
139 #define M_PI_2 1.57079632679489661923 /* pi/2 */
140 #define M_PI_4 0.78539816339744830962 /* pi/4 */
141 #define M_1_PI 0.31830988618379067154 /* 1/pi */
142 #define M_2_PI 0.63661977236758134308 /* 2/pi */
143 #define M_2_SQRTPI 1.12837916709551257390 /* 2/sqrt(pi) */
144 #define M_SQRT2 1.41421356237309504880 /* sqrt(2) */
145 #define M_SQRT1_2 0.70710678118654752440 /* 1/sqrt(2) */
147 #define MAXFLOAT ((float)3.40282346638528860e+38)
149 #endif /* __BSD_VISIBLE || __XSI_VISIBLE */
153 /* Old value from 4.4BSD-Lite math.h; this is probably better. */
154 #define HUGE HUGE_VAL
156 #define HUGE MAXFLOAT
158 #endif /* __BSD_VISIBLE */
161 * Most of these functions depend on the rounding mode and have the side
162 * effect of raising floating-point exceptions, so they are not declared
163 * as __pure2. In C99, FENV_ACCESS affects the purity of these functions.
169 int __fpclassifyd(double) __pure2;
170 int __fpclassifyf(float) __pure2;
171 int __fpclassifyl(long double) __pure2;
172 int __isfinitef(float) __pure2;
173 int __isfinite(double) __pure2;
174 int __isfinitel(long double) __pure2;
175 int __isinff(float) __pure2;
176 int __isinf(double) __pure2;
177 int __isinfl(long double) __pure2;
178 int __isnormalf(float) __pure2;
179 int __isnormal(double) __pure2;
180 int __isnormall(long double) __pure2;
181 int __signbit(double) __pure2;
182 int __signbitf(float) __pure2;
183 int __signbitl(long double) __pure2;
186 __inline_isnan(__const double __x)
193 __inline_isnanf(__const float __x)
200 __inline_isnanl(__const long double __x)
207 * Define the following aliases, for compatibility with glibc and CUDA.
209 #define __isnan __inline_isnan
210 #define __isnanf __inline_isnanf
213 * Version 2 of the Single UNIX Specification (UNIX98) defined isnan() and
214 * isinf() as functions taking double. C99, and the subsequent POSIX revisions
215 * (SUSv3, POSIX.1-2001, define it as a macro that accepts any real floating
216 * point type. If we are targeting SUSv2 and C99 or C11 (or C++11) then we
217 * expose the newer definition, assuming that the language spec takes
218 * precedence over the operating system interface spec.
220 #if __XSI_VISIBLE > 0 && __XSI_VISIBLE < 600 && __ISO_C_VISIBLE < 1999
230 double atan2(double, double);
240 double frexp(double, int *); /* fundamentally !__pure2 */
241 double ldexp(double, int);
243 double log10(double);
244 double modf(double, double *); /* fundamentally !__pure2 */
246 double pow(double, double);
250 double fabs(double) __pure2;
251 double floor(double);
252 double fmod(double, double);
255 * These functions are not in C90.
257 #if __BSD_VISIBLE || __ISO_C_VISIBLE >= 1999 || __XSI_VISIBLE
258 double acosh(double);
259 double asinh(double);
260 double atanh(double);
265 double expm1(double);
266 double fma(double, double, double);
267 double hypot(double, double);
268 int ilogb(double) __pure2;
269 double lgamma(double);
270 long long llrint(double);
271 long long llround(double);
272 double log1p(double);
277 double nan(const char *) __pure2;
278 double nextafter(double, double);
279 double remainder(double, double);
280 double remquo(double, double, int *);
282 #endif /* __BSD_VISIBLE || __ISO_C_VISIBLE >= 1999 || __XSI_VISIBLE */
284 #if __BSD_VISIBLE || __XSI_VISIBLE
287 double jn(int, double);
290 double yn(int, double);
292 #if __XSI_VISIBLE <= 500 || __BSD_VISIBLE
293 double gamma(double);
296 #if __XSI_VISIBLE <= 600 || __BSD_VISIBLE
297 double scalb(double, double);
299 #endif /* __BSD_VISIBLE || __XSI_VISIBLE */
301 #if __BSD_VISIBLE || __ISO_C_VISIBLE >= 1999
302 double copysign(double, double) __pure2;
303 double fdim(double, double);
304 double fmax(double, double) __pure2;
305 double fmin(double, double) __pure2;
306 double nearbyint(double);
307 double round(double);
308 double scalbln(double, long);
309 double scalbn(double, int);
310 double tgamma(double);
311 double trunc(double);
315 * BSD math library entry points
318 double drem(double, double);
319 int finite(double) __pure2;
320 int isnanf(float) __pure2;
323 * Reentrant version of gamma & lgamma; passes signgam back by reference
324 * as the second argument; user must allocate space for signgam.
326 double gamma_r(double, int *);
327 double lgamma_r(double, int *);
332 double significand(double);
333 #endif /* __BSD_VISIBLE */
335 /* float versions of ANSI/POSIX functions */
336 #if __ISO_C_VISIBLE >= 1999
340 float atan2f(float, float);
352 float frexpf(float, int *); /* fundamentally !__pure2 */
353 int ilogbf(float) __pure2;
354 float ldexpf(float, int);
359 float modff(float, float *); /* fundamentally !__pure2 */
361 float powf(float, float);
365 float fabsf(float) __pure2;
367 float fmodf(float, float);
372 float hypotf(float, float);
373 float lgammaf(float);
374 float tgammaf(float);
381 float copysignf(float, float) __pure2;
382 long long llrintf(float);
383 long long llroundf(float);
386 float nanf(const char *) __pure2;
387 float nearbyintf(float);
388 float nextafterf(float, float);
389 float remainderf(float, float);
390 float remquof(float, float, int *);
392 float scalblnf(float, long);
393 float scalbnf(float, int);
396 float fdimf(float, float);
397 float fmaf(float, float, float);
398 float fmaxf(float, float) __pure2;
399 float fminf(float, float) __pure2;
403 * float versions of BSD math library entry points
406 float dremf(float, float);
407 int finitef(float) __pure2;
411 float jnf(int, float);
412 float scalbf(float, float);
415 float ynf(int, float);
418 * Float versions of reentrant version of gamma & lgamma; passes
419 * signgam back by reference as the second argument; user must
420 * allocate space for signgam.
422 float gammaf_r(float, int *);
423 float lgammaf_r(float, int *);
426 * float version of IEEE Test Vector
428 float significandf(float);
429 #endif /* __BSD_VISIBLE */
432 * long double versions of ISO/POSIX math functions
434 #if __ISO_C_VISIBLE >= 1999
435 long double acoshl(long double);
436 long double acosl(long double);
437 long double asinhl(long double);
438 long double asinl(long double);
439 long double atan2l(long double, long double);
440 long double atanhl(long double);
441 long double atanl(long double);
442 long double cbrtl(long double);
443 long double ceill(long double);
444 long double copysignl(long double, long double) __pure2;
445 long double coshl(long double);
446 long double cosl(long double);
447 long double erfcl(long double);
448 long double erfl(long double);
449 long double exp2l(long double);
450 long double expl(long double);
451 long double expm1l(long double);
452 long double fabsl(long double) __pure2;
453 long double fdiml(long double, long double);
454 long double floorl(long double);
455 long double fmal(long double, long double, long double);
456 long double fmaxl(long double, long double) __pure2;
457 long double fminl(long double, long double) __pure2;
458 long double fmodl(long double, long double);
459 long double frexpl(long double, int *); /* fundamentally !__pure2 */
460 long double hypotl(long double, long double);
461 int ilogbl(long double) __pure2;
462 long double ldexpl(long double, int);
463 long double lgammal(long double);
464 long long llrintl(long double);
465 long long llroundl(long double);
466 long double log10l(long double);
467 long double log1pl(long double);
468 long double log2l(long double);
469 long double logbl(long double);
470 long double logl(long double);
471 long lrintl(long double);
472 long lroundl(long double);
473 long double modfl(long double, long double *); /* fundamentally !__pure2 */
474 long double nanl(const char *) __pure2;
475 long double nearbyintl(long double);
476 long double nextafterl(long double, long double);
477 double nexttoward(double, long double);
478 float nexttowardf(float, long double);
479 long double nexttowardl(long double, long double);
480 long double powl(long double, long double);
481 long double remainderl(long double, long double);
482 long double remquol(long double, long double, int *);
483 long double rintl(long double);
484 long double roundl(long double);
485 long double scalblnl(long double, long);
486 long double scalbnl(long double, int);
487 long double sinhl(long double);
488 long double sinl(long double);
489 long double sqrtl(long double);
490 long double tanhl(long double);
491 long double tanl(long double);
492 long double tgammal(long double);
493 long double truncl(long double);
494 #endif /* __ISO_C_VISIBLE >= 1999 */
497 long double lgammal_r(long double, int *);
498 void sincos(double, double *, double *);
499 void sincosf(float, float *, float *);
500 void sincosl(long double, long double *, long double *);
501 double cospi(double);
503 long double cospil(long double);
504 double sinpi(double);
506 long double sinpil(long double);
507 double tanpi(double);
509 long double tanpil(long double);
514 #endif /* !_MATH_H_ */