From fe0ec73edb48eff3785f29ddbac75cae5f8b361b Mon Sep 17 00:00:00 2001 From: Ulrich Drepper Date: Thu, 13 Nov 1997 00:21:19 +0000 Subject: Update. 1997-11-13 01:07 Ulrich Drepper * manual/arith.texi: Update documentation according to most recent ISO C 9X draft. Document fma, fdim, fmin, and fmax. * manual/math.texi: Allow multiple defitino of mul etc. * math/complex.h (I): Define using _Complex_U not _Imaginary_I. * math/libm-test.c: Add tests for fma. * math/math.h: Describe DECIMAL_DIG macro. Pretty print. * sysdeps/alpha/fpu/bits/mathdef.h: Define INFINITY as of type float. Define DECIMAL_DIG. * sysdeps/generic/bits/mathdef.h: Likewise. * sysdeps/i386/bits/mathdef.h: Likewise. * sysdeps/m68k/fpu/bits/mathdef.h: Likewise. * sysdeps/powerpc/bits/mathdef.h: Likewise. * sysdeps/sparc/fpu/bits/mathdef.h: Likewise. * sysdeps/ieee754/bits/nan.h: Define NAN as of type float. * sysdeps/m68k/bits/nan.h. Likewise. Remove NANF and NANL. 1997-11-12 17:50 Ulrich Drepper * sunrpc/xcrypt.c: Don't process #ident preprocessor instruction. Reported by Philip Blundell . * string/strndup.c: Use K&R like definition. * sysdeps/unix/sysv/linux/getcwd.c: New file. Use kernel information instead of longish search for the name. * sysdeps/posix/getcwd.c: Add support for use of the code as a backup solution. 1997-11-12 15:31 Philip Blundell * sysdeps/unix/sysv/linux/arm/sysdep.h (SYS_ify): Don't add SWI_BASE in twice. * sysdeps/unix/sysv/linux/arm/profil-counter.h (profil_counter): Use correct name to access PC. * sysdeps/unix/arm/sysdep.S: Include not . * sysdeps/generic/bits/types.h: Add __ino64_t and __off64_t. * sysdeps/generic/bits/stat.h: Add struct stat64. 1997-11-12 16:08 Ulrich Drepper * intl/loadmsgcat.c [_LIBC] (fstat): Don't define as __fstat since now we have a definition as _fxstat. * libio/fileops.c: Likewise. * libio/oldfileops.c: Likewise. Reported by Andreas Jaeger . 1997-11-12 Andreas Jaeger * sysdeps/wordsize-32/inttypes.h (SIG_ATOMIC_MAX): Correct value. * sysdeps/wordsize-64/inttypes.h (SIG_ATOMIC_MAX): Likewise. 1997-11-11 Paul Eggert Add overflow checking for 64-bit time_t and 32-bit int. * time/time.h (__offtime): Now returns int. * time/offtime.c (__offtime): Return nonzero if successful; check for tm_year overflow. (DIV): New macro. (LEAPS_THRU_END_OF): Handle negative years correctly. * time/tzset.c (__tz_convert): Return NULL if offtime cannot convert. * time/mktime.c (ranged_convert): New function. (ydhms_tm_diff): Return nonzero if TP is null. (__mktime_internal): Handle cases correctly even if they are near or past the limits of time_t values that can be broken down to struct tm. (print_tm, check_result, main): Diagnose localtime failures. * manual/time.texi: Document the fact that localtime returns 0 if the time can't be represented. 1997-11-12 06:03 Ulrich Drepper * time/strftime.c (memset_space, memset_zero): Use MEMPCPY, not mempcpy. Patch by Ken'ichi Handa . * manual/time.texi: Document %F and %f format for strftime. * manual/arith.texi: Document copysign, nextafter and nan. 1997-11-06 Andreas Jaeger * test-installation.pl: New file. Tests for some installation problems. --- math/complex.h | 5 ++-- math/libm-test.c | 45 ++++++++++++++++++++++++++++++++++++ math/math.h | 69 +++++++++++++++++++++++++++++--------------------------- 3 files changed, 84 insertions(+), 35 deletions(-) (limited to 'math') diff --git a/math/complex.h b/math/complex.h index f4b1d46..72b1e59 100644 --- a/math/complex.h +++ b/math/complex.h @@ -40,9 +40,10 @@ __BEGIN_DECLS XXX This probably has to go into a gcc related file. */ #define _Complex_I (1.0iF) -/* Another more descriptive name is `I'. */ +/* Another more descriptive name is `I'. + XXX Once we have the imaginary support switch this to _Imaginary_I. */ #undef I -#define I _Imaginary_I +#define I _Complex_I /* Optimization aids. This is not yet implemented in gcc and once it diff --git a/math/libm-test.c b/math/libm-test.c index c77cbee..5d68b49 100644 --- a/math/libm-test.c +++ b/math/libm-test.c @@ -4813,6 +4813,50 @@ llround_test (void) static void +fma_test (void) +{ + check ("fma(1.0, 2.0, 3.0) = 5.0", FUNC(fma) (1.0, 2.0, 3.0), 5.0); + check_isnan ("fma(NaN, 2.0, 3.0) = NaN", FUNC(fma) (nan_value, 2.0, 3.0)); + check_isnan ("fma(1.0, NaN, 3.0) = NaN", FUNC(fma) (1.0, nan_value, 3.0)); + check_isnan_maybe_exc ("fma(1.0, 2.0, NaN) = NaN", + FUNC(fma) (1.0, 2.0, nan_value), INVALID_EXCEPTION); + check_isnan_maybe_exc ("fma(+Inf, 0.0, NaN) = NaN", + FUNC(fma) (plus_infty, 0.0, nan_value), + INVALID_EXCEPTION); + check_isnan_maybe_exc ("fma(-Inf, 0.0, NaN) = NaN", + FUNC(fma) (minus_infty, 0.0, nan_value), + INVALID_EXCEPTION); + check_isnan_maybe_exc ("fma(0.0, +Inf, NaN) = NaN", + FUNC(fma) (0.0, plus_infty, nan_value), + INVALID_EXCEPTION); + check_isnan_maybe_exc ("fma(0.0, -Inf, NaN) = NaN", + FUNC(fma) (0.0, minus_infty, nan_value), + INVALID_EXCEPTION); + check_isnan_exc ("fma(+Inf, 0.0, 1.0) = NaN", + FUNC(fma) (plus_infty, 0.0, 1.0), INVALID_EXCEPTION); + check_isnan_exc ("fma(-Inf, 0.0, 1.0) = NaN", + FUNC(fma) (minus_infty, 0.0, 1.0), INVALID_EXCEPTION); + check_isnan_exc ("fma(0.0, +Inf, 1.0) = NaN", + FUNC(fma) (0.0, plus_infty, 1.0), INVALID_EXCEPTION); + check_isnan_exc ("fma(0.0, -Inf, 1.0) = NaN", + FUNC(fma) (0.0, minus_infty, 1.0), INVALID_EXCEPTION); + + check_isnan_exc ("fma(+Inf, +Inf, -Inf) = NaN", + FUNC(fma) (plus_infty, plus_infty, minus_infty), + INVALID_EXCEPTION); + check_isnan_exc ("fma(-Inf, +Inf, +Inf) = NaN", + FUNC(fma) (minus_infty, plus_infty, plus_infty), + INVALID_EXCEPTION); + check_isnan_exc ("fma(+Inf, -Inf, +Inf) = NaN", + FUNC(fma) (plus_infty, minus_infty, plus_infty), + INVALID_EXCEPTION); + check_isnan_exc ("fma(-Inf, -Inf, -Inf) = NaN", + FUNC(fma) (minus_infty, minus_infty, minus_infty), + INVALID_EXCEPTION); +} + + +static void inverse_func_pair_test (const char *test_name, mathfunc f1, mathfunc inverse, MATHTYPE x, MATHTYPE epsilon) @@ -5205,6 +5249,7 @@ main (int argc, char *argv[]) ctanh_test (); csqrt_test (); cpow_test (); + fma_test (); /* special tests */ identities (); diff --git a/math/math.h b/math/math.h index 5105584..0aedaf1 100644 --- a/math/math.h +++ b/math/math.h @@ -68,37 +68,37 @@ __BEGIN_DECLS /* Include the file of declarations again, this time using `float' instead of `double' and appending f to each function name. */ -#ifndef _Mfloat_ -# define _Mfloat_ float -#endif -#define _Mdouble_ _Mfloat_ -#ifdef __STDC__ -# define __MATH_PRECNAME(name,r) name##f##r -#else -# define __MATH_PRECNAME(name,r) name/**/f/**/r -#endif -#include -#undef _Mdouble_ -#undef __MATH_PRECNAME - -#if __STDC__ - 0 || __GNUC__ - 0 -/* Include the file of declarations again, this time using `long double' - instead of `double' and appending l to each function name. */ - -# ifndef _Mlong_double_ -# define _Mlong_double_ long double +# ifndef _Mfloat_ +# define _Mfloat_ float # endif -# define _Mdouble_ _Mlong_double_ +# define _Mdouble_ _Mfloat_ # ifdef __STDC__ -# define __MATH_PRECNAME(name,r) name##l##r +# define __MATH_PRECNAME(name,r) name##f##r # else -# define __MATH_PRECNAME(name,r) name/**/l/**/r +# define __MATH_PRECNAME(name,r) name/**/f/**/r # endif # include # undef _Mdouble_ # undef __MATH_PRECNAME -#endif /* __STDC__ || __GNUC__ */ +# if __STDC__ - 0 || __GNUC__ - 0 +/* Include the file of declarations again, this time using `long double' + instead of `double' and appending l to each function name. */ + +# ifndef _Mlong_double_ +# define _Mlong_double_ long double +# endif +# define _Mdouble_ _Mlong_double_ +# ifdef __STDC__ +# define __MATH_PRECNAME(name,r) name##l##r +# else +# define __MATH_PRECNAME(name,r) name/**/l/**/r +# endif +# include +# undef _Mdouble_ +# undef __MATH_PRECNAME + +# endif /* __STDC__ || __GNUC__ */ #endif /* Use misc or ISO C 9X. */ #undef __MATHDECL_1 @@ -118,23 +118,23 @@ extern int signgam; /* Get the architecture specific values describing the floating-point evaluation. The following symbols will get defined: - float_t floating-point type at least as wide as `float' used + float_t floating-point type at least as wide as `float' used to evaluate `float' expressions - double_t floating-point type at least as wide as `double' used + double_t floating-point type at least as wide as `double' used to evaluate `double' expressions - FLT_EVAL_METHOD + FLT_EVAL_METHOD Defined to 0 if `float_t' is `float' and `double_t' is `double' 1 if `float_t' and `double_t' are `double' 2 if `float_t' and `double_t' are `long double' else `float_t' and `double_t' are unspecified - INFINITY representation of the infinity value of type `float_t' + INFINITY representation of the infinity value of type `float' - FP_FAST_FMA - FP_FAST_FMAF - FP_FAST_FMAL + FP_FAST_FMA + FP_FAST_FMAF + FP_FAST_FMAL If defined it indicates that the the `fma' function generally executes about as fast as a multiply and an add. This macro is defined only iff the `fma' function is @@ -143,6 +143,9 @@ extern int signgam; FP_ILOGB0 Expands to a value returned by `ilogb (0.0)'. FP_ILOGBNAN Expands to a value returned by `ilogb (NAN)'. + DECIMAL_DIG Number of decimal digits supported by conversion between + decimal and all internal floating-point formats. + */ # include @@ -211,8 +214,8 @@ extern _LIB_VERSION_TYPE _LIB_VERSION; /* In SVID error handling, `matherr' is called with this description of the exceptional condition. - We have a problem when using C++ since `exception' is reserved in - C++. */ + We have a problem when using C++ since `exception' is a reserved + name in C++. */ # ifdef __cplusplus struct __exception # else @@ -307,7 +310,7 @@ extern int matherr __P ((struct exception *__exc)); for unordered numbers. Since many FPUs provide special instructions to support these operations and these tests are defined in , we define the generic macros at - this late point. */ + this late point and only if they are not defined yet. */ /* Return nonzero value if X is greater than Y. */ # ifndef isgreater -- cgit v1.1