math/Makefile

   1 # Copyright (C) 1996-2018 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 \
  26                    fpu_control.h complex.h bits/cmathcalls.h fenv.h \
  27                    bits/fenv.h bits/fenvinline.h bits/mathdef.h tgmath.h \
  28                    bits/math-finite.h bits/math-vector.h \
  29                    bits/libm-simd-decl-stubs.h bits/iscanonical.h \
  30                    bits/flt-eval-method.h bits/fp-fast.h bits/fp-logb.h \
  31                    bits/long-double.h bits/mathcalls-helper-functions.h \
  32                    bits/floatn.h bits/floatn-common.h bits/mathcalls-narrow.h
  33
  34 # FPU support code.
  35 aux             := setfpucw fpu_control
  36
  37 # Build the -lm library.
  38
  39 extra-libs      := libm
  40 extra-libs-others = $(extra-libs)
  41
  42 libm-support = s_lib_version s_matherr s_signgam                        \
  43                fclrexcpt fgetexcptflg fraiseexcpt fsetexcptflg          \
  44                ftestexcept fegetround fesetround fegetenv feholdexcpt   \
  45                fesetenv feupdateenv t_exp fedisblxcpt feenablxcpt       \
  46                fegetexcept fesetexcept fetestexceptflag fegetmode       \
  47                fesetmode
  48
  49 # Wrappers for these functions generated per type using a file named
  50 # <func>_template.c and the appropriate math-type-macros-<TYPE>.h.
  51 gen-libm-calls = cargF conjF cimagF crealF cabsF s_cacosF                 \
  52                  s_cacoshF s_ccosF s_ccoshF s_casinF s_csinF s_casinhF    \
  53                  k_casinhF s_csinhF k_casinhF s_csinhF s_catanhF s_catanF \
  54                  s_ctanF s_ctanhF s_cexpF s_clogF s_cprojF s_csqrtF       \
  55                  s_cpowF s_clog10F s_fdimF s_nextdownF s_fmaxF s_fminF    \
  56                  s_nanF s_iseqsigF s_canonicalizeF w_ilogbF w_llogbF      \
  57                  w_log1pF w_scalblnF s_fmaxmagF s_fminmagF w_acosF        \
  58                  w_acoshF w_asinF w_atan2F w_atanhF w_coshF w_exp10F      \
  59                  w_exp2F w_fmodF w_hypotF w_j0F w_j1F w_jnF w_logF        \
  60                  w_log10F w_log2F w_powF w_remainderF w_sinhF w_sqrtF     \
  61                  w_tgammaF w_lgammaF w_lgammaF_r w_expF e_exp2F
  62
  63 libm-calls =                                                              \
  64         e_acosF e_acoshF e_asinF e_atan2F e_atanhF e_coshF e_expF e_fmodF \
  65         e_hypotF e_j0F e_j1F e_jnF e_lgammaF_r e_logF e_log10F e_powF     \
  66         e_rem_pio2F e_remainderF e_scalbF e_sinhF e_sqrtF e_gammaF_r      \
  67         e_ilogbF                                                          \
  68         k_cosF k_sinF k_tanF s_asinhF s_atanF s_cbrtF                     \
  69         s_ceilF s_cosF s_erfF s_expm1F s_fabsF                            \
  70         s_floorF s_log1pF s_logbF                                 \
  71         s_nextafterF s_nexttowardF s_rintF s_scalblnF                     \
  72         s_significandF s_sinF s_tanF s_tanhF                              \
  73         s_fpclassifyF s_truncF                                            \
  74         s_remquoF e_log2F s_roundF s_nearbyintF s_sincosF                 \
  75         s_fmaF s_lrintF s_llrintF s_lroundF s_llroundF e_exp10F           \
  76         s_issignalingF $(calls:s_%=m_%) x2y2m1F                           \
  77         gamma_productF lgamma_negF lgamma_productF                        \
  78         s_nextupF s_totalorderF s_totalordermagF s_getpayloadF            \
  79         s_setpayloadF s_setpayloadsigF s_roundevenF s_fromfpF s_ufromfpF  \
  80         s_fromfpxF s_ufromfpxF $(gen-libm-calls)
  81
  82 libm-compat-calls =                                                     \
  83         w_acosF_compat w_acoshF_compat w_asinF_compat w_atan2F_compat   \
  84         w_atanhF_compat w_coshF_compat w_exp2F_compat w_exp10F_compat   \
  85         w_fmodF_compat w_hypotF_compat w_j0F_compat w_j1F_compat        \
  86         w_jnF_compat w_log2F_compat w_log10F_compat w_logF_compat       \
  87         w_powF_compat w_remainderF_compat w_scalbF_compat               \
  88         w_sinhF_compat w_sqrtF_compat w_tgammaF_compat                  \
  89         w_lgammaF_r_compat w_lgammaF_compat2 w_expF_compat              \
  90         w_lgamma_compatF k_standardF
  91
  92 libm-narrow-fns = add div mul sub
  93 libm-narrow-types-basic = s_fF s_f32xFf64
  94 libm-narrow-types-ldouble-yes = s_fFl s_dFl
  95 libm-narrow-types-float128-yes = s_f32Ff128 s_f64Ff128 s_f64xFf128
  96 libm-narrow-types-float128-alias-yes = s_f64xFf128
  97 libm-narrow-types = $(libm-narrow-types-basic) \
  98                     $(libm-narrow-types-ldouble-$(long-double-fcts)) \
  99                     $(libm-narrow-types-float128-$(float128-fcts)) \
 100                     $(libm-narrow-types-float128-alias-$(float128-alias-fcts))
 101
 102 # Type specific routine support.
 103 #
 104 # The following three variables control what is included for each type:
 105 #
 106 # type-floatN-suffix = The suffix of the type
 107 # type-floatN-routines = Type specific support objects
 108 # type-floatN-yes = If the type is supported, evaluates to floatN
 109 #
 110 # Finally, note that types is an intentionally recursive variable.
 111 # We only know the full set of supported types for the target machine
 112 # after the Rules makefile has been parsed.
 113 types-basic = $(type-ldouble-$(long-double-fcts)) double float
 114
 115 # Like types, but includes types whose functions alias those for
 116 # another type.
 117 test-types-basic = ldouble double float
 118
 119 # long double support
 120 type-ldouble-suffix := l
 121 type-ldouble-routines := t_sincosl k_sincosl s_iscanonicall
 122 type-ldouble-yes := ldouble
 123
 124 # double support
 125 type-double-suffix :=
 126 type-double-routines := branred doasin dosincos mpa mpatan2     \
 127                        mpatan mpsqrt mptan sincos32     \
 128                        sincostab k_rem_pio2
 129
 130 # float support
 131 type-float-suffix := f
 132 type-float-routines := k_rem_pio2f math_errf e_exp2f_data e_logf_data   \
 133                        e_log2f_data e_powf_log2_data
 134
 135 # _Float128 support
 136 type-float128-suffix := f128
 137 type-float128-routines := t_sincosf128 k_sincosf128
 138 type-float128-yes := float128
 139
 140 # _Float64x may be supported, only as an alias type.
 141 type-float64x-yes := float64x
 142
 143 types = $(types-basic) $(type-float128-$(float128-fcts))
 144 test-types = $(test-types-basic) $(type-float128-$(float128-fcts)) \
 145              float32 float64 $(type-float128-$(float128-alias-fcts)) \
 146              float32x $(type-float64x-$(float64x-alias-fcts))
 147
 148 # Pairs of types for which narrowing functions should be tested (this
 149 # variable has more entries than libm-narrow-types because it includes
 150 # pairs for which the functions sometimes or always alias functions
 151 # for other types). This definition embeds the assumption that if
 152 # _Float64x is supported, so is _Float128, and vice versa (they may or
 153 # may not have the same format).
 154 test-type-pairs = float-double float-ldouble double-ldouble \
 155                   float32-float64 float32-float32x float32x-float64 \
 156                   $(test-type-pairs-f64xf128-$(float128-fcts)) \
 157                   $(test-type-pairs-f64xf128-$(float128-alias-fcts))
 158 test-type-pairs-f64xf128-yes = float32-float64x float32-float128 \
 159                                float64-float64x float64-float128 \
 160                                float32x-float64x float32x-float128 \
 161                                float64x-float128
 162
 163 # For each of the basic types (float, double, long double), replace the
 164 # occurrences of 'F' in arg 1 with the appropriate suffix for the type.
 165 type-basic-foreach = $(foreach t, $(types-basic), \
 166                        $(subst F,$(type-$(t)-suffix),$(1)))
 167
 168 # Apply suffix to each type in arg 1
 169 type-foreach = $(foreach t,$(types),$(subst F,$(type-$(t)-suffix),$(1)))
 170
 171 libm-routines = $(strip $(libm-support)                                 \
 172                         $(call type-basic-foreach,                      \
 173                                $(libm-compat-calls))                    \
 174                         $(call type-foreach, $(libm-calls))             \
 175                         $(foreach t, $(types), $(type-$(t)-routines)))  \
 176                         $(foreach f,$(libm-narrow-fns),                 \
 177                                     $(subst F,$(f),$(libm-narrow-types)))
 178
 179 # These functions are in libc instead of libm because __printf_fp
 180 # calls them, so any program using printf will need them linked in,
 181 # and we don't want to have to link every program with -lm.
 182 # In libm-calls (above), list m_foo in place of s_foo for any
 183 # routine that should be compiled separately for its libc and libm versions.
 184 calls = s_isinfF s_isnanF s_finiteF s_copysignF s_modfF s_scalbnF s_frexpF \
 185         s_signbitF $(gen-calls)
 186 gen-calls = s_ldexpF
 187 generated += $(foreach s,.c .S,$(call type-foreach, $(calls:s_%=m_%$(s))))
 188 routines = $(call type-foreach, $(calls))
 189
 190 ifeq ($(build-mathvec),yes)
 191 # We need to install libm.so and libm.a as linker scripts
 192 # for transparent use of vector math library.
 193 install-lib-ldscripts := libm.so libm.a
 194 install-others = $(inst_libdir)/libm.so $(inst_libdir)/libm.a
 195 $(inst_libdir)/libm.so: $(common-objpfx)format.lds \
 196                         $(libm) \
 197                         $(libmvec) \
 198                         $(+force)
 199         (echo '/* GNU ld script'; echo '*/';\
 200          cat $<; \
 201          echo 'GROUP ( $(slibdir)/libm.so$(libm.so-version) ' \
 202               'AS_NEEDED ( $(libdir)/libmvec_nonshared.a $(slibdir)/libmvec.so$(libmvec.so-version) ) )' \
 203         ) > $@.new
 204         mv -f $@.new $@
 205
 206 $(inst_libdir)/libm-$(version).a: $(objpfx)libm.a \
 207                                   $(+force)
 208         $(do-install)
 209
 210 $(inst_libdir)/libm.a: $(common-objpfx)format.lds \
 211                        $(inst_libdir)/libm-$(version).a \
 212                        $(objpfx)../mathvec/libmvec.a \
 213                        $(+force)
 214         (echo '/* GNU ld script'; echo '*/';\
 215          cat $<; \
 216          echo 'GROUP ( $(libdir)/libm-$(version).a $(libdir)/libmvec.a )' \
 217         ) > $@.new
 218         mv -f $@.new $@
 219 endif
 220
 221 # Rules for the test suite.
 222 tests = test-matherr-3 test-fenv basic-test \
 223         test-misc test-fpucw test-fpucw-ieee tst-definitions test-tgmath \
 224         test-tgmath-ret bug-nextafter bug-nexttoward bug-tgmath1 \
 225         test-tgmath-int test-tgmath2 test-powl tst-CMPLX tst-CMPLX2 test-snan \
 226         test-fenv-tls test-fenv-preserve test-fenv-return test-fenvinline \
 227         test-nearbyint-except test-fenv-clear test-signgam-finite \
 228         test-signgam-finite-c99 test-signgam-finite-c11 \
 229         test-nearbyint-except-2 test-signgam-uchar test-signgam-uchar-init \
 230         test-signgam-uint test-signgam-uint-init test-signgam-ullong \
 231         test-signgam-ullong-init test-nan-overflow test-nan-payload \
 232         test-fexcept test-fexcept-traps test-fesetexcept \
 233         test-fesetexcept-traps test-fetestexceptflag test-femode \
 234         test-femode-traps test-iszero-excess-precision \
 235         test-iseqsig-excess-precision test-flt-eval-method \
 236         test-fp-ilogb-constants test-fp-llogb-constants \
 237         test-fe-snans-always-signal test-finite-macros test-narrow-macros \
 238         $(tests-static)
 239 tests-static = test-fpucw-static test-fpucw-ieee-static \
 240                test-signgam-uchar-static test-signgam-uchar-init-static \
 241                test-signgam-uint-static test-signgam-uint-init-static \
 242                test-signgam-ullong-static test-signgam-ullong-init-static
 243 tests-internal = test-matherr test-matherr-2
 244
 245 # These tests use internal (unexported) GMP functions and are linked
 246 # statically to obtain access to these functions.
 247 tests-static += atest-exp atest-sincos atest-exp2
 248
 249 ifneq (,$(CXX))
 250 tests += test-math-isinff test-math-iszero test-math-issignaling \
 251          test-math-iscanonical test-math-cxx11 test-math-iseqsig
 252 endif
 253
 254 ifneq (no,$(PERL))
 255 libm-vec-tests = $(addprefix test-,$(libmvec-tests))
 256 libm-test-support = $(foreach t,$(test-types),libm-test-support-$(t))
 257 test-extras += $(libm-test-support)
 258 extra-test-objs += $(addsuffix .o, $(libm-test-support))
 259 libm-vec-test-wrappers = $(addsuffix -wrappers, $(libm-vec-tests))
 260 test-extras += $(libm-vec-test-wrappers)
 261 extra-test-objs += $(addsuffix .o, $(libm-vec-test-wrappers))
 262
 263 ulps-file = $(firstword $(wildcard $(sysdirs:%=%/libm-test-ulps)))
 264
 265 $(objpfx)libm-test-ulps.h: $(ulps-file) gen-libm-test.pl
 266         $(make-target-directory)
 267         $(PERL) gen-libm-test.pl -u $< -H $@
 268
 269 libm-test-funcs-auto = acos acosh asin asinh atan atan2 atanh cabs cacos \
 270                        cacosh carg casin casinh catan catanh cbrt ccos ccosh \
 271                        cexp clog clog10 cos cosh cpow csin csinh csqrt ctan \
 272                        ctanh erf erfc exp exp10 exp2 expm1 fma hypot j0 j1 jn \
 273                        lgamma log log10 log1p log2 pow sin sincos sinh sqrt \
 274                        tan tanh tgamma y0 y1 yn
 275 libm-test-funcs-noauto = canonicalize ceil cimag conj copysign cproj creal \
 276                          fabs fdim floor fmax fmaxmag fmin fminmag fmod \
 277                          fpclassify frexp fromfp fromfpx getpayload ilogb \
 278                          iscanonical iseqsig isfinite isgreater \
 279                          isgreaterequal isinf isless islessequal \
 280                          islessgreater isnan isnormal issignaling issubnormal \
 281                          isunordered iszero llogb llrint llround logb lrint \
 282                          lround modf nearbyint nextafter nextdown nexttoward \
 283                          nextup remainder remquo rint round roundeven scalb \
 284                          scalbln scalbn setpayload setpayloadsig signbit \
 285                          significand totalorder totalordermag trunc ufromfp \
 286                          ufromfpx
 287 libm-test-funcs-narrow = add div mul sub
 288 libm-test-funcs-all = $(libm-test-funcs-auto) $(libm-test-funcs-noauto)
 289 libm-test-c-auto = $(foreach f,$(libm-test-funcs-auto),libm-test-$(f).c)
 290 libm-test-c-noauto = $(foreach f,$(libm-test-funcs-noauto),libm-test-$(f).c)
 291 libm-test-c-narrow = $(foreach f,$(libm-test-funcs-narrow),\
 292                                  libm-test-narrow-$(f).c)
 293 generated += libm-test-ulps.h $(libm-test-c-auto) $(libm-test-c-noauto) \
 294              $(libm-test-c-narrow)
 295
 296 libm-tests-base-normal = $(foreach t,$(test-types),test-$(t))
 297 libm-tests-base-finite = $(foreach t,$(test-types),test-$(t)-finite)
 298 libm-tests-base-inline = $(foreach t,$(test-types),test-i$(t))
 299 libm-tests-base-narrow = $(foreach t,$(test-type-pairs),test-$(t))
 300 libm-tests-base = $(libm-tests-base-normal) $(libm-tests-base-finite) \
 301                   $(libm-tests-base-inline) $(libm-vec-tests)
 302 libm-tests-normal = $(foreach t,$(libm-tests-base-normal),\
 303                                 $(foreach f,$(libm-test-funcs-all),\
 304                                             $(t)-$(f)))
 305 libm-tests-finite = $(foreach t,$(libm-tests-base-finite),\
 306                                 $(foreach f,$(libm-test-funcs-all),\
 307                                             $(t)-$(f)))
 308 libm-tests-inline = $(foreach t,$(libm-tests-base-inline),\
 309                                 $(foreach f,$(libm-test-funcs-all),\
 310                                             $(t)-$(f)))
 311 libm-tests-narrow = $(foreach t,$(libm-tests-base-narrow),\
 312                                 $(foreach f,$(libm-test-funcs-narrow),\
 313                                             $(t)-$(f)))
 314 libm-tests-vector = $(foreach t,$(libmvec-tests),\
 315                                 $(foreach f,$($(t)-funcs),test-$(t)-$(f)))
 316 libm-tests = $(libm-tests-normal) $(libm-tests-finite) $(libm-tests-inline) \
 317              $(libm-tests-narrow) $(libm-tests-vector)
 318 libm-tests-for-type = $(foreach f,$(libm-test-funcs-all),\
 319                                   test-$(1)-$(f) test-$(1)-finite-$(f) \
 320                                   test-i$(1)-$(f)) \
 321                       $(filter test-$(1)-%,$(libm-tests-vector) \
 322                                            $(libm-tests-narrow))
 323
 324 libm-tests.o = $(addsuffix .o,$(libm-tests))
 325
 326 tests += $(libm-tests)
 327 generated += $(addsuffix .c,$(libm-tests)) \
 328              $(foreach t,$(test-types),libm-test-support-$(t).c)
 329
 330 libm-test-c-auto-obj = $(addprefix $(objpfx),$(libm-test-c-auto))
 331 libm-test-c-noauto-obj = $(addprefix $(objpfx),$(libm-test-c-noauto))
 332 libm-test-c-narrow-obj = $(addprefix $(objpfx),$(libm-test-c-narrow))
 333
 334 $(libm-test-c-noauto-obj): $(objpfx)libm-test%.c: libm-test%.inc \
 335                                                   gen-libm-test.pl
 336         $(make-target-directory)
 337         $(PERL) gen-libm-test.pl -c $< -a /dev/null -C $@
 338
 339 $(libm-test-c-auto-obj): $(objpfx)libm-test%.c: libm-test%.inc \
 340                                                 gen-libm-test.pl \
 341                                                 auto-libm-test-out%
 342         $(make-target-directory)
 343         $(PERL) gen-libm-test.pl -c $< -a auto-libm-test-out$* -C $@
 344
 345 $(libm-test-c-narrow-obj): $(objpfx)libm-test%.c: libm-test%.inc \
 346                                                   gen-libm-test.pl \
 347                                                   auto-libm-test-out%
 348         $(make-target-directory)
 349         $(PERL) gen-libm-test.pl -c $< -a auto-libm-test-out$* -C $@
 350 endif
 351
 352 ifdef PYTHON
 353 tests += test-tgmath3
 354 generated += test-tgmath3.c
 355 CFLAGS-test-tgmath3.c += -fno-builtin
 356
 357 $(objpfx)test-tgmath3.c: gen-tgmath-tests.py
 358         $(PYTHON) $< > $@
 359 endif
 360
 361 libm-test-fast-math-cflags = -fno-builtin -D__FAST_MATH__ -DTEST_FAST_MATH
 362 libm-test-vec-cflags = $(libm-test-fast-math-cflags) -fno-inline \
 363                        -ffloat-store -D_OPENMP=201307 -Wno-unknown-pragmas
 364
 365 CFLAGS-test-double-vlen4-wrappers.c += $(double-vlen4-arch-ext-cflags)
 366
 367 CFLAGS-test-double-vlen8-wrappers.c += $(double-vlen8-arch-ext-cflags)
 368
 369 CFLAGS-test-float-vlen8-wrappers.c += $(float-vlen8-arch-ext-cflags)
 370
 371 CFLAGS-test-float-vlen16-wrappers.c += $(float-vlen16-arch-ext-cflags)
 372
 373 # The no-inline tests use -fsignaling-nans, and thereby use the
 374 # versions of classification macros that support sNaNs.  The inline
 375 # function tests use the versions of classification macros that may
 376 # raise spurious exceptions for sNaNs, but also do not test for
 377 # exceptions.  Thus both versions of the classification macros are
 378 # validated.
 379 libm-test-no-inline-cflags = -fno-inline -ffloat-store -fno-builtin \
 380                              -fsignaling-nans
 381 libm-test-finite-cflags = $(libm-test-no-inline-cflags) \
 382                           -U__FINITE_MATH_ONLY__ -D__FINITE_MATH_ONLY__=1
 383 libm-test-inline-cflags = $(libm-test-fast-math-cflags)
 384 CFLAGS-test-tgmath.c += -fno-builtin
 385 # The following testcase uses very long lines (>3 million), so it may take a
 386 # while to compile it. See: http://llvm.org/bugs/show_bug.cgi?id=14106 and
 387 # http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54402
 388 CFLAGS-test-tgmath2.c += -fno-builtin
 389 CFLAGS-test-tgmath-ret.c += -fno-builtin
 390 CFLAGS-test-powl.c += -fno-builtin
 391
 392 CFLAGS-test-snan.c += -fsignaling-nans
 393
 394 CFLAGS-test-signgam-finite.c += -ffinite-math-only
 395 CFLAGS-test-signgam-finite-c99.c += -ffinite-math-only -std=c99
 396 CFLAGS-test-signgam-finite-c11.c += -ffinite-math-only -std=c11
 397 CFLAGS-test-signgam-uchar.c += -std=c99
 398 CFLAGS-test-signgam-uchar-init.c += -std=c99
 399 CFLAGS-test-signgam-uchar-static.c += -std=c99
 400 CFLAGS-test-signgam-uchar-init-static.c += -std=c99
 401 CFLAGS-test-signgam-uint.c += -std=c99
 402 CFLAGS-test-signgam-uint-init.c += -std=c99
 403 CFLAGS-test-signgam-uint-static.c += -std=c99
 404 CFLAGS-test-signgam-uint-init-static.c += -std=c99
 405 CFLAGS-test-signgam-ullong.c += -std=c99
 406 CFLAGS-test-signgam-ullong-init.c += -std=c99
 407 CFLAGS-test-signgam-ullong-static.c += -std=c99
 408 CFLAGS-test-signgam-ullong-init-static.c += -std=c99
 409
 410 CFLAGS-test-math-cxx11.cc += -std=c++11
 411
 412 CFLAGS-test-math-isinff.cc += -std=gnu++11
 413 CFLAGS-test-math-iszero.cc += -std=gnu++11
 414 CFLAGS-test-math-issignaling.cc += -std=gnu++11
 415 CFLAGS-test-math-iscanonical.cc += -std=gnu++11
 416
 417 CFLAGS-test-iszero-excess-precision.c += -fexcess-precision=standard
 418 CFLAGS-test-iseqsig-excess-precision.c += -fexcess-precision=standard
 419 CFLAGS-test-flt-eval-method.c += -fexcess-precision=standard
 420
 421 CFLAGS-test-fe-snans-always-signal.c += -fsignaling-nans
 422
 423 CFLAGS-test-finite-macros.c += -ffinite-math-only
 424
 425 include ../Rules
 426
 427 gen-all-calls = $(gen-libm-calls) $(gen-calls)
 428
 429 generated += $(addsuffix .c,$(call type-foreach,$(gen-all-calls))) \
 430              gen-libm-templates.stmp
 431
 432 # Create wrappers in the math build directory.
 433 $(objpfx)gen-libm-templates.stmp: Makefile
 434         $(make-target-directory)
 435         for gcall in $(gen-all-calls); do                                 \
 436           func=$${gcall%F*}$${gcall#*F};                                  \
 437           for type in $(foreach t,$(types),$(t)__$(type-$(t)-suffix)); do \
 438             suff=$${type#*__};                                            \
 439             type=$${type%__*};                                            \
 440             file=$(objpfx)$${gcall%F*}$${suff}$${gcall#*F}.c;             \
 441             (                                                             \
 442               echo "#include <math-type-macros-$${type}.h>";              \
 443               echo "#include <$${func}_template.c>";                      \
 444             ) > $${file};                                                 \
 445           done;                                                           \
 446         done;                                                             \
 447         echo > $(@)
 448
 449 # Add dependency to ensure the generator runs prior.
 450 $(foreach t, $(call type-foreach, $(gen-all-calls)), \
 451              $(objpfx)$(t).c): $(objpfx)gen-libm-templates.stmp
 452
 453 ifneq (no,$(PERL))
 454 # This must come after the inclusion of sysdeps Makefiles via Rules.
 455
 456 $(foreach t,$(libm-tests-normal),$(objpfx)$(t).c): $(objpfx)test-%.c:
 457         type_func=$*; \
 458         type=$${type_func%%-*}; \
 459         func=$${type_func#*-}; \
 460         ( \
 461           echo "#include <test-$$type.h>"; \
 462           echo "#include <test-math-no-finite.h>"; \
 463           echo "#include <test-math-no-inline.h>"; \
 464           echo "#include <test-math-errno.h>"; \
 465           echo "#include <test-math-scalar.h>"; \
 466           echo "#include <libm-test-$$func.c>"; \
 467         ) > $@
 468
 469 $(foreach t,$(libm-tests-finite),$(objpfx)$(t).c): $(objpfx)test-%.c:
 470         type_func=$*; \
 471         type=$${type_func%%-*}; \
 472         func=$${type_func#*-finite-}; \
 473         ( \
 474           echo "#include <test-$$type.h>"; \
 475           echo "#include <test-math-finite.h>"; \
 476           echo "#include <test-math-no-inline.h>"; \
 477           echo "#include <test-math-scalar.h>"; \
 478           echo "#include <libm-test-$$func.c>"; \
 479         ) > $@
 480
 481 $(foreach t,$(libm-tests-inline),$(objpfx)$(t).c): $(objpfx)test-i%.c:
 482         type_func=$*; \
 483         type=$${type_func%%-*}; \
 484         func=$${type_func#*-}; \
 485         ( \
 486           echo "#include <test-$$type.h>"; \
 487           echo "#include <test-math-inline.h>"; \
 488           echo "#include <test-math-scalar.h>"; \
 489           echo "#include <libm-test-$$func.c>"; \
 490         ) > $@
 491
 492 $(foreach t,$(libm-tests-narrow),$(objpfx)$(t).c): $(objpfx)test-%.c:
 493         type_pair_func=$*; \
 494         type_pair=$${type_pair_func%-*}; \
 495         func=$${type_pair_func##*-}; \
 496         ret_type=$${type_pair%%-*}; \
 497         arg_type=$${type_pair#*-}; \
 498         ( \
 499           echo "#include <test-$$ret_type.h>"; \
 500           echo "#include <test-arg-$$arg_type.h>"; \
 501           echo "#include <test-math-no-finite.h>"; \
 502           echo "#include <test-math-no-inline.h>"; \
 503           echo "#include <test-math-errno.h>"; \
 504           echo "#include <test-math-narrow.h>"; \
 505           echo "#include <libm-test-narrow-$$func.c>"; \
 506         ) > $@
 507
 508 $(foreach t,$(libm-tests-vector),$(objpfx)$(t).c): $(objpfx)test-%.c:
 509         type_func=$*; \
 510         type=$${type_func%-*}; \
 511         func=$${type_func##*-}; \
 512         func_args=$$(grep ALL_RM_TEST libm-test-$$func.inc \
 513                      | sed 's/.*RUN_TEST_LOOP_//;s/_.*//'); \
 514         ( \
 515           echo "#include <test-$$type.h>"; \
 516           echo "WRAPPER_DECL_$$func_args (WRAPPER_NAME (FUNC ($$func)))"; \
 517           echo "#include <libm-test-$$func.c>"; \
 518         ) > $@
 519
 520 $(foreach t,$(test-types),\
 521             $(objpfx)libm-test-support-$(t).c): $(objpfx)libm-test-support-%.c:
 522         ( \
 523           echo "#include <test-$*.h>"; \
 524           echo "#include <libm-test-support.c>"; \
 525         ) > $@
 526
 527 $(addprefix $(objpfx), $(libm-tests.o)): $(objpfx)libm-test-ulps.h
 528
 529 define o-iterator-doit
 530 $(foreach f,$(libm-test-funcs-all),\
 531             $(objpfx)$(o)-$(f).o): $(objpfx)$(o)%.o: $(objpfx)libm-test%.c
 532 endef
 533 object-suffixes-left := $(libm-tests-base)
 534 include $(o-iterator)
 535
 536 define o-iterator-doit
 537 $(foreach f,$(libm-test-funcs-narrow),\
 538             $(objpfx)$(o)-$(f).o): $(objpfx)$(o)%.o: \
 539                                    $(objpfx)libm-test-narrow%.c
 540 endef
 541 object-suffixes-left := $(libm-tests-base-narrow)
 542 include $(o-iterator)
 543
 544 define o-iterator-doit
 545 $(foreach f,$(libm-test-funcs-all),\
 546             $(objpfx)$(o)-$(f).o): CFLAGS += $(libm-test-no-inline-cflags)
 547 endef
 548 object-suffixes-left := $(libm-tests-base-normal)
 549 include $(o-iterator)
 550
 551 define o-iterator-doit
 552 $(foreach f,$(libm-test-funcs-all),\
 553             $(objpfx)$(o)-$(f).o): CFLAGS += $(libm-test-finite-cflags)
 554 endef
 555 object-suffixes-left := $(libm-tests-base-finite)
 556 include $(o-iterator)
 557
 558 define o-iterator-doit
 559 $(foreach f,$(libm-test-funcs-all),\
 560             $(objpfx)$(o)-$(f).o): CFLAGS += $(libm-test-inline-cflags)
 561 endef
 562 object-suffixes-left := $(libm-tests-base-inline)
 563 include $(o-iterator)
 564
 565 define o-iterator-doit
 566 $(foreach f,$(libm-test-funcs-narrow),\
 567             $(objpfx)$(o)-$(f).o): CFLAGS += $(libm-test-no-inline-cflags)
 568 endef
 569 object-suffixes-left := $(libm-tests-base-narrow)
 570 include $(o-iterator)
 571
 572 define o-iterator-doit
 573 $(foreach f,$($(o)-funcs),\
 574             $(objpfx)test-$(o)-$(f).o): CFLAGS += $(libm-test-vec-cflags)
 575 endef
 576 object-suffixes-left := $(libmvec-tests)
 577 include $(o-iterator)
 578
 579 define o-iterator-doit
 580 $(addprefix $(objpfx),\
 581             $(call libm-tests-for-type,$(o))): $(objpfx)libm-test-support-$(o).o
 582 endef
 583 object-suffixes-left := $(test-types)
 584 include $(o-iterator)
 585
 586 define o-iterator-doit
 587 $(objpfx)libm-test-support-$(o).o: CFLAGS += $(libm-test-no-inline-cflags)
 588 endef
 589 object-suffixes-left := $(test-types)
 590 include $(o-iterator)
 591
 592 # Run the math programs to automatically generate ULPs files.
 593 .PHONY: regen-ulps
 594
 595 run-regen-ulps = $(test-wrapper-env) \
 596             $(run-program-env) \
 597             $($*-ENV) $(rtld-prefix) $(objpfx)$${run}
 598
 599 regen-ulps: $(addprefix $(objpfx),$(libm-tests))
 600         rm -f $(objpfx)ULPs; rm -f $(objpfx)NewUlps; \
 601         cp $(ulps-file) $(objpfx)libm-test-ulps; \
 602         for run in $(libm-tests); do \
 603           echo "Regenerating ULPs for $${run}"; \
 604           $(run-regen-ulps) -u -o $(objpfx); \
 605           cat $(objpfx)ULPs >> $(objpfx)libm-test-ulps; \
 606           rm $(objpfx)ULPs; \
 607         done; \
 608         $(PERL) gen-libm-test.pl -n $(objpfx)NewUlps \
 609                                  -u $(objpfx)libm-test-ulps; \
 610         echo "Automatic regeneration of ULPs complete."; \
 611         echo "Difference between the current baseline and the new baseline is:";\
 612         diff -urN $(ulps-file) $(objpfx)NewUlps; \
 613         echo "Copy $(objpfx)NewUlps to $(ulps-file) (relative to source)."
 614 else
 615 regen-ulps:
 616         @echo "Automatic regeneration of ULPs requires perl."; \
 617         exit 1;
 618 endif
 619
 620 # The generated sysd-rules file defines rules like this for sources
 621 # coming from sysdeps/ directories.  These rules find the generic sources.
 622 define o-iterator-doit
 623 $(objpfx)m_%$o: s_%.c $(before-compile); $$(compile-command.c)
 624 endef
 625 object-suffixes-left := $(all-object-suffixes)
 626 include $(o-iterator)
 627
 628 # Likewise, for those generated files shared with libc.
 629 define o-iterator-doit
 630 $(objpfx)m_%$o: $(objpfx)s_%.c $(before-compile); $$(compile-command.c)
 631 endef
 632 object-suffixes-left := $(all-object-suffixes)
 633 include $(o-iterator)
 634
 635 # We don't want the fdlibm code to use the inline math functions,
 636 # only the fdlibm code.
 637 math-CPPFLAGS += -D__NO_MATH_INLINES -D__LIBC_INTERNAL_MATH_INLINES
 638
 639 ifneq ($(long-double-fcts),yes)
 640 # The `double' and `long double' types are the same on this machine.
 641 # We won't compile the `long double' code at all.  Tell the `double' code
 642 # to define aliases for the `FUNCl' names.
 643 math-CPPFLAGS += -DNO_LONG_DOUBLE
 644 endif
 645
 646 # These files quiet sNaNs in a way that is optimized away without
 647 # -fsignaling-nans.
 648 CFLAGS-s_modf.c += -fsignaling-nans
 649 CFLAGS-s_modff.c += -fsignaling-nans
 650 CFLAGS-s_modfl.c += -fsignaling-nans
 651 CFLAGS-s_modff128.c += -fsignaling-nans
 652
 653 $(addprefix $(objpfx),\
 654             $(filter-out $(tests-static) $(libm-tests-vector),\
 655                          $(tests) $(tests-internal))): $(libm)
 656 $(addprefix $(objpfx),$(tests-static)): $(objpfx)libm.a
 657 define o-iterator-doit
 658 $(foreach f,$($(o)-funcs),\
 659             $(objpfx)test-$(o)-$(f)): $(objpfx)test-$(o)-wrappers.o \
 660                                       $(libm) $(libmvec)
 661 endef
 662 object-suffixes-left := $(libmvec-tests)
 663 include $(o-iterator)
 664
 665 $(objpfx)test-fenv-tls: $(shared-thread-library)