aboutsummaryrefslogtreecommitdiff
path: root/math
diff options
context:
space:
mode:
Diffstat (limited to 'math')
-rw-r--r--math/Makefile11
-rw-r--r--math/cmathcalls.h8
-rw-r--r--math/libm-test.c253
-rw-r--r--math/math.h5
-rw-r--r--math/mathcalls.h24
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. */