]>
Commit | Line | Data |
---|---|---|
1 | /* Define builtin-in macros for the C family front ends. | |
2 | Copyright (C) 2002-2025 Free Software Foundation, Inc. | |
3 | ||
4 | This file is part of GCC. | |
5 | ||
6 | GCC is free software; you can redistribute it and/or modify it under | |
7 | the terms of the GNU General Public License as published by the Free | |
8 | Software Foundation; either version 3, or (at your option) any later | |
9 | version. | |
10 | ||
11 | GCC is distributed in the hope that it will be useful, but WITHOUT ANY | |
12 | WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
13 | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
14 | for more details. | |
15 | ||
16 | You should have received a copy of the GNU General Public License | |
17 | along with GCC; see the file COPYING3. If not see | |
18 | <http://www.gnu.org/licenses/>. */ | |
19 | ||
20 | #include "config.h" | |
21 | #include "system.h" | |
22 | #include "coretypes.h" | |
23 | #include "target.h" | |
24 | #include "c-common.h" | |
25 | #include "memmodel.h" | |
26 | #include "tm_p.h" /* For TARGET_CPU_CPP_BUILTINS & friends. */ | |
27 | #include "stringpool.h" | |
28 | #include "stor-layout.h" | |
29 | #include "flags.h" | |
30 | #include "c-pragma.h" | |
31 | #include "output.h" /* For user_label_prefix. */ | |
32 | #include "debug.h" /* For dwarf2out_do_cfi_asm. */ | |
33 | #include "common/common-target.h" | |
34 | #include "cppbuiltin.h" | |
35 | #include "configargs.h" | |
36 | ||
37 | #ifndef TARGET_OS_CPP_BUILTINS | |
38 | # define TARGET_OS_CPP_BUILTINS() | |
39 | #endif | |
40 | ||
41 | #ifndef TARGET_OBJFMT_CPP_BUILTINS | |
42 | # define TARGET_OBJFMT_CPP_BUILTINS() | |
43 | #endif | |
44 | ||
45 | #ifndef REGISTER_PREFIX | |
46 | #define REGISTER_PREFIX "" | |
47 | #endif | |
48 | ||
49 | /* Non-static as some targets don't use it. */ | |
50 | static void builtin_define_with_hex_fp_value (const char *, tree, | |
51 | int, const char *, | |
52 | const char *, | |
53 | const char *); | |
54 | static void builtin_define_stdint_macros (void); | |
55 | static void builtin_define_constants (const char *, tree); | |
56 | static void builtin_define_type_max (const char *, tree); | |
57 | static void builtin_define_type_minmax (const char *, const char *, tree); | |
58 | static void builtin_define_type_width (const char *, tree, tree); | |
59 | static void builtin_define_float_constants (const char *, | |
60 | const char *, | |
61 | const char *, | |
62 | const char *, | |
63 | tree); | |
64 | ||
65 | /* Return true if MODE provides a fast multiply/add (FMA) builtin function. | |
66 | Originally this function used the fma optab, but that doesn't work with | |
67 | -save-temps, so just rely on the HAVE_fma macros for the standard floating | |
68 | point types. */ | |
69 | ||
70 | static bool | |
71 | mode_has_fma (machine_mode mode) | |
72 | { | |
73 | switch (mode) | |
74 | { | |
75 | #ifdef HAVE_fmasf4 | |
76 | case E_SFmode: | |
77 | return !!HAVE_fmasf4; | |
78 | #endif | |
79 | ||
80 | #ifdef HAVE_fmadf4 | |
81 | case E_DFmode: | |
82 | return !!HAVE_fmadf4; | |
83 | #endif | |
84 | ||
85 | #ifdef HAVE_fmakf4 /* PowerPC if long double != __float128. */ | |
86 | case E_KFmode: | |
87 | return !!HAVE_fmakf4; | |
88 | #endif | |
89 | ||
90 | #ifdef HAVE_fmaxf4 | |
91 | case E_XFmode: | |
92 | return !!HAVE_fmaxf4; | |
93 | #endif | |
94 | ||
95 | #ifdef HAVE_fmatf4 | |
96 | case E_TFmode: | |
97 | return !!HAVE_fmatf4; | |
98 | #endif | |
99 | ||
100 | default: | |
101 | break; | |
102 | } | |
103 | ||
104 | return false; | |
105 | } | |
106 | ||
107 | /* Define NAME with value TYPE size_unit. */ | |
108 | void | |
109 | builtin_define_type_sizeof (const char *name, tree type) | |
110 | { | |
111 | builtin_define_with_int_value (name, | |
112 | tree_to_uhwi (TYPE_SIZE_UNIT (type))); | |
113 | } | |
114 | ||
115 | /* Define the float.h constants for TYPE using NAME_PREFIX, FP_SUFFIX, | |
116 | and FP_CAST. */ | |
117 | static void | |
118 | builtin_define_float_constants (const char *name_prefix, | |
119 | const char *fp_suffix, | |
120 | const char *fp_cast, | |
121 | const char *fma_suffix, | |
122 | tree type) | |
123 | { | |
124 | /* Used to convert radix-based values to base 10 values in several cases. | |
125 | ||
126 | In the max_exp -> max_10_exp conversion for 128-bit IEEE, we need at | |
127 | least 6 significant digits for correct results. Using the fraction | |
128 | formed by (log(2)*1e6)/(log(10)*1e6) overflows a 32-bit integer as an | |
129 | intermediate; perhaps someone can find a better approximation, in the | |
130 | mean time, I suspect using doubles won't harm the bootstrap here. */ | |
131 | ||
132 | const double log10_2 = .30102999566398119521; | |
133 | double log10_b; | |
134 | const struct real_format *fmt; | |
135 | const struct real_format *widefmt; | |
136 | ||
137 | char name[64], buf[128]; | |
138 | int dig, min_10_exp, max_10_exp; | |
139 | int decimal_dig; | |
140 | int type_decimal_dig; | |
141 | ||
142 | fmt = REAL_MODE_FORMAT (TYPE_MODE (type)); | |
143 | gcc_assert (fmt->b != 10); | |
144 | widefmt = REAL_MODE_FORMAT (TYPE_MODE (long_double_type_node)); | |
145 | gcc_assert (widefmt->b != 10); | |
146 | for (int i = 0; i < NUM_FLOATN_NX_TYPES; i++) | |
147 | { | |
148 | tree wtype = FLOATN_NX_TYPE_NODE (i); | |
149 | if (wtype != NULL_TREE) | |
150 | { | |
151 | const struct real_format *wfmt | |
152 | = REAL_MODE_FORMAT (TYPE_MODE (wtype)); | |
153 | gcc_assert (wfmt->b != 10); | |
154 | if (wfmt->p > widefmt->p) | |
155 | widefmt = wfmt; | |
156 | } | |
157 | } | |
158 | ||
159 | /* The radix of the exponent representation. */ | |
160 | if (type == float_type_node) | |
161 | builtin_define_with_int_value ("__FLT_RADIX__", fmt->b); | |
162 | log10_b = log10_2; | |
163 | ||
164 | /* The number of radix digits, p, in the floating-point significand. */ | |
165 | sprintf (name, "__%s_MANT_DIG__", name_prefix); | |
166 | builtin_define_with_int_value (name, fmt->p); | |
167 | ||
168 | /* The number of decimal digits, q, such that any floating-point number | |
169 | with q decimal digits can be rounded into a floating-point number with | |
170 | p radix b digits and back again without change to the q decimal digits, | |
171 | ||
172 | p log10 b if b is a power of 10 | |
173 | floor((p - 1) log10 b) otherwise | |
174 | */ | |
175 | dig = (fmt->p - 1) * log10_b; | |
176 | sprintf (name, "__%s_DIG__", name_prefix); | |
177 | builtin_define_with_int_value (name, dig); | |
178 | ||
179 | /* The minimum negative int x such that b**(x-1) is a normalized float. */ | |
180 | sprintf (name, "__%s_MIN_EXP__", name_prefix); | |
181 | sprintf (buf, "(%d)", fmt->emin); | |
182 | builtin_define_with_value (name, buf, 0); | |
183 | ||
184 | /* The minimum negative int x such that 10**x is a normalized float, | |
185 | ||
186 | ceil (log10 (b ** (emin - 1))) | |
187 | = ceil (log10 (b) * (emin - 1)) | |
188 | ||
189 | Recall that emin is negative, so the integer truncation calculates | |
190 | the ceiling, not the floor, in this case. */ | |
191 | min_10_exp = (fmt->emin - 1) * log10_b; | |
192 | sprintf (name, "__%s_MIN_10_EXP__", name_prefix); | |
193 | sprintf (buf, "(%d)", min_10_exp); | |
194 | builtin_define_with_value (name, buf, 0); | |
195 | ||
196 | /* The maximum int x such that b**(x-1) is a representable float. */ | |
197 | sprintf (name, "__%s_MAX_EXP__", name_prefix); | |
198 | builtin_define_with_int_value (name, fmt->emax); | |
199 | ||
200 | /* The maximum int x such that 10**x is in the range of representable | |
201 | finite floating-point numbers, | |
202 | ||
203 | floor (log10((1 - b**-p) * b**emax)) | |
204 | = floor (log10(1 - b**-p) + log10(b**emax)) | |
205 | = floor (log10(1 - b**-p) + log10(b)*emax) | |
206 | ||
207 | The safest thing to do here is to just compute this number. But since | |
208 | we don't link cc1 with libm, we cannot. We could implement log10 here | |
209 | a series expansion, but that seems too much effort because: | |
210 | ||
211 | Note that the first term, for all extant p, is a number exceedingly close | |
212 | to zero, but slightly negative. Note that the second term is an integer | |
213 | scaling an irrational number, and that because of the floor we are only | |
214 | interested in its integral portion. | |
215 | ||
216 | In order for the first term to have any effect on the integral portion | |
217 | of the second term, the second term has to be exceedingly close to an | |
218 | integer itself (e.g. 123.000000000001 or something). Getting a result | |
219 | that close to an integer requires that the irrational multiplicand have | |
220 | a long series of zeros in its expansion, which doesn't occur in the | |
221 | first 20 digits or so of log10(b). | |
222 | ||
223 | Hand-waving aside, crunching all of the sets of constants above by hand | |
224 | does not yield a case for which the first term is significant, which | |
225 | in the end is all that matters. */ | |
226 | max_10_exp = fmt->emax * log10_b; | |
227 | sprintf (name, "__%s_MAX_10_EXP__", name_prefix); | |
228 | builtin_define_with_int_value (name, max_10_exp); | |
229 | ||
230 | /* The number of decimal digits, n, such that any floating-point number | |
231 | can be rounded to n decimal digits and back again without change to | |
232 | the value. | |
233 | ||
234 | p * log10(b) if b is a power of 10 | |
235 | ceil(1 + p * log10(b)) otherwise | |
236 | ||
237 | The only macro we care about is this number for the widest supported | |
238 | floating type, but we want this value for rendering constants below. */ | |
239 | { | |
240 | double d_decimal_dig | |
241 | = 1 + (fmt->p < widefmt->p ? widefmt->p : fmt->p) * log10_b; | |
242 | decimal_dig = d_decimal_dig; | |
243 | if (decimal_dig < d_decimal_dig) | |
244 | decimal_dig++; | |
245 | } | |
246 | /* Similar, for this type rather than long double. */ | |
247 | { | |
248 | double type_d_decimal_dig = 1 + fmt->p * log10_b; | |
249 | type_decimal_dig = type_d_decimal_dig; | |
250 | if (type_decimal_dig < type_d_decimal_dig) | |
251 | type_decimal_dig++; | |
252 | } | |
253 | /* Define __DECIMAL_DIG__ to the value for long double to be | |
254 | compatible with C99 and C11; see DR#501 and N2108. */ | |
255 | if (type == long_double_type_node) | |
256 | builtin_define_with_int_value ("__DECIMAL_DIG__", type_decimal_dig); | |
257 | sprintf (name, "__%s_DECIMAL_DIG__", name_prefix); | |
258 | builtin_define_with_int_value (name, type_decimal_dig); | |
259 | ||
260 | /* Since, for the supported formats, B is always a power of 2, we | |
261 | construct the following numbers directly as a hexadecimal | |
262 | constants. */ | |
263 | get_max_float (fmt, buf, sizeof (buf), false); | |
264 | ||
265 | sprintf (name, "__%s_MAX__", name_prefix); | |
266 | builtin_define_with_hex_fp_value (name, type, decimal_dig, buf, fp_suffix, fp_cast); | |
267 | ||
268 | get_max_float (fmt, buf, sizeof (buf), true); | |
269 | ||
270 | sprintf (name, "__%s_NORM_MAX__", name_prefix); | |
271 | builtin_define_with_hex_fp_value (name, type, decimal_dig, buf, fp_suffix, fp_cast); | |
272 | ||
273 | /* The minimum normalized positive floating-point number, | |
274 | b**(emin-1). */ | |
275 | sprintf (name, "__%s_MIN__", name_prefix); | |
276 | sprintf (buf, "0x1p%d", fmt->emin - 1); | |
277 | builtin_define_with_hex_fp_value (name, type, decimal_dig, buf, fp_suffix, fp_cast); | |
278 | ||
279 | /* The difference between 1 and the least value greater than 1 that is | |
280 | representable in the given floating point type, b**(1-p). */ | |
281 | sprintf (name, "__%s_EPSILON__", name_prefix); | |
282 | if (fmt->pnan < fmt->p && (c_dialect_cxx () || !flag_isoc23)) | |
283 | /* This is an IBM extended double format, so 1.0 + any double is | |
284 | representable precisely. */ | |
285 | sprintf (buf, "0x1p%d", fmt->emin - fmt->p); | |
286 | else | |
287 | sprintf (buf, "0x1p%d", 1 - fmt->p); | |
288 | builtin_define_with_hex_fp_value (name, type, decimal_dig, buf, fp_suffix, fp_cast); | |
289 | ||
290 | /* For C++ std::numeric_limits<T>::denorm_min and C11 *_TRUE_MIN. | |
291 | The minimum denormalized positive floating-point number, b**(emin-p). | |
292 | The minimum normalized positive floating-point number for formats | |
293 | that don't support denormals. */ | |
294 | sprintf (name, "__%s_DENORM_MIN__", name_prefix); | |
295 | sprintf (buf, "0x1p%d", fmt->emin - (fmt->has_denorm ? fmt->p : 1)); | |
296 | builtin_define_with_hex_fp_value (name, type, decimal_dig, | |
297 | buf, fp_suffix, fp_cast); | |
298 | ||
299 | sprintf (name, "__%s_HAS_DENORM__", name_prefix); | |
300 | builtin_define_with_value (name, fmt->has_denorm ? "1" : "0", 0); | |
301 | ||
302 | /* For C++ std::numeric_limits<T>::has_infinity. */ | |
303 | sprintf (name, "__%s_HAS_INFINITY__", name_prefix); | |
304 | builtin_define_with_int_value (name, | |
305 | MODE_HAS_INFINITIES (TYPE_MODE (type))); | |
306 | /* For C++ std::numeric_limits<T>::has_quiet_NaN. We do not have a | |
307 | predicate to distinguish a target that has both quiet and | |
308 | signalling NaNs from a target that has only quiet NaNs or only | |
309 | signalling NaNs, so we assume that a target that has any kind of | |
310 | NaN has quiet NaNs. */ | |
311 | sprintf (name, "__%s_HAS_QUIET_NAN__", name_prefix); | |
312 | builtin_define_with_int_value (name, MODE_HAS_NANS (TYPE_MODE (type))); | |
313 | ||
314 | /* Note whether we have fast FMA. */ | |
315 | if (mode_has_fma (TYPE_MODE (type)) && fma_suffix != NULL) | |
316 | { | |
317 | sprintf (name, "__FP_FAST_FMA%s", fma_suffix); | |
318 | builtin_define_with_int_value (name, 1); | |
319 | } | |
320 | ||
321 | /* For C23 *_IS_IEC_60559. 0 means the type does not match an IEC | |
322 | 60559 format, 1 that it matches a format but not necessarily | |
323 | operations. */ | |
324 | sprintf (name, "__%s_IS_IEC_60559__", name_prefix); | |
325 | builtin_define_with_int_value (name, fmt->ieee_bits != 0); | |
326 | } | |
327 | ||
328 | /* Define __DECx__ constants for TYPE using NAME_PREFIX and SUFFIX. */ | |
329 | static void | |
330 | builtin_define_decimal_float_constants (const char *name_prefix, | |
331 | const char *suffix, | |
332 | tree type) | |
333 | { | |
334 | const struct real_format *fmt; | |
335 | char name[64], buf[128], *p; | |
336 | int digits; | |
337 | ||
338 | fmt = REAL_MODE_FORMAT (TYPE_MODE (type)); | |
339 | ||
340 | /* The number of radix digits, p, in the significand. */ | |
341 | sprintf (name, "__%s_MANT_DIG__", name_prefix); | |
342 | builtin_define_with_int_value (name, fmt->p); | |
343 | ||
344 | /* The minimum negative int x such that b**(x-1) is a normalized float. */ | |
345 | sprintf (name, "__%s_MIN_EXP__", name_prefix); | |
346 | sprintf (buf, "(%d)", fmt->emin); | |
347 | builtin_define_with_value (name, buf, 0); | |
348 | ||
349 | /* The maximum int x such that b**(x-1) is a representable float. */ | |
350 | sprintf (name, "__%s_MAX_EXP__", name_prefix); | |
351 | builtin_define_with_int_value (name, fmt->emax); | |
352 | ||
353 | /* Compute the minimum representable value. */ | |
354 | sprintf (name, "__%s_MIN__", name_prefix); | |
355 | sprintf (buf, "1E%d%s", fmt->emin - 1, suffix); | |
356 | builtin_define_with_value (name, buf, 0); | |
357 | ||
358 | /* Compute the maximum representable value. */ | |
359 | sprintf (name, "__%s_MAX__", name_prefix); | |
360 | get_max_float (fmt, buf, sizeof (buf) - strlen (suffix), false); | |
361 | strcat (buf, suffix); | |
362 | builtin_define_with_value (name, buf, 0); | |
363 | ||
364 | /* Compute epsilon (the difference between 1 and least value greater | |
365 | than 1 representable). */ | |
366 | sprintf (name, "__%s_EPSILON__", name_prefix); | |
367 | sprintf (buf, "1E-%d%s", fmt->p - 1, suffix); | |
368 | builtin_define_with_value (name, buf, 0); | |
369 | ||
370 | /* Minimum subnormal positive decimal value. */ | |
371 | sprintf (name, "__%s_SUBNORMAL_MIN__", name_prefix); | |
372 | p = buf; | |
373 | for (digits = fmt->p; digits > 1; digits--) | |
374 | { | |
375 | *p++ = '0'; | |
376 | if (digits == fmt->p) | |
377 | *p++ = '.'; | |
378 | } | |
379 | *p = 0; | |
380 | sprintf (&buf[fmt->p], "1E%d%s", fmt->emin - 1, suffix); | |
381 | builtin_define_with_value (name, buf, 0); | |
382 | } | |
383 | ||
384 | /* Define fixed-point constants for TYPE using NAME_PREFIX and SUFFIX. */ | |
385 | ||
386 | static void | |
387 | builtin_define_fixed_point_constants (const char *name_prefix, | |
388 | const char *suffix, | |
389 | tree type) | |
390 | { | |
391 | char name[64], buf[256], *new_buf; | |
392 | int i, mod; | |
393 | ||
394 | sprintf (name, "__%s_FBIT__", name_prefix); | |
395 | builtin_define_with_int_value (name, TYPE_FBIT (type)); | |
396 | ||
397 | sprintf (name, "__%s_IBIT__", name_prefix); | |
398 | builtin_define_with_int_value (name, TYPE_IBIT (type)); | |
399 | ||
400 | /* If there is no suffix, defines are for fixed-point modes. | |
401 | We just return. */ | |
402 | if (strcmp (suffix, "") == 0) | |
403 | return; | |
404 | ||
405 | if (TYPE_UNSIGNED (type)) | |
406 | { | |
407 | sprintf (name, "__%s_MIN__", name_prefix); | |
408 | sprintf (buf, "0.0%s", suffix); | |
409 | builtin_define_with_value (name, buf, 0); | |
410 | } | |
411 | else | |
412 | { | |
413 | sprintf (name, "__%s_MIN__", name_prefix); | |
414 | if (ALL_ACCUM_MODE_P (TYPE_MODE (type))) | |
415 | sprintf (buf, "(-0X1P%d%s-0X1P%d%s)", TYPE_IBIT (type) - 1, suffix, | |
416 | TYPE_IBIT (type) - 1, suffix); | |
417 | else | |
418 | sprintf (buf, "(-0.5%s-0.5%s)", suffix, suffix); | |
419 | builtin_define_with_value (name, buf, 0); | |
420 | } | |
421 | ||
422 | sprintf (name, "__%s_MAX__", name_prefix); | |
423 | sprintf (buf, "0X"); | |
424 | new_buf = buf + 2; | |
425 | mod = (TYPE_FBIT (type) + TYPE_IBIT (type)) % 4; | |
426 | if (mod) | |
427 | sprintf (new_buf++, "%x", (1 << mod) - 1); | |
428 | for (i = 0; i < (TYPE_FBIT (type) + TYPE_IBIT (type)) / 4; i++) | |
429 | sprintf (new_buf++, "F"); | |
430 | sprintf (new_buf, "P-%d%s", TYPE_FBIT (type), suffix); | |
431 | builtin_define_with_value (name, buf, 0); | |
432 | ||
433 | sprintf (name, "__%s_EPSILON__", name_prefix); | |
434 | sprintf (buf, "0x1P-%d%s", TYPE_FBIT (type), suffix); | |
435 | builtin_define_with_value (name, buf, 0); | |
436 | } | |
437 | ||
438 | /* Define macros used by <stdint.h>. */ | |
439 | static void | |
440 | builtin_define_stdint_macros (void) | |
441 | { | |
442 | builtin_define_type_max ("__INTMAX_MAX__", intmax_type_node); | |
443 | builtin_define_constants ("__INTMAX_C", intmax_type_node); | |
444 | builtin_define_type_max ("__UINTMAX_MAX__", uintmax_type_node); | |
445 | builtin_define_constants ("__UINTMAX_C", uintmax_type_node); | |
446 | builtin_define_type_width ("__INTMAX_WIDTH__", intmax_type_node, | |
447 | uintmax_type_node); | |
448 | if (sig_atomic_type_node) | |
449 | { | |
450 | builtin_define_type_minmax ("__SIG_ATOMIC_MIN__", "__SIG_ATOMIC_MAX__", | |
451 | sig_atomic_type_node); | |
452 | builtin_define_type_width ("__SIG_ATOMIC_WIDTH__", sig_atomic_type_node, | |
453 | NULL_TREE); | |
454 | } | |
455 | if (int8_type_node) | |
456 | builtin_define_type_max ("__INT8_MAX__", int8_type_node); | |
457 | if (int16_type_node) | |
458 | builtin_define_type_max ("__INT16_MAX__", int16_type_node); | |
459 | if (int32_type_node) | |
460 | builtin_define_type_max ("__INT32_MAX__", int32_type_node); | |
461 | if (int64_type_node) | |
462 | builtin_define_type_max ("__INT64_MAX__", int64_type_node); | |
463 | if (uint8_type_node) | |
464 | builtin_define_type_max ("__UINT8_MAX__", uint8_type_node); | |
465 | if (c_uint16_type_node) | |
466 | builtin_define_type_max ("__UINT16_MAX__", c_uint16_type_node); | |
467 | if (c_uint32_type_node) | |
468 | builtin_define_type_max ("__UINT32_MAX__", c_uint32_type_node); | |
469 | if (c_uint64_type_node) | |
470 | builtin_define_type_max ("__UINT64_MAX__", c_uint64_type_node); | |
471 | if (int_least8_type_node) | |
472 | { | |
473 | builtin_define_type_max ("__INT_LEAST8_MAX__", int_least8_type_node); | |
474 | builtin_define_constants ("__INT8_C", int_least8_type_node); | |
475 | builtin_define_type_width ("__INT_LEAST8_WIDTH__", int_least8_type_node, | |
476 | uint_least8_type_node); | |
477 | } | |
478 | if (int_least16_type_node) | |
479 | { | |
480 | builtin_define_type_max ("__INT_LEAST16_MAX__", int_least16_type_node); | |
481 | builtin_define_constants ("__INT16_C", int_least16_type_node); | |
482 | builtin_define_type_width ("__INT_LEAST16_WIDTH__", | |
483 | int_least16_type_node, | |
484 | uint_least16_type_node); | |
485 | } | |
486 | if (int_least32_type_node) | |
487 | { | |
488 | builtin_define_type_max ("__INT_LEAST32_MAX__", int_least32_type_node); | |
489 | builtin_define_constants ("__INT32_C", int_least32_type_node); | |
490 | builtin_define_type_width ("__INT_LEAST32_WIDTH__", | |
491 | int_least32_type_node, | |
492 | uint_least32_type_node); | |
493 | } | |
494 | if (int_least64_type_node) | |
495 | { | |
496 | builtin_define_type_max ("__INT_LEAST64_MAX__", int_least64_type_node); | |
497 | builtin_define_constants ("__INT64_C", int_least64_type_node); | |
498 | builtin_define_type_width ("__INT_LEAST64_WIDTH__", | |
499 | int_least64_type_node, | |
500 | uint_least64_type_node); | |
501 | } | |
502 | if (uint_least8_type_node) | |
503 | { | |
504 | builtin_define_type_max ("__UINT_LEAST8_MAX__", uint_least8_type_node); | |
505 | builtin_define_constants ("__UINT8_C", uint_least8_type_node); | |
506 | } | |
507 | if (uint_least16_type_node) | |
508 | { | |
509 | builtin_define_type_max ("__UINT_LEAST16_MAX__", uint_least16_type_node); | |
510 | builtin_define_constants ("__UINT16_C", uint_least16_type_node); | |
511 | } | |
512 | if (uint_least32_type_node) | |
513 | { | |
514 | builtin_define_type_max ("__UINT_LEAST32_MAX__", uint_least32_type_node); | |
515 | builtin_define_constants ("__UINT32_C", uint_least32_type_node); | |
516 | } | |
517 | if (uint_least64_type_node) | |
518 | { | |
519 | builtin_define_type_max ("__UINT_LEAST64_MAX__", uint_least64_type_node); | |
520 | builtin_define_constants ("__UINT64_C", uint_least64_type_node); | |
521 | } | |
522 | if (int_fast8_type_node) | |
523 | { | |
524 | builtin_define_type_max ("__INT_FAST8_MAX__", int_fast8_type_node); | |
525 | builtin_define_type_width ("__INT_FAST8_WIDTH__", int_fast8_type_node, | |
526 | uint_fast8_type_node); | |
527 | } | |
528 | if (int_fast16_type_node) | |
529 | { | |
530 | builtin_define_type_max ("__INT_FAST16_MAX__", int_fast16_type_node); | |
531 | builtin_define_type_width ("__INT_FAST16_WIDTH__", int_fast16_type_node, | |
532 | uint_fast16_type_node); | |
533 | } | |
534 | if (int_fast32_type_node) | |
535 | { | |
536 | builtin_define_type_max ("__INT_FAST32_MAX__", int_fast32_type_node); | |
537 | builtin_define_type_width ("__INT_FAST32_WIDTH__", int_fast32_type_node, | |
538 | uint_fast32_type_node); | |
539 | } | |
540 | if (int_fast64_type_node) | |
541 | { | |
542 | builtin_define_type_max ("__INT_FAST64_MAX__", int_fast64_type_node); | |
543 | builtin_define_type_width ("__INT_FAST64_WIDTH__", int_fast64_type_node, | |
544 | uint_fast64_type_node); | |
545 | } | |
546 | if (uint_fast8_type_node) | |
547 | builtin_define_type_max ("__UINT_FAST8_MAX__", uint_fast8_type_node); | |
548 | if (uint_fast16_type_node) | |
549 | builtin_define_type_max ("__UINT_FAST16_MAX__", uint_fast16_type_node); | |
550 | if (uint_fast32_type_node) | |
551 | builtin_define_type_max ("__UINT_FAST32_MAX__", uint_fast32_type_node); | |
552 | if (uint_fast64_type_node) | |
553 | builtin_define_type_max ("__UINT_FAST64_MAX__", uint_fast64_type_node); | |
554 | if (intptr_type_node) | |
555 | { | |
556 | builtin_define_type_max ("__INTPTR_MAX__", intptr_type_node); | |
557 | builtin_define_type_width ("__INTPTR_WIDTH__", intptr_type_node, | |
558 | uintptr_type_node); | |
559 | } | |
560 | if (uintptr_type_node) | |
561 | builtin_define_type_max ("__UINTPTR_MAX__", uintptr_type_node); | |
562 | } | |
563 | ||
564 | /* Adjust the optimization macros when a #pragma GCC optimization is done to | |
565 | reflect the current level. */ | |
566 | void | |
567 | c_cpp_builtins_optimize_pragma (cpp_reader *pfile, tree prev_tree, | |
568 | tree cur_tree) | |
569 | { | |
570 | struct cl_optimization *prev = TREE_OPTIMIZATION (prev_tree); | |
571 | struct cl_optimization *cur = TREE_OPTIMIZATION (cur_tree); | |
572 | bool prev_fast_math; | |
573 | bool cur_fast_math; | |
574 | ||
575 | /* -undef turns off target-specific built-ins. */ | |
576 | if (flag_undef) | |
577 | return; | |
578 | ||
579 | /* Make sure all of the builtins about to be declared have | |
580 | BUILTINS_LOCATION has their location_t. */ | |
581 | cpp_force_token_locations (parse_in, BUILTINS_LOCATION); | |
582 | ||
583 | /* Other target-independent built-ins determined by command-line | |
584 | options. */ | |
585 | if (!prev->x_optimize_size && cur->x_optimize_size) | |
586 | cpp_define_unused (pfile, "__OPTIMIZE_SIZE__"); | |
587 | else if (prev->x_optimize_size && !cur->x_optimize_size) | |
588 | cpp_undef (pfile, "__OPTIMIZE_SIZE__"); | |
589 | ||
590 | if (!prev->x_optimize && cur->x_optimize) | |
591 | cpp_define_unused (pfile, "__OPTIMIZE__"); | |
592 | else if (prev->x_optimize && !cur->x_optimize) | |
593 | cpp_undef (pfile, "__OPTIMIZE__"); | |
594 | ||
595 | prev_fast_math = fast_math_flags_struct_set_p (prev); | |
596 | cur_fast_math = fast_math_flags_struct_set_p (cur); | |
597 | if (!prev_fast_math && cur_fast_math) | |
598 | cpp_define_unused (pfile, "__FAST_MATH__"); | |
599 | else if (prev_fast_math && !cur_fast_math) | |
600 | cpp_undef (pfile, "__FAST_MATH__"); | |
601 | ||
602 | if (!prev->x_flag_signaling_nans && cur->x_flag_signaling_nans) | |
603 | cpp_define_unused (pfile, "__SUPPORT_SNAN__"); | |
604 | else if (prev->x_flag_signaling_nans && !cur->x_flag_signaling_nans) | |
605 | cpp_undef (pfile, "__SUPPORT_SNAN__"); | |
606 | ||
607 | if (!prev->x_flag_errno_math && cur->x_flag_errno_math) | |
608 | cpp_undef (pfile, "__NO_MATH_ERRNO__"); | |
609 | else if (prev->x_flag_errno_math && !cur->x_flag_errno_math) | |
610 | cpp_define_unused (pfile, "__NO_MATH_ERRNO__"); | |
611 | ||
612 | if (!prev->x_flag_finite_math_only && cur->x_flag_finite_math_only) | |
613 | { | |
614 | cpp_undef (pfile, "__FINITE_MATH_ONLY__"); | |
615 | cpp_define_unused (pfile, "__FINITE_MATH_ONLY__=1"); | |
616 | } | |
617 | else if (prev->x_flag_finite_math_only && !cur->x_flag_finite_math_only) | |
618 | { | |
619 | cpp_undef (pfile, "__FINITE_MATH_ONLY__"); | |
620 | cpp_define_unused (pfile, "__FINITE_MATH_ONLY__=0"); | |
621 | } | |
622 | ||
623 | if (!prev->x_flag_reciprocal_math && cur->x_flag_reciprocal_math) | |
624 | cpp_define_unused (pfile, "__RECIPROCAL_MATH__"); | |
625 | else if (prev->x_flag_reciprocal_math && !cur->x_flag_reciprocal_math) | |
626 | cpp_undef (pfile, "__RECIPROCAL_MATH__"); | |
627 | ||
628 | if (!prev->x_flag_signed_zeros && cur->x_flag_signed_zeros) | |
629 | cpp_undef (pfile, "__NO_SIGNED_ZEROS__"); | |
630 | else if (prev->x_flag_signed_zeros && !cur->x_flag_signed_zeros) | |
631 | cpp_define_unused (pfile, "__NO_SIGNED_ZEROS__"); | |
632 | ||
633 | if (!prev->x_flag_trapping_math && cur->x_flag_trapping_math) | |
634 | cpp_undef (pfile, "__NO_TRAPPING_MATH__"); | |
635 | else if (prev->x_flag_trapping_math && !cur->x_flag_trapping_math) | |
636 | cpp_define_unused (pfile, "__NO_TRAPPING_MATH__"); | |
637 | ||
638 | if (!prev->x_flag_associative_math && cur->x_flag_associative_math) | |
639 | cpp_define_unused (pfile, "__ASSOCIATIVE_MATH__"); | |
640 | else if (prev->x_flag_associative_math && !cur->x_flag_associative_math) | |
641 | cpp_undef (pfile, "__ASSOCIATIVE_MATH__"); | |
642 | ||
643 | if (!prev->x_flag_rounding_math && cur->x_flag_rounding_math) | |
644 | cpp_define_unused (pfile, "__ROUNDING_MATH__"); | |
645 | else if (prev->x_flag_rounding_math && !cur->x_flag_rounding_math) | |
646 | cpp_undef (pfile, "__ROUNDING_MATH__"); | |
647 | ||
648 | cpp_stop_forcing_token_locations (parse_in); | |
649 | } | |
650 | ||
651 | ||
652 | /* This function will emit cpp macros to indicate the presence of various lock | |
653 | free atomic operations. */ | |
654 | ||
655 | static void | |
656 | cpp_atomic_builtins (cpp_reader *pfile) | |
657 | { | |
658 | /* Set a flag for each size of object that compare and swap exists for up to | |
659 | a 16 byte object. */ | |
660 | #define SWAP_LIMIT 17 | |
661 | bool have_swap[SWAP_LIMIT]; | |
662 | unsigned int psize; | |
663 | ||
664 | /* Clear the map of sizes compare_and swap exists for. */ | |
665 | memset (have_swap, 0, sizeof (have_swap)); | |
666 | ||
667 | /* Tell source code if the compiler makes sync_compare_and_swap | |
668 | builtins available. */ | |
669 | #ifndef HAVE_sync_compare_and_swapqi | |
670 | #define HAVE_sync_compare_and_swapqi 0 | |
671 | #endif | |
672 | #ifndef HAVE_atomic_compare_and_swapqi | |
673 | #define HAVE_atomic_compare_and_swapqi 0 | |
674 | #endif | |
675 | ||
676 | if (HAVE_sync_compare_and_swapqi || HAVE_atomic_compare_and_swapqi) | |
677 | { | |
678 | cpp_define (pfile, "__GCC_HAVE_SYNC_COMPARE_AND_SWAP_1"); | |
679 | have_swap[1] = true; | |
680 | } | |
681 | ||
682 | #ifndef HAVE_sync_compare_and_swaphi | |
683 | #define HAVE_sync_compare_and_swaphi 0 | |
684 | #endif | |
685 | #ifndef HAVE_atomic_compare_and_swaphi | |
686 | #define HAVE_atomic_compare_and_swaphi 0 | |
687 | #endif | |
688 | if (HAVE_sync_compare_and_swaphi || HAVE_atomic_compare_and_swaphi) | |
689 | { | |
690 | cpp_define (pfile, "__GCC_HAVE_SYNC_COMPARE_AND_SWAP_2"); | |
691 | have_swap[2] = true; | |
692 | } | |
693 | ||
694 | #ifndef HAVE_sync_compare_and_swapsi | |
695 | #define HAVE_sync_compare_and_swapsi 0 | |
696 | #endif | |
697 | #ifndef HAVE_atomic_compare_and_swapsi | |
698 | #define HAVE_atomic_compare_and_swapsi 0 | |
699 | #endif | |
700 | if (HAVE_sync_compare_and_swapsi || HAVE_atomic_compare_and_swapsi) | |
701 | { | |
702 | cpp_define (pfile, "__GCC_HAVE_SYNC_COMPARE_AND_SWAP_4"); | |
703 | have_swap[4] = true; | |
704 | } | |
705 | ||
706 | #ifndef HAVE_sync_compare_and_swapdi | |
707 | #define HAVE_sync_compare_and_swapdi 0 | |
708 | #endif | |
709 | #ifndef HAVE_atomic_compare_and_swapdi | |
710 | #define HAVE_atomic_compare_and_swapdi 0 | |
711 | #endif | |
712 | if (HAVE_sync_compare_and_swapdi || HAVE_atomic_compare_and_swapdi) | |
713 | { | |
714 | cpp_define (pfile, "__GCC_HAVE_SYNC_COMPARE_AND_SWAP_8"); | |
715 | have_swap[8] = true; | |
716 | } | |
717 | ||
718 | #ifndef HAVE_sync_compare_and_swapti | |
719 | #define HAVE_sync_compare_and_swapti 0 | |
720 | #endif | |
721 | #ifndef HAVE_atomic_compare_and_swapti | |
722 | #define HAVE_atomic_compare_and_swapti 0 | |
723 | #endif | |
724 | if (HAVE_sync_compare_and_swapti || HAVE_atomic_compare_and_swapti) | |
725 | { | |
726 | cpp_define (pfile, "__GCC_HAVE_SYNC_COMPARE_AND_SWAP_16"); | |
727 | have_swap[16] = true; | |
728 | } | |
729 | ||
730 | /* Tell the source code about various types. These map to the C++11 and C11 | |
731 | macros where 2 indicates lock-free always, and 1 indicates sometimes | |
732 | lock free. */ | |
733 | #define SIZEOF_NODE(T) (tree_to_uhwi (TYPE_SIZE_UNIT (T))) | |
734 | #define SWAP_INDEX(T) ((SIZEOF_NODE (T) < SWAP_LIMIT) ? SIZEOF_NODE (T) : 0) | |
735 | builtin_define_with_int_value ("__GCC_ATOMIC_BOOL_LOCK_FREE", | |
736 | (have_swap[SWAP_INDEX (boolean_type_node)]? 2 : 1)); | |
737 | builtin_define_with_int_value ("__GCC_ATOMIC_CHAR_LOCK_FREE", | |
738 | (have_swap[SWAP_INDEX (signed_char_type_node)]? 2 : 1)); | |
739 | if (flag_char8_t) | |
740 | builtin_define_with_int_value ("__GCC_ATOMIC_CHAR8_T_LOCK_FREE", | |
741 | (have_swap[SWAP_INDEX (char8_type_node)]? 2 : 1)); | |
742 | builtin_define_with_int_value ("__GCC_ATOMIC_CHAR16_T_LOCK_FREE", | |
743 | (have_swap[SWAP_INDEX (char16_type_node)]? 2 : 1)); | |
744 | builtin_define_with_int_value ("__GCC_ATOMIC_CHAR32_T_LOCK_FREE", | |
745 | (have_swap[SWAP_INDEX (char32_type_node)]? 2 : 1)); | |
746 | builtin_define_with_int_value ("__GCC_ATOMIC_WCHAR_T_LOCK_FREE", | |
747 | (have_swap[SWAP_INDEX (wchar_type_node)]? 2 : 1)); | |
748 | builtin_define_with_int_value ("__GCC_ATOMIC_SHORT_LOCK_FREE", | |
749 | (have_swap[SWAP_INDEX (short_integer_type_node)]? 2 : 1)); | |
750 | builtin_define_with_int_value ("__GCC_ATOMIC_INT_LOCK_FREE", | |
751 | (have_swap[SWAP_INDEX (integer_type_node)]? 2 : 1)); | |
752 | builtin_define_with_int_value ("__GCC_ATOMIC_LONG_LOCK_FREE", | |
753 | (have_swap[SWAP_INDEX (long_integer_type_node)]? 2 : 1)); | |
754 | builtin_define_with_int_value ("__GCC_ATOMIC_LLONG_LOCK_FREE", | |
755 | (have_swap[SWAP_INDEX (long_long_integer_type_node)]? 2 : 1)); | |
756 | ||
757 | /* If we're dealing with a "set" value that doesn't exactly correspond | |
758 | to a boolean truth value, let the library work around that. */ | |
759 | builtin_define_with_int_value ("__GCC_ATOMIC_TEST_AND_SET_TRUEVAL", | |
760 | targetm.atomic_test_and_set_trueval); | |
761 | ||
762 | /* Macros for C++17 hardware interference size constants. Either both or | |
763 | neither should be set. */ | |
764 | gcc_assert (!param_destruct_interfere_size | |
765 | == !param_construct_interfere_size); | |
766 | if (param_destruct_interfere_size) | |
767 | { | |
768 | /* FIXME The way of communicating these values to the library should be | |
769 | part of the C++ ABI, whether macro or builtin. */ | |
770 | builtin_define_with_int_value ("__GCC_DESTRUCTIVE_SIZE", | |
771 | param_destruct_interfere_size); | |
772 | builtin_define_with_int_value ("__GCC_CONSTRUCTIVE_SIZE", | |
773 | param_construct_interfere_size); | |
774 | } | |
775 | ||
776 | /* ptr_type_node can't be used here since ptr_mode is only set when | |
777 | toplev calls backend_init which is not done with -E or pch. */ | |
778 | psize = POINTER_SIZE_UNITS; | |
779 | if (psize >= SWAP_LIMIT) | |
780 | psize = 0; | |
781 | builtin_define_with_int_value ("__GCC_ATOMIC_POINTER_LOCK_FREE", | |
782 | (have_swap[psize]? 2 : 1)); | |
783 | } | |
784 | ||
785 | /* Return TRUE if the implicit excess precision in which the back-end will | |
786 | compute floating-point calculations is not more than the explicit | |
787 | excess precision that the front-end will apply under | |
788 | -fexcess-precision=[standard|fast|16]. | |
789 | ||
790 | More intuitively, return TRUE if the excess precision proposed by the | |
791 | front-end is the excess precision that will actually be used. */ | |
792 | ||
793 | static bool | |
794 | c_cpp_flt_eval_method_iec_559 (void) | |
795 | { | |
796 | enum excess_precision_type front_end_ept | |
797 | = (flag_excess_precision == EXCESS_PRECISION_STANDARD | |
798 | ? EXCESS_PRECISION_TYPE_STANDARD | |
799 | : (flag_excess_precision == EXCESS_PRECISION_FLOAT16 | |
800 | ? EXCESS_PRECISION_TYPE_FLOAT16 | |
801 | : EXCESS_PRECISION_TYPE_FAST)); | |
802 | ||
803 | enum flt_eval_method back_end | |
804 | = targetm.c.excess_precision (EXCESS_PRECISION_TYPE_IMPLICIT); | |
805 | ||
806 | enum flt_eval_method front_end | |
807 | = targetm.c.excess_precision (front_end_ept); | |
808 | ||
809 | return excess_precision_mode_join (front_end, back_end) == front_end; | |
810 | } | |
811 | ||
812 | /* Return the value for __GCC_IEC_559. */ | |
813 | static int | |
814 | cpp_iec_559_value (void) | |
815 | { | |
816 | /* The default is support for IEEE 754-2008. */ | |
817 | int ret = 2; | |
818 | ||
819 | /* float and double must be binary32 and binary64. If they are but | |
820 | with reversed NaN convention, at most IEEE 754-1985 is | |
821 | supported. */ | |
822 | const struct real_format *ffmt | |
823 | = REAL_MODE_FORMAT (TYPE_MODE (float_type_node)); | |
824 | const struct real_format *dfmt | |
825 | = REAL_MODE_FORMAT (TYPE_MODE (double_type_node)); | |
826 | if (!ffmt->qnan_msb_set || !dfmt->qnan_msb_set) | |
827 | ret = 1; | |
828 | if (ffmt->b != 2 | |
829 | || ffmt->p != 24 | |
830 | || ffmt->pnan != 24 | |
831 | || ffmt->emin != -125 | |
832 | || ffmt->emax != 128 | |
833 | || ffmt->signbit_rw != 31 | |
834 | || ffmt->round_towards_zero | |
835 | || !ffmt->has_sign_dependent_rounding | |
836 | || !ffmt->has_nans | |
837 | || !ffmt->has_inf | |
838 | || !ffmt->has_denorm | |
839 | || !ffmt->has_signed_zero | |
840 | || dfmt->b != 2 | |
841 | || dfmt->p != 53 | |
842 | || dfmt->pnan != 53 | |
843 | || dfmt->emin != -1021 | |
844 | || dfmt->emax != 1024 | |
845 | || dfmt->signbit_rw != 63 | |
846 | || dfmt->round_towards_zero | |
847 | || !dfmt->has_sign_dependent_rounding | |
848 | || !dfmt->has_nans | |
849 | || !dfmt->has_inf | |
850 | || !dfmt->has_denorm | |
851 | || !dfmt->has_signed_zero) | |
852 | ret = 0; | |
853 | ||
854 | /* In strict C standards conformance mode, consider a back-end providing | |
855 | more implicit excess precision than the explicit excess precision | |
856 | the front-end options would require to mean a lack of IEEE 754 | |
857 | support. For C++, and outside strict conformance mode, do not consider | |
858 | this to mean a lack of IEEE 754 support. */ | |
859 | ||
860 | if (flag_iso | |
861 | && !c_dialect_cxx () | |
862 | && !c_cpp_flt_eval_method_iec_559 ()) | |
863 | ret = 0; | |
864 | ||
865 | if (flag_iso | |
866 | && !c_dialect_cxx () | |
867 | && flag_fp_contract_mode == FP_CONTRACT_FAST) | |
868 | ret = 0; | |
869 | ||
870 | /* Various options are contrary to IEEE 754 semantics. */ | |
871 | if (flag_unsafe_math_optimizations | |
872 | || flag_associative_math | |
873 | || flag_reciprocal_math | |
874 | || flag_finite_math_only | |
875 | || !flag_signed_zeros | |
876 | || flag_single_precision_constant) | |
877 | ret = 0; | |
878 | ||
879 | /* If the target does not support IEEE 754 exceptions and rounding | |
880 | modes, consider IEEE 754 support to be absent. */ | |
881 | if (!targetm.float_exceptions_rounding_supported_p ()) | |
882 | ret = 0; | |
883 | ||
884 | return ret; | |
885 | } | |
886 | ||
887 | /* Return the value for __GCC_IEC_559_COMPLEX. */ | |
888 | static int | |
889 | cpp_iec_559_complex_value (void) | |
890 | { | |
891 | /* The value is no bigger than that of __GCC_IEC_559. */ | |
892 | int ret = cpp_iec_559_value (); | |
893 | ||
894 | /* Some options are contrary to the required default state of the | |
895 | CX_LIMITED_RANGE pragma. */ | |
896 | if (flag_complex_method != 2) | |
897 | ret = 0; | |
898 | ||
899 | return ret; | |
900 | } | |
901 | ||
902 | /* Hook that registers front end and target-specific built-ins. */ | |
903 | void | |
904 | c_cpp_builtins (cpp_reader *pfile) | |
905 | { | |
906 | int i; | |
907 | ||
908 | /* -undef turns off target-specific built-ins. */ | |
909 | if (flag_undef) | |
910 | return; | |
911 | ||
912 | define_language_independent_builtin_macros (pfile); | |
913 | ||
914 | /* encoding definitions used by users and libraries */ | |
915 | builtin_define_with_value ("__GNUC_EXECUTION_CHARSET_NAME", | |
916 | cpp_get_narrow_charset_name (pfile), 1); | |
917 | builtin_define_with_value ("__GNUC_WIDE_EXECUTION_CHARSET_NAME", | |
918 | cpp_get_wide_charset_name (pfile), 1); | |
919 | ||
920 | ||
921 | if (c_dialect_cxx ()) | |
922 | { | |
923 | int major; | |
924 | parse_basever (&major, NULL, NULL); | |
925 | cpp_define_formatted (pfile, "__GNUG__=%d", major); | |
926 | } | |
927 | ||
928 | /* For stddef.h. They require macros defined in c-common.cc. */ | |
929 | c_stddef_cpp_builtins (); | |
930 | ||
931 | if (c_dialect_cxx ()) | |
932 | { | |
933 | if (flag_weak && SUPPORTS_ONE_ONLY) | |
934 | cpp_define (pfile, "__GXX_WEAK__=1"); | |
935 | else | |
936 | cpp_define (pfile, "__GXX_WEAK__=0"); | |
937 | ||
938 | if (warn_deprecated) | |
939 | cpp_define (pfile, "__DEPRECATED"); | |
940 | ||
941 | if (flag_rtti) | |
942 | { | |
943 | cpp_define (pfile, "__GXX_RTTI"); | |
944 | cpp_define (pfile, "__cpp_rtti=199711L"); | |
945 | } | |
946 | ||
947 | if (cxx_dialect >= cxx11) | |
948 | { | |
949 | cpp_define (pfile, "__GXX_EXPERIMENTAL_CXX0X__"); | |
950 | cpp_define (pfile, "__GXX_CONSTEXPR_ASM__"); | |
951 | } | |
952 | ||
953 | /* Binary literals have been allowed in g++ before C++11 | |
954 | and were standardized for C++14. */ | |
955 | if (!pedantic || cxx_dialect > cxx11) | |
956 | cpp_define (pfile, "__cpp_binary_literals=201304L"); | |
957 | ||
958 | /* Similarly for hexadecimal floating point literals and C++17. */ | |
959 | if (!pedantic || cpp_get_options (parse_in)->extended_numbers) | |
960 | cpp_define (pfile, "__cpp_hex_float=201603L"); | |
961 | ||
962 | /* Arrays of runtime bound were removed from C++14, but we still | |
963 | support GNU VLAs. Let's define this macro to a low number | |
964 | (corresponding to the initial test release of GNU C++) if we won't | |
965 | complain about use of VLAs. */ | |
966 | if (c_dialect_cxx () | |
967 | && (pedantic ? warn_vla == 0 : warn_vla <= 0)) | |
968 | cpp_define (pfile, "__cpp_runtime_arrays=198712L"); | |
969 | ||
970 | if (cxx_dialect >= cxx11) | |
971 | { | |
972 | /* Set feature test macros for C++11. */ | |
973 | if (cxx_dialect <= cxx14) | |
974 | cpp_define (pfile, "__cpp_unicode_characters=200704L"); | |
975 | cpp_define (pfile, "__cpp_raw_strings=200710L"); | |
976 | cpp_define (pfile, "__cpp_unicode_literals=200710L"); | |
977 | cpp_define (pfile, "__cpp_user_defined_literals=200809L"); | |
978 | cpp_define (pfile, "__cpp_lambdas=200907L"); | |
979 | if (cxx_dialect == cxx11) | |
980 | cpp_define (pfile, "__cpp_constexpr=200704L"); | |
981 | if (cxx_dialect <= cxx14) | |
982 | cpp_define (pfile, "__cpp_range_based_for=200907L"); | |
983 | if (cxx_dialect <= cxx14) | |
984 | cpp_define (pfile, "__cpp_static_assert=200410L"); | |
985 | cpp_define (pfile, "__cpp_decltype=200707L"); | |
986 | cpp_define (pfile, "__cpp_attributes=200809L"); | |
987 | cpp_define (pfile, "__cpp_rvalue_reference=200610L"); | |
988 | cpp_define (pfile, "__cpp_rvalue_references=200610L"); | |
989 | cpp_define (pfile, "__cpp_variadic_templates=200704L"); | |
990 | cpp_define (pfile, "__cpp_initializer_lists=200806L"); | |
991 | cpp_define (pfile, "__cpp_delegating_constructors=200604L"); | |
992 | cpp_define (pfile, "__cpp_nsdmi=200809L"); | |
993 | if (!flag_new_inheriting_ctors) | |
994 | cpp_define (pfile, "__cpp_inheriting_constructors=200802L"); | |
995 | else | |
996 | cpp_define (pfile, "__cpp_inheriting_constructors=201511L"); | |
997 | cpp_define (pfile, "__cpp_ref_qualifiers=200710L"); | |
998 | cpp_define (pfile, "__cpp_alias_templates=200704L"); | |
999 | } | |
1000 | if (cxx_dialect > cxx11) | |
1001 | { | |
1002 | /* Set feature test macros for C++14. */ | |
1003 | cpp_define (pfile, "__cpp_return_type_deduction=201304L"); | |
1004 | if (cxx_dialect <= cxx17) | |
1005 | { | |
1006 | cpp_define (pfile, "__cpp_init_captures=201304L"); | |
1007 | cpp_define (pfile, "__cpp_generic_lambdas=201304L"); | |
1008 | } | |
1009 | if (cxx_dialect <= cxx14) | |
1010 | cpp_define (pfile, "__cpp_constexpr=201304L"); | |
1011 | cpp_define (pfile, "__cpp_decltype_auto=201304L"); | |
1012 | cpp_define (pfile, "__cpp_aggregate_nsdmi=201304L"); | |
1013 | cpp_define (pfile, "__cpp_variable_templates=201304L"); | |
1014 | cpp_define (pfile, "__cpp_digit_separators=201309L"); | |
1015 | } | |
1016 | if (cxx_dialect > cxx14) | |
1017 | { | |
1018 | /* Set feature test macros for C++17. */ | |
1019 | cpp_define (pfile, "__cpp_unicode_characters=201411L"); | |
1020 | if (cxx_dialect <= cxx23) | |
1021 | cpp_define (pfile, "__cpp_static_assert=201411L"); | |
1022 | cpp_define (pfile, "__cpp_namespace_attributes=201411L"); | |
1023 | cpp_define (pfile, "__cpp_enumerator_attributes=201411L"); | |
1024 | cpp_define (pfile, "__cpp_nested_namespace_definitions=201411L"); | |
1025 | cpp_define (pfile, "__cpp_fold_expressions=201603L"); | |
1026 | if (cxx_dialect <= cxx17) | |
1027 | cpp_define (pfile, "__cpp_nontype_template_args=201411L"); | |
1028 | if (!flag_range_for_ext_temps) | |
1029 | cpp_define (pfile, "__cpp_range_based_for=201603L"); | |
1030 | else | |
1031 | /* This is the C++23 or -std=c++17 -frange-for-ext-temps value. */ | |
1032 | cpp_define (pfile, "__cpp_range_based_for=202211L"); | |
1033 | if (cxx_dialect <= cxx17) | |
1034 | cpp_define (pfile, "__cpp_constexpr=201603L"); | |
1035 | cpp_define (pfile, "__cpp_if_constexpr=201606L"); | |
1036 | cpp_define (pfile, "__cpp_capture_star_this=201603L"); | |
1037 | cpp_define (pfile, "__cpp_inline_variables=201606L"); | |
1038 | cpp_define (pfile, "__cpp_aggregate_bases=201603L"); | |
1039 | if (cxx_dialect <= cxx17) | |
1040 | cpp_define (pfile, "__cpp_deduction_guides=201703L"); | |
1041 | cpp_define (pfile, "__cpp_noexcept_function_type=201510L"); | |
1042 | /* Old macro, superseded by | |
1043 | __cpp_nontype_template_parameter_auto. */ | |
1044 | cpp_define (pfile, "__cpp_template_auto=201606L"); | |
1045 | if (cxx_dialect <= cxx23) | |
1046 | cpp_define (pfile, "__cpp_structured_bindings=201606L"); | |
1047 | cpp_define (pfile, "__cpp_variadic_using=201611L"); | |
1048 | cpp_define (pfile, "__cpp_guaranteed_copy_elision=201606L"); | |
1049 | cpp_define (pfile, "__cpp_nontype_template_parameter_auto=201606L"); | |
1050 | } | |
1051 | if (cxx_dialect > cxx17) | |
1052 | { | |
1053 | /* Set feature test macros for C++20. */ | |
1054 | cpp_define (pfile, "__cpp_init_captures=201803L"); | |
1055 | cpp_define (pfile, "__cpp_generic_lambdas=201707L"); | |
1056 | cpp_define (pfile, "__cpp_designated_initializers=201707L"); | |
1057 | if (cxx_dialect <= cxx20) | |
1058 | cpp_define (pfile, "__cpp_constexpr=202002L"); | |
1059 | cpp_define (pfile, "__cpp_constexpr_in_decltype=201711L"); | |
1060 | cpp_define (pfile, "__cpp_conditional_explicit=201806L"); | |
1061 | cpp_define (pfile, "__cpp_consteval=202211L"); | |
1062 | cpp_define (pfile, "__cpp_constinit=201907L"); | |
1063 | cpp_define (pfile, "__cpp_deduction_guides=201907L"); | |
1064 | cpp_define (pfile, "__cpp_nontype_template_args=201911L"); | |
1065 | cpp_define (pfile, "__cpp_nontype_template_parameter_class=201806L"); | |
1066 | cpp_define (pfile, "__cpp_impl_destroying_delete=201806L"); | |
1067 | cpp_define (pfile, "__cpp_constexpr_dynamic_alloc=201907L"); | |
1068 | cpp_define (pfile, "__cpp_impl_three_way_comparison=201907L"); | |
1069 | cpp_define (pfile, "__cpp_aggregate_paren_init=201902L"); | |
1070 | cpp_define (pfile, "__cpp_using_enum=201907L"); | |
1071 | } | |
1072 | if (cxx_dialect > cxx20) | |
1073 | { | |
1074 | /* Set feature test macros for C++23. */ | |
1075 | cpp_define (pfile, "__cpp_size_t_suffix=202011L"); | |
1076 | cpp_define (pfile, "__cpp_if_consteval=202106L"); | |
1077 | cpp_define (pfile, "__cpp_auto_cast=202110L"); | |
1078 | if (cxx_dialect <= cxx23) | |
1079 | cpp_define (pfile, "__cpp_constexpr=202211L"); | |
1080 | cpp_define (pfile, "__cpp_multidimensional_subscript=202211L"); | |
1081 | cpp_define (pfile, "__cpp_named_character_escapes=202207L"); | |
1082 | cpp_define (pfile, "__cpp_static_call_operator=202207L"); | |
1083 | cpp_define (pfile, "__cpp_implicit_move=202207L"); | |
1084 | cpp_define (pfile, "__cpp_explicit_this_parameter=202110L"); | |
1085 | } | |
1086 | if (cxx_dialect > cxx23) | |
1087 | { | |
1088 | /* Set feature test macros for C++26. */ | |
1089 | cpp_define (pfile, "__cpp_constexpr=202406L"); | |
1090 | cpp_define (pfile, "__cpp_static_assert=202306L"); | |
1091 | cpp_define (pfile, "__cpp_placeholder_variables=202306L"); | |
1092 | cpp_define (pfile, "__cpp_structured_bindings=202403L"); | |
1093 | cpp_define (pfile, "__cpp_deleted_function=202403L"); | |
1094 | cpp_define (pfile, "__cpp_variadic_friend=202403L"); | |
1095 | cpp_define (pfile, "__cpp_pack_indexing=202311L"); | |
1096 | cpp_define (pfile, "__cpp_pp_embed=202502L"); | |
1097 | cpp_define (pfile, "__cpp_constexpr_virtual_inheritance=202506L"); | |
1098 | } | |
1099 | if (flag_concepts && cxx_dialect > cxx14) | |
1100 | cpp_define (pfile, "__cpp_concepts=202002L"); | |
1101 | if (flag_contracts) | |
1102 | { | |
1103 | cpp_define (pfile, "__cpp_contracts=201906L"); | |
1104 | cpp_define (pfile, "__cpp_contracts_literal_semantics=201906L"); | |
1105 | cpp_define (pfile, "__cpp_contracts_roles=201906L"); | |
1106 | } | |
1107 | if (flag_modules) | |
1108 | /* The std-defined value is 201907L, but I don't think we can | |
1109 | claim victory yet. 201810 is the p1103 date. */ | |
1110 | cpp_define (pfile, "__cpp_modules=201810L"); | |
1111 | if (flag_coroutines) | |
1112 | cpp_define (pfile, "__cpp_impl_coroutine=201902L"); /* n4861, DIS */ | |
1113 | if (flag_tm) | |
1114 | /* Use a value smaller than the 201505 specified in | |
1115 | the TS, since we don't yet support atomic_cancel. */ | |
1116 | cpp_define (pfile, "__cpp_transactional_memory=201500L"); | |
1117 | if (flag_sized_deallocation) | |
1118 | cpp_define (pfile, "__cpp_sized_deallocation=201309L"); | |
1119 | if (aligned_new_threshold) | |
1120 | { | |
1121 | cpp_define (pfile, "__cpp_aligned_new=201606L"); | |
1122 | cpp_define_formatted (pfile, "__STDCPP_DEFAULT_NEW_ALIGNMENT__=%d", | |
1123 | aligned_new_threshold); | |
1124 | } | |
1125 | if (flag_new_ttp) | |
1126 | cpp_define (pfile, "__cpp_template_template_args=201611L"); | |
1127 | if (flag_threadsafe_statics) | |
1128 | cpp_define (pfile, "__cpp_threadsafe_static_init=200806L"); | |
1129 | if (flag_char8_t) | |
1130 | cpp_define (pfile, "__cpp_char8_t=202207L"); | |
1131 | #ifndef THREAD_MODEL_SPEC | |
1132 | /* Targets that define THREAD_MODEL_SPEC need to define | |
1133 | __STDCPP_THREADS__ in their config/XXX/XXX-c.c themselves. */ | |
1134 | if (cxx_dialect >= cxx11 && strcmp (thread_model, "single") != 0) | |
1135 | cpp_define (pfile, "__STDCPP_THREADS__=1"); | |
1136 | #endif | |
1137 | if (flag_implicit_constexpr) | |
1138 | cpp_define (pfile, "__cpp_implicit_constexpr=20211111L"); | |
1139 | } | |
1140 | /* Note that we define this for C as well, so that we know if | |
1141 | __attribute__((cleanup)) will interface with EH. */ | |
1142 | if (flag_exceptions) | |
1143 | { | |
1144 | cpp_define (pfile, "__EXCEPTIONS"); | |
1145 | if (c_dialect_cxx ()) | |
1146 | cpp_define (pfile, "__cpp_exceptions=199711L"); | |
1147 | } | |
1148 | ||
1149 | /* Represents the C++ ABI version, always defined so it can be used while | |
1150 | preprocessing C and assembler. */ | |
1151 | if (flag_abi_version == 0) | |
1152 | /* We should have set this to something real in c_common_post_options. */ | |
1153 | gcc_unreachable (); | |
1154 | else if (flag_abi_version == 1) | |
1155 | /* Due to a historical accident, this version had the value | |
1156 | "102". */ | |
1157 | builtin_define_with_int_value ("__GXX_ABI_VERSION", 102); | |
1158 | else | |
1159 | /* Newer versions have values 1002, 1003, .... */ | |
1160 | builtin_define_with_int_value ("__GXX_ABI_VERSION", | |
1161 | 1000 + flag_abi_version); | |
1162 | ||
1163 | /* libgcc needs to know this. */ | |
1164 | if (targetm_common.except_unwind_info (&global_options) == UI_SJLJ) | |
1165 | cpp_define (pfile, "__USING_SJLJ_EXCEPTIONS__"); | |
1166 | ||
1167 | /* limits.h and stdint.h need to know these. */ | |
1168 | builtin_define_type_max ("__SCHAR_MAX__", signed_char_type_node); | |
1169 | builtin_define_type_max ("__SHRT_MAX__", short_integer_type_node); | |
1170 | builtin_define_type_max ("__INT_MAX__", integer_type_node); | |
1171 | builtin_define_type_max ("__LONG_MAX__", long_integer_type_node); | |
1172 | builtin_define_type_max ("__LONG_LONG_MAX__", long_long_integer_type_node); | |
1173 | builtin_define_type_minmax ("__WCHAR_MIN__", "__WCHAR_MAX__", | |
1174 | underlying_wchar_type_node); | |
1175 | builtin_define_type_minmax ("__WINT_MIN__", "__WINT_MAX__", wint_type_node); | |
1176 | builtin_define_type_max ("__PTRDIFF_MAX__", ptrdiff_type_node); | |
1177 | builtin_define_type_max ("__SIZE_MAX__", size_type_node); | |
1178 | ||
1179 | /* These are needed for TS 18661-1. */ | |
1180 | builtin_define_type_width ("__SCHAR_WIDTH__", signed_char_type_node, | |
1181 | unsigned_char_type_node); | |
1182 | builtin_define_type_width ("__SHRT_WIDTH__", short_integer_type_node, | |
1183 | short_unsigned_type_node); | |
1184 | builtin_define_type_width ("__INT_WIDTH__", integer_type_node, | |
1185 | unsigned_type_node); | |
1186 | builtin_define_type_width ("__LONG_WIDTH__", long_integer_type_node, | |
1187 | long_unsigned_type_node); | |
1188 | builtin_define_type_width ("__LONG_LONG_WIDTH__", | |
1189 | long_long_integer_type_node, | |
1190 | long_long_unsigned_type_node); | |
1191 | builtin_define_type_width ("__WCHAR_WIDTH__", underlying_wchar_type_node, | |
1192 | NULL_TREE); | |
1193 | builtin_define_type_width ("__WINT_WIDTH__", wint_type_node, NULL_TREE); | |
1194 | builtin_define_type_width ("__PTRDIFF_WIDTH__", ptrdiff_type_node, NULL_TREE); | |
1195 | builtin_define_type_width ("__SIZE_WIDTH__", size_type_node, NULL_TREE); | |
1196 | ||
1197 | if (!c_dialect_cxx ()) | |
1198 | { | |
1199 | struct bitint_info info; | |
1200 | /* For now, restrict __BITINT_MAXWIDTH__ to what can be represented in | |
1201 | wide_int and widest_int. */ | |
1202 | if (targetm.c.bitint_type_info (WIDE_INT_MAX_PRECISION - 1, &info)) | |
1203 | { | |
1204 | cpp_define_formatted (pfile, "__BITINT_MAXWIDTH__=%d", | |
1205 | (int) WIDE_INT_MAX_PRECISION - 1); | |
1206 | if (flag_building_libgcc) | |
1207 | { | |
1208 | scalar_int_mode limb_mode | |
1209 | = as_a <scalar_int_mode> (info.limb_mode); | |
1210 | cpp_define_formatted (pfile, "__LIBGCC_BITINT_LIMB_WIDTH__=%d", | |
1211 | (int) GET_MODE_PRECISION (limb_mode)); | |
1212 | cpp_define_formatted (pfile, "__LIBGCC_BITINT_ORDER__=%s", | |
1213 | info.big_endian | |
1214 | ? "__ORDER_BIG_ENDIAN__" | |
1215 | : "__ORDER_LITTLE_ENDIAN__"); | |
1216 | } | |
1217 | } | |
1218 | } | |
1219 | ||
1220 | if (c_dialect_cxx ()) | |
1221 | for (i = 0; i < NUM_INT_N_ENTS; i ++) | |
1222 | if (int_n_enabled_p[i]) | |
1223 | { | |
1224 | char buf[35+20+20]; | |
1225 | ||
1226 | /* These are used to configure the C++ library. */ | |
1227 | ||
1228 | if (!flag_iso || int_n_data[i].bitsize == POINTER_SIZE) | |
1229 | { | |
1230 | sprintf (buf, "__GLIBCXX_TYPE_INT_N_%d=__int%d", i, int_n_data[i].bitsize); | |
1231 | cpp_define (parse_in, buf); | |
1232 | ||
1233 | sprintf (buf, "__GLIBCXX_BITSIZE_INT_N_%d=%d", i, int_n_data[i].bitsize); | |
1234 | cpp_define (parse_in, buf); | |
1235 | } | |
1236 | } | |
1237 | ||
1238 | /* stdint.h and the testsuite need to know these. */ | |
1239 | builtin_define_stdint_macros (); | |
1240 | ||
1241 | /* Provide information for library headers to determine whether to | |
1242 | define macros such as __STDC_IEC_559__ and | |
1243 | __STDC_IEC_559_COMPLEX__. */ | |
1244 | builtin_define_with_int_value ("__GCC_IEC_559", cpp_iec_559_value ()); | |
1245 | builtin_define_with_int_value ("__GCC_IEC_559_COMPLEX", | |
1246 | cpp_iec_559_complex_value ()); | |
1247 | ||
1248 | /* float.h needs these to correctly set FLT_EVAL_METHOD | |
1249 | ||
1250 | We define two values: | |
1251 | ||
1252 | __FLT_EVAL_METHOD__ | |
1253 | Which, depending on the value given for | |
1254 | -fpermitted-flt-eval-methods, may be limited to only those values | |
1255 | for FLT_EVAL_METHOD defined in C99/C11. | |
1256 | ||
1257 | __FLT_EVAL_METHOD_TS_18661_3__ | |
1258 | Which always permits the values for FLT_EVAL_METHOD defined in | |
1259 | ISO/IEC TS 18661-3. */ | |
1260 | builtin_define_with_int_value ("__FLT_EVAL_METHOD__", | |
1261 | c_flt_eval_method (true)); | |
1262 | builtin_define_with_int_value ("__FLT_EVAL_METHOD_TS_18661_3__", | |
1263 | c_flt_eval_method (false)); | |
1264 | ||
1265 | /* And decfloat.h needs this. */ | |
1266 | builtin_define_with_int_value ("__DEC_EVAL_METHOD__", | |
1267 | TARGET_DEC_EVAL_METHOD); | |
1268 | ||
1269 | builtin_define_float_constants ("FLT", "F", "%s", "F", float_type_node); | |
1270 | /* Cast the double precision constants. This is needed when single | |
1271 | precision constants are specified or when pragma FLOAT_CONST_DECIMAL64 | |
1272 | is used. The correct result is computed by the compiler when using | |
1273 | macros that include a cast. We use a different cast for C++ to avoid | |
1274 | problems with -Wold-style-cast. */ | |
1275 | builtin_define_float_constants ("DBL", "L", | |
1276 | (c_dialect_cxx () | |
1277 | ? "double(%s)" | |
1278 | : "((double)%s)"), | |
1279 | "", double_type_node); | |
1280 | builtin_define_float_constants ("LDBL", "L", "%s", "L", | |
1281 | long_double_type_node); | |
1282 | ||
1283 | for (int i = 0; i < NUM_FLOATN_NX_TYPES; i++) | |
1284 | { | |
1285 | if (FLOATN_NX_TYPE_NODE (i) == NULL_TREE) | |
1286 | continue; | |
1287 | if (c_dialect_cxx () | |
1288 | && cxx_dialect > cxx20 | |
1289 | && !floatn_nx_types[i].extended) | |
1290 | { | |
1291 | char name[sizeof ("__STDCPP_FLOAT128_T__=1")]; | |
1292 | sprintf (name, "__STDCPP_FLOAT%d_T__=1", floatn_nx_types[i].n); | |
1293 | cpp_define (pfile, name); | |
1294 | } | |
1295 | char prefix[20], csuffix[20]; | |
1296 | sprintf (prefix, "FLT%d%s", floatn_nx_types[i].n, | |
1297 | floatn_nx_types[i].extended ? "X" : ""); | |
1298 | sprintf (csuffix, "F%d%s", floatn_nx_types[i].n, | |
1299 | floatn_nx_types[i].extended ? "x" : ""); | |
1300 | builtin_define_float_constants (prefix, ggc_strdup (csuffix), "%s", | |
1301 | csuffix, FLOATN_NX_TYPE_NODE (i)); | |
1302 | } | |
1303 | if (bfloat16_type_node) | |
1304 | { | |
1305 | if (c_dialect_cxx () && cxx_dialect > cxx20) | |
1306 | cpp_define (pfile, "__STDCPP_BFLOAT16_T__=1"); | |
1307 | builtin_define_float_constants ("BFLT16", "BF16", "%s", | |
1308 | "BF16", bfloat16_type_node); | |
1309 | } | |
1310 | ||
1311 | /* For float.h. */ | |
1312 | if (targetm.decimal_float_supported_p ()) | |
1313 | { | |
1314 | builtin_define_decimal_float_constants ("DEC32", "DF", | |
1315 | dfloat32_type_node); | |
1316 | builtin_define_decimal_float_constants ("DEC64", "DD", | |
1317 | dfloat64_type_node); | |
1318 | builtin_define_decimal_float_constants ("DEC128", "DL", | |
1319 | dfloat128_type_node); | |
1320 | if (dfloat64x_type_node) | |
1321 | builtin_define_decimal_float_constants ("DEC64X", "D64x", | |
1322 | dfloat64x_type_node); | |
1323 | } | |
1324 | ||
1325 | /* For fixed-point fibt, ibit, max, min, and epsilon. */ | |
1326 | if (targetm.fixed_point_supported_p ()) | |
1327 | { | |
1328 | builtin_define_fixed_point_constants ("SFRACT", "HR", | |
1329 | short_fract_type_node); | |
1330 | builtin_define_fixed_point_constants ("USFRACT", "UHR", | |
1331 | unsigned_short_fract_type_node); | |
1332 | builtin_define_fixed_point_constants ("FRACT", "R", | |
1333 | fract_type_node); | |
1334 | builtin_define_fixed_point_constants ("UFRACT", "UR", | |
1335 | unsigned_fract_type_node); | |
1336 | builtin_define_fixed_point_constants ("LFRACT", "LR", | |
1337 | long_fract_type_node); | |
1338 | builtin_define_fixed_point_constants ("ULFRACT", "ULR", | |
1339 | unsigned_long_fract_type_node); | |
1340 | builtin_define_fixed_point_constants ("LLFRACT", "LLR", | |
1341 | long_long_fract_type_node); | |
1342 | builtin_define_fixed_point_constants ("ULLFRACT", "ULLR", | |
1343 | unsigned_long_long_fract_type_node); | |
1344 | builtin_define_fixed_point_constants ("SACCUM", "HK", | |
1345 | short_accum_type_node); | |
1346 | builtin_define_fixed_point_constants ("USACCUM", "UHK", | |
1347 | unsigned_short_accum_type_node); | |
1348 | builtin_define_fixed_point_constants ("ACCUM", "K", | |
1349 | accum_type_node); | |
1350 | builtin_define_fixed_point_constants ("UACCUM", "UK", | |
1351 | unsigned_accum_type_node); | |
1352 | builtin_define_fixed_point_constants ("LACCUM", "LK", | |
1353 | long_accum_type_node); | |
1354 | builtin_define_fixed_point_constants ("ULACCUM", "ULK", | |
1355 | unsigned_long_accum_type_node); | |
1356 | builtin_define_fixed_point_constants ("LLACCUM", "LLK", | |
1357 | long_long_accum_type_node); | |
1358 | builtin_define_fixed_point_constants ("ULLACCUM", "ULLK", | |
1359 | unsigned_long_long_accum_type_node); | |
1360 | ||
1361 | builtin_define_fixed_point_constants ("QQ", "", qq_type_node); | |
1362 | builtin_define_fixed_point_constants ("HQ", "", hq_type_node); | |
1363 | builtin_define_fixed_point_constants ("SQ", "", sq_type_node); | |
1364 | builtin_define_fixed_point_constants ("DQ", "", dq_type_node); | |
1365 | builtin_define_fixed_point_constants ("TQ", "", tq_type_node); | |
1366 | builtin_define_fixed_point_constants ("UQQ", "", uqq_type_node); | |
1367 | builtin_define_fixed_point_constants ("UHQ", "", uhq_type_node); | |
1368 | builtin_define_fixed_point_constants ("USQ", "", usq_type_node); | |
1369 | builtin_define_fixed_point_constants ("UDQ", "", udq_type_node); | |
1370 | builtin_define_fixed_point_constants ("UTQ", "", utq_type_node); | |
1371 | builtin_define_fixed_point_constants ("HA", "", ha_type_node); | |
1372 | builtin_define_fixed_point_constants ("SA", "", sa_type_node); | |
1373 | builtin_define_fixed_point_constants ("DA", "", da_type_node); | |
1374 | builtin_define_fixed_point_constants ("TA", "", ta_type_node); | |
1375 | builtin_define_fixed_point_constants ("UHA", "", uha_type_node); | |
1376 | builtin_define_fixed_point_constants ("USA", "", usa_type_node); | |
1377 | builtin_define_fixed_point_constants ("UDA", "", uda_type_node); | |
1378 | builtin_define_fixed_point_constants ("UTA", "", uta_type_node); | |
1379 | } | |
1380 | ||
1381 | /* For libgcc-internal use only. */ | |
1382 | if (flag_building_libgcc) | |
1383 | { | |
1384 | /* Properties of floating-point modes for libgcc2.c. */ | |
1385 | opt_scalar_float_mode mode_iter; | |
1386 | FOR_EACH_MODE_IN_CLASS (mode_iter, MODE_FLOAT) | |
1387 | { | |
1388 | scalar_float_mode mode = mode_iter.require (); | |
1389 | const char *name = GET_MODE_NAME (mode); | |
1390 | const size_t name_len = strlen (name); | |
1391 | char float_h_prefix[16] = ""; | |
1392 | char *macro_name | |
1393 | = XALLOCAVEC (char, name_len + sizeof ("__LIBGCC__MANT_DIG__")); | |
1394 | sprintf (macro_name, "__LIBGCC_%s_MANT_DIG__", name); | |
1395 | builtin_define_with_int_value (macro_name, | |
1396 | REAL_MODE_FORMAT (mode)->p); | |
1397 | if (!targetm.scalar_mode_supported_p (mode) | |
1398 | || !targetm.libgcc_floating_mode_supported_p (mode)) | |
1399 | continue; | |
1400 | macro_name = XALLOCAVEC (char, name_len | |
1401 | + sizeof ("__LIBGCC_HAS__MODE__")); | |
1402 | sprintf (macro_name, "__LIBGCC_HAS_%s_MODE__", name); | |
1403 | cpp_define (pfile, macro_name); | |
1404 | macro_name = XALLOCAVEC (char, name_len | |
1405 | + sizeof ("__LIBGCC__FUNC_EXT__")); | |
1406 | sprintf (macro_name, "__LIBGCC_%s_FUNC_EXT__", name); | |
1407 | char suffix[20] = ""; | |
1408 | if (mode == TYPE_MODE (double_type_node)) | |
1409 | { | |
1410 | /* Empty suffix correct. */ | |
1411 | memcpy (float_h_prefix, "DBL", 4); | |
1412 | } | |
1413 | else if (mode == TYPE_MODE (float_type_node)) | |
1414 | { | |
1415 | suffix[0] = 'f'; | |
1416 | memcpy (float_h_prefix, "FLT", 4); | |
1417 | } | |
1418 | else if (mode == TYPE_MODE (long_double_type_node)) | |
1419 | { | |
1420 | suffix[0] = 'l'; | |
1421 | memcpy (float_h_prefix, "LDBL", 5); | |
1422 | } | |
1423 | else if (bfloat16_type_node | |
1424 | && mode == TYPE_MODE (bfloat16_type_node)) | |
1425 | { | |
1426 | memcpy (suffix, "bf16", 5); | |
1427 | memcpy (float_h_prefix, "BFLT16", 7); | |
1428 | } | |
1429 | else | |
1430 | { | |
1431 | bool found_suffix = false; | |
1432 | for (int i = 0; i < NUM_FLOATN_NX_TYPES; i++) | |
1433 | if (FLOATN_NX_TYPE_NODE (i) != NULL_TREE | |
1434 | && mode == TYPE_MODE (FLOATN_NX_TYPE_NODE (i))) | |
1435 | { | |
1436 | sprintf (suffix, "f%d%s", floatn_nx_types[i].n, | |
1437 | floatn_nx_types[i].extended ? "x" : ""); | |
1438 | found_suffix = true; | |
1439 | sprintf (float_h_prefix, "FLT%d%s", floatn_nx_types[i].n, | |
1440 | floatn_nx_types[i].extended ? "X" : ""); | |
1441 | break; | |
1442 | } | |
1443 | gcc_assert (found_suffix); | |
1444 | } | |
1445 | builtin_define_with_value (macro_name, suffix, 0); | |
1446 | ||
1447 | /* The way __LIBGCC_*_EXCESS_PRECISION__ is used is about | |
1448 | eliminating excess precision from results assigned to | |
1449 | variables - meaning it should be about the implicit excess | |
1450 | precision only. */ | |
1451 | bool excess_precision = false; | |
1452 | machine_mode float16_type_mode = (float16_type_node | |
1453 | ? TYPE_MODE (float16_type_node) | |
1454 | : VOIDmode); | |
1455 | machine_mode bfloat16_type_mode = (bfloat16_type_node | |
1456 | ? TYPE_MODE (bfloat16_type_node) | |
1457 | : VOIDmode); | |
1458 | switch (targetm.c.excess_precision | |
1459 | (EXCESS_PRECISION_TYPE_IMPLICIT)) | |
1460 | { | |
1461 | case FLT_EVAL_METHOD_UNPREDICTABLE: | |
1462 | case FLT_EVAL_METHOD_PROMOTE_TO_LONG_DOUBLE: | |
1463 | excess_precision = (mode == float16_type_mode | |
1464 | || mode == bfloat16_type_mode | |
1465 | || mode == TYPE_MODE (float_type_node) | |
1466 | || mode == TYPE_MODE (double_type_node)); | |
1467 | break; | |
1468 | ||
1469 | case FLT_EVAL_METHOD_PROMOTE_TO_DOUBLE: | |
1470 | excess_precision = (mode == float16_type_mode | |
1471 | || mode == bfloat16_type_mode | |
1472 | || mode == TYPE_MODE (float_type_node)); | |
1473 | break; | |
1474 | case FLT_EVAL_METHOD_PROMOTE_TO_FLOAT: | |
1475 | excess_precision = (mode == float16_type_mode | |
1476 | || mode == bfloat16_type_mode); | |
1477 | break; | |
1478 | case FLT_EVAL_METHOD_PROMOTE_TO_FLOAT16: | |
1479 | excess_precision = false; | |
1480 | break; | |
1481 | default: | |
1482 | gcc_unreachable (); | |
1483 | } | |
1484 | macro_name = XALLOCAVEC (char, name_len | |
1485 | + sizeof ("__LIBGCC__EXCESS_PRECISION__")); | |
1486 | sprintf (macro_name, "__LIBGCC_%s_EXCESS_PRECISION__", name); | |
1487 | builtin_define_with_int_value (macro_name, excess_precision); | |
1488 | ||
1489 | char val_name[64]; | |
1490 | ||
1491 | macro_name = XALLOCAVEC (char, name_len | |
1492 | + sizeof ("__LIBGCC__EPSILON__")); | |
1493 | sprintf (macro_name, "__LIBGCC_%s_EPSILON__", name); | |
1494 | sprintf (val_name, "__%s_EPSILON__", float_h_prefix); | |
1495 | builtin_define_with_value (macro_name, val_name, 0); | |
1496 | ||
1497 | macro_name = XALLOCAVEC (char, name_len + sizeof ("__LIBGCC__MAX__")); | |
1498 | sprintf (macro_name, "__LIBGCC_%s_MAX__", name); | |
1499 | sprintf (val_name, "__%s_MAX__", float_h_prefix); | |
1500 | builtin_define_with_value (macro_name, val_name, 0); | |
1501 | ||
1502 | macro_name = XALLOCAVEC (char, name_len + sizeof ("__LIBGCC__MIN__")); | |
1503 | sprintf (macro_name, "__LIBGCC_%s_MIN__", name); | |
1504 | sprintf (val_name, "__%s_MIN__", float_h_prefix); | |
1505 | builtin_define_with_value (macro_name, val_name, 0); | |
1506 | ||
1507 | #ifdef HAVE_adddf3 | |
1508 | builtin_define_with_int_value ("__LIBGCC_HAVE_HWDBL__", | |
1509 | HAVE_adddf3); | |
1510 | #endif | |
1511 | } | |
1512 | ||
1513 | /* For libgcc crtstuff.c and libgcc2.c. */ | |
1514 | builtin_define_with_int_value ("__LIBGCC_EH_TABLES_CAN_BE_READ_ONLY__", | |
1515 | EH_TABLES_CAN_BE_READ_ONLY); | |
1516 | #ifdef EH_FRAME_SECTION_NAME | |
1517 | builtin_define_with_value ("__LIBGCC_EH_FRAME_SECTION_NAME__", | |
1518 | EH_FRAME_SECTION_NAME, 1); | |
1519 | #endif | |
1520 | #ifdef CTORS_SECTION_ASM_OP | |
1521 | builtin_define_with_value ("__LIBGCC_CTORS_SECTION_ASM_OP__", | |
1522 | CTORS_SECTION_ASM_OP, 1); | |
1523 | #endif | |
1524 | #ifdef DTORS_SECTION_ASM_OP | |
1525 | builtin_define_with_value ("__LIBGCC_DTORS_SECTION_ASM_OP__", | |
1526 | DTORS_SECTION_ASM_OP, 1); | |
1527 | #endif | |
1528 | #ifdef TEXT_SECTION_ASM_OP | |
1529 | builtin_define_with_value ("__LIBGCC_TEXT_SECTION_ASM_OP__", | |
1530 | TEXT_SECTION_ASM_OP, 1); | |
1531 | #endif | |
1532 | #ifdef INIT_SECTION_ASM_OP | |
1533 | builtin_define_with_value ("__LIBGCC_INIT_SECTION_ASM_OP__", | |
1534 | INIT_SECTION_ASM_OP, 1); | |
1535 | #endif | |
1536 | #ifdef INIT_ARRAY_SECTION_ASM_OP | |
1537 | /* Despite the name of this target macro, the expansion is not | |
1538 | actually used, and may be empty rather than a string | |
1539 | constant. */ | |
1540 | cpp_define (pfile, "__LIBGCC_INIT_ARRAY_SECTION_ASM_OP__"); | |
1541 | #endif | |
1542 | ||
1543 | /* For libgcc enable-execute-stack.c. */ | |
1544 | builtin_define_with_int_value ("__LIBGCC_TRAMPOLINE_SIZE__", | |
1545 | TRAMPOLINE_SIZE); | |
1546 | ||
1547 | /* For libgcc generic-morestack.c and unwinder code. */ | |
1548 | if (STACK_GROWS_DOWNWARD) | |
1549 | cpp_define (pfile, "__LIBGCC_STACK_GROWS_DOWNWARD__"); | |
1550 | ||
1551 | /* For libgcc unwinder code. */ | |
1552 | #ifdef DONT_USE_BUILTIN_SETJMP | |
1553 | cpp_define (pfile, "__LIBGCC_DONT_USE_BUILTIN_SETJMP__"); | |
1554 | #endif | |
1555 | #ifdef DWARF_ALT_FRAME_RETURN_COLUMN | |
1556 | builtin_define_with_int_value ("__LIBGCC_DWARF_ALT_FRAME_RETURN_COLUMN__", | |
1557 | DWARF_ALT_FRAME_RETURN_COLUMN); | |
1558 | #endif | |
1559 | builtin_define_with_int_value ("__LIBGCC_DWARF_FRAME_REGISTERS__", | |
1560 | DWARF_FRAME_REGISTERS); | |
1561 | builtin_define_with_int_value ("__LIBGCC_DWARF_CIE_DATA_ALIGNMENT__", | |
1562 | DWARF_CIE_DATA_ALIGNMENT); | |
1563 | ||
1564 | #ifdef EH_RETURN_STACKADJ_RTX | |
1565 | cpp_define (pfile, "__LIBGCC_EH_RETURN_STACKADJ_RTX__"); | |
1566 | #endif | |
1567 | #ifdef JMP_BUF_SIZE | |
1568 | builtin_define_with_int_value ("__LIBGCC_JMP_BUF_SIZE__", | |
1569 | JMP_BUF_SIZE); | |
1570 | #endif | |
1571 | builtin_define_with_int_value ("__LIBGCC_STACK_POINTER_REGNUM__", | |
1572 | STACK_POINTER_REGNUM); | |
1573 | ||
1574 | /* For libgcov. */ | |
1575 | builtin_define_with_int_value ("__LIBGCC_VTABLE_USES_DESCRIPTORS__", | |
1576 | TARGET_VTABLE_USES_DESCRIPTORS); | |
1577 | builtin_define_with_int_value ("__LIBGCC_HAVE_LIBATOMIC", | |
1578 | targetm.have_libatomic); | |
1579 | } | |
1580 | ||
1581 | /* For use in assembly language. */ | |
1582 | builtin_define_with_value ("__REGISTER_PREFIX__", REGISTER_PREFIX, 0); | |
1583 | builtin_define_with_value ("__USER_LABEL_PREFIX__", user_label_prefix, 0); | |
1584 | ||
1585 | /* Misc. */ | |
1586 | if (flag_gnu89_inline) | |
1587 | cpp_define (pfile, "__GNUC_GNU_INLINE__"); | |
1588 | else | |
1589 | cpp_define (pfile, "__GNUC_STDC_INLINE__"); | |
1590 | ||
1591 | if (flag_no_inline) | |
1592 | cpp_define (pfile, "__NO_INLINE__"); | |
1593 | ||
1594 | if (flag_iso) | |
1595 | cpp_define (pfile, "__STRICT_ANSI__"); | |
1596 | ||
1597 | if (!flag_signed_char) | |
1598 | cpp_define (pfile, "__CHAR_UNSIGNED__"); | |
1599 | ||
1600 | if (c_dialect_cxx () && TYPE_UNSIGNED (wchar_type_node)) | |
1601 | cpp_define (pfile, "__WCHAR_UNSIGNED__"); | |
1602 | ||
1603 | cpp_atomic_builtins (pfile); | |
1604 | ||
1605 | /* Show support for __builtin_speculation_safe_value () if the target | |
1606 | has been updated to fully support it. */ | |
1607 | if (targetm.have_speculation_safe_value (false)) | |
1608 | cpp_define (pfile, "__HAVE_SPECULATION_SAFE_VALUE"); | |
1609 | ||
1610 | #ifdef DWARF2_UNWIND_INFO | |
1611 | if (dwarf2out_do_cfi_asm ()) | |
1612 | cpp_define (pfile, "__GCC_HAVE_DWARF2_CFI_ASM"); | |
1613 | #endif | |
1614 | ||
1615 | /* Make the choice of ObjC runtime visible to source code. */ | |
1616 | if (c_dialect_objc () && flag_next_runtime) | |
1617 | cpp_define (pfile, "__NEXT_RUNTIME__"); | |
1618 | ||
1619 | /* Show the availability of some target pragmas. */ | |
1620 | cpp_define (pfile, "__PRAGMA_REDEFINE_EXTNAME"); | |
1621 | ||
1622 | /* Make the choice of the stack protector runtime visible to source code. | |
1623 | The macro names and values here were chosen for compatibility with an | |
1624 | earlier implementation, i.e. ProPolice. */ | |
1625 | if (flag_stack_protect == SPCT_FLAG_EXPLICIT) | |
1626 | cpp_define (pfile, "__SSP_EXPLICIT__=4"); | |
1627 | if (flag_stack_protect == SPCT_FLAG_STRONG) | |
1628 | cpp_define (pfile, "__SSP_STRONG__=3"); | |
1629 | if (flag_stack_protect == SPCT_FLAG_ALL) | |
1630 | cpp_define (pfile, "__SSP_ALL__=2"); | |
1631 | else if (flag_stack_protect == SPCT_FLAG_DEFAULT) | |
1632 | cpp_define (pfile, "__SSP__=1"); | |
1633 | ||
1634 | if (flag_openacc) | |
1635 | cpp_define (pfile, "_OPENACC=201711"); | |
1636 | ||
1637 | if (flag_openmp) | |
1638 | cpp_define (pfile, "_OPENMP=201511"); | |
1639 | ||
1640 | for (i = 0; i < NUM_INT_N_ENTS; i ++) | |
1641 | if (int_n_enabled_p[i]) | |
1642 | { | |
1643 | char buf[15+20]; | |
1644 | sprintf(buf, "__SIZEOF_INT%d__", int_n_data[i].bitsize); | |
1645 | builtin_define_type_sizeof (buf, | |
1646 | int_n_trees[i].signed_type); | |
1647 | } | |
1648 | builtin_define_type_sizeof ("__SIZEOF_WCHAR_T__", wchar_type_node); | |
1649 | builtin_define_type_sizeof ("__SIZEOF_WINT_T__", wint_type_node); | |
1650 | builtin_define_type_sizeof ("__SIZEOF_PTRDIFF_T__", | |
1651 | unsigned_ptrdiff_type_node); | |
1652 | ||
1653 | /* A straightforward target hook doesn't work, because of problems | |
1654 | linking that hook's body when part of non-C front ends. */ | |
1655 | # define preprocessing_asm_p() (cpp_get_options (pfile)->lang == CLK_ASM) | |
1656 | # define preprocessing_trad_p() (cpp_get_options (pfile)->traditional) | |
1657 | # define builtin_define(TXT) cpp_define (pfile, TXT) | |
1658 | # define builtin_assert(TXT) cpp_assert (pfile, TXT) | |
1659 | TARGET_CPU_CPP_BUILTINS (); | |
1660 | TARGET_OS_CPP_BUILTINS (); | |
1661 | TARGET_OBJFMT_CPP_BUILTINS (); | |
1662 | ||
1663 | /* Support the __declspec keyword by turning them into attributes. | |
1664 | Note that the current way we do this may result in a collision | |
1665 | with predefined attributes later on. This can be solved by using | |
1666 | one attribute, say __declspec__, and passing args to it. The | |
1667 | problem with that approach is that args are not accumulated: each | |
1668 | new appearance would clobber any existing args. */ | |
1669 | if (TARGET_DECLSPEC) | |
1670 | builtin_define ("__declspec(x)=__attribute__((x))"); | |
1671 | ||
1672 | /* If decimal floating point is supported, tell the user if the | |
1673 | alternate format (BID) is used instead of the standard (DPD) | |
1674 | format. */ | |
1675 | if (ENABLE_DECIMAL_FLOAT && ENABLE_DECIMAL_BID_FORMAT) | |
1676 | cpp_define (pfile, "__DECIMAL_BID_FORMAT__"); | |
1677 | } | |
1678 | ||
1679 | /* Given NAME, return the command-line option that would make it be | |
1680 | a builtin define, or 0 if unrecognized. */ | |
1681 | ||
1682 | diagnostic_option_id | |
1683 | get_option_for_builtin_define (const char *name) | |
1684 | { | |
1685 | if (!strcmp (name, "_OPENACC")) | |
1686 | return OPT_fopenacc; | |
1687 | if (!strcmp (name, "_OPENMP")) | |
1688 | return OPT_fopenmp; | |
1689 | return 0; | |
1690 | } | |
1691 | ||
1692 | /* Pass an object-like macro. If it doesn't lie in the user's | |
1693 | namespace, defines it unconditionally. Otherwise define a version | |
1694 | with two leading underscores, and another version with two leading | |
1695 | and trailing underscores, and define the original only if an ISO | |
1696 | standard was not nominated. | |
1697 | ||
1698 | e.g. passing "unix" defines "__unix", "__unix__" and possibly | |
1699 | "unix". Passing "_mips" defines "__mips", "__mips__" and possibly | |
1700 | "_mips". */ | |
1701 | void | |
1702 | builtin_define_std (const char *macro) | |
1703 | { | |
1704 | size_t len = strlen (macro); | |
1705 | char *buff = (char *) alloca (len + 5); | |
1706 | char *p = buff + 2; | |
1707 | char *q = p + len; | |
1708 | ||
1709 | /* prepend __ (or maybe just _) if in user's namespace. */ | |
1710 | memcpy (p, macro, len + 1); | |
1711 | if (!( *p == '_' && (p[1] == '_' || ISUPPER (p[1])))) | |
1712 | { | |
1713 | if (*p != '_') | |
1714 | *--p = '_'; | |
1715 | if (p[1] != '_') | |
1716 | *--p = '_'; | |
1717 | } | |
1718 | cpp_define (parse_in, p); | |
1719 | ||
1720 | /* If it was in user's namespace... */ | |
1721 | if (p != buff + 2) | |
1722 | { | |
1723 | /* Define the macro with leading and following __. */ | |
1724 | if (q[-1] != '_') | |
1725 | *q++ = '_'; | |
1726 | if (q[-2] != '_') | |
1727 | *q++ = '_'; | |
1728 | *q = '\0'; | |
1729 | cpp_define (parse_in, p); | |
1730 | ||
1731 | /* Finally, define the original macro if permitted. */ | |
1732 | if (!flag_iso) | |
1733 | cpp_define (parse_in, macro); | |
1734 | } | |
1735 | } | |
1736 | ||
1737 | /* Pass an object-like macro and a value to define it to. The third | |
1738 | parameter says whether or not to turn the value into a string | |
1739 | constant. */ | |
1740 | void | |
1741 | builtin_define_with_value (const char *macro, const char *expansion, int is_str) | |
1742 | { | |
1743 | char *buf; | |
1744 | size_t mlen = strlen (macro); | |
1745 | size_t elen = strlen (expansion); | |
1746 | size_t extra = 2; /* space for an = and a NUL */ | |
1747 | ||
1748 | if (is_str) | |
1749 | { | |
1750 | char *quoted_expansion = (char *) alloca (elen * 4 + 1); | |
1751 | const char *p; | |
1752 | char *q; | |
1753 | extra += 2; /* space for two quote marks */ | |
1754 | for (p = expansion, q = quoted_expansion; *p; p++) | |
1755 | { | |
1756 | switch (*p) | |
1757 | { | |
1758 | case '\n': | |
1759 | *q++ = '\\'; | |
1760 | *q++ = 'n'; | |
1761 | break; | |
1762 | ||
1763 | case '\t': | |
1764 | *q++ = '\\'; | |
1765 | *q++ = 't'; | |
1766 | break; | |
1767 | ||
1768 | case '\\': | |
1769 | *q++ = '\\'; | |
1770 | *q++ = '\\'; | |
1771 | break; | |
1772 | ||
1773 | case '"': | |
1774 | *q++ = '\\'; | |
1775 | *q++ = '"'; | |
1776 | break; | |
1777 | ||
1778 | default: | |
1779 | if (ISPRINT ((unsigned char) *p)) | |
1780 | *q++ = *p; | |
1781 | else | |
1782 | { | |
1783 | sprintf (q, "\\%03o", (unsigned char) *p); | |
1784 | q += 4; | |
1785 | } | |
1786 | } | |
1787 | } | |
1788 | *q = '\0'; | |
1789 | expansion = quoted_expansion; | |
1790 | elen = q - expansion; | |
1791 | } | |
1792 | ||
1793 | buf = (char *) alloca (mlen + elen + extra); | |
1794 | if (is_str) | |
1795 | sprintf (buf, "%s=\"%s\"", macro, expansion); | |
1796 | else | |
1797 | sprintf (buf, "%s=%s", macro, expansion); | |
1798 | ||
1799 | cpp_define (parse_in, buf); | |
1800 | } | |
1801 | ||
1802 | ||
1803 | /* Pass an object-like macro and an integer value to define it to. */ | |
1804 | void | |
1805 | builtin_define_with_int_value (const char *macro, HOST_WIDE_INT value) | |
1806 | { | |
1807 | char *buf; | |
1808 | size_t mlen = strlen (macro); | |
1809 | size_t vlen = 18; | |
1810 | size_t extra = 2; /* space for = and NUL. */ | |
1811 | ||
1812 | buf = (char *) alloca (mlen + vlen + extra); | |
1813 | memcpy (buf, macro, mlen); | |
1814 | buf[mlen] = '='; | |
1815 | sprintf (buf + mlen + 1, HOST_WIDE_INT_PRINT_DEC, value); | |
1816 | ||
1817 | cpp_define (parse_in, buf); | |
1818 | } | |
1819 | ||
1820 | /* builtin_define_with_hex_fp_value is very expensive, so the following | |
1821 | array and function allows it to be done lazily when __DBL_MAX__ | |
1822 | etc. is first used. */ | |
1823 | ||
1824 | struct GTY(()) lazy_hex_fp_value_struct | |
1825 | { | |
1826 | const char *hex_str; | |
1827 | machine_mode mode; | |
1828 | int digits; | |
1829 | const char *fp_suffix; | |
1830 | }; | |
1831 | /* Number of the expensive to compute macros we should evaluate lazily. | |
1832 | Each builtin_define_float_constants invocation calls | |
1833 | builtin_define_with_hex_fp_value 5 times and builtin_define_float_constants | |
1834 | is called for FLT, DBL, LDBL and up to NUM_FLOATN_NX_TYPES times for | |
1835 | FLTNN*. */ | |
1836 | #define LAZY_HEX_FP_VALUES_CNT (5 * (3 + NUM_FLOATN_NX_TYPES)) | |
1837 | static GTY(()) struct lazy_hex_fp_value_struct | |
1838 | lazy_hex_fp_values[LAZY_HEX_FP_VALUES_CNT]; | |
1839 | static GTY(()) unsigned lazy_hex_fp_value_count; | |
1840 | ||
1841 | static void | |
1842 | lazy_hex_fp_value (cpp_reader *, cpp_macro *macro, unsigned num) | |
1843 | { | |
1844 | REAL_VALUE_TYPE real; | |
1845 | char dec_str[64], buf1[256]; | |
1846 | ||
1847 | gcc_checking_assert (num < lazy_hex_fp_value_count); | |
1848 | ||
1849 | real_from_string (&real, lazy_hex_fp_values[num].hex_str); | |
1850 | real_to_decimal_for_mode (dec_str, &real, sizeof (dec_str), | |
1851 | lazy_hex_fp_values[num].digits, 0, | |
1852 | lazy_hex_fp_values[num].mode); | |
1853 | ||
1854 | size_t len | |
1855 | = sprintf (buf1, "%s%s", dec_str, lazy_hex_fp_values[num].fp_suffix); | |
1856 | gcc_assert (len < sizeof (buf1)); | |
1857 | for (unsigned idx = 0; idx < macro->count; idx++) | |
1858 | if (macro->exp.tokens[idx].type == CPP_NUMBER) | |
1859 | { | |
1860 | macro->exp.tokens[idx].val.str.len = len; | |
1861 | macro->exp.tokens[idx].val.str.text | |
1862 | = (const unsigned char *) ggc_strdup (buf1); | |
1863 | return; | |
1864 | } | |
1865 | ||
1866 | /* We must have replaced a token. */ | |
1867 | gcc_unreachable (); | |
1868 | } | |
1869 | ||
1870 | /* Pass an object-like macro a hexadecimal floating-point value. */ | |
1871 | static void | |
1872 | builtin_define_with_hex_fp_value (const char *macro, | |
1873 | tree type, int digits, | |
1874 | const char *hex_str, | |
1875 | const char *fp_suffix, | |
1876 | const char *fp_cast) | |
1877 | { | |
1878 | REAL_VALUE_TYPE real; | |
1879 | char dec_str[64], buf[256], buf1[128], buf2[64]; | |
1880 | ||
1881 | /* This is very expensive, so if possible expand them lazily. */ | |
1882 | if (lazy_hex_fp_value_count < LAZY_HEX_FP_VALUES_CNT | |
1883 | && flag_dump_macros == 0 | |
1884 | && flag_dump_go_spec == NULL | |
1885 | && !cpp_get_options (parse_in)->traditional) | |
1886 | { | |
1887 | if (lazy_hex_fp_value_count == 0) | |
1888 | cpp_get_callbacks (parse_in)->user_lazy_macro = lazy_hex_fp_value; | |
1889 | sprintf (buf2, fp_cast, "1.1"); | |
1890 | sprintf (buf1, "%s=%s", macro, buf2); | |
1891 | cpp_define (parse_in, buf1); | |
1892 | struct cpp_hashnode *node = C_CPP_HASHNODE (get_identifier (macro)); | |
1893 | lazy_hex_fp_values[lazy_hex_fp_value_count].hex_str | |
1894 | = ggc_strdup (hex_str); | |
1895 | lazy_hex_fp_values[lazy_hex_fp_value_count].mode = TYPE_MODE (type); | |
1896 | lazy_hex_fp_values[lazy_hex_fp_value_count].digits = digits; | |
1897 | lazy_hex_fp_values[lazy_hex_fp_value_count].fp_suffix = fp_suffix; | |
1898 | cpp_define_lazily (parse_in, node, lazy_hex_fp_value_count++); | |
1899 | return; | |
1900 | } | |
1901 | ||
1902 | /* Hex values are really cool and convenient, except that they're | |
1903 | not supported in strict ISO C90 mode. First, the "p-" sequence | |
1904 | is not valid as part of a preprocessor number. Second, we get a | |
1905 | pedwarn from the preprocessor, which has no context, so we can't | |
1906 | suppress the warning with __extension__. | |
1907 | ||
1908 | So instead what we do is construct the number in hex (because | |
1909 | it's easy to get the exact correct value), parse it as a real, | |
1910 | then print it back out as decimal. */ | |
1911 | ||
1912 | real_from_string (&real, hex_str); | |
1913 | real_to_decimal_for_mode (dec_str, &real, sizeof (dec_str), digits, 0, | |
1914 | TYPE_MODE (type)); | |
1915 | ||
1916 | /* Assemble the macro in the following fashion | |
1917 | macro = fp_cast [dec_str fp_suffix] */ | |
1918 | sprintf (buf2, "%s%s", dec_str, fp_suffix); | |
1919 | sprintf (buf1, fp_cast, buf2); | |
1920 | sprintf (buf, "%s=%s", macro, buf1); | |
1921 | ||
1922 | cpp_define (parse_in, buf); | |
1923 | } | |
1924 | ||
1925 | /* Return a string constant for the suffix for a value of type TYPE | |
1926 | promoted according to the integer promotions. The type must be one | |
1927 | of the standard integer type nodes. */ | |
1928 | ||
1929 | static const char * | |
1930 | type_suffix (tree type) | |
1931 | { | |
1932 | static const char *const suffixes[] = { "", "U", "L", "UL", "LL", "ULL" }; | |
1933 | int unsigned_suffix; | |
1934 | int is_long; | |
1935 | int tp = TYPE_PRECISION (type); | |
1936 | ||
1937 | if (type == long_long_integer_type_node | |
1938 | || type == long_long_unsigned_type_node | |
1939 | || tp > TYPE_PRECISION (long_integer_type_node)) | |
1940 | is_long = 2; | |
1941 | else if (type == long_integer_type_node | |
1942 | || type == long_unsigned_type_node | |
1943 | || tp > TYPE_PRECISION (integer_type_node)) | |
1944 | is_long = 1; | |
1945 | else if (type == integer_type_node | |
1946 | || type == unsigned_type_node | |
1947 | || type == short_integer_type_node | |
1948 | || type == short_unsigned_type_node | |
1949 | || type == signed_char_type_node | |
1950 | || type == unsigned_char_type_node | |
1951 | /* ??? "char" is not a signed or unsigned integer type and | |
1952 | so is not permitted for the standard typedefs, but some | |
1953 | systems use it anyway. */ | |
1954 | || type == char_type_node) | |
1955 | is_long = 0; | |
1956 | else if (type == wchar_type_node) | |
1957 | return type_suffix (underlying_wchar_type_node); | |
1958 | else | |
1959 | gcc_unreachable (); | |
1960 | ||
1961 | unsigned_suffix = TYPE_UNSIGNED (type); | |
1962 | if (TYPE_PRECISION (type) < TYPE_PRECISION (integer_type_node)) | |
1963 | unsigned_suffix = 0; | |
1964 | return suffixes[is_long * 2 + unsigned_suffix]; | |
1965 | } | |
1966 | ||
1967 | /* Define MACRO as a <stdint.h> constant-suffix macro for TYPE. */ | |
1968 | static void | |
1969 | builtin_define_constants (const char *macro, tree type) | |
1970 | { | |
1971 | const char *suffix; | |
1972 | char *buf; | |
1973 | ||
1974 | suffix = type_suffix (type); | |
1975 | ||
1976 | if (suffix[0] == 0) | |
1977 | { | |
1978 | buf = (char *) alloca (strlen (macro) + 6); | |
1979 | sprintf (buf, "%s(c)=c", macro); | |
1980 | } | |
1981 | else | |
1982 | { | |
1983 | buf = (char *) alloca (strlen (macro) + 9 + strlen (suffix) + 1); | |
1984 | sprintf (buf, "%s(c)=c ## %s", macro, suffix); | |
1985 | } | |
1986 | ||
1987 | cpp_define (parse_in, buf); | |
1988 | } | |
1989 | ||
1990 | /* Define MAX for TYPE based on the precision of the type. */ | |
1991 | ||
1992 | static void | |
1993 | builtin_define_type_max (const char *macro, tree type) | |
1994 | { | |
1995 | builtin_define_type_minmax (NULL, macro, type); | |
1996 | } | |
1997 | ||
1998 | /* Given a value with COUNT LSBs set, fill BUF with a hexidecimal | |
1999 | representation of that value. For example, a COUNT of 10 would | |
2000 | return "0x3ff". */ | |
2001 | ||
2002 | static void | |
2003 | print_bits_of_hex (char *buf, int bufsz, int count) | |
2004 | { | |
2005 | gcc_assert (bufsz > 3); | |
2006 | *buf++ = '0'; | |
2007 | *buf++ = 'x'; | |
2008 | bufsz -= 2; | |
2009 | ||
2010 | gcc_assert (count > 0); | |
2011 | ||
2012 | switch (count % 4) { | |
2013 | case 0: | |
2014 | break; | |
2015 | case 1: | |
2016 | *buf++ = '1'; | |
2017 | bufsz --; | |
2018 | count -= 1; | |
2019 | break; | |
2020 | case 2: | |
2021 | *buf++ = '3'; | |
2022 | bufsz --; | |
2023 | count -= 2; | |
2024 | break; | |
2025 | case 3: | |
2026 | *buf++ = '7'; | |
2027 | bufsz --; | |
2028 | count -= 3; | |
2029 | break; | |
2030 | } | |
2031 | while (count >= 4) | |
2032 | { | |
2033 | gcc_assert (bufsz > 1); | |
2034 | *buf++ = 'f'; | |
2035 | bufsz --; | |
2036 | count -= 4; | |
2037 | } | |
2038 | gcc_assert (bufsz > 0); | |
2039 | *buf++ = 0; | |
2040 | } | |
2041 | ||
2042 | /* Define MIN_MACRO (if not NULL) and MAX_MACRO for TYPE based on the | |
2043 | precision of the type. */ | |
2044 | ||
2045 | static void | |
2046 | builtin_define_type_minmax (const char *min_macro, const char *max_macro, | |
2047 | tree type) | |
2048 | { | |
2049 | #define PBOH_SZ (MAX_BITSIZE_MODE_ANY_INT/4+4) | |
2050 | char value[PBOH_SZ]; | |
2051 | ||
2052 | const char *suffix; | |
2053 | char *buf; | |
2054 | int bits; | |
2055 | ||
2056 | bits = TYPE_PRECISION (type) + (TYPE_UNSIGNED (type) ? 0 : -1); | |
2057 | ||
2058 | print_bits_of_hex (value, PBOH_SZ, bits); | |
2059 | ||
2060 | suffix = type_suffix (type); | |
2061 | ||
2062 | buf = (char *) alloca (strlen (max_macro) + 1 + strlen (value) | |
2063 | + strlen (suffix) + 1); | |
2064 | sprintf (buf, "%s=%s%s", max_macro, value, suffix); | |
2065 | ||
2066 | cpp_define (parse_in, buf); | |
2067 | ||
2068 | if (min_macro) | |
2069 | { | |
2070 | if (TYPE_UNSIGNED (type)) | |
2071 | { | |
2072 | buf = (char *) alloca (strlen (min_macro) + 2 + strlen (suffix) + 1); | |
2073 | sprintf (buf, "%s=0%s", min_macro, suffix); | |
2074 | } | |
2075 | else | |
2076 | { | |
2077 | buf = (char *) alloca (strlen (min_macro) + 3 | |
2078 | + strlen (max_macro) + 6); | |
2079 | sprintf (buf, "%s=(-%s - 1)", min_macro, max_macro); | |
2080 | } | |
2081 | cpp_define (parse_in, buf); | |
2082 | } | |
2083 | } | |
2084 | ||
2085 | /* Define WIDTH_MACRO for the width of TYPE. If TYPE2 is not NULL, | |
2086 | both types must have the same width. */ | |
2087 | ||
2088 | static void | |
2089 | builtin_define_type_width (const char *width_macro, tree type, tree type2) | |
2090 | { | |
2091 | if (type2 != NULL_TREE) | |
2092 | gcc_assert (TYPE_PRECISION (type) == TYPE_PRECISION (type2)); | |
2093 | builtin_define_with_int_value (width_macro, TYPE_PRECISION (type)); | |
2094 | } | |
2095 | ||
2096 | #include "gt-c-family-c-cppbuiltin.h" |