/*- * Copyright (c) 2013 Jonas 'Sortie' Termansen. * All rights reserved. * * Redistribution and use in source and binary forms, with or without * modification, are permitted provided that the following conditions * are met: * 1. Redistributions of source code must retain the above copyright * notice, this list of conditions and the following disclaimer. * 2. Redistributions in binary form must reproduce the above copyright * notice, this list of conditions and the following disclaimer in the * documentation and/or other materials provided with the distribution. * * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. */ #ifndef INCLUDE_MATH_H #define INCLUDE_MATH_H #include #ifndef __sortix_libm__ #define __sortix_libm__ 1 #endif #if defined(__sortix__) #include <__/limits.h> #include <__/wordsize.h> #elif defined(__GNU_LIBRARY__) #include #endif #include <__/math.h> __BEGIN_DECLS #define __fpmacro_unary_floating(__name, __arg0) \ /* LINTED */ \ ((sizeof (__arg0) == sizeof (float)) \ ? __ ## __name ## f (__arg0) \ : (sizeof (__arg0) == sizeof (double)) \ ? __ ## __name ## d (__arg0) \ : __ ## __name ## l (__arg0)) /* ANSI/POSIX macros */ #define HUGE_VAL __builtin_huge_val() /* C99 macros */ #if __ISO_C_VISIBLE >= 1999 || 1 /* TODO: HACK: Visibility */ #define FP_ILOGB0 (-__INT_MAX) #define FP_ILOGBNAN __INT_MAX #define HUGE_VALF __builtin_huge_valf() #define HUGE_VALL __builtin_huge_vall() #define INFINITY __builtin_inff() #define NAN __builtin_nanf("") /* TODO: What does this entail and is that really how this libm does it? */ #define MATH_ERRNO 1 #define MATH_ERREXCEPT 2 #define math_errhandling MATH_ERREXCEPT /* TODO: Is it really true that fma is faster in these cases? */ #if defined(__ia64__) || defined(__sparc64__) #define FP_FAST_FMA 1 #endif #ifdef __ia64__ #define FP_FAST_FMAL 1 #endif #define FP_FAST_FMAF 1 /* TODO: Is this really true in all cases? */ /* Symbolic constants to classify floating point numbers. */ #define FP_INFINITE 0x00 #define FP_NAN 0x01 #define FP_NORMAL 0x02 #define FP_SUBNORMAL 0x03 #define FP_ZERO 0x04 /* NetBSD extensions */ #define _FP_LOMD 0x80 /* range for machine-specific classes */ #define _FP_HIMD 0xff #define fpclassify(__x) __fpmacro_unary_floating(fpclassify, __x) #define isfinite(__x) __fpmacro_unary_floating(isfinite, __x) #define isinf(__x) __fpmacro_unary_floating(isinf, __x) #define isnan(__x) __fpmacro_unary_floating(isnan, __x) #define isnormal(__x) (fpclassify(__x) == FP_NORMAL) #define signbit(__x) __fpmacro_unary_floating(signbit, __x) #define isgreater(x, y) __builtin_isgreater((x), (y)) #define isgreaterequal(x, y) __builtin_isgreaterequal((x), (y)) #define isless(x, y) __builtin_isless((x), (y)) #define islessequal(x, y) __builtin_islessequal((x), (y)) #define islessgreater(x, y) __builtin_islessgreater((x), (y)) #define isunordered(x, y) __builtin_isunordered((x), (y)) typedef __double_t double_t; typedef __float_t float_t; #endif /* __ISO_C_VISIBLE >= 1999 */ /* XOPEN/SVID macros */ #if __BSD_VISIBLE || __XSI_VISIBLE || 1 /* TODO: HACK: Support visibility! */ #define M_E 2.7182818284590452354 /* e */ #define M_LOG2E 1.4426950408889634074 /* log 2e */ #define M_LOG10E 0.43429448190325182765 /* log 10e */ #define M_LN2 0.69314718055994530942 /* log e2 */ #define M_LN10 2.30258509299404568402 /* log e10 */ #define M_PI 3.14159265358979323846 /* pi */ #define M_PI_2 1.57079632679489661923 /* pi/2 */ #define M_PI_4 0.78539816339744830962 /* pi/4 */ #define M_1_PI 0.31830988618379067154 /* 1/pi */ #define M_2_PI 0.63661977236758134308 /* 2/pi */ #define M_2_SQRTPI 1.12837916709551257390 /* 2/sqrt(pi) */ #define M_SQRT2 1.41421356237309504880 /* sqrt(2) */ #define M_SQRT1_2 0.70710678118654752440 /* 1/sqrt(2) */ /* TODO: MAXFLOAT is obsoleted by FLT_MAX of float.h. */ #define MAXFLOAT ((float)3.40282346638528860e+38) extern int signgam; #endif /* __BSD_VISIBLE || __XSI_VISIBLE */ /* Various extensions inherited from NetBSD libm. Perhaps we should get rid of some of them or make them private to libm itself, or just rename them. */ #if defined(_NETBSD_SOURCE) || defined(_SORTIX_SOURCE) || 1 /* TODO: HACK: Visibility */ enum fdversion {fdlibm_ieee = -1, fdlibm_svid, fdlibm_xopen, fdlibm_posix}; #define _LIB_VERSION_TYPE enum fdversion #define _LIB_VERSION _fdlib_version /* if global variable _LIB_VERSION is not desirable, one may * change the following to be a constant by: * #define _LIB_VERSION_TYPE const enum version * In that case, after one initializes the value _LIB_VERSION (see * s_lib_version.c) during compile time, it cannot be modified * in the middle of a program */ extern _LIB_VERSION_TYPE _LIB_VERSION; #define _IEEE_ fdlibm_ieee #define _SVID_ fdlibm_svid #define _XOPEN_ fdlibm_xopen #define _POSIX_ fdlibm_posix #ifndef __cplusplus struct exception { int type; const char* name; double arg1; double arg2; double retval; }; #endif #define HUGE MAXFLOAT /* * set X_TLOSS = pi*2**52, which is possibly defined in * (one may replace the following line by "#include ") */ #define X_TLOSS 1.41484755040568800000e+16 #define DOMAIN 1 #define SING 2 #define OVERFLOW 3 #define UNDERFLOW 4 #define TLOSS 5 #define PLOSS 6 #endif /* _NETBSD_SOURCE */ /* * Most of these functions depend on the rounding mode and have the side * effect of raising floating-point exceptions, so they are not declared * as __pure2. In C99, FENV_ACCESS affects the purity of these functions. */ /* * ANSI/POSIX */ double acos(double); double asin(double); double atan(double); double atan2(double, double); double cos(double); double sin(double); double tan(double); double cosh(double); double sinh(double); double tanh(double); double exp(double); double exp2(double); double frexp(double, int*); double ldexp(double, int); double log(double); double log2(double); double log10(double); double modf(double, double*); double pow(double, double); double sqrt(double); double ceil(double); double fabs(double); double floor(double); double fmod(double, double); #if defined(_XOPEN_SOURCE) || defined(_NETBSD_SOURCE) || 1 /* TODO: HACK: Visibility */ double erf(double); double erfc(double); double gamma(double); double hypot(double, double); int finite(double); double j0(double); double j1(double); double jn(int, double); double lgamma(double); double y0(double); double y1(double); double yn(int, double); #if (_XOPEN_SOURCE - 0) >= 500 || defined(_NETBSD_SOURCE) || 1 /* TODO: HACK: Visibility */ double acosh(double); double asinh(double); double atanh(double); double cbrt(double); double expm1(double); int ilogb(double); double log1p(double); double logb(double); double nextafter(double, double); double remainder(double, double); double rint(double); double scalb(double, double); #endif /* (_XOPEN_SOURCE - 0) >= 500 || defined(_NETBSD_SOURCE)*/ #endif /* _XOPEN_SOURCE || _NETBSD_SOURCE */ /* * ISO C99 */ #if !defined(_ANSI_SOURCE) && !defined(_POSIX_C_SOURCE) && \ !defined(_XOPEN_SOURCE) || \ ((__STDC_VERSION__ - 0) >= 199901L) || \ ((_POSIX_C_SOURCE - 0) >= 200112L) || \ ((_XOPEN_SOURCE - 0) >= 600) || \ defined(_ISOC99_SOURCE) || defined(_NETBSD_SOURCE) || 1 /* TODO: HACK: Visibility */ /* 7.12.3.1 int fpclassify(real-floating x) */ #define fpclassify(__x) __fpmacro_unary_floating(fpclassify, __x) /* 7.12.3.2 int isfinite(real-floating x) */ #define isfinite(__x) __fpmacro_unary_floating(isfinite, __x) /* 7.12.3.5 int isnormal(real-floating x) */ #define isnormal(__x) (fpclassify(__x) == FP_NORMAL) /* 7.12.3.6 int signbit(real-floating x) */ #define signbit(__x) __fpmacro_unary_floating(signbit, __x) /* 7.12.4 trigonometric */ float acosf(float); float asinf(float); float atanf(float); float atan2f(float, float); float cosf(float); float sinf(float); float tanf(float); /* 7.12.5 hyperbolic */ float acoshf(float); float asinhf(float); float atanhf(float); float coshf(float); float sinhf(float); float tanhf(float); /* 7.12.6 exp / log */ float expf(float); float exp2f(float); float expm1f(float); float frexpf(float, int*); int ilogbf(float); float ldexpf(float, int); float logf(float); float log2f(float); float log10f(float); float log1pf(float); float logbf(float); float modff(float, float*); float scalbnf(float, int); /* 7.12.7 power / absolute */ float cbrtf(float); float fabsf(float); long double fabsl(long double); float hypotf(float, float); float powf(float, float); float sqrtf(float); /* 7.12.8 error / gamma */ float erff(float); float erfcf(float); float lgammaf(float); float tgammaf(float); double tgamma(double); /* 7.12.9 nearest integer */ float ceilf(float); float floorf(float); float rintf(float); double round(double); float roundf(float); double trunc(double); float truncf(float); long int lrint(double); long int lrintf(float); long long int llrint(double); long long int llrintf(float); long int lround(double); long int lroundf(float); long long int llround(double); long long int llroundf(float); /* 7.12.10 remainder */ float fmodf(float, float); float remainderf(float, float); /* 7.12.10.3 The remquo functions */ double remquo(double, double, int*); float remquof(float, float, int*); /* 7.12.11 manipulation */ float copysignf(float, float); long double copysignl(long double, long double); double nan(const char*); float nanf(const char*); long double nanl(const char*); float nextafterf(float, float); long double nextafterl(long double, long double); double nexttoward(double, long double); /* 7.12.14 comparison */ #define isunordered(x, y) __builtin_isunordered((x), (y)) #define isgreater(x, y) __builtin_isgreater((x), (y)) #define isgreaterequal(x, y) __builtin_isgreaterequal((x), (y)) #define isless(x, y) __builtin_isless((x), (y)) #define islessequal(x, y) __builtin_islessequal((x), (y)) #define islessgreater(x, y) __builtin_islessgreater((x), (y)) double fdim(double, double); double fmax(double, double); double fmin(double, double); float fdimf(float, float); float fmaxf(float, float); float fminf(float, float); long double fdiml(long double, long double); long double fmaxl(long double, long double); long double fminl(long double, long double); #endif /* !_ANSI_SOURCE && ... */ #if !defined(_ANSI_SOURCE) && !defined(_POSIX_C_SOURCE) || \ !defined(_XOPEN_SOURCE) || \ ((__STDC_VERSION__ - 0) >= 199901L) || \ ((_POSIX_C_SOURCE - 0) >= 200112L) || \ defined(_ISOC99_SOURCE) || defined(_NETBSD_SOURCE) || 1 /* TODO: HACK: Visibility */ /* 7.12.3.3 int isinf(real-floating x) */ #define isinf(__x) __fpmacro_unary_floating(isinf, __x) /* 7.12.3.4 int isnan(real-floating x) */ #define isnan(__x) __fpmacro_unary_floating(isnan, __x) #endif /* !_ANSI_SOURCE && ... */ #if defined(_NETBSD_SOURCE) || 1 /* TODO: HACK: Visibility */ #ifndef __cplusplus int matherr(struct exception*); #endif /* * IEEE Test Vector */ double significand(double); /* * Functions callable from C, intended to support IEEE arithmetic. */ double copysign(double, double); double scalbn(double, int); /* * BSD math library entry points */ double drem(double, double); #endif /* _NETBSD_SOURCE */ #if defined(_NETBSD_SOURCE) || defined(_REENTRANT) || 1 /* TODO: HACK: Visibility */ /* * Reentrant version of gamma & lgamma; passes signgam back by reference * as the second argument; user must allocate space for signgam. */ double gamma_r(double, int*); double lgamma_r(double, int*); #endif /* _NETBSD_SOURCE || _REENTRANT */ #if defined(_NETBSD_SOURCE) || 1 /* TODO: HACK: Visibility */ /* float versions of ANSI/POSIX functions */ float gammaf(float); int isinff(float); int isnanf(float); int finitef(float); float j0f(float); float j1f(float); float jnf(int, float); float y0f(float); float y1f(float); float ynf(int, float); float scalbf(float, float); /* * float version of IEEE Test Vector */ float significandf(float); /* * float versions of BSD math library entry points */ float dremf(float, float); #endif /* _NETBSD_SOURCE */ #if defined(_NETBSD_SOURCE) || defined(_REENTRANT) || 1 /* TODO: HACK: Visibility */ /* * Float versions of reentrant version of gamma & lgamma; passes * signgam back by reference as the second argument; user must * allocate space for signgam. */ float gammaf_r(float, int*); float lgammaf_r(float, int*); #endif /* !... || _REENTRANT */ /* * Library implementation */ int __fpclassifyf(float); int __fpclassifyd(double); int __isfinitef(float); int __isfinited(double); int __isinff(float); int __isinfd(double); int __isnanf(float); int __isnand(double); int __signbitf(float); int __signbitd(double); int __fpclassifyl(long double); int __isfinitel(long double); int __isinfl(long double); int __isnanl(long double); int __signbitl(long double); int ilogbl(long double); long double logbl(long double); long double scalbnl(long double, int); __END_DECLS #endif