1 /* Define builtin-in macros for the C family front ends.
2 Copyright (C) 2002-2016 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 /* Arbitrarily, define __DECIMAL_DIG__ when defining macros for long
249 double, although it may be greater than the value for long
251 if (type
== long_double_type_node
)
252 builtin_define_with_int_value ("__DECIMAL_DIG__", decimal_dig
);
253 sprintf (name
, "__%s_DECIMAL_DIG__", name_prefix
);
254 builtin_define_with_int_value (name
, type_decimal_dig
);
256 /* Since, for the supported formats, B is always a power of 2, we
257 construct the following numbers directly as a hexadecimal
259 get_max_float (fmt
, buf
, sizeof (buf
));
261 sprintf (name
, "__%s_MAX__", name_prefix
);
262 builtin_define_with_hex_fp_value (name
, type
, decimal_dig
, buf
, fp_suffix
, fp_cast
);
264 /* The minimum normalized positive floating-point number,
266 sprintf (name
, "__%s_MIN__", name_prefix
);
267 sprintf (buf
, "0x1p%d", fmt
->emin
- 1);
268 builtin_define_with_hex_fp_value (name
, type
, decimal_dig
, buf
, fp_suffix
, fp_cast
);
270 /* The difference between 1 and the least value greater than 1 that is
271 representable in the given floating point type, b**(1-p). */
272 sprintf (name
, "__%s_EPSILON__", name_prefix
);
273 if (fmt
->pnan
< fmt
->p
)
274 /* This is an IBM extended double format, so 1.0 + any double is
275 representable precisely. */
276 sprintf (buf
, "0x1p%d", fmt
->emin
- fmt
->p
);
278 sprintf (buf
, "0x1p%d", 1 - fmt
->p
);
279 builtin_define_with_hex_fp_value (name
, type
, decimal_dig
, buf
, fp_suffix
, fp_cast
);
281 /* For C++ std::numeric_limits<T>::denorm_min and C11 *_TRUE_MIN.
282 The minimum denormalized positive floating-point number, b**(emin-p).
283 The minimum normalized positive floating-point number for formats
284 that don't support denormals. */
285 sprintf (name
, "__%s_DENORM_MIN__", name_prefix
);
286 sprintf (buf
, "0x1p%d", fmt
->emin
- (fmt
->has_denorm
? fmt
->p
: 1));
287 builtin_define_with_hex_fp_value (name
, type
, decimal_dig
,
288 buf
, fp_suffix
, fp_cast
);
290 sprintf (name
, "__%s_HAS_DENORM__", name_prefix
);
291 builtin_define_with_value (name
, fmt
->has_denorm
? "1" : "0", 0);
293 /* For C++ std::numeric_limits<T>::has_infinity. */
294 sprintf (name
, "__%s_HAS_INFINITY__", name_prefix
);
295 builtin_define_with_int_value (name
,
296 MODE_HAS_INFINITIES (TYPE_MODE (type
)));
297 /* For C++ std::numeric_limits<T>::has_quiet_NaN. We do not have a
298 predicate to distinguish a target that has both quiet and
299 signalling NaNs from a target that has only quiet NaNs or only
300 signalling NaNs, so we assume that a target that has any kind of
301 NaN has quiet NaNs. */
302 sprintf (name
, "__%s_HAS_QUIET_NAN__", name_prefix
);
303 builtin_define_with_int_value (name
, MODE_HAS_NANS (TYPE_MODE (type
)));
305 /* Note whether we have fast FMA. */
306 if (mode_has_fma (TYPE_MODE (type
)) && fma_suffix
!= NULL
)
308 sprintf (name
, "__FP_FAST_FMA%s", fma_suffix
);
309 builtin_define_with_int_value (name
, 1);
313 /* Define __DECx__ constants for TYPE using NAME_PREFIX and SUFFIX. */
315 builtin_define_decimal_float_constants (const char *name_prefix
,
319 const struct real_format
*fmt
;
320 char name
[64], buf
[128], *p
;
323 fmt
= REAL_MODE_FORMAT (TYPE_MODE (type
));
325 /* The number of radix digits, p, in the significand. */
326 sprintf (name
, "__%s_MANT_DIG__", name_prefix
);
327 builtin_define_with_int_value (name
, fmt
->p
);
329 /* The minimum negative int x such that b**(x-1) is a normalized float. */
330 sprintf (name
, "__%s_MIN_EXP__", name_prefix
);
331 sprintf (buf
, "(%d)", fmt
->emin
);
332 builtin_define_with_value (name
, buf
, 0);
334 /* The maximum int x such that b**(x-1) is a representable float. */
335 sprintf (name
, "__%s_MAX_EXP__", name_prefix
);
336 builtin_define_with_int_value (name
, fmt
->emax
);
338 /* Compute the minimum representable value. */
339 sprintf (name
, "__%s_MIN__", name_prefix
);
340 sprintf (buf
, "1E%d%s", fmt
->emin
- 1, suffix
);
341 builtin_define_with_value (name
, buf
, 0);
343 /* Compute the maximum representable value. */
344 sprintf (name
, "__%s_MAX__", name_prefix
);
346 for (digits
= fmt
->p
; digits
; digits
--)
349 if (digits
== fmt
->p
)
353 /* fmt->p plus 1, to account for the decimal point and fmt->emax
354 minus 1 because the digits are nines, not 1.0. */
355 sprintf (&buf
[fmt
->p
+ 1], "E%d%s", fmt
->emax
- 1, suffix
);
356 builtin_define_with_value (name
, buf
, 0);
358 /* Compute epsilon (the difference between 1 and least value greater
359 than 1 representable). */
360 sprintf (name
, "__%s_EPSILON__", name_prefix
);
361 sprintf (buf
, "1E-%d%s", fmt
->p
- 1, suffix
);
362 builtin_define_with_value (name
, buf
, 0);
364 /* Minimum subnormal positive decimal value. */
365 sprintf (name
, "__%s_SUBNORMAL_MIN__", name_prefix
);
367 for (digits
= fmt
->p
; digits
> 1; digits
--)
370 if (digits
== fmt
->p
)
374 sprintf (&buf
[fmt
->p
], "1E%d%s", fmt
->emin
- 1, suffix
);
375 builtin_define_with_value (name
, buf
, 0);
378 /* Define fixed-point constants for TYPE using NAME_PREFIX and SUFFIX. */
381 builtin_define_fixed_point_constants (const char *name_prefix
,
385 char name
[64], buf
[256], *new_buf
;
388 sprintf (name
, "__%s_FBIT__", name_prefix
);
389 builtin_define_with_int_value (name
, TYPE_FBIT (type
));
391 sprintf (name
, "__%s_IBIT__", name_prefix
);
392 builtin_define_with_int_value (name
, TYPE_IBIT (type
));
394 /* If there is no suffix, defines are for fixed-point modes.
396 if (strcmp (suffix
, "") == 0)
399 if (TYPE_UNSIGNED (type
))
401 sprintf (name
, "__%s_MIN__", name_prefix
);
402 sprintf (buf
, "0.0%s", suffix
);
403 builtin_define_with_value (name
, buf
, 0);
407 sprintf (name
, "__%s_MIN__", name_prefix
);
408 if (ALL_ACCUM_MODE_P (TYPE_MODE (type
)))
409 sprintf (buf
, "(-0X1P%d%s-0X1P%d%s)", TYPE_IBIT (type
) - 1, suffix
,
410 TYPE_IBIT (type
) - 1, suffix
);
412 sprintf (buf
, "(-0.5%s-0.5%s)", suffix
, suffix
);
413 builtin_define_with_value (name
, buf
, 0);
416 sprintf (name
, "__%s_MAX__", name_prefix
);
419 mod
= (TYPE_FBIT (type
) + TYPE_IBIT (type
)) % 4;
421 sprintf (new_buf
++, "%x", (1 << mod
) - 1);
422 for (i
= 0; i
< (TYPE_FBIT (type
) + TYPE_IBIT (type
)) / 4; i
++)
423 sprintf (new_buf
++, "F");
424 sprintf (new_buf
, "P-%d%s", TYPE_FBIT (type
), suffix
);
425 builtin_define_with_value (name
, buf
, 0);
427 sprintf (name
, "__%s_EPSILON__", name_prefix
);
428 sprintf (buf
, "0x1P-%d%s", TYPE_FBIT (type
), suffix
);
429 builtin_define_with_value (name
, buf
, 0);
432 /* Define macros used by <stdint.h>. */
434 builtin_define_stdint_macros (void)
436 builtin_define_type_max ("__INTMAX_MAX__", intmax_type_node
);
437 builtin_define_constants ("__INTMAX_C", intmax_type_node
);
438 builtin_define_type_max ("__UINTMAX_MAX__", uintmax_type_node
);
439 builtin_define_constants ("__UINTMAX_C", uintmax_type_node
);
440 builtin_define_type_width ("__INTMAX_WIDTH__", intmax_type_node
,
442 if (sig_atomic_type_node
)
444 builtin_define_type_minmax ("__SIG_ATOMIC_MIN__", "__SIG_ATOMIC_MAX__",
445 sig_atomic_type_node
);
446 builtin_define_type_width ("__SIG_ATOMIC_WIDTH__", sig_atomic_type_node
,
450 builtin_define_type_max ("__INT8_MAX__", int8_type_node
);
452 builtin_define_type_max ("__INT16_MAX__", int16_type_node
);
454 builtin_define_type_max ("__INT32_MAX__", int32_type_node
);
456 builtin_define_type_max ("__INT64_MAX__", int64_type_node
);
458 builtin_define_type_max ("__UINT8_MAX__", uint8_type_node
);
459 if (c_uint16_type_node
)
460 builtin_define_type_max ("__UINT16_MAX__", c_uint16_type_node
);
461 if (c_uint32_type_node
)
462 builtin_define_type_max ("__UINT32_MAX__", c_uint32_type_node
);
463 if (c_uint64_type_node
)
464 builtin_define_type_max ("__UINT64_MAX__", c_uint64_type_node
);
465 if (int_least8_type_node
)
467 builtin_define_type_max ("__INT_LEAST8_MAX__", int_least8_type_node
);
468 builtin_define_constants ("__INT8_C", int_least8_type_node
);
469 builtin_define_type_width ("__INT_LEAST8_WIDTH__", int_least8_type_node
,
470 uint_least8_type_node
);
472 if (int_least16_type_node
)
474 builtin_define_type_max ("__INT_LEAST16_MAX__", int_least16_type_node
);
475 builtin_define_constants ("__INT16_C", int_least16_type_node
);
476 builtin_define_type_width ("__INT_LEAST16_WIDTH__",
477 int_least16_type_node
,
478 uint_least16_type_node
);
480 if (int_least32_type_node
)
482 builtin_define_type_max ("__INT_LEAST32_MAX__", int_least32_type_node
);
483 builtin_define_constants ("__INT32_C", int_least32_type_node
);
484 builtin_define_type_width ("__INT_LEAST32_WIDTH__",
485 int_least32_type_node
,
486 uint_least32_type_node
);
488 if (int_least64_type_node
)
490 builtin_define_type_max ("__INT_LEAST64_MAX__", int_least64_type_node
);
491 builtin_define_constants ("__INT64_C", int_least64_type_node
);
492 builtin_define_type_width ("__INT_LEAST64_WIDTH__",
493 int_least64_type_node
,
494 uint_least64_type_node
);
496 if (uint_least8_type_node
)
498 builtin_define_type_max ("__UINT_LEAST8_MAX__", uint_least8_type_node
);
499 builtin_define_constants ("__UINT8_C", uint_least8_type_node
);
501 if (uint_least16_type_node
)
503 builtin_define_type_max ("__UINT_LEAST16_MAX__", uint_least16_type_node
);
504 builtin_define_constants ("__UINT16_C", uint_least16_type_node
);
506 if (uint_least32_type_node
)
508 builtin_define_type_max ("__UINT_LEAST32_MAX__", uint_least32_type_node
);
509 builtin_define_constants ("__UINT32_C", uint_least32_type_node
);
511 if (uint_least64_type_node
)
513 builtin_define_type_max ("__UINT_LEAST64_MAX__", uint_least64_type_node
);
514 builtin_define_constants ("__UINT64_C", uint_least64_type_node
);
516 if (int_fast8_type_node
)
518 builtin_define_type_max ("__INT_FAST8_MAX__", int_fast8_type_node
);
519 builtin_define_type_width ("__INT_FAST8_WIDTH__", int_fast8_type_node
,
520 uint_fast8_type_node
);
522 if (int_fast16_type_node
)
524 builtin_define_type_max ("__INT_FAST16_MAX__", int_fast16_type_node
);
525 builtin_define_type_width ("__INT_FAST16_WIDTH__", int_fast16_type_node
,
526 uint_fast16_type_node
);
528 if (int_fast32_type_node
)
530 builtin_define_type_max ("__INT_FAST32_MAX__", int_fast32_type_node
);
531 builtin_define_type_width ("__INT_FAST32_WIDTH__", int_fast32_type_node
,
532 uint_fast32_type_node
);
534 if (int_fast64_type_node
)
536 builtin_define_type_max ("__INT_FAST64_MAX__", int_fast64_type_node
);
537 builtin_define_type_width ("__INT_FAST64_WIDTH__", int_fast64_type_node
,
538 uint_fast64_type_node
);
540 if (uint_fast8_type_node
)
541 builtin_define_type_max ("__UINT_FAST8_MAX__", uint_fast8_type_node
);
542 if (uint_fast16_type_node
)
543 builtin_define_type_max ("__UINT_FAST16_MAX__", uint_fast16_type_node
);
544 if (uint_fast32_type_node
)
545 builtin_define_type_max ("__UINT_FAST32_MAX__", uint_fast32_type_node
);
546 if (uint_fast64_type_node
)
547 builtin_define_type_max ("__UINT_FAST64_MAX__", uint_fast64_type_node
);
548 if (intptr_type_node
)
550 builtin_define_type_max ("__INTPTR_MAX__", intptr_type_node
);
551 builtin_define_type_width ("__INTPTR_WIDTH__", intptr_type_node
,
554 if (uintptr_type_node
)
555 builtin_define_type_max ("__UINTPTR_MAX__", uintptr_type_node
);
558 /* Adjust the optimization macros when a #pragma GCC optimization is done to
559 reflect the current level. */
561 c_cpp_builtins_optimize_pragma (cpp_reader
*pfile
, tree prev_tree
,
564 struct cl_optimization
*prev
= TREE_OPTIMIZATION (prev_tree
);
565 struct cl_optimization
*cur
= TREE_OPTIMIZATION (cur_tree
);
569 /* -undef turns off target-specific built-ins. */
573 /* Other target-independent built-ins determined by command-line
575 if (!prev
->x_optimize_size
&& cur
->x_optimize_size
)
576 cpp_define (pfile
, "__OPTIMIZE_SIZE__");
577 else if (prev
->x_optimize_size
&& !cur
->x_optimize_size
)
578 cpp_undef (pfile
, "__OPTIMIZE_SIZE__");
580 if (!prev
->x_optimize
&& cur
->x_optimize
)
581 cpp_define (pfile
, "__OPTIMIZE__");
582 else if (prev
->x_optimize
&& !cur
->x_optimize
)
583 cpp_undef (pfile
, "__OPTIMIZE__");
585 prev_fast_math
= fast_math_flags_struct_set_p (prev
);
586 cur_fast_math
= fast_math_flags_struct_set_p (cur
);
587 if (!prev_fast_math
&& cur_fast_math
)
588 cpp_define (pfile
, "__FAST_MATH__");
589 else if (prev_fast_math
&& !cur_fast_math
)
590 cpp_undef (pfile
, "__FAST_MATH__");
592 if (!prev
->x_flag_signaling_nans
&& cur
->x_flag_signaling_nans
)
593 cpp_define (pfile
, "__SUPPORT_SNAN__");
594 else if (prev
->x_flag_signaling_nans
&& !cur
->x_flag_signaling_nans
)
595 cpp_undef (pfile
, "__SUPPORT_SNAN__");
597 if (!prev
->x_flag_errno_math
&& cur
->x_flag_errno_math
)
598 cpp_undef (pfile
, "__NO_MATH_ERRNO__");
599 else if (prev
->x_flag_errno_math
&& !cur
->x_flag_errno_math
)
600 cpp_define (pfile
, "__NO_MATH_ERRNO__");
602 if (!prev
->x_flag_finite_math_only
&& cur
->x_flag_finite_math_only
)
604 cpp_undef (pfile
, "__FINITE_MATH_ONLY__");
605 cpp_define (pfile
, "__FINITE_MATH_ONLY__=1");
607 else if (prev
->x_flag_finite_math_only
&& !cur
->x_flag_finite_math_only
)
609 cpp_undef (pfile
, "__FINITE_MATH_ONLY__");
610 cpp_define (pfile
, "__FINITE_MATH_ONLY__=0");
615 /* This function will emit cpp macros to indicate the presence of various lock
616 free atomic operations. */
619 cpp_atomic_builtins (cpp_reader
*pfile
)
621 /* Set a flag for each size of object that compare and swap exists for up to
623 #define SWAP_LIMIT 17
624 bool have_swap
[SWAP_LIMIT
];
627 /* Clear the map of sizes compare_and swap exists for. */
628 memset (have_swap
, 0, sizeof (have_swap
));
630 /* Tell source code if the compiler makes sync_compare_and_swap
631 builtins available. */
632 #ifndef HAVE_sync_compare_and_swapqi
633 #define HAVE_sync_compare_and_swapqi 0
635 #ifndef HAVE_atomic_compare_and_swapqi
636 #define HAVE_atomic_compare_and_swapqi 0
639 if (HAVE_sync_compare_and_swapqi
|| HAVE_atomic_compare_and_swapqi
)
641 cpp_define (pfile
, "__GCC_HAVE_SYNC_COMPARE_AND_SWAP_1");
645 #ifndef HAVE_sync_compare_and_swaphi
646 #define HAVE_sync_compare_and_swaphi 0
648 #ifndef HAVE_atomic_compare_and_swaphi
649 #define HAVE_atomic_compare_and_swaphi 0
651 if (HAVE_sync_compare_and_swaphi
|| HAVE_atomic_compare_and_swaphi
)
653 cpp_define (pfile
, "__GCC_HAVE_SYNC_COMPARE_AND_SWAP_2");
657 #ifndef HAVE_sync_compare_and_swapsi
658 #define HAVE_sync_compare_and_swapsi 0
660 #ifndef HAVE_atomic_compare_and_swapsi
661 #define HAVE_atomic_compare_and_swapsi 0
663 if (HAVE_sync_compare_and_swapsi
|| HAVE_atomic_compare_and_swapsi
)
665 cpp_define (pfile
, "__GCC_HAVE_SYNC_COMPARE_AND_SWAP_4");
669 #ifndef HAVE_sync_compare_and_swapdi
670 #define HAVE_sync_compare_and_swapdi 0
672 #ifndef HAVE_atomic_compare_and_swapdi
673 #define HAVE_atomic_compare_and_swapdi 0
675 if (HAVE_sync_compare_and_swapdi
|| HAVE_atomic_compare_and_swapdi
)
677 cpp_define (pfile
, "__GCC_HAVE_SYNC_COMPARE_AND_SWAP_8");
681 #ifndef HAVE_sync_compare_and_swapti
682 #define HAVE_sync_compare_and_swapti 0
684 #ifndef HAVE_atomic_compare_and_swapti
685 #define HAVE_atomic_compare_and_swapti 0
687 if (HAVE_sync_compare_and_swapti
|| HAVE_atomic_compare_and_swapti
)
689 cpp_define (pfile
, "__GCC_HAVE_SYNC_COMPARE_AND_SWAP_16");
690 have_swap
[16] = true;
693 /* Tell the source code about various types. These map to the C++11 and C11
694 macros where 2 indicates lock-free always, and 1 indicates sometimes
696 #define SIZEOF_NODE(T) (tree_to_uhwi (TYPE_SIZE_UNIT (T)))
697 #define SWAP_INDEX(T) ((SIZEOF_NODE (T) < SWAP_LIMIT) ? SIZEOF_NODE (T) : 0)
698 builtin_define_with_int_value ("__GCC_ATOMIC_BOOL_LOCK_FREE",
699 (have_swap
[SWAP_INDEX (boolean_type_node
)]? 2 : 1));
700 builtin_define_with_int_value ("__GCC_ATOMIC_CHAR_LOCK_FREE",
701 (have_swap
[SWAP_INDEX (signed_char_type_node
)]? 2 : 1));
702 builtin_define_with_int_value ("__GCC_ATOMIC_CHAR16_T_LOCK_FREE",
703 (have_swap
[SWAP_INDEX (char16_type_node
)]? 2 : 1));
704 builtin_define_with_int_value ("__GCC_ATOMIC_CHAR32_T_LOCK_FREE",
705 (have_swap
[SWAP_INDEX (char32_type_node
)]? 2 : 1));
706 builtin_define_with_int_value ("__GCC_ATOMIC_WCHAR_T_LOCK_FREE",
707 (have_swap
[SWAP_INDEX (wchar_type_node
)]? 2 : 1));
708 builtin_define_with_int_value ("__GCC_ATOMIC_SHORT_LOCK_FREE",
709 (have_swap
[SWAP_INDEX (short_integer_type_node
)]? 2 : 1));
710 builtin_define_with_int_value ("__GCC_ATOMIC_INT_LOCK_FREE",
711 (have_swap
[SWAP_INDEX (integer_type_node
)]? 2 : 1));
712 builtin_define_with_int_value ("__GCC_ATOMIC_LONG_LOCK_FREE",
713 (have_swap
[SWAP_INDEX (long_integer_type_node
)]? 2 : 1));
714 builtin_define_with_int_value ("__GCC_ATOMIC_LLONG_LOCK_FREE",
715 (have_swap
[SWAP_INDEX (long_long_integer_type_node
)]? 2 : 1));
717 /* If we're dealing with a "set" value that doesn't exactly correspond
718 to a boolean truth value, let the library work around that. */
719 builtin_define_with_int_value ("__GCC_ATOMIC_TEST_AND_SET_TRUEVAL",
720 targetm
.atomic_test_and_set_trueval
);
722 /* ptr_type_node can't be used here since ptr_mode is only set when
723 toplev calls backend_init which is not done with -E or pch. */
724 psize
= POINTER_SIZE_UNITS
;
725 if (psize
>= SWAP_LIMIT
)
727 builtin_define_with_int_value ("__GCC_ATOMIC_POINTER_LOCK_FREE",
728 (have_swap
[psize
]? 2 : 1));
731 /* Return the value for __GCC_IEC_559. */
733 cpp_iec_559_value (void)
735 /* The default is support for IEEE 754-2008. */
738 /* float and double must be binary32 and binary64. If they are but
739 with reversed NaN convention, at most IEEE 754-1985 is
741 const struct real_format
*ffmt
742 = REAL_MODE_FORMAT (TYPE_MODE (float_type_node
));
743 const struct real_format
*dfmt
744 = REAL_MODE_FORMAT (TYPE_MODE (double_type_node
));
745 if (!ffmt
->qnan_msb_set
|| !dfmt
->qnan_msb_set
)
750 || ffmt
->emin
!= -125
752 || ffmt
->signbit_rw
!= 31
753 || ffmt
->round_towards_zero
754 || !ffmt
->has_sign_dependent_rounding
758 || !ffmt
->has_signed_zero
762 || dfmt
->emin
!= -1021
763 || dfmt
->emax
!= 1024
764 || dfmt
->signbit_rw
!= 63
765 || dfmt
->round_towards_zero
766 || !dfmt
->has_sign_dependent_rounding
770 || !dfmt
->has_signed_zero
)
773 /* In strict C standards conformance mode, consider unpredictable
774 excess precision to mean lack of IEEE 754 support. The same
775 applies to unpredictable contraction. For C++, and outside
776 strict conformance mode, do not consider these options to mean
777 lack of IEEE 754 support. */
780 && TARGET_FLT_EVAL_METHOD
!= 0
781 && flag_excess_precision_cmdline
!= EXCESS_PRECISION_STANDARD
)
785 && flag_fp_contract_mode
== FP_CONTRACT_FAST
)
788 /* Various options are contrary to IEEE 754 semantics. */
789 if (flag_unsafe_math_optimizations
790 || flag_associative_math
791 || flag_reciprocal_math
792 || flag_finite_math_only
793 || !flag_signed_zeros
794 || flag_single_precision_constant
)
797 /* If the target does not support IEEE 754 exceptions and rounding
798 modes, consider IEEE 754 support to be absent. */
799 if (!targetm
.float_exceptions_rounding_supported_p ())
805 /* Return the value for __GCC_IEC_559_COMPLEX. */
807 cpp_iec_559_complex_value (void)
809 /* The value is no bigger than that of __GCC_IEC_559. */
810 int ret
= cpp_iec_559_value ();
812 /* Some options are contrary to the required default state of the
813 CX_LIMITED_RANGE pragma. */
814 if (flag_complex_method
!= 2)
820 /* Hook that registers front end and target-specific built-ins. */
822 c_cpp_builtins (cpp_reader
*pfile
)
826 /* -undef turns off target-specific built-ins. */
830 define_language_independent_builtin_macros (pfile
);
832 if (c_dialect_cxx ())
835 parse_basever (&major
, NULL
, NULL
);
836 cpp_define_formatted (pfile
, "__GNUG__=%d", major
);
839 /* For stddef.h. They require macros defined in c-common.c. */
840 c_stddef_cpp_builtins ();
842 /* Set include test macros for all C/C++ (not for just C++11 etc.)
843 The builtins __has_include__ and __has_include_next__ are defined
845 cpp_define (pfile
, "__has_include(STR)=__has_include__(STR)");
846 cpp_define (pfile
, "__has_include_next(STR)=__has_include_next__(STR)");
848 if (c_dialect_cxx ())
850 if (flag_weak
&& SUPPORTS_ONE_ONLY
)
851 cpp_define (pfile
, "__GXX_WEAK__=1");
853 cpp_define (pfile
, "__GXX_WEAK__=0");
856 cpp_define (pfile
, "__DEPRECATED");
860 cpp_define (pfile
, "__GXX_RTTI");
861 cpp_define (pfile
, "__cpp_rtti=199711");
864 if (cxx_dialect
>= cxx11
)
865 cpp_define (pfile
, "__GXX_EXPERIMENTAL_CXX0X__");
867 /* Binary literals have been allowed in g++ before C++11
868 and were standardized for C++14. */
869 if (!pedantic
|| cxx_dialect
> cxx11
)
870 cpp_define (pfile
, "__cpp_binary_literals=201304");
872 /* Similarly for hexadecimal floating point literals and C++17. */
873 if (!pedantic
|| cpp_get_options (parse_in
)->extended_numbers
)
874 cpp_define (pfile
, "__cpp_hex_float=201603");
876 /* Arrays of runtime bound were removed from C++14, but we still
877 support GNU VLAs. Let's define this macro to a low number
878 (corresponding to the initial test release of GNU C++) if we won't
879 complain about use of VLAs. */
881 && (pedantic
? warn_vla
== 0 : warn_vla
<= 0))
882 cpp_define (pfile
, "__cpp_runtime_arrays=198712");
884 if (cxx_dialect
>= cxx11
)
886 /* Set feature test macros for C++11. */
887 if (cxx_dialect
<= cxx14
)
888 cpp_define (pfile
, "__cpp_unicode_characters=200704");
889 cpp_define (pfile
, "__cpp_raw_strings=200710");
890 cpp_define (pfile
, "__cpp_unicode_literals=200710");
891 cpp_define (pfile
, "__cpp_user_defined_literals=200809");
892 cpp_define (pfile
, "__cpp_lambdas=200907");
893 if (cxx_dialect
== cxx11
)
894 cpp_define (pfile
, "__cpp_constexpr=200704");
895 if (cxx_dialect
<= cxx14
)
896 cpp_define (pfile
, "__cpp_range_based_for=200907");
897 if (cxx_dialect
<= cxx14
)
898 cpp_define (pfile
, "__cpp_static_assert=200410");
899 cpp_define (pfile
, "__cpp_decltype=200707");
900 cpp_define (pfile
, "__cpp_attributes=200809");
901 cpp_define (pfile
, "__cpp_rvalue_reference=200610");
902 cpp_define (pfile
, "__cpp_rvalue_references=200610");
903 cpp_define (pfile
, "__cpp_variadic_templates=200704");
904 cpp_define (pfile
, "__cpp_initializer_lists=200806");
905 cpp_define (pfile
, "__cpp_delegating_constructors=200604");
906 cpp_define (pfile
, "__cpp_nsdmi=200809");
907 if (!flag_new_inheriting_ctors
)
908 cpp_define (pfile
, "__cpp_inheriting_constructors=200802");
910 cpp_define (pfile
, "__cpp_inheriting_constructors=201511");
911 cpp_define (pfile
, "__cpp_ref_qualifiers=200710");
912 cpp_define (pfile
, "__cpp_alias_templates=200704");
914 if (cxx_dialect
> cxx11
)
916 /* Set feature test macros for C++14. */
917 cpp_define (pfile
, "__cpp_return_type_deduction=201304");
918 cpp_define (pfile
, "__cpp_init_captures=201304");
919 cpp_define (pfile
, "__cpp_generic_lambdas=201304");
920 if (cxx_dialect
<= cxx14
)
921 cpp_define (pfile
, "__cpp_constexpr=201304");
922 cpp_define (pfile
, "__cpp_decltype_auto=201304");
923 cpp_define (pfile
, "__cpp_aggregate_nsdmi=201304");
924 cpp_define (pfile
, "__cpp_variable_templates=201304");
925 cpp_define (pfile
, "__cpp_digit_separators=201309");
927 if (cxx_dialect
> cxx14
)
929 /* Set feature test macros for C++1z. */
930 cpp_define (pfile
, "__cpp_unicode_characters=201411");
931 cpp_define (pfile
, "__cpp_static_assert=201411");
932 cpp_define (pfile
, "__cpp_namespace_attributes=201411");
933 cpp_define (pfile
, "__cpp_enumerator_attributes=201411");
934 cpp_define (pfile
, "__cpp_nested_namespace_definitions=201411");
935 cpp_define (pfile
, "__cpp_fold_expressions=201603");
936 cpp_define (pfile
, "__cpp_nontype_template_args=201411");
937 cpp_define (pfile
, "__cpp_range_based_for=201603");
938 cpp_define (pfile
, "__cpp_constexpr=201603");
939 cpp_define (pfile
, "__cpp_if_constexpr=201606");
940 cpp_define (pfile
, "__cpp_capture_star_this=201603");
941 cpp_define (pfile
, "__cpp_inline_variables=201606");
942 cpp_define (pfile
, "__cpp_aggregate_bases=201603");
943 cpp_define (pfile
, "__cpp_deduction_guides=201606");
944 cpp_define (pfile
, "__cpp_noexcept_function_type=201510");
947 cpp_define (pfile
, "__cpp_concepts=201507");
949 /* Use a value smaller than the 201505 specified in
950 the TS, since we don't yet support atomic_cancel. */
951 cpp_define (pfile
, "__cpp_transactional_memory=210500");
952 if (flag_sized_deallocation
)
953 cpp_define (pfile
, "__cpp_sized_deallocation=201309");
954 if (aligned_new_threshold
)
956 cpp_define (pfile
, "__cpp_aligned_new=201606");
957 cpp_define_formatted (pfile
, "__STDCPP_DEFAULT_NEW_ALIGNMENT__=%d",
958 aligned_new_threshold
);
961 /* Note that we define this for C as well, so that we know if
962 __attribute__((cleanup)) will interface with EH. */
965 cpp_define (pfile
, "__EXCEPTIONS");
966 if (c_dialect_cxx ())
967 cpp_define (pfile
, "__cpp_exceptions=199711");
970 /* Represents the C++ ABI version, always defined so it can be used while
971 preprocessing C and assembler. */
972 if (flag_abi_version
== 0)
973 /* We should have set this to something real in c_common_post_options. */
975 else if (flag_abi_version
== 1)
976 /* Due to a historical accident, this version had the value
978 builtin_define_with_int_value ("__GXX_ABI_VERSION", 102);
980 /* Newer versions have values 1002, 1003, .... */
981 builtin_define_with_int_value ("__GXX_ABI_VERSION",
982 1000 + flag_abi_version
);
984 /* libgcc needs to know this. */
985 if (targetm_common
.except_unwind_info (&global_options
) == UI_SJLJ
)
986 cpp_define (pfile
, "__USING_SJLJ_EXCEPTIONS__");
988 /* limits.h and stdint.h need to know these. */
989 builtin_define_type_max ("__SCHAR_MAX__", signed_char_type_node
);
990 builtin_define_type_max ("__SHRT_MAX__", short_integer_type_node
);
991 builtin_define_type_max ("__INT_MAX__", integer_type_node
);
992 builtin_define_type_max ("__LONG_MAX__", long_integer_type_node
);
993 builtin_define_type_max ("__LONG_LONG_MAX__", long_long_integer_type_node
);
994 builtin_define_type_minmax ("__WCHAR_MIN__", "__WCHAR_MAX__",
995 underlying_wchar_type_node
);
996 builtin_define_type_minmax ("__WINT_MIN__", "__WINT_MAX__", wint_type_node
);
997 builtin_define_type_max ("__PTRDIFF_MAX__", ptrdiff_type_node
);
998 builtin_define_type_max ("__SIZE_MAX__", size_type_node
);
1000 /* These are needed for TS 18661-1. */
1001 builtin_define_type_width ("__SCHAR_WIDTH__", signed_char_type_node
,
1002 unsigned_char_type_node
);
1003 builtin_define_type_width ("__SHRT_WIDTH__", short_integer_type_node
,
1004 short_unsigned_type_node
);
1005 builtin_define_type_width ("__INT_WIDTH__", integer_type_node
,
1006 unsigned_type_node
);
1007 builtin_define_type_width ("__LONG_WIDTH__", long_integer_type_node
,
1008 long_unsigned_type_node
);
1009 builtin_define_type_width ("__LONG_LONG_WIDTH__",
1010 long_long_integer_type_node
,
1011 long_long_unsigned_type_node
);
1012 builtin_define_type_width ("__WCHAR_WIDTH__", underlying_wchar_type_node
,
1014 builtin_define_type_width ("__WINT_WIDTH__", wint_type_node
, NULL_TREE
);
1015 builtin_define_type_width ("__PTRDIFF_WIDTH__", ptrdiff_type_node
, NULL_TREE
);
1016 builtin_define_type_width ("__SIZE_WIDTH__", size_type_node
, NULL_TREE
);
1018 if (c_dialect_cxx ())
1019 for (i
= 0; i
< NUM_INT_N_ENTS
; i
++)
1020 if (int_n_enabled_p
[i
])
1024 /* These are used to configure the C++ library. */
1026 if (!flag_iso
|| int_n_data
[i
].bitsize
== POINTER_SIZE
)
1028 sprintf (buf
, "__GLIBCXX_TYPE_INT_N_%d=__int%d", i
, int_n_data
[i
].bitsize
);
1029 cpp_define (parse_in
, buf
);
1031 sprintf (buf
, "__GLIBCXX_BITSIZE_INT_N_%d=%d", i
, int_n_data
[i
].bitsize
);
1032 cpp_define (parse_in
, buf
);
1036 /* stdint.h and the testsuite need to know these. */
1037 builtin_define_stdint_macros ();
1039 /* Provide information for library headers to determine whether to
1040 define macros such as __STDC_IEC_559__ and
1041 __STDC_IEC_559_COMPLEX__. */
1042 builtin_define_with_int_value ("__GCC_IEC_559", cpp_iec_559_value ());
1043 builtin_define_with_int_value ("__GCC_IEC_559_COMPLEX",
1044 cpp_iec_559_complex_value ());
1046 /* float.h needs to know this. */
1047 builtin_define_with_int_value ("__FLT_EVAL_METHOD__",
1048 TARGET_FLT_EVAL_METHOD
);
1050 /* And decfloat.h needs this. */
1051 builtin_define_with_int_value ("__DEC_EVAL_METHOD__",
1052 TARGET_DEC_EVAL_METHOD
);
1054 builtin_define_float_constants ("FLT", "F", "%s", "F", float_type_node
);
1055 /* Cast the double precision constants. This is needed when single
1056 precision constants are specified or when pragma FLOAT_CONST_DECIMAL64
1057 is used. The correct result is computed by the compiler when using
1058 macros that include a cast. We use a different cast for C++ to avoid
1059 problems with -Wold-style-cast. */
1060 builtin_define_float_constants ("DBL", "L",
1064 "", double_type_node
);
1065 builtin_define_float_constants ("LDBL", "L", "%s", "L",
1066 long_double_type_node
);
1068 for (int i
= 0; i
< NUM_FLOATN_NX_TYPES
; i
++)
1070 if (FLOATN_NX_TYPE_NODE (i
) == NULL_TREE
)
1072 char prefix
[20], csuffix
[20];
1073 sprintf (prefix
, "FLT%d%s", floatn_nx_types
[i
].n
,
1074 floatn_nx_types
[i
].extended
? "X" : "");
1075 sprintf (csuffix
, "F%d%s", floatn_nx_types
[i
].n
,
1076 floatn_nx_types
[i
].extended
? "x" : "");
1077 builtin_define_float_constants (prefix
, csuffix
, "%s", NULL
,
1078 FLOATN_NX_TYPE_NODE (i
));
1081 /* For decfloat.h. */
1082 builtin_define_decimal_float_constants ("DEC32", "DF", dfloat32_type_node
);
1083 builtin_define_decimal_float_constants ("DEC64", "DD", dfloat64_type_node
);
1084 builtin_define_decimal_float_constants ("DEC128", "DL", dfloat128_type_node
);
1086 /* For fixed-point fibt, ibit, max, min, and epsilon. */
1087 if (targetm
.fixed_point_supported_p ())
1089 builtin_define_fixed_point_constants ("SFRACT", "HR",
1090 short_fract_type_node
);
1091 builtin_define_fixed_point_constants ("USFRACT", "UHR",
1092 unsigned_short_fract_type_node
);
1093 builtin_define_fixed_point_constants ("FRACT", "R",
1095 builtin_define_fixed_point_constants ("UFRACT", "UR",
1096 unsigned_fract_type_node
);
1097 builtin_define_fixed_point_constants ("LFRACT", "LR",
1098 long_fract_type_node
);
1099 builtin_define_fixed_point_constants ("ULFRACT", "ULR",
1100 unsigned_long_fract_type_node
);
1101 builtin_define_fixed_point_constants ("LLFRACT", "LLR",
1102 long_long_fract_type_node
);
1103 builtin_define_fixed_point_constants ("ULLFRACT", "ULLR",
1104 unsigned_long_long_fract_type_node
);
1105 builtin_define_fixed_point_constants ("SACCUM", "HK",
1106 short_accum_type_node
);
1107 builtin_define_fixed_point_constants ("USACCUM", "UHK",
1108 unsigned_short_accum_type_node
);
1109 builtin_define_fixed_point_constants ("ACCUM", "K",
1111 builtin_define_fixed_point_constants ("UACCUM", "UK",
1112 unsigned_accum_type_node
);
1113 builtin_define_fixed_point_constants ("LACCUM", "LK",
1114 long_accum_type_node
);
1115 builtin_define_fixed_point_constants ("ULACCUM", "ULK",
1116 unsigned_long_accum_type_node
);
1117 builtin_define_fixed_point_constants ("LLACCUM", "LLK",
1118 long_long_accum_type_node
);
1119 builtin_define_fixed_point_constants ("ULLACCUM", "ULLK",
1120 unsigned_long_long_accum_type_node
);
1122 builtin_define_fixed_point_constants ("QQ", "", qq_type_node
);
1123 builtin_define_fixed_point_constants ("HQ", "", hq_type_node
);
1124 builtin_define_fixed_point_constants ("SQ", "", sq_type_node
);
1125 builtin_define_fixed_point_constants ("DQ", "", dq_type_node
);
1126 builtin_define_fixed_point_constants ("TQ", "", tq_type_node
);
1127 builtin_define_fixed_point_constants ("UQQ", "", uqq_type_node
);
1128 builtin_define_fixed_point_constants ("UHQ", "", uhq_type_node
);
1129 builtin_define_fixed_point_constants ("USQ", "", usq_type_node
);
1130 builtin_define_fixed_point_constants ("UDQ", "", udq_type_node
);
1131 builtin_define_fixed_point_constants ("UTQ", "", utq_type_node
);
1132 builtin_define_fixed_point_constants ("HA", "", ha_type_node
);
1133 builtin_define_fixed_point_constants ("SA", "", sa_type_node
);
1134 builtin_define_fixed_point_constants ("DA", "", da_type_node
);
1135 builtin_define_fixed_point_constants ("TA", "", ta_type_node
);
1136 builtin_define_fixed_point_constants ("UHA", "", uha_type_node
);
1137 builtin_define_fixed_point_constants ("USA", "", usa_type_node
);
1138 builtin_define_fixed_point_constants ("UDA", "", uda_type_node
);
1139 builtin_define_fixed_point_constants ("UTA", "", uta_type_node
);
1142 /* For libgcc-internal use only. */
1143 if (flag_building_libgcc
)
1145 /* Properties of floating-point modes for libgcc2.c. */
1146 for (machine_mode mode
= GET_CLASS_NARROWEST_MODE (MODE_FLOAT
);
1148 mode
= GET_MODE_WIDER_MODE (mode
))
1150 const char *name
= GET_MODE_NAME (mode
);
1152 = (char *) alloca (strlen (name
)
1153 + sizeof ("__LIBGCC__MANT_DIG__"));
1154 sprintf (macro_name
, "__LIBGCC_%s_MANT_DIG__", name
);
1155 builtin_define_with_int_value (macro_name
,
1156 REAL_MODE_FORMAT (mode
)->p
);
1157 if (!targetm
.scalar_mode_supported_p (mode
)
1158 || !targetm
.libgcc_floating_mode_supported_p (mode
))
1160 macro_name
= (char *) alloca (strlen (name
)
1161 + sizeof ("__LIBGCC_HAS__MODE__"));
1162 sprintf (macro_name
, "__LIBGCC_HAS_%s_MODE__", name
);
1163 cpp_define (pfile
, macro_name
);
1164 macro_name
= (char *) alloca (strlen (name
)
1165 + sizeof ("__LIBGCC__FUNC_EXT__"));
1166 sprintf (macro_name
, "__LIBGCC_%s_FUNC_EXT__", name
);
1167 char suffix
[20] = "";
1168 if (mode
== TYPE_MODE (double_type_node
))
1169 ; /* Empty suffix correct. */
1170 else if (mode
== TYPE_MODE (float_type_node
))
1172 else if (mode
== TYPE_MODE (long_double_type_node
))
1176 bool found_suffix
= false;
1177 for (int i
= 0; i
< NUM_FLOATN_NX_TYPES
; i
++)
1178 if (FLOATN_NX_TYPE_NODE (i
) != NULL_TREE
1179 && mode
== TYPE_MODE (FLOATN_NX_TYPE_NODE (i
)))
1181 sprintf (suffix
, "f%d%s", floatn_nx_types
[i
].n
,
1182 floatn_nx_types
[i
].extended
? "x" : "");
1183 found_suffix
= true;
1186 gcc_assert (found_suffix
);
1188 builtin_define_with_value (macro_name
, suffix
, 0);
1189 bool excess_precision
= false;
1190 if (TARGET_FLT_EVAL_METHOD
!= 0
1191 && mode
!= TYPE_MODE (long_double_type_node
)
1192 && (mode
== TYPE_MODE (float_type_node
)
1193 || mode
== TYPE_MODE (double_type_node
)))
1194 switch (TARGET_FLT_EVAL_METHOD
)
1198 excess_precision
= true;
1202 excess_precision
= mode
== TYPE_MODE (float_type_node
);
1208 macro_name
= (char *) alloca (strlen (name
)
1209 + sizeof ("__LIBGCC__EXCESS_"
1211 sprintf (macro_name
, "__LIBGCC_%s_EXCESS_PRECISION__", name
);
1212 builtin_define_with_int_value (macro_name
, excess_precision
);
1215 /* For libgcc crtstuff.c and libgcc2.c. */
1216 builtin_define_with_int_value ("__LIBGCC_EH_TABLES_CAN_BE_READ_ONLY__",
1217 EH_TABLES_CAN_BE_READ_ONLY
);
1218 #ifdef EH_FRAME_SECTION_NAME
1219 builtin_define_with_value ("__LIBGCC_EH_FRAME_SECTION_NAME__",
1220 EH_FRAME_SECTION_NAME
, 1);
1222 #ifdef CTORS_SECTION_ASM_OP
1223 builtin_define_with_value ("__LIBGCC_CTORS_SECTION_ASM_OP__",
1224 CTORS_SECTION_ASM_OP
, 1);
1226 #ifdef DTORS_SECTION_ASM_OP
1227 builtin_define_with_value ("__LIBGCC_DTORS_SECTION_ASM_OP__",
1228 DTORS_SECTION_ASM_OP
, 1);
1230 #ifdef TEXT_SECTION_ASM_OP
1231 builtin_define_with_value ("__LIBGCC_TEXT_SECTION_ASM_OP__",
1232 TEXT_SECTION_ASM_OP
, 1);
1234 #ifdef INIT_SECTION_ASM_OP
1235 builtin_define_with_value ("__LIBGCC_INIT_SECTION_ASM_OP__",
1236 INIT_SECTION_ASM_OP
, 1);
1238 #ifdef INIT_ARRAY_SECTION_ASM_OP
1239 /* Despite the name of this target macro, the expansion is not
1240 actually used, and may be empty rather than a string
1242 cpp_define (pfile
, "__LIBGCC_INIT_ARRAY_SECTION_ASM_OP__");
1245 /* For libgcc enable-execute-stack.c. */
1246 builtin_define_with_int_value ("__LIBGCC_TRAMPOLINE_SIZE__",
1249 /* For libgcc generic-morestack.c and unwinder code. */
1250 if (STACK_GROWS_DOWNWARD
)
1251 cpp_define (pfile
, "__LIBGCC_STACK_GROWS_DOWNWARD__");
1253 /* For libgcc unwinder code. */
1254 #ifdef DONT_USE_BUILTIN_SETJMP
1255 cpp_define (pfile
, "__LIBGCC_DONT_USE_BUILTIN_SETJMP__");
1257 #ifdef DWARF_ALT_FRAME_RETURN_COLUMN
1258 builtin_define_with_int_value ("__LIBGCC_DWARF_ALT_FRAME_RETURN_COLUMN__",
1259 DWARF_ALT_FRAME_RETURN_COLUMN
);
1261 builtin_define_with_int_value ("__LIBGCC_DWARF_FRAME_REGISTERS__",
1262 DWARF_FRAME_REGISTERS
);
1263 #ifdef EH_RETURN_STACKADJ_RTX
1264 cpp_define (pfile
, "__LIBGCC_EH_RETURN_STACKADJ_RTX__");
1267 builtin_define_with_int_value ("__LIBGCC_JMP_BUF_SIZE__",
1270 builtin_define_with_int_value ("__LIBGCC_STACK_POINTER_REGNUM__",
1271 STACK_POINTER_REGNUM
);
1274 builtin_define_with_int_value ("__LIBGCC_VTABLE_USES_DESCRIPTORS__",
1275 TARGET_VTABLE_USES_DESCRIPTORS
);
1278 /* For use in assembly language. */
1279 builtin_define_with_value ("__REGISTER_PREFIX__", REGISTER_PREFIX
, 0);
1280 builtin_define_with_value ("__USER_LABEL_PREFIX__", user_label_prefix
, 0);
1283 if (flag_gnu89_inline
)
1284 cpp_define (pfile
, "__GNUC_GNU_INLINE__");
1286 cpp_define (pfile
, "__GNUC_STDC_INLINE__");
1289 cpp_define (pfile
, "__NO_INLINE__");
1292 cpp_define (pfile
, "__STRICT_ANSI__");
1294 if (!flag_signed_char
)
1295 cpp_define (pfile
, "__CHAR_UNSIGNED__");
1297 if (c_dialect_cxx () && TYPE_UNSIGNED (wchar_type_node
))
1298 cpp_define (pfile
, "__WCHAR_UNSIGNED__");
1300 cpp_atomic_builtins (pfile
);
1302 #ifdef DWARF2_UNWIND_INFO
1303 if (dwarf2out_do_cfi_asm ())
1304 cpp_define (pfile
, "__GCC_HAVE_DWARF2_CFI_ASM");
1307 /* Make the choice of ObjC runtime visible to source code. */
1308 if (c_dialect_objc () && flag_next_runtime
)
1309 cpp_define (pfile
, "__NEXT_RUNTIME__");
1311 /* Show the availability of some target pragmas. */
1312 cpp_define (pfile
, "__PRAGMA_REDEFINE_EXTNAME");
1314 /* Make the choice of the stack protector runtime visible to source code.
1315 The macro names and values here were chosen for compatibility with an
1316 earlier implementation, i.e. ProPolice. */
1317 if (flag_stack_protect
== 4)
1318 cpp_define (pfile
, "__SSP_EXPLICIT__=4");
1319 if (flag_stack_protect
== 3)
1320 cpp_define (pfile
, "__SSP_STRONG__=3");
1321 if (flag_stack_protect
== 2)
1322 cpp_define (pfile
, "__SSP_ALL__=2");
1323 else if (flag_stack_protect
== 1)
1324 cpp_define (pfile
, "__SSP__=1");
1327 cpp_define (pfile
, "_OPENACC=201306");
1330 cpp_define (pfile
, "_OPENMP=201511");
1332 for (i
= 0; i
< NUM_INT_N_ENTS
; i
++)
1333 if (int_n_enabled_p
[i
])
1336 sprintf(buf
, "__SIZEOF_INT%d__", int_n_data
[i
].bitsize
);
1337 builtin_define_type_sizeof (buf
,
1338 int_n_trees
[i
].signed_type
);
1340 builtin_define_type_sizeof ("__SIZEOF_WCHAR_T__", wchar_type_node
);
1341 builtin_define_type_sizeof ("__SIZEOF_WINT_T__", wint_type_node
);
1342 builtin_define_type_sizeof ("__SIZEOF_PTRDIFF_T__",
1343 unsigned_ptrdiff_type_node
);
1345 /* A straightforward target hook doesn't work, because of problems
1346 linking that hook's body when part of non-C front ends. */
1347 # define preprocessing_asm_p() (cpp_get_options (pfile)->lang == CLK_ASM)
1348 # define preprocessing_trad_p() (cpp_get_options (pfile)->traditional)
1349 # define builtin_define(TXT) cpp_define (pfile, TXT)
1350 # define builtin_assert(TXT) cpp_assert (pfile, TXT)
1351 TARGET_CPU_CPP_BUILTINS ();
1352 TARGET_OS_CPP_BUILTINS ();
1353 TARGET_OBJFMT_CPP_BUILTINS ();
1355 /* Support the __declspec keyword by turning them into attributes.
1356 Note that the current way we do this may result in a collision
1357 with predefined attributes later on. This can be solved by using
1358 one attribute, say __declspec__, and passing args to it. The
1359 problem with that approach is that args are not accumulated: each
1360 new appearance would clobber any existing args. */
1361 if (TARGET_DECLSPEC
)
1362 builtin_define ("__declspec(x)=__attribute__((x))");
1364 /* If decimal floating point is supported, tell the user if the
1365 alternate format (BID) is used instead of the standard (DPD)
1367 if (ENABLE_DECIMAL_FLOAT
&& ENABLE_DECIMAL_BID_FORMAT
)
1368 cpp_define (pfile
, "__DECIMAL_BID_FORMAT__");
1371 /* Pass an object-like macro. If it doesn't lie in the user's
1372 namespace, defines it unconditionally. Otherwise define a version
1373 with two leading underscores, and another version with two leading
1374 and trailing underscores, and define the original only if an ISO
1375 standard was not nominated.
1377 e.g. passing "unix" defines "__unix", "__unix__" and possibly
1378 "unix". Passing "_mips" defines "__mips", "__mips__" and possibly
1381 builtin_define_std (const char *macro
)
1383 size_t len
= strlen (macro
);
1384 char *buff
= (char *) alloca (len
+ 5);
1388 /* prepend __ (or maybe just _) if in user's namespace. */
1389 memcpy (p
, macro
, len
+ 1);
1390 if (!( *p
== '_' && (p
[1] == '_' || ISUPPER (p
[1]))))
1397 cpp_define (parse_in
, p
);
1399 /* If it was in user's namespace... */
1402 /* Define the macro with leading and following __. */
1408 cpp_define (parse_in
, p
);
1410 /* Finally, define the original macro if permitted. */
1412 cpp_define (parse_in
, macro
);
1416 /* Pass an object-like macro and a value to define it to. The third
1417 parameter says whether or not to turn the value into a string
1420 builtin_define_with_value (const char *macro
, const char *expansion
, int is_str
)
1423 size_t mlen
= strlen (macro
);
1424 size_t elen
= strlen (expansion
);
1425 size_t extra
= 2; /* space for an = and a NUL */
1429 char *quoted_expansion
= (char *) alloca (elen
* 4 + 1);
1432 extra
+= 2; /* space for two quote marks */
1433 for (p
= expansion
, q
= quoted_expansion
; *p
; p
++)
1458 if (ISPRINT ((unsigned char) *p
))
1462 sprintf (q
, "\\%03o", (unsigned char) *p
);
1468 expansion
= quoted_expansion
;
1469 elen
= q
- expansion
;
1472 buf
= (char *) alloca (mlen
+ elen
+ extra
);
1474 sprintf (buf
, "%s=\"%s\"", macro
, expansion
);
1476 sprintf (buf
, "%s=%s", macro
, expansion
);
1478 cpp_define (parse_in
, buf
);
1482 /* Pass an object-like macro and an integer value to define it to. */
1484 builtin_define_with_int_value (const char *macro
, HOST_WIDE_INT value
)
1487 size_t mlen
= strlen (macro
);
1489 size_t extra
= 2; /* space for = and NUL. */
1491 buf
= (char *) alloca (mlen
+ vlen
+ extra
);
1492 memcpy (buf
, macro
, mlen
);
1494 sprintf (buf
+ mlen
+ 1, HOST_WIDE_INT_PRINT_DEC
, value
);
1496 cpp_define (parse_in
, buf
);
1499 /* builtin_define_with_hex_fp_value is very expensive, so the following
1500 array and function allows it to be done lazily when __DBL_MAX__
1501 etc. is first used. */
1503 struct GTY(()) lazy_hex_fp_value_struct
1505 const char *hex_str
;
1509 const char *fp_suffix
;
1511 static GTY(()) struct lazy_hex_fp_value_struct lazy_hex_fp_values
[12];
1512 static GTY(()) int lazy_hex_fp_value_count
;
1515 lazy_hex_fp_value (cpp_reader
*pfile ATTRIBUTE_UNUSED
,
1518 REAL_VALUE_TYPE real
;
1519 char dec_str
[64], buf1
[256];
1521 if (node
->value
.builtin
< BT_FIRST_USER
1522 || (int) node
->value
.builtin
>= BT_FIRST_USER
+ lazy_hex_fp_value_count
)
1525 idx
= node
->value
.builtin
- BT_FIRST_USER
;
1526 real_from_string (&real
, lazy_hex_fp_values
[idx
].hex_str
);
1527 real_to_decimal_for_mode (dec_str
, &real
, sizeof (dec_str
),
1528 lazy_hex_fp_values
[idx
].digits
, 0,
1529 lazy_hex_fp_values
[idx
].mode
);
1531 sprintf (buf1
, "%s%s", dec_str
, lazy_hex_fp_values
[idx
].fp_suffix
);
1532 node
->flags
&= ~(NODE_BUILTIN
| NODE_USED
);
1533 node
->value
.macro
= lazy_hex_fp_values
[idx
].macro
;
1534 for (idx
= 0; idx
< node
->value
.macro
->count
; idx
++)
1535 if (node
->value
.macro
->exp
.tokens
[idx
].type
== CPP_NUMBER
)
1537 gcc_assert (idx
< node
->value
.macro
->count
);
1538 node
->value
.macro
->exp
.tokens
[idx
].val
.str
.len
= strlen (buf1
);
1539 node
->value
.macro
->exp
.tokens
[idx
].val
.str
.text
1540 = (const unsigned char *) ggc_strdup (buf1
);
1544 /* Pass an object-like macro a hexadecimal floating-point value. */
1546 builtin_define_with_hex_fp_value (const char *macro
,
1547 tree type
, int digits
,
1548 const char *hex_str
,
1549 const char *fp_suffix
,
1550 const char *fp_cast
)
1552 REAL_VALUE_TYPE real
;
1553 char dec_str
[64], buf1
[256], buf2
[256];
1555 /* This is very expensive, so if possible expand them lazily. */
1556 if (lazy_hex_fp_value_count
< 12
1557 && flag_dump_macros
== 0
1558 && !cpp_get_options (parse_in
)->traditional
)
1560 struct cpp_hashnode
*node
;
1561 if (lazy_hex_fp_value_count
== 0)
1562 cpp_get_callbacks (parse_in
)->user_builtin_macro
= lazy_hex_fp_value
;
1563 sprintf (buf2
, fp_cast
, "1.1");
1564 sprintf (buf1
, "%s=%s", macro
, buf2
);
1565 cpp_define (parse_in
, buf1
);
1566 node
= C_CPP_HASHNODE (get_identifier (macro
));
1567 lazy_hex_fp_values
[lazy_hex_fp_value_count
].hex_str
1568 = ggc_strdup (hex_str
);
1569 lazy_hex_fp_values
[lazy_hex_fp_value_count
].mode
= TYPE_MODE (type
);
1570 lazy_hex_fp_values
[lazy_hex_fp_value_count
].digits
= digits
;
1571 lazy_hex_fp_values
[lazy_hex_fp_value_count
].fp_suffix
= fp_suffix
;
1572 lazy_hex_fp_values
[lazy_hex_fp_value_count
].macro
= node
->value
.macro
;
1573 node
->flags
|= NODE_BUILTIN
;
1575 = (enum cpp_builtin_type
) (BT_FIRST_USER
+ lazy_hex_fp_value_count
);
1576 lazy_hex_fp_value_count
++;
1580 /* Hex values are really cool and convenient, except that they're
1581 not supported in strict ISO C90 mode. First, the "p-" sequence
1582 is not valid as part of a preprocessor number. Second, we get a
1583 pedwarn from the preprocessor, which has no context, so we can't
1584 suppress the warning with __extension__.
1586 So instead what we do is construct the number in hex (because
1587 it's easy to get the exact correct value), parse it as a real,
1588 then print it back out as decimal. */
1590 real_from_string (&real
, hex_str
);
1591 real_to_decimal_for_mode (dec_str
, &real
, sizeof (dec_str
), digits
, 0,
1594 /* Assemble the macro in the following fashion
1595 macro = fp_cast [dec_str fp_suffix] */
1596 sprintf (buf1
, "%s%s", dec_str
, fp_suffix
);
1597 sprintf (buf2
, fp_cast
, buf1
);
1598 sprintf (buf1
, "%s=%s", macro
, buf2
);
1600 cpp_define (parse_in
, buf1
);
1603 /* Return a string constant for the suffix for a value of type TYPE
1604 promoted according to the integer promotions. The type must be one
1605 of the standard integer type nodes. */
1608 type_suffix (tree type
)
1610 static const char *const suffixes
[] = { "", "U", "L", "UL", "LL", "ULL" };
1611 int unsigned_suffix
;
1613 int tp
= TYPE_PRECISION (type
);
1615 if (type
== long_long_integer_type_node
1616 || type
== long_long_unsigned_type_node
1617 || tp
> TYPE_PRECISION (long_integer_type_node
))
1619 else if (type
== long_integer_type_node
1620 || type
== long_unsigned_type_node
1621 || tp
> TYPE_PRECISION (integer_type_node
))
1623 else if (type
== integer_type_node
1624 || type
== unsigned_type_node
1625 || type
== short_integer_type_node
1626 || type
== short_unsigned_type_node
1627 || type
== signed_char_type_node
1628 || type
== unsigned_char_type_node
1629 /* ??? "char" is not a signed or unsigned integer type and
1630 so is not permitted for the standard typedefs, but some
1631 systems use it anyway. */
1632 || type
== char_type_node
)
1637 unsigned_suffix
= TYPE_UNSIGNED (type
);
1638 if (TYPE_PRECISION (type
) < TYPE_PRECISION (integer_type_node
))
1639 unsigned_suffix
= 0;
1640 return suffixes
[is_long
* 2 + unsigned_suffix
];
1643 /* Define MACRO as a <stdint.h> constant-suffix macro for TYPE. */
1645 builtin_define_constants (const char *macro
, tree type
)
1650 suffix
= type_suffix (type
);
1654 buf
= (char *) alloca (strlen (macro
) + 6);
1655 sprintf (buf
, "%s(c)=c", macro
);
1659 buf
= (char *) alloca (strlen (macro
) + 9 + strlen (suffix
) + 1);
1660 sprintf (buf
, "%s(c)=c ## %s", macro
, suffix
);
1663 cpp_define (parse_in
, buf
);
1666 /* Define MAX for TYPE based on the precision of the type. */
1669 builtin_define_type_max (const char *macro
, tree type
)
1671 builtin_define_type_minmax (NULL
, macro
, type
);
1674 /* Given a value with COUNT LSBs set, fill BUF with a hexidecimal
1675 representation of that value. For example, a COUNT of 10 would
1679 print_bits_of_hex (char *buf
, int bufsz
, int count
)
1681 gcc_assert (bufsz
> 3);
1686 gcc_assert (count
> 0);
1688 switch (count
% 4) {
1709 gcc_assert (bufsz
> 1);
1714 gcc_assert (bufsz
> 0);
1718 /* Define MIN_MACRO (if not NULL) and MAX_MACRO for TYPE based on the
1719 precision of the type. */
1722 builtin_define_type_minmax (const char *min_macro
, const char *max_macro
,
1725 #define PBOH_SZ (MAX_BITSIZE_MODE_ANY_INT/4+4)
1726 char value
[PBOH_SZ
];
1732 bits
= TYPE_PRECISION (type
) + (TYPE_UNSIGNED (type
) ? 0 : -1);
1734 print_bits_of_hex (value
, PBOH_SZ
, bits
);
1736 suffix
= type_suffix (type
);
1738 buf
= (char *) alloca (strlen (max_macro
) + 1 + strlen (value
)
1739 + strlen (suffix
) + 1);
1740 sprintf (buf
, "%s=%s%s", max_macro
, value
, suffix
);
1742 cpp_define (parse_in
, buf
);
1746 if (TYPE_UNSIGNED (type
))
1748 buf
= (char *) alloca (strlen (min_macro
) + 2 + strlen (suffix
) + 1);
1749 sprintf (buf
, "%s=0%s", min_macro
, suffix
);
1753 buf
= (char *) alloca (strlen (min_macro
) + 3
1754 + strlen (max_macro
) + 6);
1755 sprintf (buf
, "%s=(-%s - 1)", min_macro
, max_macro
);
1757 cpp_define (parse_in
, buf
);
1761 /* Define WIDTH_MACRO for the width of TYPE. If TYPE2 is not NULL,
1762 both types must have the same width. */
1765 builtin_define_type_width (const char *width_macro
, tree type
, tree type2
)
1767 if (type2
!= NULL_TREE
)
1768 gcc_assert (TYPE_PRECISION (type
) == TYPE_PRECISION (type2
));
1769 builtin_define_with_int_value (width_macro
, TYPE_PRECISION (type
));
1772 #include "gt-c-family-c-cppbuiltin.h"