sortix--sortix/libm/include/math.h

/*-
 * 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 <features.h>

#if defined(__sortix__)
#include <__/limits.h>
#include <__/wordsize.h>
#elif defined(__GNU_LIBRARY__)
#include <bits/wordsize.h>
#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 <values.h>
 * (one may replace the following line by "#include <values.h>")
 */

#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