diff options
Diffstat (limited to 'math')
| -rw-r--r-- | math/Makefile | 11 | ||||
| -rw-r--r-- | math/cmathcalls.h | 8 | ||||
| -rw-r--r-- | math/libm-test.c | 253 | ||||
| -rw-r--r-- | math/math.h | 5 | ||||
| -rw-r--r-- | math/mathcalls.h | 24 |
5 files changed, 227 insertions, 74 deletions
diff --git a/math/Makefile b/math/Makefile index 31b3684997..d0c05835f5 100644 --- a/math/Makefile +++ b/math/Makefile @@ -49,7 +49,7 @@ libm-calls = e_acos e_acosh e_asin e_atan2 e_atanh e_cosh e_exp e_fmod \ 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 \ - conj cimag creal cabs + conj cimag creal cabs s_cexp libm-routines = $(libm-support) $(libm-calls) \ $(patsubst %_rf,%f_r,$(libm-calls:=f)) \ $(long-m-$(long-double-fcts)) @@ -73,6 +73,9 @@ tests = test-float test-double $(test-longdouble-$(long-double-fcts)) # XXX This test is disabled for now since the functions are too buggy. #test-longdouble-yes = test-longdouble +CFLAGS-test-float.c = -fno-inline +CFLAGS-test-double.c = -fno-inline +CFLAGS-test-longdouble.c = -fno-inline LDLIBS-test-float = libm LDLIBS-test-double = libm LDLIBS-test-longdouble = libm @@ -116,3 +119,9 @@ override CFLAGS += -Wno-uninitialized -Wno-write-strings $(objpfx)libieee.a: $(objpfx)ieee-math.o rm -f $@ ln $< $@ + +ifeq ($(build-shared),yes) +$(addprefix $(objpfx),$(tests)): $(objpfx)libm.so$(libm.so-version) +else +$(addprefix $(objpfx),$(tests)): $(objpfx)libm.a +endif diff --git a/math/cmathcalls.h b/math/cmathcalls.h index 658c3a729d..b2a8382721 100644 --- a/math/cmathcalls.h +++ b/math/cmathcalls.h @@ -103,10 +103,10 @@ __MATHCALL (csqrt, (_Mdouble_complex_ __z)); /* Absolute value, projections, conjugates, and projection. */ /* Absolute value of Z. */ -__MATHDECL (_Mdouble_, cabs, (_Mdouble_complex_ __z)); +__MATHDECL (_Mdouble_,cabs, (_Mdouble_complex_ __z)); /* Argument value of Z. */ -__MATHDECL (_Mdouble_, carg, (_Mdouble_complex_ __z)); +__MATHDECL (_Mdouble_,carg, (_Mdouble_complex_ __z)); /* Complex conjugate of Z. */ __MATHCALL (conj, (_Mdouble_complex_ __z)); @@ -118,10 +118,10 @@ __MATHCALL (cproj, (_Mdouble_complex_ __z)); /* Decomposing complex values. */ /* Imaginary part of Z. */ -__MATHDECL (_Mdouble_, cimag, (_Mdouble_complex_ __z)); +__MATHDECL (_Mdouble_,cimag, (_Mdouble_complex_ __z)); /* Real part of Z. */ -__MATHDECL (_Mdouble_, creal, (_Mdouble_complex_ __z)); +__MATHDECL (_Mdouble_,creal, (_Mdouble_complex_ __z)); /* Now some optimized versions. GCC has handy notations for these diff --git a/math/libm-test.c b/math/libm-test.c index 8995f85475..05acca2c53 100644 --- a/math/libm-test.c +++ b/math/libm-test.c @@ -40,10 +40,11 @@ /* This program isn't finished yet. It has tests for acos, acosh, asin, asinh, atan, atan2, atanh, - cbrt, ceil, cos, cosh, exp, exp2, expm1, fabs, floor, fpclassify, - frexp, hypot, ldexp, - log, log10, log1p, log2, logb, modf, - pow, sin, sinh, tan, tanh. + cbrt, ceil, copysign, cos, cosh, exp, exp2, expm1, + fabs, fdim, floor, fmin, fmax, fpclassify, + frexp, hypot, ilogb, ldexp, + log, log10, log1p, log2, logb, modf, nextafter, + pow, scalb, scalbn, sin, sinh, sqrt, tan, tanh, trunc. Tests for the other libm-functions will come later. The routines using random variables are still under construction. I don't @@ -70,6 +71,7 @@ # define _GNU_SOURCE #endif +#include <complex.h> #include <math.h> #include <float.h> @@ -612,8 +614,8 @@ cos_test (void) INVALID_EXCEPTION); check_eps ("cos (pi/3) == 0.5", FUNC(cos) (M_PI / 3.0), - 0.5, CHOOSE (0, 1e-15L, 1e-7L)); - check_eps ("cos (pi/2) == 0.5", FUNC(cos) (M_PI_2), + 0.5, CHOOSE (4e-18L, 1e-15L, 1e-7L)); + check_eps ("cos (pi/2) == 0", FUNC(cos) (M_PI_2), 0, CHOOSE (1e-19L, 1e-16L, 1e-7L)); } @@ -638,7 +640,7 @@ exp_test (void) check_isinfp ("exp (+inf) == +inf", FUNC(exp) (plus_infty)); check ("exp (-inf) == 0", FUNC(exp) (minus_infty), 0); - check ("exp (1) == e", FUNC(exp) (1), M_E); + check_eps ("exp (1) == e", FUNC(exp) (1), M_E, CHOOSE (4e-18L, 0, 0)); } @@ -665,7 +667,8 @@ expm1_test (void) check_isinfp ("expm1 (+inf) == +inf", FUNC(expm1) (plus_infty)); check ("expm1 (-inf) == -1", FUNC(expm1) (minus_infty), -1); - check ("expm1 (1) == e-1", FUNC(expm1) (1), M_E - 1.0); + check_eps ("expm1 (1) == e-1", FUNC(expm1) (1), M_E - 1.0, + CHOOSE (4e-18L, 0, 0)); } @@ -776,8 +779,35 @@ fpclassify_test (void) static void +ilogb_test (void) +{ + + /* XXX Are these tests correct? I couldn't find any specification */ +#if 0 + /* the source suggests that the following calls should fail - + but shall we test these special cases or just ignore them? */ + check_isinfp ("ilogb (+inf) == +inf", FUNC(ilogb) (plus_infty)); + check_isinfp ("ilogb (-inf) == +inf", FUNC(ilogb) (minus_infty)); + + check_isinfn_exc ("ilogb (+0) == -inf plus divide-by-zero exception", + FUNC(ilogb) (0), DIVIDE_BY_ZERO_EXCEPTION); + + check_isinfn_exc ("ilogb (-0) == -inf plus divide-by-zero exception", + FUNC(ilogb) (minus_zero), DIVIDE_BY_ZERO_EXCEPTION); +#endif + check ("ilogb (1) == 0", FUNC(ilogb) (1), 0); + check ("ilogb (e) == 1", FUNC(ilogb) (M_E), 1); + check ("ilogb (1024) == 10", FUNC(ilogb) (1024), 10); + check ("ilogb (-2000) == 10", FUNC(ilogb) (-2000), 10); + +} + + +static void ldexp_test (void) { + MATHTYPE x; + check ("ldexp (0, 0) == 0", FUNC(ldexp) (0, 0), 0); check_isinfp ("ldexp (+inf, 1) == +inf", FUNC(ldexp) (plus_infty, 1)); @@ -786,6 +816,10 @@ ldexp_test (void) check ("ldexp (0.8, 4) == 12.8", FUNC(ldexp) (0.8L, 4), 12.8L); check ("ldexp (-0.854375, 5) == -27.34", FUNC(ldexp) (-0.854375L, 5), -27.34L); + + x = random_greater (0.0); + check_ext ("ldexp (x, 0) == x", FUNC(ldexp) (x, 0L), x, x); + } @@ -803,10 +837,12 @@ log_test (void) FUNC(log) (-1), INVALID_EXCEPTION); check_isinfp ("log (+inf) == +inf", FUNC(log) (plus_infty)); - check_eps ("log (e) == 1", FUNC(log) (M_E), 1, CHOOSE (0, 0, 9e-8L)); - check ("log (1/e) == -1", FUNC(log) (1.0 / M_E), -1); + check_eps ("log (e) == 1", FUNC(log) (M_E), 1, CHOOSE (1e-18L, 0, 9e-8L)); + check_eps ("log (1/e) == -1", FUNC(log) (1.0 / M_E), -1, + CHOOSE (2e-18L, 0, 0)); check ("log (2) == M_LN2", FUNC(log) (2), M_LN2); - check ("log (10) == M_LN10", FUNC(log) (10), M_LN10); + check_eps ("log (10) == M_LN10", FUNC(log) (10), M_LN10, + CHOOSE (1e-18L, 0, 0)); } @@ -825,12 +861,15 @@ log10_test (void) check_isinfp ("log10 (+inf) == +inf", FUNC(log10) (plus_infty)); - check ("log10 (0.1) == -1", FUNC(log10) (0.1L), -1); - check ("log10 (10) == 1", FUNC(log10) (10.0), 1); - check ("log10 (100) == 2", FUNC(log10) (100.0), 2); + check_eps ("log10 (0.1) == -1", FUNC(log10) (0.1L), -1, + CHOOSE (1e-18L, 0, 0)); + check_eps ("log10 (10) == 1", FUNC(log10) (10.0), 1, + CHOOSE (1e-18L, 0, 0)); + check_eps ("log10 (100) == 2", FUNC(log10) (100.0), 2, + CHOOSE (1e-18L, 0, 0)); check ("log10 (10000) == 4", FUNC(log10) (10000.0), 4); check_eps ("log10 (e) == M_LOG10E", FUNC(log10) (M_E), M_LOG10E, - CHOOSE (9e-20, 0, 9e-8)); + CHOOSE (1e-18, 0, 9e-8)); } @@ -847,7 +886,8 @@ log1p_test (void) check_isinfp ("log1p (+inf) == +inf", FUNC(log1p) (plus_infty)); - check ("log1p (e-1) == 1", FUNC(log1p) (M_E - 1.0), 1); + check_eps ("log1p (e-1) == 1", FUNC(log1p) (M_E - 1.0), 1, + CHOOSE (1e-18L, 0, 0)); } @@ -934,6 +974,44 @@ modf_test (void) static void +scalb_test (void) +{ + MATHTYPE x; + + check ("scalb (0, 0) == 0", FUNC(scalb) (0, 0), 0); + + check_isinfp ("scalb (+inf, 1) == +inf", FUNC(scalb) (plus_infty, 1)); + check_isinfn ("scalb (-inf, 1) == -inf", FUNC(scalb) (minus_infty, 1)); + check_isnan ("scalb (NaN, 1) == NaN", FUNC(scalb) (nan_value, 1)); + + check ("scalb (0.8, 4) == 12.8", FUNC(scalb) (0.8L, 4), 12.8L); + check ("scalb (-0.854375, 5) == -27.34", FUNC(scalb) (-0.854375L, 5), -27.34L); + + x = random_greater (0.0); + check_ext ("scalb (x, 0) == x", FUNC(scalb) (x, 0L), x, x); +} + + +static void +scalbn_test (void) +{ + MATHTYPE x; + + check ("scalbn (0, 0) == 0", FUNC(scalbn) (0, 0), 0); + + check_isinfp ("scalbn (+inf, 1) == +inf", FUNC(scalbn) (plus_infty, 1)); + check_isinfn ("scalbn (-inf, 1) == -inf", FUNC(scalbn) (minus_infty, 1)); + check_isnan ("scalbn (NaN, 1) == NaN", FUNC(scalbn) (nan_value, 1)); + + check ("scalbn (0.8, 4) == 12.8", FUNC(scalbn) (0.8L, 4), 12.8L); + check ("scalbn (-0.854375, 5) == -27.34", FUNC(scalbn) (-0.854375L, 5), -27.34L); + + x = random_greater (0.0); + check_ext ("scalbn (x, 0) == x", FUNC(scalbn) (x, 0L), x, x); +} + + +static void sin_test (void) { check ("sin (+0) == +0", FUNC(sin) (0), 0); @@ -945,7 +1023,8 @@ sin_test (void) FUNC(sin) (minus_infty), INVALID_EXCEPTION); - check ("sin (pi/6) == 0.5", FUNC(sin) (M_PI / 6.0), 0.5); + check_eps ("sin (pi/6) == 0.5", FUNC(sin) (M_PI / 6.0), 0.5, + CHOOSE (4e-18L, 0, 0)); check ("sin (pi/2) == 1", FUNC(sin) (M_PI_2), 1); } @@ -964,14 +1043,15 @@ sinh_test (void) static void tan_test (void) { - check ("tan (+0) == -0", FUNC(tan) (0), 0); + check ("tan (+0) == +0", FUNC(tan) (0), 0); check ("tan (-0) == -0", FUNC(tan) (minus_zero), minus_zero); check_isnan_exc ("tan (+inf) == NaN plus invalid exception", FUNC(tan) (plus_infty), INVALID_EXCEPTION); check_isnan_exc ("tan (-inf) == NaN plus invalid exception", FUNC(tan) (minus_infty), INVALID_EXCEPTION); - check_eps ("tan (pi/4) == 1", FUNC(tan) (M_PI_4), 1, CHOOSE (0, 1e-15L, 0)); + check_eps ("tan (pi/4) == 1", FUNC(tan) (M_PI_4), 1, + CHOOSE (2e-18L, 1e-15L, 0)); } @@ -1067,15 +1147,15 @@ pow_test (void) check ("pow (-0.9, +inf) == +0", FUNC(pow) (-0.9L, plus_infty), 0); check ("pow (-1e-7, +inf) == +0", FUNC(pow) (-1e-7L, plus_infty), 0); - check ("pow (+1.1, -inf) == +inf", FUNC(pow) (1.1, minus_infty), 0); - check ("pow (+inf, -inf) == +inf", FUNC(pow) (plus_infty, minus_infty), 0); - check ("pow (-1.1, -inf) == +inf", FUNC(pow) (-1.1, minus_infty), 0); - check ("pow (-inf, -inf) == +inf", FUNC(pow) (minus_infty, minus_infty), 0); + check ("pow (+1.1, -inf) == 0", FUNC(pow) (1.1, minus_infty), 0); + check ("pow (+inf, -inf) == 0", FUNC(pow) (plus_infty, minus_infty), 0); + check ("pow (-1.1, -inf) == 0", FUNC(pow) (-1.1, minus_infty), 0); + check ("pow (-inf, -inf) == 0", FUNC(pow) (minus_infty, minus_infty), 0); - check_isinfp ("pow (0.9, -inf) == +0", FUNC(pow) (0.9L, minus_infty)); - check_isinfp ("pow (1e-7, -inf) == +0", FUNC(pow) (1e-7L, minus_infty)); - check_isinfp ("pow (-0.9, -inf) == +0", FUNC(pow) (-0.9L, minus_infty)); - check_isinfp ("pow (-1e-7, -inf) == +0", FUNC(pow) (-1e-7L, minus_infty)); + check_isinfp ("pow (0.9, -inf) == +inf", FUNC(pow) (0.9L, minus_infty)); + check_isinfp ("pow (1e-7, -inf) == +inf", FUNC(pow) (1e-7L, minus_infty)); + check_isinfp ("pow (-0.9, -inf) == +inf", FUNC(pow) (-0.9L, minus_infty)); + check_isinfp ("pow (-1e-7, -inf) == +inf", FUNC(pow) (-1e-7L, minus_infty)); check_isinfp ("pow (+inf, 1e-7) == +inf", FUNC(pow) (plus_infty, 1e-7L)); check_isinfp ("pow (+inf, 1) == +inf", FUNC(pow) (plus_infty, 1)); @@ -1121,11 +1201,11 @@ pow_test (void) check_isnan_exc ("pow (+1, +inf) == NaN", FUNC(pow) (1, plus_infty), INVALID_EXCEPTION); - check_isnan_exc ("pow (-1, +inf) == NaN", FUNC(pow) (1, plus_infty), + check_isnan_exc ("pow (-1, +inf) == NaN", FUNC(pow) (-1, plus_infty), INVALID_EXCEPTION); - check_isnan_exc ("pow (+1, -inf) == NaN", FUNC(pow) (1, plus_infty), + check_isnan_exc ("pow (+1, -inf) == NaN", FUNC(pow) (1, minus_infty), INVALID_EXCEPTION); - check_isnan_exc ("pow (-1, -inf) == NaN", FUNC(pow) (1, plus_infty), + check_isnan_exc ("pow (-1, -inf) == NaN", FUNC(pow) (-1, minus_infty), INVALID_EXCEPTION); check_isnan_exc ("pow (-0.1, 1.1) == NaN", FUNC(pow) (-0.1, 1.1), @@ -1165,7 +1245,7 @@ pow_test (void) check ("pow (-0, 2) == +0", FUNC(pow) (minus_zero, 2), 0); check ("pow (-0, 11.1) == +0", FUNC(pow) (minus_zero, 11.1), 0); - x = random_greater (0.0); + x = random_greater (1.0); check_isinfp_ext ("pow (x, +inf) == +inf for |x| > 1", FUNC(pow) (x, plus_infty), x); @@ -1173,7 +1253,7 @@ pow_test (void) check_ext ("pow (x, +inf) == +0 for |x| < 1", FUNC(pow) (x, plus_infty), 0.0, x); - x = random_greater (0.0); + x = random_greater (1.0); check_ext ("pow (x, -inf) == +0 for |x| > 1", FUNC(pow) (x, minus_infty), 0.0, x); @@ -1202,7 +1282,7 @@ pow_test (void) FUNC(pow) (minus_infty, x), minus_zero, x); x = ((rand () % 1000000) + 1) * -2.0; /* Get random even integer < 0 */ - check_ext ("pow (-inf, y) == 0 for y < 0 and not an odd integer", + check_ext ("pow (-inf, y) == +0 for y < 0 and not an odd integer", FUNC(pow) (minus_infty, x), 0.0, x); x = (rand () % 1000000) * 2.0 + 1; /* Get random odd integer > 0 */ @@ -1372,11 +1452,11 @@ copysign_test (void) minus_zero); /* XXX More correctly we would have to check the sign of the NaN. */ - check_isnan ("copysign (+NaN, 0) = +inf", FUNC(copysign) (nan_value, 0)); - check_isnan ("copysign (+NaN, -0) = -inf", FUNC(copysign) (nan_value, + check_isnan ("copysign (+NaN, 0) = +NaN", FUNC(copysign) (nan_value, 0)); + check_isnan ("copysign (+NaN, -0) = -NaN", FUNC(copysign) (nan_value, minus_zero)); - check_isnan ("copysign (-NaN, 0) = +inf", FUNC(copysign) (-nan_value, 0)); - check_isnan ("copysign (-NaN, -0) = -inf", FUNC(copysign) (-nan_value, + check_isnan ("copysign (-NaN, 0) = +NaN", FUNC(copysign) (-nan_value, 0)); + check_isnan ("copysign (-NaN, -0) = -NaN", FUNC(copysign) (-nan_value, minus_zero)); } @@ -1415,6 +1495,23 @@ trunc_test (void) static void +sqrt_test (void) +{ + MATHTYPE x; + + + /* XXX Tests fuer negative x are missing */ + check ("sqrt (0) == 0", FUNC(sqrt) (0), 0); + check_isnan ("sqrt (NaN) == NaN", FUNC(sqrt) (nan_value)); + check_isinfp ("sqrt (+inf) == +inf", FUNC(sqrt) (plus_infty)); + + x = random_value (0, 10000); + check_ext ("sqrt (x*x) == x", sqrt (x*x), x, x); + check ("sqrt (4) == 2", FUNC(sqrt) (4), 2); +} + + +static void remquo_test (void) { int quo; @@ -1426,11 +1523,11 @@ 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 ("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.125, -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); @@ -1439,6 +1536,40 @@ remquo_test (void) static void +cexp_test (void) +{ + __complex__ MATHTYPE result; + + result = FUNC(cexp) (plus_zero + 1.0i * plus_zero); + check ("real(cexp(0 + 0i)) = 1", __real__ result, 1); + check ("imag(cexp(0 + 0i)) = 0", __imag__ result, 0); + result = FUNC(cexp) (minus_zero + 1.0i * plus_zero); + check ("real(cexp(-0 + 0i)) = 1", __real__ result, 1); + check ("imag(cexp(-0 + 0i)) = 0", __imag__ result, 0); + result = FUNC(cexp) (plus_zero + 1.0i * minus_zero); + check ("real(cexp(0 - 0i)) = 1", __real__ result, 1); + check ("imag(cexp(0 - 0i)) = 0", __imag__ result, 0); + result = FUNC(cexp) (minus_zero + 1.0i * minus_zero); + check ("real(cexp(-0 - 0i)) = 1", __real__ result, 1); + check ("imag(cexp(-0 - 0i)) = 0", __imag__ result, 0); + + result = FUNC(cexp) (plus_infty + 1.0i * plus_zero); + check_isinfp ("real(cexp(+inf + 0i)) = +inf", __real__ result); + check ("imag(cexp(+inf + 0i)) = 0", __imag__ result, 0); + result = FUNC(cexp) (plus_infty + 1.0i * minus_zero); + check_isinfp ("real(cexp(+inf - 0i)) = +inf", __real__ result); + check ("imag(cexp(+inf - 0i)) = 0", __imag__ result, 0); + + result = FUNC(cexp) (minus_infty + 1.0i * plus_zero); + check ("real(cexp(-inf + 0i)) = 0", __real__ result, 0); + check ("imag(cexp(-inf + 0i)) = 0", __imag__ result, 0); + result = FUNC(cexp) (minus_infty + 1.0i * minus_zero); + check ("real(cexp(-inf - 0i)) = 0", __real__ result, 0); + check ("imag(cexp(-inf - 0i)) = 0", __imag__ result, 0); +} + + +static void inverse_func_pair_test (const char *test_name, mathfunc f1, mathfunc inverse, MATHTYPE x, MATHTYPE epsilon) @@ -1461,23 +1592,23 @@ static void inverse_functions (void) { inverse_func_pair_test ("asin(sin(x)) == x", - FUNC(sin), FUNC(asin), 1.0, CHOOSE (0, 0, 1e-7L)); + FUNC(sin), FUNC(asin), 1.0, CHOOSE (2e-18L, 0, 1e-7L)); inverse_func_pair_test ("sin(asin(x)) == x", FUNC(asin), FUNC(sin), 1.0, 0.0); inverse_func_pair_test ("acos(cos(x)) == x", - FUNC(cos), FUNC(acos), 1.0, CHOOSE (0, 1e-15L, 0)); + FUNC(cos), FUNC(acos), 1.0, CHOOSE (4e-18L, 1e-15L, 0)); inverse_func_pair_test ("cos(acos(x)) == x", FUNC(acos), FUNC(cos), 1.0, 0.0); inverse_func_pair_test ("atan(tan(x)) == x", - FUNC(tan), FUNC(atan), 1.0, 0.0); + FUNC(tan), FUNC(atan), 1.0, CHOOSE (2e-18L, 0, 0)); inverse_func_pair_test ("tan(atan(x)) == x", - FUNC(atan), FUNC(tan), 1.0, CHOOSE (0, 1e-15L, 0)); + FUNC(atan), FUNC(tan), 1.0, CHOOSE (2e-18L, 1e-15L, 0)); inverse_func_pair_test ("asinh(sinh(x)) == x", - FUNC(sinh), FUNC(asinh), 1.0, CHOOSE (1e-18L, 0, 0)); + FUNC(sinh), FUNC(asinh), 1.0, CHOOSE (1e-18L, 0, 1e-7)); inverse_func_pair_test ("sinh(asinh(x)) == x", - FUNC(asinh), FUNC(sinh), 1.0, 0.0); + FUNC(asinh), FUNC(sinh), 1.0, CHOOSE (2e-18L, 0, 0)); inverse_func_pair_test ("acosh(cosh(x)) == x", FUNC(cosh), FUNC(acosh), 1.0, CHOOSE (1e-18L, 1e-15L, 0)); @@ -1485,7 +1616,7 @@ inverse_functions (void) FUNC(acosh), FUNC(cosh), 1.0, 0.0); inverse_func_pair_test ("atanh(tanh(x)) == x", - FUNC(tanh), FUNC(atanh), 1.0, CHOOSE (0, 1e-15L, 0)); + FUNC(tanh), FUNC(atanh), 1.0, CHOOSE (1e-18L, 1e-15L, 0)); inverse_func_pair_test ("tanh(atanh(x)) == x", FUNC(atanh), FUNC(tanh), 1.0, 0.0); @@ -1556,17 +1687,17 @@ identities3_test (MATHTYPE x, MATHTYPE epsilon) static void identities (void) { - identities1_test (0.2L, CHOOSE (1e-19L, 0, 0)); - identities1_test (0.9L, 0); + identities1_test (0.2L, CHOOSE (1e-18L, 0, 2e-7)); + identities1_test (0.9L, CHOOSE (1e-18L, 0, 0)); identities1_test (0, 0); - identities1_test (-1, CHOOSE (0, 0, 1e-7)); + identities1_test (-1, CHOOSE (1e-18L, 0, 1e-7)); identities2_test (0.2L, CHOOSE (0, 1e-16, 0)); identities2_test (0.9L, CHOOSE (0, 1e-15, 0)); identities2_test (0, 0); identities2_test (-1, CHOOSE (1e-18L, 1e-15, 0)); - identities3_test (0.2L, CHOOSE (0, 0, 1e-7)); + identities3_test (0.2L, CHOOSE (1e-18L, 0, 1e-7)); identities3_test (0.9L, CHOOSE (1e-18L, 1e-15, 1e-6)); identities3_test (0, CHOOSE (0, 0, 1e-6)); identities3_test (-1, CHOOSE (1e-18L, 0, 1e-6)); @@ -1592,15 +1723,15 @@ basic_tests (void) this_does_nothing (); - check_isinfp ("isinf (1/0) == +1", Inf_var); - check_isinfn ("isinf (-1/0) == -1", -Inf_var); + check_isinfp ("isinf (inf) == +1", Inf_var); + check_isinfn ("isinf (-inf) == -1", -Inf_var); check_bool ("!isinf (1)", !(FUNC(isinf) (one_var))); - check_bool ("!isinf (0/0)", !(FUNC(isinf) (NaN_var))); + check_bool ("!isinf (NaN)", !(FUNC(isinf) (NaN_var))); - check_isnan ("isnan (0/0)", NaN_var); - check_isnan ("isnan (-(0/0))", -NaN_var); + check_isnan ("isnan (NaN)", NaN_var); + check_isnan ("isnan (-NaN)", -NaN_var); check_bool ("!isnan (1)", !(FUNC(isnan) (one_var))); - check_bool ("!isnan (0/0)", !(FUNC(isnan) (Inf_var))); + check_bool ("!isnan (inf)", !(FUNC(isnan) (Inf_var))); check_bool ("inf == inf", Inf_var == Inf_var); check_bool ("-inf == -inf", -Inf_var == -Inf_var); @@ -1647,10 +1778,11 @@ basic_tests (void) static void initialize (void) { + fpstack_test ("*init*"); plus_zero = 0.0; nan_value = plus_zero / plus_zero; /* Suppress GCC warning */ - minus_zero = copysign (0.0, -1.0); + minus_zero = FUNC (copysign) (0.0, -1.0); plus_infty = CHOOSE (HUGE_VALL, HUGE_VAL, HUGE_VALF); minus_infty = -CHOOSE (HUGE_VALL, HUGE_VAL, HUGE_VALF); @@ -1677,7 +1809,7 @@ parse_options (int argc, char *argv[]) while (1) { - c = getopt_long (argc, argv, "vs", + c = getopt_long (argc, argv, "v::s", long_options, &option_index); /* Detect the end of the options. */ @@ -1727,6 +1859,7 @@ main (int argc, char *argv[]) #endif expm1_test (); frexp_test (); + ilogb_test (); ldexp_test (); log_test (); log10_test (); @@ -1736,6 +1869,8 @@ main (int argc, char *argv[]) #endif logb_test (); modf_test (); + scalb_test (); + scalbn_test (); sin_test (); sinh_test (); tan_test (); @@ -1750,11 +1885,13 @@ main (int argc, char *argv[]) fmax_test (); nextafter_test (); copysign_test (); + sqrt_test (); trunc_test (); #if 0 /* XXX I'm not sure what is the correct result. */ remquo_test (); #endif + cexp_test (); identities (); inverse_functions (); diff --git a/math/math.h b/math/math.h index 89c1cfa9bb..4d88f06673 100644 --- a/math/math.h +++ b/math/math.h @@ -48,6 +48,11 @@ __BEGIN_DECLS #define __MATHDECL(type, function,suffix, args) \ __MATHDECL_1(type, function,suffix, args); \ __MATHDECL_1(type, __CONCAT(__,function),suffix, args) +#define __MATHCALLX(function,suffix, args, attrib) \ + __MATHDECLX (_Mdouble_,function,suffix, args, attrib) +#define __MATHDECLX(type, function,suffix, args, attrib) \ + __MATHDECL_1(type, function,suffix, args) __attribute__ (attrib); \ + __MATHDECL_1(type, __CONCAT(__,function),suffix, args) __attribute__ (attrib) #define __MATHDECL_1(type, function,suffix, args) \ extern type __MATH_PRECNAME(function,suffix) args diff --git a/math/mathcalls.h b/math/mathcalls.h index d529c1a8e2..d566020aee 100644 --- a/math/mathcalls.h +++ b/math/mathcalls.h @@ -147,7 +147,7 @@ __MATHCALL (cbrt,, (_Mdouble_ __x)); __MATHCALL (ceil,, (_Mdouble_ __x)); /* Absolute value of X. */ -__MATHCALL (fabs,, (_Mdouble_ __x)); +__MATHCALLX (fabs,, (_Mdouble_ __x), (__const__)); /* Largest integer not greater than X. */ __MATHCALL (floor,, (_Mdouble_ __x)); @@ -159,10 +159,10 @@ __MATHCALL (fmod,, (_Mdouble_ __x, _Mdouble_ __y)); #ifdef __USE_MISC /* Return 0 if VALUE is finite or NaN, +1 if it is +Infinity, -1 if it is -Infinity. */ -__MATHDECL (int,isinf,, (_Mdouble_ __value)); +__MATHDECLX (int,isinf,, (_Mdouble_ __value), (__const__)); /* Return nonzero if VALUE is finite and not NaN. */ -__MATHDECL (int,finite,, (_Mdouble_ __value)); +__MATHDECLX (int,finite,, (_Mdouble_ __value), (__const__)); /* Deal with an infinite or NaN result. If ERROR is ERANGE, result is +Inf; @@ -170,7 +170,7 @@ __MATHDECL (int,finite,, (_Mdouble_ __value)); otherwise result is NaN. This will set `errno' to either ERANGE or EDOM, and may return an infinity or NaN, or may do something else. */ -__MATHCALL (infnan,, (int __error)); +__MATHCALLX (infnan,, (int __error), (__const__)); /* Return X times (2 to the Nth power). */ __MATHCALL (scalbn,, (_Mdouble_ __x, int __n)); @@ -185,18 +185,18 @@ __MATHCALL (significand,, (_Mdouble_ __x)); #if defined __USE_MISC || defined __USE_ISOC9X /* Return X with its signed changed to Y's. */ -__MATHCALL (copysign,, (_Mdouble_ __x, _Mdouble_ __y)); +__MATHCALLX (copysign,, (_Mdouble_ __x, _Mdouble_ __y), (__const__)); #endif #ifdef __USE_ISOC9X /* Return representation of NaN for double type. */ -__MATHCALL (nan,, (__const char *__tagb)); +__MATHCALLX (nan,, (__const char *__tagb), (__const__)); #endif #if defined __USE_MISC || defined __USE_XOPEN /* Return nonzero if VALUE is not a number. */ -__MATHDECL (int,isnan,, (_Mdouble_ __value)); +__MATHDECLX (int,isnan,, (_Mdouble_ __value), (__const__)); /* Return the binary exponent of X, which must be nonzero. */ __MATHDECL (int,ilogb,, (_Mdouble_ __x)); @@ -235,7 +235,7 @@ __MATHCALL (lgamma,_r, (_Mdouble_, int *)); __MATHCALL (rint,, (_Mdouble_ __x)); /* Return X + epsilon if X < Y, X - epsilon if X > Y. */ -__MATHCALL (nextafter,, (_Mdouble_ __x, _Mdouble_ __y)); +__MATHCALLX (nextafter,, (_Mdouble_ __x, _Mdouble_ __y), (__const__)); /* Return the remainder of integer divison X / Y with infinite precision. */ __MATHCALL (remainder,, (_Mdouble_ __x, _Mdouble_ __y)); @@ -257,7 +257,7 @@ __MATHCALL (round,, (_Mdouble_ __x)); /* Round X to the integral value in floating-point format nearest but not larger in magnitude. */ -__MATHCALL (trunc,, (_Mdouble_ __x)); +__MATHCALLX (trunc,, (_Mdouble_ __x), (__const__)); /* Compute remainder of X and Y and put in *QUO a value with sign of x/y and magnitude congruent `mod 2^n' to the magnitude of the integral @@ -276,8 +276,10 @@ __MATHCALL (fmin,, (_Mdouble_ __x, _Mdouble_ __y)); /* Classify given number. */ -__MATHDECL_1 (int, __fpclassify,, (_Mdouble_ __value)); +__MATHDECL_1 (int, __fpclassify,, (_Mdouble_ __value)) + __attribute__ ((__const__)); /* Test for negative number. */ -__MATHDECL_1 (int, __signbit,, (_Mdouble_ __value)); +__MATHDECL_1 (int, __signbit,, (_Mdouble_ __value)) + __attribute__ ((__const__)); #endif /* Use ISO C 9X. */ |