glibc/sysdeps/ieee754/ldbl-128ibm
Gabriel F. T. Gomes aa0235dfde Add C++ versions of iscanonical for ldbl-96 and ldbl-128ibm (bug 22235)
All representations of floating-point numbers in types with IEC 60559
binary exchange format are canonical.  On the other hand, types with IEC
60559 extended formats, such as those implemented under ldbl-96 and
ldbl-128ibm, contain representations that are not canonical.

TS 18661-1 introduced the type-generic macro iscanonical, which returns
whether a floating-point value is canonical or not.  In Glibc, this
type-generic macro is implemented using the macro __MATH_TG, which, when
support for float128 is enabled, relies on __builtin_types_compatible_p
to select between floating-point types.  However, this use of
iscanonical breaks C++ applications, because the builtin is only
available in C mode.

This patch provides a C++ implementation of iscanonical that relies on
function overloading, rather than builtins, to select between
floating-point types.

Unlike the C++ implementations for iszero and issignaling, this
implementation ignores __NO_LONG_DOUBLE_MATH.  The double type always
matches IEC 60559 double format, which is always canonical.  Thus, when
double and long double are the same (__NO_LONG_DOUBLE_MATH), iscanonical
always returns 1 and is not implemented with __MATH_TG.

Tested for powerpc64, powerpc64le and x86_64.

	[BZ #22235]
	* math/math.h: Trivial fix for unbalanced parentheses in comment.
	* math/Makefile [CXX] (tests): Add test-math-iscanonical.cc.
	(CFLAGS-test-math-iscanonical.cc): New variable.
	* math/test-math-iscanonical.cc: New file.
	* sysdeps/ieee754/ldbl-96/bits/iscanonical.h (iscanonical):
	Provide a C++ implementation based on function overloading,
	rather than using __MATH_TG, which uses C-only builtins.
	* sysdeps/ieee754/ldbl-128ibm/bits/iscanonical.h (iscanonical):
	Likewise.
	* sysdeps/powerpc/powerpc64le/Makefile
	(CFLAGS-test-math-iscanonical.cc): New variable.
2017-10-03 16:01:37 -03:00
..
bits Add C++ versions of iscanonical for ldbl-96 and ldbl-128ibm (bug 22235) 2017-10-03 16:01:37 -03:00
include/bits Add canonicalize, canonicalizef, canonicalizel. 2016-10-26 23:14:31 +00:00
e_acoshl.c Fix ldbl-128ibm acoshl inaccuracy (bug 18019). 2015-02-25 00:01:15 +00:00
e_acosl.c This patch renames all uses of __isinf*, __isnan*, __finite* and __signbit* to use standard C99 macros. This has no effect on generated code. 2015-06-03 15:41:36 +01:00
e_asinl.c Refactor code forcing underflow exceptions. 2015-09-23 22:42:30 +00:00
e_atan2l.c PowerPC floating point little-endian [3 of 15] 2013-10-04 10:32:36 +09:30
e_atanhl.c Refactor code forcing underflow exceptions. 2015-09-23 22:42:30 +00:00
e_coshl.c Fix cosh spurious underflows from expm1 (bug 16354), inaccurate results near 0 (bug 17061). 2014-06-23 20:20:10 +00:00
e_exp10l.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
e_expl.c ldbl-128ibm: Automatic replacing of _Float128 and L() 2017-09-21 17:37:39 -03:00
e_fmodl.c Consistently use uintN_t not u_intN_t in libm. 2017-08-03 19:55:04 +00:00
e_gammal_r.c Consistently use uintN_t not u_intN_t in libm. 2017-08-03 19:55:04 +00:00
e_hypotl.c Fix hypot sNaN handling (bug 20940). 2016-12-07 01:16:36 +00:00
e_ilogbl.c Fix ldbl-128ibm ilogbl near powers of 2 (bug 18029). 2015-02-26 12:57:21 +00:00
e_j0l.c ldbl-128ibm: Automatic replacing of _Float128 and L() 2017-09-21 17:37:39 -03:00
e_j1l.c ldbl-128ibm: Automatic replacing of _Float128 and L() 2017-09-21 17:37:39 -03:00
e_jnl.c Fix j1, jn missing errno setting on underflow (bug 18611). 2015-10-23 21:37:33 +00:00
e_lgammal_r.c Use fabs(f/l) rather than __fabs 2017-09-29 18:54:24 +01:00
e_log2l.c Use fabs(f/l) rather than __fabs 2017-09-29 18:54:24 +01:00
e_log10l.c Use fabs(f/l) rather than __fabs 2017-09-29 18:54:24 +01:00
e_logl.c Remove unneeded declarations from math_private.h 2017-04-10 12:20:47 -03:00
e_powl.c Consistently use uintN_t not u_intN_t in libm. 2017-08-03 19:55:04 +00:00
e_rem_pio2l.c Consistently use uintN_t not u_intN_t in libm. 2017-08-03 19:55:04 +00:00
e_remainderl.c Consistently use uintN_t not u_intN_t in libm. 2017-08-03 19:55:04 +00:00
e_sinhl.c Fix ldbl-128ibm sinhl spurious overflows (bug 19350). 2015-12-09 22:37:08 +00:00
e_sqrtl.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
gamma_productl.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
ieee754.h Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
k_cosl.c Consistently use uintN_t not u_intN_t in libm. 2017-08-03 19:55:04 +00:00
k_sincosl.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
k_sinl.c Consistently use uintN_t not u_intN_t in libm. 2017-08-03 19:55:04 +00:00
k_tanl.c Narrowing the visibility of libc-internal.h even further. 2017-03-01 20:33:46 -05:00
ldbl2mpn.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
lgamma_negl.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
lgamma_productl.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
Makefile Add canonicalize, canonicalizef, canonicalizel. 2016-10-26 23:14:31 +00:00
math_ldbl.h Allow direct use of math_ldbl.h in testsuite. 2017-02-25 10:40:48 -05:00
mpn2ldbl.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
printf_fphex.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
s_asinhl.c Refactor code forcing underflow exceptions. 2015-09-23 22:42:30 +00:00
s_atanl.c Refactor code forcing underflow exceptions. 2015-09-23 22:42:30 +00:00
s_cbrtl.c ldbl-128ibm: Automatic replacing of _Float128 and L() 2017-09-21 17:37:39 -03:00
s_ceill.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
s_copysignl.c Remove IS_IN_libm 2014-11-24 11:41:47 +05:30
s_cosl.c PowerPC floating point little-endian [2 of 15] 2013-10-04 10:32:19 +09:30
s_erfl.c Remove unused variables 2016-01-27 09:30:16 +01:00
s_expm1l.c Fix ldbl-128ibm expm1l (sNaN) (bug 20233). 2016-06-09 17:24:52 +00:00
s_fabsl.c Consistently use uintN_t not u_intN_t in libm. 2017-08-03 19:55:04 +00:00
s_finitel.c Reduce number of constants in __finite* (bug 15384). 2015-09-17 16:47:14 +00:00
s_floorl.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
s_fmal.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
s_fpclassifyl.c Consistently use uintN_t not u_intN_t in libm. 2017-08-03 19:55:04 +00:00
s_frexpl.c Fix frexp (NaN) (bug 20250). 2016-06-13 17:27:19 +00:00
s_fromfpl_main.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
s_fromfpl.c Make more libm functions into weak aliases. 2017-09-14 22:28:53 +00:00
s_fromfpxl.c Make more libm functions into weak aliases. 2017-09-14 22:28:53 +00:00
s_getpayloadl.c Make more libm functions into weak aliases. 2017-09-14 22:28:53 +00:00
s_iscanonicall.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
s_isinfl.c Remove IS_IN_libm 2014-11-24 11:41:47 +05:30
s_isnanl.c Remove IS_IN_libm 2014-11-24 11:41:47 +05:30
s_issignalingl.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
s_llrintl.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
s_llroundl.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
s_log1pl.c Fix ldbl-128ibm log1pl (sNaN) (bug 20234). 2016-06-09 17:25:54 +00:00
s_logbl.c Work around powerpc32 integer 0 converting to -0 (bug 887, bug 19049, bug 19050). 2015-10-05 17:46:50 +00:00
s_lrintl.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
s_lroundl.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
s_modfl.c Consistently use uintN_t not u_intN_t in libm. 2017-08-03 19:55:04 +00:00
s_nearbyintl.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
s_nextafterl.c Fix ldbl-128ibm nextafterl, nexttowardl sign of zero result (bug 19678). 2016-02-19 17:19:53 +00:00
s_nexttoward.c Make nextafter, nexttoward set errno (bug 6799). 2015-11-02 18:54:19 +00:00
s_nexttowardf.c Consistently use uintN_t not u_intN_t in libm. 2017-08-03 19:55:04 +00:00
s_nextupl.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
s_remquol.c Consistently use uintN_t not u_intN_t in libm. 2017-08-03 19:55:04 +00:00
s_rintl.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
s_roundevenl.c Make more libm functions into weak aliases. 2017-09-14 22:28:53 +00:00
s_roundl.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
s_scalblnl.c [BZ #6803] Set errno for scalbln, scalbn 2014-06-20 07:48:20 +05:30
s_scalbnl.c Make scalbn set errno (bug 6803). 2015-09-16 21:11:00 +00:00
s_setpayloadl_main.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
s_setpayloadl.c Make more libm functions into weak aliases. 2017-09-14 22:28:53 +00:00
s_setpayloadsigl.c Make more libm functions into weak aliases. 2017-09-14 22:28:53 +00:00
s_signbitl.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
s_sincosl.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
s_sinl.c PowerPC floating point little-endian [2 of 15] 2013-10-04 10:32:19 +09:30
s_tanhl.c Fix ldbl-128ibm tanhl inaccuracy for small arguments (bug 19349). 2015-12-09 21:20:18 +00:00
s_tanl.c PowerPC floating point little-endian [2 of 15] 2013-10-04 10:32:19 +09:30
s_totalorderl.c Make more libm functions into weak aliases. 2017-09-14 22:28:53 +00:00
s_totalordermagl.c Make more libm functions into weak aliases. 2017-09-14 22:28:53 +00:00
s_truncl.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
s_ufromfpl.c Make more libm functions into weak aliases. 2017-09-14 22:28:53 +00:00
s_ufromfpxl.c Make more libm functions into weak aliases. 2017-09-14 22:28:53 +00:00
strtod_nan_ldouble.h Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
strtold_l.c Use locale_t, not __locale_t, throughout glibc 2017-06-20 20:30:06 -04:00
t_expl.h ldbl-128ibm: Automatic replacing of _Float128 and L() 2017-09-21 17:37:39 -03:00
t_sincosl.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
test-canonical-ldbl-128ibm.c Allow direct use of math_ldbl.h in testsuite. 2017-02-25 10:40:48 -05:00
test-fmodl-ldbl-128ibm.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
test-fmodrem-ldbl-128ibm.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
test-remainderl-ldbl-128ibm.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
test-remquol-ldbl-128ibm.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
test-totalorderl-ldbl-128ibm.c Allow direct use of math_ldbl.h in testsuite. 2017-02-25 10:40:48 -05:00
tst-strtold-ldbl-128ibm.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00
x2y2m1l.c Update copyright dates with scripts/update-copyrights. 2017-01-01 00:14:16 +00:00