]>
Commit | Line | Data |
---|---|---|
5e351e96 | 1 | /* Core data structures for the 'tree' type. |
23a5b65a | 2 | Copyright (C) 1989-2014 Free Software Foundation, Inc. |
5e351e96 DN |
3 | |
4 | This file is part of GCC. | |
5 | ||
6 | GCC is free software; you can redistribute it and/or modify it under | |
7 | the terms of the GNU General Public License as published by the Free | |
8 | Software Foundation; either version 3, or (at your option) any later | |
9 | version. | |
10 | ||
11 | GCC is distributed in the hope that it will be useful, but WITHOUT ANY | |
12 | WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
13 | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
14 | for more details. | |
15 | ||
16 | You should have received a copy of the GNU General Public License | |
17 | along with GCC; see the file COPYING3. If not see | |
18 | <http://www.gnu.org/licenses/>. */ | |
19 | ||
20 | #ifndef GCC_TREE_CORE_H | |
21 | #define GCC_TREE_CORE_H | |
22 | ||
23 | #include "hashtab.h" | |
6e2830c3 | 24 | #include "hash-set.h" |
5e351e96 DN |
25 | #include "machmode.h" |
26 | #include "input.h" | |
27 | #include "statistics.h" | |
28 | #include "vec.h" | |
29 | #include "double-int.h" | |
30 | #include "real.h" | |
31 | #include "fixed-value.h" | |
32 | #include "alias.h" | |
33 | #include "flags.h" | |
34 | #include "symtab.h" | |
35 | ||
36 | /* This file contains all the data structures that define the 'tree' type. | |
37 | There are no accessor macros nor functions in this file. Only the | |
38 | basic data structures, extern declarations and type definitions. */ | |
39 | ||
40 | /*--------------------------------------------------------------------------- | |
41 | Forward type declarations. Mostly to avoid including unnecessary headers | |
42 | ---------------------------------------------------------------------------*/ | |
43 | struct function; | |
44 | struct real_value; | |
45 | struct fixed_value; | |
46 | struct ptr_info_def; | |
a895a2b8 | 47 | struct range_info_def; |
5e351e96 | 48 | struct die_struct; |
5e351e96 DN |
49 | |
50 | ||
51 | /*--------------------------------------------------------------------------- | |
52 | #defined constants | |
53 | ---------------------------------------------------------------------------*/ | |
54 | /* Nonzero if this is a call to a function whose return value depends | |
55 | solely on its arguments, has no side effects, and does not read | |
56 | global memory. This corresponds to TREE_READONLY for function | |
57 | decls. */ | |
58 | #define ECF_CONST (1 << 0) | |
59 | ||
60 | /* Nonzero if this is a call to "pure" function (like const function, | |
61 | but may read memory. This corresponds to DECL_PURE_P for function | |
62 | decls. */ | |
63 | #define ECF_PURE (1 << 1) | |
64 | ||
65 | /* Nonzero if this is ECF_CONST or ECF_PURE but cannot be proven to no | |
66 | infinite loop. This corresponds to DECL_LOOPING_CONST_OR_PURE_P | |
67 | for function decls.*/ | |
68 | #define ECF_LOOPING_CONST_OR_PURE (1 << 2) | |
69 | ||
70 | /* Nonzero if this call will never return. */ | |
71 | #define ECF_NORETURN (1 << 3) | |
72 | ||
73 | /* Nonzero if this is a call to malloc or a related function. */ | |
74 | #define ECF_MALLOC (1 << 4) | |
75 | ||
76 | /* Nonzero if it is plausible that this is a call to alloca. */ | |
77 | #define ECF_MAY_BE_ALLOCA (1 << 5) | |
78 | ||
79 | /* Nonzero if this is a call to a function that won't throw an exception. */ | |
80 | #define ECF_NOTHROW (1 << 6) | |
81 | ||
82 | /* Nonzero if this is a call to setjmp or a related function. */ | |
83 | #define ECF_RETURNS_TWICE (1 << 7) | |
84 | ||
85 | /* Nonzero if this call replaces the current stack frame. */ | |
86 | #define ECF_SIBCALL (1 << 8) | |
87 | ||
88 | /* Function does not read or write memory (but may have side effects, so | |
89 | it does not necessarily fit ECF_CONST). */ | |
90 | #define ECF_NOVOPS (1 << 9) | |
91 | ||
92 | /* The function does not lead to calls within current function unit. */ | |
93 | #define ECF_LEAF (1 << 10) | |
94 | ||
95 | /* Nonzero if this call does not affect transactions. */ | |
96 | #define ECF_TM_PURE (1 << 11) | |
97 | ||
98 | /* Nonzero if this call is into the transaction runtime library. */ | |
99 | #define ECF_TM_BUILTIN (1 << 12) | |
100 | ||
101 | /* Call argument flags. */ | |
102 | /* Nonzero if the argument is not dereferenced recursively, thus only | |
103 | directly reachable memory is read or written. */ | |
104 | #define EAF_DIRECT (1 << 0) | |
105 | ||
106 | /* Nonzero if memory reached by the argument is not clobbered. */ | |
107 | #define EAF_NOCLOBBER (1 << 1) | |
108 | ||
109 | /* Nonzero if the argument does not escape. */ | |
110 | #define EAF_NOESCAPE (1 << 2) | |
111 | ||
112 | /* Nonzero if the argument is not used by the function. */ | |
113 | #define EAF_UNUSED (1 << 3) | |
114 | ||
115 | /* Call return flags. */ | |
116 | /* Mask for the argument number that is returned. Lower two bits of | |
117 | the return flags, encodes argument slots zero to three. */ | |
118 | #define ERF_RETURN_ARG_MASK (3) | |
119 | ||
120 | /* Nonzero if the return value is equal to the argument number | |
121 | flags & ERF_RETURN_ARG_MASK. */ | |
122 | #define ERF_RETURNS_ARG (1 << 2) | |
123 | ||
124 | /* Nonzero if the return value does not alias with anything. Functions | |
125 | with the malloc attribute have this set on their return value. */ | |
126 | #define ERF_NOALIAS (1 << 3) | |
127 | ||
128 | ||
129 | /*--------------------------------------------------------------------------- | |
130 | Enumerations | |
131 | ---------------------------------------------------------------------------*/ | |
132 | /* Codes of tree nodes. */ | |
133 | #define DEFTREECODE(SYM, STRING, TYPE, NARGS) SYM, | |
134 | #define END_OF_BASE_TREE_CODES LAST_AND_UNUSED_TREE_CODE, | |
135 | ||
136 | enum tree_code { | |
137 | #include "all-tree.def" | |
138 | MAX_TREE_CODES | |
139 | }; | |
140 | ||
141 | #undef DEFTREECODE | |
142 | #undef END_OF_BASE_TREE_CODES | |
143 | ||
144 | /* Number of language-independent tree codes. */ | |
145 | #define NUM_TREE_CODES \ | |
146 | ((int) LAST_AND_UNUSED_TREE_CODE) | |
147 | ||
148 | #define CODE_CONTAINS_STRUCT(CODE, STRUCT) \ | |
149 | (tree_contains_struct[(CODE)][(STRUCT)]) | |
150 | ||
151 | ||
152 | /* Classify which part of the compiler has defined a given builtin function. | |
153 | Note that we assume below that this is no more than two bits. */ | |
154 | enum built_in_class { | |
155 | NOT_BUILT_IN = 0, | |
156 | BUILT_IN_FRONTEND, | |
157 | BUILT_IN_MD, | |
158 | BUILT_IN_NORMAL | |
159 | }; | |
160 | ||
161 | /* Last marker used for LTO stremaing of built_in_class. We can not add it | |
162 | to the enum since we need the enumb to fit in 2 bits. */ | |
163 | #define BUILT_IN_LAST (BUILT_IN_NORMAL + 1) | |
164 | ||
165 | /* Codes that identify the various built in functions | |
166 | so that expand_call can identify them quickly. */ | |
167 | #define DEF_BUILTIN(ENUM, N, C, T, LT, B, F, NA, AT, IM, COND) ENUM, | |
168 | enum built_in_function { | |
169 | #include "builtins.def" | |
170 | ||
edcf72f3 IE |
171 | BEGIN_CHKP_BUILTINS, |
172 | ||
173 | #undef DEF_BUILTIN | |
174 | #define DEF_BUILTIN(ENUM, N, C, T, LT, B, F, NA, AT, IM, COND) ENUM##_CHKP, | |
175 | #include "builtins.def" | |
176 | ||
177 | END_CHKP_BUILTINS, | |
178 | ||
5e351e96 DN |
179 | /* Complex division routines in libgcc. These are done via builtins |
180 | because emit_library_call_value can't handle complex values. */ | |
181 | BUILT_IN_COMPLEX_MUL_MIN, | |
182 | BUILT_IN_COMPLEX_MUL_MAX | |
183 | = BUILT_IN_COMPLEX_MUL_MIN | |
184 | + MAX_MODE_COMPLEX_FLOAT | |
185 | - MIN_MODE_COMPLEX_FLOAT, | |
186 | ||
187 | BUILT_IN_COMPLEX_DIV_MIN, | |
188 | BUILT_IN_COMPLEX_DIV_MAX | |
189 | = BUILT_IN_COMPLEX_DIV_MIN | |
190 | + MAX_MODE_COMPLEX_FLOAT | |
191 | - MIN_MODE_COMPLEX_FLOAT, | |
192 | ||
193 | /* Upper bound on non-language-specific builtins. */ | |
194 | END_BUILTINS | |
195 | }; | |
196 | #undef DEF_BUILTIN | |
197 | ||
198 | /* Tree code classes. Each tree_code has an associated code class | |
199 | represented by a TREE_CODE_CLASS. */ | |
200 | enum tree_code_class { | |
201 | tcc_exceptional, /* An exceptional code (fits no category). */ | |
202 | tcc_constant, /* A constant. */ | |
203 | /* Order of tcc_type and tcc_declaration is important. */ | |
204 | tcc_type, /* A type object code. */ | |
205 | tcc_declaration, /* A declaration (also serving as variable refs). */ | |
206 | tcc_reference, /* A reference to storage. */ | |
207 | tcc_comparison, /* A comparison expression. */ | |
208 | tcc_unary, /* A unary arithmetic expression. */ | |
209 | tcc_binary, /* A binary arithmetic expression. */ | |
210 | tcc_statement, /* A statement expression, which have side effects | |
211 | but usually no interesting value. */ | |
212 | tcc_vl_exp, /* A function call or other expression with a | |
213 | variable-length operand vector. */ | |
214 | tcc_expression /* Any other expression. */ | |
215 | }; | |
216 | ||
217 | /* OMP_CLAUSE codes. Do not reorder, as this is used to index into | |
218 | the tables omp_clause_num_ops and omp_clause_code_name. */ | |
219 | enum omp_clause_code { | |
220 | /* Clause zero is special-cased inside the parser | |
221 | (c_parser_omp_variable_list). */ | |
222 | OMP_CLAUSE_ERROR = 0, | |
223 | ||
224 | /* OpenMP clause: private (variable_list). */ | |
225 | OMP_CLAUSE_PRIVATE, | |
226 | ||
227 | /* OpenMP clause: shared (variable_list). */ | |
228 | OMP_CLAUSE_SHARED, | |
229 | ||
230 | /* OpenMP clause: firstprivate (variable_list). */ | |
231 | OMP_CLAUSE_FIRSTPRIVATE, | |
232 | ||
233 | /* OpenMP clause: lastprivate (variable_list). */ | |
234 | OMP_CLAUSE_LASTPRIVATE, | |
235 | ||
236 | /* OpenMP clause: reduction (operator:variable_list). | |
237 | OMP_CLAUSE_REDUCTION_CODE: The tree_code of the operator. | |
238 | Operand 1: OMP_CLAUSE_REDUCTION_INIT: Stmt-list to initialize the var. | |
239 | Operand 2: OMP_CLAUSE_REDUCTION_MERGE: Stmt-list to merge private var | |
240 | into the shared one. | |
241 | Operand 3: OMP_CLAUSE_REDUCTION_PLACEHOLDER: A dummy VAR_DECL | |
242 | placeholder used in OMP_CLAUSE_REDUCTION_{INIT,MERGE}. */ | |
243 | OMP_CLAUSE_REDUCTION, | |
244 | ||
245 | /* OpenMP clause: copyin (variable_list). */ | |
246 | OMP_CLAUSE_COPYIN, | |
247 | ||
248 | /* OpenMP clause: copyprivate (variable_list). */ | |
249 | OMP_CLAUSE_COPYPRIVATE, | |
250 | ||
251 | /* OpenMP clause: linear (variable-list[:linear-step]). */ | |
252 | OMP_CLAUSE_LINEAR, | |
253 | ||
acf0174b JJ |
254 | /* OpenMP clause: aligned (variable-list[:alignment]). */ |
255 | OMP_CLAUSE_ALIGNED, | |
256 | ||
257 | /* OpenMP clause: depend ({in,out,inout}:variable-list). */ | |
258 | OMP_CLAUSE_DEPEND, | |
259 | ||
5e351e96 DN |
260 | /* OpenMP clause: uniform (argument-list). */ |
261 | OMP_CLAUSE_UNIFORM, | |
262 | ||
acf0174b JJ |
263 | /* OpenMP clause: from (variable-list). */ |
264 | OMP_CLAUSE_FROM, | |
265 | ||
266 | /* OpenMP clause: to (variable-list). */ | |
267 | OMP_CLAUSE_TO, | |
268 | ||
269 | /* OpenMP clause: map ({alloc:,to:,from:,tofrom:,}variable-list). */ | |
270 | OMP_CLAUSE_MAP, | |
271 | ||
272 | /* Internal clause: temporary for combined loops expansion. */ | |
273 | OMP_CLAUSE__LOOPTEMP_, | |
274 | ||
5e351e96 DN |
275 | /* OpenMP clause: if (scalar-expression). */ |
276 | OMP_CLAUSE_IF, | |
277 | ||
278 | /* OpenMP clause: num_threads (integer-expression). */ | |
279 | OMP_CLAUSE_NUM_THREADS, | |
280 | ||
281 | /* OpenMP clause: schedule. */ | |
282 | OMP_CLAUSE_SCHEDULE, | |
283 | ||
284 | /* OpenMP clause: nowait. */ | |
285 | OMP_CLAUSE_NOWAIT, | |
286 | ||
287 | /* OpenMP clause: ordered. */ | |
288 | OMP_CLAUSE_ORDERED, | |
289 | ||
290 | /* OpenMP clause: default. */ | |
291 | OMP_CLAUSE_DEFAULT, | |
292 | ||
293 | /* OpenMP clause: collapse (constant-integer-expression). */ | |
294 | OMP_CLAUSE_COLLAPSE, | |
295 | ||
296 | /* OpenMP clause: untied. */ | |
297 | OMP_CLAUSE_UNTIED, | |
298 | ||
299 | /* OpenMP clause: final (scalar-expression). */ | |
300 | OMP_CLAUSE_FINAL, | |
301 | ||
302 | /* OpenMP clause: mergeable. */ | |
303 | OMP_CLAUSE_MERGEABLE, | |
304 | ||
acf0174b JJ |
305 | /* OpenMP clause: device (integer-expression). */ |
306 | OMP_CLAUSE_DEVICE, | |
307 | ||
308 | /* OpenMP clause: dist_schedule (static[:chunk-size]). */ | |
309 | OMP_CLAUSE_DIST_SCHEDULE, | |
310 | ||
311 | /* OpenMP clause: inbranch. */ | |
312 | OMP_CLAUSE_INBRANCH, | |
313 | ||
314 | /* OpenMP clause: notinbranch. */ | |
315 | OMP_CLAUSE_NOTINBRANCH, | |
316 | ||
317 | /* OpenMP clause: num_teams(integer-expression). */ | |
318 | OMP_CLAUSE_NUM_TEAMS, | |
319 | ||
320 | /* OpenMP clause: thread_limit(integer-expression). */ | |
321 | OMP_CLAUSE_THREAD_LIMIT, | |
322 | ||
323 | /* OpenMP clause: proc_bind ({master,close,spread}). */ | |
324 | OMP_CLAUSE_PROC_BIND, | |
325 | ||
5e351e96 DN |
326 | /* OpenMP clause: safelen (constant-integer-expression). */ |
327 | OMP_CLAUSE_SAFELEN, | |
328 | ||
acf0174b JJ |
329 | /* OpenMP clause: simdlen (constant-integer-expression). */ |
330 | OMP_CLAUSE_SIMDLEN, | |
331 | ||
332 | /* OpenMP clause: for. */ | |
333 | OMP_CLAUSE_FOR, | |
334 | ||
335 | /* OpenMP clause: parallel. */ | |
336 | OMP_CLAUSE_PARALLEL, | |
337 | ||
338 | /* OpenMP clause: sections. */ | |
339 | OMP_CLAUSE_SECTIONS, | |
340 | ||
341 | /* OpenMP clause: taskgroup. */ | |
342 | OMP_CLAUSE_TASKGROUP, | |
343 | ||
5e351e96 | 344 | /* Internally used only clause, holding SIMD uid. */ |
9a771876 JJ |
345 | OMP_CLAUSE__SIMDUID_, |
346 | ||
347 | /* Internally used only clause, holding _Cilk_for # of iterations | |
348 | on OMP_PARALLEL. */ | |
349 | OMP_CLAUSE__CILK_FOR_COUNT_ | |
5e351e96 DN |
350 | }; |
351 | ||
352 | #undef DEFTREESTRUCT | |
353 | #define DEFTREESTRUCT(ENUM, NAME) ENUM, | |
354 | enum tree_node_structure_enum { | |
355 | #include "treestruct.def" | |
356 | LAST_TS_ENUM | |
357 | }; | |
358 | #undef DEFTREESTRUCT | |
359 | ||
360 | enum omp_clause_schedule_kind { | |
361 | OMP_CLAUSE_SCHEDULE_STATIC, | |
362 | OMP_CLAUSE_SCHEDULE_DYNAMIC, | |
363 | OMP_CLAUSE_SCHEDULE_GUIDED, | |
364 | OMP_CLAUSE_SCHEDULE_AUTO, | |
c193f58b | 365 | OMP_CLAUSE_SCHEDULE_RUNTIME, |
9a771876 | 366 | OMP_CLAUSE_SCHEDULE_CILKFOR, |
c193f58b | 367 | OMP_CLAUSE_SCHEDULE_LAST |
5e351e96 DN |
368 | }; |
369 | ||
370 | enum omp_clause_default_kind { | |
371 | OMP_CLAUSE_DEFAULT_UNSPECIFIED, | |
372 | OMP_CLAUSE_DEFAULT_SHARED, | |
373 | OMP_CLAUSE_DEFAULT_NONE, | |
374 | OMP_CLAUSE_DEFAULT_PRIVATE, | |
c193f58b JJ |
375 | OMP_CLAUSE_DEFAULT_FIRSTPRIVATE, |
376 | OMP_CLAUSE_DEFAULT_LAST | |
5e351e96 DN |
377 | }; |
378 | ||
379 | /* There is a TYPE_QUAL value for each type qualifier. They can be | |
380 | combined by bitwise-or to form the complete set of qualifiers for a | |
381 | type. */ | |
382 | enum cv_qualifier { | |
383 | TYPE_UNQUALIFIED = 0x0, | |
384 | TYPE_QUAL_CONST = 0x1, | |
385 | TYPE_QUAL_VOLATILE = 0x2, | |
267bac10 JM |
386 | TYPE_QUAL_RESTRICT = 0x4, |
387 | TYPE_QUAL_ATOMIC = 0x8 | |
5e351e96 DN |
388 | }; |
389 | ||
390 | /* Enumerate visibility settings. */ | |
391 | #ifndef SYMBOL_VISIBILITY_DEFINED | |
392 | #define SYMBOL_VISIBILITY_DEFINED | |
393 | enum symbol_visibility { | |
394 | VISIBILITY_DEFAULT, | |
395 | VISIBILITY_PROTECTED, | |
396 | VISIBILITY_HIDDEN, | |
397 | VISIBILITY_INTERNAL | |
398 | }; | |
399 | #endif // SYMBOL_VISIBILITY_DEFINED | |
400 | ||
401 | /* Standard named or nameless data types of the C compiler. */ | |
402 | enum tree_index { | |
403 | TI_ERROR_MARK, | |
404 | TI_INTQI_TYPE, | |
405 | TI_INTHI_TYPE, | |
406 | TI_INTSI_TYPE, | |
407 | TI_INTDI_TYPE, | |
408 | TI_INTTI_TYPE, | |
409 | ||
410 | TI_UINTQI_TYPE, | |
411 | TI_UINTHI_TYPE, | |
412 | TI_UINTSI_TYPE, | |
413 | TI_UINTDI_TYPE, | |
414 | TI_UINTTI_TYPE, | |
415 | ||
267bac10 JM |
416 | TI_ATOMICQI_TYPE, |
417 | TI_ATOMICHI_TYPE, | |
418 | TI_ATOMICSI_TYPE, | |
419 | TI_ATOMICDI_TYPE, | |
420 | TI_ATOMICTI_TYPE, | |
421 | ||
5e351e96 DN |
422 | TI_UINT16_TYPE, |
423 | TI_UINT32_TYPE, | |
424 | TI_UINT64_TYPE, | |
425 | ||
632f2871 RS |
426 | TI_VOID, |
427 | ||
5e351e96 DN |
428 | TI_INTEGER_ZERO, |
429 | TI_INTEGER_ONE, | |
430 | TI_INTEGER_THREE, | |
431 | TI_INTEGER_MINUS_ONE, | |
432 | TI_NULL_POINTER, | |
433 | ||
434 | TI_SIZE_ZERO, | |
435 | TI_SIZE_ONE, | |
436 | ||
437 | TI_BITSIZE_ZERO, | |
438 | TI_BITSIZE_ONE, | |
439 | TI_BITSIZE_UNIT, | |
440 | ||
441 | TI_PUBLIC, | |
442 | TI_PROTECTED, | |
443 | TI_PRIVATE, | |
444 | ||
445 | TI_BOOLEAN_FALSE, | |
446 | TI_BOOLEAN_TRUE, | |
447 | ||
448 | TI_COMPLEX_INTEGER_TYPE, | |
449 | TI_COMPLEX_FLOAT_TYPE, | |
450 | TI_COMPLEX_DOUBLE_TYPE, | |
451 | TI_COMPLEX_LONG_DOUBLE_TYPE, | |
452 | ||
453 | TI_FLOAT_TYPE, | |
454 | TI_DOUBLE_TYPE, | |
455 | TI_LONG_DOUBLE_TYPE, | |
456 | ||
457 | TI_FLOAT_PTR_TYPE, | |
458 | TI_DOUBLE_PTR_TYPE, | |
459 | TI_LONG_DOUBLE_PTR_TYPE, | |
460 | TI_INTEGER_PTR_TYPE, | |
461 | ||
462 | TI_VOID_TYPE, | |
463 | TI_PTR_TYPE, | |
464 | TI_CONST_PTR_TYPE, | |
465 | TI_SIZE_TYPE, | |
466 | TI_PID_TYPE, | |
467 | TI_PTRDIFF_TYPE, | |
468 | TI_VA_LIST_TYPE, | |
469 | TI_VA_LIST_GPR_COUNTER_FIELD, | |
470 | TI_VA_LIST_FPR_COUNTER_FIELD, | |
471 | TI_BOOLEAN_TYPE, | |
472 | TI_FILEPTR_TYPE, | |
473 | TI_POINTER_SIZED_TYPE, | |
474 | ||
d5e254e1 IE |
475 | TI_POINTER_BOUNDS_TYPE, |
476 | ||
5e351e96 DN |
477 | TI_DFLOAT32_TYPE, |
478 | TI_DFLOAT64_TYPE, | |
479 | TI_DFLOAT128_TYPE, | |
480 | TI_DFLOAT32_PTR_TYPE, | |
481 | TI_DFLOAT64_PTR_TYPE, | |
482 | TI_DFLOAT128_PTR_TYPE, | |
483 | ||
484 | TI_VOID_LIST_NODE, | |
485 | ||
486 | TI_MAIN_IDENTIFIER, | |
487 | ||
488 | TI_SAT_SFRACT_TYPE, | |
489 | TI_SAT_FRACT_TYPE, | |
490 | TI_SAT_LFRACT_TYPE, | |
491 | TI_SAT_LLFRACT_TYPE, | |
492 | TI_SAT_USFRACT_TYPE, | |
493 | TI_SAT_UFRACT_TYPE, | |
494 | TI_SAT_ULFRACT_TYPE, | |
495 | TI_SAT_ULLFRACT_TYPE, | |
496 | TI_SFRACT_TYPE, | |
497 | TI_FRACT_TYPE, | |
498 | TI_LFRACT_TYPE, | |
499 | TI_LLFRACT_TYPE, | |
500 | TI_USFRACT_TYPE, | |
501 | TI_UFRACT_TYPE, | |
502 | TI_ULFRACT_TYPE, | |
503 | TI_ULLFRACT_TYPE, | |
504 | TI_SAT_SACCUM_TYPE, | |
505 | TI_SAT_ACCUM_TYPE, | |
506 | TI_SAT_LACCUM_TYPE, | |
507 | TI_SAT_LLACCUM_TYPE, | |
508 | TI_SAT_USACCUM_TYPE, | |
509 | TI_SAT_UACCUM_TYPE, | |
510 | TI_SAT_ULACCUM_TYPE, | |
511 | TI_SAT_ULLACCUM_TYPE, | |
512 | TI_SACCUM_TYPE, | |
513 | TI_ACCUM_TYPE, | |
514 | TI_LACCUM_TYPE, | |
515 | TI_LLACCUM_TYPE, | |
516 | TI_USACCUM_TYPE, | |
517 | TI_UACCUM_TYPE, | |
518 | TI_ULACCUM_TYPE, | |
519 | TI_ULLACCUM_TYPE, | |
520 | TI_QQ_TYPE, | |
521 | TI_HQ_TYPE, | |
522 | TI_SQ_TYPE, | |
523 | TI_DQ_TYPE, | |
524 | TI_TQ_TYPE, | |
525 | TI_UQQ_TYPE, | |
526 | TI_UHQ_TYPE, | |
527 | TI_USQ_TYPE, | |
528 | TI_UDQ_TYPE, | |
529 | TI_UTQ_TYPE, | |
530 | TI_SAT_QQ_TYPE, | |
531 | TI_SAT_HQ_TYPE, | |
532 | TI_SAT_SQ_TYPE, | |
533 | TI_SAT_DQ_TYPE, | |
534 | TI_SAT_TQ_TYPE, | |
535 | TI_SAT_UQQ_TYPE, | |
536 | TI_SAT_UHQ_TYPE, | |
537 | TI_SAT_USQ_TYPE, | |
538 | TI_SAT_UDQ_TYPE, | |
539 | TI_SAT_UTQ_TYPE, | |
540 | TI_HA_TYPE, | |
541 | TI_SA_TYPE, | |
542 | TI_DA_TYPE, | |
543 | TI_TA_TYPE, | |
544 | TI_UHA_TYPE, | |
545 | TI_USA_TYPE, | |
546 | TI_UDA_TYPE, | |
547 | TI_UTA_TYPE, | |
548 | TI_SAT_HA_TYPE, | |
549 | TI_SAT_SA_TYPE, | |
550 | TI_SAT_DA_TYPE, | |
551 | TI_SAT_TA_TYPE, | |
552 | TI_SAT_UHA_TYPE, | |
553 | TI_SAT_USA_TYPE, | |
554 | TI_SAT_UDA_TYPE, | |
555 | TI_SAT_UTA_TYPE, | |
556 | ||
557 | TI_OPTIMIZATION_DEFAULT, | |
558 | TI_OPTIMIZATION_CURRENT, | |
559 | TI_TARGET_OPTION_DEFAULT, | |
560 | TI_TARGET_OPTION_CURRENT, | |
561 | TI_CURRENT_TARGET_PRAGMA, | |
562 | TI_CURRENT_OPTIMIZE_PRAGMA, | |
563 | ||
564 | TI_MAX | |
565 | }; | |
566 | ||
567 | /* An enumeration of the standard C integer types. These must be | |
568 | ordered so that shorter types appear before longer ones, and so | |
569 | that signed types appear before unsigned ones, for the correct | |
570 | functioning of interpret_integer() in c-lex.c. */ | |
571 | enum integer_type_kind { | |
572 | itk_char, | |
573 | itk_signed_char, | |
574 | itk_unsigned_char, | |
575 | itk_short, | |
576 | itk_unsigned_short, | |
577 | itk_int, | |
578 | itk_unsigned_int, | |
579 | itk_long, | |
580 | itk_unsigned_long, | |
581 | itk_long_long, | |
582 | itk_unsigned_long_long, | |
78a7c317 DD |
583 | |
584 | itk_intN_0, | |
585 | itk_unsigned_intN_0, | |
586 | itk_intN_1, | |
587 | itk_unsigned_intN_1, | |
588 | itk_intN_2, | |
589 | itk_unsigned_intN_2, | |
590 | itk_intN_3, | |
591 | itk_unsigned_intN_3, | |
592 | ||
5e351e96 DN |
593 | itk_none |
594 | }; | |
595 | ||
596 | /* A pointer-to-function member type looks like: | |
597 | ||
598 | struct { | |
599 | __P __pfn; | |
600 | ptrdiff_t __delta; | |
601 | }; | |
602 | ||
603 | If __pfn is NULL, it is a NULL pointer-to-member-function. | |
604 | ||
605 | (Because the vtable is always the first thing in the object, we | |
606 | don't need its offset.) If the function is virtual, then PFN is | |
607 | one plus twice the index into the vtable; otherwise, it is just a | |
608 | pointer to the function. | |
609 | ||
610 | Unfortunately, using the lowest bit of PFN doesn't work in | |
611 | architectures that don't impose alignment requirements on function | |
612 | addresses, or that use the lowest bit to tell one ISA from another, | |
613 | for example. For such architectures, we use the lowest bit of | |
614 | DELTA instead of the lowest bit of the PFN, and DELTA will be | |
615 | multiplied by 2. */ | |
616 | enum ptrmemfunc_vbit_where_t { | |
617 | ptrmemfunc_vbit_in_pfn, | |
618 | ptrmemfunc_vbit_in_delta | |
619 | }; | |
620 | ||
621 | /* Flags that may be passed in the third argument of decl_attributes, and | |
622 | to handler functions for attributes. */ | |
623 | enum attribute_flags { | |
624 | /* The type passed in is the type of a DECL, and any attributes that | |
625 | should be passed in again to be applied to the DECL rather than the | |
626 | type should be returned. */ | |
627 | ATTR_FLAG_DECL_NEXT = 1, | |
628 | /* The type passed in is a function return type, and any attributes that | |
629 | should be passed in again to be applied to the function type rather | |
630 | than the return type should be returned. */ | |
631 | ATTR_FLAG_FUNCTION_NEXT = 2, | |
632 | /* The type passed in is an array element type, and any attributes that | |
633 | should be passed in again to be applied to the array type rather | |
634 | than the element type should be returned. */ | |
635 | ATTR_FLAG_ARRAY_NEXT = 4, | |
636 | /* The type passed in is a structure, union or enumeration type being | |
637 | created, and should be modified in place. */ | |
638 | ATTR_FLAG_TYPE_IN_PLACE = 8, | |
639 | /* The attributes are being applied by default to a library function whose | |
640 | name indicates known behavior, and should be silently ignored if they | |
641 | are not in fact compatible with the function type. */ | |
642 | ATTR_FLAG_BUILT_IN = 16, | |
643 | /* A given attribute has been parsed as a C++-11 attribute. */ | |
644 | ATTR_FLAG_CXX11 = 32 | |
645 | }; | |
646 | ||
647 | /* Types used to represent sizes. */ | |
648 | enum size_type_kind { | |
649 | stk_sizetype, /* Normal representation of sizes in bytes. */ | |
650 | stk_ssizetype, /* Signed representation of sizes in bytes. */ | |
651 | stk_bitsizetype, /* Normal representation of sizes in bits. */ | |
652 | stk_sbitsizetype, /* Signed representation of sizes in bits. */ | |
653 | stk_type_kind_last | |
654 | }; | |
655 | ||
656 | enum operand_equal_flag { | |
657 | OEP_ONLY_CONST = 1, | |
658 | OEP_PURE_SAME = 2, | |
659 | OEP_CONSTANT_ADDRESS_OF = 4 | |
660 | }; | |
661 | ||
662 | /* Enum and arrays used for tree allocation stats. | |
663 | Keep in sync with tree.c:tree_node_kind_names. */ | |
664 | enum tree_node_kind { | |
665 | d_kind, | |
666 | t_kind, | |
667 | b_kind, | |
668 | s_kind, | |
669 | r_kind, | |
670 | e_kind, | |
671 | c_kind, | |
672 | id_kind, | |
673 | vec_kind, | |
674 | binfo_kind, | |
675 | ssa_name_kind, | |
676 | constr_kind, | |
677 | x_kind, | |
678 | lang_decl, | |
679 | lang_type, | |
680 | omp_clause_kind, | |
681 | all_kinds | |
682 | }; | |
683 | ||
8170608b | 684 | enum annot_expr_kind { |
718c4601 EB |
685 | annot_expr_ivdep_kind, |
686 | annot_expr_no_vector_kind, | |
687 | annot_expr_vector_kind, | |
688 | annot_expr_kind_last | |
8170608b TB |
689 | }; |
690 | ||
0e37a2f3 MP |
691 | /* Internal functions. */ |
692 | enum internal_fn { | |
b78475cf | 693 | #define DEF_INTERNAL_FN(CODE, FLAGS, FNSPEC) IFN_##CODE, |
0e37a2f3 MP |
694 | #include "internal-fn.def" |
695 | #undef DEF_INTERNAL_FN | |
696 | IFN_LAST | |
697 | }; | |
5e351e96 DN |
698 | |
699 | /*--------------------------------------------------------------------------- | |
700 | Type definitions | |
701 | ---------------------------------------------------------------------------*/ | |
702 | /* When processing aliases at the symbol table level, we need the | |
703 | declaration of target. For this reason we need to queue aliases and | |
704 | process them after all declarations has been produced. */ | |
84562394 | 705 | struct GTY(()) alias_pair { |
5e351e96 DN |
706 | tree decl; |
707 | tree target; | |
84562394 | 708 | }; |
5e351e96 DN |
709 | |
710 | /* An initialization priority. */ | |
711 | typedef unsigned short priority_type; | |
712 | ||
713 | /* The type of a callback function for walking over tree structure. */ | |
714 | typedef tree (*walk_tree_fn) (tree *, int *, void *); | |
715 | ||
716 | /* The type of a callback function that represents a custom walk_tree. */ | |
717 | typedef tree (*walk_tree_lh) (tree *, int *, tree (*) (tree *, int *, void *), | |
6e2830c3 | 718 | void *, hash_set<tree> *); |
5e351e96 DN |
719 | |
720 | ||
721 | /*--------------------------------------------------------------------------- | |
722 | Main data structures | |
723 | ---------------------------------------------------------------------------*/ | |
724 | /* A tree node can represent a data type, a variable, an expression | |
725 | or a statement. Each node has a TREE_CODE which says what kind of | |
726 | thing it represents. Some common codes are: | |
727 | INTEGER_TYPE -- represents a type of integers. | |
728 | ARRAY_TYPE -- represents a type of pointer. | |
729 | VAR_DECL -- represents a declared variable. | |
730 | INTEGER_CST -- represents a constant integer value. | |
731 | PLUS_EXPR -- represents a sum (an expression). | |
732 | ||
733 | As for the contents of a tree node: there are some fields | |
734 | that all nodes share. Each TREE_CODE has various special-purpose | |
735 | fields as well. The fields of a node are never accessed directly, | |
736 | always through accessor macros. */ | |
737 | ||
738 | /* Every kind of tree node starts with this structure, | |
739 | so all nodes have these fields. | |
740 | ||
741 | See the accessor macros, defined below, for documentation of the | |
742 | fields, and the table below which connects the fields and the | |
743 | accessor macros. */ | |
744 | ||
745 | struct GTY(()) tree_base { | |
746 | ENUM_BITFIELD(tree_code) code : 16; | |
747 | ||
748 | unsigned side_effects_flag : 1; | |
749 | unsigned constant_flag : 1; | |
750 | unsigned addressable_flag : 1; | |
751 | unsigned volatile_flag : 1; | |
752 | unsigned readonly_flag : 1; | |
753 | unsigned asm_written_flag: 1; | |
754 | unsigned nowarning_flag : 1; | |
755 | unsigned visited : 1; | |
756 | ||
757 | unsigned used_flag : 1; | |
758 | unsigned nothrow_flag : 1; | |
759 | unsigned static_flag : 1; | |
760 | unsigned public_flag : 1; | |
761 | unsigned private_flag : 1; | |
762 | unsigned protected_flag : 1; | |
763 | unsigned deprecated_flag : 1; | |
764 | unsigned default_def_flag : 1; | |
765 | ||
766 | union { | |
767 | /* The bits in the following structure should only be used with | |
768 | accessor macros that constrain inputs with tree checking. */ | |
769 | struct { | |
770 | unsigned lang_flag_0 : 1; | |
771 | unsigned lang_flag_1 : 1; | |
772 | unsigned lang_flag_2 : 1; | |
773 | unsigned lang_flag_3 : 1; | |
774 | unsigned lang_flag_4 : 1; | |
775 | unsigned lang_flag_5 : 1; | |
776 | unsigned lang_flag_6 : 1; | |
777 | unsigned saturating_flag : 1; | |
778 | ||
779 | unsigned unsigned_flag : 1; | |
780 | unsigned packed_flag : 1; | |
781 | unsigned user_align : 1; | |
782 | unsigned nameless_flag : 1; | |
267bac10 JM |
783 | unsigned atomic_flag : 1; |
784 | unsigned spare0 : 3; | |
5e351e96 DN |
785 | |
786 | unsigned spare1 : 8; | |
787 | ||
788 | /* This field is only used with TREE_TYPE nodes; the only reason it is | |
789 | present in tree_base instead of tree_type is to save space. The size | |
790 | of the field must be large enough to hold addr_space_t values. */ | |
791 | unsigned address_space : 8; | |
792 | } bits; | |
807e902e | 793 | |
5e351e96 DN |
794 | /* The following fields are present in tree_base to save space. The |
795 | nodes using them do not require any of the flags above and so can | |
796 | make better use of the 4-byte sized word. */ | |
807e902e KZ |
797 | |
798 | /* The number of HOST_WIDE_INTs in an INTEGER_CST. */ | |
799 | struct { | |
800 | /* The number of HOST_WIDE_INTs if the INTEGER_CST is accessed in | |
801 | its native precision. */ | |
802 | unsigned char unextended; | |
803 | ||
804 | /* The number of HOST_WIDE_INTs if the INTEGER_CST is extended to | |
805 | wider precisions based on its TYPE_SIGN. */ | |
806 | unsigned char extended; | |
807 | ||
808 | /* The number of HOST_WIDE_INTs if the INTEGER_CST is accessed in | |
809 | offset_int precision, with smaller integers being extended | |
810 | according to their TYPE_SIGN. This is equal to one of the two | |
811 | fields above but is cached for speed. */ | |
812 | unsigned char offset; | |
813 | } int_length; | |
814 | ||
5e351e96 DN |
815 | /* VEC length. This field is only used with TREE_VEC. */ |
816 | int length; | |
807e902e | 817 | |
5e351e96 DN |
818 | /* SSA version number. This field is only used with SSA_NAME. */ |
819 | unsigned int version; | |
0e37a2f3 MP |
820 | |
821 | /* Internal function code. */ | |
822 | enum internal_fn ifn; | |
f3dccf50 RB |
823 | |
824 | /* The following two fields are used for MEM_REF and TARGET_MEM_REF | |
825 | expression trees and specify known data non-dependences. For | |
826 | two memory references in a function they are known to not | |
827 | alias if dependence_info.clique are equal and dependence_info.base | |
828 | are distinct. */ | |
829 | struct { | |
830 | unsigned short clique; | |
831 | unsigned short base; | |
832 | } dependence_info; | |
5e351e96 DN |
833 | } GTY((skip(""))) u; |
834 | }; | |
835 | ||
836 | /* The following table lists the uses of each of the above flags and | |
837 | for which types of nodes they are defined. | |
838 | ||
839 | addressable_flag: | |
840 | ||
841 | TREE_ADDRESSABLE in | |
842 | VAR_DECL, PARM_DECL, RESULT_DECL, FUNCTION_DECL, LABEL_DECL | |
843 | SSA_NAME | |
844 | all types | |
845 | CONSTRUCTOR, IDENTIFIER_NODE | |
846 | STMT_EXPR | |
847 | ||
848 | CALL_EXPR_TAILCALL in | |
849 | CALL_EXPR | |
850 | ||
851 | CASE_LOW_SEEN in | |
852 | CASE_LABEL_EXPR | |
853 | ||
854 | PREDICT_EXPR_OUTCOME in | |
855 | PREDICT_EXPR | |
856 | ||
857 | static_flag: | |
858 | ||
859 | TREE_STATIC in | |
860 | VAR_DECL, FUNCTION_DECL | |
861 | CONSTRUCTOR | |
862 | ||
863 | TREE_NO_TRAMPOLINE in | |
864 | ADDR_EXPR | |
865 | ||
866 | BINFO_VIRTUAL_P in | |
867 | TREE_BINFO | |
868 | ||
869 | TREE_SYMBOL_REFERENCED in | |
870 | IDENTIFIER_NODE | |
871 | ||
872 | CLEANUP_EH_ONLY in | |
873 | TARGET_EXPR, WITH_CLEANUP_EXPR | |
874 | ||
875 | TRY_CATCH_IS_CLEANUP in | |
876 | TRY_CATCH_EXPR | |
877 | ||
878 | ASM_INPUT_P in | |
879 | ASM_EXPR | |
880 | ||
881 | TYPE_REF_CAN_ALIAS_ALL in | |
882 | POINTER_TYPE, REFERENCE_TYPE | |
883 | ||
884 | CASE_HIGH_SEEN in | |
885 | CASE_LABEL_EXPR | |
886 | ||
887 | ENUM_IS_SCOPED in | |
888 | ENUMERAL_TYPE | |
889 | ||
890 | TRANSACTION_EXPR_OUTER in | |
891 | TRANSACTION_EXPR | |
892 | ||
f5c8b24c RS |
893 | SSA_NAME_ANTI_RANGE_P in |
894 | SSA_NAME | |
895 | ||
5e351e96 DN |
896 | public_flag: |
897 | ||
898 | TREE_OVERFLOW in | |
899 | INTEGER_CST, REAL_CST, COMPLEX_CST, VECTOR_CST | |
900 | ||
901 | TREE_PUBLIC in | |
902 | VAR_DECL, FUNCTION_DECL | |
903 | IDENTIFIER_NODE | |
904 | ||
1448093c TG |
905 | CONSTRUCTOR_NO_CLEARING in |
906 | CONSTRUCTOR | |
907 | ||
5e351e96 DN |
908 | ASM_VOLATILE_P in |
909 | ASM_EXPR | |
910 | ||
911 | CALL_EXPR_VA_ARG_PACK in | |
912 | CALL_EXPR | |
913 | ||
914 | TYPE_CACHED_VALUES_P in | |
915 | all types | |
916 | ||
917 | SAVE_EXPR_RESOLVED_P in | |
918 | SAVE_EXPR | |
919 | ||
920 | OMP_CLAUSE_LASTPRIVATE_FIRSTPRIVATE in | |
921 | OMP_CLAUSE_LASTPRIVATE | |
922 | ||
923 | OMP_CLAUSE_PRIVATE_DEBUG in | |
924 | OMP_CLAUSE_PRIVATE | |
925 | ||
46f851f3 DN |
926 | OMP_CLAUSE_LINEAR_NO_COPYIN in |
927 | OMP_CLAUSE_LINEAR | |
928 | ||
acf0174b JJ |
929 | OMP_CLAUSE_MAP_ZERO_BIAS_ARRAY_SECTION in |
930 | OMP_CLAUSE_MAP | |
931 | ||
932 | OMP_CLAUSE_REDUCTION_OMP_ORIG_REF in | |
933 | OMP_CLAUSE_REDUCTION | |
934 | ||
5e351e96 DN |
935 | TRANSACTION_EXPR_RELAXED in |
936 | TRANSACTION_EXPR | |
937 | ||
938 | private_flag: | |
939 | ||
940 | TREE_PRIVATE in | |
941 | all decls | |
942 | ||
943 | CALL_EXPR_RETURN_SLOT_OPT in | |
944 | CALL_EXPR | |
945 | ||
946 | OMP_SECTION_LAST in | |
947 | OMP_SECTION | |
948 | ||
949 | OMP_PARALLEL_COMBINED in | |
950 | OMP_PARALLEL | |
951 | ||
acf0174b JJ |
952 | OMP_ATOMIC_SEQ_CST in |
953 | OMP_ATOMIC* | |
954 | ||
5e351e96 DN |
955 | OMP_CLAUSE_PRIVATE_OUTER_REF in |
956 | OMP_CLAUSE_PRIVATE | |
957 | ||
46f851f3 DN |
958 | OMP_CLAUSE_LINEAR_NO_COPYOUT in |
959 | OMP_CLAUSE_LINEAR | |
960 | ||
5e351e96 DN |
961 | TYPE_REF_IS_RVALUE in |
962 | REFERENCE_TYPE | |
963 | ||
964 | ENUM_IS_OPAQUE in | |
965 | ENUMERAL_TYPE | |
966 | ||
967 | protected_flag: | |
968 | ||
969 | TREE_PROTECTED in | |
970 | BLOCK | |
971 | all decls | |
972 | ||
973 | CALL_FROM_THUNK_P and | |
974 | CALL_ALLOCA_FOR_VAR_P in | |
975 | CALL_EXPR | |
976 | ||
0136f8f0 AH |
977 | OMP_CLAUSE_LINEAR_VARIABLE_STRIDE in |
978 | OMP_CLAUSE_LINEAR | |
979 | ||
5e351e96 DN |
980 | side_effects_flag: |
981 | ||
982 | TREE_SIDE_EFFECTS in | |
983 | all expressions | |
984 | all decls | |
985 | all constants | |
986 | ||
987 | FORCED_LABEL in | |
988 | LABEL_DECL | |
989 | ||
990 | volatile_flag: | |
991 | ||
992 | TREE_THIS_VOLATILE in | |
993 | all expressions | |
994 | all decls | |
995 | ||
996 | TYPE_VOLATILE in | |
997 | all types | |
998 | ||
999 | readonly_flag: | |
1000 | ||
1001 | TREE_READONLY in | |
1002 | all expressions | |
1003 | all decls | |
1004 | ||
1005 | TYPE_READONLY in | |
1006 | all types | |
1007 | ||
1008 | constant_flag: | |
1009 | ||
1010 | TREE_CONSTANT in | |
1011 | all expressions | |
1012 | all decls | |
1013 | all constants | |
1014 | ||
1015 | TYPE_SIZES_GIMPLIFIED in | |
1016 | all types | |
1017 | ||
1018 | unsigned_flag: | |
1019 | ||
1020 | TYPE_UNSIGNED in | |
1021 | all types | |
1022 | ||
1023 | DECL_UNSIGNED in | |
1024 | all decls | |
1025 | ||
1026 | asm_written_flag: | |
1027 | ||
1028 | TREE_ASM_WRITTEN in | |
1029 | VAR_DECL, FUNCTION_DECL, TYPE_DECL | |
1030 | RECORD_TYPE, UNION_TYPE, QUAL_UNION_TYPE | |
1031 | BLOCK, STRING_CST | |
1032 | ||
1033 | SSA_NAME_OCCURS_IN_ABNORMAL_PHI in | |
1034 | SSA_NAME | |
1035 | ||
1036 | used_flag: | |
1037 | ||
1038 | TREE_USED in | |
1039 | all expressions | |
1040 | all decls | |
1041 | IDENTIFIER_NODE | |
1042 | ||
1043 | nothrow_flag: | |
1044 | ||
1045 | TREE_NOTHROW in | |
1046 | CALL_EXPR | |
1047 | FUNCTION_DECL | |
1048 | ||
1049 | TYPE_ALIGN_OK in | |
1050 | all types | |
1051 | ||
1052 | TREE_THIS_NOTRAP in | |
1053 | INDIRECT_REF, MEM_REF, TARGET_MEM_REF, ARRAY_REF, ARRAY_RANGE_REF | |
1054 | ||
1055 | SSA_NAME_IN_FREELIST in | |
1056 | SSA_NAME | |
1057 | ||
9c85aeb6 | 1058 | DECL_NONALIASED in |
400a4f6c RB |
1059 | VAR_DECL |
1060 | ||
5e351e96 DN |
1061 | deprecated_flag: |
1062 | ||
1063 | TREE_DEPRECATED in | |
1064 | all decls | |
1065 | all types | |
1066 | ||
1067 | IDENTIFIER_TRANSPARENT_ALIAS in | |
1068 | IDENTIFIER_NODE | |
1069 | ||
1070 | visited: | |
1071 | ||
1072 | TREE_VISITED in | |
1073 | all trees (used liberally by many passes) | |
1074 | ||
1075 | saturating_flag: | |
1076 | ||
1077 | TYPE_SATURATING in | |
1078 | all types | |
1079 | ||
1080 | VAR_DECL_IS_VIRTUAL_OPERAND in | |
1081 | VAR_DECL | |
1082 | ||
1083 | nowarning_flag: | |
1084 | ||
1085 | TREE_NO_WARNING in | |
1086 | all expressions | |
1087 | all decls | |
1088 | ||
1089 | TYPE_ARTIFICIAL in | |
1090 | all types | |
1091 | ||
1092 | default_def_flag: | |
1093 | ||
1094 | TYPE_VECTOR_OPAQUE in | |
1095 | VECTOR_TYPE | |
1096 | ||
1097 | SSA_NAME_IS_DEFAULT_DEF in | |
1098 | SSA_NAME | |
1099 | ||
1100 | DECL_NONLOCAL_FRAME in | |
1101 | VAR_DECL | |
46f851f3 DN |
1102 | |
1103 | TYPE_FINAL_P in | |
1104 | RECORD_TYPE, UNION_TYPE and QUAL_UNION_TYPE | |
5e351e96 DN |
1105 | */ |
1106 | ||
1107 | struct GTY(()) tree_typed { | |
1108 | struct tree_base base; | |
1109 | tree type; | |
1110 | }; | |
1111 | ||
1112 | struct GTY(()) tree_common { | |
1113 | struct tree_typed typed; | |
1114 | tree chain; | |
1115 | }; | |
1116 | ||
1117 | struct GTY(()) tree_int_cst { | |
1118 | struct tree_typed typed; | |
807e902e | 1119 | HOST_WIDE_INT val[1]; |
5e351e96 DN |
1120 | }; |
1121 | ||
1122 | ||
1123 | struct GTY(()) tree_real_cst { | |
1124 | struct tree_typed typed; | |
1125 | struct real_value * real_cst_ptr; | |
1126 | }; | |
1127 | ||
1128 | struct GTY(()) tree_fixed_cst { | |
1129 | struct tree_typed typed; | |
1130 | struct fixed_value * fixed_cst_ptr; | |
1131 | }; | |
1132 | ||
1133 | struct GTY(()) tree_string { | |
1134 | struct tree_typed typed; | |
1135 | int length; | |
1136 | char str[1]; | |
1137 | }; | |
1138 | ||
1139 | struct GTY(()) tree_complex { | |
1140 | struct tree_typed typed; | |
1141 | tree real; | |
1142 | tree imag; | |
1143 | }; | |
1144 | ||
1145 | struct GTY(()) tree_vector { | |
1146 | struct tree_typed typed; | |
1147 | tree GTY ((length ("TYPE_VECTOR_SUBPARTS (TREE_TYPE ((tree)&%h))"))) elts[1]; | |
1148 | }; | |
1149 | ||
1150 | struct GTY(()) tree_identifier { | |
1151 | struct tree_common common; | |
1152 | struct ht_identifier id; | |
1153 | }; | |
1154 | ||
1155 | struct GTY(()) tree_list { | |
1156 | struct tree_common common; | |
1157 | tree purpose; | |
1158 | tree value; | |
1159 | }; | |
1160 | ||
1161 | struct GTY(()) tree_vec { | |
1162 | struct tree_common common; | |
1163 | tree GTY ((length ("TREE_VEC_LENGTH ((tree)&%h)"))) a[1]; | |
1164 | }; | |
1165 | ||
1166 | /* A single element of a CONSTRUCTOR. VALUE holds the actual value of the | |
1167 | element. INDEX can optionally design the position of VALUE: in arrays, | |
1168 | it is the index where VALUE has to be placed; in structures, it is the | |
1169 | FIELD_DECL of the member. */ | |
84562394 | 1170 | struct GTY(()) constructor_elt { |
5e351e96 DN |
1171 | tree index; |
1172 | tree value; | |
84562394 | 1173 | }; |
5e351e96 DN |
1174 | |
1175 | struct GTY(()) tree_constructor { | |
1176 | struct tree_typed typed; | |
1177 | vec<constructor_elt, va_gc> *elts; | |
1178 | }; | |
1179 | ||
acf0174b JJ |
1180 | enum omp_clause_depend_kind |
1181 | { | |
1182 | OMP_CLAUSE_DEPEND_IN, | |
1183 | OMP_CLAUSE_DEPEND_OUT, | |
c193f58b JJ |
1184 | OMP_CLAUSE_DEPEND_INOUT, |
1185 | OMP_CLAUSE_DEPEND_LAST | |
acf0174b JJ |
1186 | }; |
1187 | ||
1188 | enum omp_clause_map_kind | |
1189 | { | |
1190 | OMP_CLAUSE_MAP_ALLOC, | |
1191 | OMP_CLAUSE_MAP_TO, | |
1192 | OMP_CLAUSE_MAP_FROM, | |
1193 | OMP_CLAUSE_MAP_TOFROM, | |
1194 | /* The following kind is an internal only map kind, used for pointer based | |
1195 | array sections. OMP_CLAUSE_SIZE for these is not the pointer size, | |
5b8300ea | 1196 | which is implicitly POINTER_SIZE_UNITS, but the bias. */ |
c193f58b | 1197 | OMP_CLAUSE_MAP_POINTER, |
f014c653 JJ |
1198 | /* Also internal, behaves like OMP_CLAUS_MAP_TO, but additionally any |
1199 | OMP_CLAUSE_MAP_POINTER records consecutive after it which have addresses | |
1200 | falling into that range will not be ignored if OMP_CLAUSE_MAP_TO_PSET | |
1201 | wasn't mapped already. */ | |
1202 | OMP_CLAUSE_MAP_TO_PSET, | |
c193f58b | 1203 | OMP_CLAUSE_MAP_LAST |
acf0174b JJ |
1204 | }; |
1205 | ||
1206 | enum omp_clause_proc_bind_kind | |
1207 | { | |
1208 | /* Numbers should match omp_proc_bind_t enum in omp.h. */ | |
1209 | OMP_CLAUSE_PROC_BIND_FALSE = 0, | |
1210 | OMP_CLAUSE_PROC_BIND_TRUE = 1, | |
1211 | OMP_CLAUSE_PROC_BIND_MASTER = 2, | |
1212 | OMP_CLAUSE_PROC_BIND_CLOSE = 3, | |
c193f58b JJ |
1213 | OMP_CLAUSE_PROC_BIND_SPREAD = 4, |
1214 | OMP_CLAUSE_PROC_BIND_LAST | |
acf0174b JJ |
1215 | }; |
1216 | ||
5e351e96 DN |
1217 | struct GTY(()) tree_exp { |
1218 | struct tree_typed typed; | |
1219 | location_t locus; | |
1220 | tree GTY ((special ("tree_exp"), | |
1221 | desc ("TREE_CODE ((tree) &%0)"))) | |
1222 | operands[1]; | |
1223 | }; | |
1224 | ||
1225 | /* Immediate use linking structure. This structure is used for maintaining | |
1226 | a doubly linked list of uses of an SSA_NAME. */ | |
84562394 OE |
1227 | struct GTY(()) ssa_use_operand_t { |
1228 | struct ssa_use_operand_t* GTY((skip(""))) prev; | |
1229 | struct ssa_use_operand_t* GTY((skip(""))) next; | |
5e351e96 DN |
1230 | /* Immediate uses for a given SSA name are maintained as a cyclic |
1231 | list. To recognize the root of this list, the location field | |
1232 | needs to point to the original SSA name. Since statements and | |
1233 | SSA names are of different data types, we need this union. See | |
84562394 | 1234 | the explanation in struct imm_use_iterator. */ |
5e351e96 DN |
1235 | union { gimple stmt; tree ssa_name; } GTY((skip(""))) loc; |
1236 | tree *GTY((skip(""))) use; | |
84562394 | 1237 | }; |
5e351e96 DN |
1238 | |
1239 | struct GTY(()) tree_ssa_name { | |
1240 | struct tree_typed typed; | |
1241 | ||
1242 | /* _DECL wrapped by this SSA name. */ | |
1243 | tree var; | |
1244 | ||
1245 | /* Statement that defines this SSA name. */ | |
1246 | gimple def_stmt; | |
1247 | ||
a895a2b8 KV |
1248 | /* Value range information. */ |
1249 | union ssa_name_info_type { | |
1250 | /* Pointer attributes used for alias analysis. */ | |
1251 | struct GTY ((tag ("0"))) ptr_info_def *ptr_info; | |
1252 | /* Value range attributes used for zero/sign extension elimination. */ | |
1253 | struct GTY ((tag ("1"))) range_info_def *range_info; | |
1254 | } GTY ((desc ("%1.typed.type ?" \ | |
0498471b | 1255 | "!POINTER_TYPE_P (TREE_TYPE ((tree)&%1)) : 2"))) info; |
5e351e96 DN |
1256 | |
1257 | /* Immediate uses list for this SSA_NAME. */ | |
84562394 | 1258 | struct ssa_use_operand_t imm_uses; |
5e351e96 DN |
1259 | }; |
1260 | ||
1261 | struct GTY(()) phi_arg_d { | |
1262 | /* imm_use MUST be the first element in struct because we do some | |
1263 | pointer arithmetic with it. See phi_arg_index_from_use. */ | |
84562394 | 1264 | struct ssa_use_operand_t imm_use; |
5e351e96 DN |
1265 | tree def; |
1266 | location_t locus; | |
1267 | }; | |
1268 | ||
1269 | struct GTY(()) tree_omp_clause { | |
1270 | struct tree_common common; | |
1271 | location_t locus; | |
1272 | enum omp_clause_code code; | |
1273 | union omp_clause_subcode { | |
acf0174b JJ |
1274 | enum omp_clause_default_kind default_kind; |
1275 | enum omp_clause_schedule_kind schedule_kind; | |
1276 | enum omp_clause_depend_kind depend_kind; | |
1277 | enum omp_clause_map_kind map_kind; | |
1278 | enum omp_clause_proc_bind_kind proc_bind_kind; | |
1279 | enum tree_code reduction_code; | |
5e351e96 DN |
1280 | } GTY ((skip)) subcode; |
1281 | ||
1282 | /* The gimplification of OMP_CLAUSE_REDUCTION_{INIT,MERGE} for omp-low's | |
1283 | usage. */ | |
1284 | gimple_seq gimple_reduction_init; | |
1285 | gimple_seq gimple_reduction_merge; | |
1286 | ||
1287 | tree GTY ((length ("omp_clause_num_ops[OMP_CLAUSE_CODE ((tree)&%h)]"))) | |
1288 | ops[1]; | |
1289 | }; | |
1290 | ||
1291 | struct GTY(()) tree_block { | |
1292 | struct tree_base base; | |
1293 | tree chain; | |
1294 | ||
1295 | unsigned abstract_flag : 1; | |
1296 | unsigned block_num : 31; | |
1297 | ||
1298 | location_t locus; | |
a5852bea | 1299 | location_t end_locus; |
5e351e96 DN |
1300 | |
1301 | tree vars; | |
1302 | vec<tree, va_gc> *nonlocalized_vars; | |
1303 | ||
1304 | tree subblocks; | |
1305 | tree supercontext; | |
1306 | tree abstract_origin; | |
1307 | tree fragment_origin; | |
1308 | tree fragment_chain; | |
1309 | }; | |
1310 | ||
1311 | struct GTY(()) tree_type_common { | |
1312 | struct tree_common common; | |
1313 | tree size; | |
1314 | tree size_unit; | |
1315 | tree attributes; | |
1316 | unsigned int uid; | |
1317 | ||
1318 | unsigned int precision : 10; | |
1319 | unsigned no_force_blk_flag : 1; | |
1320 | unsigned needs_constructing_flag : 1; | |
1321 | unsigned transparent_aggr_flag : 1; | |
1322 | unsigned restrict_flag : 1; | |
1323 | unsigned contains_placeholder_bits : 2; | |
1324 | ||
1325 | ENUM_BITFIELD(machine_mode) mode : 8; | |
1326 | ||
1327 | unsigned string_flag : 1; | |
1328 | unsigned lang_flag_0 : 1; | |
1329 | unsigned lang_flag_1 : 1; | |
1330 | unsigned lang_flag_2 : 1; | |
1331 | unsigned lang_flag_3 : 1; | |
1332 | unsigned lang_flag_4 : 1; | |
1333 | unsigned lang_flag_5 : 1; | |
1334 | unsigned lang_flag_6 : 1; | |
1335 | ||
1336 | unsigned int align; | |
1337 | alias_set_type alias_set; | |
1338 | tree pointer_to; | |
1339 | tree reference_to; | |
1340 | union tree_type_symtab { | |
1341 | int GTY ((tag ("TYPE_SYMTAB_IS_ADDRESS"))) address; | |
1342 | const char * GTY ((tag ("TYPE_SYMTAB_IS_POINTER"))) pointer; | |
1343 | struct die_struct * GTY ((tag ("TYPE_SYMTAB_IS_DIE"))) die; | |
1344 | } GTY ((desc ("debug_hooks->tree_type_symtab_field"))) symtab; | |
ce2f49b3 | 1345 | tree canonical; |
5e351e96 DN |
1346 | tree next_variant; |
1347 | tree main_variant; | |
1348 | tree context; | |
ce2f49b3 | 1349 | tree name; |
5e351e96 DN |
1350 | }; |
1351 | ||
1352 | struct GTY(()) tree_type_with_lang_specific { | |
1353 | struct tree_type_common common; | |
1354 | /* Points to a structure whose details depend on the language in use. */ | |
1355 | struct lang_type *lang_specific; | |
1356 | }; | |
1357 | ||
1358 | struct GTY(()) tree_type_non_common { | |
1359 | struct tree_type_with_lang_specific with_lang_specific; | |
1360 | tree values; | |
1361 | tree minval; | |
1362 | tree maxval; | |
1363 | tree binfo; | |
1364 | }; | |
1365 | ||
1366 | struct GTY (()) tree_binfo { | |
1367 | struct tree_common common; | |
1368 | ||
1369 | tree offset; | |
1370 | tree vtable; | |
1371 | tree virtuals; | |
1372 | tree vptr_field; | |
1373 | vec<tree, va_gc> *base_accesses; | |
1374 | tree inheritance; | |
1375 | ||
1376 | tree vtt_subvtt; | |
1377 | tree vtt_vptr; | |
1378 | ||
1379 | vec<tree, va_gc> base_binfos; | |
1380 | }; | |
1381 | ||
1382 | struct GTY(()) tree_decl_minimal { | |
1383 | struct tree_common common; | |
1384 | location_t locus; | |
1385 | unsigned int uid; | |
1386 | tree name; | |
1387 | tree context; | |
1388 | }; | |
1389 | ||
1390 | struct GTY(()) tree_decl_common { | |
1391 | struct tree_decl_minimal common; | |
1392 | tree size; | |
1393 | ||
1394 | ENUM_BITFIELD(machine_mode) mode : 8; | |
1395 | ||
1396 | unsigned nonlocal_flag : 1; | |
1397 | unsigned virtual_flag : 1; | |
1398 | unsigned ignored_flag : 1; | |
1399 | unsigned abstract_flag : 1; | |
1400 | unsigned artificial_flag : 1; | |
1401 | unsigned preserve_flag: 1; | |
1402 | unsigned debug_expr_is_from : 1; | |
1403 | ||
1404 | unsigned lang_flag_0 : 1; | |
1405 | unsigned lang_flag_1 : 1; | |
1406 | unsigned lang_flag_2 : 1; | |
1407 | unsigned lang_flag_3 : 1; | |
1408 | unsigned lang_flag_4 : 1; | |
1409 | unsigned lang_flag_5 : 1; | |
1410 | unsigned lang_flag_6 : 1; | |
1411 | unsigned lang_flag_7 : 1; | |
1412 | unsigned lang_flag_8 : 1; | |
1413 | ||
46f851f3 | 1414 | /* In VAR_DECL and PARM_DECL, this is DECL_REGISTER. */ |
5e351e96 DN |
1415 | unsigned decl_flag_0 : 1; |
1416 | /* In FIELD_DECL, this is DECL_BIT_FIELD | |
1417 | In VAR_DECL and FUNCTION_DECL, this is DECL_EXTERNAL. | |
1418 | In TYPE_DECL, this is TYPE_DECL_SUPPRESS_DEBUG. */ | |
1419 | unsigned decl_flag_1 : 1; | |
1420 | /* In FIELD_DECL, this is DECL_NONADDRESSABLE_P | |
1421 | In VAR_DECL, PARM_DECL and RESULT_DECL, this is | |
1422 | DECL_HAS_VALUE_EXPR_P. */ | |
1423 | unsigned decl_flag_2 : 1; | |
1424 | /* 1 bit unused. */ | |
1425 | unsigned decl_flag_3 : 1; | |
1426 | /* Logically, these two would go in a theoretical base shared by var and | |
1427 | parm decl. */ | |
1428 | unsigned gimple_reg_flag : 1; | |
1429 | /* In VAR_DECL, PARM_DECL and RESULT_DECL, this is DECL_BY_REFERENCE. */ | |
1430 | unsigned decl_by_reference_flag : 1; | |
1431 | /* In a VAR_DECL and PARM_DECL, this is DECL_READ_P. */ | |
1432 | unsigned decl_read_flag : 1; | |
1433 | /* In a VAR_DECL or RESULT_DECL, this is DECL_NONSHAREABLE. */ | |
1434 | unsigned decl_nonshareable_flag : 1; | |
1435 | ||
1436 | /* DECL_OFFSET_ALIGN, used only for FIELD_DECLs. */ | |
1437 | unsigned int off_align : 8; | |
1438 | ||
1439 | /* 24 bits unused. */ | |
1440 | ||
1441 | /* DECL_ALIGN. It should have the same size as TYPE_ALIGN. */ | |
1442 | unsigned int align; | |
1443 | ||
1444 | /* UID for points-to sets, stable over copying from inlining. */ | |
1445 | unsigned int pt_uid; | |
1446 | ||
1447 | tree size_unit; | |
1448 | tree initial; | |
1449 | tree attributes; | |
1450 | tree abstract_origin; | |
1451 | ||
1452 | /* Points to a structure whose details depend on the language in use. */ | |
1453 | struct lang_decl *lang_specific; | |
1454 | }; | |
1455 | ||
1456 | struct GTY(()) tree_decl_with_rtl { | |
1457 | struct tree_decl_common common; | |
1458 | rtx rtl; | |
1459 | }; | |
1460 | ||
1461 | struct GTY(()) tree_field_decl { | |
1462 | struct tree_decl_common common; | |
1463 | ||
1464 | tree offset; | |
1465 | tree bit_field_type; | |
1466 | tree qualifier; | |
1467 | tree bit_offset; | |
1468 | tree fcontext; | |
1469 | }; | |
1470 | ||
1471 | struct GTY(()) tree_label_decl { | |
1472 | struct tree_decl_with_rtl common; | |
1473 | int label_decl_uid; | |
1474 | int eh_landing_pad_nr; | |
1475 | }; | |
1476 | ||
1477 | struct GTY(()) tree_result_decl { | |
1478 | struct tree_decl_with_rtl common; | |
1479 | }; | |
1480 | ||
1481 | struct GTY(()) tree_const_decl { | |
1482 | struct tree_decl_common common; | |
1483 | }; | |
1484 | ||
1485 | struct GTY(()) tree_parm_decl { | |
1486 | struct tree_decl_with_rtl common; | |
1487 | rtx incoming_rtl; | |
1488 | }; | |
1489 | ||
1490 | struct GTY(()) tree_decl_with_vis { | |
1491 | struct tree_decl_with_rtl common; | |
1492 | tree assembler_name; | |
aede2c10 | 1493 | struct symtab_node *symtab_node; |
5e351e96 DN |
1494 | |
1495 | /* Belong to VAR_DECL exclusively. */ | |
1496 | unsigned defer_output : 1; | |
1497 | unsigned hard_register : 1; | |
1498 | unsigned common_flag : 1; | |
1499 | unsigned in_text_section : 1; | |
1500 | unsigned in_constant_pool : 1; | |
1501 | unsigned dllimport_flag : 1; | |
1502 | /* Don't belong to VAR_DECL exclusively. */ | |
1503 | unsigned weak_flag : 1; | |
5e351e96 DN |
1504 | |
1505 | unsigned seen_in_bind_expr : 1; | |
1506 | unsigned comdat_flag : 1; | |
56363ffd | 1507 | /* Used for FUNCTION_DECL, VAR_DECL and in C++ for TYPE_DECL. */ |
5e351e96 DN |
1508 | ENUM_BITFIELD(symbol_visibility) visibility : 2; |
1509 | unsigned visibility_specified : 1; | |
5e351e96 DN |
1510 | |
1511 | /* Belong to FUNCTION_DECL exclusively. */ | |
1512 | unsigned init_priority_p : 1; | |
1513 | /* Used by C++ only. Might become a generic decl flag. */ | |
1514 | unsigned shadowed_for_var_p : 1; | |
1515 | /* Belong to FUNCTION_DECL exclusively. */ | |
1516 | unsigned cxx_constructor : 1; | |
1517 | /* Belong to FUNCTION_DECL exclusively. */ | |
1518 | unsigned cxx_destructor : 1; | |
1519 | /* Belong to FUNCTION_DECL exclusively. */ | |
1520 | unsigned final : 1; | |
c1b7a563 KY |
1521 | /* Belong to FUNCTION_DECL exclusively. */ |
1522 | unsigned regdecl_flag : 1; | |
1523 | /* 14 unused bits. */ | |
5e351e96 DN |
1524 | }; |
1525 | ||
1526 | struct GTY(()) tree_var_decl { | |
1527 | struct tree_decl_with_vis common; | |
1528 | }; | |
1529 | ||
1530 | struct GTY(()) tree_decl_non_common { | |
1531 | struct tree_decl_with_vis common; | |
5e351e96 DN |
1532 | /* Almost all FE's use this. */ |
1533 | tree result; | |
5e351e96 DN |
1534 | }; |
1535 | ||
e6523306 MS |
1536 | /* FUNCTION_DECL inherits from DECL_NON_COMMON because of the use of the |
1537 | arguments/result/saved_tree fields by front ends. It was either inherit | |
1538 | FUNCTION_DECL from non_common, or inherit non_common from FUNCTION_DECL, | |
1539 | which seemed a bit strange. */ | |
1540 | ||
5e351e96 DN |
1541 | struct GTY(()) tree_function_decl { |
1542 | struct tree_decl_non_common common; | |
1543 | ||
1544 | struct function *f; | |
1545 | ||
ad115a3c JH |
1546 | /* Arguments of the function. */ |
1547 | tree arguments; | |
5e351e96 DN |
1548 | /* The personality function. Used for stack unwinding. */ |
1549 | tree personality; | |
1550 | ||
1551 | /* Function specific options that are used by this function. */ | |
1552 | tree function_specific_target; /* target options */ | |
1553 | tree function_specific_optimization; /* optimization options */ | |
1554 | ||
aaf8a23e JH |
1555 | /* Generic function body. */ |
1556 | tree saved_tree; | |
1557 | /* Index within a virtual table. */ | |
1558 | tree vindex; | |
1559 | ||
5e351e96 DN |
1560 | /* In a FUNCTION_DECL for which DECL_BUILT_IN holds, this is |
1561 | DECL_FUNCTION_CODE. Otherwise unused. | |
1562 | ??? The bitfield needs to be able to hold all target function | |
1563 | codes as well. */ | |
c1b7a563 | 1564 | ENUM_BITFIELD(built_in_function) function_code : 12; |
5e351e96 DN |
1565 | ENUM_BITFIELD(built_in_class) built_in_class : 2; |
1566 | ||
1567 | unsigned static_ctor_flag : 1; | |
1568 | unsigned static_dtor_flag : 1; | |
5e351e96 | 1569 | |
c1b7a563 | 1570 | unsigned uninlinable : 1; |
5e351e96 DN |
1571 | unsigned possibly_inlined : 1; |
1572 | unsigned novops_flag : 1; | |
1573 | unsigned returns_twice_flag : 1; | |
1574 | unsigned malloc_flag : 1; | |
1575 | unsigned operator_new_flag : 1; | |
1576 | unsigned declared_inline_flag : 1; | |
5e351e96 DN |
1577 | unsigned no_inline_warning_flag : 1; |
1578 | ||
1579 | unsigned no_instrument_function_entry_exit : 1; | |
1580 | unsigned no_limit_stack : 1; | |
1581 | unsigned disregard_inline_limits : 1; | |
1582 | unsigned pure_flag : 1; | |
1583 | unsigned looping_const_or_pure_flag : 1; | |
1584 | unsigned has_debug_args_flag : 1; | |
1585 | unsigned tm_clone_flag : 1; | |
1586 | unsigned versioned_function : 1; | |
1587 | /* No bits left. */ | |
1588 | }; | |
1589 | ||
1590 | struct GTY(()) tree_translation_unit_decl { | |
1591 | struct tree_decl_common common; | |
1592 | /* Source language of this translation unit. Used for DWARF output. */ | |
1593 | const char * GTY((skip(""))) language; | |
1594 | /* TODO: Non-optimization used to build this translation unit. */ | |
1595 | /* TODO: Root of a partial DWARF tree for global types and decls. */ | |
1596 | }; | |
1597 | ||
1598 | struct GTY(()) tree_type_decl { | |
1599 | struct tree_decl_non_common common; | |
1600 | ||
1601 | }; | |
1602 | ||
1603 | struct GTY ((chain_next ("%h.next"), chain_prev ("%h.prev"))) tree_statement_list_node | |
1604 | { | |
1605 | struct tree_statement_list_node *prev; | |
1606 | struct tree_statement_list_node *next; | |
1607 | tree stmt; | |
1608 | }; | |
1609 | ||
1610 | struct GTY(()) tree_statement_list | |
1611 | { | |
1612 | struct tree_typed typed; | |
1613 | struct tree_statement_list_node *head; | |
1614 | struct tree_statement_list_node *tail; | |
1615 | }; | |
1616 | ||
46f851f3 DN |
1617 | |
1618 | /* Optimization options used by a function. */ | |
1619 | ||
5e351e96 DN |
1620 | struct GTY(()) tree_optimization_option { |
1621 | struct tree_common common; | |
1622 | ||
1623 | /* The optimization options used by the user. */ | |
1624 | struct cl_optimization opts; | |
1625 | ||
1626 | /* Target optabs for this set of optimization options. This is of | |
1627 | type `struct target_optabs *'. */ | |
cc349a39 | 1628 | void *GTY ((atomic)) optabs; |
5e351e96 DN |
1629 | |
1630 | /* The value of this_target_optabs against which the optabs above were | |
1631 | generated. */ | |
1632 | struct target_optabs *GTY ((skip)) base_optabs; | |
1633 | }; | |
1634 | ||
e83b8e2e JJ |
1635 | /* Forward declaration, defined in target-globals.h. */ |
1636 | ||
1637 | struct GTY(()) target_globals; | |
1638 | ||
46f851f3 DN |
1639 | /* Target options used by a function. */ |
1640 | ||
5e351e96 DN |
1641 | struct GTY(()) tree_target_option { |
1642 | struct tree_common common; | |
1643 | ||
e83b8e2e JJ |
1644 | /* Target globals for the corresponding target option. */ |
1645 | struct target_globals *globals; | |
1646 | ||
5e351e96 DN |
1647 | /* The optimization options used by the user. */ |
1648 | struct cl_target_option opts; | |
1649 | }; | |
1650 | ||
1651 | /* Define the overall contents of a tree node. | |
1652 | It may be any of the structures declared above | |
1653 | for various types of node. */ | |
1654 | union GTY ((ptr_alias (union lang_tree_node), | |
1655 | desc ("tree_node_structure (&%h)"), variable_size)) tree_node { | |
1656 | struct tree_base GTY ((tag ("TS_BASE"))) base; | |
1657 | struct tree_typed GTY ((tag ("TS_TYPED"))) typed; | |
1658 | struct tree_common GTY ((tag ("TS_COMMON"))) common; | |
1659 | struct tree_int_cst GTY ((tag ("TS_INT_CST"))) int_cst; | |
1660 | struct tree_real_cst GTY ((tag ("TS_REAL_CST"))) real_cst; | |
1661 | struct tree_fixed_cst GTY ((tag ("TS_FIXED_CST"))) fixed_cst; | |
1662 | struct tree_vector GTY ((tag ("TS_VECTOR"))) vector; | |
1663 | struct tree_string GTY ((tag ("TS_STRING"))) string; | |
1664 | struct tree_complex GTY ((tag ("TS_COMPLEX"))) complex; | |
1665 | struct tree_identifier GTY ((tag ("TS_IDENTIFIER"))) identifier; | |
1666 | struct tree_decl_minimal GTY((tag ("TS_DECL_MINIMAL"))) decl_minimal; | |
1667 | struct tree_decl_common GTY ((tag ("TS_DECL_COMMON"))) decl_common; | |
1668 | struct tree_decl_with_rtl GTY ((tag ("TS_DECL_WRTL"))) decl_with_rtl; | |
1669 | struct tree_decl_non_common GTY ((tag ("TS_DECL_NON_COMMON"))) | |
1670 | decl_non_common; | |
1671 | struct tree_parm_decl GTY ((tag ("TS_PARM_DECL"))) parm_decl; | |
1672 | struct tree_decl_with_vis GTY ((tag ("TS_DECL_WITH_VIS"))) decl_with_vis; | |
1673 | struct tree_var_decl GTY ((tag ("TS_VAR_DECL"))) var_decl; | |
1674 | struct tree_field_decl GTY ((tag ("TS_FIELD_DECL"))) field_decl; | |
1675 | struct tree_label_decl GTY ((tag ("TS_LABEL_DECL"))) label_decl; | |
1676 | struct tree_result_decl GTY ((tag ("TS_RESULT_DECL"))) result_decl; | |
1677 | struct tree_const_decl GTY ((tag ("TS_CONST_DECL"))) const_decl; | |
1678 | struct tree_type_decl GTY ((tag ("TS_TYPE_DECL"))) type_decl; | |
1679 | struct tree_function_decl GTY ((tag ("TS_FUNCTION_DECL"))) function_decl; | |
1680 | struct tree_translation_unit_decl GTY ((tag ("TS_TRANSLATION_UNIT_DECL"))) | |
1681 | translation_unit_decl; | |
1682 | struct tree_type_common GTY ((tag ("TS_TYPE_COMMON"))) type_common; | |
1683 | struct tree_type_with_lang_specific GTY ((tag ("TS_TYPE_WITH_LANG_SPECIFIC"))) | |
1684 | type_with_lang_specific; | |
1685 | struct tree_type_non_common GTY ((tag ("TS_TYPE_NON_COMMON"))) | |
1686 | type_non_common; | |
1687 | struct tree_list GTY ((tag ("TS_LIST"))) list; | |
1688 | struct tree_vec GTY ((tag ("TS_VEC"))) vec; | |
1689 | struct tree_exp GTY ((tag ("TS_EXP"))) exp; | |
1690 | struct tree_ssa_name GTY ((tag ("TS_SSA_NAME"))) ssa_name; | |
1691 | struct tree_block GTY ((tag ("TS_BLOCK"))) block; | |
1692 | struct tree_binfo GTY ((tag ("TS_BINFO"))) binfo; | |
1693 | struct tree_statement_list GTY ((tag ("TS_STATEMENT_LIST"))) stmt_list; | |
1694 | struct tree_constructor GTY ((tag ("TS_CONSTRUCTOR"))) constructor; | |
1695 | struct tree_omp_clause GTY ((tag ("TS_OMP_CLAUSE"))) omp_clause; | |
1696 | struct tree_optimization_option GTY ((tag ("TS_OPTIMIZATION"))) optimization; | |
1697 | struct tree_target_option GTY ((tag ("TS_TARGET_OPTION"))) target_option; | |
1698 | }; | |
1699 | ||
1700 | /* Structure describing an attribute and a function to handle it. */ | |
1701 | struct attribute_spec { | |
1702 | /* The name of the attribute (without any leading or trailing __), | |
1703 | or NULL to mark the end of a table of attributes. */ | |
1704 | const char *name; | |
1705 | /* The minimum length of the list of arguments of the attribute. */ | |
1706 | int min_length; | |
1707 | /* The maximum length of the list of arguments of the attribute | |
1708 | (-1 for no maximum). */ | |
1709 | int max_length; | |
1710 | /* Whether this attribute requires a DECL. If it does, it will be passed | |
1711 | from types of DECLs, function return types and array element types to | |
1712 | the DECLs, function types and array types respectively; but when | |
1713 | applied to a type in any other circumstances, it will be ignored with | |
1714 | a warning. (If greater control is desired for a given attribute, | |
1715 | this should be false, and the flags argument to the handler may be | |
1716 | used to gain greater control in that case.) */ | |
1717 | bool decl_required; | |
1718 | /* Whether this attribute requires a type. If it does, it will be passed | |
1719 | from a DECL to the type of that DECL. */ | |
1720 | bool type_required; | |
1721 | /* Whether this attribute requires a function (or method) type. If it does, | |
1722 | it will be passed from a function pointer type to the target type, | |
1723 | and from a function return type (which is not itself a function | |
1724 | pointer type) to the function type. */ | |
1725 | bool function_type_required; | |
1726 | /* Function to handle this attribute. NODE points to the node to which | |
1727 | the attribute is to be applied. If a DECL, it should be modified in | |
1728 | place; if a TYPE, a copy should be created. NAME is the name of the | |
1729 | attribute (possibly with leading or trailing __). ARGS is the TREE_LIST | |
1730 | of the arguments (which may be NULL). FLAGS gives further information | |
1731 | about the context of the attribute. Afterwards, the attributes will | |
1732 | be added to the DECL_ATTRIBUTES or TYPE_ATTRIBUTES, as appropriate, | |
1733 | unless *NO_ADD_ATTRS is set to true (which should be done on error, | |
1734 | as well as in any other cases when the attributes should not be added | |
1735 | to the DECL or TYPE). Depending on FLAGS, any attributes to be | |
1736 | applied to another type or DECL later may be returned; | |
1737 | otherwise the return value should be NULL_TREE. This pointer may be | |
1738 | NULL if no special handling is required beyond the checks implied | |
1739 | by the rest of this structure. */ | |
1740 | tree (*handler) (tree *node, tree name, tree args, | |
1741 | int flags, bool *no_add_attrs); | |
1742 | /* Specifies if attribute affects type's identity. */ | |
1743 | bool affects_type_identity; | |
1744 | }; | |
1745 | ||
1746 | /* These functions allow a front-end to perform a manual layout of a | |
1747 | RECORD_TYPE. (For instance, if the placement of subsequent fields | |
1748 | depends on the placement of fields so far.) Begin by calling | |
1749 | start_record_layout. Then, call place_field for each of the | |
1750 | fields. Then, call finish_record_layout. See layout_type for the | |
1751 | default way in which these functions are used. */ | |
1752 | typedef struct record_layout_info_s { | |
1753 | /* The RECORD_TYPE that we are laying out. */ | |
1754 | tree t; | |
1755 | /* The offset into the record so far, in bytes, not including bits in | |
1756 | BITPOS. */ | |
1757 | tree offset; | |
1758 | /* The last known alignment of SIZE. */ | |
1759 | unsigned int offset_align; | |
1760 | /* The bit position within the last OFFSET_ALIGN bits, in bits. */ | |
1761 | tree bitpos; | |
1762 | /* The alignment of the record so far, in bits. */ | |
1763 | unsigned int record_align; | |
1764 | /* The alignment of the record so far, ignoring #pragma pack and | |
1765 | __attribute__ ((packed)), in bits. */ | |
1766 | unsigned int unpacked_align; | |
1767 | /* The previous field laid out. */ | |
1768 | tree prev_field; | |
1769 | /* The static variables (i.e., class variables, as opposed to | |
1770 | instance variables) encountered in T. */ | |
1771 | vec<tree, va_gc> *pending_statics; | |
1772 | /* Bits remaining in the current alignment group */ | |
1773 | int remaining_in_alignment; | |
1774 | /* True if we've seen a packed field that didn't have normal | |
1775 | alignment anyway. */ | |
1776 | int packed_maybe_necessary; | |
1777 | } *record_layout_info; | |
1778 | ||
1779 | /* Iterator for going through the function arguments. */ | |
1780 | struct function_args_iterator { | |
1781 | tree next; /* TREE_LIST pointing to the next argument */ | |
1782 | }; | |
1783 | ||
1784 | /* Structures to map from a tree to another tree. */ | |
1785 | struct GTY(()) tree_map_base { | |
1786 | tree from; | |
1787 | }; | |
1788 | ||
46f851f3 DN |
1789 | /* Map from a tree to another tree. */ |
1790 | ||
d242408f | 1791 | struct GTY((for_user)) tree_map { |
5e351e96 DN |
1792 | struct tree_map_base base; |
1793 | unsigned int hash; | |
1794 | tree to; | |
1795 | }; | |
1796 | ||
1797 | /* Map from a decl tree to another tree. */ | |
d242408f | 1798 | struct GTY((for_user)) tree_decl_map { |
5e351e96 DN |
1799 | struct tree_map_base base; |
1800 | tree to; | |
1801 | }; | |
1802 | ||
1803 | /* Map from a tree to an int. */ | |
d242408f | 1804 | struct GTY((for_user)) tree_int_map { |
5e351e96 DN |
1805 | struct tree_map_base base; |
1806 | unsigned int to; | |
1807 | }; | |
1808 | ||
5e351e96 | 1809 | /* Map from a decl tree to a tree vector. */ |
d242408f | 1810 | struct GTY((for_user)) tree_vec_map { |
5e351e96 DN |
1811 | struct tree_map_base base; |
1812 | vec<tree, va_gc> *to; | |
1813 | }; | |
1814 | ||
1815 | /* Abstract iterators for CALL_EXPRs. These static inline definitions | |
1816 | have to go towards the end of tree.h so that union tree_node is fully | |
1817 | defined by this point. */ | |
1818 | ||
1819 | /* Structure containing iterator state. */ | |
1820 | struct call_expr_arg_iterator { | |
1821 | tree t; /* the call_expr */ | |
1822 | int n; /* argument count */ | |
1823 | int i; /* next argument index */ | |
1824 | }; | |
1825 | ||
1826 | struct const_call_expr_arg_iterator { | |
1827 | const_tree t; /* the call_expr */ | |
1828 | int n; /* argument count */ | |
1829 | int i; /* next argument index */ | |
1830 | }; | |
1831 | ||
1832 | /* The builtin_info structure holds the FUNCTION_DECL of the standard builtin | |
1833 | function, and a flag that says if the function is available implicitly, or | |
1834 | whether the user has to code explicit calls to __builtin_<xxx>. */ | |
1835 | struct GTY(()) builtin_info_type { | |
1836 | tree decl[(int)END_BUILTINS]; | |
1837 | bool implicit_p[(int)END_BUILTINS]; | |
1838 | }; | |
1839 | ||
1840 | ||
1841 | /*--------------------------------------------------------------------------- | |
1842 | Global variables | |
1843 | ---------------------------------------------------------------------------*/ | |
1844 | /* Matrix describing the structures contained in a given tree code. */ | |
1845 | extern unsigned char tree_contains_struct[MAX_TREE_CODES][64]; | |
1846 | ||
1847 | /* Class of tree given its code. */ | |
1848 | extern const enum tree_code_class tree_code_type[]; | |
1849 | ||
1850 | /* Each tree code class has an associated string representation. | |
1851 | These must correspond to the tree_code_class entries. */ | |
1852 | extern const char *const tree_code_class_strings[]; | |
1853 | ||
1854 | /* Number of argument-words in each kind of tree-node. */ | |
1855 | extern const unsigned char tree_code_length[]; | |
1856 | ||
5e351e96 DN |
1857 | /* Vector of all alias pairs for global symbols. */ |
1858 | extern GTY(()) vec<alias_pair, va_gc> *alias_pairs; | |
1859 | ||
1860 | /* Names of all the built_in classes. */ | |
1861 | extern const char *const built_in_class_names[BUILT_IN_LAST]; | |
1862 | ||
1863 | /* Names of all the built_in functions. */ | |
1864 | extern const char * built_in_names[(int) END_BUILTINS]; | |
1865 | ||
1866 | /* Number of operands and names for each OMP_CLAUSE node. */ | |
1867 | extern unsigned const char omp_clause_num_ops[]; | |
1868 | extern const char * const omp_clause_code_name[]; | |
1869 | ||
1870 | /* A vector of all translation-units. */ | |
1871 | extern GTY (()) vec<tree, va_gc> *all_translation_units; | |
1872 | ||
1873 | /* Vector of standard trees used by the C compiler. */ | |
1874 | extern GTY(()) tree global_trees[TI_MAX]; | |
1875 | ||
1876 | /* The standard C integer types. Use integer_type_kind to index into | |
1877 | this array. */ | |
1878 | extern GTY(()) tree integer_types[itk_none]; | |
1879 | ||
1880 | /* Types used to represent sizes. */ | |
1881 | extern GTY(()) tree sizetype_tab[(int) stk_type_kind_last]; | |
1882 | ||
1883 | /* Arrays for keeping track of tree node statistics. */ | |
1884 | extern int tree_node_counts[]; | |
1885 | extern int tree_node_sizes[]; | |
1886 | ||
1887 | /* True if we are in gimple form and the actions of the folders need to | |
1888 | be restricted. False if we are not in gimple form and folding is not | |
1889 | restricted to creating gimple expressions. */ | |
1890 | extern bool in_gimple_form; | |
1891 | ||
1892 | /* Functional interface to the builtin functions. */ | |
1893 | extern GTY(()) builtin_info_type builtin_info; | |
1894 | ||
1895 | /* If nonzero, an upper limit on alignment of structure fields, in bits, */ | |
1896 | extern unsigned int maximum_field_alignment; | |
1897 | ||
5e351e96 DN |
1898 | /* Points to the FUNCTION_DECL of the function whose body we are reading. */ |
1899 | extern GTY(()) tree current_function_decl; | |
1900 | ||
1901 | /* Nonzero means a FUNC_BEGIN label was emitted. */ | |
1902 | extern GTY(()) const char * current_function_func_begin_label; | |
1903 | ||
1904 | #endif // GCC_TREE_CORE_H |