Go to file
Joseph Myers 5a28590adf Run libm-test tests for finite-math-only functions.
This patch arranges for the libm-test tests to be run for the
finite-math-only function variants, in addition to the existing runs
for out-of-line and bits/mathinline.h inline variants.

gen-libm-test.pl is made to add a flag to all tests with non-finite
inputs or outputs so that they can be skipped at runtime when the
finite-math-only variants are being tested (skipping is for all
rounding modes; that is, -ffinite-math-only is being treated as
excluding overflow cases even when the rounding mode is such that the
overflowed result is finite).  errno setting is not tested for these
variants (in general they don't set it, and it's
implementation-defined in ISO C whether it's set on underflow, with
the glibc definition being that it may not be for -ffinite-math-only;
other cases where errno would normally be expected to be set are
mostly excluded as having non-finite or overflowing arguments or
results).

As with the inline function tests, these ones are built with
-D__FINITE_MATH_ONLY=1 to select the function variants, rather than
-ffinite-math-only.  Use of -ffinite-math-only would not be suitable
for these tests because it would also affect libm-test.inc code that
e.g. tests whether results are infinities or NaNs - if these function
variants have bugs that incorrectly produce such results, we want them
to show up in the tests, which means the compiler should not be
optimizing the tests on the basis of results being finite.

The finite-math-only functions share the same ulps settings as the
main out-of-line functions.

These interfaces were one significant group of untested ABIs listed at
<https://sourceware.org/ml/libc-alpha/2013-07/msg00386.html>.  I
haven't rerun the script to list untested interfaces, but I expect
that the vast bulk of interfaces there are still untested and could do
with testcases being added (or, if applicable, being made compat
symbols; in general, most symbols not starting '_' are safe bets to
add tests for, while _* need more investigation of what the actual
public API is, if any).  I'd like to encourage people to help reduce
the accumulation of untested interfaces by adding more tests.

Tested for x86_64 and x86.  Given my recent lgamma/gamma and log*
fixes, the new tests pass (before those fixes, the new tests showed up
those bugs, so illustrating the practical utility of having tests for
these function variants).

	* math/libm-test.inc (NON_FINITE): New macro.
	(enable_test): Do not run tests flagged NON_FINITE if TEST_FINITE.
	* math/gen-libm-test.pl (show_exceptions): Add argument
	$non_finite.
	(parse_args): Update call to show_exceptions.
	* math/test-math-finite.h: New file.
	* math/test-math-no-finite.h: Likewise.
	* math/test-double-finite.c: Likewise.
	* math/test-float-finite.c: Likewise.
	* math/test-ldouble-finite.c: Likewise.
	* math/test-double.c: Include "test-math-no-finite.h".
	* math/test-float.c: Include "test-math-no-finite.h".
	* math/test-ldouble.c: Include "test-math-no-finite.h".
	* math/test-math-inline.h (TEST_FINITE): New macro.
	* math/test-math-vector.h (TEST_FINITE): Likewise.
	* math/Makefile (test-longdouble-yes): Add test-ldouble-finite.
	(libm-tests): Add test-float-finite and test-double-finite.
	($(objpfx)test-float-finite.o): New dependency on
	$(objpfx)libm-test.stmp.
	($(objpfx)test-double-finite.o): Likewise.
	($(objpfx)test-ldouble-finite.o): Likewise.
	(libm-test-no-inline-cflags): New variable.
	(libm-test-finite-cflags): Likewise.
	(CFLAGS-test-float-finite.c): Likewise.
	(CFLAGS-test-double-finite.c): Likewise.
	(CFLAGS-test-ldouble-finite.c): Likewise.
	(CFLAGS-test-float.c): Use $(libm-test-no-inline-cflags).
	(CFLAGS-test-double.c): Likewise.
	(CFLAGS-test-ldouble.c): Likewise.
2015-11-05 23:28:16 +00:00
argp
assert Don't macro-expand failed assertion expression [BZ #18604] 2015-11-03 23:26:15 +01:00
benchtests Add a new benchmark for isinf/isnan/isnormal/isfinite/fpclassify. The test uses 2 arrays with 1024 doubles, one with 99% finite FP numbers (10% zeroes, 10% negative) and 1% inf/NaN, the other with 50% inf, and 50% Nan. 2015-09-18 16:02:38 +01:00
bits Move bits/atomic.h to atomic-machine.h (bug 14912). 2015-09-11 20:00:19 +00:00
catgets
conf
conform Remove pre-GCC-4.7 conform/ test XFAILs. 2015-10-27 17:13:14 +00:00
crypt Convert 113 more function definitions to prototype style (files with assertions). 2015-10-20 11:54:09 +00:00
csu
ctype Convert 703 function definitions to prototype style. 2015-10-16 20:21:49 +00:00
debug tst-backtrace4: fix a warning message 2015-10-21 11:24:27 -04:00
dirent Convert 703 function definitions to prototype style. 2015-10-16 20:21:49 +00:00
dlfcn Move bits/libc-lock.h and bits/libc-lockP.h out of bits/ (bug 14912). 2015-09-08 21:11:03 +00:00
elf _dl_fini: Rewrite to use VLA instead of extend_alloca 2015-10-29 09:26:03 +01:00
gmon Convert 703 function definitions to prototype style. 2015-10-16 20:21:49 +00:00
gnulib
grp Convert 703 function definitions to prototype style. 2015-10-16 20:21:49 +00:00
gshadow Harden putpwent, putgrent, putspent, putspent against injection [BZ #18724] 2015-10-02 11:34:13 +02:00
hesiod
hurd Convert 113 more function definitions to prototype style (files with assertions). 2015-10-20 11:54:09 +00:00
iconv Fix BZ #19012 -- iconv_open leaks memory on error path. 2015-10-05 20:03:48 -07:00
iconvdata Add dependencies on needed locales in each subdir tests (bug 18969) 2015-10-12 15:18:08 +02:00
include Fix features.h for -Wundef (bug 19212). 2015-11-05 21:19:37 +00:00
inet Convert 113 more function definitions to prototype style (files with assertions). 2015-10-20 11:54:09 +00:00
intl Add dependencies on needed locales in each subdir tests (bug 18969) 2015-10-12 15:18:08 +02:00
io Fix some stub prototypes missing ... after K&R conversion 2015-11-05 15:00:12 -08:00
libidn Move bits/libc-lock.h and bits/libc-lockP.h out of bits/ (bug 14912). 2015-09-08 21:11:03 +00:00
libio Convert miscellaneous function definitions to prototype style. 2015-10-20 21:27:22 +00:00
locale Gracefully handle incompatible locale data 2015-10-27 13:33:26 +01:00
localedata lt_LT: change currency symbol to the euro [BZ #18953] 2015-10-17 00:28:13 -04:00
login Convert miscellaneous function definitions to prototype style. 2015-10-20 21:27:22 +00:00
mach Convert miscellaneous function definitions to prototype style. 2015-10-20 21:27:22 +00:00
malloc Don't macro-expand failed assertion expression [BZ #18604] 2015-11-03 23:26:15 +01:00
manual Require GCC 4.7 or later to build glibc. 2015-10-27 16:34:12 +00:00
math Run libm-test tests for finite-math-only functions. 2015-11-05 23:28:16 +00:00
mathvec
misc Fix some stub prototypes missing ... after K&R conversion 2015-11-05 15:00:12 -08:00
nis Assume that SOCK_CLOEXEC is available and works 2015-10-17 12:02:37 +02:00
nptl Remove a spurious attribution 2015-11-04 11:32:36 +01:00
nptl_db Convert 113 more function definitions to prototype style (files with assertions). 2015-10-20 11:54:09 +00:00
nscd use -fstack-protector-strong when available 2015-10-19 15:36:48 -04:00
nss Convert 113 more function definitions to prototype style (files with assertions). 2015-10-20 11:54:09 +00:00
po Update de.po from Translation Project (bug 4404). 2015-09-16 16:51:28 +00:00
posix Convert a few more function definitions to prototype style. 2015-10-21 11:57:23 +00:00
pwd Convert 703 function definitions to prototype style. 2015-10-16 20:21:49 +00:00
resolv Remove GCC version conditionals on -Wmaybe-uninitialized pragmas. 2015-10-27 23:42:20 +00:00
resource Convert 703 function definitions to prototype style. 2015-10-16 20:21:49 +00:00
rt Convert 703 function definitions to prototype style. 2015-10-16 20:21:49 +00:00
scripts Add script to list fixed bugs for the NEWS file. 2015-11-05 22:18:32 +00:00
setjmp
shadow Harden putpwent, putgrent, putspent, putspent against injection [BZ #18724] 2015-10-02 11:34:13 +02:00
signal Convert 703 function definitions to prototype style. 2015-10-16 20:21:49 +00:00
socket Convert 24 more function definitions to prototype style (array parameters). 2015-10-20 11:51:03 +00:00
soft-fp Remove GCC version conditionals on -Wmaybe-uninitialized pragmas. 2015-10-27 23:42:20 +00:00
stdio-common Convert 69 more function definitions to prototype style (line wrap cases). 2015-10-19 21:23:47 +00:00
stdlib Remove GCC version conditionals on -Wmaybe-uninitialized pragmas. 2015-10-27 23:42:20 +00:00
streams Convert 69 more function definitions to prototype style (line wrap cases). 2015-10-19 21:23:47 +00:00
string Convert miscellaneous function definitions to prototype style. 2015-10-20 21:27:22 +00:00
sunrpc Convert a few more function definitions to prototype style. 2015-10-21 11:57:23 +00:00
sysdeps Fix i386/x86_64 log* (1) zero sign for -ffinite-math-only (bug 19213). 2015-11-05 21:56:31 +00:00
sysvipc Convert 69 more function definitions to prototype style (line wrap cases). 2015-10-19 21:23:47 +00:00
termios Convert 703 function definitions to prototype style. 2015-10-16 20:21:49 +00:00
time Convert miscellaneous function definitions to prototype style. 2015-10-20 21:27:22 +00:00
timezone Update timezone/Makefile to use -Wno-unused-variable 2015-10-07 15:04:49 -07:00
wcsmbs Convert miscellaneous function definitions to prototype style. 2015-10-20 21:27:22 +00:00
wctype Convert 703 function definitions to prototype style. 2015-10-16 20:21:49 +00:00
.gitattributes
.gitignore
abi-tags
aclocal.m4
BUGS
ChangeLog Run libm-test tests for finite-math-only functions. 2015-11-05 23:28:16 +00:00
ChangeLog.1
ChangeLog.2
ChangeLog.3
ChangeLog.4
ChangeLog.5
ChangeLog.6
ChangeLog.7
ChangeLog.8
ChangeLog.9
ChangeLog.10
ChangeLog.11
ChangeLog.12
ChangeLog.13
ChangeLog.14
ChangeLog.15
ChangeLog.16
ChangeLog.17
ChangeLog.old-ports
ChangeLog.old-ports-aarch64
ChangeLog.old-ports-aix
ChangeLog.old-ports-alpha
ChangeLog.old-ports-am33
ChangeLog.old-ports-arm
ChangeLog.old-ports-cris
ChangeLog.old-ports-hppa
ChangeLog.old-ports-ia64
ChangeLog.old-ports-linux-generic
ChangeLog.old-ports-m68k
ChangeLog.old-ports-microblaze
ChangeLog.old-ports-mips
ChangeLog.old-ports-powerpc
ChangeLog.old-ports-tile
config.h.in Remove -mavx2 configure tests. 2015-10-28 13:29:03 +00:00
config.make.in Remove sysdeps/nptl/configure.ac. 2015-10-27 21:46:03 +00:00
configure Remove --no-whole-archive configure test. 2015-11-03 13:03:52 +00:00
configure.ac Remove --no-whole-archive configure test. 2015-11-03 13:03:52 +00:00
CONFORMANCE
COPYING
COPYING.LIB
cppflags-iterator.mk
extra-lib.mk
extra-modules.mk
gen-locales.mk
INSTALL Require GCC 4.7 or later to build glibc. 2015-10-27 16:34:12 +00:00
libc-abis
LICENSES
Makeconfig Use -std=gnu11 instead of -std=gnu99. 2015-10-27 21:47:22 +00:00
Makefile Use -std=gnu11 instead of -std=gnu99. 2015-10-27 21:47:22 +00:00
Makefile.in
Makerules Remove -static-libgcc configure test. 2015-10-15 19:32:58 +00:00
NAMESPACE
NEWS Add script to list fixed bugs for the NEWS file. 2015-11-05 22:18:32 +00:00
o-iterator.mk
PROJECTS
README
Rules
shlib-versions
test-skeleton.c
version.h
WUR-REPORT

This directory contains the sources of the GNU C Library.
See the file "version.h" for what release version you have.

The GNU C Library is the standard system C library for all GNU systems,
and is an important part of what makes up a GNU system.  It provides the
system API for all programs written in C and C-compatible languages such
as C++ and Objective C; the runtime facilities of other programming
languages use the C library to access the underlying operating system.

In GNU/Linux systems, the C library works with the Linux kernel to
implement the operating system behavior seen by user applications.
In GNU/Hurd systems, it works with a microkernel and Hurd servers.

The GNU C Library implements much of the POSIX.1 functionality in the
GNU/Hurd system, using configurations i[4567]86-*-gnu.  The current
GNU/Hurd support requires out-of-tree patches that will eventually be
incorporated into an official GNU C Library release.

When working with Linux kernels, this version of the GNU C Library
requires Linux kernel version 2.6.32 or later.

Also note that the shared version of the libgcc_s library must be
installed for the pthread library to work correctly.

The GNU C Library supports these configurations for using Linux kernels:

	aarch64*-*-linux-gnu
	alpha*-*-linux-gnu
	arm-*-linux-gnueabi
	hppa-*-linux-gnu	Not currently functional without patches.
	i[4567]86-*-linux-gnu
	x86_64-*-linux-gnu	Can build either x86_64 or x32
	ia64-*-linux-gnu
	m68k-*-linux-gnu
	microblaze*-*-linux-gnu
	mips-*-linux-gnu
	mips64-*-linux-gnu
	powerpc-*-linux-gnu	Hardware or software floating point, BE only.
	powerpc64*-*-linux-gnu	Big-endian and little-endian.
	s390-*-linux-gnu
	s390x-*-linux-gnu
	sh[34]-*-linux-gnu
	sparc*-*-linux-gnu
	sparc64*-*-linux-gnu
	tilegx-*-linux-gnu
	tilepro-*-linux-gnu

If you are interested in doing a port, please contact the glibc
maintainers; see http://www.gnu.org/software/libc/ for more
information.

See the file INSTALL to find out how to configure, build, and install
the GNU C Library.  You might also consider reading the WWW pages for
the C library at http://www.gnu.org/software/libc/.

The GNU C Library is (almost) completely documented by the Texinfo manual
found in the `manual/' subdirectory.  The manual is still being updated
and contains some known errors and omissions; we regret that we do not
have the resources to work on the manual as much as we would like.  For
corrections to the manual, please file a bug in the `manual' component,
following the bug-reporting instructions below.  Please be sure to check
the manual in the current development sources to see if your problem has
already been corrected.

Please see http://www.gnu.org/software/libc/bugs.html for bug reporting
information.  We are now using the Bugzilla system to track all bug reports.
This web page gives detailed information on how to report bugs properly.

The GNU C Library is free software.  See the file COPYING.LIB for copying
conditions, and LICENSES for notices about a few contributions that require
these additional notices to be distributed.  License copyright years may be
listed using range notation, e.g., 1996-2015, indicating that every year in
the range, inclusive, is a copyrightable year that would otherwise be listed
individually.