1 /* Define builtin-in macros for the C family front ends.
2 Copyright (C) 2002-2021 Free Software Foundation, Inc.
4 This file is part of GCC.
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
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
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/>. */
22 #include "coretypes.h"
26 #include "tm_p.h" /* For TARGET_CPU_CPP_BUILTINS & friends. */
27 #include "stringpool.h"
28 #include "stor-layout.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"
37 #ifndef TARGET_OS_CPP_BUILTINS
38 # define TARGET_OS_CPP_BUILTINS()
41 #ifndef TARGET_OBJFMT_CPP_BUILTINS
42 # define TARGET_OBJFMT_CPP_BUILTINS()
45 #ifndef REGISTER_PREFIX
46 #define REGISTER_PREFIX ""
49 /* Non-static as some targets don't use it. */
50 static void builtin_define_with_hex_fp_value (const char *, tree
,
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 *,
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
71 mode_has_fma (machine_mode mode
)
85 #ifdef HAVE_fmakf4 /* PowerPC if long double != __float128. */
107 /* Define NAME with value TYPE size_unit. */
109 builtin_define_type_sizeof (const char *name
, tree type
)
111 builtin_define_with_int_value (name
,
112 tree_to_uhwi (TYPE_SIZE_UNIT (type
)));
115 /* Define the float.h constants for TYPE using NAME_PREFIX, FP_SUFFIX,
118 builtin_define_float_constants (const char *name_prefix
,
119 const char *fp_suffix
,
121 const char *fma_suffix
,
124 /* Used to convert radix-based values to base 10 values in several cases.
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. */
132 const double log10_2
= .30102999566398119521;
134 const struct real_format
*fmt
;
135 const struct real_format
*widefmt
;
137 char name
[64], buf
[128];
138 int dig
, min_10_exp
, max_10_exp
;
140 int type_decimal_dig
;
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
++)
148 tree wtype
= FLOATN_NX_TYPE_NODE (i
);
149 if (wtype
!= NULL_TREE
)
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
)
159 /* The radix of the exponent representation. */
160 if (type
== float_type_node
)
161 builtin_define_with_int_value ("__FLT_RADIX__", fmt
->b
);
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
);
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,
172 p log10 b if b is a power of 10
173 floor((p - 1) log10 b) otherwise
175 dig
= (fmt
->p
- 1) * log10_b
;
176 sprintf (name
, "__%s_DIG__", name_prefix
);
177 builtin_define_with_int_value (name
, dig
);
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);
184 /* The minimum negative int x such that 10**x is a normalized float,
186 ceil (log10 (b ** (emin - 1)))
187 = ceil (log10 (b) * (emin - 1))
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);
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
);
200 /* The maximum int x such that 10**x is in the range of representable
201 finite floating-point numbers,
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)
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:
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.
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).
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
);
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
234 p * log10(b) if b is a power of 10
235 ceil(1 + p * log10(b)) otherwise
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. */
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
)
246 /* Similar, for this type rather than long double. */
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
)
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
);
260 /* Since, for the supported formats, B is always a power of 2, we
261 construct the following numbers directly as a hexadecimal
263 get_max_float (fmt
, buf
, sizeof (buf
), false);
265 sprintf (name
, "__%s_MAX__", name_prefix
);
266 builtin_define_with_hex_fp_value (name
, type
, decimal_dig
, buf
, fp_suffix
, fp_cast
);
268 get_max_float (fmt
, buf
, sizeof (buf
), true);
270 sprintf (name
, "__%s_NORM_MAX__", name_prefix
);
271 builtin_define_with_hex_fp_value (name
, type
, decimal_dig
, buf
, fp_suffix
, fp_cast
);
273 /* The minimum normalized positive floating-point number,
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
);
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
)
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
);
287 sprintf (buf
, "0x1p%d", 1 - fmt
->p
);
288 builtin_define_with_hex_fp_value (name
, type
, decimal_dig
, buf
, fp_suffix
, fp_cast
);
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
);
299 sprintf (name
, "__%s_HAS_DENORM__", name_prefix
);
300 builtin_define_with_value (name
, fmt
->has_denorm
? "1" : "0", 0);
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
)));
314 /* Note whether we have fast FMA. */
315 if (mode_has_fma (TYPE_MODE (type
)) && fma_suffix
!= NULL
)
317 sprintf (name
, "__FP_FAST_FMA%s", fma_suffix
);
318 builtin_define_with_int_value (name
, 1);
321 /* For C2x *_IS_IEC_60559. 0 means the type does not match an IEC
322 60559 format, 1 that it matches a format but not operations and 2
323 that it matches a format and operations (but may not conform to
324 Annex F; we take this as meaning exceptions and rounding modes
325 need not be supported). */
326 sprintf (name
, "__%s_IS_IEC_60559__", name_prefix
);
327 builtin_define_with_int_value (name
,
329 ? 0 : (fmt
->round_towards_zero
? 1 : 2)));
332 /* Define __DECx__ constants for TYPE using NAME_PREFIX and SUFFIX. */
334 builtin_define_decimal_float_constants (const char *name_prefix
,
338 const struct real_format
*fmt
;
339 char name
[64], buf
[128], *p
;
342 fmt
= REAL_MODE_FORMAT (TYPE_MODE (type
));
344 /* The number of radix digits, p, in the significand. */
345 sprintf (name
, "__%s_MANT_DIG__", name_prefix
);
346 builtin_define_with_int_value (name
, fmt
->p
);
348 /* The minimum negative int x such that b**(x-1) is a normalized float. */
349 sprintf (name
, "__%s_MIN_EXP__", name_prefix
);
350 sprintf (buf
, "(%d)", fmt
->emin
);
351 builtin_define_with_value (name
, buf
, 0);
353 /* The maximum int x such that b**(x-1) is a representable float. */
354 sprintf (name
, "__%s_MAX_EXP__", name_prefix
);
355 builtin_define_with_int_value (name
, fmt
->emax
);
357 /* Compute the minimum representable value. */
358 sprintf (name
, "__%s_MIN__", name_prefix
);
359 sprintf (buf
, "1E%d%s", fmt
->emin
- 1, suffix
);
360 builtin_define_with_value (name
, buf
, 0);
362 /* Compute the maximum representable value. */
363 sprintf (name
, "__%s_MAX__", name_prefix
);
365 for (digits
= fmt
->p
; digits
; digits
--)
368 if (digits
== fmt
->p
)
372 /* fmt->p plus 1, to account for the decimal point and fmt->emax
373 minus 1 because the digits are nines, not 1.0. */
374 sprintf (&buf
[fmt
->p
+ 1], "E%d%s", fmt
->emax
- 1, suffix
);
375 builtin_define_with_value (name
, buf
, 0);
377 /* Compute epsilon (the difference between 1 and least value greater
378 than 1 representable). */
379 sprintf (name
, "__%s_EPSILON__", name_prefix
);
380 sprintf (buf
, "1E-%d%s", fmt
->p
- 1, suffix
);
381 builtin_define_with_value (name
, buf
, 0);
383 /* Minimum subnormal positive decimal value. */
384 sprintf (name
, "__%s_SUBNORMAL_MIN__", name_prefix
);
386 for (digits
= fmt
->p
; digits
> 1; digits
--)
389 if (digits
== fmt
->p
)
393 sprintf (&buf
[fmt
->p
], "1E%d%s", fmt
->emin
- 1, suffix
);
394 builtin_define_with_value (name
, buf
, 0);
397 /* Define fixed-point constants for TYPE using NAME_PREFIX and SUFFIX. */
400 builtin_define_fixed_point_constants (const char *name_prefix
,
404 char name
[64], buf
[256], *new_buf
;
407 sprintf (name
, "__%s_FBIT__", name_prefix
);
408 builtin_define_with_int_value (name
, TYPE_FBIT (type
));
410 sprintf (name
, "__%s_IBIT__", name_prefix
);
411 builtin_define_with_int_value (name
, TYPE_IBIT (type
));
413 /* If there is no suffix, defines are for fixed-point modes.
415 if (strcmp (suffix
, "") == 0)
418 if (TYPE_UNSIGNED (type
))
420 sprintf (name
, "__%s_MIN__", name_prefix
);
421 sprintf (buf
, "0.0%s", suffix
);
422 builtin_define_with_value (name
, buf
, 0);
426 sprintf (name
, "__%s_MIN__", name_prefix
);
427 if (ALL_ACCUM_MODE_P (TYPE_MODE (type
)))
428 sprintf (buf
, "(-0X1P%d%s-0X1P%d%s)", TYPE_IBIT (type
) - 1, suffix
,
429 TYPE_IBIT (type
) - 1, suffix
);
431 sprintf (buf
, "(-0.5%s-0.5%s)", suffix
, suffix
);
432 builtin_define_with_value (name
, buf
, 0);
435 sprintf (name
, "__%s_MAX__", name_prefix
);
438 mod
= (TYPE_FBIT (type
) + TYPE_IBIT (type
)) % 4;
440 sprintf (new_buf
++, "%x", (1 << mod
) - 1);
441 for (i
= 0; i
< (TYPE_FBIT (type
) + TYPE_IBIT (type
)) / 4; i
++)
442 sprintf (new_buf
++, "F");
443 sprintf (new_buf
, "P-%d%s", TYPE_FBIT (type
), suffix
);
444 builtin_define_with_value (name
, buf
, 0);
446 sprintf (name
, "__%s_EPSILON__", name_prefix
);
447 sprintf (buf
, "0x1P-%d%s", TYPE_FBIT (type
), suffix
);
448 builtin_define_with_value (name
, buf
, 0);
451 /* Define macros used by <stdint.h>. */
453 builtin_define_stdint_macros (void)
455 builtin_define_type_max ("__INTMAX_MAX__", intmax_type_node
);
456 builtin_define_constants ("__INTMAX_C", intmax_type_node
);
457 builtin_define_type_max ("__UINTMAX_MAX__", uintmax_type_node
);
458 builtin_define_constants ("__UINTMAX_C", uintmax_type_node
);
459 builtin_define_type_width ("__INTMAX_WIDTH__", intmax_type_node
,
461 if (sig_atomic_type_node
)
463 builtin_define_type_minmax ("__SIG_ATOMIC_MIN__", "__SIG_ATOMIC_MAX__",
464 sig_atomic_type_node
);
465 builtin_define_type_width ("__SIG_ATOMIC_WIDTH__", sig_atomic_type_node
,
469 builtin_define_type_max ("__INT8_MAX__", int8_type_node
);
471 builtin_define_type_max ("__INT16_MAX__", int16_type_node
);
473 builtin_define_type_max ("__INT32_MAX__", int32_type_node
);
475 builtin_define_type_max ("__INT64_MAX__", int64_type_node
);
477 builtin_define_type_max ("__UINT8_MAX__", uint8_type_node
);
478 if (c_uint16_type_node
)
479 builtin_define_type_max ("__UINT16_MAX__", c_uint16_type_node
);
480 if (c_uint32_type_node
)
481 builtin_define_type_max ("__UINT32_MAX__", c_uint32_type_node
);
482 if (c_uint64_type_node
)
483 builtin_define_type_max ("__UINT64_MAX__", c_uint64_type_node
);
484 if (int_least8_type_node
)
486 builtin_define_type_max ("__INT_LEAST8_MAX__", int_least8_type_node
);
487 builtin_define_constants ("__INT8_C", int_least8_type_node
);
488 builtin_define_type_width ("__INT_LEAST8_WIDTH__", int_least8_type_node
,
489 uint_least8_type_node
);
491 if (int_least16_type_node
)
493 builtin_define_type_max ("__INT_LEAST16_MAX__", int_least16_type_node
);
494 builtin_define_constants ("__INT16_C", int_least16_type_node
);
495 builtin_define_type_width ("__INT_LEAST16_WIDTH__",
496 int_least16_type_node
,
497 uint_least16_type_node
);
499 if (int_least32_type_node
)
501 builtin_define_type_max ("__INT_LEAST32_MAX__", int_least32_type_node
);
502 builtin_define_constants ("__INT32_C", int_least32_type_node
);
503 builtin_define_type_width ("__INT_LEAST32_WIDTH__",
504 int_least32_type_node
,
505 uint_least32_type_node
);
507 if (int_least64_type_node
)
509 builtin_define_type_max ("__INT_LEAST64_MAX__", int_least64_type_node
);
510 builtin_define_constants ("__INT64_C", int_least64_type_node
);
511 builtin_define_type_width ("__INT_LEAST64_WIDTH__",
512 int_least64_type_node
,
513 uint_least64_type_node
);
515 if (uint_least8_type_node
)
517 builtin_define_type_max ("__UINT_LEAST8_MAX__", uint_least8_type_node
);
518 builtin_define_constants ("__UINT8_C", uint_least8_type_node
);
520 if (uint_least16_type_node
)
522 builtin_define_type_max ("__UINT_LEAST16_MAX__", uint_least16_type_node
);
523 builtin_define_constants ("__UINT16_C", uint_least16_type_node
);
525 if (uint_least32_type_node
)
527 builtin_define_type_max ("__UINT_LEAST32_MAX__", uint_least32_type_node
);
528 builtin_define_constants ("__UINT32_C", uint_least32_type_node
);
530 if (uint_least64_type_node
)
532 builtin_define_type_max ("__UINT_LEAST64_MAX__", uint_least64_type_node
);
533 builtin_define_constants ("__UINT64_C", uint_least64_type_node
);
535 if (int_fast8_type_node
)
537 builtin_define_type_max ("__INT_FAST8_MAX__", int_fast8_type_node
);
538 builtin_define_type_width ("__INT_FAST8_WIDTH__", int_fast8_type_node
,
539 uint_fast8_type_node
);
541 if (int_fast16_type_node
)
543 builtin_define_type_max ("__INT_FAST16_MAX__", int_fast16_type_node
);
544 builtin_define_type_width ("__INT_FAST16_WIDTH__", int_fast16_type_node
,
545 uint_fast16_type_node
);
547 if (int_fast32_type_node
)
549 builtin_define_type_max ("__INT_FAST32_MAX__", int_fast32_type_node
);
550 builtin_define_type_width ("__INT_FAST32_WIDTH__", int_fast32_type_node
,
551 uint_fast32_type_node
);
553 if (int_fast64_type_node
)
555 builtin_define_type_max ("__INT_FAST64_MAX__", int_fast64_type_node
);
556 builtin_define_type_width ("__INT_FAST64_WIDTH__", int_fast64_type_node
,
557 uint_fast64_type_node
);
559 if (uint_fast8_type_node
)
560 builtin_define_type_max ("__UINT_FAST8_MAX__", uint_fast8_type_node
);
561 if (uint_fast16_type_node
)
562 builtin_define_type_max ("__UINT_FAST16_MAX__", uint_fast16_type_node
);
563 if (uint_fast32_type_node
)
564 builtin_define_type_max ("__UINT_FAST32_MAX__", uint_fast32_type_node
);
565 if (uint_fast64_type_node
)
566 builtin_define_type_max ("__UINT_FAST64_MAX__", uint_fast64_type_node
);
567 if (intptr_type_node
)
569 builtin_define_type_max ("__INTPTR_MAX__", intptr_type_node
);
570 builtin_define_type_width ("__INTPTR_WIDTH__", intptr_type_node
,
573 if (uintptr_type_node
)
574 builtin_define_type_max ("__UINTPTR_MAX__", uintptr_type_node
);
577 /* Adjust the optimization macros when a #pragma GCC optimization is done to
578 reflect the current level. */
580 c_cpp_builtins_optimize_pragma (cpp_reader
*pfile
, tree prev_tree
,
583 struct cl_optimization
*prev
= TREE_OPTIMIZATION (prev_tree
);
584 struct cl_optimization
*cur
= TREE_OPTIMIZATION (cur_tree
);
588 /* -undef turns off target-specific built-ins. */
592 /* Other target-independent built-ins determined by command-line
594 if (!prev
->x_optimize_size
&& cur
->x_optimize_size
)
595 cpp_define_unused (pfile
, "__OPTIMIZE_SIZE__");
596 else if (prev
->x_optimize_size
&& !cur
->x_optimize_size
)
597 cpp_undef (pfile
, "__OPTIMIZE_SIZE__");
599 if (!prev
->x_optimize
&& cur
->x_optimize
)
600 cpp_define_unused (pfile
, "__OPTIMIZE__");
601 else if (prev
->x_optimize
&& !cur
->x_optimize
)
602 cpp_undef (pfile
, "__OPTIMIZE__");
604 prev_fast_math
= fast_math_flags_struct_set_p (prev
);
605 cur_fast_math
= fast_math_flags_struct_set_p (cur
);
606 if (!prev_fast_math
&& cur_fast_math
)
607 cpp_define_unused (pfile
, "__FAST_MATH__");
608 else if (prev_fast_math
&& !cur_fast_math
)
609 cpp_undef (pfile
, "__FAST_MATH__");
611 if (!prev
->x_flag_signaling_nans
&& cur
->x_flag_signaling_nans
)
612 cpp_define_unused (pfile
, "__SUPPORT_SNAN__");
613 else if (prev
->x_flag_signaling_nans
&& !cur
->x_flag_signaling_nans
)
614 cpp_undef (pfile
, "__SUPPORT_SNAN__");
616 if (!prev
->x_flag_errno_math
&& cur
->x_flag_errno_math
)
617 cpp_undef (pfile
, "__NO_MATH_ERRNO__");
618 else if (prev
->x_flag_errno_math
&& !cur
->x_flag_errno_math
)
619 cpp_define_unused (pfile
, "__NO_MATH_ERRNO__");
621 if (!prev
->x_flag_finite_math_only
&& cur
->x_flag_finite_math_only
)
623 cpp_undef (pfile
, "__FINITE_MATH_ONLY__");
624 cpp_define_unused (pfile
, "__FINITE_MATH_ONLY__=1");
626 else if (prev
->x_flag_finite_math_only
&& !cur
->x_flag_finite_math_only
)
628 cpp_undef (pfile
, "__FINITE_MATH_ONLY__");
629 cpp_define_unused (pfile
, "__FINITE_MATH_ONLY__=0");
632 if (!prev
->x_flag_reciprocal_math
&& cur
->x_flag_reciprocal_math
)
633 cpp_define_unused (pfile
, "__RECIPROCAL_MATH__");
634 else if (prev
->x_flag_reciprocal_math
&& !cur
->x_flag_reciprocal_math
)
635 cpp_undef (pfile
, "__RECIPROCAL_MATH__");
637 if (!prev
->x_flag_signed_zeros
&& cur
->x_flag_signed_zeros
)
638 cpp_undef (pfile
, "__NO_SIGNED_ZEROS__");
639 else if (prev
->x_flag_signed_zeros
&& !cur
->x_flag_signed_zeros
)
640 cpp_define_unused (pfile
, "__NO_SIGNED_ZEROS__");
642 if (!prev
->x_flag_trapping_math
&& cur
->x_flag_trapping_math
)
643 cpp_undef (pfile
, "__NO_TRAPPING_MATH__");
644 else if (prev
->x_flag_trapping_math
&& !cur
->x_flag_trapping_math
)
645 cpp_define_unused (pfile
, "__NO_TRAPPING_MATH__");
647 if (!prev
->x_flag_associative_math
&& cur
->x_flag_associative_math
)
648 cpp_define_unused (pfile
, "__ASSOCIATIVE_MATH__");
649 else if (prev
->x_flag_associative_math
&& !cur
->x_flag_associative_math
)
650 cpp_undef (pfile
, "__ASSOCIATIVE_MATH__");
652 if (!prev
->x_flag_rounding_math
&& cur
->x_flag_rounding_math
)
653 cpp_define_unused (pfile
, "__ROUNDING_MATH__");
654 else if (prev
->x_flag_rounding_math
&& !cur
->x_flag_rounding_math
)
655 cpp_undef (pfile
, "__ROUNDING_MATH__");
659 /* This function will emit cpp macros to indicate the presence of various lock
660 free atomic operations. */
663 cpp_atomic_builtins (cpp_reader
*pfile
)
665 /* Set a flag for each size of object that compare and swap exists for up to
667 #define SWAP_LIMIT 17
668 bool have_swap
[SWAP_LIMIT
];
671 /* Clear the map of sizes compare_and swap exists for. */
672 memset (have_swap
, 0, sizeof (have_swap
));
674 /* Tell source code if the compiler makes sync_compare_and_swap
675 builtins available. */
676 #ifndef HAVE_sync_compare_and_swapqi
677 #define HAVE_sync_compare_and_swapqi 0
679 #ifndef HAVE_atomic_compare_and_swapqi
680 #define HAVE_atomic_compare_and_swapqi 0
683 if (HAVE_sync_compare_and_swapqi
|| HAVE_atomic_compare_and_swapqi
)
685 cpp_define (pfile
, "__GCC_HAVE_SYNC_COMPARE_AND_SWAP_1");
689 #ifndef HAVE_sync_compare_and_swaphi
690 #define HAVE_sync_compare_and_swaphi 0
692 #ifndef HAVE_atomic_compare_and_swaphi
693 #define HAVE_atomic_compare_and_swaphi 0
695 if (HAVE_sync_compare_and_swaphi
|| HAVE_atomic_compare_and_swaphi
)
697 cpp_define (pfile
, "__GCC_HAVE_SYNC_COMPARE_AND_SWAP_2");
701 #ifndef HAVE_sync_compare_and_swapsi
702 #define HAVE_sync_compare_and_swapsi 0
704 #ifndef HAVE_atomic_compare_and_swapsi
705 #define HAVE_atomic_compare_and_swapsi 0
707 if (HAVE_sync_compare_and_swapsi
|| HAVE_atomic_compare_and_swapsi
)
709 cpp_define (pfile
, "__GCC_HAVE_SYNC_COMPARE_AND_SWAP_4");
713 #ifndef HAVE_sync_compare_and_swapdi
714 #define HAVE_sync_compare_and_swapdi 0
716 #ifndef HAVE_atomic_compare_and_swapdi
717 #define HAVE_atomic_compare_and_swapdi 0
719 if (HAVE_sync_compare_and_swapdi
|| HAVE_atomic_compare_and_swapdi
)
721 cpp_define (pfile
, "__GCC_HAVE_SYNC_COMPARE_AND_SWAP_8");
725 #ifndef HAVE_sync_compare_and_swapti
726 #define HAVE_sync_compare_and_swapti 0
728 #ifndef HAVE_atomic_compare_and_swapti
729 #define HAVE_atomic_compare_and_swapti 0
731 if (HAVE_sync_compare_and_swapti
|| HAVE_atomic_compare_and_swapti
)
733 cpp_define (pfile
, "__GCC_HAVE_SYNC_COMPARE_AND_SWAP_16");
734 have_swap
[16] = true;
737 /* Tell the source code about various types. These map to the C++11 and C11
738 macros where 2 indicates lock-free always, and 1 indicates sometimes
740 #define SIZEOF_NODE(T) (tree_to_uhwi (TYPE_SIZE_UNIT (T)))
741 #define SWAP_INDEX(T) ((SIZEOF_NODE (T) < SWAP_LIMIT) ? SIZEOF_NODE (T) : 0)
742 builtin_define_with_int_value ("__GCC_ATOMIC_BOOL_LOCK_FREE",
743 (have_swap
[SWAP_INDEX (boolean_type_node
)]? 2 : 1));
744 builtin_define_with_int_value ("__GCC_ATOMIC_CHAR_LOCK_FREE",
745 (have_swap
[SWAP_INDEX (signed_char_type_node
)]? 2 : 1));
747 builtin_define_with_int_value ("__GCC_ATOMIC_CHAR8_T_LOCK_FREE",
748 (have_swap
[SWAP_INDEX (char8_type_node
)]? 2 : 1));
749 builtin_define_with_int_value ("__GCC_ATOMIC_CHAR16_T_LOCK_FREE",
750 (have_swap
[SWAP_INDEX (char16_type_node
)]? 2 : 1));
751 builtin_define_with_int_value ("__GCC_ATOMIC_CHAR32_T_LOCK_FREE",
752 (have_swap
[SWAP_INDEX (char32_type_node
)]? 2 : 1));
753 builtin_define_with_int_value ("__GCC_ATOMIC_WCHAR_T_LOCK_FREE",
754 (have_swap
[SWAP_INDEX (wchar_type_node
)]? 2 : 1));
755 builtin_define_with_int_value ("__GCC_ATOMIC_SHORT_LOCK_FREE",
756 (have_swap
[SWAP_INDEX (short_integer_type_node
)]? 2 : 1));
757 builtin_define_with_int_value ("__GCC_ATOMIC_INT_LOCK_FREE",
758 (have_swap
[SWAP_INDEX (integer_type_node
)]? 2 : 1));
759 builtin_define_with_int_value ("__GCC_ATOMIC_LONG_LOCK_FREE",
760 (have_swap
[SWAP_INDEX (long_integer_type_node
)]? 2 : 1));
761 builtin_define_with_int_value ("__GCC_ATOMIC_LLONG_LOCK_FREE",
762 (have_swap
[SWAP_INDEX (long_long_integer_type_node
)]? 2 : 1));
764 /* If we're dealing with a "set" value that doesn't exactly correspond
765 to a boolean truth value, let the library work around that. */
766 builtin_define_with_int_value ("__GCC_ATOMIC_TEST_AND_SET_TRUEVAL",
767 targetm
.atomic_test_and_set_trueval
);
769 /* Macros for C++17 hardware interference size constants. Either both or
770 neither should be set. */
771 gcc_assert (!param_destruct_interfere_size
772 == !param_construct_interfere_size
);
773 if (param_destruct_interfere_size
)
775 /* FIXME The way of communicating these values to the library should be
776 part of the C++ ABI, whether macro or builtin. */
777 builtin_define_with_int_value ("__GCC_DESTRUCTIVE_SIZE",
778 param_destruct_interfere_size
);
779 builtin_define_with_int_value ("__GCC_CONSTRUCTIVE_SIZE",
780 param_construct_interfere_size
);
783 /* ptr_type_node can't be used here since ptr_mode is only set when
784 toplev calls backend_init which is not done with -E or pch. */
785 psize
= POINTER_SIZE_UNITS
;
786 if (psize
>= SWAP_LIMIT
)
788 builtin_define_with_int_value ("__GCC_ATOMIC_POINTER_LOCK_FREE",
789 (have_swap
[psize
]? 2 : 1));
792 /* Return TRUE if the implicit excess precision in which the back-end will
793 compute floating-point calculations is not more than the explicit
794 excess precision that the front-end will apply under
795 -fexcess-precision=[standard|fast|16].
797 More intuitively, return TRUE if the excess precision proposed by the
798 front-end is the excess precision that will actually be used. */
801 c_cpp_flt_eval_method_iec_559 (void)
803 enum excess_precision_type front_end_ept
804 = (flag_excess_precision
== EXCESS_PRECISION_STANDARD
805 ? EXCESS_PRECISION_TYPE_STANDARD
806 : (flag_excess_precision
== EXCESS_PRECISION_FLOAT16
807 ? EXCESS_PRECISION_TYPE_FLOAT16
808 : EXCESS_PRECISION_TYPE_FAST
));
810 enum flt_eval_method back_end
811 = targetm
.c
.excess_precision (EXCESS_PRECISION_TYPE_IMPLICIT
);
813 enum flt_eval_method front_end
814 = targetm
.c
.excess_precision (front_end_ept
);
816 return excess_precision_mode_join (front_end
, back_end
) == front_end
;
819 /* Return the value for __GCC_IEC_559. */
821 cpp_iec_559_value (void)
823 /* The default is support for IEEE 754-2008. */
826 /* float and double must be binary32 and binary64. If they are but
827 with reversed NaN convention, at most IEEE 754-1985 is
829 const struct real_format
*ffmt
830 = REAL_MODE_FORMAT (TYPE_MODE (float_type_node
));
831 const struct real_format
*dfmt
832 = REAL_MODE_FORMAT (TYPE_MODE (double_type_node
));
833 if (!ffmt
->qnan_msb_set
|| !dfmt
->qnan_msb_set
)
838 || ffmt
->emin
!= -125
840 || ffmt
->signbit_rw
!= 31
841 || ffmt
->round_towards_zero
842 || !ffmt
->has_sign_dependent_rounding
846 || !ffmt
->has_signed_zero
850 || dfmt
->emin
!= -1021
851 || dfmt
->emax
!= 1024
852 || dfmt
->signbit_rw
!= 63
853 || dfmt
->round_towards_zero
854 || !dfmt
->has_sign_dependent_rounding
858 || !dfmt
->has_signed_zero
)
861 /* In strict C standards conformance mode, consider a back-end providing
862 more implicit excess precision than the explicit excess precision
863 the front-end options would require to mean a lack of IEEE 754
864 support. For C++, and outside strict conformance mode, do not consider
865 this to mean a lack of IEEE 754 support. */
869 && !c_cpp_flt_eval_method_iec_559 ())
874 && flag_fp_contract_mode
== FP_CONTRACT_FAST
)
877 /* Various options are contrary to IEEE 754 semantics. */
878 if (flag_unsafe_math_optimizations
879 || flag_associative_math
880 || flag_reciprocal_math
881 || flag_finite_math_only
882 || !flag_signed_zeros
883 || flag_single_precision_constant
)
886 /* If the target does not support IEEE 754 exceptions and rounding
887 modes, consider IEEE 754 support to be absent. */
888 if (!targetm
.float_exceptions_rounding_supported_p ())
894 /* Return the value for __GCC_IEC_559_COMPLEX. */
896 cpp_iec_559_complex_value (void)
898 /* The value is no bigger than that of __GCC_IEC_559. */
899 int ret
= cpp_iec_559_value ();
901 /* Some options are contrary to the required default state of the
902 CX_LIMITED_RANGE pragma. */
903 if (flag_complex_method
!= 2)
909 /* Hook that registers front end and target-specific built-ins. */
911 c_cpp_builtins (cpp_reader
*pfile
)
915 /* -undef turns off target-specific built-ins. */
919 define_language_independent_builtin_macros (pfile
);
921 /* encoding definitions used by users and libraries */
922 builtin_define_with_value ("__GNUC_EXECUTION_CHARSET_NAME",
923 cpp_get_narrow_charset_name (pfile
), 1);
924 builtin_define_with_value ("__GNUC_WIDE_EXECUTION_CHARSET_NAME",
925 cpp_get_wide_charset_name (pfile
), 1);
928 if (c_dialect_cxx ())
931 parse_basever (&major
, NULL
, NULL
);
932 cpp_define_formatted (pfile
, "__GNUG__=%d", major
);
935 /* For stddef.h. They require macros defined in c-common.c. */
936 c_stddef_cpp_builtins ();
938 if (c_dialect_cxx ())
940 if (flag_weak
&& SUPPORTS_ONE_ONLY
)
941 cpp_define (pfile
, "__GXX_WEAK__=1");
943 cpp_define (pfile
, "__GXX_WEAK__=0");
946 cpp_define (pfile
, "__DEPRECATED");
950 cpp_define (pfile
, "__GXX_RTTI");
951 cpp_define (pfile
, "__cpp_rtti=199711L");
954 if (cxx_dialect
>= cxx11
)
955 cpp_define (pfile
, "__GXX_EXPERIMENTAL_CXX0X__");
957 /* Binary literals have been allowed in g++ before C++11
958 and were standardized for C++14. */
959 if (!pedantic
|| cxx_dialect
> cxx11
)
960 cpp_define (pfile
, "__cpp_binary_literals=201304L");
962 /* Similarly for hexadecimal floating point literals and C++17. */
963 if (!pedantic
|| cpp_get_options (parse_in
)->extended_numbers
)
964 cpp_define (pfile
, "__cpp_hex_float=201603L");
966 /* Arrays of runtime bound were removed from C++14, but we still
967 support GNU VLAs. Let's define this macro to a low number
968 (corresponding to the initial test release of GNU C++) if we won't
969 complain about use of VLAs. */
971 && (pedantic
? warn_vla
== 0 : warn_vla
<= 0))
972 cpp_define (pfile
, "__cpp_runtime_arrays=198712L");
974 if (cxx_dialect
>= cxx11
)
976 /* Set feature test macros for C++11. */
977 if (cxx_dialect
<= cxx14
)
978 cpp_define (pfile
, "__cpp_unicode_characters=200704L");
979 cpp_define (pfile
, "__cpp_raw_strings=200710L");
980 cpp_define (pfile
, "__cpp_unicode_literals=200710L");
981 cpp_define (pfile
, "__cpp_user_defined_literals=200809L");
982 cpp_define (pfile
, "__cpp_lambdas=200907L");
983 if (cxx_dialect
== cxx11
)
984 cpp_define (pfile
, "__cpp_constexpr=200704L");
985 if (cxx_dialect
<= cxx14
)
986 cpp_define (pfile
, "__cpp_range_based_for=200907L");
987 if (cxx_dialect
<= cxx14
)
988 cpp_define (pfile
, "__cpp_static_assert=200410L");
989 cpp_define (pfile
, "__cpp_decltype=200707L");
990 cpp_define (pfile
, "__cpp_attributes=200809L");
991 cpp_define (pfile
, "__cpp_rvalue_reference=200610L");
992 cpp_define (pfile
, "__cpp_rvalue_references=200610L");
993 cpp_define (pfile
, "__cpp_variadic_templates=200704L");
994 cpp_define (pfile
, "__cpp_initializer_lists=200806L");
995 cpp_define (pfile
, "__cpp_delegating_constructors=200604L");
996 cpp_define (pfile
, "__cpp_nsdmi=200809L");
997 if (!flag_new_inheriting_ctors
)
998 cpp_define (pfile
, "__cpp_inheriting_constructors=200802L");
1000 cpp_define (pfile
, "__cpp_inheriting_constructors=201511L");
1001 cpp_define (pfile
, "__cpp_ref_qualifiers=200710L");
1002 cpp_define (pfile
, "__cpp_alias_templates=200704L");
1004 if (cxx_dialect
> cxx11
)
1006 /* Set feature test macros for C++14. */
1007 cpp_define (pfile
, "__cpp_return_type_deduction=201304L");
1008 if (cxx_dialect
<= cxx17
)
1010 cpp_define (pfile
, "__cpp_init_captures=201304L");
1011 cpp_define (pfile
, "__cpp_generic_lambdas=201304L");
1013 if (cxx_dialect
<= cxx14
)
1014 cpp_define (pfile
, "__cpp_constexpr=201304L");
1015 cpp_define (pfile
, "__cpp_decltype_auto=201304L");
1016 cpp_define (pfile
, "__cpp_aggregate_nsdmi=201304L");
1017 cpp_define (pfile
, "__cpp_variable_templates=201304L");
1018 cpp_define (pfile
, "__cpp_digit_separators=201309L");
1020 if (cxx_dialect
> cxx14
)
1022 /* Set feature test macros for C++17. */
1023 cpp_define (pfile
, "__cpp_unicode_characters=201411L");
1024 cpp_define (pfile
, "__cpp_static_assert=201411L");
1025 cpp_define (pfile
, "__cpp_namespace_attributes=201411L");
1026 cpp_define (pfile
, "__cpp_enumerator_attributes=201411L");
1027 cpp_define (pfile
, "__cpp_nested_namespace_definitions=201411L");
1028 cpp_define (pfile
, "__cpp_fold_expressions=201603L");
1029 if (cxx_dialect
<= cxx17
)
1030 cpp_define (pfile
, "__cpp_nontype_template_args=201411L");
1031 cpp_define (pfile
, "__cpp_range_based_for=201603L");
1032 if (cxx_dialect
<= cxx17
)
1033 cpp_define (pfile
, "__cpp_constexpr=201603L");
1034 cpp_define (pfile
, "__cpp_if_constexpr=201606L");
1035 cpp_define (pfile
, "__cpp_capture_star_this=201603L");
1036 cpp_define (pfile
, "__cpp_inline_variables=201606L");
1037 cpp_define (pfile
, "__cpp_aggregate_bases=201603L");
1038 if (cxx_dialect
<= cxx17
)
1039 cpp_define (pfile
, "__cpp_deduction_guides=201703L");
1040 cpp_define (pfile
, "__cpp_noexcept_function_type=201510L");
1041 /* Old macro, superseded by
1042 __cpp_nontype_template_parameter_auto. */
1043 cpp_define (pfile
, "__cpp_template_auto=201606L");
1044 cpp_define (pfile
, "__cpp_structured_bindings=201606L");
1045 cpp_define (pfile
, "__cpp_variadic_using=201611L");
1046 cpp_define (pfile
, "__cpp_guaranteed_copy_elision=201606L");
1047 cpp_define (pfile
, "__cpp_nontype_template_parameter_auto=201606L");
1049 if (cxx_dialect
> cxx17
)
1051 /* Set feature test macros for C++20. */
1052 cpp_define (pfile
, "__cpp_init_captures=201803L");
1053 cpp_define (pfile
, "__cpp_generic_lambdas=201707L");
1054 cpp_define (pfile
, "__cpp_designated_initializers=201707L");
1055 if (cxx_dialect
<= cxx20
)
1056 cpp_define (pfile
, "__cpp_constexpr=201907L");
1057 cpp_define (pfile
, "__cpp_constexpr_in_decltype=201711L");
1058 cpp_define (pfile
, "__cpp_conditional_explicit=201806L");
1059 cpp_define (pfile
, "__cpp_consteval=201811L");
1060 cpp_define (pfile
, "__cpp_constinit=201907L");
1061 cpp_define (pfile
, "__cpp_deduction_guides=201907L");
1062 cpp_define (pfile
, "__cpp_nontype_template_args=201911L");
1063 cpp_define (pfile
, "__cpp_nontype_template_parameter_class=201806L");
1064 cpp_define (pfile
, "__cpp_impl_destroying_delete=201806L");
1065 cpp_define (pfile
, "__cpp_constexpr_dynamic_alloc=201907L");
1066 cpp_define (pfile
, "__cpp_impl_three_way_comparison=201907L");
1067 cpp_define (pfile
, "__cpp_aggregate_paren_init=201902L");
1068 cpp_define (pfile
, "__cpp_using_enum=201907L");
1070 if (cxx_dialect
> cxx20
)
1072 /* Set feature test macros for C++23. */
1073 cpp_define (pfile
, "__cpp_size_t_suffix=202011L");
1074 cpp_define (pfile
, "__cpp_if_consteval=202106L");
1075 cpp_define (pfile
, "__cpp_constexpr=202110L");
1076 cpp_define (pfile
, "__cpp_multidimensional_subscript=202110L");
1080 if (cxx_dialect
>= cxx20
)
1081 cpp_define (pfile
, "__cpp_concepts=201907L");
1083 cpp_define (pfile
, "__cpp_concepts=201507L");
1086 /* The std-defined value is 201907L, but I don't think we can
1087 claim victory yet. 201810 is the p1103 date. */
1088 cpp_define (pfile
, "__cpp_modules=201810L");
1089 if (flag_coroutines
)
1090 cpp_define (pfile
, "__cpp_impl_coroutine=201902L"); /* n4861, DIS */
1092 /* Use a value smaller than the 201505 specified in
1093 the TS, since we don't yet support atomic_cancel. */
1094 cpp_define (pfile
, "__cpp_transactional_memory=201500L");
1095 if (flag_sized_deallocation
)
1096 cpp_define (pfile
, "__cpp_sized_deallocation=201309L");
1097 if (aligned_new_threshold
)
1099 cpp_define (pfile
, "__cpp_aligned_new=201606L");
1100 cpp_define_formatted (pfile
, "__STDCPP_DEFAULT_NEW_ALIGNMENT__=%d",
1101 aligned_new_threshold
);
1104 cpp_define (pfile
, "__cpp_template_template_args=201611L");
1105 if (flag_threadsafe_statics
)
1106 cpp_define (pfile
, "__cpp_threadsafe_static_init=200806L");
1108 cpp_define (pfile
, "__cpp_char8_t=201811L");
1109 #ifndef THREAD_MODEL_SPEC
1110 /* Targets that define THREAD_MODEL_SPEC need to define
1111 __STDCPP_THREADS__ in their config/XXX/XXX-c.c themselves. */
1112 if (cxx_dialect
>= cxx11
&& strcmp (thread_model
, "single") != 0)
1113 cpp_define (pfile
, "__STDCPP_THREADS__=1");
1115 if (flag_implicit_constexpr
)
1116 cpp_define (pfile
, "__cpp_implicit_constexpr=20211111L");
1118 /* Note that we define this for C as well, so that we know if
1119 __attribute__((cleanup)) will interface with EH. */
1120 if (flag_exceptions
)
1122 cpp_define (pfile
, "__EXCEPTIONS");
1123 if (c_dialect_cxx ())
1124 cpp_define (pfile
, "__cpp_exceptions=199711L");
1127 /* Represents the C++ ABI version, always defined so it can be used while
1128 preprocessing C and assembler. */
1129 if (flag_abi_version
== 0)
1130 /* We should have set this to something real in c_common_post_options. */
1132 else if (flag_abi_version
== 1)
1133 /* Due to a historical accident, this version had the value
1135 builtin_define_with_int_value ("__GXX_ABI_VERSION", 102);
1137 /* Newer versions have values 1002, 1003, .... */
1138 builtin_define_with_int_value ("__GXX_ABI_VERSION",
1139 1000 + flag_abi_version
);
1141 /* libgcc needs to know this. */
1142 if (targetm_common
.except_unwind_info (&global_options
) == UI_SJLJ
)
1143 cpp_define (pfile
, "__USING_SJLJ_EXCEPTIONS__");
1145 /* limits.h and stdint.h need to know these. */
1146 builtin_define_type_max ("__SCHAR_MAX__", signed_char_type_node
);
1147 builtin_define_type_max ("__SHRT_MAX__", short_integer_type_node
);
1148 builtin_define_type_max ("__INT_MAX__", integer_type_node
);
1149 builtin_define_type_max ("__LONG_MAX__", long_integer_type_node
);
1150 builtin_define_type_max ("__LONG_LONG_MAX__", long_long_integer_type_node
);
1151 builtin_define_type_minmax ("__WCHAR_MIN__", "__WCHAR_MAX__",
1152 underlying_wchar_type_node
);
1153 builtin_define_type_minmax ("__WINT_MIN__", "__WINT_MAX__", wint_type_node
);
1154 builtin_define_type_max ("__PTRDIFF_MAX__", ptrdiff_type_node
);
1155 builtin_define_type_max ("__SIZE_MAX__", size_type_node
);
1157 /* These are needed for TS 18661-1. */
1158 builtin_define_type_width ("__SCHAR_WIDTH__", signed_char_type_node
,
1159 unsigned_char_type_node
);
1160 builtin_define_type_width ("__SHRT_WIDTH__", short_integer_type_node
,
1161 short_unsigned_type_node
);
1162 builtin_define_type_width ("__INT_WIDTH__", integer_type_node
,
1163 unsigned_type_node
);
1164 builtin_define_type_width ("__LONG_WIDTH__", long_integer_type_node
,
1165 long_unsigned_type_node
);
1166 builtin_define_type_width ("__LONG_LONG_WIDTH__",
1167 long_long_integer_type_node
,
1168 long_long_unsigned_type_node
);
1169 builtin_define_type_width ("__WCHAR_WIDTH__", underlying_wchar_type_node
,
1171 builtin_define_type_width ("__WINT_WIDTH__", wint_type_node
, NULL_TREE
);
1172 builtin_define_type_width ("__PTRDIFF_WIDTH__", ptrdiff_type_node
, NULL_TREE
);
1173 builtin_define_type_width ("__SIZE_WIDTH__", size_type_node
, NULL_TREE
);
1175 if (c_dialect_cxx ())
1176 for (i
= 0; i
< NUM_INT_N_ENTS
; i
++)
1177 if (int_n_enabled_p
[i
])
1181 /* These are used to configure the C++ library. */
1183 if (!flag_iso
|| int_n_data
[i
].bitsize
== POINTER_SIZE
)
1185 sprintf (buf
, "__GLIBCXX_TYPE_INT_N_%d=__int%d", i
, int_n_data
[i
].bitsize
);
1186 cpp_define (parse_in
, buf
);
1188 sprintf (buf
, "__GLIBCXX_BITSIZE_INT_N_%d=%d", i
, int_n_data
[i
].bitsize
);
1189 cpp_define (parse_in
, buf
);
1193 /* stdint.h and the testsuite need to know these. */
1194 builtin_define_stdint_macros ();
1196 /* Provide information for library headers to determine whether to
1197 define macros such as __STDC_IEC_559__ and
1198 __STDC_IEC_559_COMPLEX__. */
1199 builtin_define_with_int_value ("__GCC_IEC_559", cpp_iec_559_value ());
1200 builtin_define_with_int_value ("__GCC_IEC_559_COMPLEX",
1201 cpp_iec_559_complex_value ());
1203 /* float.h needs these to correctly set FLT_EVAL_METHOD
1205 We define two values:
1208 Which, depending on the value given for
1209 -fpermitted-flt-eval-methods, may be limited to only those values
1210 for FLT_EVAL_METHOD defined in C99/C11.
1212 __FLT_EVAL_METHOD_TS_18661_3__
1213 Which always permits the values for FLT_EVAL_METHOD defined in
1214 ISO/IEC TS 18661-3. */
1215 builtin_define_with_int_value ("__FLT_EVAL_METHOD__",
1216 c_flt_eval_method (true));
1217 builtin_define_with_int_value ("__FLT_EVAL_METHOD_TS_18661_3__",
1218 c_flt_eval_method (false));
1220 /* And decfloat.h needs this. */
1221 builtin_define_with_int_value ("__DEC_EVAL_METHOD__",
1222 TARGET_DEC_EVAL_METHOD
);
1224 builtin_define_float_constants ("FLT", "F", "%s", "F", float_type_node
);
1225 /* Cast the double precision constants. This is needed when single
1226 precision constants are specified or when pragma FLOAT_CONST_DECIMAL64
1227 is used. The correct result is computed by the compiler when using
1228 macros that include a cast. We use a different cast for C++ to avoid
1229 problems with -Wold-style-cast. */
1230 builtin_define_float_constants ("DBL", "L",
1234 "", double_type_node
);
1235 builtin_define_float_constants ("LDBL", "L", "%s", "L",
1236 long_double_type_node
);
1238 for (int i
= 0; i
< NUM_FLOATN_NX_TYPES
; i
++)
1240 if (FLOATN_NX_TYPE_NODE (i
) == NULL_TREE
)
1242 char prefix
[20], csuffix
[20];
1243 sprintf (prefix
, "FLT%d%s", floatn_nx_types
[i
].n
,
1244 floatn_nx_types
[i
].extended
? "X" : "");
1245 sprintf (csuffix
, "F%d%s", floatn_nx_types
[i
].n
,
1246 floatn_nx_types
[i
].extended
? "x" : "");
1247 builtin_define_float_constants (prefix
, ggc_strdup (csuffix
), "%s",
1248 csuffix
, FLOATN_NX_TYPE_NODE (i
));
1252 if (targetm
.decimal_float_supported_p ())
1254 builtin_define_decimal_float_constants ("DEC32", "DF",
1255 dfloat32_type_node
);
1256 builtin_define_decimal_float_constants ("DEC64", "DD",
1257 dfloat64_type_node
);
1258 builtin_define_decimal_float_constants ("DEC128", "DL",
1259 dfloat128_type_node
);
1262 /* For fixed-point fibt, ibit, max, min, and epsilon. */
1263 if (targetm
.fixed_point_supported_p ())
1265 builtin_define_fixed_point_constants ("SFRACT", "HR",
1266 short_fract_type_node
);
1267 builtin_define_fixed_point_constants ("USFRACT", "UHR",
1268 unsigned_short_fract_type_node
);
1269 builtin_define_fixed_point_constants ("FRACT", "R",
1271 builtin_define_fixed_point_constants ("UFRACT", "UR",
1272 unsigned_fract_type_node
);
1273 builtin_define_fixed_point_constants ("LFRACT", "LR",
1274 long_fract_type_node
);
1275 builtin_define_fixed_point_constants ("ULFRACT", "ULR",
1276 unsigned_long_fract_type_node
);
1277 builtin_define_fixed_point_constants ("LLFRACT", "LLR",
1278 long_long_fract_type_node
);
1279 builtin_define_fixed_point_constants ("ULLFRACT", "ULLR",
1280 unsigned_long_long_fract_type_node
);
1281 builtin_define_fixed_point_constants ("SACCUM", "HK",
1282 short_accum_type_node
);
1283 builtin_define_fixed_point_constants ("USACCUM", "UHK",
1284 unsigned_short_accum_type_node
);
1285 builtin_define_fixed_point_constants ("ACCUM", "K",
1287 builtin_define_fixed_point_constants ("UACCUM", "UK",
1288 unsigned_accum_type_node
);
1289 builtin_define_fixed_point_constants ("LACCUM", "LK",
1290 long_accum_type_node
);
1291 builtin_define_fixed_point_constants ("ULACCUM", "ULK",
1292 unsigned_long_accum_type_node
);
1293 builtin_define_fixed_point_constants ("LLACCUM", "LLK",
1294 long_long_accum_type_node
);
1295 builtin_define_fixed_point_constants ("ULLACCUM", "ULLK",
1296 unsigned_long_long_accum_type_node
);
1298 builtin_define_fixed_point_constants ("QQ", "", qq_type_node
);
1299 builtin_define_fixed_point_constants ("HQ", "", hq_type_node
);
1300 builtin_define_fixed_point_constants ("SQ", "", sq_type_node
);
1301 builtin_define_fixed_point_constants ("DQ", "", dq_type_node
);
1302 builtin_define_fixed_point_constants ("TQ", "", tq_type_node
);
1303 builtin_define_fixed_point_constants ("UQQ", "", uqq_type_node
);
1304 builtin_define_fixed_point_constants ("UHQ", "", uhq_type_node
);
1305 builtin_define_fixed_point_constants ("USQ", "", usq_type_node
);
1306 builtin_define_fixed_point_constants ("UDQ", "", udq_type_node
);
1307 builtin_define_fixed_point_constants ("UTQ", "", utq_type_node
);
1308 builtin_define_fixed_point_constants ("HA", "", ha_type_node
);
1309 builtin_define_fixed_point_constants ("SA", "", sa_type_node
);
1310 builtin_define_fixed_point_constants ("DA", "", da_type_node
);
1311 builtin_define_fixed_point_constants ("TA", "", ta_type_node
);
1312 builtin_define_fixed_point_constants ("UHA", "", uha_type_node
);
1313 builtin_define_fixed_point_constants ("USA", "", usa_type_node
);
1314 builtin_define_fixed_point_constants ("UDA", "", uda_type_node
);
1315 builtin_define_fixed_point_constants ("UTA", "", uta_type_node
);
1318 /* For libgcc-internal use only. */
1319 if (flag_building_libgcc
)
1321 /* Properties of floating-point modes for libgcc2.c. */
1322 opt_scalar_float_mode mode_iter
;
1323 FOR_EACH_MODE_IN_CLASS (mode_iter
, MODE_FLOAT
)
1325 scalar_float_mode mode
= mode_iter
.require ();
1326 const char *name
= GET_MODE_NAME (mode
);
1327 const size_t name_len
= strlen (name
);
1328 char float_h_prefix
[16] = "";
1330 = XALLOCAVEC (char, name_len
+ sizeof ("__LIBGCC__MANT_DIG__"));
1331 sprintf (macro_name
, "__LIBGCC_%s_MANT_DIG__", name
);
1332 builtin_define_with_int_value (macro_name
,
1333 REAL_MODE_FORMAT (mode
)->p
);
1334 if (!targetm
.scalar_mode_supported_p (mode
)
1335 || !targetm
.libgcc_floating_mode_supported_p (mode
))
1337 macro_name
= XALLOCAVEC (char, name_len
1338 + sizeof ("__LIBGCC_HAS__MODE__"));
1339 sprintf (macro_name
, "__LIBGCC_HAS_%s_MODE__", name
);
1340 cpp_define (pfile
, macro_name
);
1341 macro_name
= XALLOCAVEC (char, name_len
1342 + sizeof ("__LIBGCC__FUNC_EXT__"));
1343 sprintf (macro_name
, "__LIBGCC_%s_FUNC_EXT__", name
);
1344 char suffix
[20] = "";
1345 if (mode
== TYPE_MODE (double_type_node
))
1347 /* Empty suffix correct. */
1348 memcpy (float_h_prefix
, "DBL", 4);
1350 else if (mode
== TYPE_MODE (float_type_node
))
1353 memcpy (float_h_prefix
, "FLT", 4);
1355 else if (mode
== TYPE_MODE (long_double_type_node
))
1358 memcpy (float_h_prefix
, "LDBL", 5);
1362 bool found_suffix
= false;
1363 for (int i
= 0; i
< NUM_FLOATN_NX_TYPES
; i
++)
1364 if (FLOATN_NX_TYPE_NODE (i
) != NULL_TREE
1365 && mode
== TYPE_MODE (FLOATN_NX_TYPE_NODE (i
)))
1367 sprintf (suffix
, "f%d%s", floatn_nx_types
[i
].n
,
1368 floatn_nx_types
[i
].extended
? "x" : "");
1369 found_suffix
= true;
1370 sprintf (float_h_prefix
, "FLT%d%s", floatn_nx_types
[i
].n
,
1371 floatn_nx_types
[i
].extended
? "X" : "");
1374 gcc_assert (found_suffix
);
1376 builtin_define_with_value (macro_name
, suffix
, 0);
1378 /* The way __LIBGCC_*_EXCESS_PRECISION__ is used is about
1379 eliminating excess precision from results assigned to
1380 variables - meaning it should be about the implicit excess
1382 bool excess_precision
= false;
1383 machine_mode float16_type_mode
= (float16_type_node
1384 ? TYPE_MODE (float16_type_node
)
1386 switch (targetm
.c
.excess_precision
1387 (EXCESS_PRECISION_TYPE_IMPLICIT
))
1389 case FLT_EVAL_METHOD_UNPREDICTABLE
:
1390 case FLT_EVAL_METHOD_PROMOTE_TO_LONG_DOUBLE
:
1391 excess_precision
= (mode
== float16_type_mode
1392 || mode
== TYPE_MODE (float_type_node
)
1393 || mode
== TYPE_MODE (double_type_node
));
1396 case FLT_EVAL_METHOD_PROMOTE_TO_DOUBLE
:
1397 excess_precision
= (mode
== float16_type_mode
1398 || mode
== TYPE_MODE (float_type_node
));
1400 case FLT_EVAL_METHOD_PROMOTE_TO_FLOAT
:
1401 excess_precision
= mode
== float16_type_mode
;
1403 case FLT_EVAL_METHOD_PROMOTE_TO_FLOAT16
:
1404 excess_precision
= false;
1409 macro_name
= XALLOCAVEC (char, name_len
1410 + sizeof ("__LIBGCC__EXCESS_PRECISION__"));
1411 sprintf (macro_name
, "__LIBGCC_%s_EXCESS_PRECISION__", name
);
1412 builtin_define_with_int_value (macro_name
, excess_precision
);
1416 macro_name
= XALLOCAVEC (char, name_len
1417 + sizeof ("__LIBGCC__EPSILON__"));
1418 sprintf (macro_name
, "__LIBGCC_%s_EPSILON__", name
);
1419 sprintf (val_name
, "__%s_EPSILON__", float_h_prefix
);
1420 builtin_define_with_value (macro_name
, val_name
, 0);
1422 macro_name
= XALLOCAVEC (char, name_len
+ sizeof ("__LIBGCC__MAX__"));
1423 sprintf (macro_name
, "__LIBGCC_%s_MAX__", name
);
1424 sprintf (val_name
, "__%s_MAX__", float_h_prefix
);
1425 builtin_define_with_value (macro_name
, val_name
, 0);
1427 macro_name
= XALLOCAVEC (char, name_len
+ sizeof ("__LIBGCC__MIN__"));
1428 sprintf (macro_name
, "__LIBGCC_%s_MIN__", name
);
1429 sprintf (val_name
, "__%s_MIN__", float_h_prefix
);
1430 builtin_define_with_value (macro_name
, val_name
, 0);
1433 builtin_define_with_int_value ("__LIBGCC_HAVE_HWDBL__",
1438 /* For libgcc crtstuff.c and libgcc2.c. */
1439 builtin_define_with_int_value ("__LIBGCC_EH_TABLES_CAN_BE_READ_ONLY__",
1440 EH_TABLES_CAN_BE_READ_ONLY
);
1441 #ifdef EH_FRAME_SECTION_NAME
1442 builtin_define_with_value ("__LIBGCC_EH_FRAME_SECTION_NAME__",
1443 EH_FRAME_SECTION_NAME
, 1);
1445 #ifdef CTORS_SECTION_ASM_OP
1446 builtin_define_with_value ("__LIBGCC_CTORS_SECTION_ASM_OP__",
1447 CTORS_SECTION_ASM_OP
, 1);
1449 #ifdef DTORS_SECTION_ASM_OP
1450 builtin_define_with_value ("__LIBGCC_DTORS_SECTION_ASM_OP__",
1451 DTORS_SECTION_ASM_OP
, 1);
1453 #ifdef TEXT_SECTION_ASM_OP
1454 builtin_define_with_value ("__LIBGCC_TEXT_SECTION_ASM_OP__",
1455 TEXT_SECTION_ASM_OP
, 1);
1457 #ifdef INIT_SECTION_ASM_OP
1458 builtin_define_with_value ("__LIBGCC_INIT_SECTION_ASM_OP__",
1459 INIT_SECTION_ASM_OP
, 1);
1461 #ifdef INIT_ARRAY_SECTION_ASM_OP
1462 /* Despite the name of this target macro, the expansion is not
1463 actually used, and may be empty rather than a string
1465 cpp_define (pfile
, "__LIBGCC_INIT_ARRAY_SECTION_ASM_OP__");
1468 /* For libgcc enable-execute-stack.c. */
1469 builtin_define_with_int_value ("__LIBGCC_TRAMPOLINE_SIZE__",
1472 /* For libgcc generic-morestack.c and unwinder code. */
1473 if (STACK_GROWS_DOWNWARD
)
1474 cpp_define (pfile
, "__LIBGCC_STACK_GROWS_DOWNWARD__");
1476 /* For libgcc unwinder code. */
1477 #ifdef DONT_USE_BUILTIN_SETJMP
1478 cpp_define (pfile
, "__LIBGCC_DONT_USE_BUILTIN_SETJMP__");
1480 #ifdef DWARF_ALT_FRAME_RETURN_COLUMN
1481 builtin_define_with_int_value ("__LIBGCC_DWARF_ALT_FRAME_RETURN_COLUMN__",
1482 DWARF_ALT_FRAME_RETURN_COLUMN
);
1484 builtin_define_with_int_value ("__LIBGCC_DWARF_FRAME_REGISTERS__",
1485 DWARF_FRAME_REGISTERS
);
1486 #ifdef EH_RETURN_STACKADJ_RTX
1487 cpp_define (pfile
, "__LIBGCC_EH_RETURN_STACKADJ_RTX__");
1490 builtin_define_with_int_value ("__LIBGCC_JMP_BUF_SIZE__",
1493 builtin_define_with_int_value ("__LIBGCC_STACK_POINTER_REGNUM__",
1494 STACK_POINTER_REGNUM
);
1497 builtin_define_with_int_value ("__LIBGCC_VTABLE_USES_DESCRIPTORS__",
1498 TARGET_VTABLE_USES_DESCRIPTORS
);
1499 builtin_define_with_int_value ("__LIBGCC_GCOV_TYPE_SIZE",
1500 targetm
.gcov_type_size());
1503 /* For use in assembly language. */
1504 builtin_define_with_value ("__REGISTER_PREFIX__", REGISTER_PREFIX
, 0);
1505 builtin_define_with_value ("__USER_LABEL_PREFIX__", user_label_prefix
, 0);
1508 if (flag_gnu89_inline
)
1509 cpp_define (pfile
, "__GNUC_GNU_INLINE__");
1511 cpp_define (pfile
, "__GNUC_STDC_INLINE__");
1514 cpp_define (pfile
, "__NO_INLINE__");
1517 cpp_define (pfile
, "__STRICT_ANSI__");
1519 if (!flag_signed_char
)
1520 cpp_define (pfile
, "__CHAR_UNSIGNED__");
1522 if (c_dialect_cxx () && TYPE_UNSIGNED (wchar_type_node
))
1523 cpp_define (pfile
, "__WCHAR_UNSIGNED__");
1525 cpp_atomic_builtins (pfile
);
1527 /* Show support for __builtin_speculation_safe_value () if the target
1528 has been updated to fully support it. */
1529 if (targetm
.have_speculation_safe_value (false))
1530 cpp_define (pfile
, "__HAVE_SPECULATION_SAFE_VALUE");
1532 #ifdef DWARF2_UNWIND_INFO
1533 if (dwarf2out_do_cfi_asm ())
1534 cpp_define (pfile
, "__GCC_HAVE_DWARF2_CFI_ASM");
1537 /* Make the choice of ObjC runtime visible to source code. */
1538 if (c_dialect_objc () && flag_next_runtime
)
1539 cpp_define (pfile
, "__NEXT_RUNTIME__");
1541 /* Show the availability of some target pragmas. */
1542 cpp_define (pfile
, "__PRAGMA_REDEFINE_EXTNAME");
1544 /* Make the choice of the stack protector runtime visible to source code.
1545 The macro names and values here were chosen for compatibility with an
1546 earlier implementation, i.e. ProPolice. */
1547 if (flag_stack_protect
== SPCT_FLAG_EXPLICIT
)
1548 cpp_define (pfile
, "__SSP_EXPLICIT__=4");
1549 if (flag_stack_protect
== SPCT_FLAG_STRONG
)
1550 cpp_define (pfile
, "__SSP_STRONG__=3");
1551 if (flag_stack_protect
== SPCT_FLAG_ALL
)
1552 cpp_define (pfile
, "__SSP_ALL__=2");
1553 else if (flag_stack_protect
== SPCT_FLAG_DEFAULT
)
1554 cpp_define (pfile
, "__SSP__=1");
1557 cpp_define (pfile
, "_OPENACC=201711");
1560 cpp_define (pfile
, "_OPENMP=201511");
1562 for (i
= 0; i
< NUM_INT_N_ENTS
; i
++)
1563 if (int_n_enabled_p
[i
])
1566 sprintf(buf
, "__SIZEOF_INT%d__", int_n_data
[i
].bitsize
);
1567 builtin_define_type_sizeof (buf
,
1568 int_n_trees
[i
].signed_type
);
1570 builtin_define_type_sizeof ("__SIZEOF_WCHAR_T__", wchar_type_node
);
1571 builtin_define_type_sizeof ("__SIZEOF_WINT_T__", wint_type_node
);
1572 builtin_define_type_sizeof ("__SIZEOF_PTRDIFF_T__",
1573 unsigned_ptrdiff_type_node
);
1575 /* A straightforward target hook doesn't work, because of problems
1576 linking that hook's body when part of non-C front ends. */
1577 # define preprocessing_asm_p() (cpp_get_options (pfile)->lang == CLK_ASM)
1578 # define preprocessing_trad_p() (cpp_get_options (pfile)->traditional)
1579 # define builtin_define(TXT) cpp_define (pfile, TXT)
1580 # define builtin_assert(TXT) cpp_assert (pfile, TXT)
1581 TARGET_CPU_CPP_BUILTINS ();
1582 TARGET_OS_CPP_BUILTINS ();
1583 TARGET_OBJFMT_CPP_BUILTINS ();
1585 /* Support the __declspec keyword by turning them into attributes.
1586 Note that the current way we do this may result in a collision
1587 with predefined attributes later on. This can be solved by using
1588 one attribute, say __declspec__, and passing args to it. The
1589 problem with that approach is that args are not accumulated: each
1590 new appearance would clobber any existing args. */
1591 if (TARGET_DECLSPEC
)
1592 builtin_define ("__declspec(x)=__attribute__((x))");
1594 /* If decimal floating point is supported, tell the user if the
1595 alternate format (BID) is used instead of the standard (DPD)
1597 if (ENABLE_DECIMAL_FLOAT
&& ENABLE_DECIMAL_BID_FORMAT
)
1598 cpp_define (pfile
, "__DECIMAL_BID_FORMAT__");
1601 /* Pass an object-like macro. If it doesn't lie in the user's
1602 namespace, defines it unconditionally. Otherwise define a version
1603 with two leading underscores, and another version with two leading
1604 and trailing underscores, and define the original only if an ISO
1605 standard was not nominated.
1607 e.g. passing "unix" defines "__unix", "__unix__" and possibly
1608 "unix". Passing "_mips" defines "__mips", "__mips__" and possibly
1611 builtin_define_std (const char *macro
)
1613 size_t len
= strlen (macro
);
1614 char *buff
= (char *) alloca (len
+ 5);
1618 /* prepend __ (or maybe just _) if in user's namespace. */
1619 memcpy (p
, macro
, len
+ 1);
1620 if (!( *p
== '_' && (p
[1] == '_' || ISUPPER (p
[1]))))
1627 cpp_define (parse_in
, p
);
1629 /* If it was in user's namespace... */
1632 /* Define the macro with leading and following __. */
1638 cpp_define (parse_in
, p
);
1640 /* Finally, define the original macro if permitted. */
1642 cpp_define (parse_in
, macro
);
1646 /* Pass an object-like macro and a value to define it to. The third
1647 parameter says whether or not to turn the value into a string
1650 builtin_define_with_value (const char *macro
, const char *expansion
, int is_str
)
1653 size_t mlen
= strlen (macro
);
1654 size_t elen
= strlen (expansion
);
1655 size_t extra
= 2; /* space for an = and a NUL */
1659 char *quoted_expansion
= (char *) alloca (elen
* 4 + 1);
1662 extra
+= 2; /* space for two quote marks */
1663 for (p
= expansion
, q
= quoted_expansion
; *p
; p
++)
1688 if (ISPRINT ((unsigned char) *p
))
1692 sprintf (q
, "\\%03o", (unsigned char) *p
);
1698 expansion
= quoted_expansion
;
1699 elen
= q
- expansion
;
1702 buf
= (char *) alloca (mlen
+ elen
+ extra
);
1704 sprintf (buf
, "%s=\"%s\"", macro
, expansion
);
1706 sprintf (buf
, "%s=%s", macro
, expansion
);
1708 cpp_define (parse_in
, buf
);
1712 /* Pass an object-like macro and an integer value to define it to. */
1714 builtin_define_with_int_value (const char *macro
, HOST_WIDE_INT value
)
1717 size_t mlen
= strlen (macro
);
1719 size_t extra
= 2; /* space for = and NUL. */
1721 buf
= (char *) alloca (mlen
+ vlen
+ extra
);
1722 memcpy (buf
, macro
, mlen
);
1724 sprintf (buf
+ mlen
+ 1, HOST_WIDE_INT_PRINT_DEC
, value
);
1726 cpp_define (parse_in
, buf
);
1729 /* builtin_define_with_hex_fp_value is very expensive, so the following
1730 array and function allows it to be done lazily when __DBL_MAX__
1731 etc. is first used. */
1733 struct GTY(()) lazy_hex_fp_value_struct
1735 const char *hex_str
;
1738 const char *fp_suffix
;
1740 /* Number of the expensive to compute macros we should evaluate lazily.
1741 Each builtin_define_float_constants invocation calls
1742 builtin_define_with_hex_fp_value 5 times and builtin_define_float_constants
1743 is called for FLT, DBL, LDBL and up to NUM_FLOATN_NX_TYPES times for
1745 #define LAZY_HEX_FP_VALUES_CNT (5 * (3 + NUM_FLOATN_NX_TYPES))
1746 static GTY(()) struct lazy_hex_fp_value_struct
1747 lazy_hex_fp_values
[LAZY_HEX_FP_VALUES_CNT
];
1748 static GTY(()) unsigned lazy_hex_fp_value_count
;
1751 lazy_hex_fp_value (cpp_reader
*, cpp_macro
*macro
, unsigned num
)
1753 REAL_VALUE_TYPE real
;
1754 char dec_str
[64], buf1
[256];
1756 gcc_checking_assert (num
< lazy_hex_fp_value_count
);
1758 real_from_string (&real
, lazy_hex_fp_values
[num
].hex_str
);
1759 real_to_decimal_for_mode (dec_str
, &real
, sizeof (dec_str
),
1760 lazy_hex_fp_values
[num
].digits
, 0,
1761 lazy_hex_fp_values
[num
].mode
);
1764 = sprintf (buf1
, "%s%s", dec_str
, lazy_hex_fp_values
[num
].fp_suffix
);
1765 gcc_assert (len
< sizeof (buf1
));
1766 for (unsigned idx
= 0; idx
< macro
->count
; idx
++)
1767 if (macro
->exp
.tokens
[idx
].type
== CPP_NUMBER
)
1769 macro
->exp
.tokens
[idx
].val
.str
.len
= len
;
1770 macro
->exp
.tokens
[idx
].val
.str
.text
1771 = (const unsigned char *) ggc_strdup (buf1
);
1775 /* We must have replaced a token. */
1779 /* Pass an object-like macro a hexadecimal floating-point value. */
1781 builtin_define_with_hex_fp_value (const char *macro
,
1782 tree type
, int digits
,
1783 const char *hex_str
,
1784 const char *fp_suffix
,
1785 const char *fp_cast
)
1787 REAL_VALUE_TYPE real
;
1788 char dec_str
[64], buf
[256], buf1
[128], buf2
[64];
1790 /* This is very expensive, so if possible expand them lazily. */
1791 if (lazy_hex_fp_value_count
< LAZY_HEX_FP_VALUES_CNT
1792 && flag_dump_macros
== 0
1793 && flag_dump_go_spec
== NULL
1794 && !cpp_get_options (parse_in
)->traditional
)
1796 if (lazy_hex_fp_value_count
== 0)
1797 cpp_get_callbacks (parse_in
)->user_lazy_macro
= lazy_hex_fp_value
;
1798 sprintf (buf2
, fp_cast
, "1.1");
1799 sprintf (buf1
, "%s=%s", macro
, buf2
);
1800 cpp_define (parse_in
, buf1
);
1801 struct cpp_hashnode
*node
= C_CPP_HASHNODE (get_identifier (macro
));
1802 lazy_hex_fp_values
[lazy_hex_fp_value_count
].hex_str
1803 = ggc_strdup (hex_str
);
1804 lazy_hex_fp_values
[lazy_hex_fp_value_count
].mode
= TYPE_MODE (type
);
1805 lazy_hex_fp_values
[lazy_hex_fp_value_count
].digits
= digits
;
1806 lazy_hex_fp_values
[lazy_hex_fp_value_count
].fp_suffix
= fp_suffix
;
1807 cpp_define_lazily (parse_in
, node
, lazy_hex_fp_value_count
++);
1811 /* Hex values are really cool and convenient, except that they're
1812 not supported in strict ISO C90 mode. First, the "p-" sequence
1813 is not valid as part of a preprocessor number. Second, we get a
1814 pedwarn from the preprocessor, which has no context, so we can't
1815 suppress the warning with __extension__.
1817 So instead what we do is construct the number in hex (because
1818 it's easy to get the exact correct value), parse it as a real,
1819 then print it back out as decimal. */
1821 real_from_string (&real
, hex_str
);
1822 real_to_decimal_for_mode (dec_str
, &real
, sizeof (dec_str
), digits
, 0,
1825 /* Assemble the macro in the following fashion
1826 macro = fp_cast [dec_str fp_suffix] */
1827 sprintf (buf2
, "%s%s", dec_str
, fp_suffix
);
1828 sprintf (buf1
, fp_cast
, buf2
);
1829 sprintf (buf
, "%s=%s", macro
, buf1
);
1831 cpp_define (parse_in
, buf
);
1834 /* Return a string constant for the suffix for a value of type TYPE
1835 promoted according to the integer promotions. The type must be one
1836 of the standard integer type nodes. */
1839 type_suffix (tree type
)
1841 static const char *const suffixes
[] = { "", "U", "L", "UL", "LL", "ULL" };
1842 int unsigned_suffix
;
1844 int tp
= TYPE_PRECISION (type
);
1846 if (type
== long_long_integer_type_node
1847 || type
== long_long_unsigned_type_node
1848 || tp
> TYPE_PRECISION (long_integer_type_node
))
1850 else if (type
== long_integer_type_node
1851 || type
== long_unsigned_type_node
1852 || tp
> TYPE_PRECISION (integer_type_node
))
1854 else if (type
== integer_type_node
1855 || type
== unsigned_type_node
1856 || type
== short_integer_type_node
1857 || type
== short_unsigned_type_node
1858 || type
== signed_char_type_node
1859 || type
== unsigned_char_type_node
1860 /* ??? "char" is not a signed or unsigned integer type and
1861 so is not permitted for the standard typedefs, but some
1862 systems use it anyway. */
1863 || type
== char_type_node
)
1868 unsigned_suffix
= TYPE_UNSIGNED (type
);
1869 if (TYPE_PRECISION (type
) < TYPE_PRECISION (integer_type_node
))
1870 unsigned_suffix
= 0;
1871 return suffixes
[is_long
* 2 + unsigned_suffix
];
1874 /* Define MACRO as a <stdint.h> constant-suffix macro for TYPE. */
1876 builtin_define_constants (const char *macro
, tree type
)
1881 suffix
= type_suffix (type
);
1885 buf
= (char *) alloca (strlen (macro
) + 6);
1886 sprintf (buf
, "%s(c)=c", macro
);
1890 buf
= (char *) alloca (strlen (macro
) + 9 + strlen (suffix
) + 1);
1891 sprintf (buf
, "%s(c)=c ## %s", macro
, suffix
);
1894 cpp_define (parse_in
, buf
);
1897 /* Define MAX for TYPE based on the precision of the type. */
1900 builtin_define_type_max (const char *macro
, tree type
)
1902 builtin_define_type_minmax (NULL
, macro
, type
);
1905 /* Given a value with COUNT LSBs set, fill BUF with a hexidecimal
1906 representation of that value. For example, a COUNT of 10 would
1910 print_bits_of_hex (char *buf
, int bufsz
, int count
)
1912 gcc_assert (bufsz
> 3);
1917 gcc_assert (count
> 0);
1919 switch (count
% 4) {
1940 gcc_assert (bufsz
> 1);
1945 gcc_assert (bufsz
> 0);
1949 /* Define MIN_MACRO (if not NULL) and MAX_MACRO for TYPE based on the
1950 precision of the type. */
1953 builtin_define_type_minmax (const char *min_macro
, const char *max_macro
,
1956 #define PBOH_SZ (MAX_BITSIZE_MODE_ANY_INT/4+4)
1957 char value
[PBOH_SZ
];
1963 bits
= TYPE_PRECISION (type
) + (TYPE_UNSIGNED (type
) ? 0 : -1);
1965 print_bits_of_hex (value
, PBOH_SZ
, bits
);
1967 suffix
= type_suffix (type
);
1969 buf
= (char *) alloca (strlen (max_macro
) + 1 + strlen (value
)
1970 + strlen (suffix
) + 1);
1971 sprintf (buf
, "%s=%s%s", max_macro
, value
, suffix
);
1973 cpp_define (parse_in
, buf
);
1977 if (TYPE_UNSIGNED (type
))
1979 buf
= (char *) alloca (strlen (min_macro
) + 2 + strlen (suffix
) + 1);
1980 sprintf (buf
, "%s=0%s", min_macro
, suffix
);
1984 buf
= (char *) alloca (strlen (min_macro
) + 3
1985 + strlen (max_macro
) + 6);
1986 sprintf (buf
, "%s=(-%s - 1)", min_macro
, max_macro
);
1988 cpp_define (parse_in
, buf
);
1992 /* Define WIDTH_MACRO for the width of TYPE. If TYPE2 is not NULL,
1993 both types must have the same width. */
1996 builtin_define_type_width (const char *width_macro
, tree type
, tree type2
)
1998 if (type2
!= NULL_TREE
)
1999 gcc_assert (TYPE_PRECISION (type
) == TYPE_PRECISION (type2
));
2000 builtin_define_with_int_value (width_macro
, TYPE_PRECISION (type
));
2003 #include "gt-c-family-c-cppbuiltin.h"