diff options
| author | Joseph Myers <joseph@codesourcery.com> | 2016-10-07 23:28:33 +0000 |
|---|---|---|
| committer | Joseph Myers <joseph@codesourcery.com> | 2016-10-07 23:28:33 +0000 |
| commit | d0800ae0e7162631136a0042e87eb42c641455d9 (patch) | |
| tree | 2bd2e6a01da8827ad5e2536b8c3aa4ae258a481b /math/Makefile | |
| parent | 12e5d361a4dcfe3579f1dd263f911ac193b0fa29 (diff) | |
| download | glibc-d0800ae0e7162631136a0042e87eb42c641455d9.tar glibc-d0800ae0e7162631136a0042e87eb42c641455d9.tar.gz glibc-d0800ae0e7162631136a0042e87eb42c641455d9.tar.bz2 glibc-d0800ae0e7162631136a0042e87eb42c641455d9.zip | |
Make iseqsig handle excess precision.
iseqsig, like other type-generic comparison macros, should behave like
a comparison operator in not removing excess range and precision from
its arguments (see C11 F.10.11). This patch implements this by making
definitions of iseqsig appropriately conditional on
__FLT_EVAL_METHOD__ (including support for TS 18661-3 values of that
macro), with a corresponding testcase (that failed for 32-bit x86 in
the absence of the math.h changes) being added. (Of course the
definitions may need reworking when float128 support is added, just as
with other type-generic macros.)
Tested for x86_64 and x86.
* math/math.h [__GLIBC_USE (IEC_60559_BFP_EXT)] (iseqsig): Define
conditional on value of [__FLT_EVAL_METHOD__].
* math/test-iseqsig-excess-precision.c: New file.
* math/Makefile (tests): Add test-iseqsig-excess-precision.
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 a9f06080f4..ca07f9d1fd 100644 --- a/math/Makefile +++ b/math/Makefile @@ -156,7 +156,8 @@ 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 test-iszero-excess-precision $(tests-static) + test-femode-traps test-iszero-excess-precision \ + test-iseqsig-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 \ @@ -267,6 +268,7 @@ 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 +CFLAGS-test-iseqsig-excess-precision.c = -fexcess-precision=standard # The -lieee module sets the _LIB_VERSION_ switch to IEEE mode # for error handling in the -lm functions. |