Update.

1997-03-25 02:15  Ulrich Drepper  <drepper@cygnus.com>

	* gmon/gmon.c: Optimize a bit by using more sets of records to
	write in a single writev call.

	* math/math.h: Add definitions of macros __MATHCALLX and __MATHDECLX.
	* math/mathcalls.h: Use __MATHCALLX for fabs, infnan, copysign,
	nan, isnan, nextafter, trunc, __fpclassify and signbit to mark as
	`const'.
	Use __MATHDECLX for isinf and finite.

	* sysdeps/generic/setenv.c [_LIBC]: Define __clearenv and make
	clearenv a weak alias.

	Implement complex exponential function.
	* sysdeps/libm-ieee754/s_cexp.c: New file.
	* sysdeps/libm-ieee754/s_cexpf.c: New file.
	* sysdeps/libm-ieee754/s_cexpl.c: New file.

	* sysdeps/libm-ieee754/s_nan.c: Define function as __nan and make
	nan a weak alias.
	* sysdeps/libm-ieee754/s_nanf.c: Likewise for nanf.
	* sysdeps/libm-ieee754/s_nanl.c: Likewise for nanl.

	* sysdeps/unix/sysv/linux/iovec.h: Don't use kernel header because
	of type clashes.  Add all definitions here.

	* sysdeps/unix/sysv/linux/shmat.c: Likewise.  Correct types according
	to XPG4.2.
	* sysdeps/unix/sysv/linux/shmdt.c: Likewise.
	* sysdeps/unix/sysv/linux/msgrcv.c: Likewise.

	* sysvipc/sys/shm.h (shmat, shmdt): Correct types.

	* sysdeps/unix/sysv/linux/sys/kd.h: Define _LINUX_TYPES_H to avoid
	use of kernel types.

1997-03-25 00:00  Ulrich Drepper  <drepper@cygnus.com>

	* sysdeps/unix/sysv/linux/netinet/ip.h (struct ip_timestamp):
	Correct typos.  Reported by a sun <asun@zoology.washington.edu>.

1997-03-20 21:58  Andreas Schwab  <schwab@issan.informatik.uni-dortmund.de>

	* sysdeps/libm-ieee754/s_asinhl.c: Fix sign of result.

1997-03-20 16:20  Andreas Schwab  <schwab@issan.informatik.uni-dortmund.de>

	* sysdeps/libm-ieee754/e_atan2l.c: Fix typo.

1997-03-20 14:23  Andreas Schwab  <schwab@issan.informatik.uni-dortmund.de>

	* sysdeps/m68k/fpu/__math.h (__logb, logb): Don't define.
	* sysdeps/m68k/fpu/s_logb.c: Removed.
	* sysdeps/m68k/fpu/s_logbf.c: Removed.
	* sysdeps/m68k/fpu/s_logbl.c: Removed.

	* sysdeps/m68k/fpu/__math.h (__ieee754_atan2, __ieee754_pow):
	Don't define here.
	* sysdeps/m68k/fpu/e_atan2.c: Rewritten.
	* sysdeps/m68k/fpu/e_pow.c: Likewise.
	* sysdeps/m68k/fpu/e_atan2f.c: Based on e_atan2.c.
	* sysdeps/m68k/fpu/e_atan2l.c: Likewise.
	* sysdeps/m68k/fpu/e_powf.c: Based on e_pow.c.
	* sysdeps/m68k/fpu/e_powl.c: Likewise.

	* sysdeps/m68k/fpu/s_log2.c: New file.
	* sysdeps/m68k/fpu/s_log2f.c: New file.
	* sysdeps/m68k/fpu/s_log2l.c: New file.
	* sysdeps/m68k/fpu/s_exp2.c: New file.
	* sysdeps/m68k/fpu/s_exp2f.c: New file.
	* sysdeps/m68k/fpu/s_exp2l.c: New file.

1997-03-20 14:46  Andreas Schwab  <schwab@issan.informatik.uni-dortmund.de>

	* Makeconfig (all): Make sure this is always the default goal.

1997-03-20 11:09  Andreas Schwab  <schwab@issan.informatik.uni-dortmund.de>

	* math/libm-test.c: Increase epsilon in many places.  Fix many
	typos.  Allow optinal argument also for short option.

1997-03-20 11:09  Andreas Schwab  <schwab@issan.informatik.uni-dortmund.de>

	* math/Makefile ($(objpfx)$(tests)): Link against libm.

1997-03-24 23:14  Ulrich Drepper  <drepper@cygnus.com>

	* sysdeps/libm-ieee754/s_fpclassifyl.c: Correct recognition of
	denormalized numbers.

	* sysdeps/i386/huge_val.h: Remove references to byte order macros.
	Don't include <endian.h>.

1997-03-19 15:18  Andreas Schwab  <schwab@issan.informatik.uni-dortmund.de>
	* sysdeps/m68k/huge_val.h: Remove references to byte order macros.
	Don't include <endian.h>.

1997-03-24 23:09  Ulrich Drepper  <drepper@cygnus.com>

	* inet/rcmd.c (iruserok): Use access instead of euidaccess.

1997-03-15 18:08  Andreas Schwab  <schwab@issan.informatik.uni-dortmund.de>

	* math/cmathcalls.h: Remove whitespace before function name in use
	of __MATHDECL macro, to make it compilable with a traditional
	preprocessor.

1997-03-24 15:31  Ulrich Drepper  <drepper@cygnus.com>

	* configure.in: Use AC_PROG_CC instead of AC_PROG_TOOL to find
	compiler.

1997-03-24 02:34  Ulrich Drepper  <drepper@cygnus.com>

	* sysdeps/libm-ieee754/s_finitel.c (__finitel): Shift return value
	by 31 positions to get 0/1 result.
	Patch by Joe Keane <jgk@jgk.org>.

1997-03-23 12:15  H.J. Lu  <hjl@gnu.ai.mit.edu>

	* posix/getopt.c (__getopt_nonoption_flags): Make it extern
	to prevent from ld linking in getopt.o even if there is another
	incompatible one.

	* posix/getopt_init.c (__getopt_nonoption_flags): Remove extern.

1997-03-23 23:30   Thorsten Kukuk  <kukuk@vt.uni-paderborn.de>

	* nis/nis_call.c (__do_niscall): Print message if cold start file
	does not exist.
	* nis/nis_file.c: Don't print error messages.
	* nis/nis_local_name.c (nis_local_host): Fix pointer errors.
	* nis/rpcsvc/ypclnt.h: Fix copyright and prototypes.
	* nis/rpcsvc/nis.h: Likewise.
	* nis/ypclnt.c: Fix prototypes.

1997-03-24 01:36  Ulrich Drepper  <drepper@cygnus.com>

	* sysdeps/libm-i387/e_scalb.S: Pop additional result before
	returning.
	* sysdeps/libm-i387/e_scalbf.S: Likewise.
	* sysdeps/libm-i387/e_scalbl.S: Likewise.
	Reported by Andreas Jaeger <aj@arthur.pfalz.de>.

	* elf/rtld.c (dl_main): Set main_map->l_opencount to 1 also if
	dynamic linker was called implicitly by the kernel.
	Reported by Eric Youngdale <eric@andante.jic.com>.

	* math/Makefile (CFLAGS-test-float.c, CFLAGS-test-double.c,
	CFLAGS-test-longdouble.c): New variables.  Set to -fno-inline to
	prevent clever optimizations which corrupt the tests.

1997-03-23 21:33  Andreas Jaeger  <aj@arthur.pfalz.de>

	* math/libm-test.c (scalb_test): New function.
	(sqrt_test): New function.
	(scalbn_test): New function.
	(ilogb_test): New function.
	(main): Added calls for new test functions.
	(ldexp_test): Add another test for ldexp(x,0).

1997-03-23 12:35  Andreas Jaeger  <aj@arthur.pfalz.de>

	* math/libm-test.c (remquo_test): Correct messages so that they
	match the tests.
	(copysign_test): Likewise.

1997-03-23 16:28  Ulrich Drepper  <drepper@cygnus.com>

	* stdio-common/Makefile (routines): Add printf_size.

	* stdio-common/printf.h: Add declarations for printf_size and
	printf_size_info.

	* stdio-common/printf-parse.h (__printf_arginfo_table): Correct
	declaration.
	(parse_one_spec): Test whether __printf_function_table is not NULL
	before using registered handlers and don't test
	__printf_arginfo_table.  Update nargs also when handler is
	registered.

	* stdio-common/vfprintf.c (vfprintf): Count number of specifiers
	processed in fast loop.

	* stdio-common/printf_size: New file.

1997-03-22 04:53  Ulgmon_out_readrich Drepper  <drepper@cygnus.com>

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.  */