math/Makefile

   1 # Copyright (C) 1996-2016 Free Software Foundation, Inc.
   2 # This file is part of the GNU C Library.
   3
   4 # The GNU C Library is free software; you can redistribute it and/or
   5 # modify it under the terms of the GNU Lesser General Public
   6 # License as published by the Free Software Foundation; either
   7 # version 2.1 of the License, or (at your option) any later version.
   8
   9 # The GNU C Library is distributed in the hope that it will be useful,
  10 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  11 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  12 # Lesser General Public License for more details.
  13
  14 # You should have received a copy of the GNU Lesser General Public
  15 # License along with the GNU C Library; if not, see
  16 # <http://www.gnu.org/licenses/>.
  17
  18 # Makefile for the math library.
  19
  20 subdir          := math
  21
  22 include ../Makeconfig
  23
  24 # Installed header files.
  25 headers         := math.h bits/mathcalls.h bits/mathinline.h bits/huge_val.h \
  26                    bits/huge_valf.h bits/huge_vall.h bits/inf.h bits/nan.h \
  27                    fpu_control.h complex.h bits/cmathcalls.h fenv.h \
  28                    bits/fenv.h bits/fenvinline.h bits/mathdef.h tgmath.h \
  29                    bits/math-finite.h bits/math-vector.h \
  30                    bits/libm-simd-decl-stubs.h
  31
  32 # FPU support code.
  33 aux             := setfpucw fpu_control
  34
  35 # Build the -lm library.
  36
  37 extra-libs      := libm
  38 extra-libs-others = $(extra-libs)
  39
  40 libm-support = s_lib_version s_matherr s_signgam                        \
  41                fclrexcpt fgetexcptflg fraiseexcpt fsetexcptflg          \
  42                ftestexcept fegetround fesetround fegetenv feholdexcpt   \
  43                fesetenv feupdateenv t_exp fedisblxcpt feenablxcpt       \
  44                fegetexcept
  45 libm-calls = e_acos e_acosh e_asin e_atan2 e_atanh e_cosh e_exp e_fmod  \
  46              e_hypot e_j0 e_j1 e_jn e_lgamma_r e_log e_log10 e_pow      \
  47              e_rem_pio2 e_remainder e_scalb e_sinh e_sqrt e_gamma_r     \
  48              e_ilogb                                                    \
  49              k_cos k_rem_pio2 k_sin k_tan s_asinh s_atan s_cbrt         \
  50              s_ceil s_cos s_erf s_expm1 s_fabs                          \
  51              s_floor s_log1p w_log1p s_logb                             \
  52              s_nextafter s_nexttoward s_rint s_scalbln w_scalbln        \
  53              s_significand s_sin s_tan s_tanh w_acos w_acosh w_asin     \
  54              w_atan2 w_atanh w_cosh w_exp w_exp2 w_exp10 w_fmod         \
  55              w_tgamma w_hypot w_j0 w_j1 w_jn w_lgamma w_lgamma_r        \
  56              w_log w_log10 w_pow w_remainder w_scalb w_sinh w_sqrt      \
  57              w_ilogb                                                    \
  58              s_fpclassify s_fmax s_fmin s_fdim s_nan s_trunc            \
  59              s_remquo e_log2 e_exp2 s_round s_nearbyint s_sincos        \
  60              conj cimag creal cabs carg s_cexp s_csinh s_ccosh s_clog   \
  61              s_catan s_casin s_ccos s_csin s_ctan s_ctanh s_cacos       \
  62              s_casinh s_cacosh s_catanh s_csqrt s_cpow s_cproj s_clog10 \
  63              s_fma s_lrint s_llrint s_lround s_llround e_exp10 w_log2   \
  64              s_issignaling $(calls:s_%=m_%) x2y2m1 k_casinh     \
  65              gamma_product k_standard lgamma_neg lgamma_product         \
  66              w_lgamma_compat
  67
  68 dbl-only-routines := branred doasin dosincos halfulp mpa mpatan2        \
  69                      mpatan mpexp mplog mpsqrt mptan sincos32 slowexp   \
  70                      slowpow sincostab
  71 libm-routines = $(strip $(libm-support) $(libm-calls) \
  72                         $(patsubst %_rf,%f_r,$(libm-calls:=f))  \
  73                         $(long-m-$(long-double-fcts))) \
  74                 $(dbl-only-routines)
  75 long-m-routines = $(patsubst %_rl,%l_r,$(libm-calls:=l))
  76 long-m-support = t_sincosl k_sincosl
  77 long-m-yes = $(long-m-routines) $(long-m-support)
  78
  79 # These functions are in libc instead of libm because __printf_fp
  80 # calls them, so any program using printf will need them linked in,
  81 # and we don't want to have to link every program with -lm.
  82 # In libm-calls (above), list m_foo in place of s_foo for any
  83 # routine that should be compiled separately for its libc and libm versions.
  84 calls = s_isinf s_isnan s_finite s_copysign s_modf s_scalbn s_frexp s_ldexp \
  85         s_signbit
  86 generated += $(foreach s,.c .S l.c l.S f.c f.S,$(calls:s_%=m_%$s))
  87 routines = $(calls) $(calls:=f) $(long-c-$(long-double-fcts))
  88 long-c-yes = $(calls:=l)
  89
  90 ifeq ($(build-mathvec),yes)
  91 # We need to install libm.so as linker script
  92 # for more comfortable use of vector math library.
  93 install-lib-ldscripts := libm.so
  94 install_subdir: $(inst_libdir)/libm.so
  95 $(inst_libdir)/libm.so: $(common-objpfx)format.lds \
  96                         $(libm) \
  97                         $(libmvec) \
  98                         $(+force)
  99         (echo '/* GNU ld script'; echo '*/';\
 100          cat $<; \
 101          echo 'GROUP ( $(slibdir)/libm.so$(libm.so-version) ' \
 102               'AS_NEEDED ( $(libdir)/libmvec_nonshared.a $(slibdir)/libmvec.so$(libmvec.so-version) ) )' \
 103         ) > $@
 104 endif
 105
 106 # Rules for the test suite.
 107 tests = test-matherr test-fenv atest-exp atest-sincos atest-exp2 basic-test \
 108         test-misc test-fpucw test-fpucw-ieee tst-definitions test-tgmath \
 109         test-tgmath-ret bug-nextafter bug-nexttoward bug-tgmath1 \
 110         test-tgmath-int test-tgmath2 test-powl tst-CMPLX tst-CMPLX2 test-snan \
 111         test-fenv-tls test-fenv-preserve test-fenv-return test-fenvinline \
 112         test-nearbyint-except test-fenv-clear test-signgam-finite \
 113         test-signgam-finite-c99 test-signgam-finite-c11 \
 114         test-nearbyint-except-2 test-signgam-uchar test-signgam-uchar-init \
 115         test-signgam-uint test-signgam-uint-init test-signgam-ullong \
 116         test-signgam-ullong-init test-nan-overflow test-nan-payload \
 117         $(tests-static)
 118 tests-static = test-fpucw-static test-fpucw-ieee-static \
 119                test-signgam-uchar-static test-signgam-uchar-init-static \
 120                test-signgam-uint-static test-signgam-uint-init-static \
 121                test-signgam-ullong-static test-signgam-ullong-init-static
 122 # We do the `long double' tests only if this data type is available and
 123 # distinct from `double'.
 124 test-longdouble-yes = test-ldouble test-ildoubl test-ldouble-finite
 125
 126 ifneq (no,$(PERL))
 127 libm-vec-tests = $(addprefix test-,$(libmvec-tests))
 128 libm-tests = test-float test-double $(test-longdouble-$(long-double-fcts)) \
 129         test-ifloat test-idouble test-float-finite test-double-finite \
 130         $(libm-vec-tests)
 131 libm-tests.o = $(addsuffix .o,$(libm-tests))
 132
 133 tests += $(libm-tests)
 134 libm-tests-generated = libm-test-ulps.h libm-have-vector-test.h libm-test.c
 135 generated += $(libm-tests-generated) libm-test.stmp
 136
 137 # This is needed for dependencies
 138 before-compile += $(objpfx)libm-test.c
 139
 140 ulps-file = $(firstword $(wildcard $(sysdirs:%=%/libm-test-ulps)))
 141
 142 $(addprefix $(objpfx), $(libm-tests-generated)): $(objpfx)libm-test.stmp
 143
 144 $(objpfx)libm-test.stmp: $(ulps-file) libm-test.inc gen-libm-test.pl \
 145                          gen-libm-have-vector-test.sh auto-libm-test-out
 146         $(make-target-directory)
 147         $(PERL) gen-libm-test.pl -u $< -o "$(objpfx)"
 148         $(SHELL) gen-libm-have-vector-test.sh > $(objpfx)libm-have-vector-test.h
 149         @echo > $@
 150
 151 $(objpfx)test-float.o: $(objpfx)libm-test.stmp
 152 $(objpfx)test-ifloat.o: $(objpfx)libm-test.stmp
 153 $(objpfx)test-float-finite.o: $(objpfx)libm-test.stmp
 154 $(objpfx)test-double.o: $(objpfx)libm-test.stmp
 155 $(objpfx)test-idouble.o: $(objpfx)libm-test.stmp
 156 $(objpfx)test-double-finite.o: $(objpfx)libm-test.stmp
 157 $(objpfx)test-ldouble.o: $(objpfx)libm-test.stmp
 158 $(objpfx)test-ildoubl.o: $(objpfx)libm-test.stmp
 159 $(objpfx)test-ldouble-finite.o: $(objpfx)libm-test.stmp
 160 endif
 161
 162 libm-test-fast-math-cflags = -fno-builtin -D__FAST_MATH__ -DTEST_FAST_MATH
 163 libm-test-vec-cflags = $(libm-test-fast-math-cflags) -fno-inline \
 164                        -ffloat-store -D_OPENMP=201307 -Wno-unknown-pragmas
 165
 166 CFLAGS-test-double-vlen2.c = $(libm-test-vec-cflags)
 167
 168 CFLAGS-test-double-vlen4.c = $(libm-test-vec-cflags)
 169 CFLAGS-test-double-vlen4-wrappers.c = $(double-vlen4-arch-ext-cflags)
 170
 171 CFLAGS-test-double-vlen8.c = $(libm-test-vec-cflags)
 172 CFLAGS-test-double-vlen8-wrappers.c = $(double-vlen8-arch-ext-cflags)
 173
 174 CFLAGS-test-float-vlen4.c = $(libm-test-vec-cflags)
 175
 176 CFLAGS-test-float-vlen8.c = $(libm-test-vec-cflags)
 177 CFLAGS-test-float-vlen8-wrappers.c = $(float-vlen8-arch-ext-cflags)
 178
 179 CFLAGS-test-float-vlen16.c = $(libm-test-vec-cflags)
 180 CFLAGS-test-float-vlen16-wrappers.c = $(float-vlen16-arch-ext-cflags)
 181
 182 libm-test-no-inline-cflags = -fno-inline -ffloat-store -fno-builtin
 183 libm-test-finite-cflags = $(libm-test-no-inline-cflags) \
 184                           -U__FINITE_MATH_ONLY__ -D__FINITE_MATH_ONLY__=1
 185 CFLAGS-test-float.c = $(libm-test-no-inline-cflags)
 186 CFLAGS-test-float-finite.c = $(libm-test-finite-cflags)
 187 CFLAGS-test-double.c = $(libm-test-no-inline-cflags)
 188 CFLAGS-test-double-finite.c = $(libm-test-finite-cflags)
 189 CFLAGS-test-ldouble.c = $(libm-test-no-inline-cflags)
 190 CFLAGS-test-ldouble-finite.c = $(libm-test-finite-cflags)
 191 CFLAGS-test-tgmath.c = -fno-builtin
 192 # The following testcase uses very long lines (>3 million), so it may take a
 193 # while to compile it. See: http://llvm.org/bugs/show_bug.cgi?id=14106 and
 194 # http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54402
 195 CFLAGS-test-tgmath2.c = -fno-builtin
 196 CFLAGS-test-tgmath-ret.c = -fno-builtin
 197 CFLAGS-test-powl.c = -fno-builtin
 198
 199 CFLAGS-test-snan.c = -fsignaling-nans
 200 CPPFLAGS-test-ifloat.c = -U__LIBC_INTERNAL_MATH_INLINES \
 201                          $(libm-test-fast-math-cflags)
 202 CPPFLAGS-test-idouble.c = -U__LIBC_INTERNAL_MATH_INLINES \
 203                           $(libm-test-fast-math-cflags)
 204 CPPFLAGS-test-ildoubl.c = -U__LIBC_INTERNAL_MATH_INLINES \
 205                           $(libm-test-fast-math-cflags)
 206
 207 CFLAGS-test-signgam-finite.c = -ffinite-math-only
 208 CFLAGS-test-signgam-finite-c99.c = -ffinite-math-only -std=c99
 209 CFLAGS-test-signgam-finite-c11.c = -ffinite-math-only -std=c11
 210 CFLAGS-test-signgam-uchar.c = -std=c99
 211 CFLAGS-test-signgam-uchar-init.c = -std=c99
 212 CFLAGS-test-signgam-uchar-static.c = -std=c99
 213 CFLAGS-test-signgam-uchar-init-static.c = -std=c99
 214 CFLAGS-test-signgam-uint.c = -std=c99
 215 CFLAGS-test-signgam-uint-init.c = -std=c99
 216 CFLAGS-test-signgam-uint-static.c = -std=c99
 217 CFLAGS-test-signgam-uint-init-static.c = -std=c99
 218 CFLAGS-test-signgam-ullong.c = -std=c99
 219 CFLAGS-test-signgam-ullong-init.c = -std=c99
 220 CFLAGS-test-signgam-ullong-static.c = -std=c99
 221 CFLAGS-test-signgam-ullong-init-static.c = -std=c99
 222
 223 # The -lieee module sets the _LIB_VERSION_ switch to IEEE mode
 224 # for error handling in the -lm functions.
 225 install-lib += libieee.a
 226 non-lib.a += libieee.a
 227 extra-objs += libieee.a ieee-math.o
 228
 229 include ../Rules
 230
 231 ifneq (no,$(PERL))
 232 # This must come after the inclusion of sysdeps Makefiles via Rules.
 233 $(addprefix $(objpfx), $(addsuffix .o, $(libm-vec-tests))): $(objpfx)libm-test.stmp
 234
 235 # Run the math programs to automatically generate ULPs files.
 236 .PHONY: regen-ulps
 237
 238 run-regen-ulps = $(test-wrapper-env) \
 239             $(run-program-env) \
 240             $($*-ENV) $(rtld-prefix) $${run}
 241
 242 regen-ulps: $(addprefix $(objpfx),$(libm-tests))
 243         rm -f $(objpfx)ULPs; rm -f $(objpfx)NewUlps; \
 244         cp $(ulps-file) $(objpfx)libm-test-ulps; \
 245         for run in $^; do \
 246           echo "Regenerating ULPs for $${run}"; \
 247           $(run-regen-ulps) -u -o $(objpfx); \
 248           cat $(objpfx)ULPs >> $(objpfx)libm-test-ulps; \
 249           rm $(objpfx)ULPs; \
 250         done; \
 251         $(PERL) gen-libm-test.pl -o $(objpfx) -n -u $(objpfx)libm-test-ulps; \
 252         echo "Automatic regeneration of ULPs complete."; \
 253         echo "Difference between the current baseline and the new baseline is:";\
 254         diff -urN $(ulps-file) $(objpfx)NewUlps; \
 255         echo "Copy $(objpfx)NewUlps to $(ulps-file) (relative to source)."
 256 else
 257 regen-ulps:
 258         @echo "Automatic regeneration of ULPs requires perl."; \
 259         exit 1;
 260 endif
 261
 262 # The generated sysd-rules file defines rules like this for sources
 263 # coming from sysdeps/ directories.  These rules find the generic sources.
 264 define o-iterator-doit
 265 $(objpfx)m_%$o: s_%.c $(before-compile); $$(compile-command.c)
 266 endef
 267 object-suffixes-left := $(all-object-suffixes)
 268 include $(o-iterator)
 269
 270
 271 # This file defines the default _LIB_VERSION variable that controls
 272 # the error return conventions for the math functions.
 273 CPPFLAGS-s_lib_version.c := -D_POSIX_MODE
 274
 275 # We don't want the fdlibm code to use the inline math functions,
 276 # only the fdlibm code.
 277 math-CPPFLAGS += -D__NO_MATH_INLINES -D__LIBC_INTERNAL_MATH_INLINES
 278
 279 ifneq ($(long-double-fcts),yes)
 280 # The `double' and `long double' types are the same on this machine.
 281 # We won't compile the `long double' code at all.  Tell the `double' code
 282 # to define aliases for the `FUNCl' names.  To avoid type conflicts in
 283 # defining those aliases, tell <math.h> to declare the `FUNCl' names with
 284 # `double' instead of `long double'.
 285 math-CPPFLAGS += -DNO_LONG_DOUBLE -D_Mlong_double_=double
 286 endif
 287
 288 # The -lieee library is actually an object file.
 289 # The module just defines the _LIB_VERSION_ variable.
 290 # It's not a library to make sure it is linked in instead of s_lib_version.o.
 291 $(objpfx)libieee.a: $(objpfx)ieee-math.o
 292         rm -f $@
 293         $(patsubst %/,cd % &&,$(objpfx)) \
 294         $(LN_S) $(<F) $(@F)
 295
 296 $(addprefix $(objpfx),$(filter-out $(tests-static) $(libm-vec-tests),$(tests))): $(libm)
 297 $(addprefix $(objpfx),$(tests-static)): $(objpfx)libm.a
 298 $(addprefix $(objpfx), $(libm-vec-tests)): $(objpfx)%: $(libm) $(libmvec) \
 299                                            $(objpfx)%-wrappers.o
 300
 301 gmp-objs = $(patsubst %,$(common-objpfx)stdlib/%.o,\
 302                       add_n sub_n cmp addmul_1 mul_1 mul_n divmod_1 \
 303                       lshift rshift mp_clz_tab udiv_qrnnd inlines \
 304                       $(gmp-sysdep_routines))
 305 $(objpfx)atest-exp: $(gmp-objs)
 306 $(objpfx)atest-sincos: $(gmp-objs)
 307 $(objpfx)atest-exp2: $(gmp-objs)
 308 $(objpfx)test-fenv-tls: $(shared-thread-library)