about summary refs log tree commit diff
path: root/math/Makefile
diff options
context:
space:
mode:
authorJoseph Myers <joseph@codesourcery.com>2016-10-07 23:28:33 +0000
committerJoseph Myers <joseph@codesourcery.com>2016-10-07 23:28:33 +0000
commitd0800ae0e7162631136a0042e87eb42c641455d9 (patch)
tree2bd2e6a01da8827ad5e2536b8c3aa4ae258a481b /math/Makefile
parent12e5d361a4dcfe3579f1dd263f911ac193b0fa29 (diff)
downloadglibc-d0800ae0e7162631136a0042e87eb42c641455d9.tar.gz
glibc-d0800ae0e7162631136a0042e87eb42c641455d9.tar.xz
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/Makefile4
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.