diff options
| author | Joseph Myers <joseph@codesourcery.com> | 2016-09-28 21:11:58 +0000 |
|---|---|---|
| committer | Joseph Myers <joseph@codesourcery.com> | 2016-09-28 21:11:58 +0000 |
| commit | b59ad2db99df74326ae28926299469eecce6f468 (patch) | |
| tree | c18cd839284e4ce4ca1b9edc06a4f61032c077f4 /math/Makefile | |
| parent | e83be730910c341f2f02ccc207b0586bb04fc21a (diff) | |
| download | glibc-b59ad2db99df74326ae28926299469eecce6f468.tar.gz glibc-b59ad2db99df74326ae28926299469eecce6f468.tar.xz glibc-b59ad2db99df74326ae28926299469eecce6f468.zip | |
Fix iszero for excess precision.
Floating-point classification macros are supposed to remove any excess range or precision from their arguments. This patch fixes the non-sNaN version of iszero to do so, by casting the argument to its own type. (This will of course work only for standard-conforming excess precision, not for what GCC does on 32-bit x86 by default where the back end hides excess precision from the front end; the same applies to most of the classification macros in that case, as showed up when we made them use GCC built-in functions.) (iseqsig will have the reverse issue, needing to ensure that when an underlying function is used it's for a type wide enough not to remove any excess precision, since comparison macros must not remove excess precision.) Tested for x86_64 and x86. * math/math.h [__GLIBC_USE (IEC_60559_BFP_EXT) && !__SUPPORT_SNAN__] (iszero): Cast argument to its own type. * math/test-iszero-excess-precision.c: New file. * math/Makefile (tests): Add test-iszero-excess-precision. (CFLAGS-test-iszero-excess-precision.c): New variable.
Diffstat (limited to 'math/Makefile')
| -rw-r--r-- | math/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/math/Makefile b/math/Makefile index 6c58b970d6..7ccd59a1ee 100644 --- a/math/Makefile +++ b/math/Makefile @@ -156,7 +156,7 @@ tests = test-matherr test-fenv atest-exp atest-sincos atest-exp2 basic-test \ test-signgam-ullong-init test-nan-overflow test-nan-payload \ test-fexcept test-fexcept-traps test-fesetexcept \ test-fesetexcept-traps test-fetestexceptflag test-femode \ - test-femode-traps $(tests-static) + test-femode-traps test-iszero-excess-precision $(tests-static) tests-static = test-fpucw-static test-fpucw-ieee-static \ test-signgam-uchar-static test-signgam-uchar-init-static \ test-signgam-uint-static test-signgam-uint-init-static \ @@ -266,6 +266,8 @@ CFLAGS-test-signgam-ullong-init-static.c = -std=c99 CFLAGS-test-math-isinff.cc = -std=gnu++11 +CFLAGS-test-iszero-excess-precision.c = -fexcess-precision=standard + # The -lieee module sets the _LIB_VERSION_ switch to IEEE mode # for error handling in the -lm functions. install-lib += libieee.a |