include/math.h

   1 /*
   2  * ====================================================
   3  * Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved.
   4  *
   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
   8  * is preserved.
   9  * ====================================================
  10  *
  11  * $NetBSD: math.h,v 1.46 2007/02/22 22:08:19 drochner Exp $
  12  */
  13
  14 /*
  15  * @(#)fdlibm.h 5.1 93/09/24
  16  */
  17
  18 #ifndef _MATH_H_
  19 #define _MATH_H_
  20
  21 #include <sys/cdefs.h>
  22 #include <machine/limits.h>
  23
  24 #if __GNUC_PREREQ__(3, 3) || (defined(__INTEL_COMPILER) && __INTEL_COMPILER >= 800)
  25 #define __MATH_BUILTIN_CONSTANTS
  26 #endif
  27
  28 #if __GNUC_PREREQ__(3, 0) && !defined(__INTEL_COMPILER)
  29 #define __MATH_BUILTIN_RELOPS
  30 #endif
  31
  32 union __float_u {
  33         unsigned char __dummy[sizeof(float)];
  34         float __val;
  35 };
  36
  37 union __double_u {
  38         unsigned char __dummy[sizeof(double)];
  39         double __val;
  40 };
  41
  42 union __long_double_u {
  43         unsigned char __dummy[sizeof(long double)];
  44         long double __val;
  45 };
  46
  47 #include <machine/math.h>
  48
  49 #ifdef __HAVE_LONG_DOUBLE
  50 #define __fpmacro_unary_floating(__name, __arg0)                        \
  51         /* LINTED */                                                    \
  52         ((sizeof (__arg0) == sizeof (float))                            \
  53         ?       __ ## __name ## f (__arg0)                              \
  54         : (sizeof (__arg0) == sizeof (double))                          \
  55         ?       __ ## __name ## d (__arg0)                              \
  56         :       __ ## __name ## l (__arg0))
  57 #else
  58 #define __fpmacro_unary_floating(__name, __arg0)                        \
  59         /* LINTED */                                                    \
  60         ((sizeof (__arg0) == sizeof (float))                            \
  61         ?       __ ## __name ## f (__arg0)                              \
  62         :       __ ## __name ## d (__arg0))
  63 #endif /* __HAVE_LONG_DOUBLE */
  64
  65 /*
  66  * ANSI/POSIX
  67  */
  68 /* 7.12#3 HUGE_VAL, HUGELF, HUGE_VALL */
  69 extern const union __double_u __infinity;
  70 #ifdef __MATH_BUILTIN_CONSTANTS
  71 #define HUGE_VAL        __builtin_huge_val()
  72 #else
  73 #define HUGE_VAL        __infinity.__val
  74 #endif
  75
  76 /*
  77  * ISO C99
  78  */
  79 #if __ISO_C_VISIBLE >= 1999
  80 /* 7.12#3 HUGE_VAL, HUGELF, HUGE_VALL */
  81 extern const union __float_u __infinityf;
  82 #ifdef __MATH_BUILTIN_CONSTANTS
  83 #define HUGE_VALF       __builtin_huge_valf()
  84 #else
  85 #define HUGE_VALF       __infinityf.__val
  86 #endif
  87
  88 extern const union __long_double_u __infinityl;
  89 #ifdef __MATH_BUILTIN_CONSTANTS
  90 #define HUGE_VALL       __builtin_huge_vall()
  91 #else
  92 #define HUGE_VALL       __infinityl.__val
  93 #endif
  94
  95 /* 7.12#4 INFINITY */
  96 #ifdef __MATH_BUILTIN_CONSTANTS
  97 #define INFINITY        __builtin_inf()
  98 #elif defined(__INFINITY)
  99 #define INFINITY        __INFINITY      /* float constant which overflows */
 100 #else
 101 #define INFINITY        HUGE_VALF       /* positive infinity */
 102 #endif /* __INFINITY */
 103
 104 /* 7.12#5 NAN: a quiet NaN, if supported */
 105 #ifdef __MATH_BUILTIN_CONSTANTS
 106 #define NAN             __builtin_nan("")
 107 #elif defined(__HAVE_NANF)
 108 extern const union __float_u __nanf;
 109 #define NAN             __nanf.__val
 110 #endif /* __HAVE_NANF */
 111
 112 /* 7.12#6 number classification macros */
 113 #define FP_INFINITE     0x00
 114 #define FP_NAN          0x01
 115 #define FP_NORMAL       0x02
 116 #define FP_SUBNORMAL    0x03
 117 #define FP_ZERO         0x04
 118 /* NetBSD extensions */
 119 #define _FP_LOMD        0x80            /* range for machine-specific classes */
 120 #define _FP_HIMD        0xff
 121
 122 /* 7.12#8 values returned by ilogb(0) or ilogb(NAN), respectively */
 123 #define FP_ILOGB0       INT_MIN
 124 #define FP_ILOGBNAN     INT_MIN
 125
 126 #endif /* ISO C99 */
 127
 128 /*
 129  * XOPEN/SVID
 130  */
 131 #if __XSI_VISIBLE > 0
 132 #define M_E             2.7182818284590452354   /* e */
 133 #define M_LOG2E         1.4426950408889634074   /* log 2e */
 134 #define M_LOG10E        0.43429448190325182765  /* log 10e */
 135 #define M_LN2           0.69314718055994530942  /* log e2 */
 136 #define M_LN10          2.30258509299404568402  /* log e10 */
 137 #define M_PI            3.14159265358979323846  /* pi */
 138 #define M_PI_2          1.57079632679489661923  /* pi/2 */
 139 #define M_PI_4          0.78539816339744830962  /* pi/4 */
 140 #define M_1_PI          0.31830988618379067154  /* 1/pi */
 141 #define M_2_PI          0.63661977236758134308  /* 2/pi */
 142 #define M_2_SQRTPI      1.12837916709551257390  /* 2/sqrt(pi) */
 143 #define M_SQRT2         1.41421356237309504880  /* sqrt(2) */
 144 #define M_SQRT1_2       0.70710678118654752440  /* 1/sqrt(2) */
 145
 146 #define MAXFLOAT        ((float)3.40282346638528860e+38)
 147 extern int signgam;
 148 #endif /* _XSI_VISIBLE */
 149
 150 #if __DF_VISIBLE
 151 #define HUGE            MAXFLOAT
 152
 153 /*
 154  * set X_TLOSS = pi*2**52, which is possibly defined in <values.h>
 155  * (one may replace the following line by "#include <values.h>")
 156  */
 157
 158 #define X_TLOSS         1.41484755040568800000e+16
 159
 160 #define DOMAIN          1
 161 #define SING            2
 162 #define OVERFLOW        3
 163 #define UNDERFLOW       4
 164 #define TLOSS           5
 165 #define PLOSS           6
 166
 167 #endif /* __DF_VISIBLE */
 168
 169 __BEGIN_DECLS
 170 /*
 171  * ANSI/POSIX
 172  */
 173 double  acos(double);
 174 double  asin(double);
 175 double  atan(double);
 176 double  atan2(double, double);
 177 double  cos(double);
 178 double  sin(double);
 179 double  tan(double);
 180
 181 double  cosh(double);
 182 double  sinh(double);
 183 double  tanh(double);
 184
 185 double  exp(double);
 186 double  exp2(double);
 187 double  frexp(double, int *);
 188 double  ldexp(double, int);
 189 double  log(double);
 190 double  log2(double);
 191 double  log10(double);
 192 double  modf(double, double *);
 193
 194 double  pow(double, double);
 195 double  sqrt(double);
 196
 197 double  ceil(double);
 198 double  fabs(double);
 199 double  floor(double);
 200 double  fmod(double, double);
 201
 202 #if __XSI_VISIBLE > 0
 203 double  erf(double);
 204 double  erfc(double);
 205 double  gamma(double);
 206 double  hypot(double, double);
 207 int     finite(double);
 208 double  j0(double);
 209 double  j1(double);
 210 double  jn(int, double);
 211 double  lgamma(double);
 212 double  tgamma(double);
 213 double  y0(double);
 214 double  y1(double);
 215 double  yn(int, double);
 216 #endif /* __XSI_VISIBLE */
 217
 218 #if __XSI_VISIBLE >= 500
 219 double  acosh(double);
 220 double  asinh(double);
 221 double  atanh(double);
 222 double  cbrt(double);
 223 double  expm1(double);
 224 int     ilogb(double);
 225 double  log1p(double);
 226 double  logb(double);
 227 double  nextafter(double, double);
 228 double  remainder(double, double);
 229 double  rint(double);
 230 double  scalb(double, double);
 231 #endif /* __XSI_VISIBLE >= 500 */
 232
 233 /*
 234  * ISO C99
 235  */
 236 #if __ISO_C_VISIBLE >= 1999
 237 /* 7.12.3.1 int fpclassify(real-floating x) */
 238 #define fpclassify(__x) __fpmacro_unary_floating(fpclassify, __x)
 239
 240 /* 7.12.3.2 int isfinite(real-floating x) */
 241 #define isfinite(__x)   __fpmacro_unary_floating(isfinite, __x)
 242
 243 /* 7.12.3.5 int isnormal(real-floating x) */
 244 #define isnormal(__x)   (fpclassify(__x) == FP_NORMAL)
 245
 246 /* 7.12.3.6 int signbit(real-floating x) */
 247 #define signbit(__x)    __fpmacro_unary_floating(signbit, __x)
 248
 249 /* 7.12.4 trigonometric */
 250
 251 float   acosf(float);
 252 float   asinf(float);
 253 float   atanf(float);
 254 float   atan2f(float, float);
 255 float   cosf(float);
 256 float   sinf(float);
 257 float   tanf(float);
 258
 259 /* 7.12.5 hyperbolic */
 260
 261 float   acoshf(float);
 262 float   asinhf(float);
 263 float   atanhf(float);
 264 float   coshf(float);
 265 float   sinhf(float);
 266 float   tanhf(float);
 267
 268 /* 7.12.6 exp / log */
 269
 270 float   expf(float);
 271 float   exp2f(float);
 272 float   expm1f(float);
 273 float   frexpf(float, int *);
 274 int     ilogbf(float);
 275 float   ldexpf(float, int);
 276 float   logf(float);
 277 float   log2f(float);
 278 float   log10f(float);
 279 float   log1pf(float);
 280 float   logbf(float);
 281 float   modff(float, float *);
 282 float   scalblnf(float, long);
 283 float   scalbnf(float, int);
 284
 285 /* 7.12.7 power / absolute */
 286
 287 float   cbrtf(float);
 288 float   fabsf(float);
 289 float   hypotf(float, float);
 290 float   powf(float, float);
 291 float   sqrtf(float);
 292
 293 /* 7.12.8 error / gamma */
 294
 295 float   erff(float);
 296 float   erfcf(float);
 297 float   lgammaf(float);
 298 float   tgammaf(float);
 299
 300 /* 7.12.9 nearest integer */
 301
 302 float   ceilf(float);
 303 float   floorf(float);
 304 float   nearbyintf(float);
 305 double  nearbyint(double);
 306 float   rintf(float);
 307 double  round(double);
 308 float   roundf(float);
 309 double  trunc(double);
 310 float   truncf(float);
 311 long int        lrint(double);
 312 long int        lrintf(float);
 313 /* LONGLONG */
 314 long long int   llrint(double);
 315 /* LONGLONG */
 316 long long int   llrintf(float);
 317 long int        lround(double);
 318 long int        lroundf(float);
 319 /* LONGLONG */
 320 long long int   llround(double);
 321 /* LONGLONG */
 322 long long int   llroundf(float);
 323
 324 /* 7.12.10 remainder */
 325
 326 float   fmodf(float, float);
 327 float   remainderf(float, float);
 328
 329 /* 7.12.10.3 The remquo functions */
 330 double remquo(double, double, int *);
 331 float  remquof(float, float, int *);
 332
 333 /* 7.12.11 manipulation */
 334
 335 float   copysignf(float, float);
 336 double  nan(const char *);
 337 float   nanf(const char *);
 338 float   nextafterf(float, float);
 339
 340 /* 7.12.12 maximum, minimum, positive difference */
 341 double  fdim(double, double);
 342 float   fdimf(float, float);
 343
 344 double  fmax(double, double);
 345 float   fmaxf(float, float);
 346
 347 double  fmin(double, double);
 348 float   fminf(float, float);
 349
 350
 351 /* isoC99 */
 352 double fma  (double, double, double);
 353 float  fmaf (float,  float,  float);
 354
 355
 356
 357
 358 #endif /* __ISO_C_VISIBLE >= 1999 */
 359
 360 #if __ISO_C_VISIBLE >= 1999
 361 /* 7.12.3.3 int isinf(real-floating x) */
 362 #ifdef __isinf
 363 #define isinf(__x)      __isinf(__x)
 364 #else
 365 #define isinf(__x)      __fpmacro_unary_floating(isinf, __x)
 366 #endif
 367
 368 /* 7.12.3.4 int isnan(real-floating x) */
 369 #ifdef __isnan
 370 #define isnan(__x)      __isnan(__x)
 371 #else
 372 #define isnan(__x)      __fpmacro_unary_floating(isnan, __x)
 373 #endif
 374
 375 /* 7.12.14 Comparision macros */
 376 #ifdef __MATH_BUILTIN_RELOPS
 377 #define isgreater(x, y)         __builtin_isgreater((x), (y))
 378 #define isgreaterequal(x, y)    __builtin_isgreaterequal((x), (y))
 379 #define isless(x, y)            __builtin_isless((x), (y))
 380 #define islessequal(x, y)       __builtin_islessequal((x), (y))
 381 #define islessgreater(x, y)     __builtin_islessgreater((x), (y))
 382 #define isunordered(x, y)       __builtin_isunordered((x), (y))
 383 #else
 384 #define isgreater(x, y)         (!isunordered((x), (y)) && (x) > (y))
 385 #define isgreaterequal(x, y)    (!isunordered((x), (y)) && (x) >= (y))
 386 #define isless(x, y)            (!isunordered((x), (y)) && (x) < (y))
 387 #define islessequal(x, y)       (!isunordered((x), (y)) && (x) <= (y))
 388 #define islessgreater(x, y)     (!isunordered((x), (y)) && \
 389                                         ((x) > (y) || (y) > (x)))
 390 #define isunordered(x, y)       (isnan(x) || isnan(y))
 391 #endif /* __MATH_BUILTIN_RELOPS */
 392
 393 #endif /* __ISO_C_VISIBLE >= 1999 */
 394
 395 #if __DF_VISIBLE
 396 /*
 397  * IEEE Test Vector
 398  */
 399 double  significand(double);
 400
 401 /*
 402  * Functions callable from C, intended to support IEEE arithmetic.
 403  */
 404 double  copysign(double, double);
 405 double  scalbln(double, long);
 406 double  scalbn(double, int);
 407
 408 /*
 409  * BSD math library entry points
 410  */
 411 double  drem(double, double);
 412
 413 /*
 414  * Reentrant version of gamma & lgamma; passes signgam back by reference
 415  * as the second argument; user must allocate space for signgam.
 416  */
 417 double  gamma_r(double, int *);
 418 double  lgamma_r(double, int *);
 419 #endif /* __DF_VISIBLE */
 420
 421
 422 #if __DF_VISIBLE
 423
 424 /* float versions of ANSI/POSIX functions */
 425
 426 float   gammaf(float);
 427 int     finitef(float);
 428 float   j0f(float);
 429 float   j1f(float);
 430 float   jnf(int, float);
 431 float   y0f(float);
 432 float   y1f(float);
 433 float   ynf(int, float);
 434
 435 float   scalbf(float, float);
 436
 437 /*
 438  * float version of IEEE Test Vector
 439  */
 440 float   significandf(float);
 441
 442 /*
 443  * float versions of BSD math library entry points
 444  */
 445 float   dremf(float, float);
 446
 447 /*
 448  * Float versions of reentrant version of gamma & lgamma; passes
 449  * signgam back by reference as the second argument; user must
 450  * allocate space for signgam.
 451  */
 452 float   gammaf_r(float, int *);
 453 float   lgammaf_r(float, int *);
 454 #endif /* __DF_VISIBLE */
 455
 456 /*
 457  * Library implementation
 458  */
 459 int     __fpclassifyf(float);
 460 int     __fpclassifyd(double);
 461 int     __isfinitef(float);
 462 int     __isfinited(double);
 463 int     __isinff(float);
 464 int     __isinfd(double);
 465 int     __isnanf(float);
 466 int     __isnand(double);
 467 int     __signbitf(float);
 468 int     __signbitd(double);
 469
 470 #ifdef __HAVE_LONG_DOUBLE
 471 int     __fpclassifyl       (long double);
 472 int     __isfinitel         (long double);
 473 int     __isinfl            (long double);
 474 int     __isnanl            (long double);
 475 int     __signbitl          (long double);
 476
 477 long double     acosl       (long double);
 478 long double     asinl       (long double);
 479 long double     atan2l      (long double, long double);
 480 long double     atanl       (long double);
 481 long double     ceill       (long double);
 482 long double     cosl        (long double);
 483 long double     cbrtl       (long double);
 484 long double     copysignl   (long double, long double);
 485 long double     fdiml       (long double, long double);
 486 long double     exp2l       (long double);
 487 long double     fabsl       (long double);
 488 long double     floorl      (long double);
 489 long double     fmal        (long double, long double, long double);
 490 long double     frexpl      (long double, int *);
 491 long double     fmaxl       (long double, long double);
 492 long double     fminl       (long double, long double);
 493 long double     fmodl       (long double, long double);
 494 long double     hypotl      (long double, long double);
 495 int             ilogbl      (long double);
 496 long double     ldexpl      (long double, int);
 497 long long       llrintl     (long double);
 498 long long       llroundl    (long double);
 499 long double     logbl       (long double);
 500 long            lrintl      (long double);
 501 long            lroundl     (long double);
 502 long double     modfl       (long double, long double *);
 503 long double     nanl        (const char *);
 504 long double     nearbyintl  (long double);
 505 long double     nextafterl  (long double, long double);
 506 double          nexttoward  (double,      long double);
 507 float           nexttowardf (float,       long double);
 508 long double     remainderl  (long double, long double);
 509 long double     remquol     (long double, long double, int *);
 510 long double     rintl       (long double);
 511 long double     roundl      (long double);
 512 long double     scalblnl    (long double, long);
 513 long double     scalbnl     (long double, int);
 514 long double     sinl        (long double);
 515 long double     sqrtl       (long double);
 516 long double     tanl        (long double);
 517 long double     truncl      (long double);
 518 #endif
 519 __END_DECLS
 520
 521 #endif /* _MATH_H_ */