]> git.ipfire.org Git - thirdparty/glibc.git/commit
Add fmaximum, fminimum functions
authorJoseph Myers <joseph@codesourcery.com>
Tue, 28 Sep 2021 23:31:35 +0000 (23:31 +0000)
committerJoseph Myers <joseph@codesourcery.com>
Tue, 28 Sep 2021 23:31:35 +0000 (23:31 +0000)
commit90f0ac10a74b2d43b5a65aab4be40565e359be43
treeab0e73d7c60a7255fa5e7c9cbe58e80c3eb8d9cd
parent5bf07e1b3a74232bfb8332275110be1a5da50f83
Add fmaximum, fminimum functions

C2X adds new <math.h> functions for floating-point maximum and
minimum, corresponding to the new operations that were added in IEEE
754-2019 because of concerns about the old operations not being
associative in the presence of signaling NaNs.  fmaximum and fminimum
handle NaNs like most <math.h> functions (any NaN argument means the
result is a quiet NaN).  fmaximum_num and fminimum_num handle both
quiet and signaling NaNs the way fmax and fmin handle quiet NaNs (if
one argument is a number and the other is a NaN, return the number),
but still raise "invalid" for a signaling NaN argument, making them
exceptions to the normal rule that a function with a floating-point
result raising "invalid" also returns a quiet NaN.  fmaximum_mag,
fminimum_mag, fmaximum_mag_num and fminimum_mag_num are corresponding
functions returning the argument with greatest or least absolute
value.  All these functions also treat +0 as greater than -0.  There
are also corresponding <tgmath.h> type-generic macros.

Add these functions to glibc.  The implementations use type-generic
templates based on those for fmax, fmin, fmaxmag and fminmag, and test
inputs are based on those for those functions with appropriate
adjustments to the expected results.  The RISC-V maintainers might
wish to add optimized versions of fmaximum_num and fminimum_num (for
float and double), since RISC-V (F extension version 2.2 and later)
provides instructions corresponding to those functions - though it
might be at least as useful to add architecture-independent built-in
functions to GCC and teach the RISC-V back end to expand those
functions inline, which is what you generally want for functions that
can be implemented with a single instruction.

Tested for x86_64 and x86, and with build-many-glibcs.py.
66 files changed:
NEWS
manual/arith.texi
math/Makefile
math/Versions
math/bits/mathcalls.h
math/gen-tgmath-tests.py
math/libm-test-fmaximum.inc [new file with mode: 0644]
math/libm-test-fmaximum_mag.inc [new file with mode: 0644]
math/libm-test-fmaximum_mag_num.inc [new file with mode: 0644]
math/libm-test-fmaximum_num.inc [new file with mode: 0644]
math/libm-test-fminimum.inc [new file with mode: 0644]
math/libm-test-fminimum_mag.inc [new file with mode: 0644]
math/libm-test-fminimum_mag_num.inc [new file with mode: 0644]
math/libm-test-fminimum_num.inc [new file with mode: 0644]
math/s_fmaximum_mag_num_template.c [new file with mode: 0644]
math/s_fmaximum_mag_template.c [new file with mode: 0644]
math/s_fmaximum_num_template.c [new file with mode: 0644]
math/s_fmaximum_template.c [new file with mode: 0644]
math/s_fminimum_mag_num_template.c [new file with mode: 0644]
math/s_fminimum_mag_template.c [new file with mode: 0644]
math/s_fminimum_num_template.c [new file with mode: 0644]
math/s_fminimum_template.c [new file with mode: 0644]
math/test-tgmath.c
math/tgmath.h
sysdeps/ieee754/ldbl-128ibm-compat/Versions
sysdeps/ieee754/ldbl-opt/Makefile
sysdeps/ieee754/ldbl-opt/nldbl-fmaximum.c [new file with mode: 0644]
sysdeps/ieee754/ldbl-opt/nldbl-fmaximum_mag.c [new file with mode: 0644]
sysdeps/ieee754/ldbl-opt/nldbl-fmaximum_mag_num.c [new file with mode: 0644]
sysdeps/ieee754/ldbl-opt/nldbl-fmaximum_num.c [new file with mode: 0644]
sysdeps/ieee754/ldbl-opt/nldbl-fminimum.c [new file with mode: 0644]
sysdeps/ieee754/ldbl-opt/nldbl-fminimum_mag.c [new file with mode: 0644]
sysdeps/ieee754/ldbl-opt/nldbl-fminimum_mag_num.c [new file with mode: 0644]
sysdeps/ieee754/ldbl-opt/nldbl-fminimum_num.c [new file with mode: 0644]
sysdeps/mach/hurd/i386/libm.abilist
sysdeps/powerpc/nofpu/Makefile
sysdeps/unix/sysv/linux/aarch64/libm.abilist
sysdeps/unix/sysv/linux/alpha/libm.abilist
sysdeps/unix/sysv/linux/arc/libm.abilist
sysdeps/unix/sysv/linux/arm/be/libm.abilist
sysdeps/unix/sysv/linux/arm/le/libm.abilist
sysdeps/unix/sysv/linux/csky/libm.abilist
sysdeps/unix/sysv/linux/hppa/libm.abilist
sysdeps/unix/sysv/linux/i386/libm.abilist
sysdeps/unix/sysv/linux/ia64/libm.abilist
sysdeps/unix/sysv/linux/m68k/coldfire/libm.abilist
sysdeps/unix/sysv/linux/m68k/m680x0/libm.abilist
sysdeps/unix/sysv/linux/microblaze/be/libm.abilist
sysdeps/unix/sysv/linux/microblaze/le/libm.abilist
sysdeps/unix/sysv/linux/mips/mips32/libm.abilist
sysdeps/unix/sysv/linux/mips/mips64/libm.abilist
sysdeps/unix/sysv/linux/nios2/libm.abilist
sysdeps/unix/sysv/linux/powerpc/powerpc32/fpu/libm.abilist
sysdeps/unix/sysv/linux/powerpc/powerpc32/nofpu/libm.abilist
sysdeps/unix/sysv/linux/powerpc/powerpc64/be/libm.abilist
sysdeps/unix/sysv/linux/powerpc/powerpc64/le/libm.abilist
sysdeps/unix/sysv/linux/riscv/rv32/libm.abilist
sysdeps/unix/sysv/linux/riscv/rv64/libm.abilist
sysdeps/unix/sysv/linux/s390/s390-32/libm.abilist
sysdeps/unix/sysv/linux/s390/s390-64/libm.abilist
sysdeps/unix/sysv/linux/sh/be/libm.abilist
sysdeps/unix/sysv/linux/sh/le/libm.abilist
sysdeps/unix/sysv/linux/sparc/sparc32/libm.abilist
sysdeps/unix/sysv/linux/sparc/sparc64/libm.abilist
sysdeps/unix/sysv/linux/x86_64/64/libm.abilist
sysdeps/unix/sysv/linux/x86_64/x32/libm.abilist