]>
Commit | Line | Data |
---|---|---|
fd6f6435 | 1 | /* Define builtin-in macros for the C family front ends. |
3aea1f79 | 2 | Copyright (C) 2002-2014 Free Software Foundation, Inc. |
fd6f6435 | 3 | |
4 | This file is part of GCC. | |
5 | ||
6 | GCC is free software; you can redistribute it and/or modify it under | |
7 | the terms of the GNU General Public License as published by the Free | |
8c4c00c1 | 8 | Software Foundation; either version 3, or (at your option) any later |
fd6f6435 | 9 | version. |
10 | ||
11 | GCC is distributed in the hope that it will be useful, but WITHOUT ANY | |
12 | WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
13 | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
14 | for more details. | |
15 | ||
16 | You should have received a copy of the GNU General Public License | |
8c4c00c1 | 17 | along with GCC; see the file COPYING3. If not see |
18 | <http://www.gnu.org/licenses/>. */ | |
fd6f6435 | 19 | |
20 | #include "config.h" | |
21 | #include "system.h" | |
22 | #include "coretypes.h" | |
23 | #include "tm.h" | |
24 | #include "tree.h" | |
9ed99284 | 25 | #include "stor-layout.h" |
26 | #include "stringpool.h" | |
af225e7d | 27 | #include "version.h" |
fd6f6435 | 28 | #include "flags.h" |
fd6f6435 | 29 | #include "c-common.h" |
30 | #include "c-pragma.h" | |
dff12c10 | 31 | #include "output.h" /* For user_label_prefix. */ |
115133dd | 32 | #include "debug.h" /* For dwarf2out_do_cfi_asm. */ |
115133dd | 33 | #include "tm_p.h" /* For TARGET_CPU_CPP_BUILTINS & friends. */ |
146c1b4f | 34 | #include "target.h" |
218e3e4e | 35 | #include "common/common-target.h" |
25692381 | 36 | #include "cpp-id-data.h" |
41acdfa4 | 37 | #include "cppbuiltin.h" |
fd6f6435 | 38 | |
6abe46e3 | 39 | #ifndef TARGET_OS_CPP_BUILTINS |
40 | # define TARGET_OS_CPP_BUILTINS() | |
41 | #endif | |
42 | ||
43 | #ifndef TARGET_OBJFMT_CPP_BUILTINS | |
44 | # define TARGET_OBJFMT_CPP_BUILTINS() | |
45 | #endif | |
46 | ||
fd6f6435 | 47 | #ifndef REGISTER_PREFIX |
48 | #define REGISTER_PREFIX "" | |
49 | #endif | |
50 | ||
7226cebd | 51 | /* Non-static as some targets don't use it. */ |
1cae46be | 52 | void builtin_define_std (const char *) ATTRIBUTE_UNUSED; |
1cae46be | 53 | static void builtin_define_with_int_value (const char *, HOST_WIDE_INT); |
54 | static void builtin_define_with_hex_fp_value (const char *, tree, | |
55 | int, const char *, | |
6e24d2a7 | 56 | const char *, |
1cae46be | 57 | const char *); |
36bccbfc | 58 | static void builtin_define_stdint_macros (void); |
f3449a3c | 59 | static void builtin_define_constants (const char *, tree); |
60 | static void builtin_define_type_max (const char *, tree); | |
61 | static void builtin_define_type_minmax (const char *, const char *, tree); | |
6a60f216 | 62 | static void builtin_define_type_sizeof (const char *, tree); |
48e1416a | 63 | static void builtin_define_float_constants (const char *, |
7e0713b1 | 64 | const char *, |
6e24d2a7 | 65 | const char *, |
66 | const char *, | |
1cae46be | 67 | tree); |
fd6f6435 | 68 | |
ef97a312 | 69 | /* Return true if MODE provides a fast multiply/add (FMA) builtin function. |
70 | Originally this function used the fma optab, but that doesn't work with | |
71 | -save-temps, so just rely on the HAVE_fma macros for the standard floating | |
72 | point types. */ | |
73 | ||
74 | static bool | |
3754d046 | 75 | mode_has_fma (machine_mode mode) |
ef97a312 | 76 | { |
77 | switch (mode) | |
78 | { | |
79 | #ifdef HAVE_fmasf4 | |
80 | case SFmode: | |
81 | return !!HAVE_fmasf4; | |
82 | #endif | |
83 | ||
84 | #ifdef HAVE_fmadf4 | |
85 | case DFmode: | |
86 | return !!HAVE_fmadf4; | |
87 | #endif | |
88 | ||
89 | #ifdef HAVE_fmaxf4 | |
90 | case XFmode: | |
91 | return !!HAVE_fmaxf4; | |
92 | #endif | |
93 | ||
94 | #ifdef HAVE_fmatf4 | |
95 | case TFmode: | |
96 | return !!HAVE_fmatf4; | |
97 | #endif | |
98 | ||
99 | default: | |
100 | break; | |
101 | } | |
102 | ||
103 | return false; | |
104 | } | |
105 | ||
6a60f216 | 106 | /* Define NAME with value TYPE size_unit. */ |
107 | static void | |
108 | builtin_define_type_sizeof (const char *name, tree type) | |
109 | { | |
110 | builtin_define_with_int_value (name, | |
6a0712d4 | 111 | tree_to_uhwi (TYPE_SIZE_UNIT (type))); |
6a60f216 | 112 | } |
113 | ||
6e24d2a7 | 114 | /* Define the float.h constants for TYPE using NAME_PREFIX, FP_SUFFIX, |
115 | and FP_CAST. */ | |
fd6f6435 | 116 | static void |
48e1416a | 117 | builtin_define_float_constants (const char *name_prefix, |
118 | const char *fp_suffix, | |
119 | const char *fp_cast, | |
7e0713b1 | 120 | const char *fma_suffix, |
6e24d2a7 | 121 | tree type) |
fd6f6435 | 122 | { |
123 | /* Used to convert radix-based values to base 10 values in several cases. | |
124 | ||
125 | In the max_exp -> max_10_exp conversion for 128-bit IEEE, we need at | |
126 | least 6 significant digits for correct results. Using the fraction | |
127 | formed by (log(2)*1e6)/(log(10)*1e6) overflows a 32-bit integer as an | |
128 | intermediate; perhaps someone can find a better approximation, in the | |
129 | mean time, I suspect using doubles won't harm the bootstrap here. */ | |
130 | ||
131 | const double log10_2 = .30102999566398119521; | |
132 | double log10_b; | |
133 | const struct real_format *fmt; | |
c6418a4e | 134 | const struct real_format *ldfmt; |
fd6f6435 | 135 | |
136 | char name[64], buf[128]; | |
137 | int dig, min_10_exp, max_10_exp; | |
138 | int decimal_dig; | |
39012afb | 139 | int type_decimal_dig; |
fd6f6435 | 140 | |
0021bea9 | 141 | fmt = REAL_MODE_FORMAT (TYPE_MODE (type)); |
c4503c0a | 142 | gcc_assert (fmt->b != 10); |
c6418a4e | 143 | ldfmt = REAL_MODE_FORMAT (TYPE_MODE (long_double_type_node)); |
144 | gcc_assert (ldfmt->b != 10); | |
fd6f6435 | 145 | |
146 | /* The radix of the exponent representation. */ | |
147 | if (type == float_type_node) | |
148 | builtin_define_with_int_value ("__FLT_RADIX__", fmt->b); | |
8fa7d67b | 149 | log10_b = log10_2; |
fd6f6435 | 150 | |
151 | /* The number of radix digits, p, in the floating-point significand. */ | |
152 | sprintf (name, "__%s_MANT_DIG__", name_prefix); | |
153 | builtin_define_with_int_value (name, fmt->p); | |
154 | ||
155 | /* The number of decimal digits, q, such that any floating-point number | |
156 | with q decimal digits can be rounded into a floating-point number with | |
157 | p radix b digits and back again without change to the q decimal digits, | |
158 | ||
159 | p log10 b if b is a power of 10 | |
1cae46be | 160 | floor((p - 1) log10 b) otherwise |
fd6f6435 | 161 | */ |
162 | dig = (fmt->p - 1) * log10_b; | |
163 | sprintf (name, "__%s_DIG__", name_prefix); | |
164 | builtin_define_with_int_value (name, dig); | |
165 | ||
166 | /* The minimum negative int x such that b**(x-1) is a normalized float. */ | |
167 | sprintf (name, "__%s_MIN_EXP__", name_prefix); | |
168 | sprintf (buf, "(%d)", fmt->emin); | |
169 | builtin_define_with_value (name, buf, 0); | |
170 | ||
171 | /* The minimum negative int x such that 10**x is a normalized float, | |
172 | ||
173 | ceil (log10 (b ** (emin - 1))) | |
174 | = ceil (log10 (b) * (emin - 1)) | |
175 | ||
176 | Recall that emin is negative, so the integer truncation calculates | |
177 | the ceiling, not the floor, in this case. */ | |
178 | min_10_exp = (fmt->emin - 1) * log10_b; | |
179 | sprintf (name, "__%s_MIN_10_EXP__", name_prefix); | |
180 | sprintf (buf, "(%d)", min_10_exp); | |
181 | builtin_define_with_value (name, buf, 0); | |
182 | ||
183 | /* The maximum int x such that b**(x-1) is a representable float. */ | |
184 | sprintf (name, "__%s_MAX_EXP__", name_prefix); | |
185 | builtin_define_with_int_value (name, fmt->emax); | |
186 | ||
187 | /* The maximum int x such that 10**x is in the range of representable | |
188 | finite floating-point numbers, | |
189 | ||
190 | floor (log10((1 - b**-p) * b**emax)) | |
191 | = floor (log10(1 - b**-p) + log10(b**emax)) | |
192 | = floor (log10(1 - b**-p) + log10(b)*emax) | |
193 | ||
194 | The safest thing to do here is to just compute this number. But since | |
195 | we don't link cc1 with libm, we cannot. We could implement log10 here | |
196 | a series expansion, but that seems too much effort because: | |
197 | ||
198 | Note that the first term, for all extant p, is a number exceedingly close | |
199 | to zero, but slightly negative. Note that the second term is an integer | |
200 | scaling an irrational number, and that because of the floor we are only | |
201 | interested in its integral portion. | |
202 | ||
203 | In order for the first term to have any effect on the integral portion | |
204 | of the second term, the second term has to be exceedingly close to an | |
205 | integer itself (e.g. 123.000000000001 or something). Getting a result | |
206 | that close to an integer requires that the irrational multiplicand have | |
207 | a long series of zeros in its expansion, which doesn't occur in the | |
208 | first 20 digits or so of log10(b). | |
209 | ||
210 | Hand-waving aside, crunching all of the sets of constants above by hand | |
211 | does not yield a case for which the first term is significant, which | |
212 | in the end is all that matters. */ | |
213 | max_10_exp = fmt->emax * log10_b; | |
214 | sprintf (name, "__%s_MAX_10_EXP__", name_prefix); | |
215 | builtin_define_with_int_value (name, max_10_exp); | |
216 | ||
217 | /* The number of decimal digits, n, such that any floating-point number | |
218 | can be rounded to n decimal digits and back again without change to | |
1cae46be | 219 | the value. |
fd6f6435 | 220 | |
221 | p * log10(b) if b is a power of 10 | |
222 | ceil(1 + p * log10(b)) otherwise | |
223 | ||
224 | The only macro we care about is this number for the widest supported | |
225 | floating type, but we want this value for rendering constants below. */ | |
226 | { | |
c6418a4e | 227 | double d_decimal_dig |
228 | = 1 + (fmt->p < ldfmt->p ? ldfmt->p : fmt->p) * log10_b; | |
fd6f6435 | 229 | decimal_dig = d_decimal_dig; |
230 | if (decimal_dig < d_decimal_dig) | |
231 | decimal_dig++; | |
232 | } | |
39012afb | 233 | /* Similar, for this type rather than long double. */ |
234 | { | |
235 | double type_d_decimal_dig = 1 + fmt->p * log10_b; | |
236 | type_decimal_dig = type_d_decimal_dig; | |
237 | if (type_decimal_dig < type_d_decimal_dig) | |
238 | type_decimal_dig++; | |
239 | } | |
fd6f6435 | 240 | if (type == long_double_type_node) |
241 | builtin_define_with_int_value ("__DECIMAL_DIG__", decimal_dig); | |
39012afb | 242 | else |
243 | { | |
244 | sprintf (name, "__%s_DECIMAL_DIG__", name_prefix); | |
245 | builtin_define_with_int_value (name, type_decimal_dig); | |
246 | } | |
fd6f6435 | 247 | |
248 | /* Since, for the supported formats, B is always a power of 2, we | |
249 | construct the following numbers directly as a hexadecimal | |
250 | constants. */ | |
06f7a99d | 251 | get_max_float (fmt, buf, sizeof (buf)); |
48e1416a | 252 | |
fd6f6435 | 253 | sprintf (name, "__%s_MAX__", name_prefix); |
6e24d2a7 | 254 | builtin_define_with_hex_fp_value (name, type, decimal_dig, buf, fp_suffix, fp_cast); |
fd6f6435 | 255 | |
256 | /* The minimum normalized positive floating-point number, | |
257 | b**(emin-1). */ | |
258 | sprintf (name, "__%s_MIN__", name_prefix); | |
8fa7d67b | 259 | sprintf (buf, "0x1p%d", fmt->emin - 1); |
6e24d2a7 | 260 | builtin_define_with_hex_fp_value (name, type, decimal_dig, buf, fp_suffix, fp_cast); |
fd6f6435 | 261 | |
262 | /* The difference between 1 and the least value greater than 1 that is | |
263 | representable in the given floating point type, b**(1-p). */ | |
264 | sprintf (name, "__%s_EPSILON__", name_prefix); | |
2a5cd7f7 | 265 | if (fmt->pnan < fmt->p) |
266 | /* This is an IBM extended double format, so 1.0 + any double is | |
267 | representable precisely. */ | |
8fa7d67b | 268 | sprintf (buf, "0x1p%d", fmt->emin - fmt->p); |
a0c938f0 | 269 | else |
8fa7d67b | 270 | sprintf (buf, "0x1p%d", 1 - fmt->p); |
6e24d2a7 | 271 | builtin_define_with_hex_fp_value (name, type, decimal_dig, buf, fp_suffix, fp_cast); |
fd6f6435 | 272 | |
bae6edff | 273 | /* For C++ std::numeric_limits<T>::denorm_min and C11 *_TRUE_MIN. |
274 | The minimum denormalized positive floating-point number, b**(emin-p). | |
275 | The minimum normalized positive floating-point number for formats | |
276 | that don't support denormals. */ | |
fd6f6435 | 277 | sprintf (name, "__%s_DENORM_MIN__", name_prefix); |
bae6edff | 278 | sprintf (buf, "0x1p%d", fmt->emin - (fmt->has_denorm ? fmt->p : 1)); |
279 | builtin_define_with_hex_fp_value (name, type, decimal_dig, | |
280 | buf, fp_suffix, fp_cast); | |
fd6f6435 | 281 | |
6e24d2a7 | 282 | sprintf (name, "__%s_HAS_DENORM__", name_prefix); |
283 | builtin_define_with_value (name, fmt->has_denorm ? "1" : "0", 0); | |
284 | ||
fd6f6435 | 285 | /* For C++ std::numeric_limits<T>::has_infinity. */ |
286 | sprintf (name, "__%s_HAS_INFINITY__", name_prefix); | |
1cae46be | 287 | builtin_define_with_int_value (name, |
fd6f6435 | 288 | MODE_HAS_INFINITIES (TYPE_MODE (type))); |
289 | /* For C++ std::numeric_limits<T>::has_quiet_NaN. We do not have a | |
290 | predicate to distinguish a target that has both quiet and | |
291 | signalling NaNs from a target that has only quiet NaNs or only | |
292 | signalling NaNs, so we assume that a target that has any kind of | |
293 | NaN has quiet NaNs. */ | |
294 | sprintf (name, "__%s_HAS_QUIET_NAN__", name_prefix); | |
295 | builtin_define_with_int_value (name, MODE_HAS_NANS (TYPE_MODE (type))); | |
7e0713b1 | 296 | |
297 | /* Note whether we have fast FMA. */ | |
298 | if (mode_has_fma (TYPE_MODE (type))) | |
299 | { | |
300 | sprintf (name, "__FP_FAST_FMA%s", fma_suffix); | |
301 | builtin_define_with_int_value (name, 1); | |
302 | } | |
fd6f6435 | 303 | } |
304 | ||
c4503c0a | 305 | /* Define __DECx__ constants for TYPE using NAME_PREFIX and SUFFIX. */ |
306 | static void | |
48e1416a | 307 | builtin_define_decimal_float_constants (const char *name_prefix, |
308 | const char *suffix, | |
c4503c0a | 309 | tree type) |
310 | { | |
311 | const struct real_format *fmt; | |
312 | char name[64], buf[128], *p; | |
313 | int digits; | |
314 | ||
315 | fmt = REAL_MODE_FORMAT (TYPE_MODE (type)); | |
316 | ||
317 | /* The number of radix digits, p, in the significand. */ | |
318 | sprintf (name, "__%s_MANT_DIG__", name_prefix); | |
319 | builtin_define_with_int_value (name, fmt->p); | |
320 | ||
321 | /* The minimum negative int x such that b**(x-1) is a normalized float. */ | |
322 | sprintf (name, "__%s_MIN_EXP__", name_prefix); | |
323 | sprintf (buf, "(%d)", fmt->emin); | |
324 | builtin_define_with_value (name, buf, 0); | |
325 | ||
326 | /* The maximum int x such that b**(x-1) is a representable float. */ | |
327 | sprintf (name, "__%s_MAX_EXP__", name_prefix); | |
328 | builtin_define_with_int_value (name, fmt->emax); | |
329 | ||
330 | /* Compute the minimum representable value. */ | |
331 | sprintf (name, "__%s_MIN__", name_prefix); | |
0c87fb2b | 332 | sprintf (buf, "1E%d%s", fmt->emin - 1, suffix); |
48e1416a | 333 | builtin_define_with_value (name, buf, 0); |
c4503c0a | 334 | |
335 | /* Compute the maximum representable value. */ | |
336 | sprintf (name, "__%s_MAX__", name_prefix); | |
337 | p = buf; | |
338 | for (digits = fmt->p; digits; digits--) | |
339 | { | |
340 | *p++ = '9'; | |
341 | if (digits == fmt->p) | |
342 | *p++ = '.'; | |
343 | } | |
344 | *p = 0; | |
0c87fb2b | 345 | /* fmt->p plus 1, to account for the decimal point and fmt->emax |
346 | minus 1 because the digits are nines, not 1.0. */ | |
48e1416a | 347 | sprintf (&buf[fmt->p + 1], "E%d%s", fmt->emax - 1, suffix); |
c4503c0a | 348 | builtin_define_with_value (name, buf, 0); |
349 | ||
350 | /* Compute epsilon (the difference between 1 and least value greater | |
351 | than 1 representable). */ | |
352 | sprintf (name, "__%s_EPSILON__", name_prefix); | |
353 | sprintf (buf, "1E-%d%s", fmt->p - 1, suffix); | |
354 | builtin_define_with_value (name, buf, 0); | |
355 | ||
0c87fb2b | 356 | /* Minimum subnormal positive decimal value. */ |
357 | sprintf (name, "__%s_SUBNORMAL_MIN__", name_prefix); | |
c4503c0a | 358 | p = buf; |
359 | for (digits = fmt->p; digits > 1; digits--) | |
360 | { | |
361 | *p++ = '0'; | |
362 | if (digits == fmt->p) | |
363 | *p++ = '.'; | |
364 | } | |
365 | *p = 0; | |
48e1416a | 366 | sprintf (&buf[fmt->p], "1E%d%s", fmt->emin - 1, suffix); |
c4503c0a | 367 | builtin_define_with_value (name, buf, 0); |
368 | } | |
369 | ||
68a556d6 | 370 | /* Define fixed-point constants for TYPE using NAME_PREFIX and SUFFIX. */ |
371 | ||
372 | static void | |
373 | builtin_define_fixed_point_constants (const char *name_prefix, | |
374 | const char *suffix, | |
375 | tree type) | |
376 | { | |
377 | char name[64], buf[256], *new_buf; | |
378 | int i, mod; | |
379 | ||
380 | sprintf (name, "__%s_FBIT__", name_prefix); | |
381 | builtin_define_with_int_value (name, TYPE_FBIT (type)); | |
382 | ||
383 | sprintf (name, "__%s_IBIT__", name_prefix); | |
384 | builtin_define_with_int_value (name, TYPE_IBIT (type)); | |
385 | ||
386 | /* If there is no suffix, defines are for fixed-point modes. | |
387 | We just return. */ | |
388 | if (strcmp (suffix, "") == 0) | |
389 | return; | |
390 | ||
391 | if (TYPE_UNSIGNED (type)) | |
392 | { | |
393 | sprintf (name, "__%s_MIN__", name_prefix); | |
394 | sprintf (buf, "0.0%s", suffix); | |
395 | builtin_define_with_value (name, buf, 0); | |
396 | } | |
397 | else | |
398 | { | |
399 | sprintf (name, "__%s_MIN__", name_prefix); | |
400 | if (ALL_ACCUM_MODE_P (TYPE_MODE (type))) | |
401 | sprintf (buf, "(-0X1P%d%s-0X1P%d%s)", TYPE_IBIT (type) - 1, suffix, | |
402 | TYPE_IBIT (type) - 1, suffix); | |
403 | else | |
404 | sprintf (buf, "(-0.5%s-0.5%s)", suffix, suffix); | |
405 | builtin_define_with_value (name, buf, 0); | |
406 | } | |
407 | ||
408 | sprintf (name, "__%s_MAX__", name_prefix); | |
409 | sprintf (buf, "0X"); | |
410 | new_buf = buf + 2; | |
411 | mod = (TYPE_FBIT (type) + TYPE_IBIT (type)) % 4; | |
412 | if (mod) | |
413 | sprintf (new_buf++, "%x", (1 << mod) - 1); | |
414 | for (i = 0; i < (TYPE_FBIT (type) + TYPE_IBIT (type)) / 4; i++) | |
415 | sprintf (new_buf++, "F"); | |
416 | sprintf (new_buf, "P-%d%s", TYPE_FBIT (type), suffix); | |
417 | builtin_define_with_value (name, buf, 0); | |
418 | ||
419 | sprintf (name, "__%s_EPSILON__", name_prefix); | |
420 | sprintf (buf, "0x1P-%d%s", TYPE_FBIT (type), suffix); | |
421 | builtin_define_with_value (name, buf, 0); | |
422 | } | |
423 | ||
f3449a3c | 424 | /* Define macros used by <stdint.h>. */ |
36bccbfc | 425 | static void |
426 | builtin_define_stdint_macros (void) | |
427 | { | |
f3449a3c | 428 | builtin_define_type_max ("__INTMAX_MAX__", intmax_type_node); |
429 | builtin_define_constants ("__INTMAX_C", intmax_type_node); | |
430 | builtin_define_type_max ("__UINTMAX_MAX__", uintmax_type_node); | |
431 | builtin_define_constants ("__UINTMAX_C", uintmax_type_node); | |
432 | if (sig_atomic_type_node) | |
433 | builtin_define_type_minmax ("__SIG_ATOMIC_MIN__", "__SIG_ATOMIC_MAX__", | |
434 | sig_atomic_type_node); | |
435 | if (int8_type_node) | |
436 | builtin_define_type_max ("__INT8_MAX__", int8_type_node); | |
437 | if (int16_type_node) | |
438 | builtin_define_type_max ("__INT16_MAX__", int16_type_node); | |
439 | if (int32_type_node) | |
440 | builtin_define_type_max ("__INT32_MAX__", int32_type_node); | |
441 | if (int64_type_node) | |
442 | builtin_define_type_max ("__INT64_MAX__", int64_type_node); | |
443 | if (uint8_type_node) | |
444 | builtin_define_type_max ("__UINT8_MAX__", uint8_type_node); | |
74bdbe96 | 445 | if (c_uint16_type_node) |
446 | builtin_define_type_max ("__UINT16_MAX__", c_uint16_type_node); | |
f3449a3c | 447 | if (c_uint32_type_node) |
448 | builtin_define_type_max ("__UINT32_MAX__", c_uint32_type_node); | |
449 | if (c_uint64_type_node) | |
450 | builtin_define_type_max ("__UINT64_MAX__", c_uint64_type_node); | |
451 | if (int_least8_type_node) | |
452 | { | |
453 | builtin_define_type_max ("__INT_LEAST8_MAX__", int_least8_type_node); | |
454 | builtin_define_constants ("__INT8_C", int_least8_type_node); | |
455 | } | |
456 | if (int_least16_type_node) | |
457 | { | |
458 | builtin_define_type_max ("__INT_LEAST16_MAX__", int_least16_type_node); | |
459 | builtin_define_constants ("__INT16_C", int_least16_type_node); | |
460 | } | |
461 | if (int_least32_type_node) | |
462 | { | |
463 | builtin_define_type_max ("__INT_LEAST32_MAX__", int_least32_type_node); | |
464 | builtin_define_constants ("__INT32_C", int_least32_type_node); | |
465 | } | |
466 | if (int_least64_type_node) | |
467 | { | |
468 | builtin_define_type_max ("__INT_LEAST64_MAX__", int_least64_type_node); | |
469 | builtin_define_constants ("__INT64_C", int_least64_type_node); | |
470 | } | |
471 | if (uint_least8_type_node) | |
472 | { | |
473 | builtin_define_type_max ("__UINT_LEAST8_MAX__", uint_least8_type_node); | |
474 | builtin_define_constants ("__UINT8_C", uint_least8_type_node); | |
475 | } | |
476 | if (uint_least16_type_node) | |
477 | { | |
478 | builtin_define_type_max ("__UINT_LEAST16_MAX__", uint_least16_type_node); | |
479 | builtin_define_constants ("__UINT16_C", uint_least16_type_node); | |
480 | } | |
481 | if (uint_least32_type_node) | |
482 | { | |
483 | builtin_define_type_max ("__UINT_LEAST32_MAX__", uint_least32_type_node); | |
484 | builtin_define_constants ("__UINT32_C", uint_least32_type_node); | |
485 | } | |
486 | if (uint_least64_type_node) | |
487 | { | |
488 | builtin_define_type_max ("__UINT_LEAST64_MAX__", uint_least64_type_node); | |
489 | builtin_define_constants ("__UINT64_C", uint_least64_type_node); | |
490 | } | |
491 | if (int_fast8_type_node) | |
492 | builtin_define_type_max ("__INT_FAST8_MAX__", int_fast8_type_node); | |
493 | if (int_fast16_type_node) | |
494 | builtin_define_type_max ("__INT_FAST16_MAX__", int_fast16_type_node); | |
495 | if (int_fast32_type_node) | |
496 | builtin_define_type_max ("__INT_FAST32_MAX__", int_fast32_type_node); | |
497 | if (int_fast64_type_node) | |
498 | builtin_define_type_max ("__INT_FAST64_MAX__", int_fast64_type_node); | |
499 | if (uint_fast8_type_node) | |
500 | builtin_define_type_max ("__UINT_FAST8_MAX__", uint_fast8_type_node); | |
501 | if (uint_fast16_type_node) | |
502 | builtin_define_type_max ("__UINT_FAST16_MAX__", uint_fast16_type_node); | |
503 | if (uint_fast32_type_node) | |
504 | builtin_define_type_max ("__UINT_FAST32_MAX__", uint_fast32_type_node); | |
505 | if (uint_fast64_type_node) | |
506 | builtin_define_type_max ("__UINT_FAST64_MAX__", uint_fast64_type_node); | |
507 | if (intptr_type_node) | |
508 | builtin_define_type_max ("__INTPTR_MAX__", intptr_type_node); | |
509 | if (uintptr_type_node) | |
510 | builtin_define_type_max ("__UINTPTR_MAX__", uintptr_type_node); | |
36bccbfc | 511 | } |
512 | ||
46f8e3b0 | 513 | /* Adjust the optimization macros when a #pragma GCC optimization is done to |
514 | reflect the current level. */ | |
515 | void | |
516 | c_cpp_builtins_optimize_pragma (cpp_reader *pfile, tree prev_tree, | |
517 | tree cur_tree) | |
518 | { | |
519 | struct cl_optimization *prev = TREE_OPTIMIZATION (prev_tree); | |
520 | struct cl_optimization *cur = TREE_OPTIMIZATION (cur_tree); | |
521 | bool prev_fast_math; | |
522 | bool cur_fast_math; | |
523 | ||
524 | /* -undef turns off target-specific built-ins. */ | |
525 | if (flag_undef) | |
526 | return; | |
527 | ||
528 | /* Other target-independent built-ins determined by command-line | |
529 | options. */ | |
5ae82d58 | 530 | if (!prev->x_optimize_size && cur->x_optimize_size) |
46f8e3b0 | 531 | cpp_define (pfile, "__OPTIMIZE_SIZE__"); |
5ae82d58 | 532 | else if (prev->x_optimize_size && !cur->x_optimize_size) |
46f8e3b0 | 533 | cpp_undef (pfile, "__OPTIMIZE_SIZE__"); |
534 | ||
5ae82d58 | 535 | if (!prev->x_optimize && cur->x_optimize) |
46f8e3b0 | 536 | cpp_define (pfile, "__OPTIMIZE__"); |
5ae82d58 | 537 | else if (prev->x_optimize && !cur->x_optimize) |
46f8e3b0 | 538 | cpp_undef (pfile, "__OPTIMIZE__"); |
539 | ||
540 | prev_fast_math = fast_math_flags_struct_set_p (prev); | |
541 | cur_fast_math = fast_math_flags_struct_set_p (cur); | |
542 | if (!prev_fast_math && cur_fast_math) | |
543 | cpp_define (pfile, "__FAST_MATH__"); | |
544 | else if (prev_fast_math && !cur_fast_math) | |
545 | cpp_undef (pfile, "__FAST_MATH__"); | |
546 | ||
5ae82d58 | 547 | if (!prev->x_flag_signaling_nans && cur->x_flag_signaling_nans) |
46f8e3b0 | 548 | cpp_define (pfile, "__SUPPORT_SNAN__"); |
5ae82d58 | 549 | else if (prev->x_flag_signaling_nans && !cur->x_flag_signaling_nans) |
46f8e3b0 | 550 | cpp_undef (pfile, "__SUPPORT_SNAN__"); |
551 | ||
5ae82d58 | 552 | if (!prev->x_flag_finite_math_only && cur->x_flag_finite_math_only) |
46f8e3b0 | 553 | { |
554 | cpp_undef (pfile, "__FINITE_MATH_ONLY__"); | |
555 | cpp_define (pfile, "__FINITE_MATH_ONLY__=1"); | |
556 | } | |
2bdf2b6e | 557 | else if (prev->x_flag_finite_math_only && !cur->x_flag_finite_math_only) |
46f8e3b0 | 558 | { |
559 | cpp_undef (pfile, "__FINITE_MATH_ONLY__"); | |
560 | cpp_define (pfile, "__FINITE_MATH_ONLY__=0"); | |
561 | } | |
562 | } | |
563 | ||
564 | ||
c4606d19 | 565 | /* This function will emit cpp macros to indicate the presence of various lock |
566 | free atomic operations. */ | |
567 | ||
568 | static void | |
569 | cpp_atomic_builtins (cpp_reader *pfile) | |
570 | { | |
571 | /* Set a flag for each size of object that compare and swap exists for up to | |
572 | a 16 byte object. */ | |
573 | #define SWAP_LIMIT 17 | |
574 | bool have_swap[SWAP_LIMIT]; | |
575 | unsigned int psize; | |
576 | ||
577 | /* Clear the map of sizes compare_and swap exists for. */ | |
578 | memset (have_swap, 0, sizeof (have_swap)); | |
579 | ||
580 | /* Tell source code if the compiler makes sync_compare_and_swap | |
581 | builtins available. */ | |
582 | #ifndef HAVE_sync_compare_and_swapqi | |
583 | #define HAVE_sync_compare_and_swapqi 0 | |
584 | #endif | |
585 | #ifndef HAVE_atomic_compare_and_swapqi | |
586 | #define HAVE_atomic_compare_and_swapqi 0 | |
587 | #endif | |
588 | ||
589 | if (HAVE_sync_compare_and_swapqi || HAVE_atomic_compare_and_swapqi) | |
590 | { | |
591 | cpp_define (pfile, "__GCC_HAVE_SYNC_COMPARE_AND_SWAP_1"); | |
592 | have_swap[1] = true; | |
593 | } | |
594 | ||
595 | #ifndef HAVE_sync_compare_and_swaphi | |
596 | #define HAVE_sync_compare_and_swaphi 0 | |
597 | #endif | |
598 | #ifndef HAVE_atomic_compare_and_swaphi | |
599 | #define HAVE_atomic_compare_and_swaphi 0 | |
600 | #endif | |
601 | if (HAVE_sync_compare_and_swaphi || HAVE_atomic_compare_and_swaphi) | |
602 | { | |
603 | cpp_define (pfile, "__GCC_HAVE_SYNC_COMPARE_AND_SWAP_2"); | |
604 | have_swap[2] = true; | |
605 | } | |
606 | ||
607 | #ifndef HAVE_sync_compare_and_swapsi | |
608 | #define HAVE_sync_compare_and_swapsi 0 | |
609 | #endif | |
610 | #ifndef HAVE_atomic_compare_and_swapsi | |
611 | #define HAVE_atomic_compare_and_swapsi 0 | |
612 | #endif | |
613 | if (HAVE_sync_compare_and_swapsi || HAVE_atomic_compare_and_swapsi) | |
614 | { | |
615 | cpp_define (pfile, "__GCC_HAVE_SYNC_COMPARE_AND_SWAP_4"); | |
616 | have_swap[4] = true; | |
617 | } | |
618 | ||
619 | #ifndef HAVE_sync_compare_and_swapdi | |
620 | #define HAVE_sync_compare_and_swapdi 0 | |
621 | #endif | |
622 | #ifndef HAVE_atomic_compare_and_swapdi | |
623 | #define HAVE_atomic_compare_and_swapdi 0 | |
624 | #endif | |
625 | if (HAVE_sync_compare_and_swapdi || HAVE_atomic_compare_and_swapdi) | |
626 | { | |
627 | cpp_define (pfile, "__GCC_HAVE_SYNC_COMPARE_AND_SWAP_8"); | |
628 | have_swap[8] = true; | |
629 | } | |
630 | ||
631 | #ifndef HAVE_sync_compare_and_swapti | |
632 | #define HAVE_sync_compare_and_swapti 0 | |
633 | #endif | |
634 | #ifndef HAVE_atomic_compare_and_swapti | |
635 | #define HAVE_atomic_compare_and_swapti 0 | |
636 | #endif | |
637 | if (HAVE_sync_compare_and_swapti || HAVE_atomic_compare_and_swapti) | |
638 | { | |
639 | cpp_define (pfile, "__GCC_HAVE_SYNC_COMPARE_AND_SWAP_16"); | |
640 | have_swap[16] = true; | |
641 | } | |
642 | ||
32074525 | 643 | /* Tell the source code about various types. These map to the C++11 and C11 |
c4606d19 | 644 | macros where 2 indicates lock-free always, and 1 indicates sometimes |
645 | lock free. */ | |
6a0712d4 | 646 | #define SIZEOF_NODE(T) (tree_to_uhwi (TYPE_SIZE_UNIT (T))) |
c4606d19 | 647 | #define SWAP_INDEX(T) ((SIZEOF_NODE (T) < SWAP_LIMIT) ? SIZEOF_NODE (T) : 0) |
648 | builtin_define_with_int_value ("__GCC_ATOMIC_BOOL_LOCK_FREE", | |
649 | (have_swap[SWAP_INDEX (boolean_type_node)]? 2 : 1)); | |
650 | builtin_define_with_int_value ("__GCC_ATOMIC_CHAR_LOCK_FREE", | |
651 | (have_swap[SWAP_INDEX (signed_char_type_node)]? 2 : 1)); | |
652 | builtin_define_with_int_value ("__GCC_ATOMIC_CHAR16_T_LOCK_FREE", | |
653 | (have_swap[SWAP_INDEX (char16_type_node)]? 2 : 1)); | |
654 | builtin_define_with_int_value ("__GCC_ATOMIC_CHAR32_T_LOCK_FREE", | |
655 | (have_swap[SWAP_INDEX (char32_type_node)]? 2 : 1)); | |
656 | builtin_define_with_int_value ("__GCC_ATOMIC_WCHAR_T_LOCK_FREE", | |
657 | (have_swap[SWAP_INDEX (wchar_type_node)]? 2 : 1)); | |
658 | builtin_define_with_int_value ("__GCC_ATOMIC_SHORT_LOCK_FREE", | |
659 | (have_swap[SWAP_INDEX (short_integer_type_node)]? 2 : 1)); | |
660 | builtin_define_with_int_value ("__GCC_ATOMIC_INT_LOCK_FREE", | |
661 | (have_swap[SWAP_INDEX (integer_type_node)]? 2 : 1)); | |
662 | builtin_define_with_int_value ("__GCC_ATOMIC_LONG_LOCK_FREE", | |
663 | (have_swap[SWAP_INDEX (long_integer_type_node)]? 2 : 1)); | |
664 | builtin_define_with_int_value ("__GCC_ATOMIC_LLONG_LOCK_FREE", | |
665 | (have_swap[SWAP_INDEX (long_long_integer_type_node)]? 2 : 1)); | |
666 | ||
df1680c8 | 667 | /* If we're dealing with a "set" value that doesn't exactly correspond |
668 | to a boolean truth value, let the library work around that. */ | |
669 | builtin_define_with_int_value ("__GCC_ATOMIC_TEST_AND_SET_TRUEVAL", | |
670 | targetm.atomic_test_and_set_trueval); | |
671 | ||
c4606d19 | 672 | /* ptr_type_node can't be used here since ptr_mode is only set when |
673 | toplev calls backend_init which is not done with -E or pch. */ | |
926ddd2c | 674 | psize = POINTER_SIZE_UNITS; |
c4606d19 | 675 | if (psize >= SWAP_LIMIT) |
676 | psize = 0; | |
677 | builtin_define_with_int_value ("__GCC_ATOMIC_POINTER_LOCK_FREE", | |
678 | (have_swap[psize]? 2 : 1)); | |
679 | } | |
680 | ||
4c866b9b | 681 | /* Return the value for __GCC_IEC_559. */ |
682 | static int | |
683 | cpp_iec_559_value (void) | |
684 | { | |
685 | /* The default is support for IEEE 754-2008. */ | |
686 | int ret = 2; | |
687 | ||
688 | /* float and double must be binary32 and binary64. If they are but | |
689 | with reversed NaN convention, at most IEEE 754-1985 is | |
690 | supported. */ | |
691 | const struct real_format *ffmt | |
692 | = REAL_MODE_FORMAT (TYPE_MODE (float_type_node)); | |
693 | const struct real_format *dfmt | |
694 | = REAL_MODE_FORMAT (TYPE_MODE (double_type_node)); | |
695 | if (!ffmt->qnan_msb_set || !dfmt->qnan_msb_set) | |
696 | ret = 1; | |
697 | if (ffmt->b != 2 | |
698 | || ffmt->p != 24 | |
699 | || ffmt->pnan != 24 | |
700 | || ffmt->emin != -125 | |
701 | || ffmt->emax != 128 | |
702 | || ffmt->signbit_rw != 31 | |
703 | || ffmt->round_towards_zero | |
704 | || !ffmt->has_sign_dependent_rounding | |
705 | || !ffmt->has_nans | |
706 | || !ffmt->has_inf | |
707 | || !ffmt->has_denorm | |
708 | || !ffmt->has_signed_zero | |
709 | || dfmt->b != 2 | |
710 | || dfmt->p != 53 | |
711 | || dfmt->pnan != 53 | |
712 | || dfmt->emin != -1021 | |
713 | || dfmt->emax != 1024 | |
714 | || dfmt->signbit_rw != 63 | |
715 | || dfmt->round_towards_zero | |
716 | || !dfmt->has_sign_dependent_rounding | |
717 | || !dfmt->has_nans | |
718 | || !dfmt->has_inf | |
719 | || !dfmt->has_denorm | |
720 | || !dfmt->has_signed_zero) | |
721 | ret = 0; | |
722 | ||
723 | /* In strict C standards conformance mode, consider unpredictable | |
4f8f4cb8 | 724 | excess precision to mean lack of IEEE 754 support. The same |
725 | applies to unpredictable contraction. For C++, and outside | |
726 | strict conformance mode, do not consider these options to mean | |
727 | lack of IEEE 754 support. */ | |
4c866b9b | 728 | if (flag_iso |
729 | && !c_dialect_cxx () | |
730 | && TARGET_FLT_EVAL_METHOD != 0 | |
08c5f4d5 | 731 | && flag_excess_precision_cmdline != EXCESS_PRECISION_STANDARD) |
4c866b9b | 732 | ret = 0; |
4f8f4cb8 | 733 | if (flag_iso |
734 | && !c_dialect_cxx () | |
735 | && flag_fp_contract_mode == FP_CONTRACT_FAST) | |
736 | ret = 0; | |
4c866b9b | 737 | |
738 | /* Various options are contrary to IEEE 754 semantics. */ | |
739 | if (flag_unsafe_math_optimizations | |
740 | || flag_associative_math | |
741 | || flag_reciprocal_math | |
742 | || flag_finite_math_only | |
743 | || !flag_signed_zeros | |
744 | || flag_single_precision_constant) | |
745 | ret = 0; | |
746 | ||
747 | /* If the target does not support IEEE 754 exceptions and rounding | |
748 | modes, consider IEEE 754 support to be absent. */ | |
749 | if (!targetm.float_exceptions_rounding_supported_p ()) | |
750 | ret = 0; | |
751 | ||
752 | return ret; | |
753 | } | |
754 | ||
755 | /* Return the value for __GCC_IEC_559_COMPLEX. */ | |
756 | static int | |
757 | cpp_iec_559_complex_value (void) | |
758 | { | |
759 | /* The value is no bigger than that of __GCC_IEC_559. */ | |
760 | int ret = cpp_iec_559_value (); | |
761 | ||
762 | /* Some options are contrary to the required default state of the | |
763 | CX_LIMITED_RANGE pragma. */ | |
764 | if (flag_complex_method != 2) | |
765 | ret = 0; | |
766 | ||
767 | return ret; | |
768 | } | |
769 | ||
fd6f6435 | 770 | /* Hook that registers front end and target-specific built-ins. */ |
771 | void | |
1cae46be | 772 | c_cpp_builtins (cpp_reader *pfile) |
fd6f6435 | 773 | { |
9f75f026 | 774 | int i; |
775 | ||
fd6f6435 | 776 | /* -undef turns off target-specific built-ins. */ |
777 | if (flag_undef) | |
778 | return; | |
779 | ||
41acdfa4 | 780 | define_language_independent_builtin_macros (pfile); |
781 | ||
782 | if (c_dialect_cxx ()) | |
783 | { | |
784 | int major; | |
785 | parse_basever (&major, NULL, NULL); | |
786 | cpp_define_formatted (pfile, "__GNUG__=%d", major); | |
787 | } | |
fd6f6435 | 788 | |
789 | /* For stddef.h. They require macros defined in c-common.c. */ | |
790 | c_stddef_cpp_builtins (); | |
791 | ||
f6751ff2 | 792 | /* Set include test macros for all C/C++ (not for just C++11 etc.) |
793 | the builtins __has_include__ and __has_include_next__ are defined | |
794 | in libcpp. */ | |
795 | cpp_define (pfile, "__has_include(STR)=__has_include__(STR)"); | |
796 | cpp_define (pfile, "__has_include_next(STR)=__has_include_next__(STR)"); | |
797 | ||
c0f19401 | 798 | if (c_dialect_cxx ()) |
fd6f6435 | 799 | { |
a0c938f0 | 800 | if (flag_weak && SUPPORTS_ONE_ONLY) |
fd6f6435 | 801 | cpp_define (pfile, "__GXX_WEAK__=1"); |
802 | else | |
803 | cpp_define (pfile, "__GXX_WEAK__=0"); | |
f6751ff2 | 804 | |
fd6f6435 | 805 | if (warn_deprecated) |
806 | cpp_define (pfile, "__DEPRECATED"); | |
f6751ff2 | 807 | |
be46c846 | 808 | if (flag_rtti) |
809 | cpp_define (pfile, "__GXX_RTTI"); | |
f6751ff2 | 810 | |
60777f69 | 811 | if (cxx_dialect >= cxx11) |
6236dd57 | 812 | cpp_define (pfile, "__GXX_EXPERIMENTAL_CXX0X__"); |
f6751ff2 | 813 | |
814 | /* Binary literals have been allowed in g++ before C++11 | |
815 | and were standardized for C++14. */ | |
816 | if (!pedantic || cxx_dialect > cxx11) | |
817 | cpp_define (pfile, "__cpp_binary_literals=201304"); | |
818 | if (cxx_dialect >= cxx11) | |
819 | { | |
820 | /* Set feature test macros for C++11 */ | |
821 | cpp_define (pfile, "__cpp_unicode_characters=200704"); | |
822 | cpp_define (pfile, "__cpp_raw_strings=200710"); | |
823 | cpp_define (pfile, "__cpp_unicode_literals=200710"); | |
824 | cpp_define (pfile, "__cpp_user_defined_literals=200809"); | |
825 | cpp_define (pfile, "__cpp_lambdas=200907"); | |
826 | cpp_define (pfile, "__cpp_constexpr=200704"); | |
827 | cpp_define (pfile, "__cpp_static_assert=200410"); | |
828 | cpp_define (pfile, "__cpp_decltype=200707"); | |
829 | cpp_define (pfile, "__cpp_attributes=200809"); | |
830 | cpp_define (pfile, "__cpp_rvalue_reference=200610"); | |
831 | cpp_define (pfile, "__cpp_variadic_templates=200704"); | |
832 | cpp_define (pfile, "__cpp_alias_templates=200704"); | |
5b8257e3 | 833 | cpp_define (pfile, "__cpp_attribute_deprecated=201309"); |
f6751ff2 | 834 | } |
835 | if (cxx_dialect > cxx11) | |
836 | { | |
837 | /* Set feature test macros for C++14 */ | |
838 | cpp_define (pfile, "__cpp_return_type_deduction=201304"); | |
839 | cpp_define (pfile, "__cpp_init_captures=201304"); | |
840 | cpp_define (pfile, "__cpp_generic_lambdas=201304"); | |
841 | //cpp_undef (pfile, "__cpp_constexpr"); | |
842 | //cpp_define (pfile, "__cpp_constexpr=201304"); | |
843 | cpp_define (pfile, "__cpp_decltype_auto=201304"); | |
844 | //cpp_define (pfile, "__cpp_aggregate_nsdmi=201304"); | |
845 | cpp_define (pfile, "__cpp_variable_templates=201304"); | |
846 | cpp_define (pfile, "__cpp_digit_separators=201309"); | |
f6751ff2 | 847 | //cpp_define (pfile, "__cpp_sized_deallocation=201309"); |
848 | /* We'll have to see where runtime arrays wind up. | |
849 | Let's put it in C++14 for now. */ | |
850 | cpp_define (pfile, "__cpp_runtime_arrays=201304"); | |
851 | } | |
fd6f6435 | 852 | } |
321de941 | 853 | /* Note that we define this for C as well, so that we know if |
854 | __attribute__((cleanup)) will interface with EH. */ | |
08cd2194 | 855 | if (flag_exceptions) |
856 | cpp_define (pfile, "__EXCEPTIONS"); | |
fd6f6435 | 857 | |
21dda4ee | 858 | /* Represents the C++ ABI version, always defined so it can be used while |
fd6f6435 | 859 | preprocessing C and assembler. */ |
26785ec8 | 860 | if (flag_abi_version == 0) |
861 | /* Use a very large value so that: | |
862 | ||
a0c938f0 | 863 | #if __GXX_ABI_VERSION >= <value for version X> |
26785ec8 | 864 | |
865 | will work whether the user explicitly says "-fabi-version=x" or | |
866 | "-fabi-version=0". Do not use INT_MAX because that will be | |
867 | different from system to system. */ | |
868 | builtin_define_with_int_value ("__GXX_ABI_VERSION", 999999); | |
869 | else if (flag_abi_version == 1) | |
86481e89 | 870 | /* Due to a historical accident, this version had the value |
26785ec8 | 871 | "102". */ |
872 | builtin_define_with_int_value ("__GXX_ABI_VERSION", 102); | |
873 | else | |
21dda4ee | 874 | /* Newer versions have values 1002, 1003, .... */ |
a0c938f0 | 875 | builtin_define_with_int_value ("__GXX_ABI_VERSION", |
26785ec8 | 876 | 1000 + flag_abi_version); |
fd6f6435 | 877 | |
878 | /* libgcc needs to know this. */ | |
218e3e4e | 879 | if (targetm_common.except_unwind_info (&global_options) == UI_SJLJ) |
fd6f6435 | 880 | cpp_define (pfile, "__USING_SJLJ_EXCEPTIONS__"); |
881 | ||
f3449a3c | 882 | /* limits.h and stdint.h need to know these. */ |
883 | builtin_define_type_max ("__SCHAR_MAX__", signed_char_type_node); | |
884 | builtin_define_type_max ("__SHRT_MAX__", short_integer_type_node); | |
885 | builtin_define_type_max ("__INT_MAX__", integer_type_node); | |
886 | builtin_define_type_max ("__LONG_MAX__", long_integer_type_node); | |
887 | builtin_define_type_max ("__LONG_LONG_MAX__", long_long_integer_type_node); | |
888 | builtin_define_type_minmax ("__WCHAR_MIN__", "__WCHAR_MAX__", | |
889 | underlying_wchar_type_node); | |
890 | builtin_define_type_minmax ("__WINT_MIN__", "__WINT_MAX__", wint_type_node); | |
891 | builtin_define_type_max ("__PTRDIFF_MAX__", ptrdiff_type_node); | |
892 | builtin_define_type_max ("__SIZE_MAX__", size_type_node); | |
fd6f6435 | 893 | |
a4ba863e | 894 | if (c_dialect_cxx ()) |
895 | for (i = 0; i < NUM_INT_N_ENTS; i ++) | |
896 | if (int_n_enabled_p[i]) | |
897 | { | |
898 | char buf[35+20+20]; | |
899 | ||
900 | /* These are used to configure the C++ library. */ | |
901 | ||
902 | if (!flag_iso || int_n_data[i].bitsize == POINTER_SIZE) | |
903 | { | |
904 | sprintf (buf, "__GLIBCXX_TYPE_INT_N_%d=__int%d", i, int_n_data[i].bitsize); | |
905 | cpp_define (parse_in, buf); | |
906 | ||
907 | sprintf (buf, "__GLIBCXX_BITSIZE_INT_N_%d=%d", i, int_n_data[i].bitsize); | |
908 | cpp_define (parse_in, buf); | |
909 | } | |
910 | } | |
9f75f026 | 911 | |
f3449a3c | 912 | /* stdint.h and the testsuite need to know these. */ |
36bccbfc | 913 | builtin_define_stdint_macros (); |
914 | ||
4c866b9b | 915 | /* Provide information for library headers to determine whether to |
916 | define macros such as __STDC_IEC_559__ and | |
917 | __STDC_IEC_559_COMPLEX__. */ | |
918 | builtin_define_with_int_value ("__GCC_IEC_559", cpp_iec_559_value ()); | |
919 | builtin_define_with_int_value ("__GCC_IEC_559_COMPLEX", | |
920 | cpp_iec_559_complex_value ()); | |
921 | ||
41acdfa4 | 922 | /* float.h needs to know this. */ |
fd6f6435 | 923 | builtin_define_with_int_value ("__FLT_EVAL_METHOD__", |
924 | TARGET_FLT_EVAL_METHOD); | |
925 | ||
c4503c0a | 926 | /* And decfloat.h needs this. */ |
927 | builtin_define_with_int_value ("__DEC_EVAL_METHOD__", | |
928 | TARGET_DEC_EVAL_METHOD); | |
929 | ||
7e0713b1 | 930 | builtin_define_float_constants ("FLT", "F", "%s", "F", float_type_node); |
3ae3a17f | 931 | /* Cast the double precision constants. This is needed when single |
932 | precision constants are specified or when pragma FLOAT_CONST_DECIMAL64 | |
933 | is used. The correct result is computed by the compiler when using | |
597d2d81 | 934 | macros that include a cast. We use a different cast for C++ to avoid |
935 | problems with -Wold-style-cast. */ | |
936 | builtin_define_float_constants ("DBL", "L", | |
937 | (c_dialect_cxx () | |
938 | ? "double(%s)" | |
939 | : "((double)%s)"), | |
940 | "", double_type_node); | |
7e0713b1 | 941 | builtin_define_float_constants ("LDBL", "L", "%s", "L", |
942 | long_double_type_node); | |
fd6f6435 | 943 | |
c4503c0a | 944 | /* For decfloat.h. */ |
945 | builtin_define_decimal_float_constants ("DEC32", "DF", dfloat32_type_node); | |
946 | builtin_define_decimal_float_constants ("DEC64", "DD", dfloat64_type_node); | |
947 | builtin_define_decimal_float_constants ("DEC128", "DL", dfloat128_type_node); | |
948 | ||
68a556d6 | 949 | /* For fixed-point fibt, ibit, max, min, and epsilon. */ |
950 | if (targetm.fixed_point_supported_p ()) | |
951 | { | |
952 | builtin_define_fixed_point_constants ("SFRACT", "HR", | |
953 | short_fract_type_node); | |
954 | builtin_define_fixed_point_constants ("USFRACT", "UHR", | |
955 | unsigned_short_fract_type_node); | |
956 | builtin_define_fixed_point_constants ("FRACT", "R", | |
957 | fract_type_node); | |
958 | builtin_define_fixed_point_constants ("UFRACT", "UR", | |
959 | unsigned_fract_type_node); | |
960 | builtin_define_fixed_point_constants ("LFRACT", "LR", | |
961 | long_fract_type_node); | |
962 | builtin_define_fixed_point_constants ("ULFRACT", "ULR", | |
963 | unsigned_long_fract_type_node); | |
964 | builtin_define_fixed_point_constants ("LLFRACT", "LLR", | |
965 | long_long_fract_type_node); | |
966 | builtin_define_fixed_point_constants ("ULLFRACT", "ULLR", | |
967 | unsigned_long_long_fract_type_node); | |
968 | builtin_define_fixed_point_constants ("SACCUM", "HK", | |
969 | short_accum_type_node); | |
970 | builtin_define_fixed_point_constants ("USACCUM", "UHK", | |
971 | unsigned_short_accum_type_node); | |
972 | builtin_define_fixed_point_constants ("ACCUM", "K", | |
973 | accum_type_node); | |
974 | builtin_define_fixed_point_constants ("UACCUM", "UK", | |
975 | unsigned_accum_type_node); | |
976 | builtin_define_fixed_point_constants ("LACCUM", "LK", | |
977 | long_accum_type_node); | |
978 | builtin_define_fixed_point_constants ("ULACCUM", "ULK", | |
979 | unsigned_long_accum_type_node); | |
980 | builtin_define_fixed_point_constants ("LLACCUM", "LLK", | |
981 | long_long_accum_type_node); | |
982 | builtin_define_fixed_point_constants ("ULLACCUM", "ULLK", | |
983 | unsigned_long_long_accum_type_node); | |
984 | ||
985 | builtin_define_fixed_point_constants ("QQ", "", qq_type_node); | |
986 | builtin_define_fixed_point_constants ("HQ", "", hq_type_node); | |
987 | builtin_define_fixed_point_constants ("SQ", "", sq_type_node); | |
988 | builtin_define_fixed_point_constants ("DQ", "", dq_type_node); | |
989 | builtin_define_fixed_point_constants ("TQ", "", tq_type_node); | |
990 | builtin_define_fixed_point_constants ("UQQ", "", uqq_type_node); | |
991 | builtin_define_fixed_point_constants ("UHQ", "", uhq_type_node); | |
992 | builtin_define_fixed_point_constants ("USQ", "", usq_type_node); | |
993 | builtin_define_fixed_point_constants ("UDQ", "", udq_type_node); | |
994 | builtin_define_fixed_point_constants ("UTQ", "", utq_type_node); | |
995 | builtin_define_fixed_point_constants ("HA", "", ha_type_node); | |
996 | builtin_define_fixed_point_constants ("SA", "", sa_type_node); | |
997 | builtin_define_fixed_point_constants ("DA", "", da_type_node); | |
998 | builtin_define_fixed_point_constants ("TA", "", ta_type_node); | |
999 | builtin_define_fixed_point_constants ("UHA", "", uha_type_node); | |
1000 | builtin_define_fixed_point_constants ("USA", "", usa_type_node); | |
1001 | builtin_define_fixed_point_constants ("UDA", "", uda_type_node); | |
1002 | builtin_define_fixed_point_constants ("UTA", "", uta_type_node); | |
1003 | } | |
1004 | ||
a6f06169 | 1005 | /* For libgcc-internal use only. */ |
1006 | if (flag_building_libgcc) | |
325b8c3c | 1007 | { |
b660d3c6 | 1008 | /* Properties of floating-point modes for libgcc2.c. */ |
3754d046 | 1009 | for (machine_mode mode = GET_CLASS_NARROWEST_MODE (MODE_FLOAT); |
b660d3c6 | 1010 | mode != VOIDmode; |
1011 | mode = GET_MODE_WIDER_MODE (mode)) | |
1012 | { | |
1013 | const char *name = GET_MODE_NAME (mode); | |
1014 | char *macro_name | |
1015 | = (char *) alloca (strlen (name) | |
1016 | + sizeof ("__LIBGCC__MANT_DIG__")); | |
1017 | sprintf (macro_name, "__LIBGCC_%s_MANT_DIG__", name); | |
1018 | builtin_define_with_int_value (macro_name, | |
1019 | REAL_MODE_FORMAT (mode)->p); | |
d5957f0d | 1020 | if (!targetm.scalar_mode_supported_p (mode) |
1021 | || !targetm.libgcc_floating_mode_supported_p (mode)) | |
1022 | continue; | |
1023 | macro_name = (char *) alloca (strlen (name) | |
1024 | + sizeof ("__LIBGCC_HAS__MODE__")); | |
1025 | sprintf (macro_name, "__LIBGCC_HAS_%s_MODE__", name); | |
1026 | cpp_define (pfile, macro_name); | |
168dfbf0 | 1027 | macro_name = (char *) alloca (strlen (name) |
1028 | + sizeof ("__LIBGCC__FUNC_EXT__")); | |
1029 | sprintf (macro_name, "__LIBGCC_%s_FUNC_EXT__", name); | |
1030 | const char *suffix; | |
1031 | if (mode == TYPE_MODE (double_type_node)) | |
1032 | suffix = ""; | |
1033 | else if (mode == TYPE_MODE (float_type_node)) | |
1034 | suffix = "f"; | |
1035 | else if (mode == TYPE_MODE (long_double_type_node)) | |
1036 | suffix = "l"; | |
1037 | /* ??? The following assumes the built-in functions (defined | |
1038 | in target-specific code) match the suffixes used for | |
1039 | constants. Because in fact such functions are not | |
1040 | defined for the 'w' suffix, 'l' is used there | |
1041 | instead. */ | |
1042 | else if (mode == targetm.c.mode_for_suffix ('q')) | |
1043 | suffix = "q"; | |
1044 | else if (mode == targetm.c.mode_for_suffix ('w')) | |
1045 | suffix = "l"; | |
1046 | else | |
1047 | gcc_unreachable (); | |
1048 | builtin_define_with_value (macro_name, suffix, 0); | |
0cb69d12 | 1049 | bool excess_precision = false; |
1050 | if (TARGET_FLT_EVAL_METHOD != 0 | |
1051 | && mode != TYPE_MODE (long_double_type_node) | |
1052 | && (mode == TYPE_MODE (float_type_node) | |
1053 | || mode == TYPE_MODE (double_type_node))) | |
1054 | switch (TARGET_FLT_EVAL_METHOD) | |
1055 | { | |
1056 | case -1: | |
1057 | case 2: | |
1058 | excess_precision = true; | |
1059 | break; | |
1060 | ||
1061 | case 1: | |
1062 | excess_precision = mode == TYPE_MODE (float_type_node); | |
1063 | break; | |
1064 | ||
1065 | default: | |
1066 | gcc_unreachable (); | |
1067 | } | |
1068 | macro_name = (char *) alloca (strlen (name) | |
1069 | + sizeof ("__LIBGCC__EXCESS_" | |
1070 | "PRECISION__")); | |
1071 | sprintf (macro_name, "__LIBGCC_%s_EXCESS_PRECISION__", name); | |
1072 | builtin_define_with_int_value (macro_name, excess_precision); | |
b660d3c6 | 1073 | } |
1074 | ||
325b8c3c | 1075 | /* For libgcc crtstuff.c and libgcc2.c. */ |
1076 | builtin_define_with_int_value ("__LIBGCC_EH_TABLES_CAN_BE_READ_ONLY__", | |
1077 | EH_TABLES_CAN_BE_READ_ONLY); | |
1078 | #ifdef EH_FRAME_SECTION_NAME | |
1079 | builtin_define_with_value ("__LIBGCC_EH_FRAME_SECTION_NAME__", | |
1080 | EH_FRAME_SECTION_NAME, 1); | |
1081 | #endif | |
1082 | #ifdef JCR_SECTION_NAME | |
1083 | builtin_define_with_value ("__LIBGCC_JCR_SECTION_NAME__", | |
1084 | JCR_SECTION_NAME, 1); | |
1085 | #endif | |
1086 | #ifdef CTORS_SECTION_ASM_OP | |
1087 | builtin_define_with_value ("__LIBGCC_CTORS_SECTION_ASM_OP__", | |
1088 | CTORS_SECTION_ASM_OP, 1); | |
1089 | #endif | |
1090 | #ifdef DTORS_SECTION_ASM_OP | |
1091 | builtin_define_with_value ("__LIBGCC_DTORS_SECTION_ASM_OP__", | |
1092 | DTORS_SECTION_ASM_OP, 1); | |
1093 | #endif | |
1094 | #ifdef TEXT_SECTION_ASM_OP | |
1095 | builtin_define_with_value ("__LIBGCC_TEXT_SECTION_ASM_OP__", | |
1096 | TEXT_SECTION_ASM_OP, 1); | |
1097 | #endif | |
1098 | #ifdef INIT_SECTION_ASM_OP | |
1099 | builtin_define_with_value ("__LIBGCC_INIT_SECTION_ASM_OP__", | |
1100 | INIT_SECTION_ASM_OP, 1); | |
1101 | #endif | |
1102 | #ifdef INIT_ARRAY_SECTION_ASM_OP | |
1103 | /* Despite the name of this target macro, the expansion is not | |
1104 | actually used, and may be empty rather than a string | |
1105 | constant. */ | |
1106 | cpp_define (pfile, "__LIBGCC_INIT_ARRAY_SECTION_ASM_OP__"); | |
1107 | #endif | |
1108 | ||
1109 | /* For libgcc enable-execute-stack.c. */ | |
1110 | builtin_define_with_int_value ("__LIBGCC_TRAMPOLINE_SIZE__", | |
1111 | TRAMPOLINE_SIZE); | |
1112 | ||
1113 | /* For libgcc generic-morestack.c and unwinder code. */ | |
1114 | #ifdef STACK_GROWS_DOWNWARD | |
1115 | cpp_define (pfile, "__LIBGCC_STACK_GROWS_DOWNWARD__"); | |
1116 | #endif | |
1117 | ||
1118 | /* For libgcc unwinder code. */ | |
1119 | #ifdef DONT_USE_BUILTIN_SETJMP | |
1120 | cpp_define (pfile, "__LIBGCC_DONT_USE_BUILTIN_SETJMP__"); | |
1121 | #endif | |
1122 | #ifdef DWARF_ALT_FRAME_RETURN_COLUMN | |
1123 | builtin_define_with_int_value ("__LIBGCC_DWARF_ALT_FRAME_RETURN_COLUMN__", | |
1124 | DWARF_ALT_FRAME_RETURN_COLUMN); | |
1125 | #endif | |
1126 | builtin_define_with_int_value ("__LIBGCC_DWARF_FRAME_REGISTERS__", | |
1127 | DWARF_FRAME_REGISTERS); | |
1128 | #ifdef EH_RETURN_STACKADJ_RTX | |
1129 | cpp_define (pfile, "__LIBGCC_EH_RETURN_STACKADJ_RTX__"); | |
1130 | #endif | |
1131 | #ifdef JMP_BUF_SIZE | |
1132 | builtin_define_with_int_value ("__LIBGCC_JMP_BUF_SIZE__", | |
1133 | JMP_BUF_SIZE); | |
1134 | #endif | |
1135 | builtin_define_with_int_value ("__LIBGCC_STACK_POINTER_REGNUM__", | |
1136 | STACK_POINTER_REGNUM); | |
1137 | ||
1138 | /* For libgcov. */ | |
1139 | builtin_define_with_int_value ("__LIBGCC_VTABLE_USES_DESCRIPTORS__", | |
1140 | TARGET_VTABLE_USES_DESCRIPTORS); | |
1141 | } | |
a6f06169 | 1142 | |
fd6f6435 | 1143 | /* For use in assembly language. */ |
1144 | builtin_define_with_value ("__REGISTER_PREFIX__", REGISTER_PREFIX, 0); | |
1145 | builtin_define_with_value ("__USER_LABEL_PREFIX__", user_label_prefix, 0); | |
1146 | ||
1147 | /* Misc. */ | |
11950bdd | 1148 | if (flag_gnu89_inline) |
1149 | cpp_define (pfile, "__GNUC_GNU_INLINE__"); | |
1150 | else | |
1151 | cpp_define (pfile, "__GNUC_STDC_INLINE__"); | |
1152 | ||
1c2f0012 | 1153 | if (flag_no_inline) |
fd6f6435 | 1154 | cpp_define (pfile, "__NO_INLINE__"); |
fd6f6435 | 1155 | |
1156 | if (flag_iso) | |
1157 | cpp_define (pfile, "__STRICT_ANSI__"); | |
1158 | ||
1159 | if (!flag_signed_char) | |
1160 | cpp_define (pfile, "__CHAR_UNSIGNED__"); | |
1161 | ||
78a8ed03 | 1162 | if (c_dialect_cxx () && TYPE_UNSIGNED (wchar_type_node)) |
fd6f6435 | 1163 | cpp_define (pfile, "__WCHAR_UNSIGNED__"); |
1164 | ||
c4606d19 | 1165 | cpp_atomic_builtins (pfile); |
1166 | ||
fb39ff6e | 1167 | #ifdef DWARF2_UNWIND_INFO |
3dcd5df1 | 1168 | if (dwarf2out_do_cfi_asm ()) |
fb39ff6e | 1169 | cpp_define (pfile, "__GCC_HAVE_DWARF2_CFI_ASM"); |
1170 | #endif | |
1171 | ||
fd6f6435 | 1172 | /* Make the choice of ObjC runtime visible to source code. */ |
c0f19401 | 1173 | if (c_dialect_objc () && flag_next_runtime) |
fd6f6435 | 1174 | cpp_define (pfile, "__NEXT_RUNTIME__"); |
1175 | ||
146c1b4f | 1176 | /* Show the availability of some target pragmas. */ |
7f68f564 | 1177 | cpp_define (pfile, "__PRAGMA_REDEFINE_EXTNAME"); |
146c1b4f | 1178 | |
d206a072 | 1179 | /* Make the choice of the stack protector runtime visible to source code. |
1180 | The macro names and values here were chosen for compatibility with an | |
1181 | earlier implementation, i.e. ProPolice. */ | |
b156ec37 | 1182 | if (flag_stack_protect == 3) |
1183 | cpp_define (pfile, "__SSP_STRONG__=3"); | |
f1a0edff | 1184 | if (flag_stack_protect == 2) |
1185 | cpp_define (pfile, "__SSP_ALL__=2"); | |
1186 | else if (flag_stack_protect == 1) | |
1187 | cpp_define (pfile, "__SSP__=1"); | |
1188 | ||
1e8e9920 | 1189 | if (flag_openmp) |
bc7bff74 | 1190 | cpp_define (pfile, "_OPENMP=201307"); |
1e8e9920 | 1191 | |
9f75f026 | 1192 | for (i = 0; i < NUM_INT_N_ENTS; i ++) |
1193 | if (int_n_enabled_p[i]) | |
1194 | { | |
1195 | char buf[15+20]; | |
1196 | sprintf(buf, "__SIZEOF_INT%d__", int_n_data[i].bitsize); | |
1197 | builtin_define_type_sizeof (buf, | |
1198 | int_n_trees[i].signed_type); | |
1199 | } | |
6a60f216 | 1200 | builtin_define_type_sizeof ("__SIZEOF_WCHAR_T__", wchar_type_node); |
1201 | builtin_define_type_sizeof ("__SIZEOF_WINT_T__", wint_type_node); | |
1202 | builtin_define_type_sizeof ("__SIZEOF_PTRDIFF_T__", | |
1203 | unsigned_ptrdiff_type_node); | |
6a60f216 | 1204 | |
fd6f6435 | 1205 | /* A straightforward target hook doesn't work, because of problems |
1206 | linking that hook's body when part of non-C front ends. */ | |
1207 | # define preprocessing_asm_p() (cpp_get_options (pfile)->lang == CLK_ASM) | |
1208 | # define preprocessing_trad_p() (cpp_get_options (pfile)->traditional) | |
1209 | # define builtin_define(TXT) cpp_define (pfile, TXT) | |
1210 | # define builtin_assert(TXT) cpp_assert (pfile, TXT) | |
1211 | TARGET_CPU_CPP_BUILTINS (); | |
1212 | TARGET_OS_CPP_BUILTINS (); | |
6abe46e3 | 1213 | TARGET_OBJFMT_CPP_BUILTINS (); |
3c5c992f | 1214 | |
1215 | /* Support the __declspec keyword by turning them into attributes. | |
1216 | Note that the current way we do this may result in a collision | |
1217 | with predefined attributes later on. This can be solved by using | |
1218 | one attribute, say __declspec__, and passing args to it. The | |
1219 | problem with that approach is that args are not accumulated: each | |
1220 | new appearance would clobber any existing args. */ | |
1221 | if (TARGET_DECLSPEC) | |
1222 | builtin_define ("__declspec(x)=__attribute__((x))"); | |
10de71e1 | 1223 | |
839803bd | 1224 | /* If decimal floating point is supported, tell the user if the |
1225 | alternate format (BID) is used instead of the standard (DPD) | |
1226 | format. */ | |
1227 | if (ENABLE_DECIMAL_FLOAT && ENABLE_DECIMAL_BID_FORMAT) | |
1228 | cpp_define (pfile, "__DECIMAL_BID_FORMAT__"); | |
fd6f6435 | 1229 | } |
1230 | ||
1231 | /* Pass an object-like macro. If it doesn't lie in the user's | |
1232 | namespace, defines it unconditionally. Otherwise define a version | |
1233 | with two leading underscores, and another version with two leading | |
1234 | and trailing underscores, and define the original only if an ISO | |
1235 | standard was not nominated. | |
1236 | ||
1237 | e.g. passing "unix" defines "__unix", "__unix__" and possibly | |
1238 | "unix". Passing "_mips" defines "__mips", "__mips__" and possibly | |
1239 | "_mips". */ | |
7226cebd | 1240 | void |
1cae46be | 1241 | builtin_define_std (const char *macro) |
fd6f6435 | 1242 | { |
1243 | size_t len = strlen (macro); | |
a9c6c0e3 | 1244 | char *buff = (char *) alloca (len + 5); |
fd6f6435 | 1245 | char *p = buff + 2; |
1246 | char *q = p + len; | |
1247 | ||
1248 | /* prepend __ (or maybe just _) if in user's namespace. */ | |
1249 | memcpy (p, macro, len + 1); | |
1250 | if (!( *p == '_' && (p[1] == '_' || ISUPPER (p[1])))) | |
1251 | { | |
1252 | if (*p != '_') | |
1253 | *--p = '_'; | |
1254 | if (p[1] != '_') | |
1255 | *--p = '_'; | |
1256 | } | |
1257 | cpp_define (parse_in, p); | |
1258 | ||
1259 | /* If it was in user's namespace... */ | |
1260 | if (p != buff + 2) | |
1261 | { | |
1262 | /* Define the macro with leading and following __. */ | |
1263 | if (q[-1] != '_') | |
1264 | *q++ = '_'; | |
1265 | if (q[-2] != '_') | |
1266 | *q++ = '_'; | |
1267 | *q = '\0'; | |
1268 | cpp_define (parse_in, p); | |
1269 | ||
1270 | /* Finally, define the original macro if permitted. */ | |
1271 | if (!flag_iso) | |
1272 | cpp_define (parse_in, macro); | |
1273 | } | |
1274 | } | |
1275 | ||
1276 | /* Pass an object-like macro and a value to define it to. The third | |
1277 | parameter says whether or not to turn the value into a string | |
1278 | constant. */ | |
1279 | void | |
1cae46be | 1280 | builtin_define_with_value (const char *macro, const char *expansion, int is_str) |
fd6f6435 | 1281 | { |
1282 | char *buf; | |
1283 | size_t mlen = strlen (macro); | |
1284 | size_t elen = strlen (expansion); | |
1285 | size_t extra = 2; /* space for an = and a NUL */ | |
1286 | ||
1287 | if (is_str) | |
325b8c3c | 1288 | { |
1289 | char *quoted_expansion = (char *) alloca (elen * 4 + 1); | |
1290 | const char *p; | |
1291 | char *q; | |
1292 | extra += 2; /* space for two quote marks */ | |
1293 | for (p = expansion, q = quoted_expansion; *p; p++) | |
1294 | { | |
1295 | switch (*p) | |
1296 | { | |
1297 | case '\n': | |
1298 | *q++ = '\\'; | |
1299 | *q++ = 'n'; | |
1300 | break; | |
1301 | ||
1302 | case '\t': | |
1303 | *q++ = '\\'; | |
1304 | *q++ = 't'; | |
1305 | break; | |
1306 | ||
1307 | case '\\': | |
1308 | *q++ = '\\'; | |
1309 | *q++ = '\\'; | |
1310 | break; | |
1311 | ||
1312 | case '"': | |
1313 | *q++ = '\\'; | |
1314 | *q++ = '"'; | |
1315 | break; | |
1316 | ||
1317 | default: | |
1318 | if (ISPRINT ((unsigned char) *p)) | |
1319 | *q++ = *p; | |
1320 | else | |
1321 | { | |
1322 | sprintf (q, "\\%03o", (unsigned char) *p); | |
1323 | q += 4; | |
1324 | } | |
1325 | } | |
1326 | } | |
1327 | *q = '\0'; | |
1328 | expansion = quoted_expansion; | |
1329 | elen = q - expansion; | |
1330 | } | |
fd6f6435 | 1331 | |
a9c6c0e3 | 1332 | buf = (char *) alloca (mlen + elen + extra); |
fd6f6435 | 1333 | if (is_str) |
1334 | sprintf (buf, "%s=\"%s\"", macro, expansion); | |
1335 | else | |
1336 | sprintf (buf, "%s=%s", macro, expansion); | |
1337 | ||
1338 | cpp_define (parse_in, buf); | |
1339 | } | |
1340 | ||
fd6f6435 | 1341 | |
1342 | /* Pass an object-like macro and an integer value to define it to. */ | |
1343 | static void | |
1cae46be | 1344 | builtin_define_with_int_value (const char *macro, HOST_WIDE_INT value) |
fd6f6435 | 1345 | { |
1346 | char *buf; | |
1347 | size_t mlen = strlen (macro); | |
1348 | size_t vlen = 18; | |
1349 | size_t extra = 2; /* space for = and NUL. */ | |
1350 | ||
a9c6c0e3 | 1351 | buf = (char *) alloca (mlen + vlen + extra); |
fd6f6435 | 1352 | memcpy (buf, macro, mlen); |
1353 | buf[mlen] = '='; | |
1354 | sprintf (buf + mlen + 1, HOST_WIDE_INT_PRINT_DEC, value); | |
1355 | ||
1356 | cpp_define (parse_in, buf); | |
1357 | } | |
1358 | ||
25692381 | 1359 | /* builtin_define_with_hex_fp_value is very expensive, so the following |
1360 | array and function allows it to be done lazily when __DBL_MAX__ | |
1361 | etc. is first used. */ | |
1362 | ||
59805910 | 1363 | struct GTY(()) lazy_hex_fp_value_struct |
25692381 | 1364 | { |
1365 | const char *hex_str; | |
1366 | cpp_macro *macro; | |
3754d046 | 1367 | machine_mode mode; |
25692381 | 1368 | int digits; |
1369 | const char *fp_suffix; | |
59805910 | 1370 | }; |
1371 | static GTY(()) struct lazy_hex_fp_value_struct lazy_hex_fp_values[12]; | |
1372 | static GTY(()) int lazy_hex_fp_value_count; | |
25692381 | 1373 | |
1374 | static bool | |
1375 | lazy_hex_fp_value (cpp_reader *pfile ATTRIBUTE_UNUSED, | |
1376 | cpp_hashnode *node) | |
1377 | { | |
1378 | REAL_VALUE_TYPE real; | |
1379 | char dec_str[64], buf1[256]; | |
1380 | unsigned int idx; | |
1381 | if (node->value.builtin < BT_FIRST_USER | |
1382 | || (int) node->value.builtin >= BT_FIRST_USER + lazy_hex_fp_value_count) | |
1383 | return false; | |
1384 | ||
1385 | idx = node->value.builtin - BT_FIRST_USER; | |
1386 | real_from_string (&real, lazy_hex_fp_values[idx].hex_str); | |
1387 | real_to_decimal_for_mode (dec_str, &real, sizeof (dec_str), | |
1388 | lazy_hex_fp_values[idx].digits, 0, | |
1389 | lazy_hex_fp_values[idx].mode); | |
1390 | ||
1391 | sprintf (buf1, "%s%s", dec_str, lazy_hex_fp_values[idx].fp_suffix); | |
1392 | node->flags &= ~(NODE_BUILTIN | NODE_USED); | |
1393 | node->value.macro = lazy_hex_fp_values[idx].macro; | |
1394 | for (idx = 0; idx < node->value.macro->count; idx++) | |
1395 | if (node->value.macro->exp.tokens[idx].type == CPP_NUMBER) | |
1396 | break; | |
1397 | gcc_assert (idx < node->value.macro->count); | |
1398 | node->value.macro->exp.tokens[idx].val.str.len = strlen (buf1); | |
1399 | node->value.macro->exp.tokens[idx].val.str.text | |
59805910 | 1400 | = (const unsigned char *) ggc_strdup (buf1); |
25692381 | 1401 | return true; |
1402 | } | |
1403 | ||
fd6f6435 | 1404 | /* Pass an object-like macro a hexadecimal floating-point value. */ |
1405 | static void | |
1cae46be | 1406 | builtin_define_with_hex_fp_value (const char *macro, |
e2eb2b7f | 1407 | tree type, int digits, |
48e1416a | 1408 | const char *hex_str, |
6e24d2a7 | 1409 | const char *fp_suffix, |
1410 | const char *fp_cast) | |
fd6f6435 | 1411 | { |
1412 | REAL_VALUE_TYPE real; | |
6e24d2a7 | 1413 | char dec_str[64], buf1[256], buf2[256]; |
fd6f6435 | 1414 | |
25692381 | 1415 | /* This is very expensive, so if possible expand them lazily. */ |
1416 | if (lazy_hex_fp_value_count < 12 | |
1417 | && flag_dump_macros == 0 | |
1418 | && !cpp_get_options (parse_in)->traditional) | |
1419 | { | |
1420 | struct cpp_hashnode *node; | |
1421 | if (lazy_hex_fp_value_count == 0) | |
1422 | cpp_get_callbacks (parse_in)->user_builtin_macro = lazy_hex_fp_value; | |
1423 | sprintf (buf2, fp_cast, "1.1"); | |
1424 | sprintf (buf1, "%s=%s", macro, buf2); | |
1425 | cpp_define (parse_in, buf1); | |
1426 | node = C_CPP_HASHNODE (get_identifier (macro)); | |
59805910 | 1427 | lazy_hex_fp_values[lazy_hex_fp_value_count].hex_str |
1428 | = ggc_strdup (hex_str); | |
25692381 | 1429 | lazy_hex_fp_values[lazy_hex_fp_value_count].mode = TYPE_MODE (type); |
1430 | lazy_hex_fp_values[lazy_hex_fp_value_count].digits = digits; | |
1431 | lazy_hex_fp_values[lazy_hex_fp_value_count].fp_suffix = fp_suffix; | |
1432 | lazy_hex_fp_values[lazy_hex_fp_value_count].macro = node->value.macro; | |
1433 | node->flags |= NODE_BUILTIN; | |
d74003b4 | 1434 | node->value.builtin |
1435 | = (enum cpp_builtin_type) (BT_FIRST_USER + lazy_hex_fp_value_count); | |
25692381 | 1436 | lazy_hex_fp_value_count++; |
1437 | return; | |
1438 | } | |
1439 | ||
fd6f6435 | 1440 | /* Hex values are really cool and convenient, except that they're |
1441 | not supported in strict ISO C90 mode. First, the "p-" sequence | |
1442 | is not valid as part of a preprocessor number. Second, we get a | |
1443 | pedwarn from the preprocessor, which has no context, so we can't | |
1444 | suppress the warning with __extension__. | |
1445 | ||
1cae46be | 1446 | So instead what we do is construct the number in hex (because |
fd6f6435 | 1447 | it's easy to get the exact correct value), parse it as a real, |
1448 | then print it back out as decimal. */ | |
1449 | ||
1450 | real_from_string (&real, hex_str); | |
e2eb2b7f | 1451 | real_to_decimal_for_mode (dec_str, &real, sizeof (dec_str), digits, 0, |
1452 | TYPE_MODE (type)); | |
fd6f6435 | 1453 | |
6e24d2a7 | 1454 | /* Assemble the macro in the following fashion |
1455 | macro = fp_cast [dec_str fp_suffix] */ | |
1456 | sprintf (buf1, "%s%s", dec_str, fp_suffix); | |
1457 | sprintf (buf2, fp_cast, buf1); | |
1458 | sprintf (buf1, "%s=%s", macro, buf2); | |
48e1416a | 1459 | |
6e24d2a7 | 1460 | cpp_define (parse_in, buf1); |
fd6f6435 | 1461 | } |
1462 | ||
f3449a3c | 1463 | /* Return a string constant for the suffix for a value of type TYPE |
1464 | promoted according to the integer promotions. The type must be one | |
1465 | of the standard integer type nodes. */ | |
1466 | ||
1467 | static const char * | |
1468 | type_suffix (tree type) | |
1469 | { | |
1470 | static const char *const suffixes[] = { "", "U", "L", "UL", "LL", "ULL" }; | |
1471 | int unsigned_suffix; | |
1472 | int is_long; | |
9f75f026 | 1473 | int tp = TYPE_PRECISION (type); |
f3449a3c | 1474 | |
1475 | if (type == long_long_integer_type_node | |
9f75f026 | 1476 | || type == long_long_unsigned_type_node |
1477 | || tp > TYPE_PRECISION (long_integer_type_node)) | |
f3449a3c | 1478 | is_long = 2; |
1479 | else if (type == long_integer_type_node | |
9f75f026 | 1480 | || type == long_unsigned_type_node |
1481 | || tp > TYPE_PRECISION (integer_type_node)) | |
f3449a3c | 1482 | is_long = 1; |
1483 | else if (type == integer_type_node | |
1484 | || type == unsigned_type_node | |
1485 | || type == short_integer_type_node | |
1486 | || type == short_unsigned_type_node | |
1487 | || type == signed_char_type_node | |
1488 | || type == unsigned_char_type_node | |
1489 | /* ??? "char" is not a signed or unsigned integer type and | |
1490 | so is not permitted for the standard typedefs, but some | |
1491 | systems use it anyway. */ | |
1492 | || type == char_type_node) | |
1493 | is_long = 0; | |
1494 | else | |
1495 | gcc_unreachable (); | |
1496 | ||
1497 | unsigned_suffix = TYPE_UNSIGNED (type); | |
1498 | if (TYPE_PRECISION (type) < TYPE_PRECISION (integer_type_node)) | |
1499 | unsigned_suffix = 0; | |
1500 | return suffixes[is_long * 2 + unsigned_suffix]; | |
1501 | } | |
1502 | ||
1503 | /* Define MACRO as a <stdint.h> constant-suffix macro for TYPE. */ | |
1504 | static void | |
1505 | builtin_define_constants (const char *macro, tree type) | |
1506 | { | |
1507 | const char *suffix; | |
1508 | char *buf; | |
1509 | ||
1510 | suffix = type_suffix (type); | |
1511 | ||
1512 | if (suffix[0] == 0) | |
1513 | { | |
1514 | buf = (char *) alloca (strlen (macro) + 6); | |
1515 | sprintf (buf, "%s(c)=c", macro); | |
1516 | } | |
1517 | else | |
1518 | { | |
1519 | buf = (char *) alloca (strlen (macro) + 9 + strlen (suffix) + 1); | |
1520 | sprintf (buf, "%s(c)=c ## %s", macro, suffix); | |
1521 | } | |
1522 | ||
1523 | cpp_define (parse_in, buf); | |
1524 | } | |
1525 | ||
1526 | /* Define MAX for TYPE based on the precision of the type. */ | |
1527 | ||
1528 | static void | |
1529 | builtin_define_type_max (const char *macro, tree type) | |
1530 | { | |
1531 | builtin_define_type_minmax (NULL, macro, type); | |
1532 | } | |
1533 | ||
33c8dcfe | 1534 | /* Given a value with COUNT LSBs set, fill BUF with a hexidecimal |
1535 | representation of that value. For example, a COUNT of 10 would | |
1536 | return "0x3ff". */ | |
1537 | ||
1538 | static void | |
1539 | print_bits_of_hex (char *buf, int bufsz, int count) | |
1540 | { | |
1541 | gcc_assert (bufsz > 3); | |
1542 | *buf++ = '0'; | |
1543 | *buf++ = 'x'; | |
1544 | bufsz -= 2; | |
1545 | ||
1546 | gcc_assert (count > 0); | |
1547 | ||
1548 | switch (count % 4) { | |
1549 | case 0: | |
1550 | break; | |
1551 | case 1: | |
1552 | *buf++ = '1'; | |
1553 | bufsz --; | |
1554 | count -= 1; | |
1555 | break; | |
1556 | case 2: | |
1557 | *buf++ = '3'; | |
1558 | bufsz --; | |
1559 | count -= 2; | |
1560 | break; | |
1561 | case 3: | |
1562 | *buf++ = '7'; | |
1563 | bufsz --; | |
1564 | count -= 3; | |
1565 | break; | |
1566 | } | |
1567 | while (count >= 4) | |
1568 | { | |
1569 | gcc_assert (bufsz > 1); | |
1570 | *buf++ = 'f'; | |
1571 | bufsz --; | |
1572 | count -= 4; | |
1573 | } | |
1574 | gcc_assert (bufsz > 0); | |
1575 | *buf++ = 0; | |
1576 | } | |
1577 | ||
f3449a3c | 1578 | /* Define MIN_MACRO (if not NULL) and MAX_MACRO for TYPE based on the |
1579 | precision of the type. */ | |
fd6f6435 | 1580 | |
1581 | static void | |
f3449a3c | 1582 | builtin_define_type_minmax (const char *min_macro, const char *max_macro, |
1583 | tree type) | |
fd6f6435 | 1584 | { |
33c8dcfe | 1585 | #define PBOH_SZ (MAX_BITSIZE_MODE_ANY_INT/4+4) |
1586 | char value[PBOH_SZ]; | |
1587 | ||
1588 | const char *suffix; | |
fd6f6435 | 1589 | char *buf; |
33c8dcfe | 1590 | int bits; |
fd6f6435 | 1591 | |
33c8dcfe | 1592 | bits = TYPE_PRECISION (type) + (TYPE_UNSIGNED (type) ? 0 : -1); |
1593 | ||
1594 | print_bits_of_hex (value, PBOH_SZ, bits); | |
fd6f6435 | 1595 | |
f3449a3c | 1596 | suffix = type_suffix (type); |
fd6f6435 | 1597 | |
f3449a3c | 1598 | buf = (char *) alloca (strlen (max_macro) + 1 + strlen (value) |
a9c6c0e3 | 1599 | + strlen (suffix) + 1); |
f3449a3c | 1600 | sprintf (buf, "%s=%s%s", max_macro, value, suffix); |
fd6f6435 | 1601 | |
1602 | cpp_define (parse_in, buf); | |
f3449a3c | 1603 | |
1604 | if (min_macro) | |
1605 | { | |
1606 | if (TYPE_UNSIGNED (type)) | |
1607 | { | |
1608 | buf = (char *) alloca (strlen (min_macro) + 2 + strlen (suffix) + 1); | |
1609 | sprintf (buf, "%s=0%s", min_macro, suffix); | |
1610 | } | |
1611 | else | |
1612 | { | |
1613 | buf = (char *) alloca (strlen (min_macro) + 3 | |
1614 | + strlen (max_macro) + 6); | |
1615 | sprintf (buf, "%s=(-%s - 1)", min_macro, max_macro); | |
1616 | } | |
1617 | cpp_define (parse_in, buf); | |
1618 | } | |
fd6f6435 | 1619 | } |
59805910 | 1620 | |
1621 | #include "gt-c-family-c-cppbuiltin.h" |