90f0ac10a7
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.
58 lines
2.4 KiB
Makefile
58 lines
2.4 KiB
Makefile
# Makefile fragment for PowerPC with no FPU.
|
|
|
|
ifeq ($(subdir),soft-fp)
|
|
sysdep_routines += $(gcc-single-routines) $(gcc-double-routines) \
|
|
sqrtsf2 sqrtdf2 \
|
|
sim-full atomic-feholdexcept atomic-feclearexcept \
|
|
atomic-feupdateenv flt-rounds
|
|
endif
|
|
|
|
ifeq ($(subdir),math)
|
|
libm-support += fenv_const
|
|
CPPFLAGS += -I../soft-fp/
|
|
# The follow CFLAGS are a work around for GCC Bugzilla Bug 29253
|
|
# "expand_abs wrong default code for floating point"
|
|
# As this is not a regression, a fix is not likely to go into
|
|
# gcc-4.1.1 and may be too late for gcc-4.2. So we need these flags
|
|
# until the fix in a gcc release and glibc drops support for earlier
|
|
# versions of gcc.
|
|
#
|
|
# This bug can cause wrong signs of zero results from fabsl, and
|
|
# spurious "invalid" exceptions from comparisons with NaN in the
|
|
# default code sequence generated. The fpclassify expansion used by
|
|
# __builtin_fpclassify, which is used in the absence of
|
|
# -fsignaling-nans, uses __builtin_fabsl, and is not affected by
|
|
# -fno-builtin-fabsl, so requiring -fsignaling-nans for some affected
|
|
# source files.
|
|
CFLAGS-e_atan2l.c += -fno-builtin-fabsl
|
|
CFLAGS-e_hypotl.c += -fno-builtin-fabsl
|
|
CFLAGS-e_powl.c += -fno-builtin-fabsl
|
|
CFLAGS-s_cacosl.c += -fsignaling-nans
|
|
CFLAGS-s_cacoshl.c += -fsignaling-nans
|
|
CFLAGS-s_casinhl.c += -fsignaling-nans
|
|
CFLAGS-s_catanl.c += -fsignaling-nans
|
|
CFLAGS-s_catanhl.c += -fsignaling-nans
|
|
CFLAGS-s_ccoshl.c += -fno-builtin-fabsl -fsignaling-nans
|
|
CFLAGS-s_cexpl.c += -fsignaling-nans
|
|
CFLAGS-s_csinhl.c += -fno-builtin-fabsl -fsignaling-nans
|
|
CFLAGS-s_clogl.c += -fno-builtin-fabsl -fsignaling-nans
|
|
CFLAGS-s_clog10l.c += -fno-builtin-fabsl -fsignaling-nans
|
|
CFLAGS-s_csinl.c += -fno-builtin-fabsl -fsignaling-nans
|
|
CFLAGS-s_csqrtl.c += -fno-builtin-fabsl -fsignaling-nans
|
|
CFLAGS-w_acosl_compat.c += -fno-builtin-fabsl
|
|
CFLAGS-w_asinl_compat.c += -fno-builtin-fabsl
|
|
CFLAGS-w_atanhl_compat.c += -fno-builtin-fabsl
|
|
CFLAGS-w_j0l_compat.c += -fno-builtin-fabsl
|
|
CFLAGS-w_j1l_compat.c += -fno-builtin-fabsl
|
|
CFLAGS-e_lgammal_r.c += -fno-builtin-fabsl
|
|
CFLAGS-e_log10l.c += -fno-builtin-fabsl
|
|
CFLAGS-e_log2l.c += -fno-builtin-fabsl
|
|
CFLAGS-e_remainderl.c += -fno-builtin-fabsl
|
|
CFLAGS-s_fmaxmagl.c += -fno-builtin-fabsl
|
|
CFLAGS-s_fminmagl.c += -fno-builtin-fabsl
|
|
CFLAGS-s_fmaximum_magl.c += -fno-builtin-fabsl
|
|
CFLAGS-s_fmaximum_mag_numl.c += -fno-builtin-fabsl
|
|
CFLAGS-s_fminimum_magl.c += -fno-builtin-fabsl
|
|
CFLAGS-s_fminimum_mag_numl.c += -fno-builtin-fabsl
|
|
endif
|