821 lines
32 KiB
Makefile
821 lines
32 KiB
Makefile
# Copyright (C) 1996-2022 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
|
|
|
|
ifeq (yes,$(compile-with-lcc))
|
|
# FIXME: how could this duplication be avoided with this idiotical Makefile
|
|
# IF syntax lacking OR, AND ...
|
|
ifeq ($(base-machine),e2k)
|
|
headers += bits/mathinline.h
|
|
endif
|
|
|
|
ifeq ($(base-machine),sparc)
|
|
headers += bits/mathinline.h
|
|
endif
|
|
endif # compile-with-lcc
|
|
|
|
# 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 \
|
|
s_fmaximumF s_fmaximum_magF s_fmaximum_numF \
|
|
s_fmaximum_mag_numF s_fminimumF s_fminimum_magF \
|
|
s_fminimum_numF s_fminimum_mag_numF
|
|
|
|
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 fma 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
|
|
|
|
ifeq ($(base-machine),sparc)
|
|
# There are files in `sysdeps/sparc/fpu' implemented by <vlog@mcst.ru>
|
|
# providing these functions.
|
|
type-double-routines += k_sin k_cos
|
|
endif
|
|
|
|
# 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
|
|
|
|
ifeq ($(base-machine),sparc)
|
|
# `sysdeps/ieee754/flt-32/{e,k}_rem_pio2f.c' have been kept because of a
|
|
# number of functions in `sysdeps/sparc/fpu' implemented by <vlog@mcst.ru>.
|
|
type-float-routines += e_rem_pio2f k_rem_pio2f
|
|
endif
|
|
|
|
|
|
# _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 fmaximum fmaximum_mag \
|
|
fmaximum_mag_num fmaximum_num fmaxmag fmin fminimum \
|
|
fminimum_mag fminimum_mag_num fminimum_num 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 fma 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 exp10 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 \
|
|
fmaximum fmaximum_mag fmaximum_num fmaximum_mag_num \
|
|
fminimum fminimum_mag fminimum_num fminimum_mag_num 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
|
|
ifeq ($(compile-with-lcc),yes)
|
|
CFLAGS-test-tgmath2.c += -O0 -D__OPTIMIZE__
|
|
endif
|
|
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)
|
|
|
|
# We don't want the fdlibm code to use the inline math functions,
|
|
# only the fdlibm code.
|
|
math-CPPFLAGS += -D__NO_MATH_INLINES -D__LIBC_INTERNAL_MATH_INLINES
|
|
|
|
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_dfma.c += -fno-builtin-dfmal
|
|
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_ffma.c += -fno-builtin-ffmal
|
|
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_fmaximum.c += -fno-builtin-fmaximuml
|
|
CFLAGS-s_fmaximum_mag.c += -fno-builtin-fmaximum_magl
|
|
CFLAGS-s_fmaximum_mag_num.c += -fno-builtin-fmaximum_mag_numl
|
|
CFLAGS-s_fmaximum_num.c += -fno-builtin-fmaximum_numl
|
|
CFLAGS-s_fmaxmag.c += -fno-builtin-fmaxmagl
|
|
CFLAGS-s_fmin.c += -fno-builtin-fminl
|
|
CFLAGS-s_fminimum.c += -fno-builtin-fminimuml
|
|
CFLAGS-s_fminimum_mag.c += -fno-builtin-fminimum_magl
|
|
CFLAGS-s_fminimum_mag_num.c += -fno-builtin-fminimum_mag_numl
|
|
CFLAGS-s_fminimum_num.c += -fno-builtin-fminimum_numl
|
|
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)
|