mirror of
https://sourceware.org/git/glibc.git
synced 2024-09-20 00:19:57 +00:00
ce6698ea0a
This defines a new classes of libm objects. The <func>_template.c file which is used in conjunction with the new makefile hooks to derive variants for each type supported by the target machine. The headers math-type-macros-TYPE.h are used to supply macros to a common implementation of a function in a file named FUNC_template.c and glued togethor via a generated file matching existing naming in the build directory. This has the properties of preserving the existing override mechanism and not requiring any arcane build system twiddling. Likewise, it enables machines to override these files without any additional work. I have verified the built objects for ppc64, x86_64, alpha, arm, and m68k do not change in any meaningful way with these changes using the Fedora cross toolchains. I have verified the x86_64 and ppc64 changes still run.
380 lines
15 KiB
Makefile
380 lines
15 KiB
Makefile
# Copyright (C) 1996-2016 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
|
|
# <http://www.gnu.org/licenses/>.
|
|
|
|
# Makefile for the math library.
|
|
|
|
subdir := math
|
|
|
|
include ../Makeconfig
|
|
|
|
# Installed header files.
|
|
headers := math.h bits/mathcalls.h bits/mathinline.h bits/huge_val.h \
|
|
bits/huge_valf.h bits/huge_vall.h bits/inf.h bits/nan.h \
|
|
fpu_control.h complex.h bits/cmathcalls.h fenv.h \
|
|
bits/fenv.h bits/fenvinline.h bits/mathdef.h tgmath.h \
|
|
bits/math-finite.h bits/math-vector.h \
|
|
bits/libm-simd-decl-stubs.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 t_exp fedisblxcpt feenablxcpt \
|
|
fegetexcept fesetexcept
|
|
|
|
# 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
|
|
|
|
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_rem_pio2F e_remainderF e_scalbF e_sinhF e_sqrtF e_gammaF_r \
|
|
e_ilogbF \
|
|
k_cosF k_rem_pio2F k_sinF k_tanF s_asinhF s_atanF s_cbrtF \
|
|
s_ceilF s_cosF s_erfF s_expm1F s_fabsF \
|
|
s_floorF s_log1pF w_log1pF s_logbF \
|
|
s_nextafterF s_nexttowardF s_rintF s_scalblnF w_scalblnF \
|
|
s_significandF s_sinF s_tanF s_tanhF w_acosF w_acoshF w_asinF \
|
|
w_atan2F w_atanhF w_coshF w_expF w_exp2F w_exp10F w_fmodF \
|
|
w_tgammaF w_hypotF w_j0F w_j1F w_jnF w_lgammaF w_lgammaF_r \
|
|
w_logF w_log10F w_powF w_remainderF w_scalbF w_sinhF w_sqrtF \
|
|
w_ilogbF \
|
|
s_fpclassifyF s_fmaxF s_fminF s_fdimF s_nanF s_truncF \
|
|
s_remquoF e_log2F e_exp2F s_roundF s_nearbyintF s_sincosF \
|
|
s_cexpF s_csinhF s_ccoshF s_clogF \
|
|
s_catanF s_casinF s_ccosF s_csinF s_ctanF s_ctanhF s_cacosF \
|
|
s_casinhF s_cacoshF s_catanhF s_csqrtF s_cpowF s_cprojF s_clog10F \
|
|
s_fmaF s_lrintF s_llrintF s_lroundF s_llroundF e_exp10F w_log2F \
|
|
s_issignalingF $(calls:s_%=m_%) x2y2m1F k_casinhF \
|
|
gamma_productF lgamma_negF lgamma_productF \
|
|
s_nextupF s_nextdownF $(gen-libm-calls)
|
|
|
|
libm-compat-calls-ldouble-yes = w_lgamma_compatl k_standardl
|
|
libm-compat-calls = w_lgamma_compatf w_lgamma_compat k_standard k_standardf \
|
|
$(libm-compat-calls-ldouble-$(long-double-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 = $(type-ldouble-$(long-double-fcts)) double float
|
|
|
|
# long double support
|
|
type-ldouble-suffix := l
|
|
type-ldouble-routines := t_sincosl k_sincosl
|
|
type-ldouble-yes := ldouble
|
|
|
|
# double support
|
|
type-double-suffix :=
|
|
type-double-routines := branred doasin dosincos halfulp mpa mpatan2 \
|
|
mpatan mpexp mplog mpsqrt mptan sincos32 slowexp \
|
|
slowpow sincostab
|
|
|
|
# float support
|
|
type-float-suffix := f
|
|
type-float-routines :=
|
|
|
|
|
|
# Apply suffix to each type in arg 1
|
|
type-foreach = $(foreach t,$(types),$(subst F,$(type-$(t)-suffix),$(1)))
|
|
|
|
libm-routines = $(strip $(libm-support) $(libm-compat-calls) \
|
|
$(call type-foreach, $(libm-calls)) \
|
|
$(foreach t, $(types), $(type-$(t)-routines))) \
|
|
|
|
# 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_ldexpF s_signbitF
|
|
generated += $(foreach s,.c .S,$(call type-foreach, $(calls:s_%=m_%$(s))))
|
|
routines = $(call type-foreach, $(calls))
|
|
|
|
ifeq ($(build-mathvec),yes)
|
|
# We need to install libm.so as linker script
|
|
# for more comfortable use of vector math library.
|
|
install-lib-ldscripts := libm.so
|
|
install_subdir: $(inst_libdir)/libm.so
|
|
$(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 ( $(libdir)/libmvec_nonshared.a $(slibdir)/libmvec.so$(libmvec.so-version) ) )' \
|
|
) > $@.new
|
|
mv -f $@.new $@
|
|
endif
|
|
|
|
# Rules for the test suite.
|
|
tests = test-matherr test-fenv atest-exp atest-sincos atest-exp2 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-fenvinline \
|
|
test-nearbyint-except test-fenv-clear test-signgam-finite \
|
|
test-signgam-finite-c99 test-signgam-finite-c11 \
|
|
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 $(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
|
|
|
|
ifneq (,$(CXX))
|
|
tests += test-math-isinff
|
|
endif
|
|
|
|
ifneq (no,$(PERL))
|
|
libm-vec-tests = $(addprefix test-,$(libmvec-tests))
|
|
|
|
libm-tests = $(foreach t,$(types),test-$(t) test-$(t)-finite test-i$(t)) \
|
|
$(libm-vec-tests)
|
|
|
|
libm-tests.o = $(addsuffix .o,$(libm-tests))
|
|
|
|
tests += $(libm-tests)
|
|
libm-vec-test-wrappers = $(addsuffix -wrappers, $(libm-vec-tests))
|
|
test-extras += $(libm-vec-test-wrappers)
|
|
extra-test-objs += $(addsuffix .o, $(libm-vec-test-wrappers))
|
|
libm-tests-generated = libm-test-ulps.h libm-have-vector-test.h libm-test.c
|
|
generated += $(libm-tests-generated) libm-test.stmp
|
|
|
|
# This is needed for dependencies
|
|
before-compile += $(objpfx)libm-test.c
|
|
|
|
ulps-file = $(firstword $(wildcard $(sysdirs:%=%/libm-test-ulps)))
|
|
|
|
$(addprefix $(objpfx), $(libm-tests-generated)): $(objpfx)libm-test.stmp
|
|
|
|
$(objpfx)libm-test.stmp: $(ulps-file) libm-test.inc gen-libm-test.pl \
|
|
gen-libm-have-vector-test.sh auto-libm-test-out
|
|
$(make-target-directory)
|
|
$(PERL) gen-libm-test.pl -u $< -o "$(objpfx)"
|
|
$(SHELL) gen-libm-have-vector-test.sh > $(objpfx)libm-have-vector-test.h
|
|
@echo > $@
|
|
endif
|
|
|
|
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-vlen2.c = $(libm-test-vec-cflags)
|
|
|
|
CFLAGS-test-double-vlen4.c = $(libm-test-vec-cflags)
|
|
CFLAGS-test-double-vlen4-wrappers.c = $(double-vlen4-arch-ext-cflags)
|
|
|
|
CFLAGS-test-double-vlen8.c = $(libm-test-vec-cflags)
|
|
CFLAGS-test-double-vlen8-wrappers.c = $(double-vlen8-arch-ext-cflags)
|
|
|
|
CFLAGS-test-float-vlen4.c = $(libm-test-vec-cflags)
|
|
|
|
CFLAGS-test-float-vlen8.c = $(libm-test-vec-cflags)
|
|
CFLAGS-test-float-vlen8-wrappers.c = $(float-vlen8-arch-ext-cflags)
|
|
|
|
CFLAGS-test-float-vlen16.c = $(libm-test-vec-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
|
|
libm-test-finite-cflags = $(libm-test-no-inline-cflags) \
|
|
-U__FINITE_MATH_ONLY__ -D__FINITE_MATH_ONLY__=1
|
|
CFLAGS-test-float.c = $(libm-test-no-inline-cflags)
|
|
CFLAGS-test-float-finite.c = $(libm-test-finite-cflags)
|
|
CFLAGS-test-double.c = $(libm-test-no-inline-cflags)
|
|
CFLAGS-test-double-finite.c = $(libm-test-finite-cflags)
|
|
CFLAGS-test-ldouble.c = $(libm-test-no-inline-cflags)
|
|
CFLAGS-test-ldouble-finite.c = $(libm-test-finite-cflags)
|
|
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
|
|
# http://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
|
|
CPPFLAGS-test-ifloat.c = -U__LIBC_INTERNAL_MATH_INLINES \
|
|
$(libm-test-fast-math-cflags)
|
|
CPPFLAGS-test-idouble.c = -U__LIBC_INTERNAL_MATH_INLINES \
|
|
$(libm-test-fast-math-cflags)
|
|
CPPFLAGS-test-ildouble.c = -U__LIBC_INTERNAL_MATH_INLINES \
|
|
$(libm-test-fast-math-cflags)
|
|
|
|
CFLAGS-test-signgam-finite.c = -ffinite-math-only
|
|
CFLAGS-test-signgam-finite-c99.c = -ffinite-math-only -std=c99
|
|
CFLAGS-test-signgam-finite-c11.c = -ffinite-math-only -std=c11
|
|
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-isinff.cc = -std=gnu++11
|
|
|
|
# The -lieee module sets the _LIB_VERSION_ switch to IEEE mode
|
|
# for error handling in the -lm functions.
|
|
install-lib += libieee.a
|
|
non-lib.a += libieee.a
|
|
extra-objs += libieee.a ieee-math.o
|
|
|
|
include ../Rules
|
|
|
|
generated += $(addsuffix .c,$(call type-foreach,$(gen-libm-calls))) \
|
|
gen-libm-templates.stmp
|
|
|
|
# Create wrappers in the math build directory.
|
|
$(objpfx)gen-libm-templates.stmp:
|
|
for gcall in $(gen-libm-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-libm-calls)), \
|
|
$(objpfx)$(t).c): $(objpfx)gen-libm-templates.stmp
|
|
|
|
ifneq (no,$(PERL))
|
|
# This must come after the inclusion of sysdeps Makefiles via Rules.
|
|
$(addprefix $(objpfx), $(libm-tests.o)): $(objpfx)libm-test.stmp
|
|
|
|
# Run the math programs to automatically generate ULPs files.
|
|
.PHONY: regen-ulps
|
|
|
|
run-regen-ulps = $(test-wrapper-env) \
|
|
$(run-program-env) \
|
|
$($*-ENV) $(rtld-prefix) $${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 $^; do \
|
|
echo "Regenerating ULPs for $${run}"; \
|
|
$(run-regen-ulps) -u -o $(objpfx); \
|
|
cat $(objpfx)ULPs >> $(objpfx)libm-test-ulps; \
|
|
rm $(objpfx)ULPs; \
|
|
done; \
|
|
$(PERL) gen-libm-test.pl -o $(objpfx) -n -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)."
|
|
else
|
|
regen-ulps:
|
|
@echo "Automatic regeneration of ULPs requires perl."; \
|
|
exit 1;
|
|
endif
|
|
|
|
# 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)
|
|
|
|
|
|
# This file defines the default _LIB_VERSION variable that controls
|
|
# the error return conventions for the math functions.
|
|
CPPFLAGS-s_lib_version.c := -D_POSIX_MODE
|
|
|
|
# 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. To avoid type conflicts in
|
|
# defining those aliases, tell <math.h> to declare the `FUNCl' names with
|
|
# `double' instead of `long double'.
|
|
math-CPPFLAGS += -DNO_LONG_DOUBLE -D_Mlong_double_=double
|
|
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
|
|
|
|
# The -lieee library is actually an object file.
|
|
# The module just defines the _LIB_VERSION_ variable.
|
|
# It's not a library to make sure it is linked in instead of s_lib_version.o.
|
|
$(objpfx)libieee.a: $(objpfx)ieee-math.o
|
|
rm -f $@
|
|
$(patsubst %/,cd % &&,$(objpfx)) \
|
|
$(LN_S) $(<F) $(@F)
|
|
|
|
$(addprefix $(objpfx),\
|
|
$(filter-out $(tests-static) $(libm-vec-tests),$(tests))): $(libm)
|
|
$(addprefix $(objpfx),$(tests-static)): $(objpfx)libm.a
|
|
$(addprefix $(objpfx), $(libm-vec-tests)): $(objpfx)%: $(objpfx)%-wrappers.o \
|
|
$(libm) $(libmvec)
|
|
|
|
gmp-objs = $(patsubst %,$(common-objpfx)stdlib/%.o,\
|
|
add_n sub_n cmp addmul_1 mul_1 mul_n divmod_1 \
|
|
lshift rshift mp_clz_tab udiv_qrnnd inlines \
|
|
$(gmp-sysdep_routines))
|
|
$(objpfx)atest-exp: $(gmp-objs)
|
|
$(objpfx)atest-sincos: $(gmp-objs)
|
|
$(objpfx)atest-exp2: $(gmp-objs)
|
|
$(objpfx)test-fenv-tls: $(shared-thread-library)
|