1 /* Define builtin-in macros for the C family front ends.
2 Copyright (C) 2002-2017 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 "cpp-id-data.h"
35 #include "cppbuiltin.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
)
102 /* Define NAME with value TYPE size_unit. */
104 builtin_define_type_sizeof (const char *name
, tree type
)
106 builtin_define_with_int_value (name
,
107 tree_to_uhwi (TYPE_SIZE_UNIT (type
)));
110 /* Define the float.h constants for TYPE using NAME_PREFIX, FP_SUFFIX,
113 builtin_define_float_constants (const char *name_prefix
,
114 const char *fp_suffix
,
116 const char *fma_suffix
,
119 /* Used to convert radix-based values to base 10 values in several cases.
121 In the max_exp -> max_10_exp conversion for 128-bit IEEE, we need at
122 least 6 significant digits for correct results. Using the fraction
123 formed by (log(2)*1e6)/(log(10)*1e6) overflows a 32-bit integer as an
124 intermediate; perhaps someone can find a better approximation, in the
125 mean time, I suspect using doubles won't harm the bootstrap here. */
127 const double log10_2
= .30102999566398119521;
129 const struct real_format
*fmt
;
130 const struct real_format
*widefmt
;
132 char name
[64], buf
[128];
133 int dig
, min_10_exp
, max_10_exp
;
135 int type_decimal_dig
;
137 fmt
= REAL_MODE_FORMAT (TYPE_MODE (type
));
138 gcc_assert (fmt
->b
!= 10);
139 widefmt
= REAL_MODE_FORMAT (TYPE_MODE (long_double_type_node
));
140 gcc_assert (widefmt
->b
!= 10);
141 for (int i
= 0; i
< NUM_FLOATN_NX_TYPES
; i
++)
143 tree wtype
= FLOATN_NX_TYPE_NODE (i
);
144 if (wtype
!= NULL_TREE
)
146 const struct real_format
*wfmt
147 = REAL_MODE_FORMAT (TYPE_MODE (wtype
));
148 gcc_assert (wfmt
->b
!= 10);
149 if (wfmt
->p
> widefmt
->p
)
154 /* The radix of the exponent representation. */
155 if (type
== float_type_node
)
156 builtin_define_with_int_value ("__FLT_RADIX__", fmt
->b
);
159 /* The number of radix digits, p, in the floating-point significand. */
160 sprintf (name
, "__%s_MANT_DIG__", name_prefix
);
161 builtin_define_with_int_value (name
, fmt
->p
);
163 /* The number of decimal digits, q, such that any floating-point number
164 with q decimal digits can be rounded into a floating-point number with
165 p radix b digits and back again without change to the q decimal digits,
167 p log10 b if b is a power of 10
168 floor((p - 1) log10 b) otherwise
170 dig
= (fmt
->p
- 1) * log10_b
;
171 sprintf (name
, "__%s_DIG__", name_prefix
);
172 builtin_define_with_int_value (name
, dig
);
174 /* The minimum negative int x such that b**(x-1) is a normalized float. */
175 sprintf (name
, "__%s_MIN_EXP__", name_prefix
);
176 sprintf (buf
, "(%d)", fmt
->emin
);
177 builtin_define_with_value (name
, buf
, 0);
179 /* The minimum negative int x such that 10**x is a normalized float,
181 ceil (log10 (b ** (emin - 1)))
182 = ceil (log10 (b) * (emin - 1))
184 Recall that emin is negative, so the integer truncation calculates
185 the ceiling, not the floor, in this case. */
186 min_10_exp
= (fmt
->emin
- 1) * log10_b
;
187 sprintf (name
, "__%s_MIN_10_EXP__", name_prefix
);
188 sprintf (buf
, "(%d)", min_10_exp
);
189 builtin_define_with_value (name
, buf
, 0);
191 /* The maximum int x such that b**(x-1) is a representable float. */
192 sprintf (name
, "__%s_MAX_EXP__", name_prefix
);
193 builtin_define_with_int_value (name
, fmt
->emax
);
195 /* The maximum int x such that 10**x is in the range of representable
196 finite floating-point numbers,
198 floor (log10((1 - b**-p) * b**emax))
199 = floor (log10(1 - b**-p) + log10(b**emax))
200 = floor (log10(1 - b**-p) + log10(b)*emax)
202 The safest thing to do here is to just compute this number. But since
203 we don't link cc1 with libm, we cannot. We could implement log10 here
204 a series expansion, but that seems too much effort because:
206 Note that the first term, for all extant p, is a number exceedingly close
207 to zero, but slightly negative. Note that the second term is an integer
208 scaling an irrational number, and that because of the floor we are only
209 interested in its integral portion.
211 In order for the first term to have any effect on the integral portion
212 of the second term, the second term has to be exceedingly close to an
213 integer itself (e.g. 123.000000000001 or something). Getting a result
214 that close to an integer requires that the irrational multiplicand have
215 a long series of zeros in its expansion, which doesn't occur in the
216 first 20 digits or so of log10(b).
218 Hand-waving aside, crunching all of the sets of constants above by hand
219 does not yield a case for which the first term is significant, which
220 in the end is all that matters. */
221 max_10_exp
= fmt
->emax
* log10_b
;
222 sprintf (name
, "__%s_MAX_10_EXP__", name_prefix
);
223 builtin_define_with_int_value (name
, max_10_exp
);
225 /* The number of decimal digits, n, such that any floating-point number
226 can be rounded to n decimal digits and back again without change to
229 p * log10(b) if b is a power of 10
230 ceil(1 + p * log10(b)) otherwise
232 The only macro we care about is this number for the widest supported
233 floating type, but we want this value for rendering constants below. */
236 = 1 + (fmt
->p
< widefmt
->p
? widefmt
->p
: fmt
->p
) * log10_b
;
237 decimal_dig
= d_decimal_dig
;
238 if (decimal_dig
< d_decimal_dig
)
241 /* Similar, for this type rather than long double. */
243 double type_d_decimal_dig
= 1 + fmt
->p
* log10_b
;
244 type_decimal_dig
= type_d_decimal_dig
;
245 if (type_decimal_dig
< type_d_decimal_dig
)
248 /* Define __DECIMAL_DIG__ to the value for long double to be
249 compatible with C99 and C11; see DR#501 and N2108. */
250 if (type
== long_double_type_node
)
251 builtin_define_with_int_value ("__DECIMAL_DIG__", type_decimal_dig
);
252 sprintf (name
, "__%s_DECIMAL_DIG__", name_prefix
);
253 builtin_define_with_int_value (name
, type_decimal_dig
);
255 /* Since, for the supported formats, B is always a power of 2, we
256 construct the following numbers directly as a hexadecimal
258 get_max_float (fmt
, buf
, sizeof (buf
));
260 sprintf (name
, "__%s_MAX__", name_prefix
);
261 builtin_define_with_hex_fp_value (name
, type
, decimal_dig
, buf
, fp_suffix
, fp_cast
);
263 /* The minimum normalized positive floating-point number,
265 sprintf (name
, "__%s_MIN__", name_prefix
);
266 sprintf (buf
, "0x1p%d", fmt
->emin
- 1);
267 builtin_define_with_hex_fp_value (name
, type
, decimal_dig
, buf
, fp_suffix
, fp_cast
);
269 /* The difference between 1 and the least value greater than 1 that is
270 representable in the given floating point type, b**(1-p). */
271 sprintf (name
, "__%s_EPSILON__", name_prefix
);
272 if (fmt
->pnan
< fmt
->p
)
273 /* This is an IBM extended double format, so 1.0 + any double is
274 representable precisely. */
275 sprintf (buf
, "0x1p%d", fmt
->emin
- fmt
->p
);
277 sprintf (buf
, "0x1p%d", 1 - fmt
->p
);
278 builtin_define_with_hex_fp_value (name
, type
, decimal_dig
, buf
, fp_suffix
, fp_cast
);
280 /* For C++ std::numeric_limits<T>::denorm_min and C11 *_TRUE_MIN.
281 The minimum denormalized positive floating-point number, b**(emin-p).
282 The minimum normalized positive floating-point number for formats
283 that don't support denormals. */
284 sprintf (name
, "__%s_DENORM_MIN__", name_prefix
);
285 sprintf (buf
, "0x1p%d", fmt
->emin
- (fmt
->has_denorm
? fmt
->p
: 1));
286 builtin_define_with_hex_fp_value (name
, type
, decimal_dig
,
287 buf
, fp_suffix
, fp_cast
);
289 sprintf (name
, "__%s_HAS_DENORM__", name_prefix
);
290 builtin_define_with_value (name
, fmt
->has_denorm
? "1" : "0", 0);
292 /* For C++ std::numeric_limits<T>::has_infinity. */
293 sprintf (name
, "__%s_HAS_INFINITY__", name_prefix
);
294 builtin_define_with_int_value (name
,
295 MODE_HAS_INFINITIES (TYPE_MODE (type
)));
296 /* For C++ std::numeric_limits<T>::has_quiet_NaN. We do not have a
297 predicate to distinguish a target that has both quiet and
298 signalling NaNs from a target that has only quiet NaNs or only
299 signalling NaNs, so we assume that a target that has any kind of
300 NaN has quiet NaNs. */
301 sprintf (name
, "__%s_HAS_QUIET_NAN__", name_prefix
);
302 builtin_define_with_int_value (name
, MODE_HAS_NANS (TYPE_MODE (type
)));
304 /* Note whether we have fast FMA. */
305 if (mode_has_fma (TYPE_MODE (type
)) && fma_suffix
!= NULL
)
307 sprintf (name
, "__FP_FAST_FMA%s", fma_suffix
);
308 builtin_define_with_int_value (name
, 1);
312 /* Define __DECx__ constants for TYPE using NAME_PREFIX and SUFFIX. */
314 builtin_define_decimal_float_constants (const char *name_prefix
,
318 const struct real_format
*fmt
;
319 char name
[64], buf
[128], *p
;
322 fmt
= REAL_MODE_FORMAT (TYPE_MODE (type
));
324 /* The number of radix digits, p, in the significand. */
325 sprintf (name
, "__%s_MANT_DIG__", name_prefix
);
326 builtin_define_with_int_value (name
, fmt
->p
);
328 /* The minimum negative int x such that b**(x-1) is a normalized float. */
329 sprintf (name
, "__%s_MIN_EXP__", name_prefix
);
330 sprintf (buf
, "(%d)", fmt
->emin
);
331 builtin_define_with_value (name
, buf
, 0);
333 /* The maximum int x such that b**(x-1) is a representable float. */
334 sprintf (name
, "__%s_MAX_EXP__", name_prefix
);
335 builtin_define_with_int_value (name
, fmt
->emax
);
337 /* Compute the minimum representable value. */
338 sprintf (name
, "__%s_MIN__", name_prefix
);
339 sprintf (buf
, "1E%d%s", fmt
->emin
- 1, suffix
);
340 builtin_define_with_value (name
, buf
, 0);
342 /* Compute the maximum representable value. */
343 sprintf (name
, "__%s_MAX__", name_prefix
);
345 for (digits
= fmt
->p
; digits
; digits
--)
348 if (digits
== fmt
->p
)
352 /* fmt->p plus 1, to account for the decimal point and fmt->emax
353 minus 1 because the digits are nines, not 1.0. */
354 sprintf (&buf
[fmt
->p
+ 1], "E%d%s", fmt
->emax
- 1, suffix
);
355 builtin_define_with_value (name
, buf
, 0);
357 /* Compute epsilon (the difference between 1 and least value greater
358 than 1 representable). */
359 sprintf (name
, "__%s_EPSILON__", name_prefix
);
360 sprintf (buf
, "1E-%d%s", fmt
->p
- 1, suffix
);
361 builtin_define_with_value (name
, buf
, 0);
363 /* Minimum subnormal positive decimal value. */
364 sprintf (name
, "__%s_SUBNORMAL_MIN__", name_prefix
);
366 for (digits
= fmt
->p
; digits
> 1; digits
--)
369 if (digits
== fmt
->p
)
373 sprintf (&buf
[fmt
->p
], "1E%d%s", fmt
->emin
- 1, suffix
);
374 builtin_define_with_value (name
, buf
, 0);
377 /* Define fixed-point constants for TYPE using NAME_PREFIX and SUFFIX. */
380 builtin_define_fixed_point_constants (const char *name_prefix
,
384 char name
[64], buf
[256], *new_buf
;
387 sprintf (name
, "__%s_FBIT__", name_prefix
);
388 builtin_define_with_int_value (name
, TYPE_FBIT (type
));
390 sprintf (name
, "__%s_IBIT__", name_prefix
);
391 builtin_define_with_int_value (name
, TYPE_IBIT (type
));
393 /* If there is no suffix, defines are for fixed-point modes.
395 if (strcmp (suffix
, "") == 0)
398 if (TYPE_UNSIGNED (type
))
400 sprintf (name
, "__%s_MIN__", name_prefix
);
401 sprintf (buf
, "0.0%s", suffix
);
402 builtin_define_with_value (name
, buf
, 0);
406 sprintf (name
, "__%s_MIN__", name_prefix
);
407 if (ALL_ACCUM_MODE_P (TYPE_MODE (type
)))
408 sprintf (buf
, "(-0X1P%d%s-0X1P%d%s)", TYPE_IBIT (type
) - 1, suffix
,
409 TYPE_IBIT (type
) - 1, suffix
);
411 sprintf (buf
, "(-0.5%s-0.5%s)", suffix
, suffix
);
412 builtin_define_with_value (name
, buf
, 0);
415 sprintf (name
, "__%s_MAX__", name_prefix
);
418 mod
= (TYPE_FBIT (type
) + TYPE_IBIT (type
)) % 4;
420 sprintf (new_buf
++, "%x", (1 << mod
) - 1);
421 for (i
= 0; i
< (TYPE_FBIT (type
) + TYPE_IBIT (type
)) / 4; i
++)
422 sprintf (new_buf
++, "F");
423 sprintf (new_buf
, "P-%d%s", TYPE_FBIT (type
), suffix
);
424 builtin_define_with_value (name
, buf
, 0);
426 sprintf (name
, "__%s_EPSILON__", name_prefix
);
427 sprintf (buf
, "0x1P-%d%s", TYPE_FBIT (type
), suffix
);
428 builtin_define_with_value (name
, buf
, 0);
431 /* Define macros used by <stdint.h>. */
433 builtin_define_stdint_macros (void)
435 builtin_define_type_max ("__INTMAX_MAX__", intmax_type_node
);
436 builtin_define_constants ("__INTMAX_C", intmax_type_node
);
437 builtin_define_type_max ("__UINTMAX_MAX__", uintmax_type_node
);
438 builtin_define_constants ("__UINTMAX_C", uintmax_type_node
);
439 builtin_define_type_width ("__INTMAX_WIDTH__", intmax_type_node
,
441 if (sig_atomic_type_node
)
443 builtin_define_type_minmax ("__SIG_ATOMIC_MIN__", "__SIG_ATOMIC_MAX__",
444 sig_atomic_type_node
);
445 builtin_define_type_width ("__SIG_ATOMIC_WIDTH__", sig_atomic_type_node
,
449 builtin_define_type_max ("__INT8_MAX__", int8_type_node
);
451 builtin_define_type_max ("__INT16_MAX__", int16_type_node
);
453 builtin_define_type_max ("__INT32_MAX__", int32_type_node
);
455 builtin_define_type_max ("__INT64_MAX__", int64_type_node
);
457 builtin_define_type_max ("__UINT8_MAX__", uint8_type_node
);
458 if (c_uint16_type_node
)
459 builtin_define_type_max ("__UINT16_MAX__", c_uint16_type_node
);
460 if (c_uint32_type_node
)
461 builtin_define_type_max ("__UINT32_MAX__", c_uint32_type_node
);
462 if (c_uint64_type_node
)
463 builtin_define_type_max ("__UINT64_MAX__", c_uint64_type_node
);
464 if (int_least8_type_node
)
466 builtin_define_type_max ("__INT_LEAST8_MAX__", int_least8_type_node
);
467 builtin_define_constants ("__INT8_C", int_least8_type_node
);
468 builtin_define_type_width ("__INT_LEAST8_WIDTH__", int_least8_type_node
,
469 uint_least8_type_node
);
471 if (int_least16_type_node
)
473 builtin_define_type_max ("__INT_LEAST16_MAX__", int_least16_type_node
);
474 builtin_define_constants ("__INT16_C", int_least16_type_node
);
475 builtin_define_type_width ("__INT_LEAST16_WIDTH__",
476 int_least16_type_node
,
477 uint_least16_type_node
);
479 if (int_least32_type_node
)
481 builtin_define_type_max ("__INT_LEAST32_MAX__", int_least32_type_node
);
482 builtin_define_constants ("__INT32_C", int_least32_type_node
);
483 builtin_define_type_width ("__INT_LEAST32_WIDTH__",
484 int_least32_type_node
,
485 uint_least32_type_node
);
487 if (int_least64_type_node
)
489 builtin_define_type_max ("__INT_LEAST64_MAX__", int_least64_type_node
);
490 builtin_define_constants ("__INT64_C", int_least64_type_node
);
491 builtin_define_type_width ("__INT_LEAST64_WIDTH__",
492 int_least64_type_node
,
493 uint_least64_type_node
);
495 if (uint_least8_type_node
)
497 builtin_define_type_max ("__UINT_LEAST8_MAX__", uint_least8_type_node
);
498 builtin_define_constants ("__UINT8_C", uint_least8_type_node
);
500 if (uint_least16_type_node
)
502 builtin_define_type_max ("__UINT_LEAST16_MAX__", uint_least16_type_node
);
503 builtin_define_constants ("__UINT16_C", uint_least16_type_node
);
505 if (uint_least32_type_node
)
507 builtin_define_type_max ("__UINT_LEAST32_MAX__", uint_least32_type_node
);
508 builtin_define_constants ("__UINT32_C", uint_least32_type_node
);
510 if (uint_least64_type_node
)
512 builtin_define_type_max ("__UINT_LEAST64_MAX__", uint_least64_type_node
);
513 builtin_define_constants ("__UINT64_C", uint_least64_type_node
);
515 if (int_fast8_type_node
)
517 builtin_define_type_max ("__INT_FAST8_MAX__", int_fast8_type_node
);
518 builtin_define_type_width ("__INT_FAST8_WIDTH__", int_fast8_type_node
,
519 uint_fast8_type_node
);
521 if (int_fast16_type_node
)
523 builtin_define_type_max ("__INT_FAST16_MAX__", int_fast16_type_node
);
524 builtin_define_type_width ("__INT_FAST16_WIDTH__", int_fast16_type_node
,
525 uint_fast16_type_node
);
527 if (int_fast32_type_node
)
529 builtin_define_type_max ("__INT_FAST32_MAX__", int_fast32_type_node
);
530 builtin_define_type_width ("__INT_FAST32_WIDTH__", int_fast32_type_node
,
531 uint_fast32_type_node
);
533 if (int_fast64_type_node
)
535 builtin_define_type_max ("__INT_FAST64_MAX__", int_fast64_type_node
);
536 builtin_define_type_width ("__INT_FAST64_WIDTH__", int_fast64_type_node
,
537 uint_fast64_type_node
);
539 if (uint_fast8_type_node
)
540 builtin_define_type_max ("__UINT_FAST8_MAX__", uint_fast8_type_node
);
541 if (uint_fast16_type_node
)
542 builtin_define_type_max ("__UINT_FAST16_MAX__", uint_fast16_type_node
);
543 if (uint_fast32_type_node
)
544 builtin_define_type_max ("__UINT_FAST32_MAX__", uint_fast32_type_node
);
545 if (uint_fast64_type_node
)
546 builtin_define_type_max ("__UINT_FAST64_MAX__", uint_fast64_type_node
);
547 if (intptr_type_node
)
549 builtin_define_type_max ("__INTPTR_MAX__", intptr_type_node
);
550 builtin_define_type_width ("__INTPTR_WIDTH__", intptr_type_node
,
553 if (uintptr_type_node
)
554 builtin_define_type_max ("__UINTPTR_MAX__", uintptr_type_node
);
557 /* Adjust the optimization macros when a #pragma GCC optimization is done to
558 reflect the current level. */
560 c_cpp_builtins_optimize_pragma (cpp_reader
*pfile
, tree prev_tree
,
563 struct cl_optimization
*prev
= TREE_OPTIMIZATION (prev_tree
);
564 struct cl_optimization
*cur
= TREE_OPTIMIZATION (cur_tree
);
568 /* -undef turns off target-specific built-ins. */
572 /* Other target-independent built-ins determined by command-line
574 if (!prev
->x_optimize_size
&& cur
->x_optimize_size
)
575 cpp_define (pfile
, "__OPTIMIZE_SIZE__");
576 else if (prev
->x_optimize_size
&& !cur
->x_optimize_size
)
577 cpp_undef (pfile
, "__OPTIMIZE_SIZE__");
579 if (!prev
->x_optimize
&& cur
->x_optimize
)
580 cpp_define (pfile
, "__OPTIMIZE__");
581 else if (prev
->x_optimize
&& !cur
->x_optimize
)
582 cpp_undef (pfile
, "__OPTIMIZE__");
584 prev_fast_math
= fast_math_flags_struct_set_p (prev
);
585 cur_fast_math
= fast_math_flags_struct_set_p (cur
);
586 if (!prev_fast_math
&& cur_fast_math
)
587 cpp_define (pfile
, "__FAST_MATH__");
588 else if (prev_fast_math
&& !cur_fast_math
)
589 cpp_undef (pfile
, "__FAST_MATH__");
591 if (!prev
->x_flag_signaling_nans
&& cur
->x_flag_signaling_nans
)
592 cpp_define (pfile
, "__SUPPORT_SNAN__");
593 else if (prev
->x_flag_signaling_nans
&& !cur
->x_flag_signaling_nans
)
594 cpp_undef (pfile
, "__SUPPORT_SNAN__");
596 if (!prev
->x_flag_errno_math
&& cur
->x_flag_errno_math
)
597 cpp_undef (pfile
, "__NO_MATH_ERRNO__");
598 else if (prev
->x_flag_errno_math
&& !cur
->x_flag_errno_math
)
599 cpp_define (pfile
, "__NO_MATH_ERRNO__");
601 if (!prev
->x_flag_finite_math_only
&& cur
->x_flag_finite_math_only
)
603 cpp_undef (pfile
, "__FINITE_MATH_ONLY__");
604 cpp_define (pfile
, "__FINITE_MATH_ONLY__=1");
606 else if (prev
->x_flag_finite_math_only
&& !cur
->x_flag_finite_math_only
)
608 cpp_undef (pfile
, "__FINITE_MATH_ONLY__");
609 cpp_define (pfile
, "__FINITE_MATH_ONLY__=0");
614 /* This function will emit cpp macros to indicate the presence of various lock
615 free atomic operations. */
618 cpp_atomic_builtins (cpp_reader
*pfile
)
620 /* Set a flag for each size of object that compare and swap exists for up to
622 #define SWAP_LIMIT 17
623 bool have_swap
[SWAP_LIMIT
];
626 /* Clear the map of sizes compare_and swap exists for. */
627 memset (have_swap
, 0, sizeof (have_swap
));
629 /* Tell source code if the compiler makes sync_compare_and_swap
630 builtins available. */
631 #ifndef HAVE_sync_compare_and_swapqi
632 #define HAVE_sync_compare_and_swapqi 0
634 #ifndef HAVE_atomic_compare_and_swapqi
635 #define HAVE_atomic_compare_and_swapqi 0
638 if (HAVE_sync_compare_and_swapqi
|| HAVE_atomic_compare_and_swapqi
)
640 cpp_define (pfile
, "__GCC_HAVE_SYNC_COMPARE_AND_SWAP_1");
644 #ifndef HAVE_sync_compare_and_swaphi
645 #define HAVE_sync_compare_and_swaphi 0
647 #ifndef HAVE_atomic_compare_and_swaphi
648 #define HAVE_atomic_compare_and_swaphi 0
650 if (HAVE_sync_compare_and_swaphi
|| HAVE_atomic_compare_and_swaphi
)
652 cpp_define (pfile
, "__GCC_HAVE_SYNC_COMPARE_AND_SWAP_2");
656 #ifndef HAVE_sync_compare_and_swapsi
657 #define HAVE_sync_compare_and_swapsi 0
659 #ifndef HAVE_atomic_compare_and_swapsi
660 #define HAVE_atomic_compare_and_swapsi 0
662 if (HAVE_sync_compare_and_swapsi
|| HAVE_atomic_compare_and_swapsi
)
664 cpp_define (pfile
, "__GCC_HAVE_SYNC_COMPARE_AND_SWAP_4");
668 #ifndef HAVE_sync_compare_and_swapdi
669 #define HAVE_sync_compare_and_swapdi 0
671 #ifndef HAVE_atomic_compare_and_swapdi
672 #define HAVE_atomic_compare_and_swapdi 0
674 if (HAVE_sync_compare_and_swapdi
|| HAVE_atomic_compare_and_swapdi
)
676 cpp_define (pfile
, "__GCC_HAVE_SYNC_COMPARE_AND_SWAP_8");
680 #ifndef HAVE_sync_compare_and_swapti
681 #define HAVE_sync_compare_and_swapti 0
683 #ifndef HAVE_atomic_compare_and_swapti
684 #define HAVE_atomic_compare_and_swapti 0
686 if (HAVE_sync_compare_and_swapti
|| HAVE_atomic_compare_and_swapti
)
688 cpp_define (pfile
, "__GCC_HAVE_SYNC_COMPARE_AND_SWAP_16");
689 have_swap
[16] = true;
692 /* Tell the source code about various types. These map to the C++11 and C11
693 macros where 2 indicates lock-free always, and 1 indicates sometimes
695 #define SIZEOF_NODE(T) (tree_to_uhwi (TYPE_SIZE_UNIT (T)))
696 #define SWAP_INDEX(T) ((SIZEOF_NODE (T) < SWAP_LIMIT) ? SIZEOF_NODE (T) : 0)
697 builtin_define_with_int_value ("__GCC_ATOMIC_BOOL_LOCK_FREE",
698 (have_swap
[SWAP_INDEX (boolean_type_node
)]? 2 : 1));
699 builtin_define_with_int_value ("__GCC_ATOMIC_CHAR_LOCK_FREE",
700 (have_swap
[SWAP_INDEX (signed_char_type_node
)]? 2 : 1));
701 builtin_define_with_int_value ("__GCC_ATOMIC_CHAR16_T_LOCK_FREE",
702 (have_swap
[SWAP_INDEX (char16_type_node
)]? 2 : 1));
703 builtin_define_with_int_value ("__GCC_ATOMIC_CHAR32_T_LOCK_FREE",
704 (have_swap
[SWAP_INDEX (char32_type_node
)]? 2 : 1));
705 builtin_define_with_int_value ("__GCC_ATOMIC_WCHAR_T_LOCK_FREE",
706 (have_swap
[SWAP_INDEX (wchar_type_node
)]? 2 : 1));
707 builtin_define_with_int_value ("__GCC_ATOMIC_SHORT_LOCK_FREE",
708 (have_swap
[SWAP_INDEX (short_integer_type_node
)]? 2 : 1));
709 builtin_define_with_int_value ("__GCC_ATOMIC_INT_LOCK_FREE",
710 (have_swap
[SWAP_INDEX (integer_type_node
)]? 2 : 1));
711 builtin_define_with_int_value ("__GCC_ATOMIC_LONG_LOCK_FREE",
712 (have_swap
[SWAP_INDEX (long_integer_type_node
)]? 2 : 1));
713 builtin_define_with_int_value ("__GCC_ATOMIC_LLONG_LOCK_FREE",
714 (have_swap
[SWAP_INDEX (long_long_integer_type_node
)]? 2 : 1));
716 /* If we're dealing with a "set" value that doesn't exactly correspond
717 to a boolean truth value, let the library work around that. */
718 builtin_define_with_int_value ("__GCC_ATOMIC_TEST_AND_SET_TRUEVAL",
719 targetm
.atomic_test_and_set_trueval
);
721 /* ptr_type_node can't be used here since ptr_mode is only set when
722 toplev calls backend_init which is not done with -E or pch. */
723 psize
= POINTER_SIZE_UNITS
;
724 if (psize
>= SWAP_LIMIT
)
726 builtin_define_with_int_value ("__GCC_ATOMIC_POINTER_LOCK_FREE",
727 (have_swap
[psize
]? 2 : 1));
730 /* Return TRUE if the implicit excess precision in which the back-end will
731 compute floating-point calculations is not more than the explicit
732 excess precision that the front-end will apply under
733 -fexcess-precision=[standard|fast].
735 More intuitively, return TRUE if the excess precision proposed by the
736 front-end is the excess precision that will actually be used. */
739 c_cpp_flt_eval_method_iec_559 (void)
741 enum excess_precision_type front_end_ept
742 = (flag_excess_precision_cmdline
== EXCESS_PRECISION_STANDARD
743 ? EXCESS_PRECISION_TYPE_STANDARD
744 : EXCESS_PRECISION_TYPE_FAST
);
746 enum flt_eval_method back_end
747 = targetm
.c
.excess_precision (EXCESS_PRECISION_TYPE_IMPLICIT
);
749 enum flt_eval_method front_end
750 = targetm
.c
.excess_precision (front_end_ept
);
752 return excess_precision_mode_join (front_end
, back_end
) == front_end
;
755 /* Return the value for __GCC_IEC_559. */
757 cpp_iec_559_value (void)
759 /* The default is support for IEEE 754-2008. */
762 /* float and double must be binary32 and binary64. If they are but
763 with reversed NaN convention, at most IEEE 754-1985 is
765 const struct real_format
*ffmt
766 = REAL_MODE_FORMAT (TYPE_MODE (float_type_node
));
767 const struct real_format
*dfmt
768 = REAL_MODE_FORMAT (TYPE_MODE (double_type_node
));
769 if (!ffmt
->qnan_msb_set
|| !dfmt
->qnan_msb_set
)
774 || ffmt
->emin
!= -125
776 || ffmt
->signbit_rw
!= 31
777 || ffmt
->round_towards_zero
778 || !ffmt
->has_sign_dependent_rounding
782 || !ffmt
->has_signed_zero
786 || dfmt
->emin
!= -1021
787 || dfmt
->emax
!= 1024
788 || dfmt
->signbit_rw
!= 63
789 || dfmt
->round_towards_zero
790 || !dfmt
->has_sign_dependent_rounding
794 || !dfmt
->has_signed_zero
)
797 /* In strict C standards conformance mode, consider a back-end providing
798 more implicit excess precision than the explicit excess precision
799 the front-end options would require to mean a lack of IEEE 754
800 support. For C++, and outside strict conformance mode, do not consider
801 this to mean a lack of IEEE 754 support. */
805 && !c_cpp_flt_eval_method_iec_559 ())
810 && flag_fp_contract_mode
== FP_CONTRACT_FAST
)
813 /* Various options are contrary to IEEE 754 semantics. */
814 if (flag_unsafe_math_optimizations
815 || flag_associative_math
816 || flag_reciprocal_math
817 || flag_finite_math_only
818 || !flag_signed_zeros
819 || flag_single_precision_constant
)
822 /* If the target does not support IEEE 754 exceptions and rounding
823 modes, consider IEEE 754 support to be absent. */
824 if (!targetm
.float_exceptions_rounding_supported_p ())
830 /* Return the value for __GCC_IEC_559_COMPLEX. */
832 cpp_iec_559_complex_value (void)
834 /* The value is no bigger than that of __GCC_IEC_559. */
835 int ret
= cpp_iec_559_value ();
837 /* Some options are contrary to the required default state of the
838 CX_LIMITED_RANGE pragma. */
839 if (flag_complex_method
!= 2)
845 /* Hook that registers front end and target-specific built-ins. */
847 c_cpp_builtins (cpp_reader
*pfile
)
851 /* -undef turns off target-specific built-ins. */
855 define_language_independent_builtin_macros (pfile
);
857 if (c_dialect_cxx ())
860 parse_basever (&major
, NULL
, NULL
);
861 cpp_define_formatted (pfile
, "__GNUG__=%d", major
);
864 /* For stddef.h. They require macros defined in c-common.c. */
865 c_stddef_cpp_builtins ();
867 /* Set include test macros for all C/C++ (not for just C++11 etc.)
868 The builtins __has_include__ and __has_include_next__ are defined
870 cpp_define (pfile
, "__has_include(STR)=__has_include__(STR)");
871 cpp_define (pfile
, "__has_include_next(STR)=__has_include_next__(STR)");
873 if (c_dialect_cxx ())
875 if (flag_weak
&& SUPPORTS_ONE_ONLY
)
876 cpp_define (pfile
, "__GXX_WEAK__=1");
878 cpp_define (pfile
, "__GXX_WEAK__=0");
881 cpp_define (pfile
, "__DEPRECATED");
885 cpp_define (pfile
, "__GXX_RTTI");
886 cpp_define (pfile
, "__cpp_rtti=199711");
889 if (cxx_dialect
>= cxx11
)
890 cpp_define (pfile
, "__GXX_EXPERIMENTAL_CXX0X__");
892 /* Binary literals have been allowed in g++ before C++11
893 and were standardized for C++14. */
894 if (!pedantic
|| cxx_dialect
> cxx11
)
895 cpp_define (pfile
, "__cpp_binary_literals=201304");
897 /* Similarly for hexadecimal floating point literals and C++17. */
898 if (!pedantic
|| cpp_get_options (parse_in
)->extended_numbers
)
899 cpp_define (pfile
, "__cpp_hex_float=201603");
901 /* Arrays of runtime bound were removed from C++14, but we still
902 support GNU VLAs. Let's define this macro to a low number
903 (corresponding to the initial test release of GNU C++) if we won't
904 complain about use of VLAs. */
906 && (pedantic
? warn_vla
== 0 : warn_vla
<= 0))
907 cpp_define (pfile
, "__cpp_runtime_arrays=198712");
909 if (cxx_dialect
>= cxx11
)
911 /* Set feature test macros for C++11. */
912 if (cxx_dialect
<= cxx14
)
913 cpp_define (pfile
, "__cpp_unicode_characters=200704");
914 cpp_define (pfile
, "__cpp_raw_strings=200710");
915 cpp_define (pfile
, "__cpp_unicode_literals=200710");
916 cpp_define (pfile
, "__cpp_user_defined_literals=200809");
917 cpp_define (pfile
, "__cpp_lambdas=200907");
918 if (cxx_dialect
== cxx11
)
919 cpp_define (pfile
, "__cpp_constexpr=200704");
920 if (cxx_dialect
<= cxx14
)
921 cpp_define (pfile
, "__cpp_range_based_for=200907");
922 if (cxx_dialect
<= cxx14
)
923 cpp_define (pfile
, "__cpp_static_assert=200410");
924 cpp_define (pfile
, "__cpp_decltype=200707");
925 cpp_define (pfile
, "__cpp_attributes=200809");
926 cpp_define (pfile
, "__cpp_rvalue_reference=200610");
927 cpp_define (pfile
, "__cpp_rvalue_references=200610");
928 cpp_define (pfile
, "__cpp_variadic_templates=200704");
929 cpp_define (pfile
, "__cpp_initializer_lists=200806");
930 cpp_define (pfile
, "__cpp_delegating_constructors=200604");
931 cpp_define (pfile
, "__cpp_nsdmi=200809");
932 if (!flag_new_inheriting_ctors
)
933 cpp_define (pfile
, "__cpp_inheriting_constructors=200802");
935 cpp_define (pfile
, "__cpp_inheriting_constructors=201511");
936 cpp_define (pfile
, "__cpp_ref_qualifiers=200710");
937 cpp_define (pfile
, "__cpp_alias_templates=200704");
939 if (cxx_dialect
> cxx11
)
941 /* Set feature test macros for C++14. */
942 cpp_define (pfile
, "__cpp_return_type_deduction=201304");
943 cpp_define (pfile
, "__cpp_init_captures=201304");
944 cpp_define (pfile
, "__cpp_generic_lambdas=201304");
945 if (cxx_dialect
<= cxx14
)
946 cpp_define (pfile
, "__cpp_constexpr=201304");
947 cpp_define (pfile
, "__cpp_decltype_auto=201304");
948 cpp_define (pfile
, "__cpp_aggregate_nsdmi=201304");
949 cpp_define (pfile
, "__cpp_variable_templates=201304");
950 cpp_define (pfile
, "__cpp_digit_separators=201309");
952 if (cxx_dialect
> cxx14
)
954 /* Set feature test macros for C++1z. */
955 cpp_define (pfile
, "__cpp_unicode_characters=201411");
956 cpp_define (pfile
, "__cpp_static_assert=201411");
957 cpp_define (pfile
, "__cpp_namespace_attributes=201411");
958 cpp_define (pfile
, "__cpp_enumerator_attributes=201411");
959 cpp_define (pfile
, "__cpp_nested_namespace_definitions=201411");
960 cpp_define (pfile
, "__cpp_fold_expressions=201603");
961 cpp_define (pfile
, "__cpp_nontype_template_args=201411");
962 cpp_define (pfile
, "__cpp_range_based_for=201603");
963 cpp_define (pfile
, "__cpp_constexpr=201603");
964 cpp_define (pfile
, "__cpp_if_constexpr=201606");
965 cpp_define (pfile
, "__cpp_capture_star_this=201603");
966 cpp_define (pfile
, "__cpp_inline_variables=201606");
967 cpp_define (pfile
, "__cpp_aggregate_bases=201603");
968 cpp_define (pfile
, "__cpp_deduction_guides=201606");
969 cpp_define (pfile
, "__cpp_noexcept_function_type=201510");
970 cpp_define (pfile
, "__cpp_template_auto=201606");
971 cpp_define (pfile
, "__cpp_structured_bindings=201606");
972 cpp_define (pfile
, "__cpp_variadic_using=201611");
975 cpp_define (pfile
, "__cpp_concepts=201507");
977 /* Use a value smaller than the 201505 specified in
978 the TS, since we don't yet support atomic_cancel. */
979 cpp_define (pfile
, "__cpp_transactional_memory=210500");
980 if (flag_sized_deallocation
)
981 cpp_define (pfile
, "__cpp_sized_deallocation=201309");
982 if (aligned_new_threshold
)
984 cpp_define (pfile
, "__cpp_aligned_new=201606");
985 cpp_define_formatted (pfile
, "__STDCPP_DEFAULT_NEW_ALIGNMENT__=%d",
986 aligned_new_threshold
);
989 cpp_define (pfile
, "__cpp_template_template_args=201611");
991 /* Note that we define this for C as well, so that we know if
992 __attribute__((cleanup)) will interface with EH. */
995 cpp_define (pfile
, "__EXCEPTIONS");
996 if (c_dialect_cxx ())
997 cpp_define (pfile
, "__cpp_exceptions=199711");
1000 /* Represents the C++ ABI version, always defined so it can be used while
1001 preprocessing C and assembler. */
1002 if (flag_abi_version
== 0)
1003 /* We should have set this to something real in c_common_post_options. */
1005 else if (flag_abi_version
== 1)
1006 /* Due to a historical accident, this version had the value
1008 builtin_define_with_int_value ("__GXX_ABI_VERSION", 102);
1010 /* Newer versions have values 1002, 1003, .... */
1011 builtin_define_with_int_value ("__GXX_ABI_VERSION",
1012 1000 + flag_abi_version
);
1014 /* libgcc needs to know this. */
1015 if (targetm_common
.except_unwind_info (&global_options
) == UI_SJLJ
)
1016 cpp_define (pfile
, "__USING_SJLJ_EXCEPTIONS__");
1018 /* limits.h and stdint.h need to know these. */
1019 builtin_define_type_max ("__SCHAR_MAX__", signed_char_type_node
);
1020 builtin_define_type_max ("__SHRT_MAX__", short_integer_type_node
);
1021 builtin_define_type_max ("__INT_MAX__", integer_type_node
);
1022 builtin_define_type_max ("__LONG_MAX__", long_integer_type_node
);
1023 builtin_define_type_max ("__LONG_LONG_MAX__", long_long_integer_type_node
);
1024 builtin_define_type_minmax ("__WCHAR_MIN__", "__WCHAR_MAX__",
1025 underlying_wchar_type_node
);
1026 builtin_define_type_minmax ("__WINT_MIN__", "__WINT_MAX__", wint_type_node
);
1027 builtin_define_type_max ("__PTRDIFF_MAX__", ptrdiff_type_node
);
1028 builtin_define_type_max ("__SIZE_MAX__", size_type_node
);
1030 /* These are needed for TS 18661-1. */
1031 builtin_define_type_width ("__SCHAR_WIDTH__", signed_char_type_node
,
1032 unsigned_char_type_node
);
1033 builtin_define_type_width ("__SHRT_WIDTH__", short_integer_type_node
,
1034 short_unsigned_type_node
);
1035 builtin_define_type_width ("__INT_WIDTH__", integer_type_node
,
1036 unsigned_type_node
);
1037 builtin_define_type_width ("__LONG_WIDTH__", long_integer_type_node
,
1038 long_unsigned_type_node
);
1039 builtin_define_type_width ("__LONG_LONG_WIDTH__",
1040 long_long_integer_type_node
,
1041 long_long_unsigned_type_node
);
1042 builtin_define_type_width ("__WCHAR_WIDTH__", underlying_wchar_type_node
,
1044 builtin_define_type_width ("__WINT_WIDTH__", wint_type_node
, NULL_TREE
);
1045 builtin_define_type_width ("__PTRDIFF_WIDTH__", ptrdiff_type_node
, NULL_TREE
);
1046 builtin_define_type_width ("__SIZE_WIDTH__", size_type_node
, NULL_TREE
);
1048 if (c_dialect_cxx ())
1049 for (i
= 0; i
< NUM_INT_N_ENTS
; i
++)
1050 if (int_n_enabled_p
[i
])
1054 /* These are used to configure the C++ library. */
1056 if (!flag_iso
|| int_n_data
[i
].bitsize
== POINTER_SIZE
)
1058 sprintf (buf
, "__GLIBCXX_TYPE_INT_N_%d=__int%d", i
, int_n_data
[i
].bitsize
);
1059 cpp_define (parse_in
, buf
);
1061 sprintf (buf
, "__GLIBCXX_BITSIZE_INT_N_%d=%d", i
, int_n_data
[i
].bitsize
);
1062 cpp_define (parse_in
, buf
);
1066 /* stdint.h and the testsuite need to know these. */
1067 builtin_define_stdint_macros ();
1069 /* Provide information for library headers to determine whether to
1070 define macros such as __STDC_IEC_559__ and
1071 __STDC_IEC_559_COMPLEX__. */
1072 builtin_define_with_int_value ("__GCC_IEC_559", cpp_iec_559_value ());
1073 builtin_define_with_int_value ("__GCC_IEC_559_COMPLEX",
1074 cpp_iec_559_complex_value ());
1076 /* float.h needs these to correctly set FLT_EVAL_METHOD
1078 We define two values:
1081 Which, depending on the value given for
1082 -fpermitted-flt-eval-methods, may be limited to only those values
1083 for FLT_EVAL_METHOD defined in C99/C11.
1085 __FLT_EVAL_METHOD_TS_18661_3__
1086 Which always permits the values for FLT_EVAL_METHOD defined in
1087 ISO/IEC TS 18661-3. */
1088 builtin_define_with_int_value ("__FLT_EVAL_METHOD__",
1089 c_flt_eval_method (true));
1090 builtin_define_with_int_value ("__FLT_EVAL_METHOD_TS_18661_3__",
1091 c_flt_eval_method (false));
1093 /* And decfloat.h needs this. */
1094 builtin_define_with_int_value ("__DEC_EVAL_METHOD__",
1095 TARGET_DEC_EVAL_METHOD
);
1097 builtin_define_float_constants ("FLT", "F", "%s", "F", float_type_node
);
1098 /* Cast the double precision constants. This is needed when single
1099 precision constants are specified or when pragma FLOAT_CONST_DECIMAL64
1100 is used. The correct result is computed by the compiler when using
1101 macros that include a cast. We use a different cast for C++ to avoid
1102 problems with -Wold-style-cast. */
1103 builtin_define_float_constants ("DBL", "L",
1107 "", double_type_node
);
1108 builtin_define_float_constants ("LDBL", "L", "%s", "L",
1109 long_double_type_node
);
1111 for (int i
= 0; i
< NUM_FLOATN_NX_TYPES
; i
++)
1113 if (FLOATN_NX_TYPE_NODE (i
) == NULL_TREE
)
1115 char prefix
[20], csuffix
[20];
1116 sprintf (prefix
, "FLT%d%s", floatn_nx_types
[i
].n
,
1117 floatn_nx_types
[i
].extended
? "X" : "");
1118 sprintf (csuffix
, "F%d%s", floatn_nx_types
[i
].n
,
1119 floatn_nx_types
[i
].extended
? "x" : "");
1120 builtin_define_float_constants (prefix
, csuffix
, "%s", NULL
,
1121 FLOATN_NX_TYPE_NODE (i
));
1124 /* For decfloat.h. */
1125 builtin_define_decimal_float_constants ("DEC32", "DF", dfloat32_type_node
);
1126 builtin_define_decimal_float_constants ("DEC64", "DD", dfloat64_type_node
);
1127 builtin_define_decimal_float_constants ("DEC128", "DL", dfloat128_type_node
);
1129 /* For fixed-point fibt, ibit, max, min, and epsilon. */
1130 if (targetm
.fixed_point_supported_p ())
1132 builtin_define_fixed_point_constants ("SFRACT", "HR",
1133 short_fract_type_node
);
1134 builtin_define_fixed_point_constants ("USFRACT", "UHR",
1135 unsigned_short_fract_type_node
);
1136 builtin_define_fixed_point_constants ("FRACT", "R",
1138 builtin_define_fixed_point_constants ("UFRACT", "UR",
1139 unsigned_fract_type_node
);
1140 builtin_define_fixed_point_constants ("LFRACT", "LR",
1141 long_fract_type_node
);
1142 builtin_define_fixed_point_constants ("ULFRACT", "ULR",
1143 unsigned_long_fract_type_node
);
1144 builtin_define_fixed_point_constants ("LLFRACT", "LLR",
1145 long_long_fract_type_node
);
1146 builtin_define_fixed_point_constants ("ULLFRACT", "ULLR",
1147 unsigned_long_long_fract_type_node
);
1148 builtin_define_fixed_point_constants ("SACCUM", "HK",
1149 short_accum_type_node
);
1150 builtin_define_fixed_point_constants ("USACCUM", "UHK",
1151 unsigned_short_accum_type_node
);
1152 builtin_define_fixed_point_constants ("ACCUM", "K",
1154 builtin_define_fixed_point_constants ("UACCUM", "UK",
1155 unsigned_accum_type_node
);
1156 builtin_define_fixed_point_constants ("LACCUM", "LK",
1157 long_accum_type_node
);
1158 builtin_define_fixed_point_constants ("ULACCUM", "ULK",
1159 unsigned_long_accum_type_node
);
1160 builtin_define_fixed_point_constants ("LLACCUM", "LLK",
1161 long_long_accum_type_node
);
1162 builtin_define_fixed_point_constants ("ULLACCUM", "ULLK",
1163 unsigned_long_long_accum_type_node
);
1165 builtin_define_fixed_point_constants ("QQ", "", qq_type_node
);
1166 builtin_define_fixed_point_constants ("HQ", "", hq_type_node
);
1167 builtin_define_fixed_point_constants ("SQ", "", sq_type_node
);
1168 builtin_define_fixed_point_constants ("DQ", "", dq_type_node
);
1169 builtin_define_fixed_point_constants ("TQ", "", tq_type_node
);
1170 builtin_define_fixed_point_constants ("UQQ", "", uqq_type_node
);
1171 builtin_define_fixed_point_constants ("UHQ", "", uhq_type_node
);
1172 builtin_define_fixed_point_constants ("USQ", "", usq_type_node
);
1173 builtin_define_fixed_point_constants ("UDQ", "", udq_type_node
);
1174 builtin_define_fixed_point_constants ("UTQ", "", utq_type_node
);
1175 builtin_define_fixed_point_constants ("HA", "", ha_type_node
);
1176 builtin_define_fixed_point_constants ("SA", "", sa_type_node
);
1177 builtin_define_fixed_point_constants ("DA", "", da_type_node
);
1178 builtin_define_fixed_point_constants ("TA", "", ta_type_node
);
1179 builtin_define_fixed_point_constants ("UHA", "", uha_type_node
);
1180 builtin_define_fixed_point_constants ("USA", "", usa_type_node
);
1181 builtin_define_fixed_point_constants ("UDA", "", uda_type_node
);
1182 builtin_define_fixed_point_constants ("UTA", "", uta_type_node
);
1185 /* For libgcc-internal use only. */
1186 if (flag_building_libgcc
)
1188 /* Properties of floating-point modes for libgcc2.c. */
1189 for (machine_mode mode
= GET_CLASS_NARROWEST_MODE (MODE_FLOAT
);
1191 mode
= GET_MODE_WIDER_MODE (mode
))
1193 const char *name
= GET_MODE_NAME (mode
);
1195 = (char *) alloca (strlen (name
)
1196 + sizeof ("__LIBGCC__MANT_DIG__"));
1197 sprintf (macro_name
, "__LIBGCC_%s_MANT_DIG__", name
);
1198 builtin_define_with_int_value (macro_name
,
1199 REAL_MODE_FORMAT (mode
)->p
);
1200 if (!targetm
.scalar_mode_supported_p (mode
)
1201 || !targetm
.libgcc_floating_mode_supported_p (mode
))
1203 macro_name
= (char *) alloca (strlen (name
)
1204 + sizeof ("__LIBGCC_HAS__MODE__"));
1205 sprintf (macro_name
, "__LIBGCC_HAS_%s_MODE__", name
);
1206 cpp_define (pfile
, macro_name
);
1207 macro_name
= (char *) alloca (strlen (name
)
1208 + sizeof ("__LIBGCC__FUNC_EXT__"));
1209 sprintf (macro_name
, "__LIBGCC_%s_FUNC_EXT__", name
);
1210 char suffix
[20] = "";
1211 if (mode
== TYPE_MODE (double_type_node
))
1212 ; /* Empty suffix correct. */
1213 else if (mode
== TYPE_MODE (float_type_node
))
1215 else if (mode
== TYPE_MODE (long_double_type_node
))
1219 bool found_suffix
= false;
1220 for (int i
= 0; i
< NUM_FLOATN_NX_TYPES
; i
++)
1221 if (FLOATN_NX_TYPE_NODE (i
) != NULL_TREE
1222 && mode
== TYPE_MODE (FLOATN_NX_TYPE_NODE (i
)))
1224 sprintf (suffix
, "f%d%s", floatn_nx_types
[i
].n
,
1225 floatn_nx_types
[i
].extended
? "x" : "");
1226 found_suffix
= true;
1229 gcc_assert (found_suffix
);
1231 builtin_define_with_value (macro_name
, suffix
, 0);
1233 /* The way __LIBGCC_*_EXCESS_PRECISION__ is used is about
1234 eliminating excess precision from results assigned to
1235 variables - meaning it should be about the implicit excess
1237 bool excess_precision
= false;
1238 machine_mode float16_type_mode
= (float16_type_node
1239 ? TYPE_MODE (float16_type_node
)
1241 switch (targetm
.c
.excess_precision
1242 (EXCESS_PRECISION_TYPE_IMPLICIT
))
1244 case FLT_EVAL_METHOD_UNPREDICTABLE
:
1245 case FLT_EVAL_METHOD_PROMOTE_TO_LONG_DOUBLE
:
1246 excess_precision
= (mode
== float16_type_mode
1247 || mode
== TYPE_MODE (float_type_node
)
1248 || mode
== TYPE_MODE (double_type_node
));
1251 case FLT_EVAL_METHOD_PROMOTE_TO_DOUBLE
:
1252 excess_precision
= (mode
== float16_type_mode
1253 || mode
== TYPE_MODE (float_type_node
));
1255 case FLT_EVAL_METHOD_PROMOTE_TO_FLOAT
:
1256 excess_precision
= mode
== float16_type_mode
;
1258 case FLT_EVAL_METHOD_PROMOTE_TO_FLOAT16
:
1259 excess_precision
= false;
1264 macro_name
= (char *) alloca (strlen (name
)
1265 + sizeof ("__LIBGCC__EXCESS_"
1267 sprintf (macro_name
, "__LIBGCC_%s_EXCESS_PRECISION__", name
);
1268 builtin_define_with_int_value (macro_name
, excess_precision
);
1271 /* For libgcc crtstuff.c and libgcc2.c. */
1272 builtin_define_with_int_value ("__LIBGCC_EH_TABLES_CAN_BE_READ_ONLY__",
1273 EH_TABLES_CAN_BE_READ_ONLY
);
1274 #ifdef EH_FRAME_SECTION_NAME
1275 builtin_define_with_value ("__LIBGCC_EH_FRAME_SECTION_NAME__",
1276 EH_FRAME_SECTION_NAME
, 1);
1278 #ifdef CTORS_SECTION_ASM_OP
1279 builtin_define_with_value ("__LIBGCC_CTORS_SECTION_ASM_OP__",
1280 CTORS_SECTION_ASM_OP
, 1);
1282 #ifdef DTORS_SECTION_ASM_OP
1283 builtin_define_with_value ("__LIBGCC_DTORS_SECTION_ASM_OP__",
1284 DTORS_SECTION_ASM_OP
, 1);
1286 #ifdef TEXT_SECTION_ASM_OP
1287 builtin_define_with_value ("__LIBGCC_TEXT_SECTION_ASM_OP__",
1288 TEXT_SECTION_ASM_OP
, 1);
1290 #ifdef INIT_SECTION_ASM_OP
1291 builtin_define_with_value ("__LIBGCC_INIT_SECTION_ASM_OP__",
1292 INIT_SECTION_ASM_OP
, 1);
1294 #ifdef INIT_ARRAY_SECTION_ASM_OP
1295 /* Despite the name of this target macro, the expansion is not
1296 actually used, and may be empty rather than a string
1298 cpp_define (pfile
, "__LIBGCC_INIT_ARRAY_SECTION_ASM_OP__");
1301 /* For libgcc enable-execute-stack.c. */
1302 builtin_define_with_int_value ("__LIBGCC_TRAMPOLINE_SIZE__",
1305 /* For libgcc generic-morestack.c and unwinder code. */
1306 if (STACK_GROWS_DOWNWARD
)
1307 cpp_define (pfile
, "__LIBGCC_STACK_GROWS_DOWNWARD__");
1309 /* For libgcc unwinder code. */
1310 #ifdef DONT_USE_BUILTIN_SETJMP
1311 cpp_define (pfile
, "__LIBGCC_DONT_USE_BUILTIN_SETJMP__");
1313 #ifdef DWARF_ALT_FRAME_RETURN_COLUMN
1314 builtin_define_with_int_value ("__LIBGCC_DWARF_ALT_FRAME_RETURN_COLUMN__",
1315 DWARF_ALT_FRAME_RETURN_COLUMN
);
1317 builtin_define_with_int_value ("__LIBGCC_DWARF_FRAME_REGISTERS__",
1318 DWARF_FRAME_REGISTERS
);
1319 #ifdef EH_RETURN_STACKADJ_RTX
1320 cpp_define (pfile
, "__LIBGCC_EH_RETURN_STACKADJ_RTX__");
1323 builtin_define_with_int_value ("__LIBGCC_JMP_BUF_SIZE__",
1326 builtin_define_with_int_value ("__LIBGCC_STACK_POINTER_REGNUM__",
1327 STACK_POINTER_REGNUM
);
1330 builtin_define_with_int_value ("__LIBGCC_VTABLE_USES_DESCRIPTORS__",
1331 TARGET_VTABLE_USES_DESCRIPTORS
);
1334 /* For use in assembly language. */
1335 builtin_define_with_value ("__REGISTER_PREFIX__", REGISTER_PREFIX
, 0);
1336 builtin_define_with_value ("__USER_LABEL_PREFIX__", user_label_prefix
, 0);
1339 if (flag_gnu89_inline
)
1340 cpp_define (pfile
, "__GNUC_GNU_INLINE__");
1342 cpp_define (pfile
, "__GNUC_STDC_INLINE__");
1345 cpp_define (pfile
, "__NO_INLINE__");
1348 cpp_define (pfile
, "__STRICT_ANSI__");
1350 if (!flag_signed_char
)
1351 cpp_define (pfile
, "__CHAR_UNSIGNED__");
1353 if (c_dialect_cxx () && TYPE_UNSIGNED (wchar_type_node
))
1354 cpp_define (pfile
, "__WCHAR_UNSIGNED__");
1356 cpp_atomic_builtins (pfile
);
1358 #ifdef DWARF2_UNWIND_INFO
1359 if (dwarf2out_do_cfi_asm ())
1360 cpp_define (pfile
, "__GCC_HAVE_DWARF2_CFI_ASM");
1363 /* Make the choice of ObjC runtime visible to source code. */
1364 if (c_dialect_objc () && flag_next_runtime
)
1365 cpp_define (pfile
, "__NEXT_RUNTIME__");
1367 /* Show the availability of some target pragmas. */
1368 cpp_define (pfile
, "__PRAGMA_REDEFINE_EXTNAME");
1370 /* Make the choice of the stack protector runtime visible to source code.
1371 The macro names and values here were chosen for compatibility with an
1372 earlier implementation, i.e. ProPolice. */
1373 if (flag_stack_protect
== 4)
1374 cpp_define (pfile
, "__SSP_EXPLICIT__=4");
1375 if (flag_stack_protect
== 3)
1376 cpp_define (pfile
, "__SSP_STRONG__=3");
1377 if (flag_stack_protect
== 2)
1378 cpp_define (pfile
, "__SSP_ALL__=2");
1379 else if (flag_stack_protect
== 1)
1380 cpp_define (pfile
, "__SSP__=1");
1383 cpp_define (pfile
, "_OPENACC=201306");
1386 cpp_define (pfile
, "_OPENMP=201511");
1388 for (i
= 0; i
< NUM_INT_N_ENTS
; i
++)
1389 if (int_n_enabled_p
[i
])
1392 sprintf(buf
, "__SIZEOF_INT%d__", int_n_data
[i
].bitsize
);
1393 builtin_define_type_sizeof (buf
,
1394 int_n_trees
[i
].signed_type
);
1396 builtin_define_type_sizeof ("__SIZEOF_WCHAR_T__", wchar_type_node
);
1397 builtin_define_type_sizeof ("__SIZEOF_WINT_T__", wint_type_node
);
1398 builtin_define_type_sizeof ("__SIZEOF_PTRDIFF_T__",
1399 unsigned_ptrdiff_type_node
);
1401 /* A straightforward target hook doesn't work, because of problems
1402 linking that hook's body when part of non-C front ends. */
1403 # define preprocessing_asm_p() (cpp_get_options (pfile)->lang == CLK_ASM)
1404 # define preprocessing_trad_p() (cpp_get_options (pfile)->traditional)
1405 # define builtin_define(TXT) cpp_define (pfile, TXT)
1406 # define builtin_assert(TXT) cpp_assert (pfile, TXT)
1407 TARGET_CPU_CPP_BUILTINS ();
1408 TARGET_OS_CPP_BUILTINS ();
1409 TARGET_OBJFMT_CPP_BUILTINS ();
1411 /* Support the __declspec keyword by turning them into attributes.
1412 Note that the current way we do this may result in a collision
1413 with predefined attributes later on. This can be solved by using
1414 one attribute, say __declspec__, and passing args to it. The
1415 problem with that approach is that args are not accumulated: each
1416 new appearance would clobber any existing args. */
1417 if (TARGET_DECLSPEC
)
1418 builtin_define ("__declspec(x)=__attribute__((x))");
1420 /* If decimal floating point is supported, tell the user if the
1421 alternate format (BID) is used instead of the standard (DPD)
1423 if (ENABLE_DECIMAL_FLOAT
&& ENABLE_DECIMAL_BID_FORMAT
)
1424 cpp_define (pfile
, "__DECIMAL_BID_FORMAT__");
1427 /* Pass an object-like macro. If it doesn't lie in the user's
1428 namespace, defines it unconditionally. Otherwise define a version
1429 with two leading underscores, and another version with two leading
1430 and trailing underscores, and define the original only if an ISO
1431 standard was not nominated.
1433 e.g. passing "unix" defines "__unix", "__unix__" and possibly
1434 "unix". Passing "_mips" defines "__mips", "__mips__" and possibly
1437 builtin_define_std (const char *macro
)
1439 size_t len
= strlen (macro
);
1440 char *buff
= (char *) alloca (len
+ 5);
1444 /* prepend __ (or maybe just _) if in user's namespace. */
1445 memcpy (p
, macro
, len
+ 1);
1446 if (!( *p
== '_' && (p
[1] == '_' || ISUPPER (p
[1]))))
1453 cpp_define (parse_in
, p
);
1455 /* If it was in user's namespace... */
1458 /* Define the macro with leading and following __. */
1464 cpp_define (parse_in
, p
);
1466 /* Finally, define the original macro if permitted. */
1468 cpp_define (parse_in
, macro
);
1472 /* Pass an object-like macro and a value to define it to. The third
1473 parameter says whether or not to turn the value into a string
1476 builtin_define_with_value (const char *macro
, const char *expansion
, int is_str
)
1479 size_t mlen
= strlen (macro
);
1480 size_t elen
= strlen (expansion
);
1481 size_t extra
= 2; /* space for an = and a NUL */
1485 char *quoted_expansion
= (char *) alloca (elen
* 4 + 1);
1488 extra
+= 2; /* space for two quote marks */
1489 for (p
= expansion
, q
= quoted_expansion
; *p
; p
++)
1514 if (ISPRINT ((unsigned char) *p
))
1518 sprintf (q
, "\\%03o", (unsigned char) *p
);
1524 expansion
= quoted_expansion
;
1525 elen
= q
- expansion
;
1528 buf
= (char *) alloca (mlen
+ elen
+ extra
);
1530 sprintf (buf
, "%s=\"%s\"", macro
, expansion
);
1532 sprintf (buf
, "%s=%s", macro
, expansion
);
1534 cpp_define (parse_in
, buf
);
1538 /* Pass an object-like macro and an integer value to define it to. */
1540 builtin_define_with_int_value (const char *macro
, HOST_WIDE_INT value
)
1543 size_t mlen
= strlen (macro
);
1545 size_t extra
= 2; /* space for = and NUL. */
1547 buf
= (char *) alloca (mlen
+ vlen
+ extra
);
1548 memcpy (buf
, macro
, mlen
);
1550 sprintf (buf
+ mlen
+ 1, HOST_WIDE_INT_PRINT_DEC
, value
);
1552 cpp_define (parse_in
, buf
);
1555 /* builtin_define_with_hex_fp_value is very expensive, so the following
1556 array and function allows it to be done lazily when __DBL_MAX__
1557 etc. is first used. */
1559 struct GTY(()) lazy_hex_fp_value_struct
1561 const char *hex_str
;
1565 const char *fp_suffix
;
1567 static GTY(()) struct lazy_hex_fp_value_struct lazy_hex_fp_values
[12];
1568 static GTY(()) int lazy_hex_fp_value_count
;
1571 lazy_hex_fp_value (cpp_reader
*pfile ATTRIBUTE_UNUSED
,
1574 REAL_VALUE_TYPE real
;
1575 char dec_str
[64], buf1
[256];
1577 if (node
->value
.builtin
< BT_FIRST_USER
1578 || (int) node
->value
.builtin
>= BT_FIRST_USER
+ lazy_hex_fp_value_count
)
1581 idx
= node
->value
.builtin
- BT_FIRST_USER
;
1582 real_from_string (&real
, lazy_hex_fp_values
[idx
].hex_str
);
1583 real_to_decimal_for_mode (dec_str
, &real
, sizeof (dec_str
),
1584 lazy_hex_fp_values
[idx
].digits
, 0,
1585 lazy_hex_fp_values
[idx
].mode
);
1587 sprintf (buf1
, "%s%s", dec_str
, lazy_hex_fp_values
[idx
].fp_suffix
);
1588 node
->flags
&= ~(NODE_BUILTIN
| NODE_USED
);
1589 node
->value
.macro
= lazy_hex_fp_values
[idx
].macro
;
1590 for (idx
= 0; idx
< node
->value
.macro
->count
; idx
++)
1591 if (node
->value
.macro
->exp
.tokens
[idx
].type
== CPP_NUMBER
)
1593 gcc_assert (idx
< node
->value
.macro
->count
);
1594 node
->value
.macro
->exp
.tokens
[idx
].val
.str
.len
= strlen (buf1
);
1595 node
->value
.macro
->exp
.tokens
[idx
].val
.str
.text
1596 = (const unsigned char *) ggc_strdup (buf1
);
1600 /* Pass an object-like macro a hexadecimal floating-point value. */
1602 builtin_define_with_hex_fp_value (const char *macro
,
1603 tree type
, int digits
,
1604 const char *hex_str
,
1605 const char *fp_suffix
,
1606 const char *fp_cast
)
1608 REAL_VALUE_TYPE real
;
1609 char dec_str
[64], buf1
[256], buf2
[256];
1611 /* This is very expensive, so if possible expand them lazily. */
1612 if (lazy_hex_fp_value_count
< 12
1613 && flag_dump_macros
== 0
1614 && !cpp_get_options (parse_in
)->traditional
)
1616 struct cpp_hashnode
*node
;
1617 if (lazy_hex_fp_value_count
== 0)
1618 cpp_get_callbacks (parse_in
)->user_builtin_macro
= lazy_hex_fp_value
;
1619 sprintf (buf2
, fp_cast
, "1.1");
1620 sprintf (buf1
, "%s=%s", macro
, buf2
);
1621 cpp_define (parse_in
, buf1
);
1622 node
= C_CPP_HASHNODE (get_identifier (macro
));
1623 lazy_hex_fp_values
[lazy_hex_fp_value_count
].hex_str
1624 = ggc_strdup (hex_str
);
1625 lazy_hex_fp_values
[lazy_hex_fp_value_count
].mode
= TYPE_MODE (type
);
1626 lazy_hex_fp_values
[lazy_hex_fp_value_count
].digits
= digits
;
1627 lazy_hex_fp_values
[lazy_hex_fp_value_count
].fp_suffix
= fp_suffix
;
1628 lazy_hex_fp_values
[lazy_hex_fp_value_count
].macro
= node
->value
.macro
;
1629 node
->flags
|= NODE_BUILTIN
;
1631 = (enum cpp_builtin_type
) (BT_FIRST_USER
+ lazy_hex_fp_value_count
);
1632 lazy_hex_fp_value_count
++;
1636 /* Hex values are really cool and convenient, except that they're
1637 not supported in strict ISO C90 mode. First, the "p-" sequence
1638 is not valid as part of a preprocessor number. Second, we get a
1639 pedwarn from the preprocessor, which has no context, so we can't
1640 suppress the warning with __extension__.
1642 So instead what we do is construct the number in hex (because
1643 it's easy to get the exact correct value), parse it as a real,
1644 then print it back out as decimal. */
1646 real_from_string (&real
, hex_str
);
1647 real_to_decimal_for_mode (dec_str
, &real
, sizeof (dec_str
), digits
, 0,
1650 /* Assemble the macro in the following fashion
1651 macro = fp_cast [dec_str fp_suffix] */
1652 sprintf (buf1
, "%s%s", dec_str
, fp_suffix
);
1653 sprintf (buf2
, fp_cast
, buf1
);
1654 sprintf (buf1
, "%s=%s", macro
, buf2
);
1656 cpp_define (parse_in
, buf1
);
1659 /* Return a string constant for the suffix for a value of type TYPE
1660 promoted according to the integer promotions. The type must be one
1661 of the standard integer type nodes. */
1664 type_suffix (tree type
)
1666 static const char *const suffixes
[] = { "", "U", "L", "UL", "LL", "ULL" };
1667 int unsigned_suffix
;
1669 int tp
= TYPE_PRECISION (type
);
1671 if (type
== long_long_integer_type_node
1672 || type
== long_long_unsigned_type_node
1673 || tp
> TYPE_PRECISION (long_integer_type_node
))
1675 else if (type
== long_integer_type_node
1676 || type
== long_unsigned_type_node
1677 || tp
> TYPE_PRECISION (integer_type_node
))
1679 else if (type
== integer_type_node
1680 || type
== unsigned_type_node
1681 || type
== short_integer_type_node
1682 || type
== short_unsigned_type_node
1683 || type
== signed_char_type_node
1684 || type
== unsigned_char_type_node
1685 /* ??? "char" is not a signed or unsigned integer type and
1686 so is not permitted for the standard typedefs, but some
1687 systems use it anyway. */
1688 || type
== char_type_node
)
1693 unsigned_suffix
= TYPE_UNSIGNED (type
);
1694 if (TYPE_PRECISION (type
) < TYPE_PRECISION (integer_type_node
))
1695 unsigned_suffix
= 0;
1696 return suffixes
[is_long
* 2 + unsigned_suffix
];
1699 /* Define MACRO as a <stdint.h> constant-suffix macro for TYPE. */
1701 builtin_define_constants (const char *macro
, tree type
)
1706 suffix
= type_suffix (type
);
1710 buf
= (char *) alloca (strlen (macro
) + 6);
1711 sprintf (buf
, "%s(c)=c", macro
);
1715 buf
= (char *) alloca (strlen (macro
) + 9 + strlen (suffix
) + 1);
1716 sprintf (buf
, "%s(c)=c ## %s", macro
, suffix
);
1719 cpp_define (parse_in
, buf
);
1722 /* Define MAX for TYPE based on the precision of the type. */
1725 builtin_define_type_max (const char *macro
, tree type
)
1727 builtin_define_type_minmax (NULL
, macro
, type
);
1730 /* Given a value with COUNT LSBs set, fill BUF with a hexidecimal
1731 representation of that value. For example, a COUNT of 10 would
1735 print_bits_of_hex (char *buf
, int bufsz
, int count
)
1737 gcc_assert (bufsz
> 3);
1742 gcc_assert (count
> 0);
1744 switch (count
% 4) {
1765 gcc_assert (bufsz
> 1);
1770 gcc_assert (bufsz
> 0);
1774 /* Define MIN_MACRO (if not NULL) and MAX_MACRO for TYPE based on the
1775 precision of the type. */
1778 builtin_define_type_minmax (const char *min_macro
, const char *max_macro
,
1781 #define PBOH_SZ (MAX_BITSIZE_MODE_ANY_INT/4+4)
1782 char value
[PBOH_SZ
];
1788 bits
= TYPE_PRECISION (type
) + (TYPE_UNSIGNED (type
) ? 0 : -1);
1790 print_bits_of_hex (value
, PBOH_SZ
, bits
);
1792 suffix
= type_suffix (type
);
1794 buf
= (char *) alloca (strlen (max_macro
) + 1 + strlen (value
)
1795 + strlen (suffix
) + 1);
1796 sprintf (buf
, "%s=%s%s", max_macro
, value
, suffix
);
1798 cpp_define (parse_in
, buf
);
1802 if (TYPE_UNSIGNED (type
))
1804 buf
= (char *) alloca (strlen (min_macro
) + 2 + strlen (suffix
) + 1);
1805 sprintf (buf
, "%s=0%s", min_macro
, suffix
);
1809 buf
= (char *) alloca (strlen (min_macro
) + 3
1810 + strlen (max_macro
) + 6);
1811 sprintf (buf
, "%s=(-%s - 1)", min_macro
, max_macro
);
1813 cpp_define (parse_in
, buf
);
1817 /* Define WIDTH_MACRO for the width of TYPE. If TYPE2 is not NULL,
1818 both types must have the same width. */
1821 builtin_define_type_width (const char *width_macro
, tree type
, tree type2
)
1823 if (type2
!= NULL_TREE
)
1824 gcc_assert (TYPE_PRECISION (type
) == TYPE_PRECISION (type2
));
1825 builtin_define_with_int_value (width_macro
, TYPE_PRECISION (type
));
1828 #include "gt-c-family-c-cppbuiltin.h"