diff options
Diffstat (limited to 'math')
| -rw-r--r-- | math/Makefile | 14 | ||||
| -rw-r--r-- | math/complex.h | 2 | ||||
| -rw-r--r-- | math/fenv.h | 114 | ||||
| -rw-r--r-- | math/libm-test.c | 635 | ||||
| -rw-r--r-- | math/math.h | 27 |
5 files changed, 712 insertions, 80 deletions
diff --git a/math/Makefile b/math/Makefile index 64803a345c..86418b003a 100644 --- a/math/Makefile +++ b/math/Makefile @@ -22,7 +22,8 @@ subdir := math # Installed header files. headers := math.h mathcalls.h __math.h huge_val.h nan.h \ - fpu_control.h complex.h cmathcalls.h + fpu_control.h complex.h cmathcalls.h fenv.h \ + fenvbits.h # Internal header files. distribute := math_private.h machine/asm.h machine/endian.h @@ -36,7 +37,10 @@ extra-libs := libm extra-libs-others = $(extra-libs) libm-support = k_standard s_lib_version s_matherr s_signgam \ - s_rinttol s_rinttoll + s_rinttol s_rinttoll s_roundtol s_roundtoll \ + fclrexcpt fgetexcptflg fraiseexcpt fsetexcptflg \ + ftestexcept fegetround fesetround fegetenv feholdexcpt \ + fesetenv feupdateenv libm-calls = e_acos e_acosh e_asin e_atan2 e_atanh e_cosh e_exp e_fmod \ e_hypot e_j0 e_j1 e_jn e_lgamma_r e_log e_log10 e_pow \ e_rem_pio2 e_remainder e_scalb e_sinh e_sqrt k_cos \ @@ -49,8 +53,10 @@ libm-calls = e_acos e_acosh e_asin e_atan2 e_atanh e_cosh e_exp e_fmod \ w_gamma_r w_hypot w_j0 w_j1 w_jn w_lgamma w_lgamma_r \ w_log w_log10 w_pow w_remainder w_scalb w_sinh w_sqrt \ s_signbit s_fpclassify s_fmax s_fmin s_fdim s_nan s_trunc \ - s_remquo s_log2 s_exp2 \ - conj cimag creal cabs carg s_cexp s_csinh s_ccosh s_clog + s_remquo s_log2 s_exp2 s_round s_nearbyint \ + conj cimag creal cabs carg s_cexp s_csinh s_ccosh s_clog \ + s_catan s_casin s_ccos s_csin s_ctan s_ctanh s_cacos \ + s_casinh s_cacosh s_catanh s_csqrt s_cpow libm-routines = $(libm-support) $(libm-calls) \ $(patsubst %_rf,%f_r,$(libm-calls:=f)) \ $(long-m-$(long-double-fcts)) diff --git a/math/complex.h b/math/complex.h index 42143531dc..938823b5fb 100644 --- a/math/complex.h +++ b/math/complex.h @@ -38,7 +38,7 @@ __BEGIN_DECLS /* Narrowest imaginary unit. This depends on the floating-point evaluation method. XXX This probably has to go into a gcc related file. */ -#define _Imaginary_I (DBL_EPSISON * 1.0i) +#define _Imaginary_I (1.0iF) /* Another more descriptive name is `I'. */ #undef I diff --git a/math/fenv.h b/math/fenv.h new file mode 100644 index 0000000000..c9a8a5c94b --- /dev/null +++ b/math/fenv.h @@ -0,0 +1,114 @@ +/* Copyright (C) 1997 Free Software Foundation, Inc. + This file is part of the GNU C Library. + + The GNU C Library is free software; you can redistribute it and/or + modify it under the terms of the GNU Library General Public License as + published by the Free Software Foundation; either version 2 of the + License, or (at your option) any later version. + + The GNU C Library is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + Library General Public License for more details. + + You should have received a copy of the GNU Library General Public + License along with the GNU C Library; see the file COPYING.LIB. If not, + write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330, + Boston, MA 02111-1307, USA. */ + +/* + * ISO C 9X 7.6: Floating-point environment <fenv.h> + */ + +#ifndef _FENV_H + +#define __FENV_H 1 +#include <features.h> + +/* Get the architecture dependend definitions. The following definitions + are expected to be done: + + fenv_t type for object representing an entire floating-point + environment + + FE_DFL_ENV macro of type pointer to fenv_t to be used as the argument + to functions taking an argument of type fenv_t; in this + case the default environment will be used + + fexcept_t type for object representing the floating-point exception + flags including status associated with the flags + + The following macros are defined iff the implementation supports this + kind of exception. + FE_INEXACT inxeact result + FE_DIVBYZERO devision by zero + FE_UNDERFLOW result not representable due to underflow + FE_OVERFLOW result not representable due to overflow + FE_INVALID invalid operation + + FE_ALL_EXCEPT bitwise OR of all supported exceptions + + The next macros are defined iff the appropriate rounding mode is + supported by the implementation. + FE_TONEAREST round to nearest + FE_UPWARD round toward +Inf + FE_DOWNWARD round toward -Inf + FE_TOWARDZERO round toward 0 +*/ +#include <fenvbits.h> + +__BEGIN_DECLS + +/* Floating-point exception handling. */ + +/* Clear the supported exceptions represented by EXCEPTS. */ +extern void feclearexcept __P ((int __excepts)); + +/* Store implementation-defined representation of the exception flags + indicated by EXCEPTS in the object pointed to by FLAGP. */ +extern void fegetexceptflag __P ((fexcept_t *__flagp, int __excepts)); + +/* Raise the supported exceptions represented by EXCEPTS. */ +extern void feraiseexcept __P ((int __excepts)); + +/* Set complete status for exceptions inidicated by EXCEPTS according to + the representation in the object pointed to by FLAGP. */ +extern void fesetexceptflag __P ((__const fexcept_t *__flagp, int __excepts)); + +/* Determine which of subset of the exceptions specified by EXCEPTS are + currently set. */ +extern int fetestexcept __P ((int __excepts)); + + +/* Rounding control. */ + +/* Get current rounding direction. */ +extern int fegetround __P ((void)); + +/* Establish the rounding direction represented by ROUND. */ +extern int fesetround __P ((int __round)); + + +/* Floating-point environment. */ + +/* Store the current floating-point environment in the object pointed + to by ENVP. */ +extern void fegetenv __P ((fenv_t *__envp)); + +/* Save the current environment in the object pointed to by ENVP, clear + exception flags and install a non-stop mode (if available) for all + exceptions. */ +extern int feholdexcept __P ((fenv_t *__envp)); + +/* Establish the floating-point environment represented by the object + pointed to by ENVP. */ +extern void fesetenv __P ((__const fenv_t *__envp)); + +/* Save current exceptions in temporary storage, install environment + represented by object pointed to by ENVP and raise exceptions + according to saved exceptions. */ +extern void feupdateenv __P ((__const fenv_t *__envp)); + +__END_DECLS + +#endif /* fenv.h */ diff --git a/math/libm-test.c b/math/libm-test.c index 5171d0fc5e..356cc91a16 100644 --- a/math/libm-test.c +++ b/math/libm-test.c @@ -633,8 +633,9 @@ cbrt_test (void) check_isinfn ("cbrt (-inf) == -inf", FUNC(cbrt) (minus_infty)); check_isnan ("cbrt (NaN) == NaN", FUNC(cbrt) (nan_value)); - check ("cbrt (8) == 2", FUNC(cbrt) (8), 2); - check ("cbrt (-27) == -3", FUNC(cbrt) (-27.0), -3.0); + check_eps ("cbrt (8) == 2", FUNC(cbrt) (8), 2, CHOOSE (5e-17L, 0, 0)); + check_eps ("cbrt (-27) == -3", FUNC(cbrt) (-27.0), -3.0, + CHOOSE (3e-16L, 0, 0)); } @@ -1573,19 +1574,19 @@ remquo_test (void) result = FUNC(remquo) (1.625, 1.0, &quo); check ("remquo(1.625, 1.0, &x) == -0.375", result, -0.375); - check ("remquo(1.625, 1.0, &x) puts 1 in x", quo, 1); + check_long ("remquo(1.625, 1.0, &x) puts 1 in x", quo, 1); result = FUNC(remquo) (-1.625, 1.0, &quo); check ("remquo(-1.625, 1.0, &x) == 0.375", result, 0.375); - check ("remquo(-1.625, 1.0, &x) puts -1 in x", quo, -1); + check_long ("remquo(-1.625, 1.0, &x) puts -1 in x", quo, -1); result = FUNC(remquo) (1.625, -1.0, &quo); - check ("remquo(1.125, -1.0, &x) == 0.125", result, 0.125); - check ("remquo(1.125, -1.0, &x) puts -1 in x", quo, -1); + check ("remquo(1.625, -1.0, &x) == -0.375", result, -0.375); + check_long ("remquo(1.625, -1.0, &x) puts -1 in x", quo, -1); result = FUNC(remquo) (-1.625, -1.0, &quo); - check ("remquo(-1.125, -1.0, &x) == 0.125", result, 0.125); - check ("remquo(-1.125, -1.0, &x) puts 1 in x", quo, 1); + check ("remquo(-1.625, -1.0, &x) == 0.375", result, 0.375); + check_long ("remquo(-1.625, -1.0, &x) puts 1 in x", quo, 1); } @@ -1667,10 +1668,10 @@ cexp_test (void) result = FUNC(cexp) (BUILD_COMPLEX (nan_value, 1.0)); check_isnan ("real(cexp(NaN + 1i)) = NaN", __real__ result); check_isnan ("imag(cexp(NaN + 1i)) = NaN", __imag__ result); - result = FUNC(cexp) (BUILD_COMPLEX (nan_value, 1.0)); + result = FUNC(cexp) (BUILD_COMPLEX (nan_value, plus_infty)); check_isnan ("real(cexp(NaN + i inf)) = NaN", __real__ result); check_isnan ("imag(cexp(NaN + i inf)) = NaN", __imag__ result); - result = FUNC(cexp) (BUILD_COMPLEX (nan_value, 1.0)); + result = FUNC(cexp) (BUILD_COMPLEX (nan_value, nan_value)); check_isnan ("real(cexp(NaN + i NaN)) = NaN", __real__ result); check_isnan ("imag(cexp(NaN + i NaN)) = NaN", __imag__ result); @@ -1702,16 +1703,16 @@ csinh_test (void) check ("imag(csinh(-0 - 0i)) = -0", __imag__ result, minus_zero); result = FUNC(csinh) (BUILD_COMPLEX (0.0, plus_infty)); - check ("real(csinh(0 + i Inf)) = 0", FUNC(fabs) (__real__ result), 0); + check ("real(csinh(0 + i Inf)) = +-0", FUNC(fabs) (__real__ result), 0); check_isnan ("imag(csinh(0 + i Inf)) = NaN", __imag__ result); result = FUNC(csinh) (BUILD_COMPLEX (minus_zero, plus_infty)); - check ("real(csinh(-0 + i Inf)) = -0", FUNC(fabs) (__real__ result), 0); + check ("real(csinh(-0 + i Inf)) = +-0", FUNC(fabs) (__real__ result), 0); check_isnan ("imag(csinh(-0 + i Inf)) = NaN", __imag__ result); result = FUNC(csinh) (BUILD_COMPLEX (0.0, minus_infty)); - check ("real(csinh(0 - i Inf)) = 0", FUNC(fabs) (__real__ result), 0); + check ("real(csinh(0 - i Inf)) = +-0", FUNC(fabs) (__real__ result), 0); check_isnan ("imag(csinh(0 - i Inf)) = NaN", __imag__ result); result = FUNC(csinh) (BUILD_COMPLEX (minus_zero, minus_infty)); - check ("real(csinh(-0 - i Inf)) = -0", FUNC(fabs) (__real__ result), 0); + check ("real(csinh(-0 - i Inf)) = +-0", FUNC(fabs) (__real__ result), 0); check_isnan ("imag(csinh(-0 - i Inf)) = NaN", __imag__ result); result = FUNC(csinh) (BUILD_COMPLEX (plus_infty, 0.0)); @@ -1740,7 +1741,7 @@ csinh_test (void) FUNC(fabs) (__real__ result)); check_isnan ("imag(csinh(Inf - i Inf)) = NaN", __imag__ result); result = FUNC(csinh) (BUILD_COMPLEX (minus_infty, minus_infty)); - check_isinfp ("real(csinh(-Inf - i Inf)) = -Inf", + check_isinfp ("real(csinh(-Inf - i Inf)) = +-Inf", FUNC(fabs) (__real__ result)); check_isnan ("imag(csinh(-Inf - i Inf)) = NaN", __imag__ result); @@ -1771,10 +1772,10 @@ csinh_test (void) check_isnan ("imag(csinh(-6.75 - i Inf)) = NaN", __imag__ result); result = FUNC(csinh) (BUILD_COMPLEX (0.0, nan_value)); - check ("real(csinh(0 + i NaN)) = 0", FUNC(fabs) (__real__ result), 0); + check ("real(csinh(0 + i NaN)) = +-0", FUNC(fabs) (__real__ result), 0); check_isnan ("imag(csinh(0 + i NaN)) = NaN", __imag__ result); result = FUNC(csinh) (BUILD_COMPLEX (minus_zero, nan_value)); - check ("real(csinh(-0 + i NaN)) = -0", FUNC(fabs) (__real__ result), 0); + check ("real(csinh(-0 + i NaN)) = +-0", FUNC(fabs) (__real__ result), 0); check_isnan ("imag(csinh(-0 + i NaN)) = NaN", __imag__ result); result = FUNC(csinh) (BUILD_COMPLEX (plus_infty, nan_value)); @@ -1784,7 +1785,7 @@ csinh_test (void) result = FUNC(csinh) (BUILD_COMPLEX (minus_infty, nan_value)); check_isinfp ("real(csinh(-Inf + i NaN)) = +-Inf", FUNC(fabs) (__real__ result)); - check_isnan ("imag(csinh(-0 + i NaN)) = NaN", __imag__ result); + check_isnan ("imag(csinh(-Inf + i NaN)) = NaN", __imag__ result); result = FUNC(csinh) (BUILD_COMPLEX (9.0, nan_value)); check_isnan ("real(csinh(9.0 + i NaN)) = NaN", __real__ result); @@ -1795,10 +1796,10 @@ csinh_test (void) result = FUNC(csinh) (BUILD_COMPLEX (nan_value, 0.0)); check_isnan ("real(csinh(NaN + i0)) = NaN", __real__ result); - check ("imag(csinh(NaN + i0)) = NaN", __imag__ result, 0.0); + check ("imag(csinh(NaN + i0)) = 0", __imag__ result, 0.0); result = FUNC(csinh) (BUILD_COMPLEX (nan_value, minus_zero)); check_isnan ("real(csinh(NaN - i0)) = NaN", __real__ result); - check ("imag(csinh(NaN - i0)) = NaN", __imag__ result, minus_zero); + check ("imag(csinh(NaN - i0)) = -0", __imag__ result, minus_zero); result = FUNC(csinh) (BUILD_COMPLEX (nan_value, 10.0)); check_isnan ("real(csinh(NaN + i10)) = NaN", __real__ result); @@ -1821,21 +1822,152 @@ csinh_test (void) static void +ccos_test (void) +{ + __complex__ MATHTYPE result; + + result = FUNC(ccos) (BUILD_COMPLEX (0.0, 0.0)); + check ("real(ccos(0 + 0i)) = 1.0", __real__ result, 1.0); + check ("imag(ccos(0 + 0i)) = 0", __imag__ result, 0); + result = FUNC(ccos) (BUILD_COMPLEX (minus_zero, 0.0)); + check ("real(ccos(-0 + 0i)) = 1.0", __real__ result, 1.0); + check ("imag(ccos(-0 + 0i)) = -0", __imag__ result, minus_zero); + result = FUNC(ccos) (BUILD_COMPLEX (0.0, minus_zero)); + check ("real(ccos(0 - 0i)) = 1.0", __real__ result, 1.0); + check ("imag(ccos(0 - 0i)) = 0", __imag__ result, 0.0); + result = FUNC(ccos) (BUILD_COMPLEX (minus_zero, minus_zero)); + check ("real(ccos(-0 - 0i)) = 1.0", __real__ result, 1.0); + check ("imag(ccos(-0 - 0i)) = -0", __imag__ result, minus_zero); + + result = FUNC(ccos) (BUILD_COMPLEX (plus_infty, 0.0)); + check_isnan ("real(ccos(+Inf + i0)) = NaN", __real__ result); + check ("imag(ccos(Inf + i0)) = +-0", FUNC(fabs) (__imag__ result), 0); + result = FUNC(ccos) (BUILD_COMPLEX (plus_infty, minus_zero)); + check_isnan ("real(ccos(Inf - i0)) = NaN", __real__ result); + check ("imag(ccos(Inf - i0)) = +-0", FUNC(fabs) (__imag__ result), 0); + result = FUNC(ccos) (BUILD_COMPLEX (minus_infty, 0.0)); + check_isnan ("real(ccos(-Inf + i0)) = NaN", __real__ result); + check ("imag(ccos(-Inf + i0)) = +-0", FUNC(fabs) (__imag__ result), 0); + result = FUNC(ccos) (BUILD_COMPLEX (minus_infty, minus_zero)); + check_isnan ("real(ccos(-Inf - i0)) = NaN", __real__ result); + check ("imag(ccos(-Inf - i0)) = +-0", FUNC(fabs) (__imag__ result), 0); + + result = FUNC(ccos) (BUILD_COMPLEX (0.0, plus_infty)); + check_isinfp ("real(ccos(0 + i Inf)) = +Inf", __real__ result); + check ("imag(ccos(0 + i Inf)) = 0", __imag__ result, 0); + result = FUNC(ccos) (BUILD_COMPLEX (0.0, minus_infty)); + check_isinfp ("real(ccos(0 - i Inf)) = +Inf", __real__ result); + check ("imag(ccos(0 - i Inf)) = 0", __imag__ result, 0); + result = FUNC(ccos) (BUILD_COMPLEX (minus_zero, plus_infty)); + check_isinfp ("real(ccos(-0 + i Inf)) = +Inf", __real__ result); + check ("imag(ccos(-0 + i Inf)) = -0", __imag__ result, minus_zero); + result = FUNC(ccos) (BUILD_COMPLEX (minus_zero, minus_infty)); + check_isinfp ("real(ccos(-0 - i Inf)) = +Inf", __real__ result); + check ("imag(ccos(-0 - i Inf)) = -0", __imag__ result, minus_zero); + + result = FUNC(ccos) (BUILD_COMPLEX (plus_infty, plus_infty)); + check_isinfp ("real(ccos(+Inf + i Inf)) = +Inf", __real__ result); + check_isnan ("imag(ccos(+Inf + i Inf)) = NaN", __imag__ result); + result = FUNC(ccos) (BUILD_COMPLEX (minus_infty, plus_infty)); + check_isinfp ("real(ccos(-Inf + i Inf)) = +Inf", __real__ result); + check_isnan ("imag(ccos(-Inf + i Inf)) = NaN", __imag__ result); + result = FUNC(ccos) (BUILD_COMPLEX (plus_infty, minus_infty)); + check_isinfp ("real(ccos(Inf - i Inf)) = +Inf", __real__ result); + check_isnan ("imag(ccos(Inf - i Inf)) = NaN", __imag__ result); + result = FUNC(ccos) (BUILD_COMPLEX (minus_infty, minus_infty)); + check_isinfp ("real(ccos(-Inf - i Inf)) = +Inf", __real__ result); + check_isnan ("imag(ccos(-Inf - i Inf)) = NaN", __imag__ result); + + result = FUNC(ccos) (BUILD_COMPLEX (4.625, plus_infty)); + check_isinfn ("real(ccos(4.625 + i Inf)) = -Inf", __real__ result); + check_isinfn ("imag(ccos(4.625 + i Inf)) = -Inf", __imag__ result); + result = FUNC(ccos) (BUILD_COMPLEX (4.625, minus_infty)); + check_isinfn ("real(ccos(4.625 - i Inf)) = -Inf", __real__ result); + check_isinfn ("imag(ccos(4.625 - i Inf)) = -Inf", __imag__ result); + result = FUNC(ccos) (BUILD_COMPLEX (-4.625, plus_infty)); + check_isinfn ("real(ccos(-4.625 + i Inf)) = -Inf", __real__ result); + check_isinfp ("imag(ccos(-4.625 + i Inf)) = +Inf", __imag__ result); + result = FUNC(ccos) (BUILD_COMPLEX (-4.625, minus_infty)); + check_isinfn ("real(ccos(-4.625 - i Inf)) = -Inf", __real__ result); + check_isinfp ("imag(ccos(-4.625 - i Inf)) = +Inf", __imag__ result); + + result = FUNC(ccos) (BUILD_COMPLEX (plus_infty, 6.75)); + check_isnan ("real(ccos(+Inf + i6.75)) = NaN", __real__ result); + check_isnan ("imag(ccos(+Inf + i6.75)) = NaN", __imag__ result); + result = FUNC(ccos) (BUILD_COMPLEX (plus_infty, -6.75)); + check_isnan ("real(ccos(+Inf - i6.75)) = NaN", __real__ result); + check_isnan ("imag(ccos(+Inf - i6.75)) = NaN", __imag__ result); + result = FUNC(ccos) (BUILD_COMPLEX (minus_infty, 6.75)); + check_isnan ("real(ccos(-Inf + i6.75)) = NaN", __real__ result); + check_isnan ("imag(ccos(-Inf + i6.75)) = NaN", __imag__ result); + result = FUNC(ccos) (BUILD_COMPLEX (minus_infty, -6.75)); + check_isnan ("real(ccos(-Inf - i6.75)) = NaN", __real__ result); + check_isnan ("imag(ccos(-Inf - i6.75)) = NaN", __imag__ result); + + result = FUNC(ccos) (BUILD_COMPLEX (nan_value, 0.0)); + check_isnan ("real(ccos(NaN + i0)) = NaN", __real__ result); + check ("imag(ccos(NaN + i0)) = +-0", FUNC(fabs) (__imag__ result), 0); + result = FUNC(ccos) (BUILD_COMPLEX (nan_value, minus_zero)); + check_isnan ("real(ccos(NaN - i0)) = NaN", __real__ result); + check ("imag(ccos(NaN - i0)) = +-0", FUNC(fabs) (__imag__ result), 0); + + result = FUNC(ccos) (BUILD_COMPLEX (nan_value, plus_infty)); + check_isinfp ("real(ccos(NaN + i Inf)) = +Inf", __real__ result); + check_isnan ("imag(ccos(NaN + i Inf)) = NaN", __imag__ result); + result = FUNC(ccos) (BUILD_COMPLEX (nan_value, minus_infty)); + check_isinfp ("real(ccos(NaN - i Inf)) = +Inf", __real__ result); + check_isnan ("imag(ccos(NaN - i Inf)) = NaN", __imag__ result); + + result = FUNC(ccos) (BUILD_COMPLEX (nan_value, 9.0)); + check_isnan ("real(ccos(NaN + i9.0)) = NaN", __real__ result); + check_isnan ("imag(ccos(NaN + i9.0)) = NaN", __imag__ result); + result = FUNC(ccos) (BUILD_COMPLEX (nan_value, -9.0)); + check_isnan ("real(ccos(NaN - i9.0)) = NaN", __real__ result); + check_isnan ("imag(ccos(NaN - i9.0)) = NaN", __imag__ result); + + result = FUNC(ccos) (BUILD_COMPLEX (0.0, nan_value)); + check_isnan ("real(ccos(0 + i NaN)) = NaN", __real__ result); + check ("imag(ccos(0 + i NaN)) = +-0", FUNC(fabs) (__imag__ result), 0.0); + result = FUNC(ccos) (BUILD_COMPLEX (minus_zero, nan_value)); + check_isnan ("real(ccos(-0 + i NaN)) = NaN", __real__ result); + check ("imag(ccos(-0 + i NaN)) = +-0", FUNC(fabs) (__imag__ result), 0.0); + + result = FUNC(ccos) (BUILD_COMPLEX (10.0, nan_value)); + check_isnan ("real(ccos(10 + i NaN)) = NaN", __real__ result); + check_isnan ("imag(ccos(10 + i NaN)) = NaN", __imag__ result); + result = FUNC(ccos) (BUILD_COMPLEX (-10.0, nan_value)); + check_isnan ("real(ccos(-10 + i NaN)) = NaN", __real__ result); + check_isnan ("imag(ccos(-10 + i NaN)) = NaN", __imag__ result); + + result = FUNC(ccos) (BUILD_COMPLEX (plus_infty, nan_value)); + check_isnan ("real(ccos(+Inf + i NaN)) = NaN", __real__ result); + check_isnan ("imag(ccos(+Inf + i NaN)) = NaN", __imag__ result); + result = FUNC(ccos) (BUILD_COMPLEX (minus_infty, nan_value)); + check_isnan ("real(ccos(-Inf + i NaN)) = NaN", __real__ result); + check_isnan ("imag(ccos(-Inf + i NaN)) = NaN", __imag__ result); + + result = FUNC(ccos) (BUILD_COMPLEX (nan_value, nan_value)); + check_isnan ("real(ccos(NaN + i NaN)) = NaN", __real__ result); + check_isnan ("imag(ccos(NaN + i NaN)) = NaN", __imag__ result); +} + + +static void ccosh_test (void) { __complex__ MATHTYPE result; result = FUNC(ccosh) (BUILD_COMPLEX (0.0, 0.0)); - check ("real(ccosh(0 + 0i)) = 0", __real__ result, 1.0); + check ("real(ccosh(0 + 0i)) = 1.0", __real__ result, 1.0); check ("imag(ccosh(0 + 0i)) = 0", __imag__ result, 0); result = FUNC(ccosh) (BUILD_COMPLEX (minus_zero, 0.0)); - check ("real(ccosh(-0 + 0i)) = -0", __real__ result, 1.0); + check ("real(ccosh(-0 + 0i)) = 1.0", __real__ result, 1.0); check ("imag(ccosh(-0 + 0i)) = 0", __imag__ result, 0); result = FUNC(ccosh) (BUILD_COMPLEX (0.0, minus_zero)); - check ("real(ccosh(0 - 0i)) = 0", __real__ result, 1.0); + check ("real(ccosh(0 - 0i)) = 1.0", __real__ result, 1.0); check ("imag(ccosh(0 - 0i)) = -0", __imag__ result, minus_zero); result = FUNC(ccosh) (BUILD_COMPLEX (minus_zero, minus_zero)); - check ("real(ccosh(-0 - 0i)) = -0", __real__ result, 1.0); + check ("real(ccosh(-0 - 0i)) = 1.0", __real__ result, 1.0); check ("imag(ccosh(-0 - 0i)) = -0", __imag__ result, minus_zero); result = FUNC(ccosh) (BUILD_COMPLEX (0.0, plus_infty)); @@ -1843,13 +1975,13 @@ ccosh_test (void) check ("imag(ccosh(0 + i Inf)) = +-0", FUNC(fabs) (__imag__ result), 0); result = FUNC(ccosh) (BUILD_COMPLEX (minus_zero, plus_infty)); check_isnan ("real(ccosh(-0 + i Inf)) = NaN", __real__ result); - check ("imag(ccosh(-0 + i Inf)) = -0", FUNC(fabs) (__imag__ result), 0); + check ("imag(ccosh(-0 + i Inf)) = +-0", FUNC(fabs) (__imag__ result), 0); result = FUNC(ccosh) (BUILD_COMPLEX (0.0, minus_infty)); check_isnan ("real(ccosh(0 - i Inf)) = NaN", __real__ result); - check ("imag(ccosh(0 - i Inf)) = 0", FUNC(fabs) (__imag__ result), 0); + check ("imag(ccosh(0 - i Inf)) = +-0", FUNC(fabs) (__imag__ result), 0); result = FUNC(ccosh) (BUILD_COMPLEX (minus_zero, minus_infty)); check_isnan ("real(ccosh(-0 - i Inf)) = NaN", __real__ result); - check ("imag(ccosh(-0 - i Inf)) = -0", FUNC(fabs) (__imag__ result), 0); + check ("imag(ccosh(-0 - i Inf)) = +-0", FUNC(fabs) (__imag__ result), 0); result = FUNC(ccosh) (BUILD_COMPLEX (plus_infty, 0.0)); check_isinfp ("real(ccosh(+Inf + 0i)) = +Inf", __real__ result); @@ -1915,7 +2047,7 @@ ccosh_test (void) check_isnan ("imag(ccosh(+Inf + i NaN)) = NaN", __imag__ result); result = FUNC(ccosh) (BUILD_COMPLEX (minus_infty, nan_value)); check_isinfp ("real(ccosh(-Inf + i NaN)) = +Inf", __real__ result); - check_isnan ("imag(ccosh(-0 + i NaN)) = NaN", __imag__ result); + check_isnan ("imag(ccosh(-Inf + i NaN)) = NaN", __imag__ result); result = FUNC(ccosh) (BUILD_COMPLEX (9.0, nan_value)); check_isnan ("real(ccosh(9.0 + i NaN)) = NaN", __real__ result); @@ -1926,10 +2058,10 @@ ccosh_test (void) result = FUNC(ccosh) (BUILD_COMPLEX (nan_value, 0.0)); check_isnan ("real(ccosh(NaN + i0)) = NaN", __real__ result); - check ("imag(ccosh(NaN + i0)) = NaN", __imag__ result, 0.0); + check ("imag(ccosh(NaN + i0)) = +-0", FUNC(fabs) (__imag__ result), 0.0); result = FUNC(ccosh) (BUILD_COMPLEX (nan_value, minus_zero)); check_isnan ("real(ccosh(NaN - i0)) = NaN", __real__ result); - check ("imag(ccosh(NaN - i0)) = NaN", __imag__ result, minus_zero); + check ("imag(ccosh(NaN - i0)) = +-0", FUNC(fabs) (__imag__ result), 0.0); result = FUNC(ccosh) (BUILD_COMPLEX (nan_value, 10.0)); check_isnan ("real(ccosh(NaN + i10)) = NaN", __real__ result); @@ -1951,8 +2083,6 @@ ccosh_test (void) } -#if 0 -/* Enable these tests as soon as the functions are available. */ static void cacos_test (void) { @@ -2194,6 +2324,131 @@ cacosh_test (void) static void +casin_test (void) +{ + __complex__ MATHTYPE result; + + result = FUNC(casin) (BUILD_COMPLEX (0, 0)); + check ("real(casin(0 + i0)) = 0", __real__ result, 0); + check ("imag(casin(0 + i0)) = 0", __imag__ result, 0); + result = FUNC(casin) (BUILD_COMPLEX (minus_zero, 0)); + check ("real(casin(-0 + i0)) = -0", __real__ result, minus_zero); + check ("imag(casin(-0 + i0)) = 0", __imag__ result, 0); + result = FUNC(casin) (BUILD_COMPLEX (0, minus_zero)); + check ("real(casin(0 - i0)) = 0", __real__ result, 0); + check ("imag(casin(0 - i0)) = -0", __imag__ result, minus_zero); + result = FUNC(casin) (BUILD_COMPLEX (minus_zero, minus_zero)); + check ("real(casin(-0 - i0)) = -0", __real__ result, minus_zero); + check ("imag(casin(-0 - i0)) = -0", __imag__ result, minus_zero); + + result = FUNC(casin) (BUILD_COMPLEX (plus_infty, plus_infty)); + check ("real(casin(+Inf + i Inf)) = pi/4", __real__ result, M_PI_4); + check_isinfp ("imag(casin(+Inf + i Inf)) = +Inf", __imag__ result); + result = FUNC(casin) (BUILD_COMPLEX (plus_infty, minus_infty)); + check ("real(casin(+Inf - i Inf)) = pi/4", __real__ result, M_PI_4); + check_isinfn ("imag(casin(+Inf - i Inf)) = -Inf", __imag__ result); + result = FUNC(casin) (BUILD_COMPLEX (minus_infty, plus_infty)); + check ("real(casin(-Inf + i Inf)) = -pi/4", __real__ result, -M_PI_4); + check_isinfp ("imag(casin(-Inf + i Inf)) = +Inf", __imag__ result); + result = FUNC(casin) (BUILD_COMPLEX (minus_infty, minus_infty)); + check ("real(casin(-Inf - i Inf)) = -pi/4", __real__ result, -M_PI_4); + check_isinfn ("imag(casin(-Inf - i Inf)) = -Inf", __imag__ result); + + result = FUNC(casin) (BUILD_COMPLEX (-10.0, plus_infty)); + check ("real(casin(-10.0 + i Inf)) = -0", __real__ result, minus_zero); + check_isinfp ("imag(casin(-10.0 + i Inf)) = +Inf", __imag__ result); + result = FUNC(casin) (BUILD_COMPLEX (-10.0, minus_infty)); + check ("real(casin(-10.0 - i Inf)) = -0", __real__ result, minus_zero); + check_isinfn ("imag(casin(-10.0 - i Inf)) = -Inf", __imag__ result); + result = FUNC(casin) (BUILD_COMPLEX (0, plus_infty)); + check ("real(casin(0 + i Inf)) = 0", __real__ result, 0.0); + check_isinfp ("imag(casin(0 + i Inf)) = +Inf", __imag__ result); + result = FUNC(casin) (BUILD_COMPLEX (0, minus_infty)); + check ("real(casin(0 - i Inf)) = 0", __real__ result, 0.0); + check_isinfn ("imag(casin(0 - i Inf)) = -Inf", __imag__ result); + result = FUNC(casin) (BUILD_COMPLEX (minus_zero, plus_infty)); + check ("real(casin(-0 + i Inf)) = -0", __real__ result, minus_zero); + check_isinfp ("imag(casin(-0 + i Inf)) = +Inf", __imag__ result); + result = FUNC(casin) (BUILD_COMPLEX (minus_zero, minus_infty)); + check ("real(casin(-0 - i Inf)) = -0", __real__ result, minus_zero); + check_isinfn ("imag(casin(-0 - i Inf)) = -Inf", __imag__ result); + result = FUNC(casin) (BUILD_COMPLEX (0.1, plus_infty)); + check ("real(casin(0.1 + i Inf)) = 0", __real__ result, 0); + check_isinfp ("imag(casin(0.1 + i Inf)) = +Inf", __imag__ result); + result = FUNC(casin) (BUILD_COMPLEX (0.1, minus_infty)); + check ("real(casin(0.1 - i Inf)) = 0", __real__ result, 0); + check_isinfn ("imag(casin(0.1 - i Inf)) = -Inf", __imag__ result); + + result = FUNC(casin) (BUILD_COMPLEX (minus_infty, 0)); + check ("real(casin(-Inf + i0)) = -pi/2", __real__ result, -M_PI_2); + check_isinfp ("imag(casin(-Inf + i0)) = +Inf", __imag__ result); + result = FUNC(casin) (BUILD_COMPLEX (minus_infty, minus_zero)); + check ("real(casin(-Inf - i0)) = -pi/2", __real__ result, -M_PI_2); + check_isinfn ("imag(casin(-Inf - i0)) = -Inf", __imag__ result); + result = FUNC(casin) (BUILD_COMPLEX (minus_infty, 100)); + check ("real(casin(-Inf + i100)) = -pi/2", __real__ result, -M_PI_2); + check_isinfp ("imag(casin(-Inf + i100)) = +Inf", __imag__ result); + result = FUNC(casin) (BUILD_COMPLEX (minus_infty, -100)); + check ("real(casin(-Inf - i100)) = -pi/2", __real__ result, -M_PI_2); + check_isinfn ("imag(casin(-Inf - i100)) = -Inf", __imag__ result); + + result = FUNC(casin) (BUILD_COMPLEX (plus_infty, 0)); + check ("real(casin(+Inf + i0)) = pi/2", __real__ result, M_PI_2); + check_isinfp ("imag(casin(+Inf + i0)) = +Inf", __imag__ result); + result = FUNC(casin) (BUILD_COMPLEX (plus_infty, minus_zero)); + check ("real(casin(+Inf - i0)) = pi/2", __real__ result, M_PI_2); + check_isinfn ("imag(casin(+Inf - i0)) = -Inf", __imag__ result); + result = FUNC(casin) (BUILD_COMPLEX (plus_infty, 0.5)); + check ("real(casin(+Inf + i0.5)) = pi/2", __real__ result, M_PI_2); + check_isinfp ("imag(casin(+Inf + i0.5)) = +Inf", __imag__ result); + result = FUNC(casin) (BUILD_COMPLEX (plus_infty, -0.5)); + check ("real(casin(+Inf - i0.5)) = pi/2", __real__ result, M_PI_2); + check_isinfn ("imag(casin(+Inf - i0.5)) = -Inf", __imag__ result); + + result = FUNC(casin) (BUILD_COMPLEX (nan_value, plus_infty)); + check_isnan ("real(casin(NaN + i Inf)) = NaN", __real__ result); + check_isinfp ("imag(casin(NaN + i Inf)) = +Inf", __imag__ result); + result = FUNC(casin) (BUILD_COMPLEX (nan_value, minus_infty)); + check_isnan ("real(casin(NaN - i Inf)) = NaN", __real__ result); + check_isinfn ("imag(casin(NaN - i Inf)) = -Inf", __imag__ result); + + result = FUNC(casin) (BUILD_COMPLEX (0.0, nan_value)); + check ("real(casin(0 + i NaN)) = 0", __real__ result, 0.0); + check_isnan ("imag(casin(0 + i NaN)) = NaN", __imag__ result); + result = FUNC(casin) (BUILD_COMPLEX (minus_zero, nan_value)); + check ("real(casin(-0 + i NaN)) = -0", __real__ result, minus_zero); + check_isnan ("imag(casin(-0 + i NaN)) = NaN", __imag__ result); + + result = FUNC(casin) (BUILD_COMPLEX (plus_infty, nan_value)); + check_isnan ("real(casin(+Inf + i NaN)) = NaN", __real__ result); + check_isinfp ("imag(casin(+Inf + i NaN)) = +-Inf", + FUNC(fabs) (__imag__ result)); + result = FUNC(casin) (BUILD_COMPLEX (minus_infty, nan_value)); + check_isnan ("real(casin(-Inf + i NaN)) = NaN", __real__ result); + check_isinfp ("imag(casin(-Inf + NaN)) = +-Inf", + FUNC(fabs) (__imag__ result)); + + result = FUNC(casin) (BUILD_COMPLEX (nan_value, 10.5)); + check_isnan ("real(casin(NaN + i10.5)) = NaN", __real__ result); + check_isnan ("imag(casin(NaN + i10.5)) = NaN", __imag__ result); + result = FUNC(casin) (BUILD_COMPLEX (nan_value, -10.5)); + check_isnan ("real(casin(NaN - i10.5)) = NaN", __real__ result); + check_isnan ("imag(casin(NaN - i10.5)) = NaN", __imag__ result); + + result = FUNC(casin) (BUILD_COMPLEX (0.75, nan_value)); + check_isnan ("real(casin(0.75 + i NaN)) = NaN", __real__ result); + check_isnan ("imag(casin(0.75 + i NaN)) = NaN", __imag__ result); + result = FUNC(casin) (BUILD_COMPLEX (-0.75, nan_value)); + check_isnan ("real(casin(-0.75 + i NaN)) = NaN", __real__ result); + check_isnan ("imag(casin(-0.75 + i NaN)) = NaN", __imag__ result); + + result = FUNC(casin) (BUILD_COMPLEX (nan_value, nan_value)); + check_isnan ("real(casin(NaN + i NaN)) = NaN", __real__ result); + check_isnan ("imag(casin(NaN + i NaN)) = NaN", __imag__ result); +} + + +static void casinh_test (void) { __complex__ MATHTYPE result; @@ -2236,6 +2491,12 @@ casinh_test (void) result = FUNC(casinh) (BUILD_COMPLEX (0, minus_infty)); check_isinfp ("real(casinh(0 - i Inf)) = +Inf", __real__ result); check ("imag(casinh(0 - i Inf)) = -pi/2", __imag__ result, -M_PI_2); + result = FUNC(casinh) (BUILD_COMPLEX (minus_zero, plus_infty)); + check_isinfn ("real(casinh(-0 + i Inf)) = -Inf", __real__ result); + check ("imag(casinh(-0 + i Inf)) = pi/2", __imag__ result, M_PI_2); + result = FUNC(casinh) (BUILD_COMPLEX (minus_zero, minus_infty)); + check_isinfn ("real(casinh(-0 - i Inf)) = -Inf", __real__ result); + check ("imag(casinh(-0 - i Inf)) = -pi/2", __imag__ result, -M_PI_2); result = FUNC(casinh) (BUILD_COMPLEX (0.1, plus_infty)); check_isinfp ("real(casinh(0.1 + i Inf)) = +Inf", __real__ result); check ("imag(casinh(0.1 + i Inf)) = pi/2", __imag__ result, M_PI_2); @@ -2278,17 +2539,17 @@ casinh_test (void) result = FUNC(casinh) (BUILD_COMPLEX (nan_value, 0)); check_isnan ("real(casinh(NaN + i0)) = NaN", __real__ result); - check ("imag(casinh(NaN + i0)) = 0", __imag__ resul, 0); - result = FUNC(casinh) (BUILD_COMPLEX (minus_zero, nan_value)); + check ("imag(casinh(NaN + i0)) = 0", __imag__ result, 0); + result = FUNC(casinh) (BUILD_COMPLEX (nan_value, minus_zero)); check_isnan ("real(casinh(NaN - i0)) = NaN", __real__ result); check ("imag(casinh(NaN - i0)) = -0", __imag__ result, minus_zero); result = FUNC(casinh) (BUILD_COMPLEX (nan_value, plus_infty)); - check_isinfp ("real(casinh(NaN + i Inf)) = +Inf", + check_isinfp ("real(casinh(NaN + i Inf)) = +-Inf", FUNC(fabs) (__real__ result)); check_isnan ("imag(casinh(NaN + i Inf)) = NaN", __imag__ result); result = FUNC(casinh) (BUILD_COMPLEX (nan_value, minus_infty)); - check_isinfp ("real(casinh(NaN - i Inf)) = +Inf", + check_isinfp ("real(casinh(NaN - i Inf)) = +-Inf", FUNC(fabs) (__real__ result)); check_isnan ("imag(casinh(NaN - i Inf)) = NaN", __imag__ result); @@ -2302,7 +2563,7 @@ casinh_test (void) result = FUNC(casinh) (BUILD_COMPLEX (nan_value, 0.75)); check_isnan ("real(casinh(NaN + i0.75)) = NaN", __real__ result); check_isnan ("imag(casinh(NaN + i0.75)) = NaN", __imag__ result); - result = FUNC(casinh) (BUILD_COMPLEX (-10.5, nan_value)); + result = FUNC(casinh) (BUILD_COMPLEX (-0.75, nan_value)); check_isnan ("real(casinh(NaN - i0.75)) = NaN", __real__ result); check_isnan ("imag(casinh(NaN - i0.75)) = NaN", __imag__ result); @@ -2313,6 +2574,136 @@ casinh_test (void) static void +catan_test (void) +{ + __complex__ MATHTYPE result; + + result = FUNC(catan) (BUILD_COMPLEX (0, 0)); + check ("real(catan(0 + i0)) = 0", __real__ result, 0); + check ("imag(catan(0 + i0)) = 0", __imag__ result, 0); + result = FUNC(catan) (BUILD_COMPLEX (minus_zero, 0)); + check ("real(catan(-0 + i0)) = -0", __real__ result, minus_zero); + check ("imag(catan(-0 + i0)) = 0", __imag__ result, 0); + result = FUNC(catan) (BUILD_COMPLEX (0, minus_zero)); + check ("real(catan(0 - i0)) = 0", __real__ result, 0); + check ("imag(catan(0 - i0)) = -0", __imag__ result, minus_zero); + result = FUNC(catan) (BUILD_COMPLEX (minus_zero, minus_zero)); + check ("real(catan(-0 - i0)) = -0", __real__ result, minus_zero); + check ("imag(catan(-0 - i0)) = -0", __imag__ result, minus_zero); + + result = FUNC(catan) (BUILD_COMPLEX (plus_infty, plus_infty)); + check ("real(catan(+Inf + i Inf)) = pi/2", __real__ result, M_PI_2); + check ("imag(catan(+Inf + i Inf)) = 0", __imag__ result, 0); + result = FUNC(catan) (BUILD_COMPLEX (plus_infty, minus_infty)); + check ("real(catan(+Inf - i Inf)) = pi/2", __real__ result, M_PI_2); + check ("imag(catan(+Inf - i Inf)) = -0", __imag__ result, minus_zero); + result = FUNC(catan) (BUILD_COMPLEX (minus_infty, plus_infty)); + check ("real(catan(-Inf + i Inf)) = -pi/2", __real__ result, -M_PI_2); + check ("imag(catan(-Inf + i Inf)) = 0", __imag__ result, 0.0); + result = FUNC(catan) (BUILD_COMPLEX (minus_infty, minus_infty)); + check ("real(catan(-Inf - i Inf)) = -pi/2", __real__ result, -M_PI_2); + check ("imag(catan(-Inf - i Inf)) = -0", __imag__ result, minus_zero); + + result = FUNC(catan) (BUILD_COMPLEX (plus_infty, -10.0)); + check ("real(catan(+Inf - i10.0)) = pi/2", __real__ result, M_PI_2); + check ("imag(catan(+Inf - i10.0)) = -0", __imag__ result, minus_zero); + result = FUNC(catan) (BUILD_COMPLEX (minus_infty, -10.0)); + check ("real(catan(-Inf - i10.0)) = -pi/2", __real__ result, -M_PI_2); + check ("imag(catan(-Inf - i10.0)) = -0", __imag__ result, minus_zero); + result = FUNC(catan) (BUILD_COMPLEX (plus_infty, minus_zero)); + check ("real(catan(Inf - i0)) = pi/2", __real__ result, M_PI_2); + check ("imag(catan(Inf - i0)) = -0", __imag__ result, minus_zero); + result = FUNC(catan) (BUILD_COMPLEX (minus_infty, minus_zero)); + check ("real(catan(-Inf - i0)) = -pi/2", __real__ result, -M_PI_2); + check ("imag(catan(-Inf - i0)) = -0", __imag__ result, minus_zero); + result = FUNC(catan) (BUILD_COMPLEX (plus_infty, 0.0)); + check ("real(catan(Inf + i0)) = pi/2", __real__ result, M_PI_2); + check ("imag(catan(Inf + i0)) = 0", __imag__ result, 0.0); + result = FUNC(catan) (BUILD_COMPLEX (minus_infty, 0.0)); + check ("real(catan(-Inf + i0)) = -pi/2", __real__ result, -M_PI_2); + check ("imag(catan(-Inf + i0)) = 0", __imag__ result, 0.0); + result = FUNC(catan) (BUILD_COMPLEX (plus_infty, 0.1)); + check ("real(catan(+Inf + i0.1)) = pi/2", __real__ result, M_PI_2); + check ("imag(catan(+Inf + i0.1)) = 0", __imag__ result, 0); + result = FUNC(catan) (BUILD_COMPLEX (minus_infty, 0.1)); + check ("real(catan(-Inf + i0.1)) = -pi/2", __real__ result, -M_PI_2); + check ("imag(catan(-Inf + i0.1)) = 0", __imag__ result, 0); + + result = FUNC(catan) (BUILD_COMPLEX (0.0, minus_infty)); + check ("real(catan(0 - i Inf)) = pi/2", __real__ result, M_PI_2); + check ("imag(catan(0 - i Inf)) = -0", __imag__ result, minus_zero); + result = FUNC(catan) (BUILD_COMPLEX (minus_zero, minus_infty)); + check ("real(catan(-0 - i Inf)) = -pi/2", __real__ result, -M_PI_2); + check ("imag(catan(-0 - i Inf)) = -0", __imag__ result, minus_zero); + result = FUNC(catan) (BUILD_COMPLEX (100.0, minus_infty)); + check ("real(catan(100 - i Inf)) = pi/2", __real__ result, M_PI_2); + check ("imag(catan(100 - i Inf)) = -0", __imag__ result, minus_zero); + result = FUNC(catan) (BUILD_COMPLEX (-100.0, minus_infty)); + check ("real(catan(-100 - i Inf)) = -pi/2", __real__ result, -M_PI_2); + check ("imag(catan(-100 - i Inf)) = -0", __imag__ result, minus_zero); + + result = FUNC(catan) (BUILD_COMPLEX (0.0, plus_infty)); + check ("real(catan(0 + i Inf)) = pi/2", __real__ result, M_PI_2); + check ("imag(catan(0 + i Inf)) = 0", __imag__ result, 0); + result = FUNC(catan) (BUILD_COMPLEX (minus_zero, plus_infty)); + check ("real(catan(-0 + i Inf)) = -pi/2", __real__ result, -M_PI_2); + check ("imag(catan(-0 + i Inf)) = 0", __imag__ result, 0); + result = FUNC(catan) (BUILD_COMPLEX (0.5, plus_infty)); + check ("real(catan(0.5 + i Inf)) = pi/2", __real__ result, M_PI_2); + check ("imag(catan(0.5 + i Inf)) = 0", __imag__ result, 0); + result = FUNC(catan) (BUILD_COMPLEX (-0.5, plus_infty)); + check ("real(catan(-0.5 + i Inf)) = -pi/2", __real__ result, -M_PI_2); + check ("imag(catan(-0.5 + i Inf)) = 0", __imag__ result, 0); + + result = FUNC(catan) (BUILD_COMPLEX (nan_value, 0.0)); + check_isnan ("real(catan(NaN + i0)) = NaN", __real__ result); + check ("imag(catan(NaN + i0)) = 0", __imag__ result, 0.0); + result = FUNC(catan) (BUILD_COMPLEX (nan_value, minus_zero)); + check_isnan ("real(catan(NaN - i0)) = NaN", __real__ result); + check ("imag(catan(NaN - i0)) = -0", __imag__ result, minus_zero); + + result = FUNC(catan) (BUILD_COMPLEX (nan_value, plus_infty)); + check_isnan ("real(catan(NaN + i Inf)) = NaN", __real__ result); + check ("imag(catan(NaN + i Inf)) = 0", __imag__ result, 0); + result = FUNC(catan) (BUILD_COMPLEX (nan_value, minus_infty)); + check_isnan ("real(catan(NaN - i Inf)) = NaN", __real__ result); + check ("imag(catan(NaN - i Inf)) = -0", __imag__ result, minus_zero); + + result = FUNC(catan) (BUILD_COMPLEX (0.0, nan_value)); + check_isnan ("real(catan(0 + i NaN)) = NaN", __real__ result); + check_isnan ("imag(catan(0 + i NaN)) = NaN", __imag__ result); + result = FUNC(catan) (BUILD_COMPLEX (minus_zero, nan_value)); + check_isnan ("real(catan(-0 + i NaN)) = NaN", __real__ result); + check_isnan ("imag(catan(-0 + i NaN)) = NaN", __imag__ result); + + result = FUNC(catan) (BUILD_COMPLEX (plus_infty, nan_value)); + check ("real(catan(+Inf + i NaN)) = pi/2", __real__ result, M_PI_2); + check ("imag(catan(+Inf + i NaN)) = +-0", FUNC(fabs) (__imag__ result), 0); + result = FUNC(catan) (BUILD_COMPLEX (minus_infty, nan_value)); + check ("real(catan(-Inf + i NaN)) = -pi/2", __real__ result, -M_PI_2); + check ("imag(catan(-Inf + i NaN)) = +-0", FUNC(fabs) (__imag__ result), 0); + + result = FUNC(catan) (BUILD_COMPLEX (nan_value, 10.5)); + check_isnan ("real(catan(NaN + i10.5)) = NaN", __real__ result); + check_isnan ("imag(catan(NaN + i10.5)) = NaN", __imag__ result); + result = FUNC(catan) (BUILD_COMPLEX (nan_value, -10.5)); + check_isnan ("real(catan(NaN - i10.5)) = NaN", __real__ result); + check_isnan ("imag(catan(NaN - i10.5)) = NaN", __imag__ result); + + result = FUNC(catan) (BUILD_COMPLEX (0.75, nan_value)); + check_isnan ("real(catan(0.75 + i NaN)) = NaN", __real__ result); + check_isnan ("imag(catan(0.75 + i NaN)) = NaN", __imag__ result); + result = FUNC(catan) (BUILD_COMPLEX (-0.75, nan_value)); + check_isnan ("real(catan(-0.75 + i NaN)) = NaN", __real__ result); + check_isnan ("imag(catan(-0.75 + i NaN)) = NaN", __imag__ result); + + result = FUNC(catan) (BUILD_COMPLEX (nan_value, nan_value)); + check_isnan ("real(catan(NaN + i NaN)) = NaN", __real__ result); + check_isnan ("imag(catan(NaN + i NaN)) = NaN", __imag__ result); +} + + +static void catanh_test (void) { __complex__ MATHTYPE result; @@ -2344,11 +2735,17 @@ catanh_test (void) check ("imag(catanh(-Inf - i Inf)) = -pi/2", __imag__ result, -M_PI_2); result = FUNC(catanh) (BUILD_COMPLEX (-10.0, plus_infty)); - check ("real(catanh(-10.0 + i Inf)) = -0", __real__ result, -minus_zero); + check ("real(catanh(-10.0 + i Inf)) = -0", __real__ result, minus_zero); check ("imag(catanh(-10.0 + i Inf)) = pi/2", __imag__ result, M_PI_2); result = FUNC(catanh) (BUILD_COMPLEX (-10.0, minus_infty)); - check ("real(catanh(-10.0 - i Inf)) = -0", __real__ result, minus_infty); + check ("real(catanh(-10.0 - i Inf)) = -0", __real__ result, minus_zero); check ("imag(catanh(-10.0 - i Inf)) = -pi/2", __imag__ result, -M_PI_2); + result = FUNC(catanh) (BUILD_COMPLEX (minus_zero, plus_infty)); + check ("real(catanh(-0 + i Inf)) = -0", __real__ result, minus_zero); + check ("imag(catanh(-0 + i Inf)) = pi/2", __imag__ result, M_PI_2); + result = FUNC(catanh) (BUILD_COMPLEX (minus_zero, minus_infty)); + check ("real(catanh(-0 - i Inf)) = -0", __real__ result, minus_zero); + check ("imag(catanh(-0 - i Inf)) = -pi/2", __imag__ result, -M_PI_2); result = FUNC(catanh) (BUILD_COMPLEX (0, plus_infty)); check ("real(catanh(0 + i Inf)) = 0", __real__ result, 0); check ("imag(catanh(0 + i Inf)) = pi/2", __imag__ result, M_PI_2); @@ -2390,10 +2787,10 @@ catanh_test (void) result = FUNC(catanh) (BUILD_COMPLEX (0, nan_value)); check ("real(catanh(0 + i NaN)) = 0", __real__ result, 0); - check_isnan ("imag(catanh(+Inf + i NaN)) = NaN", __imag__ result); + check_isnan ("imag(catanh(0 + i NaN)) = NaN", __imag__ result); result = FUNC(catanh) (BUILD_COMPLEX (minus_zero, nan_value)); check ("real(catanh(-0 + i NaN)) = -0", __real__ result, minus_zero); - check_isnan ("imag(catanh(-Inf + i NaN)) = NaN", __imag__ result); + check_isnan ("imag(catanh(-0 + i NaN)) = NaN", __imag__ result); result = FUNC(catanh) (BUILD_COMPLEX (plus_infty, nan_value)); check ("real(catanh(+Inf + i NaN)) = 0", __real__ result, 0); @@ -2404,8 +2801,8 @@ catanh_test (void) result = FUNC(catanh) (BUILD_COMPLEX (nan_value, 0)); check_isnan ("real(catanh(NaN + i0)) = NaN", __real__ result); - check_isnan ("imag(catanh(NaN + i0)) = NaN", __imag__ resul); - result = FUNC(catanh) (BUILD_COMPLEX (minus_zero, nan_value)); + check_isnan ("imag(catanh(NaN + i0)) = NaN", __imag__ result); + result = FUNC(catanh) (BUILD_COMPLEX (nan_value, minus_zero)); check_isnan ("real(catanh(NaN - i0)) = NaN", __real__ result); check_isnan ("imag(catanh(NaN - i0)) = NaN", __imag__ result); @@ -2426,7 +2823,7 @@ catanh_test (void) result = FUNC(catanh) (BUILD_COMPLEX (nan_value, 0.75)); check_isnan ("real(catanh(NaN + i0.75)) = NaN", __real__ result); check_isnan ("imag(catanh(NaN + i0.75)) = NaN", __imag__ result); - result = FUNC(catanh) (BUILD_COMPLEX (-10.5, nan_value)); + result = FUNC(catanh) (BUILD_COMPLEX (nan_value, -0.75)); check_isnan ("real(catanh(NaN - i0.75)) = NaN", __real__ result); check_isnan ("imag(catanh(NaN - i0.75)) = NaN", __imag__ result); @@ -2449,7 +2846,7 @@ ctanh_test (void) check ("imag(ctanh(0 - i0)) = -0", __imag__ result, minus_zero); result = FUNC(ctanh) (BUILD_COMPLEX (minus_zero, 0)); check ("real(ctanh(-0 + i0)) = -0", __real__ result, minus_zero); - check ("imag(ctanh(-0 + i0)) = -0", __imag__ result, 0); + check ("imag(ctanh(-0 + i0)) = 0", __imag__ result, 0); result = FUNC(ctanh) (BUILD_COMPLEX (minus_zero, minus_zero)); check ("real(ctanh(-0 - i0)) = -0", __real__ result, minus_zero); check ("imag(ctanh(-0 - i0)) = -0", __imag__ result, minus_zero); @@ -2472,7 +2869,7 @@ ctanh_test (void) result = FUNC(ctanh) (BUILD_COMPLEX (minus_infty, 1)); check ("real(ctanh(-Inf + i1)) = -1", __real__ result, -1); check ("imag(ctanh(-Inf + i1)) = 0", __imag__ result, 0); - result = FUNC(ctanh) (BUILD_COMPLEX (pminus_infty, minus_zero)); + result = FUNC(ctanh) (BUILD_COMPLEX (minus_infty, minus_zero)); check ("real(ctanh(-Inf - i0)) = -1", __real__ result, -1); check ("imag(ctanh(-Inf - i0)) = -0", __imag__ result, minus_zero); result = FUNC(ctanh) (BUILD_COMPLEX (minus_infty, -1)); @@ -2514,9 +2911,9 @@ ctanh_test (void) result = FUNC(ctanh) (BUILD_COMPLEX (nan_value, 0)); check_isnan ("real(ctanh(NaN + i0)) = NaN", __real__ result); check ("imag(ctanh(NaN + i0)) = 0", __imag__ result, 0); - result = FUNC(ctanh) (BUILD_COMPLEX (nan_value, minus_infty)); + result = FUNC(ctanh) (BUILD_COMPLEX (nan_value, minus_zero)); check_isnan ("real(ctanh(NaN - i0)) = NaN", __real__ result); - check ("imag(ctanh(NaN - i0)) = -0", __imag__ result, minus_infty); + check ("imag(ctanh(NaN - i0)) = -0", __imag__ result, minus_zero); result = FUNC(ctanh) (BUILD_COMPLEX (nan_value, 0.5)); check_isnan ("real(ctanh(NaN + i0.5)) = NaN", __real__ result); @@ -2542,7 +2939,6 @@ ctanh_test (void) check_isnan ("real(ctanh(NaN + i NaN)) = NaN", __real__ result); check_isnan ("imag(ctanh(NaN + i NaN)) = NaN", __imag__ result); } -#endif static void @@ -2639,7 +3035,7 @@ clog_test (void) result = FUNC(clog) (BUILD_COMPLEX (nan_value, plus_infty)); check_isinfp ("real(clog(NaN + i Inf)) = +Inf", __real__ result); check_isnan ("imag(clog(NaN + i Inf)) = NaN", __imag__ result); - result = FUNC(clog) (BUILD_COMPLEX (minus_infty, nan_value)); + result = FUNC(clog) (BUILD_COMPLEX (nan_value, minus_infty)); check_isinfp ("real(clog(NaN - i Inf)) = +Inf", __real__ result); check_isnan ("imag(clog(NaN - i Inf)) = NaN", __imag__ result); @@ -2675,7 +3071,6 @@ clog_test (void) } -#if 0 static void csqrt_test (void) { @@ -2709,16 +3104,16 @@ csqrt_test (void) result = FUNC(csqrt) (BUILD_COMPLEX (plus_infty, 0)); check_isinfp ("real(csqrt(+Inf + i0)) = +Inf", __real__ result); - check ("imag(csqrt(-Inf + i0)) = 0", __imag__ result, 0); + check ("imag(csqrt(+Inf + i0)) = 0", __imag__ result, 0); result = FUNC(csqrt) (BUILD_COMPLEX (plus_infty, 6)); check_isinfp ("real(csqrt(+Inf + i6)) = +Inf", __real__ result); - check ("imag(csqrt(-Inf + i6)) = 0", __imag__ result, 0); + check ("imag(csqrt(+Inf + i6)) = 0", __imag__ result, 0); result = FUNC(csqrt) (BUILD_COMPLEX (plus_infty, minus_zero)); check_isinfp ("real(csqrt(+Inf - i0)) = +Inf", __real__ result); - check ("imag(csqrt(-Inf - i0)) = -0", __imag__ result, minus_zero); + check ("imag(csqrt(+Inf - i0)) = -0", __imag__ result, minus_zero); result = FUNC(csqrt) (BUILD_COMPLEX (plus_infty, -6)); check_isinfp ("real(csqrt(+Inf - i6)) = +Inf", __real__ result); - check ("imag(csqrt(-Inf - i6)) = -0", __imag__ result, minus_zero); + check ("imag(csqrt(+Inf - i6)) = -0", __imag__ result, minus_zero); result = FUNC(csqrt) (BUILD_COMPLEX (0, plus_infty)); check_isinfp ("real(csqrt(0 + i Inf)) = +Inf", __real__ result); @@ -2796,7 +3191,23 @@ csqrt_test (void) check_isnan ("real(csqrt(NaN + i NaN)) = NaN", __real__ result); check_isnan ("imag(csqrt(NaN + i NaN)) = NaN", __imag__ result); } -#endif + + +static void +cpow_test (void) +{ + __complex__ MATHTYPE result; +} + + +static void +rint_test (void) +{ + check ("rint(0) = 0", FUNC(rint) (0.0), 0.0); + check ("rint(-0) = -0", FUNC(rint) (minus_zero), minus_zero); + check_isinfp ("rint(+Inf) = +Inf", FUNC(rint) (plus_infty)); + check_isinfn ("rint(-Inf) = -Inf", FUNC(rint) (minus_infty)); +} static void @@ -2806,16 +3217,17 @@ rinttol_test (void) the rounding method and test the critical cases. So far, only unproblematic numbers are tested. */ - check_long ("rinttol(0) = 0", 0.0, 0); - check_long ("rinttol(-0) = 0", minus_zero, 0); - check_long ("rinttol(0.2) = 0", 0.2, 0); - check_long ("rinttol(-0.2) = 0", -0.2, 0); + check_long ("rinttol(0) = 0", rinttol (0.0), 0); + check_long ("rinttol(-0) = 0", rinttol (minus_zero), 0); + check_long ("rinttol(0.2) = 0", rinttol (0.2), 0); + check_long ("rinttol(-0.2) = 0", rinttol (-0.2), 0); - check_long ("rinttol(1.4) = 1", 1.4, 1); - check_long ("rinttol(-1.4) = -1", -1.4, -1); + check_long ("rinttol(1.4) = 1", rinttol (1.4), 1); + check_long ("rinttol(-1.4) = -1", rinttol (-1.4), -1); - check_long ("rinttol(8388600.3) = 8388600", 8388600.3, 8388600); - check_long ("rinttol(-8388600.3) = -8388600", -8388600.3, -8388600); + check_long ("rinttol(8388600.3) = 8388600", rinttol (8388600.3), 8388600); + check_long ("rinttol(-8388600.3) = -8388600", rinttol (-8388600.3), + -8388600); } @@ -2826,16 +3238,79 @@ rinttoll_test (void) the rounding method and test the critical cases. So far, only unproblematic numbers are tested. */ - check_longlong ("rinttoll(0) = 0", 0.0, 0); - check_longlong ("rinttoll(-0) = 0", minus_zero, 0); - check_longlong ("rinttoll(0.2) = 0", 0.2, 0); - check_longlong ("rinttoll(-0.2) = 0", -0.2, 0); + check_longlong ("rinttoll(0) = 0", rinttoll (0.0), 0); + check_longlong ("rinttoll(-0) = 0", rinttoll (minus_zero), 0); + check_longlong ("rinttoll(0.2) = 0", rinttoll (0.2), 0); + check_longlong ("rinttoll(-0.2) = 0", rinttoll (-0.2), 0); - check_longlong ("rinttoll(1.4) = 1", 1.4, 1); - check_longlong ("rinttoll(-1.4) = -1", -1.4, -1); + check_longlong ("rinttoll(1.4) = 1", rinttoll (1.4), 1); + check_longlong ("rinttoll(-1.4) = -1", rinttoll (-1.4), -1); - check_longlong ("rinttoll(8388600.3) = 8388600", 8388600.3, 8388600); - check_longlong ("rinttoll(-8388600.3) = -8388600", -8388600.3, -8388600); + check_longlong ("rinttoll(8388600.3) = 8388600", rinttoll (8388600.3), + 8388600); + check_longlong ("rinttoll(-8388600.3) = -8388600", rinttoll (-8388600.3), + -8388600); +} + + +static void +round_test (void) +{ + check ("round(0) = 0", FUNC(round) (0), 0); + check ("round(-0) = -0", FUNC(round) (minus_zero), minus_zero); + check ("round(0.2) = 0", FUNC(round) (0.2), 0.0); + check ("round(-0.2) = -0", FUNC(round) (-0.2), minus_zero); + check ("round(0.5) = 1", FUNC(round) (0.5), 1.0); + check ("round(-0.5) = -1", FUNC(round) (-0.5), -1.0); + check ("round(0.8) = 1", FUNC(round) (0.8), 1.0); + check ("round(-0.8) = -1", FUNC(round) (-0.8), -1.0); + check ("round(1.5) = 2", FUNC(round) (1.5), 2.0); + check ("round(-1.5) = -2", FUNC(round) (-1.5), -2.0); + check ("round(2097152.5) = 2097153", FUNC(round) (2097152.5), 2097153); + check ("round(-2097152.5) = -2097153", FUNC(round) (-2097152.5), -2097153); +} + + +static void +roundtol_test (void) +{ + check_long ("roundtol(0) = 0", roundtol (0), 0); + check_long ("roundtol(-0) = 0", roundtol (minus_zero), 0); + check_long ("roundtol(0.2) = 0", roundtol (0.2), 0.0); + check_long ("roundtol(-0.2) = 0", roundtol (-0.2), 0); + check_long ("roundtol(0.5) = 1", roundtol (0.5), 1); + check_long ("roundtol(-0.5) = -1", roundtol (-0.5), -1); + check_long ("roundtol(0.8) = 1", roundtol (0.8), 1); + check_long ("roundtol(-0.8) = -1", roundtol (-0.8), -1); + check_long ("roundtol(1.5) = 2", roundtol (1.5), 2); + check_long ("roundtol(-1.5) = -2", roundtol (-1.5), -2); + check_long ("roundtol(2097152.5) = 2097153", roundtol (2097152.5), 2097153); + check_long ("roundtol(-2097152.5) = -2097153", roundtol (-2097152.5), + -2097153); +} + + +static void +roundtoll_test (void) +{ + check_longlong ("roundtoll(0) = 0", roundtoll (0), 0); + check_longlong ("roundtoll(-0) = 0", roundtoll (minus_zero), 0); + check_longlong ("roundtoll(0.2) = 0", roundtoll (0.2), 0.0); + check_longlong ("roundtoll(-0.2) = 0", roundtoll (-0.2), 0); + check_longlong ("roundtoll(0.5) = 1", roundtoll (0.5), 1); + check_longlong ("roundtoll(-0.5) = -1", roundtoll (-0.5), -1); + check_longlong ("roundtoll(0.8) = 1", roundtoll (0.8), 1); + check_longlong ("roundtoll(-0.8) = -1", roundtoll (-0.8), -1); + check_longlong ("roundtoll(1.5) = 2", roundtoll (1.5), 2); + check_longlong ("roundtoll(-1.5) = -2", roundtoll (-1.5), -2); + check_longlong ("roundtoll(2097152.5) = 2097153", + roundtoll (2097152.5), 2097153); + check_longlong ("roundtoll(-2097152.5) = -2097153", + roundtoll (-2097152.5), -2097153); + check_longlong ("roundtoll(34359738368.5) = 34359738369", + roundtoll (34359738368.5), 34359738369ll); + check_longlong ("roundtoll(-34359738368.5) = -34359738369", + roundtoll (-34359738368.5), -34359738369ll); } @@ -3168,11 +3643,25 @@ main (int argc, char *argv[]) #endif cexp_test (); csinh_test (); + ccos_test (); ccosh_test (); clog_test (); - + cacos_test (); + cacosh_test (); + casin_test (); + casinh_test (); + catan_test (); + catanh_test (); + ctanh_test (); + csqrt_test (); + cpow_test (); + + rint_test (); rinttol_test (); rinttoll_test (); + round_test (); + roundtol_test (); + roundtoll_test (); identities (); inverse_functions (); diff --git a/math/math.h b/math/math.h index ce4f4867fa..bf3ef9bcee 100644 --- a/math/math.h +++ b/math/math.h @@ -115,6 +115,25 @@ extern int signgam; /* ISO C 9X defines some generic macros which work on any data type. */ #if __USE_ISOC9X +/* Get the architecture specific values describing the floating-point + evaluation. The following symbols will get defined: + + float_t floating-point type at least as wide as `float' used + to evaluate `float' expressions + double_t floating-point type at least as wide as `double' used + to evaluate `double' expressions + + FLT_EVAL_METHOD + Defined to + 0 if `float_t' is `float' and `double_t' is `double' + 1 if `float_t' and `double_t' are `double' + 2 if `float_t' and `double_t' are `long double' + else `float_t' and `double_t' are unspecified + + INFINITY representation of the infinity value of type `float_t' +*/ +#include <mathbits.h> + /* All floating-point numbers can be put in one of these categories. */ enum { @@ -133,7 +152,7 @@ enum /* Return number of classification appropriate for X. */ #define fpclassify(x) \ (sizeof (x) == sizeof (float) ? \ - __fpclassifyf (x) \ + __fpclassifyf (x) \ : sizeof (x) == sizeof (double) ? \ __fpclassify (x) : __fpclassifyl (x)) @@ -145,7 +164,11 @@ enum __signbit (x) : __signbitl (x)) /* Return nonzero value if X is not +-Inf or NaN. */ -#define isfinite(x) (fpclassify (x) >= FP_ZERO) +#define isfinite(x) \ + (sizeof (x) == sizeof (float) ? \ + __finitef (x) \ + : sizeof (x) == sizeof (double) ? \ + __finite (x) : __finitel (x)) /* Return nonzero value if X is neither zero, subnormal, Inf, nor NaN. */ #define isnormal(x) (fpclassify (x) == FP_NORMAL) |