abd383584b
This patch adds the narrowing square root functions from TS 18661-1 / TS 18661-3 / C2X to glibc's libm: fsqrt, fsqrtl, dsqrtl, f32sqrtf64, f32sqrtf32x, f32xsqrtf64 for all configurations; f32sqrtf64x, f32sqrtf128, f64sqrtf64x, f64sqrtf128, f32xsqrtf64x, f32xsqrtf128, f64xsqrtf128 for configurations with _Float64x and _Float128; __f32sqrtieee128 and __f64sqrtieee128 aliases in the powerpc64le case (for calls to fsqrtl and dsqrtl when long double is IEEE binary128). Corresponding tgmath.h macro support is also added. The changes are mostly similar to those for the other narrowing functions previously added, so the description of those generally applies to this patch as well. However, the not-actually-narrowing cases (where the two types involved in the function have the same floating-point format) are aliased to sqrt, sqrtl or sqrtf128 rather than needing a separately built not-actually-narrowing function such as was needed for add / sub / mul / div. Thus, there is no __nldbl_dsqrtl name for ldbl-opt because no such name was needed (whereas the other functions needed such a name since the only other name for that entry point was e.g. f32xaddf64, not reserved by TS 18661-1); the headers are made to arrange for sqrt to be called in that case instead. The DIAG_* calls in sysdeps/ieee754/soft-fp/s_dsqrtl.c are because they were observed to be needed in GCC 7 testing of riscv32-linux-gnu-rv32imac-ilp32. The other sysdeps/ieee754/soft-fp/ files added didn't need such DIAG_* in any configuration I tested with build-many-glibcs.py, but if they do turn out to be needed in more files with some other configuration / GCC version, they can always be added there. I reused the same test inputs in auto-libm-test-in as for non-narrowing sqrt rather than adding extra or separate inputs for narrowing sqrt. The tests in libm-test-narrow-sqrt.inc also follow those for non-narrowing sqrt. Tested as followed: natively with the full glibc testsuite for x86_64 (GCC 11, 7, 6) and x86 (GCC 11); with build-many-glibcs.py with GCC 11, 7 and 6; cross testing of math/ tests for powerpc64le, powerpc32 hard float, mips64 (all three ABIs, both hard and soft float). The different GCC versions are to cover the different cases in tgmath.h and tgmath.h tests properly (GCC 6 has _Float* only as typedefs in glibc headers, GCC 7 has proper _Float* support, GCC 8 adds __builtin_tgmath).
772 lines
30 KiB
Makefile
772 lines
30 KiB
Makefile
# Copyright (C) 1996-2021 Free Software Foundation, Inc.
|
|
# This file is part of the GNU C Library.
|
|
|
|
# The GNU C Library is free software; you can redistribute it and/or
|
|
# modify it under the terms of the GNU Lesser General Public
|
|
# License as published by the Free Software Foundation; either
|
|
# version 2.1 of the License, or (at your option) any later version.
|
|
|
|
# The GNU C Library is distributed in the hope that it will be useful,
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
# Lesser General Public License for more details.
|
|
|
|
# You should have received a copy of the GNU Lesser General Public
|
|
# License along with the GNU C Library; if not, see
|
|
# <https://www.gnu.org/licenses/>.
|
|
|
|
# Makefile for the math library.
|
|
|
|
subdir := math
|
|
|
|
include ../Makeconfig
|
|
|
|
# Installed header files.
|
|
headers := math.h bits/mathcalls.h \
|
|
fpu_control.h complex.h bits/cmathcalls.h fenv.h \
|
|
bits/fenv.h bits/mathdef.h tgmath.h \
|
|
bits/math-vector.h finclude/math-vector-fortran.h \
|
|
bits/libm-simd-decl-stubs.h bits/iscanonical.h \
|
|
bits/flt-eval-method.h bits/fp-fast.h bits/fp-logb.h \
|
|
bits/long-double.h bits/mathcalls-helper-functions.h \
|
|
bits/floatn.h bits/floatn-common.h bits/mathcalls-narrow.h
|
|
|
|
# FPU support code.
|
|
aux := setfpucw fpu_control
|
|
|
|
# Build the -lm library.
|
|
|
|
extra-libs := libm
|
|
extra-libs-others = $(extra-libs)
|
|
|
|
libm-support = s_lib_version s_matherr s_signgam \
|
|
fclrexcpt fgetexcptflg fraiseexcpt fsetexcptflg \
|
|
ftestexcept fegetround fesetround fegetenv feholdexcpt \
|
|
fesetenv feupdateenv fedisblxcpt feenablxcpt \
|
|
fegetexcept fesetexcept fetestexceptflag fegetmode \
|
|
fesetmode
|
|
|
|
# Wrappers for these functions generated per type using a file named
|
|
# <func>_template.c and the appropriate math-type-macros-<TYPE>.h.
|
|
gen-libm-calls = cargF conjF cimagF crealF cabsF e_scalbF s_cacosF \
|
|
s_cacoshF s_ccosF s_ccoshF s_casinF s_csinF s_casinhF \
|
|
k_casinhF s_csinhF k_casinhF s_csinhF s_catanhF s_catanF \
|
|
s_ctanF s_ctanhF s_cexpF s_clogF s_cprojF s_csqrtF \
|
|
s_cpowF s_clog10F s_fdimF s_nextdownF s_fmaxF s_fminF \
|
|
s_nanF s_iseqsigF s_canonicalizeF s_significandF \
|
|
w_ilogbF w_llogbF \
|
|
w_log1pF w_scalblnF s_fmaxmagF s_fminmagF w_acosF \
|
|
w_acoshF w_asinF w_atan2F w_atanhF w_coshF w_exp10F \
|
|
w_exp2F w_fmodF w_hypotF w_j0F w_j1F w_jnF w_logF \
|
|
w_log10F w_log2F w_powF w_remainderF w_scalbF \
|
|
w_sinhF w_sqrtF \
|
|
w_tgammaF w_lgammaF w_lgammaF_r w_expF e_exp2F
|
|
|
|
libm-calls = \
|
|
e_acosF e_acoshF e_asinF e_atan2F e_atanhF e_coshF e_expF e_fmodF \
|
|
e_hypotF e_j0F e_j1F e_jnF e_lgammaF_r e_logF e_log10F e_powF \
|
|
e_remainderF e_sinhF e_sqrtF e_gammaF_r \
|
|
e_ilogbF \
|
|
k_tanF s_asinhF s_atanF s_cbrtF \
|
|
s_ceilF s_cosF s_erfF s_expm1F s_fabsF \
|
|
s_floorF s_log1pF s_logbF \
|
|
s_nextafterF s_nexttowardF s_rintF s_scalblnF \
|
|
s_sinF s_tanF s_tanhF \
|
|
s_fpclassifyF s_truncF \
|
|
s_remquoF e_log2F s_roundF s_nearbyintF s_sincosF \
|
|
s_fmaF s_lrintF s_llrintF s_lroundF s_llroundF e_exp10F \
|
|
s_issignalingF $(calls:s_%=m_%) x2y2m1F \
|
|
gamma_productF lgamma_negF lgamma_productF \
|
|
s_nextupF s_totalorderF s_totalordermagF s_getpayloadF \
|
|
s_setpayloadF s_setpayloadsigF s_roundevenF s_fromfpF s_ufromfpF \
|
|
s_fromfpxF s_ufromfpxF $(gen-libm-calls)
|
|
|
|
libm-compat-calls = \
|
|
w_acosF_compat w_acoshF_compat w_asinF_compat w_atan2F_compat \
|
|
w_atanhF_compat w_coshF_compat w_exp2F_compat w_exp10F_compat \
|
|
w_fmodF_compat w_hypotF_compat w_j0F_compat w_j1F_compat \
|
|
w_jnF_compat w_log2F_compat w_log10F_compat w_logF_compat \
|
|
w_powF_compat w_remainderF_compat w_scalbF_compat \
|
|
w_sinhF_compat w_sqrtF_compat w_tgammaF_compat \
|
|
w_lgammaF_r_compat w_lgammaF_compat2 w_expF_compat \
|
|
w_lgamma_compatF k_standardF
|
|
|
|
libm-narrow-fns = add div mul sqrt sub
|
|
libm-narrow-types-basic = s_fF s_f32xFf64
|
|
libm-narrow-types-ldouble-yes = s_fFl s_dFl
|
|
libm-narrow-types-float128-yes = s_f32Ff128 s_f64Ff128 s_f64xFf128
|
|
libm-narrow-types-float128-alias-yes = s_f64xFf128
|
|
libm-narrow-types = $(libm-narrow-types-basic) \
|
|
$(libm-narrow-types-ldouble-$(long-double-fcts)) \
|
|
$(libm-narrow-types-float128-$(float128-fcts)) \
|
|
$(libm-narrow-types-float128-alias-$(float128-alias-fcts))
|
|
|
|
# Type specific routine support.
|
|
#
|
|
# The following three variables control what is included for each type:
|
|
#
|
|
# type-floatN-suffix = The suffix of the type
|
|
# type-floatN-routines = Type specific support objects
|
|
# type-floatN-yes = If the type is supported, evaluates to floatN
|
|
#
|
|
# Finally, note that types is an intentionally recursive variable.
|
|
# We only know the full set of supported types for the target machine
|
|
# after the Rules makefile has been parsed.
|
|
types-basic = $(type-ldouble-$(long-double-fcts)) double float
|
|
|
|
# Like types, but includes types whose functions alias those for
|
|
# another type.
|
|
test-types-basic = ldouble double float
|
|
|
|
# long double support
|
|
type-ldouble-suffix := l
|
|
type-ldouble-routines := t_sincosl k_sinl k_cosl k_sincosl s_iscanonicall \
|
|
e_rem_pio2l
|
|
type-ldouble-yes := ldouble
|
|
|
|
# double support
|
|
type-double-suffix :=
|
|
type-double-routines := branred k_rem_pio2 \
|
|
sincostab math_err e_exp_data e_log_data \
|
|
e_log2_data e_pow_log_data
|
|
|
|
# float support
|
|
type-float-suffix := f
|
|
type-float-routines := math_errf e_exp2f_data e_logf_data \
|
|
e_log2f_data e_powf_log2_data s_sincosf_data
|
|
|
|
# _Float128 support
|
|
type-float128-suffix := f128
|
|
type-float128-routines := t_sincosf128 k_sinf128 k_cosf128 k_sincosf128 \
|
|
e_rem_pio2f128
|
|
type-float128-yes := float128
|
|
|
|
# _Float64x may be supported, only as an alias type.
|
|
type-float64x-yes := float64x
|
|
|
|
# IBM long double support in additional to IEEE 128 long double support
|
|
type-ibm128-suffix := l
|
|
type-ibm128-yes := ibm128
|
|
|
|
types = $(types-basic) $(type-float128-$(float128-fcts))
|
|
test-types = $(test-types-basic) $(type-float128-$(float128-fcts)) \
|
|
float32 float64 $(type-float128-$(float128-alias-fcts)) \
|
|
float32x $(type-float64x-$(float64x-alias-fcts)) \
|
|
$(type-ibm128-$(ibm128-fcts))
|
|
|
|
# Pairs of types for which narrowing functions should be tested (this
|
|
# variable has more entries than libm-narrow-types because it includes
|
|
# pairs for which the functions sometimes or always alias functions
|
|
# for other types). This definition embeds the assumption that if
|
|
# _Float64x is supported, so is _Float128, and vice versa (they may or
|
|
# may not have the same format).
|
|
test-type-pairs = float-double float-ldouble double-ldouble \
|
|
float32-float64 float32-float32x float32x-float64 \
|
|
$(test-type-pairs-f64xf128-$(float128-fcts)) \
|
|
$(test-type-pairs-f64xf128-$(float128-alias-fcts))
|
|
test-type-pairs-f64xf128-yes = float32-float64x float32-float128 \
|
|
float64-float64x float64-float128 \
|
|
float32x-float64x float32x-float128 \
|
|
float64x-float128
|
|
|
|
# For each of the basic types (float, double, long double), replace the
|
|
# occurrences of 'F' in arg 1 with the appropriate suffix for the type.
|
|
type-basic-foreach = $(foreach t, $(types-basic), \
|
|
$(subst F,$(type-$(t)-suffix),$(1)))
|
|
|
|
# Apply suffix to each type in arg 1
|
|
type-foreach = $(foreach t,$(types),$(subst F,$(type-$(t)-suffix),$(1)))
|
|
|
|
libm-routines = $(strip $(libm-support) \
|
|
$(call type-basic-foreach, \
|
|
$(libm-compat-calls)) \
|
|
$(call type-foreach, $(libm-calls)) \
|
|
$(foreach t, $(types), $(type-$(t)-routines))) \
|
|
$(foreach f,$(libm-narrow-fns), \
|
|
$(subst F,$(f),$(libm-narrow-types)))
|
|
|
|
# These functions are in libc instead of libm because __printf_fp
|
|
# calls them, so any program using printf will need them linked in,
|
|
# and we don't want to have to link every program with -lm.
|
|
# In libm-calls (above), list m_foo in place of s_foo for any
|
|
# routine that should be compiled separately for its libc and libm versions.
|
|
calls = s_isinfF s_isnanF s_finiteF s_copysignF s_modfF s_scalbnF s_frexpF \
|
|
s_signbitF $(gen-calls)
|
|
gen-calls = s_ldexpF
|
|
generated += $(foreach s,.c .S,$(call type-foreach, $(calls:s_%=m_%$(s))))
|
|
routines = $(call type-foreach, $(calls))
|
|
# The $(calls) that are shared between libm and libc are not included in static
|
|
# libm so the symbols end up in exactly one place.
|
|
libm-shared-only-routines = $(call type-foreach, $(calls:s_%=m_%))
|
|
|
|
ifeq ($(build-mathvec),yes)
|
|
# We need to install libm.so and libm.a as linker scripts
|
|
# for transparent use of vector math library.
|
|
install-lib-ldscripts := libm.so libm.a
|
|
install-others = $(inst_libdir)/libm.so $(inst_libdir)/libm.a
|
|
$(inst_libdir)/libm.so: $(common-objpfx)format.lds \
|
|
$(libm) \
|
|
$(libmvec) \
|
|
$(+force)
|
|
(echo '/* GNU ld script'; echo '*/';\
|
|
cat $<; \
|
|
echo 'GROUP ( $(slibdir)/libm.so$(libm.so-version) ' \
|
|
'AS_NEEDED ( $(slibdir)/libmvec.so$(libmvec.so-version) ) )' \
|
|
) > $@.new
|
|
mv -f $@.new $@
|
|
|
|
$(inst_libdir)/libm-$(version).a: $(objpfx)libm.a \
|
|
$(+force)
|
|
$(do-install)
|
|
|
|
$(inst_libdir)/libm.a: $(common-objpfx)format.lds \
|
|
$(inst_libdir)/libm-$(version).a \
|
|
$(objpfx)../mathvec/libmvec.a \
|
|
$(+force)
|
|
(echo '/* GNU ld script'; echo '*/';\
|
|
cat $<; \
|
|
echo 'GROUP ( $(libdir)/libm-$(version).a $(libdir)/libmvec.a )' \
|
|
) > $@.new
|
|
mv -f $@.new $@
|
|
endif
|
|
|
|
# Rules for the test suite.
|
|
tests = test-matherr-3 test-fenv basic-test \
|
|
test-misc test-fpucw test-fpucw-ieee tst-definitions test-tgmath \
|
|
test-tgmath-ret bug-nextafter bug-nexttoward bug-tgmath1 \
|
|
test-tgmath-int test-tgmath2 test-powl tst-CMPLX tst-CMPLX2 test-snan \
|
|
test-fenv-tls test-fenv-preserve test-fenv-return \
|
|
test-nearbyint-except test-fenv-clear \
|
|
test-nearbyint-except-2 test-signgam-uchar test-signgam-uchar-init \
|
|
test-signgam-uint test-signgam-uint-init test-signgam-ullong \
|
|
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 \
|
|
test-iseqsig-excess-precision test-flt-eval-method \
|
|
test-fp-ilogb-constants test-fp-llogb-constants \
|
|
test-fe-snans-always-signal test-narrow-macros \
|
|
test-nan-const $(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 \
|
|
test-signgam-ullong-static test-signgam-ullong-init-static
|
|
|
|
# The tested symbols matherr, _LIB_VERSION have been removed in glibc 2.27.
|
|
ifeq ($(have-GLIBC_2.26)$(build-shared),yesyes)
|
|
tests += test-matherr test-matherr-2
|
|
endif
|
|
|
|
# These tests use internal (unexported) GMP functions and are linked
|
|
# statically to obtain access to these functions.
|
|
tests-static += atest-exp atest-sincos atest-exp2
|
|
|
|
ifneq (,$(CXX))
|
|
tests += test-math-isinff test-math-iszero test-math-issignaling \
|
|
test-math-iscanonical test-math-cxx11 test-math-iseqsig
|
|
endif
|
|
|
|
libm-vec-tests = $(addprefix test-,$(libmvec-tests))
|
|
libm-test-support = $(foreach t,$(test-types),libm-test-support-$(t))
|
|
test-extras += $(libm-test-support)
|
|
extra-test-objs += $(addsuffix .o, $(libm-test-support))
|
|
libm-vec-test-wrappers = $(addsuffix -wrappers, $(libm-vec-tests))
|
|
test-extras += $(libm-vec-test-wrappers)
|
|
extra-test-objs += $(addsuffix .o, $(libm-vec-test-wrappers))
|
|
|
|
ulps-file = $(firstword $(wildcard $(sysdirs:%=%/libm-test-ulps)))
|
|
|
|
$(objpfx)libm-test-ulps.h: $(ulps-file) gen-libm-test.py
|
|
$(make-target-directory)
|
|
$(PYTHON) gen-libm-test.py -u $< -H $@
|
|
|
|
libm-test-funcs-auto = acos acosh asin asinh atan atan2 atanh cabs cacos \
|
|
cacosh carg casin casinh catan catanh cbrt ccos ccosh \
|
|
cexp clog clog10 cos cosh cpow csin csinh csqrt ctan \
|
|
ctanh erf erfc exp exp10 exp2 expm1 fma hypot j0 j1 jn \
|
|
lgamma log log10 log1p log2 pow sin sincos sinh sqrt \
|
|
tan tanh tgamma y0 y1 yn
|
|
libm-test-funcs-noauto = canonicalize ceil cimag conj copysign cproj creal \
|
|
fabs fdim floor fmax fmaxmag fmin fminmag fmod \
|
|
fpclassify frexp fromfp fromfpx getpayload ilogb \
|
|
iscanonical iseqsig isfinite isgreater \
|
|
isgreaterequal isinf isless islessequal \
|
|
islessgreater isnan isnormal issignaling issubnormal \
|
|
isunordered iszero llogb llrint llround logb lrint \
|
|
lround modf nearbyint nextafter nextdown nexttoward \
|
|
nextup remainder remquo rint round roundeven scalb \
|
|
scalbln scalbn setpayload setpayloadsig signbit \
|
|
significand totalorder totalordermag trunc ufromfp \
|
|
ufromfpx compat_totalorder compat_totalordermag
|
|
libm-test-funcs-compat = compat_totalorder compat_totalordermag
|
|
libm-test-funcs-narrow = add div mul sqrt sub
|
|
libm-test-funcs-all = $(libm-test-funcs-auto) $(libm-test-funcs-noauto)
|
|
libm-test-c-auto = $(foreach f,$(libm-test-funcs-auto),libm-test-$(f).c)
|
|
libm-test-c-noauto = $(foreach f,$(libm-test-funcs-noauto),libm-test-$(f).c)
|
|
libm-test-c-narrow = $(foreach f,$(libm-test-funcs-narrow),\
|
|
libm-test-narrow-$(f).c)
|
|
generated += libm-test-ulps.h $(libm-test-c-auto) $(libm-test-c-noauto) \
|
|
$(libm-test-c-narrow)
|
|
|
|
libm-tests-base-normal = $(foreach t,$(test-types),test-$(t))
|
|
libm-tests-base-narrow = $(foreach t,$(test-type-pairs),test-$(t))
|
|
libm-tests-base = $(libm-tests-base-normal) $(libm-vec-tests)
|
|
libm-tests-normal = $(foreach t,$(libm-tests-base-normal),\
|
|
$(foreach f,$(libm-test-funcs-all),\
|
|
$(t)-$(f)))
|
|
libm-tests-narrow = $(foreach t,$(libm-tests-base-narrow),\
|
|
$(foreach f,$(libm-test-funcs-narrow),\
|
|
$(t)-$(f)))
|
|
libm-tests-vector = $(foreach t,$(libmvec-tests),\
|
|
$(foreach f,$($(t)-funcs),test-$(t)-$(f)))
|
|
libm-tests = $(libm-tests-normal) $(libm-tests-narrow) $(libm-tests-vector)
|
|
libm-tests-compat = $(foreach t,$(libm-tests-base-normal) \
|
|
$(libm-tests-base-finite),\
|
|
$(foreach f,$(libm-test-funcs-compat),\
|
|
$(t)-$(f)))
|
|
libm-tests-for-type = $(foreach f,$(libm-test-funcs-all),\
|
|
test-$(1)-$(f) test-i$(1)-$(f)) \
|
|
$(filter test-$(1)-%,$(libm-tests-vector) \
|
|
$(libm-tests-narrow))
|
|
|
|
libm-tests.o = $(addsuffix .o,$(libm-tests))
|
|
|
|
tests += $(libm-tests)
|
|
generated += $(addsuffix .c,$(libm-tests)) \
|
|
$(foreach t,$(test-types),libm-test-support-$(t).c)
|
|
|
|
libm-test-c-auto-obj = $(addprefix $(objpfx),$(libm-test-c-auto))
|
|
libm-test-c-noauto-obj = $(addprefix $(objpfx),$(libm-test-c-noauto))
|
|
libm-test-c-narrow-obj = $(addprefix $(objpfx),$(libm-test-c-narrow))
|
|
|
|
$(libm-test-c-noauto-obj): $(objpfx)libm-test%.c: libm-test%.inc \
|
|
gen-libm-test.py
|
|
$(make-target-directory)
|
|
$(PYTHON) gen-libm-test.py -c $< -a /dev/null -C $@
|
|
|
|
$(libm-test-c-auto-obj): $(objpfx)libm-test%.c: libm-test%.inc \
|
|
gen-libm-test.py \
|
|
auto-libm-test-out%
|
|
$(make-target-directory)
|
|
$(PYTHON) gen-libm-test.py -c $< -a auto-libm-test-out$* -C $@
|
|
|
|
$(libm-test-c-narrow-obj): $(objpfx)libm-test%.c: libm-test%.inc \
|
|
gen-libm-test.py \
|
|
auto-libm-test-out%
|
|
$(make-target-directory)
|
|
$(PYTHON) gen-libm-test.py -c $< -a auto-libm-test-out$* -C $@
|
|
|
|
# Tests for totalorder compat symbols reuse the table of tests as
|
|
# processed by gen-libm-test.py, so add dependencies on the generated
|
|
# .c files.
|
|
$(foreach t,$(libm-tests-base),\
|
|
$(objpfx)$(t)-compat_totalorder.o): $(objpfx)libm-test-totalorder.c
|
|
|
|
$(foreach t,$(libm-tests-base),\
|
|
$(objpfx)$(t)-compat_totalordermag.o): $(objpfx)libm-test-totalordermag.c
|
|
|
|
# _Float128x omitted as not supported by gen-tgmath-tests.py.
|
|
tgmath3-narrow-types = f d f16 f32 f64 f128 f32x f64x
|
|
tgmath3-narrow-macros = $(foreach t,$(tgmath3-narrow-types), \
|
|
$(foreach f,$(libm-narrow-fns),$(t)$(f)))
|
|
tgmath3-macros = atan2 cbrt ceil copysign erf erfc exp2 expm1 fdim floor \
|
|
fma fmax fmin fmod frexp hypot ilogb ldexp lgamma llrint \
|
|
llround log10 log1p log2 logb lrint lround nearbyint \
|
|
nextafter nexttoward remainder remquo rint round scalbn \
|
|
scalbln tgamma trunc acos asin atan acosh asinh atanh cos \
|
|
sin tan cosh sinh tanh exp log pow sqrt fabs carg cimag conj \
|
|
cproj creal roundeven nextup nextdown fminmag fmaxmag llogb \
|
|
fromfp fromfpx ufromfp ufromfpx scalb $(tgmath3-narrow-macros)
|
|
tgmath3-macro-tests = $(addprefix test-tgmath3-,$(tgmath3-macros))
|
|
tests += $(tgmath3-macro-tests)
|
|
generated += $(addsuffix .c,$(tgmath3-macro-tests))
|
|
|
|
$(tgmath3-macro-tests:%=$(objpfx)%.o): CFLAGS += -fno-builtin
|
|
|
|
$(foreach m,$(tgmath3-macros),\
|
|
$(objpfx)test-tgmath3-$(m).c): $(objpfx)test-tgmath3-%.c: \
|
|
gen-tgmath-tests.py
|
|
$(PYTHON) gen-tgmath-tests.py $* > $@
|
|
|
|
# Verify that the list of supported macros is in sync between the
|
|
# Makefile and gen-tgmath-tests.py.
|
|
tests-special += $(objpfx)test-tgmath3-macro-list.out
|
|
$(objpfx)test-tgmath3-macro-list.out: gen-tgmath-tests.py
|
|
$(PYTHON) $< check-list $(tgmath3-macros) > $@; \
|
|
$(evaluate-test)
|
|
|
|
libm-test-fast-math-cflags = -fno-builtin -D__FAST_MATH__ -DTEST_FAST_MATH
|
|
libm-test-vec-cflags = $(libm-test-fast-math-cflags) -fno-inline \
|
|
-ffloat-store -D_OPENMP=201307 -Wno-unknown-pragmas
|
|
|
|
CFLAGS-test-double-vlen4-wrappers.c += $(double-vlen4-arch-ext-cflags)
|
|
|
|
CFLAGS-test-double-vlen8-wrappers.c += $(double-vlen8-arch-ext-cflags)
|
|
|
|
CFLAGS-test-float-vlen8-wrappers.c += $(float-vlen8-arch-ext-cflags)
|
|
|
|
CFLAGS-test-float-vlen16-wrappers.c += $(float-vlen16-arch-ext-cflags)
|
|
|
|
# The no-inline tests use -fsignaling-nans, and thereby use the
|
|
# versions of classification macros that support sNaNs. The inline
|
|
# function tests use the versions of classification macros that may
|
|
# raise spurious exceptions for sNaNs, but also do not test for
|
|
# exceptions. Thus both versions of the classification macros are
|
|
# validated.
|
|
libm-test-no-inline-cflags = -fno-inline -ffloat-store -fno-builtin \
|
|
-fsignaling-nans
|
|
CFLAGS-test-tgmath.c += -fno-builtin
|
|
# The following testcase uses very long lines (>3 million), so it may take a
|
|
# while to compile it. See: http://llvm.org/bugs/show_bug.cgi?id=14106 and
|
|
# https://gcc.gnu.org/bugzilla/show_bug.cgi?id=54402
|
|
CFLAGS-test-tgmath2.c += -fno-builtin
|
|
CFLAGS-test-tgmath-ret.c += -fno-builtin
|
|
CFLAGS-test-powl.c += -fno-builtin
|
|
|
|
CFLAGS-test-snan.c += -fsignaling-nans
|
|
|
|
CFLAGS-test-signgam-uchar.c += -std=c99
|
|
CFLAGS-test-signgam-uchar-init.c += -std=c99
|
|
CFLAGS-test-signgam-uchar-static.c += -std=c99
|
|
CFLAGS-test-signgam-uchar-init-static.c += -std=c99
|
|
CFLAGS-test-signgam-uint.c += -std=c99
|
|
CFLAGS-test-signgam-uint-init.c += -std=c99
|
|
CFLAGS-test-signgam-uint-static.c += -std=c99
|
|
CFLAGS-test-signgam-uint-init-static.c += -std=c99
|
|
CFLAGS-test-signgam-ullong.c += -std=c99
|
|
CFLAGS-test-signgam-ullong-init.c += -std=c99
|
|
CFLAGS-test-signgam-ullong-static.c += -std=c99
|
|
CFLAGS-test-signgam-ullong-init-static.c += -std=c99
|
|
|
|
CFLAGS-test-math-cxx11.cc += -std=c++11
|
|
|
|
CFLAGS-test-math-isinff.cc += -std=gnu++11
|
|
CFLAGS-test-math-iszero.cc += -std=gnu++11
|
|
CFLAGS-test-math-issignaling.cc += -std=gnu++11
|
|
CFLAGS-test-math-iscanonical.cc += -std=gnu++11
|
|
|
|
CFLAGS-test-iszero-excess-precision.c += -fexcess-precision=standard
|
|
CFLAGS-test-iseqsig-excess-precision.c += -fexcess-precision=standard
|
|
CFLAGS-test-flt-eval-method.c += -fexcess-precision=standard
|
|
|
|
CFLAGS-test-fe-snans-always-signal.c += -fsignaling-nans
|
|
|
|
CFLAGS-test-nan-const.c += -fno-builtin
|
|
|
|
include ../Rules
|
|
|
|
gen-all-calls = $(gen-libm-calls) $(gen-calls)
|
|
|
|
generated += $(addsuffix .c,$(call type-foreach,$(gen-all-calls))) \
|
|
gen-libm-templates.stmp
|
|
|
|
# Create wrappers in the math build directory.
|
|
$(objpfx)gen-libm-templates.stmp: Makefile
|
|
$(make-target-directory)
|
|
for gcall in $(gen-all-calls); do \
|
|
func=$${gcall%F*}$${gcall#*F}; \
|
|
for type in $(foreach t,$(types),$(t)__$(type-$(t)-suffix)); do \
|
|
suff=$${type#*__}; \
|
|
type=$${type%__*}; \
|
|
file=$(objpfx)$${gcall%F*}$${suff}$${gcall#*F}.c; \
|
|
( \
|
|
echo "#include <math-type-macros-$${type}.h>"; \
|
|
echo "#include <$${func}_template.c>"; \
|
|
) > $${file}; \
|
|
done; \
|
|
done; \
|
|
echo > $(@)
|
|
|
|
# Add dependency to ensure the generator runs prior.
|
|
$(foreach t, $(call type-foreach, $(gen-all-calls)), \
|
|
$(objpfx)$(t).c): $(objpfx)gen-libm-templates.stmp
|
|
|
|
# This must come after the inclusion of sysdeps Makefiles via Rules.
|
|
|
|
$(foreach t,$(libm-tests-normal),$(objpfx)$(t).c): $(objpfx)test-%.c:
|
|
type_func=$*; \
|
|
type=$${type_func%%-*}; \
|
|
func=$${type_func#*-}; \
|
|
( \
|
|
echo "#include <test-$$type.h>"; \
|
|
echo "#include <test-math-exceptions.h>"; \
|
|
echo "#include <test-math-errno.h>"; \
|
|
echo "#include <test-math-scalar.h>"; \
|
|
echo "#include <libm-test-$$func.c>"; \
|
|
) > $@
|
|
|
|
$(foreach t,$(libm-tests-narrow),$(objpfx)$(t).c): $(objpfx)test-%.c:
|
|
type_pair_func=$*; \
|
|
type_pair=$${type_pair_func%-*}; \
|
|
func=$${type_pair_func##*-}; \
|
|
ret_type=$${type_pair%%-*}; \
|
|
arg_type=$${type_pair#*-}; \
|
|
( \
|
|
echo "#include <test-$$ret_type.h>"; \
|
|
echo "#include <test-arg-$$arg_type.h>"; \
|
|
echo "#include <test-math-exceptions.h>"; \
|
|
echo "#include <test-math-errno.h>"; \
|
|
echo "#include <test-math-narrow.h>"; \
|
|
echo "#include <libm-test-narrow-$$func.c>"; \
|
|
) > $@
|
|
|
|
$(foreach t,$(libm-tests-vector),$(objpfx)$(t).c): $(objpfx)test-%.c:
|
|
type_func=$*; \
|
|
type=$${type_func%-*}; \
|
|
func=$${type_func##*-}; \
|
|
func_args=$$(grep ALL_RM_TEST libm-test-$$func.inc \
|
|
| sed 's/.*RUN_TEST_LOOP_//;s/_.*//'); \
|
|
( \
|
|
echo "#include <test-$$type.h>"; \
|
|
echo "WRAPPER_DECL_$$func_args (WRAPPER_NAME (FUNC ($$func)))"; \
|
|
echo "#include <libm-test-$$func.c>"; \
|
|
) > $@
|
|
|
|
$(foreach t,$(test-types),\
|
|
$(objpfx)libm-test-support-$(t).c): $(objpfx)libm-test-support-%.c:
|
|
( \
|
|
echo "#include <test-$*.h>"; \
|
|
echo "#include <libm-test-support.c>"; \
|
|
) > $@
|
|
|
|
$(addprefix $(objpfx), $(libm-tests.o)): $(objpfx)libm-test-ulps.h
|
|
|
|
define o-iterator-doit
|
|
$(foreach f,$(libm-test-funcs-all),\
|
|
$(objpfx)$(o)-$(f).o): $(objpfx)$(o)%.o: $(objpfx)libm-test%.c
|
|
endef
|
|
object-suffixes-left := $(libm-tests-base)
|
|
include $(o-iterator)
|
|
|
|
define o-iterator-doit
|
|
$(foreach f,$(libm-test-funcs-narrow),\
|
|
$(objpfx)$(o)-$(f).o): $(objpfx)$(o)%.o: \
|
|
$(objpfx)libm-test-narrow%.c
|
|
endef
|
|
object-suffixes-left := $(libm-tests-base-narrow)
|
|
include $(o-iterator)
|
|
|
|
define o-iterator-doit
|
|
$(foreach f,$(libm-test-funcs-all),\
|
|
$(objpfx)$(o)-$(f).o): CFLAGS += $(libm-test-no-inline-cflags)
|
|
endef
|
|
object-suffixes-left := $(libm-tests-base-normal)
|
|
include $(o-iterator)
|
|
|
|
define o-iterator-doit
|
|
$(foreach f,$(libm-test-funcs-narrow),\
|
|
$(objpfx)$(o)-$(f).o): CFLAGS += $(libm-test-no-inline-cflags)
|
|
endef
|
|
object-suffixes-left := $(libm-tests-base-narrow)
|
|
include $(o-iterator)
|
|
|
|
define o-iterator-doit
|
|
$(foreach f,$($(o)-funcs),\
|
|
$(objpfx)test-$(o)-$(f).o): CFLAGS += $(libm-test-vec-cflags)
|
|
endef
|
|
object-suffixes-left := $(libmvec-tests)
|
|
include $(o-iterator)
|
|
|
|
define o-iterator-doit
|
|
$(addprefix $(objpfx),\
|
|
$(call libm-tests-for-type,$(o))): $(objpfx)libm-test-support-$(o).o
|
|
endef
|
|
object-suffixes-left := $(test-types)
|
|
include $(o-iterator)
|
|
|
|
define o-iterator-doit
|
|
$(objpfx)libm-test-support-$(o).o: CFLAGS += $(libm-test-no-inline-cflags)
|
|
endef
|
|
object-suffixes-left := $(test-types)
|
|
include $(o-iterator)
|
|
|
|
# Run the math programs to automatically generate ULPs files.
|
|
.PHONY: regen-ulps
|
|
|
|
run-regen-ulps = $(test-wrapper-env) \
|
|
$(run-program-env) \
|
|
$($*-ENV) $(rtld-prefix) $(objpfx)$${run}
|
|
|
|
regen-ulps: $(addprefix $(objpfx),$(libm-tests))
|
|
rm -f $(objpfx)ULPs; rm -f $(objpfx)NewUlps; \
|
|
cp $(ulps-file) $(objpfx)libm-test-ulps; \
|
|
for run in $(libm-tests); do \
|
|
echo "Regenerating ULPs for $${run}"; \
|
|
$(run-regen-ulps) -u -o $(objpfx); \
|
|
cat $(objpfx)ULPs >> $(objpfx)libm-test-ulps; \
|
|
rm $(objpfx)ULPs; \
|
|
done; \
|
|
$(PYTHON) gen-libm-test.py -n $(objpfx)NewUlps \
|
|
-u $(objpfx)libm-test-ulps; \
|
|
echo "Automatic regeneration of ULPs complete."; \
|
|
echo "Difference between the current baseline and the new baseline is:";\
|
|
diff -urN $(ulps-file) $(objpfx)NewUlps; \
|
|
echo "Copy $(objpfx)NewUlps to $(ulps-file) (relative to source)."
|
|
|
|
# The generated sysd-rules file defines rules like this for sources
|
|
# coming from sysdeps/ directories. These rules find the generic sources.
|
|
define o-iterator-doit
|
|
$(objpfx)m_%$o: s_%.c $(before-compile); $$(compile-command.c)
|
|
endef
|
|
object-suffixes-left := $(all-object-suffixes)
|
|
include $(o-iterator)
|
|
|
|
# Likewise, for those generated files shared with libc.
|
|
define o-iterator-doit
|
|
$(objpfx)m_%$o: $(objpfx)s_%.c $(before-compile); $$(compile-command.c)
|
|
endef
|
|
object-suffixes-left := $(all-object-suffixes)
|
|
include $(o-iterator)
|
|
|
|
ifneq ($(long-double-fcts),yes)
|
|
# The `double' and `long double' types are the same on this machine.
|
|
# We won't compile the `long double' code at all. Tell the `double' code
|
|
# to define aliases for the `FUNCl' names.
|
|
math-CPPFLAGS += -DNO_LONG_DOUBLE
|
|
# GCC 10 diagnoses aliases with types conflicting with built-in
|
|
# functions.
|
|
CFLAGS-w_acos.c += -fno-builtin-acosl
|
|
CFLAGS-w_acosh.c += -fno-builtin-acoshl
|
|
CFLAGS-w_asin.c += -fno-builtin-asinl
|
|
CFLAGS-s_asinh.c += -fno-builtin-asinhl
|
|
CFLAGS-s_atan.c += -fno-builtin-atanl
|
|
CFLAGS-w_atan2.c += -fno-builtin-atan2l
|
|
CFLAGS-w_atanh.c += -fno-builtin-atanhl
|
|
CFLAGS-s_cabs.c += -fno-builtin-cabsl
|
|
CFLAGS-s_cacos.c += -fno-builtin-cacosl
|
|
CFLAGS-s_cacosh.c += -fno-builtin-cacoshl
|
|
CFLAGS-s_canonicalize.c += -fno-builtin-canonicalizel
|
|
CFLAGS-s_carg.c += -fno-builtin-cargl
|
|
CFLAGS-s_casin.c += -fno-builtin-casinl
|
|
CFLAGS-s_casinh.c += -fno-builtin-casinhl
|
|
CFLAGS-s_catan.c += -fno-builtin-catanl
|
|
CFLAGS-s_catanh.c += -fno-builtin-catanhl
|
|
CFLAGS-s_cbrt.c += -fno-builtin-cbrtl
|
|
CFLAGS-s_ccos.c += -fno-builtin-ccosl
|
|
CFLAGS-s_ccosh.c += -fno-builtin-ccoshl
|
|
CFLAGS-s_ceil.c += -fno-builtin-ceill
|
|
CFLAGS-s_cexp.c += -fno-builtin-cexpl
|
|
CFLAGS-s_cimag.c += -fno-builtin-cimagl
|
|
CFLAGS-s_clog.c += -fno-builtin-clogl
|
|
CFLAGS-s_clog10.c += -fno-builtin-clog10l
|
|
CFLAGS-s_conj.c += -fno-builtin-conjl
|
|
CFLAGS-s_copysign.c += -fno-builtin-copysignl
|
|
CFLAGS-s_cos.c += -fno-builtin-cosl
|
|
CFLAGS-w_cosh.c += -fno-builtin-coshl
|
|
CFLAGS-s_cpow.c += -fno-builtin-cpowl
|
|
CFLAGS-s_cproj.c += -fno-builtin-cprojl
|
|
CFLAGS-s_creal.c += -fno-builtin-creall
|
|
CFLAGS-s_csin.c += -fno-builtin-csinl
|
|
CFLAGS-s_csinh.c += -fno-builtin-csinhl
|
|
CFLAGS-s_csqrt.c += -fno-builtin-csqrtl
|
|
CFLAGS-s_ctan.c += -fno-builtin-ctanl
|
|
CFLAGS-s_ctanh.c += -fno-builtin-ctanhl
|
|
CFLAGS-s_dadd.c += -fno-builtin-daddl
|
|
CFLAGS-s_ddiv.c += -fno-builtin-ddivl
|
|
CFLAGS-s_dmul.c += -fno-builtin-dmull
|
|
CFLAGS-s_dsqrt.c += -fno-builtin-dsqrtl
|
|
CFLAGS-s_dsub.c += -fno-builtin-dsubl
|
|
CFLAGS-s_erf.c += -fno-builtin-erfl
|
|
CFLAGS-s_erfc.c += -fno-builtin-erfcl
|
|
CFLAGS-e_exp.c += -fno-builtin-expl
|
|
CFLAGS-w_exp10.c += -fno-builtin-exp10l
|
|
CFLAGS-e_exp2.c += -fno-builtin-exp2l
|
|
CFLAGS-s_expm1.c += -fno-builtin-expm1l
|
|
CFLAGS-s_fabs.c += -fno-builtin-fabsl
|
|
CFLAGS-s_fadd.c += -fno-builtin-faddl
|
|
CFLAGS-s_fdim.c += -fno-builtin-fdiml
|
|
CFLAGS-s_fdiv.c += -fno-builtin-fdivl
|
|
CFLAGS-s_finite.c += -fno-builtin-finitel
|
|
CFLAGS-s_floor.c += -fno-builtin-floorl
|
|
CFLAGS-s_fma.c += -fno-builtin-fmal
|
|
CFLAGS-s_fmax.c += -fno-builtin-fmaxl
|
|
CFLAGS-s_fmaxmag.c += -fno-builtin-fmaxmagl
|
|
CFLAGS-s_fmin.c += -fno-builtin-fminl
|
|
CFLAGS-s_fminmag.c += -fno-builtin-fminmagl
|
|
CFLAGS-w_fmod.c += -fno-builtin-fmodl
|
|
CFLAGS-s_fmul.c += -fno-builtin-fmull
|
|
CFLAGS-s_frexp.c += -fno-builtin-frexpl
|
|
CFLAGS-s_fromfp.c += -fno-builtin-fromfpl
|
|
CFLAGS-s_fromfpx.c += -fno-builtin-fromfpxl
|
|
CFLAGS-s_fsqrt.c += -fno-builtin-fsqrtl
|
|
CFLAGS-s_fsub.c += -fno-builtin-fsubl
|
|
CFLAGS-s_gamma.c += -fno-builtin-gammal
|
|
CFLAGS-s_getpayload.c += -fno-builtin-getpayloadl
|
|
CFLAGS-w_hypot.c += -fno-builtin-hypotl
|
|
CFLAGS-w_ilogb.c += -fno-builtin-ilogbl
|
|
CFLAGS-s_isinf.c += -fno-builtin-isinfl
|
|
CFLAGS-s_isnan.c += -fno-builtin-isnanl
|
|
CFLAGS-w_j0.c += -fno-builtin-j0l
|
|
CFLAGS-w_j1.c += -fno-builtin-j1l
|
|
CFLAGS-w_jn.c += -fno-builtin-jnl
|
|
CFLAGS-s_ldexp.c += -fno-builtin-ldexpl
|
|
CFLAGS-w_lgamma.c += -fno-builtin-lgammal
|
|
CFLAGS-w_lgamma_r.c += -fno-builtin-lgammal_r
|
|
CFLAGS-w_llogb.c += -fno-builtin-llogbl
|
|
CFLAGS-s_llrint.c += -fno-builtin-llrintl
|
|
CFLAGS-s_llround.c += -fno-builtin-llroundl
|
|
CFLAGS-e_log.c += -fno-builtin-logl
|
|
CFLAGS-w_log10.c += -fno-builtin-log10l
|
|
CFLAGS-w_log1p.c += -fno-builtin-log1pl
|
|
CFLAGS-e_log2.c += -fno-builtin-log2l
|
|
CFLAGS-s_logb.c += -fno-builtin-logbl
|
|
CFLAGS-s_lrint.c += -fno-builtin-lrintl
|
|
CFLAGS-s_lround.c += -fno-builtin-lroundl
|
|
CFLAGS-s_modf.c += -fno-builtin-modfl
|
|
CFLAGS-s_nan.c += -fno-builtin-nanl
|
|
CFLAGS-s_nearbyint.c += -fno-builtin-nearbyintl
|
|
CFLAGS-s_nextafter.c += -fno-builtin-nextafterl
|
|
CFLAGS-s_nextdown.c += -fno-builtin-nextdownl
|
|
CFLAGS-s_nexttoward.c += -fno-builtin-nexttoward -fno-builtin-nexttowardl
|
|
CFLAGS-s_nexttowardf.c += -fno-builtin-nexttowardf
|
|
CFLAGS-s_nextup.c += -fno-builtin-nextupl
|
|
CFLAGS-e_pow.c += -fno-builtin-powl
|
|
CFLAGS-w_remainder.c += -fno-builtin-remainderl -fno-builtin-dreml
|
|
CFLAGS-s_remquo.c += -fno-builtin-remquol
|
|
CFLAGS-s_rint.c += -fno-builtin-rintl
|
|
CFLAGS-s_round.c += -fno-builtin-roundl
|
|
CFLAGS-s_roundeven.c += -fno-builtin-roundevenl
|
|
CFLAGS-w_scalb.c += -fno-builtin-scalbl
|
|
CFLAGS-w_scalbln.c += -fno-builtin-scalblnl
|
|
CFLAGS-s_scalbn.c += -fno-builtin-scalbnl
|
|
CFLAGS-s_setpayload.c += -fno-builtin-setpayloadl
|
|
CFLAGS-s_setpayloadsig.c += -fno-builtin-setpayloadsigl
|
|
CFLAGS-s_significand.c += -fno-builtin-significandl
|
|
CFLAGS-s_sin.c += -fno-builtin-sinl
|
|
CFLAGS-s_sincos.c += -fno-builtin-sincosl
|
|
CFLAGS-w_sinh.c += -fno-builtin-sinhl
|
|
CFLAGS-w_sqrt.c += -fno-builtin-sqrtl
|
|
CFLAGS-s_tan.c += -fno-builtin-tanl
|
|
CFLAGS-s_tanh.c += -fno-builtin-tanhl
|
|
CFLAGS-w_tgamma.c += -fno-builtin-tgammal
|
|
CFLAGS-s_totalorder.c += -fno-builtin-totalorderl
|
|
CFLAGS-s_totalordermag.c += -fno-builtin-totalordermagl
|
|
CFLAGS-s_trunc.c += -fno-builtin-truncl
|
|
CFLAGS-s_ufromfp.c += -fno-builtin-ufromfpl
|
|
CFLAGS-s_ufromfpx.c += -fno-builtin-ufromfpxl
|
|
CFLAGS-s_y0.c += -fno-builtin-y0l
|
|
CFLAGS-s_y1.c += -fno-builtin-y1l
|
|
CFLAGS-s_yn.c += -fno-builtin-ynl
|
|
endif
|
|
|
|
# These files quiet sNaNs in a way that is optimized away without
|
|
# -fsignaling-nans.
|
|
CFLAGS-s_modf.c += -fsignaling-nans
|
|
CFLAGS-s_modff.c += -fsignaling-nans
|
|
CFLAGS-s_modfl.c += -fsignaling-nans
|
|
CFLAGS-s_modff128.c += -fsignaling-nans
|
|
|
|
$(addprefix $(objpfx),\
|
|
$(filter-out $(tests-static) $(libm-tests-vector),\
|
|
$(tests) $(tests-internal))): $(libm)
|
|
$(addprefix $(objpfx),$(tests-static)): $(objpfx)libm.a
|
|
define o-iterator-doit
|
|
$(foreach f,$($(o)-funcs),\
|
|
$(objpfx)test-$(o)-$(f)): $(objpfx)test-$(o)-wrappers.o \
|
|
$(libm) $(libmvec)
|
|
endef
|
|
object-suffixes-left := $(libmvec-tests)
|
|
include $(o-iterator)
|
|
|
|
$(objpfx)test-fenv-tls: $(shared-thread-library)
|