summaryrefslogtreecommitdiff
path: root/math
diff options
context:
space:
mode:
Diffstat (limited to 'math')
-rw-r--r--math/Makefile3
-rw-r--r--math/libm-test.c61
-rw-r--r--math/math.h4
-rw-r--r--math/tgmath.h76
4 files changed, 93 insertions, 51 deletions
diff --git a/math/Makefile b/math/Makefile
index d52de78c3d..2be1718d32 100644
--- a/math/Makefile
+++ b/math/Makefile
@@ -86,6 +86,9 @@ test-longdouble-yes = test-ldouble test-ildoubl
CFLAGS-test-float.c = -fno-inline -ffloat-store
CFLAGS-test-double.c = -fno-inline -ffloat-store
CFLAGS-test-ldouble.c = -fno-inline -ffloat-store
+CFLAGS-test-ifloat.c = -U__LIBC_INTERNAL_MATH_INLINES
+CFLAGS-test-idouble.c = -U__LIBC_INTERNAL_MATH_INLINES
+CFLAGS-test-ildoubl.c = -U__LIBC_INTERNAL_MATH_INLINES
LDLIBS-test-ifloat = math/libm
LDLIBS-test-idouble = math/libm
LDLIBS-test-ildoubl = math/libm
diff --git a/math/libm-test.c b/math/libm-test.c
index a1050ba0aa..1b0b163e99 100644
--- a/math/libm-test.c
+++ b/math/libm-test.c
@@ -844,8 +844,10 @@ acos_test (void)
check ("acos (1) == 0", FUNC(acos) (1), 0);
check ("acos (-1) == pi", FUNC(acos) (-1), M_PI);
- check ("acos (0.5) == pi/3", FUNC(acos) (0.5), M_PI_6 * 2.0);
- check ("acos (-0.5) == 2*pi/3", FUNC(acos) (-0.5), M_PI_6 * 4.0);
+ check_eps ("acos (0.5) == pi/3", FUNC(acos) (0.5), M_PI_6 * 2.0,
+ CHOOSE (1e-18, 0, 0));
+ check_eps ("acos (-0.5) == 2*pi/3", FUNC(acos) (-0.5), M_PI_6 * 4.0,
+ CHOOSE (1e-17, 0, 0));
check_eps ("acos (0.7) == 0.795398830...", FUNC(acos) (0.7),
0.7953988301841435554L, CHOOSE(7e-17L, 0, 0));
@@ -927,8 +929,10 @@ atan_test (void)
check ("atan (+inf) == pi/2", FUNC(atan) (plus_infty), M_PI_2);
check ("atan (-inf) == -pi/2", FUNC(atan) (minus_infty), -M_PI_2);
- check ("atan (1) == pi/4", FUNC(atan) (1), M_PI_4);
- check ("atan (-1) == -pi/4", FUNC(atan) (1), M_PI_4);
+ check_eps ("atan (1) == pi/4", FUNC(atan) (1), M_PI_4,
+ CHOOSE (1e-18, 0, 0));
+ check_eps ("atan (-1) == -pi/4", FUNC(atan) (1), M_PI_4,
+ CHOOSE (1e-18, 0, 0));
check_eps ("atan (0.7) == 0.610725964...", FUNC(atan) (0.7),
0.6107259643892086165L, CHOOSE(3e-17L, 0, 0));
@@ -1008,6 +1012,11 @@ atan2_test (void)
FUNC(atan2) (minus_infty, minus_infty), -3 * M_PI_4);
/* FIXME: Add some specific tests */
+ check_eps ("atan2 (0.7,1) == 0.61072...", FUNC(atan2) (0.7,1),
+ 0.6107259643892086165L, CHOOSE(3e-17L, 0, 0));
+ check_eps ("atan2 (0.4,0.0003) == 1.57004...", FUNC(atan2) (0.4, 0.0003),
+ 1.5700463269355215718L, CHOOSE(2e-19L, 0, 0));
+
}
@@ -1168,8 +1177,10 @@ exp_test (void)
#endif
check_eps ("exp (1) == e", FUNC(exp) (1), M_E, CHOOSE (4e-18L, 5e-16, 0));
- check ("exp (2) == e^2", FUNC(exp) (2), M_E * M_E);
- check ("exp (3) == e^3", FUNC(exp) (3), M_E * M_E * M_E);
+ check_eps ("exp (2) == e^2", FUNC(exp) (2), M_E * M_E,
+ CHOOSE (1e-18, 0, 0));
+ check_eps ("exp (3) == e^3", FUNC(exp) (3), M_E * M_E * M_E,
+ CHOOSE (1.5e-17, 0, 0));
check_eps ("exp (0.7) == 2.0137527074...", FUNC(exp) (0.7),
2.0137527074704765216L, CHOOSE(9e-17L, 0, 0));
}
@@ -1211,6 +1222,9 @@ expm1_test (void)
check_eps ("expm1 (1) == e-1", FUNC(expm1) (1), M_E - 1.0,
CHOOSE (4e-18L, 0, 2e-7));
+
+ check_eps ("expm1 (0.7) == 1.01375...", FUNC(expm1) (0.7),
+ 1.0137527074704765216L, CHOOSE(9e-17L, 0, 0));
}
@@ -1438,6 +1452,10 @@ gamma_test (void)
check ("gamma (1) == 1", FUNC(gamma) (1), 1);
check ("gamma (4) == 6", FUNC(gamma) (4), 6);
+ check_eps ("gamma (0.7) == 1.29805...", FUNC(gamma) (0.7),
+ 1.29805533264755778568L, CHOOSE(0, 3e-16, 2e-7));
+ check ("gamma (1.2) == 0.91816...", FUNC(gamma) (1.2), 0.91816874239976061064L);
+
_LIB_VERSION = save_lib_version;
}
@@ -1480,6 +1498,16 @@ lgamma_test (void)
check_int ("lgamma (-0.5) sets signgam to -1", signgam, -1);
+ signgam = 0;
+ check_eps ("lgamma (0.7) == 0.26086...", FUNC(lgamma) (0.7),
+ 0.26086724653166651439L, CHOOSE(0, 6e-17, 3e-8));
+ check_int ("lgamma (0.7) sets signgam to 1", signgam, 1);
+
+ signgam = 0;
+ check_eps ("lgamma (1.2) == -0.08537...", FUNC(lgamma) (1.2),
+ -0.853740900033158497197e-1L, CHOOSE(0, 2e-17, 2e-8));
+ check_int ("lgamma (1.2) sets signgam to 1", signgam, 1);
+
}
@@ -1595,6 +1623,8 @@ log1p_test (void)
check_eps ("log1p (e-1) == 1", FUNC(log1p) (M_E - 1.0), 1,
CHOOSE (1e-18L, 0, 6e-8));
+ check_eps ("log1p (-0.3) == -0.35667...", FUNC(log1p) (-0.3),
+ -0.35667494393873237891L, CHOOSE(2e-17L, 6e-17, 3e-8));
}
@@ -1954,6 +1984,9 @@ hypot_test (void)
check ("hypot (x,0) == fabs (x)", FUNC(hypot) (1.0L, 0), 1.0L);
check ("hypot (x,0) == fabs (x)", FUNC(hypot) (-5.7e7L, 0), 5.7e7L);
check ("hypot (x,0) == fabs (x)", FUNC(hypot) (5.7e7L, 0), 5.7e7L);
+
+ check_eps ("hypot (0.7,1.2) == 1.38924...", FUNC(hypot) (0.7, 1.2),
+ 1.3892443989449804508L, CHOOSE(7e-17L, 3e-16, 0));
}
@@ -2146,6 +2179,9 @@ pow_test (void)
x = ((rand () % 1000000) + 1) * 2.0; /* Get random even integer > 1 */
check_ext ("pow (-0, y) == +0 for y > 0 and not an odd integer",
FUNC(pow) (minus_zero, x), 0.0, x);
+
+ check_eps ("pow (0.7, 1.2) == 0.65180...", FUNC(pow) (0.7, 1.2),
+ 0.65180494056638638188L, CHOOSE(4e-17L, 0, 0));
}
@@ -4541,7 +4577,7 @@ ctanh_test (void)
result = FUNC(ctanh) (BUILD_COMPLEX (0, M_PI_4));
check ("real(ctanh (0 + i pi/4)) == 0", __real__ result, 0);
check_eps ("imag(ctanh (0 + i pi/4)) == 1", __imag__ result, 1,
- CHOOSE (0, 0, 2e-7));
+ CHOOSE (0, 2e-16, 2e-7));
result = FUNC(ctanh) (BUILD_COMPLEX (0.7, 1.2));
check_eps ("real(ctanh(0.7 + i 1.2)) == 1.34721...", __real__ result,
@@ -5086,15 +5122,16 @@ cpow_test (void)
check ("imag(cpow (2 + i0), (10 + i0)) == 0", __imag__ result, 0);
result = FUNC (cpow) (BUILD_COMPLEX (M_E, 0), BUILD_COMPLEX (0, 2*M_PI));
- check ("real(cpow (e + i0), (0 + i 2*PI)) == 1", __real__ result, 1);
+ check_eps ("real(cpow (e + i0), (0 + i 2*PI)) == 1", __real__ result, 1,
+ CHOOSE (0, 0, 6e-8));
check_eps ("imag(cpow (e + i0), (0 + i 2*PI)) == 0", __imag__ result, 0,
- CHOOSE (1e-18L, 3e-16, 4e-7));
+ CHOOSE (3e-18L, 3e-16, 4e-7));
result = FUNC (cpow) (BUILD_COMPLEX (2, 3), BUILD_COMPLEX (4, 0));
check_eps ("real(cpow (2 + i3), (4 + i0)) == -119", __real__ result, -119,
- CHOOSE (2e-17L, 2e-14, 4e-5));
+ CHOOSE (9e-16L, 2e-14, 4e-5));
check_eps ("imag(cpow (2 + i3), (4 + i0)) == -120", __imag__ result, -120,
- CHOOSE (4e-17L, 0, 8e-6));
+ CHOOSE (1e-15L, 0, 5e-5));
}
@@ -5137,6 +5174,8 @@ cabs_test (void)
check ("cabs (x,0) == fabs (x)", FUNC(cabs) (BUILD_COMPLEX(5.7e7L, 0)),
5.7e7L);
+ check_eps ("cabs (0.7 + i 1.2) == 1.38924...", FUNC(cabs) (BUILD_COMPLEX(0.7, 1.2)),
+ 1.3892443989449804508L, CHOOSE(7e-17L, 3e-16, 0));
}
diff --git a/math/math.h b/math/math.h
index 0aedaf1d56..ae83262338 100644
--- a/math/math.h
+++ b/math/math.h
@@ -262,7 +262,7 @@ extern int matherr __P ((struct exception *__exc));
#endif /* SVID */
-#ifdef __USE_BSD
+#if defined __USE_BSD || defined __USE_UNIX98
/* Some useful constants. */
# define M_E _Mldbl(2.7182818284590452354) /* e */
@@ -292,7 +292,7 @@ extern int matherr __P ((struct exception *__exc));
Please note we define the macro even if the constants are not defined.
This helps us to use the macros in other places. */
-#if __STDC__ - 0 || __GNUC__ - 0
+#if (__STDC__ - 0 || __GNUC__ - 0) && defined __USE_GNU
# define _Mldbl(x) x##L
#else /* Traditional C. */
# define _Mldbl(x) x
diff --git a/math/tgmath.h b/math/tgmath.h
index b0ce202d35..5880e666d5 100644
--- a/math/tgmath.h
+++ b/math/tgmath.h
@@ -40,70 +40,70 @@
only defined on real valued parameters and those which are defined
for complex functions as well. */
# define __TGMATH_UNARY_REAL_ONLY(Val, Fct) \
- (__extension__ (sizeof (__real__ (Val)) == sizeof (long double) \
- ? Fct##l (Val) \
- : (sizeof (__real__ (Val)) == sizeof (double) \
- ? Fct (Val) \
+ (__extension__ (sizeof (__real__ (Val)) == sizeof (double) \
+ ? Fct (Val) \
+ : (sizeof (__real__ (Val)) == sizeof (long double) \
+ ? Fct##l (Val) \
: Fct##f (Val))))
# define __TGMATH_BINARY_FIRST_REAL_ONLY(Val1, Val2, Fct) \
- (__extension__ (sizeof (__real__ (Val1)) == sizeof (long double) \
- ? Fct##l (Val1, Val2) \
- : (sizeof (__real__ (Val1)) == sizeof (double) \
- ? Fct (Val1, Val2) \
+ (__extension__ (sizeof (__real__ (Val1)) == sizeof (double) \
+ ? Fct (Val1, Val2) \
+ : (sizeof (__real__ (Val1)) == sizeof (long double) \
+ ? Fct##l (Val1, Val2) \
: Fct##f (Val1, Val2))))
# define __TGMATH_BINARY_REAL_ONLY(Val1, Val2, Fct) \
- (__extension__ (sizeof (Val1) == sizeof (long double) \
- || sizeof (Val2) == sizeof (long double) \
- ? Fct##l (Val1, Val2) \
- : (sizeof (Val1) == sizeof (double) \
- || sizeof (Val2) == sizeof (double) \
- ? Fct (Val1, Val2) \
+ (__extension__ (sizeof (Val1) == sizeof (double) \
+ || sizeof (Val2) == sizeof (double) \
+ ? Fct (Val1, Val2) \
+ : (sizeof (Val1) == sizeof (long double) \
+ || sizeof (Val2) == sizeof (long double) \
+ ? Fct##l (Val1, Val2) \
: Fct##f (Val1, Val2))))
# define __TGMATH_TERNARY_FIRST_SECOND_REAL_ONLY(Val1, Val2, Val3, Fct) \
- (__extension__ (sizeof (Val1) == sizeof (long double) \
- || sizeof (Val2) == sizeof (long double) \
- ? Fct##l (Val1, Val2, Val3) \
- : (sizeof (Val1) == sizeof (double) \
- || sizeof (Val2) == sizeof (double) \
- ? Fct (Val1, Val2, Val3) \
+ (__extension__ (sizeof (Val1) == sizeof (double) \
+ || sizeof (Val2) == sizeof (double) \
+ ? Fct (Val1, Val2, Val3) \
+ : (sizeof (Val1) == sizeof (long double) \
+ || sizeof (Val2) == sizeof (long double) \
+ ? Fct##l (Val1, Val2, Val3) \
: Fct##f (Val1, Val2, Val3))))
# define __TGMATH_UNARY_REAL_IMAG(Val, Fct, Cfct) \
- (__extension__ (sizeof (__real__ (Val)) == sizeof (long double) \
+ (__extension__ (sizeof (__real__ (Val)) == sizeof (double) \
? (sizeof (__real__ (Val)) == sizeof (Val) \
- ? Fct##l (Val) \
- : Cfct##l (Val)) \
- : (sizeof (__real__ (Val)) == sizeof (double) \
+ ? Fct (Val) \
+ : Cfct (Val)) \
+ : (sizeof (__real__ (Val)) == sizeof (long double) \
? (sizeof (__real__ (Val)) == sizeof (Val) \
- ? Fct (Val) \
- : Cfct (Val)) \
+ ? Fct##l (Val) \
+ : Cfct##l (Val)) \
: (sizeof (__real__ (Val)) == sizeof (Val) \
? Fct##f (Val) \
: Cfct##f (Val)))))
# define __TGMATH_UNARY_IMAG_ONLY(Val, Fct) \
- (__extension__ (sizeof (Val) == sizeof (__complex__ long double) \
- ? Fct##l (Val) \
- : (sizeof (Val) == sizeof (__complex__ double) \
- ? Fct (Val) \
+ (__extension__ (sizeof (Val) == sizeof (__complex__ double) \
+ ? Fct (Val) \
+ : (sizeof (Val) == sizeof (__complex__ long double) \
+ ? Fct##l (Val) \
: Fct##f (Val))))
# define __TGMATH_BINARY_REAL_IMAG(Val1, Val2, Fct, Cfct) \
- (__extension__ (sizeof (__real__ (Val1)) == sizeof (long double) \
- || sizeof (__real__ (Val2)) == sizeof (long double) \
+ (__extension__ (sizeof (__real__ (Val1)) == sizeof (double) \
+ || sizeof (__real__ (Val2)) == sizeof (double) \
? (sizeof (__real__ (Val1)) == sizeof (Val1) \
&& sizeof (__real__ (Val2)) == sizeof (Val2) \
- ? Fct##l (Val1, Val2) \
- : Cfct##l (Val1, Val2)) \
- : (sizeof (__real__ (Val1)) == sizeof (double) \
- || sizeof (__real__ (Val2)) == sizeof (double) \
+ ? Fct (Val1, Val2) \
+ : Cfct (Val1, Val2)) \
+ : (sizeof (__real__ (Val1)) == sizeof (long double) \
+ || sizeof (__real__ (Val2)) == sizeof (long double) \
? (sizeof (__real__ (Val1)) == sizeof (Val1) \
&& sizeof (__real__ (Val2)) == sizeof (Val2) \
- ? Fct (Val1, Val2) \
- : Cfct (Val1, Val2)) \
+ ? Fct##l (Val1, Val2) \
+ : Cfct##l (Val1, Val2)) \
: (sizeof (__real__ (Val1)) == sizeof (Val1) \
&& sizeof (__real__ (Val2)) == sizeof (Val2) \
? Fct##f (Val1, Val2) \
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-03 08:56:41 +0000