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