]>
Commit | Line | Data |
---|---|---|
96423453 | 1 | /* Core data structures for the 'tree' type. |
fbd26352 | 2 | Copyright (C) 1989-2019 Free Software Foundation, Inc. |
96423453 | 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 | ||
9ef16211 | 23 | #include "symtab.h" |
24 | ||
96423453 | 25 | /* This file contains all the data structures that define the 'tree' type. |
26 | There are no accessor macros nor functions in this file. Only the | |
27 | basic data structures, extern declarations and type definitions. */ | |
28 | ||
29 | /*--------------------------------------------------------------------------- | |
30 | Forward type declarations. Mostly to avoid including unnecessary headers | |
31 | ---------------------------------------------------------------------------*/ | |
32 | struct function; | |
33 | struct real_value; | |
34 | struct fixed_value; | |
35 | struct ptr_info_def; | |
3c59e4a7 | 36 | struct range_info_def; |
96423453 | 37 | struct die_struct; |
96423453 | 38 | |
39 | ||
40 | /*--------------------------------------------------------------------------- | |
41 | #defined constants | |
42 | ---------------------------------------------------------------------------*/ | |
43 | /* Nonzero if this is a call to a function whose return value depends | |
44 | solely on its arguments, has no side effects, and does not read | |
45 | global memory. This corresponds to TREE_READONLY for function | |
46 | decls. */ | |
47 | #define ECF_CONST (1 << 0) | |
48 | ||
49 | /* Nonzero if this is a call to "pure" function (like const function, | |
50 | but may read memory. This corresponds to DECL_PURE_P for function | |
51 | decls. */ | |
52 | #define ECF_PURE (1 << 1) | |
53 | ||
54 | /* Nonzero if this is ECF_CONST or ECF_PURE but cannot be proven to no | |
55 | infinite loop. This corresponds to DECL_LOOPING_CONST_OR_PURE_P | |
56 | for function decls.*/ | |
57 | #define ECF_LOOPING_CONST_OR_PURE (1 << 2) | |
58 | ||
59 | /* Nonzero if this call will never return. */ | |
60 | #define ECF_NORETURN (1 << 3) | |
61 | ||
62 | /* Nonzero if this is a call to malloc or a related function. */ | |
63 | #define ECF_MALLOC (1 << 4) | |
64 | ||
65 | /* Nonzero if it is plausible that this is a call to alloca. */ | |
66 | #define ECF_MAY_BE_ALLOCA (1 << 5) | |
67 | ||
68 | /* Nonzero if this is a call to a function that won't throw an exception. */ | |
69 | #define ECF_NOTHROW (1 << 6) | |
70 | ||
71 | /* Nonzero if this is a call to setjmp or a related function. */ | |
72 | #define ECF_RETURNS_TWICE (1 << 7) | |
73 | ||
74 | /* Nonzero if this call replaces the current stack frame. */ | |
75 | #define ECF_SIBCALL (1 << 8) | |
76 | ||
77 | /* Function does not read or write memory (but may have side effects, so | |
78 | it does not necessarily fit ECF_CONST). */ | |
79 | #define ECF_NOVOPS (1 << 9) | |
80 | ||
81 | /* The function does not lead to calls within current function unit. */ | |
82 | #define ECF_LEAF (1 << 10) | |
83 | ||
61ffc71a | 84 | /* Nonzero if this call returns its first argument. */ |
85 | #define ECF_RET1 (1 << 11) | |
86 | ||
96423453 | 87 | /* Nonzero if this call does not affect transactions. */ |
61ffc71a | 88 | #define ECF_TM_PURE (1 << 12) |
96423453 | 89 | |
90 | /* Nonzero if this call is into the transaction runtime library. */ | |
61ffc71a | 91 | #define ECF_TM_BUILTIN (1 << 13) |
96423453 | 92 | |
a27e3913 | 93 | /* Nonzero if this is an indirect call by descriptor. */ |
94 | #define ECF_BY_DESCRIPTOR (1 << 14) | |
95 | ||
642860fc | 96 | /* Nonzero if this is a cold function. */ |
97 | #define ECF_COLD (1 << 15) | |
98 | ||
96423453 | 99 | /* Call argument flags. */ |
100 | /* Nonzero if the argument is not dereferenced recursively, thus only | |
101 | directly reachable memory is read or written. */ | |
102 | #define EAF_DIRECT (1 << 0) | |
103 | ||
104 | /* Nonzero if memory reached by the argument is not clobbered. */ | |
105 | #define EAF_NOCLOBBER (1 << 1) | |
106 | ||
107 | /* Nonzero if the argument does not escape. */ | |
108 | #define EAF_NOESCAPE (1 << 2) | |
109 | ||
110 | /* Nonzero if the argument is not used by the function. */ | |
111 | #define EAF_UNUSED (1 << 3) | |
112 | ||
113 | /* Call return flags. */ | |
114 | /* Mask for the argument number that is returned. Lower two bits of | |
115 | the return flags, encodes argument slots zero to three. */ | |
116 | #define ERF_RETURN_ARG_MASK (3) | |
117 | ||
118 | /* Nonzero if the return value is equal to the argument number | |
119 | flags & ERF_RETURN_ARG_MASK. */ | |
120 | #define ERF_RETURNS_ARG (1 << 2) | |
121 | ||
122 | /* Nonzero if the return value does not alias with anything. Functions | |
123 | with the malloc attribute have this set on their return value. */ | |
124 | #define ERF_NOALIAS (1 << 3) | |
125 | ||
126 | ||
127 | /*--------------------------------------------------------------------------- | |
128 | Enumerations | |
129 | ---------------------------------------------------------------------------*/ | |
130 | /* Codes of tree nodes. */ | |
131 | #define DEFTREECODE(SYM, STRING, TYPE, NARGS) SYM, | |
132 | #define END_OF_BASE_TREE_CODES LAST_AND_UNUSED_TREE_CODE, | |
133 | ||
134 | enum tree_code { | |
135 | #include "all-tree.def" | |
136 | MAX_TREE_CODES | |
137 | }; | |
138 | ||
139 | #undef DEFTREECODE | |
140 | #undef END_OF_BASE_TREE_CODES | |
141 | ||
142 | /* Number of language-independent tree codes. */ | |
143 | #define NUM_TREE_CODES \ | |
144 | ((int) LAST_AND_UNUSED_TREE_CODE) | |
145 | ||
146 | #define CODE_CONTAINS_STRUCT(CODE, STRUCT) \ | |
147 | (tree_contains_struct[(CODE)][(STRUCT)]) | |
148 | ||
149 | ||
150 | /* Classify which part of the compiler has defined a given builtin function. | |
151 | Note that we assume below that this is no more than two bits. */ | |
152 | enum built_in_class { | |
153 | NOT_BUILT_IN = 0, | |
154 | BUILT_IN_FRONTEND, | |
155 | BUILT_IN_MD, | |
156 | BUILT_IN_NORMAL | |
157 | }; | |
158 | ||
f4d3c071 | 159 | /* Last marker used for LTO stremaing of built_in_class. We cannot add it |
96423453 | 160 | to the enum since we need the enumb to fit in 2 bits. */ |
161 | #define BUILT_IN_LAST (BUILT_IN_NORMAL + 1) | |
162 | ||
163 | /* Codes that identify the various built in functions | |
164 | so that expand_call can identify them quickly. */ | |
165 | #define DEF_BUILTIN(ENUM, N, C, T, LT, B, F, NA, AT, IM, COND) ENUM, | |
166 | enum built_in_function { | |
167 | #include "builtins.def" | |
96423453 | 168 | /* Complex division routines in libgcc. These are done via builtins |
169 | because emit_library_call_value can't handle complex values. */ | |
170 | BUILT_IN_COMPLEX_MUL_MIN, | |
171 | BUILT_IN_COMPLEX_MUL_MAX | |
172 | = BUILT_IN_COMPLEX_MUL_MIN | |
173 | + MAX_MODE_COMPLEX_FLOAT | |
174 | - MIN_MODE_COMPLEX_FLOAT, | |
175 | ||
176 | BUILT_IN_COMPLEX_DIV_MIN, | |
177 | BUILT_IN_COMPLEX_DIV_MAX | |
178 | = BUILT_IN_COMPLEX_DIV_MIN | |
179 | + MAX_MODE_COMPLEX_FLOAT | |
180 | - MIN_MODE_COMPLEX_FLOAT, | |
181 | ||
182 | /* Upper bound on non-language-specific builtins. */ | |
183 | END_BUILTINS | |
184 | }; | |
96423453 | 185 | |
be03bd18 | 186 | /* Internal functions. */ |
187 | enum internal_fn { | |
188 | #define DEF_INTERNAL_FN(CODE, FLAGS, FNSPEC) IFN_##CODE, | |
189 | #include "internal-fn.def" | |
190 | IFN_LAST | |
191 | }; | |
192 | ||
193 | /* An enum that combines target-independent built-in functions with | |
194 | internal functions, so that they can be treated in a similar way. | |
195 | The numbers for built-in functions are the same as for the | |
196 | built_in_function enum. The numbers for internal functions | |
197 | start at END_BUITLINS. */ | |
198 | enum combined_fn { | |
199 | #define DEF_BUILTIN(ENUM, N, C, T, LT, B, F, NA, AT, IM, COND) \ | |
200 | CFN_##ENUM = int (ENUM), | |
201 | #include "builtins.def" | |
202 | ||
be03bd18 | 203 | |
204 | #define DEF_INTERNAL_FN(CODE, FLAGS, FNSPEC) \ | |
205 | CFN_##CODE = int (END_BUILTINS) + int (IFN_##CODE), | |
206 | #include "internal-fn.def" | |
207 | ||
208 | CFN_LAST | |
209 | }; | |
210 | ||
96423453 | 211 | /* Tree code classes. Each tree_code has an associated code class |
212 | represented by a TREE_CODE_CLASS. */ | |
213 | enum tree_code_class { | |
214 | tcc_exceptional, /* An exceptional code (fits no category). */ | |
215 | tcc_constant, /* A constant. */ | |
216 | /* Order of tcc_type and tcc_declaration is important. */ | |
217 | tcc_type, /* A type object code. */ | |
218 | tcc_declaration, /* A declaration (also serving as variable refs). */ | |
219 | tcc_reference, /* A reference to storage. */ | |
220 | tcc_comparison, /* A comparison expression. */ | |
221 | tcc_unary, /* A unary arithmetic expression. */ | |
222 | tcc_binary, /* A binary arithmetic expression. */ | |
223 | tcc_statement, /* A statement expression, which have side effects | |
224 | but usually no interesting value. */ | |
225 | tcc_vl_exp, /* A function call or other expression with a | |
226 | variable-length operand vector. */ | |
227 | tcc_expression /* Any other expression. */ | |
228 | }; | |
229 | ||
230 | /* OMP_CLAUSE codes. Do not reorder, as this is used to index into | |
231 | the tables omp_clause_num_ops and omp_clause_code_name. */ | |
232 | enum omp_clause_code { | |
233 | /* Clause zero is special-cased inside the parser | |
234 | (c_parser_omp_variable_list). */ | |
235 | OMP_CLAUSE_ERROR = 0, | |
236 | ||
ca4c3545 | 237 | /* OpenACC/OpenMP clause: private (variable_list). */ |
96423453 | 238 | OMP_CLAUSE_PRIVATE, |
239 | ||
240 | /* OpenMP clause: shared (variable_list). */ | |
241 | OMP_CLAUSE_SHARED, | |
242 | ||
ca4c3545 | 243 | /* OpenACC/OpenMP clause: firstprivate (variable_list). */ |
96423453 | 244 | OMP_CLAUSE_FIRSTPRIVATE, |
245 | ||
246 | /* OpenMP clause: lastprivate (variable_list). */ | |
247 | OMP_CLAUSE_LASTPRIVATE, | |
248 | ||
ca4c3545 | 249 | /* OpenACC/OpenMP clause: reduction (operator:variable_list). |
96423453 | 250 | OMP_CLAUSE_REDUCTION_CODE: The tree_code of the operator. |
251 | Operand 1: OMP_CLAUSE_REDUCTION_INIT: Stmt-list to initialize the var. | |
252 | Operand 2: OMP_CLAUSE_REDUCTION_MERGE: Stmt-list to merge private var | |
253 | into the shared one. | |
254 | Operand 3: OMP_CLAUSE_REDUCTION_PLACEHOLDER: A dummy VAR_DECL | |
43895be5 | 255 | placeholder used in OMP_CLAUSE_REDUCTION_{INIT,MERGE}. |
256 | Operand 4: OMP_CLAUSE_REDUCTION_DECL_PLACEHOLDER: Another dummy | |
257 | VAR_DECL placeholder, used like the above for C/C++ array | |
258 | reductions. */ | |
96423453 | 259 | OMP_CLAUSE_REDUCTION, |
260 | ||
7e5a76c8 | 261 | /* OpenMP clause: task_reduction (operator:variable_list). */ |
262 | OMP_CLAUSE_TASK_REDUCTION, | |
263 | ||
264 | /* OpenMP clause: in_reduction (operator:variable_list). */ | |
265 | OMP_CLAUSE_IN_REDUCTION, | |
266 | ||
96423453 | 267 | /* OpenMP clause: copyin (variable_list). */ |
268 | OMP_CLAUSE_COPYIN, | |
269 | ||
270 | /* OpenMP clause: copyprivate (variable_list). */ | |
271 | OMP_CLAUSE_COPYPRIVATE, | |
272 | ||
273 | /* OpenMP clause: linear (variable-list[:linear-step]). */ | |
274 | OMP_CLAUSE_LINEAR, | |
275 | ||
bc7bff74 | 276 | /* OpenMP clause: aligned (variable-list[:alignment]). */ |
277 | OMP_CLAUSE_ALIGNED, | |
278 | ||
279 | /* OpenMP clause: depend ({in,out,inout}:variable-list). */ | |
280 | OMP_CLAUSE_DEPEND, | |
281 | ||
7e5a76c8 | 282 | /* OpenMP clause: nontemporal (variable-list). */ |
283 | OMP_CLAUSE_NONTEMPORAL, | |
284 | ||
96423453 | 285 | /* OpenMP clause: uniform (argument-list). */ |
286 | OMP_CLAUSE_UNIFORM, | |
287 | ||
43895be5 | 288 | /* OpenMP clause: to (extended-list). |
289 | Only when it appears in declare target. */ | |
290 | OMP_CLAUSE_TO_DECLARE, | |
291 | ||
292 | /* OpenMP clause: link (variable-list). */ | |
293 | OMP_CLAUSE_LINK, | |
294 | ||
bc7bff74 | 295 | /* OpenMP clause: from (variable-list). */ |
296 | OMP_CLAUSE_FROM, | |
297 | ||
298 | /* OpenMP clause: to (variable-list). */ | |
299 | OMP_CLAUSE_TO, | |
300 | ||
ca4c3545 | 301 | /* OpenACC clauses: {copy, copyin, copyout, create, delete, deviceptr, |
302 | device, host (self), present, present_or_copy (pcopy), present_or_copyin | |
303 | (pcopyin), present_or_copyout (pcopyout), present_or_create (pcreate)} | |
304 | (variable-list). | |
305 | ||
306 | OpenMP clause: map ({alloc:,to:,from:,tofrom:,}variable-list). */ | |
bc7bff74 | 307 | OMP_CLAUSE_MAP, |
308 | ||
70a6624c | 309 | /* OpenACC clause: use_device (variable-list). |
75145cfe | 310 | OpenMP clause: use_device_ptr (ptr-list). */ |
43895be5 | 311 | OMP_CLAUSE_USE_DEVICE_PTR, |
312 | ||
75145cfe | 313 | /* OpenMP clause: use_device_addr (variable-list). */ |
314 | OMP_CLAUSE_USE_DEVICE_ADDR, | |
315 | ||
43895be5 | 316 | /* OpenMP clause: is_device_ptr (variable-list). */ |
317 | OMP_CLAUSE_IS_DEVICE_PTR, | |
318 | ||
70a6624c | 319 | /* OpenMP clause: inclusive (variable-list). */ |
320 | OMP_CLAUSE_INCLUSIVE, | |
321 | ||
322 | /* OpenMP clause: exclusive (variable-list). */ | |
323 | OMP_CLAUSE_EXCLUSIVE, | |
324 | ||
ca4c3545 | 325 | /* Internal structure to hold OpenACC cache directive's variable-list. |
326 | #pragma acc cache (variable-list). */ | |
327 | OMP_CLAUSE__CACHE_, | |
328 | ||
ca4c3545 | 329 | /* OpenACC clause: gang [(gang-argument-list)]. |
330 | Where | |
331 | gang-argument-list: [gang-argument-list, ] gang-argument | |
332 | gang-argument: [num:] integer-expression | |
333 | | static: size-expression | |
334 | size-expression: * | integer-expression. */ | |
335 | OMP_CLAUSE_GANG, | |
336 | ||
337 | /* OpenACC clause: async [(integer-expression)]. */ | |
338 | OMP_CLAUSE_ASYNC, | |
339 | ||
340 | /* OpenACC clause: wait [(integer-expression-list)]. */ | |
341 | OMP_CLAUSE_WAIT, | |
342 | ||
343 | /* OpenACC clause: auto. */ | |
344 | OMP_CLAUSE_AUTO, | |
345 | ||
346 | /* OpenACC clause: seq. */ | |
347 | OMP_CLAUSE_SEQ, | |
348 | ||
bc7bff74 | 349 | /* Internal clause: temporary for combined loops expansion. */ |
350 | OMP_CLAUSE__LOOPTEMP_, | |
351 | ||
7e5a76c8 | 352 | /* Internal clause: temporary for task reductions. */ |
353 | OMP_CLAUSE__REDUCTEMP_, | |
9a1d892b | 354 | |
355 | /* Internal clause: temporary for lastprivate(conditional:). */ | |
356 | OMP_CLAUSE__CONDTEMP_, | |
7e5a76c8 | 357 | |
7d26f131 | 358 | /* Internal clause: temporary for inscan reductions. */ |
359 | OMP_CLAUSE__SCANTEMP_, | |
360 | ||
ca4c3545 | 361 | /* OpenACC/OpenMP clause: if (scalar-expression). */ |
96423453 | 362 | OMP_CLAUSE_IF, |
363 | ||
364 | /* OpenMP clause: num_threads (integer-expression). */ | |
365 | OMP_CLAUSE_NUM_THREADS, | |
366 | ||
367 | /* OpenMP clause: schedule. */ | |
368 | OMP_CLAUSE_SCHEDULE, | |
369 | ||
370 | /* OpenMP clause: nowait. */ | |
371 | OMP_CLAUSE_NOWAIT, | |
372 | ||
43895be5 | 373 | /* OpenMP clause: ordered [(constant-integer-expression)]. */ |
96423453 | 374 | OMP_CLAUSE_ORDERED, |
375 | ||
6acf639f | 376 | /* OpenACC/OpenMP clause: default. */ |
96423453 | 377 | OMP_CLAUSE_DEFAULT, |
378 | ||
ca4c3545 | 379 | /* OpenACC/OpenMP clause: collapse (constant-integer-expression). */ |
96423453 | 380 | OMP_CLAUSE_COLLAPSE, |
381 | ||
382 | /* OpenMP clause: untied. */ | |
383 | OMP_CLAUSE_UNTIED, | |
384 | ||
385 | /* OpenMP clause: final (scalar-expression). */ | |
386 | OMP_CLAUSE_FINAL, | |
387 | ||
388 | /* OpenMP clause: mergeable. */ | |
389 | OMP_CLAUSE_MERGEABLE, | |
390 | ||
bc7bff74 | 391 | /* OpenMP clause: device (integer-expression). */ |
392 | OMP_CLAUSE_DEVICE, | |
393 | ||
394 | /* OpenMP clause: dist_schedule (static[:chunk-size]). */ | |
395 | OMP_CLAUSE_DIST_SCHEDULE, | |
396 | ||
397 | /* OpenMP clause: inbranch. */ | |
398 | OMP_CLAUSE_INBRANCH, | |
399 | ||
400 | /* OpenMP clause: notinbranch. */ | |
401 | OMP_CLAUSE_NOTINBRANCH, | |
402 | ||
403 | /* OpenMP clause: num_teams(integer-expression). */ | |
404 | OMP_CLAUSE_NUM_TEAMS, | |
405 | ||
406 | /* OpenMP clause: thread_limit(integer-expression). */ | |
407 | OMP_CLAUSE_THREAD_LIMIT, | |
408 | ||
409 | /* OpenMP clause: proc_bind ({master,close,spread}). */ | |
410 | OMP_CLAUSE_PROC_BIND, | |
411 | ||
96423453 | 412 | /* OpenMP clause: safelen (constant-integer-expression). */ |
413 | OMP_CLAUSE_SAFELEN, | |
414 | ||
bc7bff74 | 415 | /* OpenMP clause: simdlen (constant-integer-expression). */ |
416 | OMP_CLAUSE_SIMDLEN, | |
417 | ||
a1496ae7 | 418 | /* OpenMP clause: device_type ({host,nohost,any}). */ |
419 | OMP_CLAUSE_DEVICE_TYPE, | |
420 | ||
bc7bff74 | 421 | /* OpenMP clause: for. */ |
422 | OMP_CLAUSE_FOR, | |
423 | ||
424 | /* OpenMP clause: parallel. */ | |
425 | OMP_CLAUSE_PARALLEL, | |
426 | ||
427 | /* OpenMP clause: sections. */ | |
428 | OMP_CLAUSE_SECTIONS, | |
429 | ||
430 | /* OpenMP clause: taskgroup. */ | |
431 | OMP_CLAUSE_TASKGROUP, | |
432 | ||
43895be5 | 433 | /* OpenMP clause: priority (integer-expression). */ |
434 | OMP_CLAUSE_PRIORITY, | |
435 | ||
436 | /* OpenMP clause: grainsize (integer-expression). */ | |
437 | OMP_CLAUSE_GRAINSIZE, | |
438 | ||
439 | /* OpenMP clause: num_tasks (integer-expression). */ | |
440 | OMP_CLAUSE_NUM_TASKS, | |
441 | ||
442 | /* OpenMP clause: nogroup. */ | |
443 | OMP_CLAUSE_NOGROUP, | |
444 | ||
445 | /* OpenMP clause: threads. */ | |
446 | OMP_CLAUSE_THREADS, | |
447 | ||
448 | /* OpenMP clause: simd. */ | |
449 | OMP_CLAUSE_SIMD, | |
450 | ||
451 | /* OpenMP clause: hint (integer-expression). */ | |
452 | OMP_CLAUSE_HINT, | |
453 | ||
454 | /* OpenMP clause: defaultmap (tofrom: scalar). */ | |
455 | OMP_CLAUSE_DEFAULTMAP, | |
456 | ||
9b53afe9 | 457 | /* OpenMP clause: order (concurrent). */ |
458 | OMP_CLAUSE_ORDER, | |
459 | ||
31890b58 | 460 | /* OpenMP clause: bind (binding). */ |
461 | OMP_CLAUSE_BIND, | |
462 | ||
96423453 | 463 | /* Internally used only clause, holding SIMD uid. */ |
40750995 | 464 | OMP_CLAUSE__SIMDUID_, |
465 | ||
57f872be | 466 | /* Internally used only clause, flag whether this is SIMT simd |
467 | loop or not. */ | |
468 | OMP_CLAUSE__SIMT_, | |
469 | ||
ca4c3545 | 470 | /* OpenACC clause: independent. */ |
471 | OMP_CLAUSE_INDEPENDENT, | |
472 | ||
473 | /* OpenACC clause: worker [( [num:] integer-expression)]. */ | |
474 | OMP_CLAUSE_WORKER, | |
475 | ||
476 | /* OpenACC clause: vector [( [length:] integer-expression)]. */ | |
477 | OMP_CLAUSE_VECTOR, | |
478 | ||
479 | /* OpenACC clause: num_gangs (integer-expression). */ | |
480 | OMP_CLAUSE_NUM_GANGS, | |
481 | ||
482 | /* OpenACC clause: num_workers (integer-expression). */ | |
483 | OMP_CLAUSE_NUM_WORKERS, | |
484 | ||
485 | /* OpenACC clause: vector_length (integer-expression). */ | |
ef014f95 | 486 | OMP_CLAUSE_VECTOR_LENGTH, |
487 | ||
488 | /* OpenACC clause: tile ( size-expr-list ). */ | |
56686608 | 489 | OMP_CLAUSE_TILE, |
490 | ||
491 | /* OpenMP internal-only clause to specify grid dimensions of a gridified | |
492 | kernel. */ | |
737cc978 | 493 | OMP_CLAUSE__GRIDDIM_, |
494 | ||
495 | /* OpenACC clause: if_present. */ | |
496 | OMP_CLAUSE_IF_PRESENT, | |
497 | ||
498 | /* OpenACC clause: finalize. */ | |
499 | OMP_CLAUSE_FINALIZE | |
96423453 | 500 | }; |
501 | ||
502 | #undef DEFTREESTRUCT | |
503 | #define DEFTREESTRUCT(ENUM, NAME) ENUM, | |
504 | enum tree_node_structure_enum { | |
505 | #include "treestruct.def" | |
506 | LAST_TS_ENUM | |
507 | }; | |
508 | #undef DEFTREESTRUCT | |
509 | ||
510 | enum omp_clause_schedule_kind { | |
511 | OMP_CLAUSE_SCHEDULE_STATIC, | |
512 | OMP_CLAUSE_SCHEDULE_DYNAMIC, | |
513 | OMP_CLAUSE_SCHEDULE_GUIDED, | |
514 | OMP_CLAUSE_SCHEDULE_AUTO, | |
fe3e3369 | 515 | OMP_CLAUSE_SCHEDULE_RUNTIME, |
9561765e | 516 | OMP_CLAUSE_SCHEDULE_MASK = (1 << 3) - 1, |
517 | OMP_CLAUSE_SCHEDULE_MONOTONIC = (1 << 3), | |
518 | OMP_CLAUSE_SCHEDULE_NONMONOTONIC = (1 << 4), | |
519 | OMP_CLAUSE_SCHEDULE_LAST = 2 * OMP_CLAUSE_SCHEDULE_NONMONOTONIC - 1 | |
96423453 | 520 | }; |
521 | ||
522 | enum omp_clause_default_kind { | |
523 | OMP_CLAUSE_DEFAULT_UNSPECIFIED, | |
524 | OMP_CLAUSE_DEFAULT_SHARED, | |
525 | OMP_CLAUSE_DEFAULT_NONE, | |
526 | OMP_CLAUSE_DEFAULT_PRIVATE, | |
fe3e3369 | 527 | OMP_CLAUSE_DEFAULT_FIRSTPRIVATE, |
6acf639f | 528 | OMP_CLAUSE_DEFAULT_PRESENT, |
fe3e3369 | 529 | OMP_CLAUSE_DEFAULT_LAST |
96423453 | 530 | }; |
531 | ||
7e5a76c8 | 532 | enum omp_clause_defaultmap_kind { |
533 | OMP_CLAUSE_DEFAULTMAP_CATEGORY_UNSPECIFIED, | |
534 | OMP_CLAUSE_DEFAULTMAP_CATEGORY_SCALAR, | |
535 | OMP_CLAUSE_DEFAULTMAP_CATEGORY_AGGREGATE, | |
536 | OMP_CLAUSE_DEFAULTMAP_CATEGORY_ALLOCATABLE, | |
537 | OMP_CLAUSE_DEFAULTMAP_CATEGORY_POINTER, | |
538 | OMP_CLAUSE_DEFAULTMAP_CATEGORY_MASK = 7, | |
539 | OMP_CLAUSE_DEFAULTMAP_ALLOC = 1 * (OMP_CLAUSE_DEFAULTMAP_CATEGORY_MASK + 1), | |
540 | OMP_CLAUSE_DEFAULTMAP_TO = 2 * (OMP_CLAUSE_DEFAULTMAP_CATEGORY_MASK + 1), | |
541 | OMP_CLAUSE_DEFAULTMAP_FROM = 3 * (OMP_CLAUSE_DEFAULTMAP_CATEGORY_MASK + 1), | |
542 | OMP_CLAUSE_DEFAULTMAP_TOFROM = 4 * (OMP_CLAUSE_DEFAULTMAP_CATEGORY_MASK + 1), | |
543 | OMP_CLAUSE_DEFAULTMAP_FIRSTPRIVATE | |
544 | = 5 * (OMP_CLAUSE_DEFAULTMAP_CATEGORY_MASK + 1), | |
545 | OMP_CLAUSE_DEFAULTMAP_NONE = 6 * (OMP_CLAUSE_DEFAULTMAP_CATEGORY_MASK + 1), | |
546 | OMP_CLAUSE_DEFAULTMAP_DEFAULT | |
547 | = 7 * (OMP_CLAUSE_DEFAULTMAP_CATEGORY_MASK + 1), | |
548 | OMP_CLAUSE_DEFAULTMAP_MASK = 7 * (OMP_CLAUSE_DEFAULTMAP_CATEGORY_MASK + 1) | |
549 | }; | |
550 | ||
31890b58 | 551 | enum omp_clause_bind_kind { |
552 | OMP_CLAUSE_BIND_TEAMS, | |
553 | OMP_CLAUSE_BIND_PARALLEL, | |
554 | OMP_CLAUSE_BIND_THREAD | |
555 | }; | |
556 | ||
7e5a76c8 | 557 | /* memory-order-clause on OpenMP atomic/flush constructs or |
558 | argument of atomic_default_mem_order clause. */ | |
559 | enum omp_memory_order { | |
560 | OMP_MEMORY_ORDER_UNSPECIFIED, | |
561 | OMP_MEMORY_ORDER_RELAXED, | |
562 | OMP_MEMORY_ORDER_ACQUIRE, | |
563 | OMP_MEMORY_ORDER_RELEASE, | |
564 | OMP_MEMORY_ORDER_ACQ_REL, | |
565 | OMP_MEMORY_ORDER_SEQ_CST | |
566 | }; | |
567 | ||
96423453 | 568 | /* There is a TYPE_QUAL value for each type qualifier. They can be |
569 | combined by bitwise-or to form the complete set of qualifiers for a | |
570 | type. */ | |
571 | enum cv_qualifier { | |
572 | TYPE_UNQUALIFIED = 0x0, | |
573 | TYPE_QUAL_CONST = 0x1, | |
574 | TYPE_QUAL_VOLATILE = 0x2, | |
b560fabd | 575 | TYPE_QUAL_RESTRICT = 0x4, |
576 | TYPE_QUAL_ATOMIC = 0x8 | |
96423453 | 577 | }; |
578 | ||
96423453 | 579 | /* Standard named or nameless data types of the C compiler. */ |
580 | enum tree_index { | |
581 | TI_ERROR_MARK, | |
582 | TI_INTQI_TYPE, | |
583 | TI_INTHI_TYPE, | |
584 | TI_INTSI_TYPE, | |
585 | TI_INTDI_TYPE, | |
586 | TI_INTTI_TYPE, | |
587 | ||
588 | TI_UINTQI_TYPE, | |
589 | TI_UINTHI_TYPE, | |
590 | TI_UINTSI_TYPE, | |
591 | TI_UINTDI_TYPE, | |
592 | TI_UINTTI_TYPE, | |
593 | ||
b560fabd | 594 | TI_ATOMICQI_TYPE, |
595 | TI_ATOMICHI_TYPE, | |
596 | TI_ATOMICSI_TYPE, | |
597 | TI_ATOMICDI_TYPE, | |
598 | TI_ATOMICTI_TYPE, | |
599 | ||
96423453 | 600 | TI_UINT16_TYPE, |
601 | TI_UINT32_TYPE, | |
602 | TI_UINT64_TYPE, | |
603 | ||
3ab4693e | 604 | TI_VOID, |
605 | ||
96423453 | 606 | TI_INTEGER_ZERO, |
607 | TI_INTEGER_ONE, | |
608 | TI_INTEGER_THREE, | |
609 | TI_INTEGER_MINUS_ONE, | |
610 | TI_NULL_POINTER, | |
611 | ||
612 | TI_SIZE_ZERO, | |
613 | TI_SIZE_ONE, | |
614 | ||
615 | TI_BITSIZE_ZERO, | |
616 | TI_BITSIZE_ONE, | |
617 | TI_BITSIZE_UNIT, | |
618 | ||
619 | TI_PUBLIC, | |
620 | TI_PROTECTED, | |
621 | TI_PRIVATE, | |
622 | ||
623 | TI_BOOLEAN_FALSE, | |
624 | TI_BOOLEAN_TRUE, | |
625 | ||
96423453 | 626 | TI_FLOAT_TYPE, |
627 | TI_DOUBLE_TYPE, | |
628 | TI_LONG_DOUBLE_TYPE, | |
629 | ||
82c85aba | 630 | /* The _FloatN and _FloatNx types must be consecutive, and in the |
631 | same sequence as the corresponding complex types, which must also | |
632 | be consecutive; _FloatN must come before _FloatNx; the order must | |
633 | also be the same as in the floatn_nx_types array and the RID_* | |
634 | values in c-common.h. This is so that iterations over these | |
635 | types work as intended. */ | |
636 | TI_FLOAT16_TYPE, | |
637 | TI_FLOATN_TYPE_FIRST = TI_FLOAT16_TYPE, | |
638 | TI_FLOATN_NX_TYPE_FIRST = TI_FLOAT16_TYPE, | |
639 | TI_FLOAT32_TYPE, | |
640 | TI_FLOAT64_TYPE, | |
641 | TI_FLOAT128_TYPE, | |
642 | TI_FLOATN_TYPE_LAST = TI_FLOAT128_TYPE, | |
643 | #define NUM_FLOATN_TYPES (TI_FLOATN_TYPE_LAST - TI_FLOATN_TYPE_FIRST + 1) | |
644 | TI_FLOAT32X_TYPE, | |
645 | TI_FLOATNX_TYPE_FIRST = TI_FLOAT32X_TYPE, | |
646 | TI_FLOAT64X_TYPE, | |
647 | TI_FLOAT128X_TYPE, | |
648 | TI_FLOATNX_TYPE_LAST = TI_FLOAT128X_TYPE, | |
649 | TI_FLOATN_NX_TYPE_LAST = TI_FLOAT128X_TYPE, | |
650 | #define NUM_FLOATNX_TYPES (TI_FLOATNX_TYPE_LAST - TI_FLOATNX_TYPE_FIRST + 1) | |
651 | #define NUM_FLOATN_NX_TYPES (TI_FLOATN_NX_TYPE_LAST \ | |
652 | - TI_FLOATN_NX_TYPE_FIRST \ | |
653 | + 1) | |
654 | ||
2ba42fa3 | 655 | /* Put the complex types after their component types, so that in (sequential) |
656 | tree streaming we can assert that their component types have already been | |
657 | handled (see tree-streamer.c:record_common_node). */ | |
658 | TI_COMPLEX_INTEGER_TYPE, | |
659 | TI_COMPLEX_FLOAT_TYPE, | |
660 | TI_COMPLEX_DOUBLE_TYPE, | |
661 | TI_COMPLEX_LONG_DOUBLE_TYPE, | |
662 | ||
663 | TI_COMPLEX_FLOAT16_TYPE, | |
664 | TI_COMPLEX_FLOATN_NX_TYPE_FIRST = TI_COMPLEX_FLOAT16_TYPE, | |
665 | TI_COMPLEX_FLOAT32_TYPE, | |
666 | TI_COMPLEX_FLOAT64_TYPE, | |
667 | TI_COMPLEX_FLOAT128_TYPE, | |
668 | TI_COMPLEX_FLOAT32X_TYPE, | |
669 | TI_COMPLEX_FLOAT64X_TYPE, | |
670 | TI_COMPLEX_FLOAT128X_TYPE, | |
671 | ||
96423453 | 672 | TI_FLOAT_PTR_TYPE, |
673 | TI_DOUBLE_PTR_TYPE, | |
674 | TI_LONG_DOUBLE_PTR_TYPE, | |
675 | TI_INTEGER_PTR_TYPE, | |
676 | ||
677 | TI_VOID_TYPE, | |
678 | TI_PTR_TYPE, | |
679 | TI_CONST_PTR_TYPE, | |
680 | TI_SIZE_TYPE, | |
681 | TI_PID_TYPE, | |
682 | TI_PTRDIFF_TYPE, | |
683 | TI_VA_LIST_TYPE, | |
684 | TI_VA_LIST_GPR_COUNTER_FIELD, | |
685 | TI_VA_LIST_FPR_COUNTER_FIELD, | |
686 | TI_BOOLEAN_TYPE, | |
687 | TI_FILEPTR_TYPE, | |
f1b3e1c9 | 688 | TI_CONST_TM_PTR_TYPE, |
68b50ffd | 689 | TI_FENV_T_PTR_TYPE, |
690 | TI_CONST_FENV_T_PTR_TYPE, | |
691 | TI_FEXCEPT_T_PTR_TYPE, | |
692 | TI_CONST_FEXCEPT_T_PTR_TYPE, | |
96423453 | 693 | TI_POINTER_SIZED_TYPE, |
694 | ||
695 | TI_DFLOAT32_TYPE, | |
696 | TI_DFLOAT64_TYPE, | |
697 | TI_DFLOAT128_TYPE, | |
698 | TI_DFLOAT32_PTR_TYPE, | |
699 | TI_DFLOAT64_PTR_TYPE, | |
700 | TI_DFLOAT128_PTR_TYPE, | |
701 | ||
702 | TI_VOID_LIST_NODE, | |
703 | ||
704 | TI_MAIN_IDENTIFIER, | |
705 | ||
706 | TI_SAT_SFRACT_TYPE, | |
707 | TI_SAT_FRACT_TYPE, | |
708 | TI_SAT_LFRACT_TYPE, | |
709 | TI_SAT_LLFRACT_TYPE, | |
710 | TI_SAT_USFRACT_TYPE, | |
711 | TI_SAT_UFRACT_TYPE, | |
712 | TI_SAT_ULFRACT_TYPE, | |
713 | TI_SAT_ULLFRACT_TYPE, | |
714 | TI_SFRACT_TYPE, | |
715 | TI_FRACT_TYPE, | |
716 | TI_LFRACT_TYPE, | |
717 | TI_LLFRACT_TYPE, | |
718 | TI_USFRACT_TYPE, | |
719 | TI_UFRACT_TYPE, | |
720 | TI_ULFRACT_TYPE, | |
721 | TI_ULLFRACT_TYPE, | |
722 | TI_SAT_SACCUM_TYPE, | |
723 | TI_SAT_ACCUM_TYPE, | |
724 | TI_SAT_LACCUM_TYPE, | |
725 | TI_SAT_LLACCUM_TYPE, | |
726 | TI_SAT_USACCUM_TYPE, | |
727 | TI_SAT_UACCUM_TYPE, | |
728 | TI_SAT_ULACCUM_TYPE, | |
729 | TI_SAT_ULLACCUM_TYPE, | |
730 | TI_SACCUM_TYPE, | |
731 | TI_ACCUM_TYPE, | |
732 | TI_LACCUM_TYPE, | |
733 | TI_LLACCUM_TYPE, | |
734 | TI_USACCUM_TYPE, | |
735 | TI_UACCUM_TYPE, | |
736 | TI_ULACCUM_TYPE, | |
737 | TI_ULLACCUM_TYPE, | |
738 | TI_QQ_TYPE, | |
739 | TI_HQ_TYPE, | |
740 | TI_SQ_TYPE, | |
741 | TI_DQ_TYPE, | |
742 | TI_TQ_TYPE, | |
743 | TI_UQQ_TYPE, | |
744 | TI_UHQ_TYPE, | |
745 | TI_USQ_TYPE, | |
746 | TI_UDQ_TYPE, | |
747 | TI_UTQ_TYPE, | |
748 | TI_SAT_QQ_TYPE, | |
749 | TI_SAT_HQ_TYPE, | |
750 | TI_SAT_SQ_TYPE, | |
751 | TI_SAT_DQ_TYPE, | |
752 | TI_SAT_TQ_TYPE, | |
753 | TI_SAT_UQQ_TYPE, | |
754 | TI_SAT_UHQ_TYPE, | |
755 | TI_SAT_USQ_TYPE, | |
756 | TI_SAT_UDQ_TYPE, | |
757 | TI_SAT_UTQ_TYPE, | |
758 | TI_HA_TYPE, | |
759 | TI_SA_TYPE, | |
760 | TI_DA_TYPE, | |
761 | TI_TA_TYPE, | |
762 | TI_UHA_TYPE, | |
763 | TI_USA_TYPE, | |
764 | TI_UDA_TYPE, | |
765 | TI_UTA_TYPE, | |
766 | TI_SAT_HA_TYPE, | |
767 | TI_SAT_SA_TYPE, | |
768 | TI_SAT_DA_TYPE, | |
769 | TI_SAT_TA_TYPE, | |
770 | TI_SAT_UHA_TYPE, | |
771 | TI_SAT_USA_TYPE, | |
772 | TI_SAT_UDA_TYPE, | |
773 | TI_SAT_UTA_TYPE, | |
774 | ||
775 | TI_OPTIMIZATION_DEFAULT, | |
776 | TI_OPTIMIZATION_CURRENT, | |
777 | TI_TARGET_OPTION_DEFAULT, | |
778 | TI_TARGET_OPTION_CURRENT, | |
779 | TI_CURRENT_TARGET_PRAGMA, | |
780 | TI_CURRENT_OPTIMIZE_PRAGMA, | |
781 | ||
955e61ab | 782 | TI_CHREC_DONT_KNOW, |
783 | TI_CHREC_KNOWN, | |
784 | ||
96423453 | 785 | TI_MAX |
786 | }; | |
787 | ||
788 | /* An enumeration of the standard C integer types. These must be | |
789 | ordered so that shorter types appear before longer ones, and so | |
790 | that signed types appear before unsigned ones, for the correct | |
791 | functioning of interpret_integer() in c-lex.c. */ | |
792 | enum integer_type_kind { | |
793 | itk_char, | |
794 | itk_signed_char, | |
795 | itk_unsigned_char, | |
796 | itk_short, | |
797 | itk_unsigned_short, | |
798 | itk_int, | |
799 | itk_unsigned_int, | |
800 | itk_long, | |
801 | itk_unsigned_long, | |
802 | itk_long_long, | |
803 | itk_unsigned_long_long, | |
9f75f026 | 804 | |
805 | itk_intN_0, | |
806 | itk_unsigned_intN_0, | |
807 | itk_intN_1, | |
808 | itk_unsigned_intN_1, | |
809 | itk_intN_2, | |
810 | itk_unsigned_intN_2, | |
811 | itk_intN_3, | |
812 | itk_unsigned_intN_3, | |
813 | ||
96423453 | 814 | itk_none |
815 | }; | |
816 | ||
817 | /* A pointer-to-function member type looks like: | |
818 | ||
819 | struct { | |
820 | __P __pfn; | |
821 | ptrdiff_t __delta; | |
822 | }; | |
823 | ||
824 | If __pfn is NULL, it is a NULL pointer-to-member-function. | |
825 | ||
826 | (Because the vtable is always the first thing in the object, we | |
827 | don't need its offset.) If the function is virtual, then PFN is | |
828 | one plus twice the index into the vtable; otherwise, it is just a | |
829 | pointer to the function. | |
830 | ||
831 | Unfortunately, using the lowest bit of PFN doesn't work in | |
832 | architectures that don't impose alignment requirements on function | |
833 | addresses, or that use the lowest bit to tell one ISA from another, | |
834 | for example. For such architectures, we use the lowest bit of | |
835 | DELTA instead of the lowest bit of the PFN, and DELTA will be | |
836 | multiplied by 2. */ | |
837 | enum ptrmemfunc_vbit_where_t { | |
838 | ptrmemfunc_vbit_in_pfn, | |
839 | ptrmemfunc_vbit_in_delta | |
840 | }; | |
841 | ||
842 | /* Flags that may be passed in the third argument of decl_attributes, and | |
843 | to handler functions for attributes. */ | |
844 | enum attribute_flags { | |
845 | /* The type passed in is the type of a DECL, and any attributes that | |
846 | should be passed in again to be applied to the DECL rather than the | |
847 | type should be returned. */ | |
848 | ATTR_FLAG_DECL_NEXT = 1, | |
849 | /* The type passed in is a function return type, and any attributes that | |
850 | should be passed in again to be applied to the function type rather | |
851 | than the return type should be returned. */ | |
852 | ATTR_FLAG_FUNCTION_NEXT = 2, | |
853 | /* The type passed in is an array element type, and any attributes that | |
854 | should be passed in again to be applied to the array type rather | |
855 | than the element type should be returned. */ | |
856 | ATTR_FLAG_ARRAY_NEXT = 4, | |
857 | /* The type passed in is a structure, union or enumeration type being | |
858 | created, and should be modified in place. */ | |
859 | ATTR_FLAG_TYPE_IN_PLACE = 8, | |
860 | /* The attributes are being applied by default to a library function whose | |
861 | name indicates known behavior, and should be silently ignored if they | |
862 | are not in fact compatible with the function type. */ | |
863 | ATTR_FLAG_BUILT_IN = 16, | |
864 | /* A given attribute has been parsed as a C++-11 attribute. */ | |
865 | ATTR_FLAG_CXX11 = 32 | |
866 | }; | |
867 | ||
868 | /* Types used to represent sizes. */ | |
869 | enum size_type_kind { | |
870 | stk_sizetype, /* Normal representation of sizes in bytes. */ | |
871 | stk_ssizetype, /* Signed representation of sizes in bytes. */ | |
872 | stk_bitsizetype, /* Normal representation of sizes in bits. */ | |
873 | stk_sbitsizetype, /* Signed representation of sizes in bits. */ | |
874 | stk_type_kind_last | |
875 | }; | |
876 | ||
877 | enum operand_equal_flag { | |
878 | OEP_ONLY_CONST = 1, | |
879 | OEP_PURE_SAME = 2, | |
509a4f77 | 880 | OEP_MATCH_SIDE_EFFECTS = 4, |
46b58ced | 881 | OEP_ADDRESS_OF = 8, |
882 | /* Internal within operand_equal_p: */ | |
858c9470 | 883 | OEP_NO_HASH_CHECK = 16, |
884 | /* Internal within inchash::add_expr: */ | |
3ef7eab1 | 885 | OEP_HASH_CHECK = 32, |
886 | /* Makes operand_equal_p handle more expressions: */ | |
887 | OEP_LEXICOGRAPHIC = 64 | |
96423453 | 888 | }; |
889 | ||
890 | /* Enum and arrays used for tree allocation stats. | |
891 | Keep in sync with tree.c:tree_node_kind_names. */ | |
892 | enum tree_node_kind { | |
893 | d_kind, | |
894 | t_kind, | |
895 | b_kind, | |
896 | s_kind, | |
897 | r_kind, | |
898 | e_kind, | |
899 | c_kind, | |
900 | id_kind, | |
901 | vec_kind, | |
902 | binfo_kind, | |
903 | ssa_name_kind, | |
904 | constr_kind, | |
905 | x_kind, | |
906 | lang_decl, | |
907 | lang_type, | |
908 | omp_clause_kind, | |
909 | all_kinds | |
910 | }; | |
911 | ||
4644b593 | 912 | enum annot_expr_kind { |
eb71996d | 913 | annot_expr_ivdep_kind, |
2a09b28c | 914 | annot_expr_unroll_kind, |
eb71996d | 915 | annot_expr_no_vector_kind, |
916 | annot_expr_vector_kind, | |
56f2814d | 917 | annot_expr_parallel_kind, |
eb71996d | 918 | annot_expr_kind_last |
4644b593 | 919 | }; |
920 | ||
96423453 | 921 | /*--------------------------------------------------------------------------- |
922 | Type definitions | |
923 | ---------------------------------------------------------------------------*/ | |
924 | /* When processing aliases at the symbol table level, we need the | |
925 | declaration of target. For this reason we need to queue aliases and | |
926 | process them after all declarations has been produced. */ | |
b3e7c666 | 927 | struct GTY(()) alias_pair { |
96423453 | 928 | tree decl; |
929 | tree target; | |
b3e7c666 | 930 | }; |
96423453 | 931 | |
932 | /* An initialization priority. */ | |
933 | typedef unsigned short priority_type; | |
934 | ||
935 | /* The type of a callback function for walking over tree structure. */ | |
936 | typedef tree (*walk_tree_fn) (tree *, int *, void *); | |
937 | ||
938 | /* The type of a callback function that represents a custom walk_tree. */ | |
939 | typedef tree (*walk_tree_lh) (tree *, int *, tree (*) (tree *, int *, void *), | |
431205b7 | 940 | void *, hash_set<tree> *); |
96423453 | 941 | |
942 | ||
943 | /*--------------------------------------------------------------------------- | |
944 | Main data structures | |
945 | ---------------------------------------------------------------------------*/ | |
946 | /* A tree node can represent a data type, a variable, an expression | |
947 | or a statement. Each node has a TREE_CODE which says what kind of | |
948 | thing it represents. Some common codes are: | |
949 | INTEGER_TYPE -- represents a type of integers. | |
950 | ARRAY_TYPE -- represents a type of pointer. | |
951 | VAR_DECL -- represents a declared variable. | |
952 | INTEGER_CST -- represents a constant integer value. | |
953 | PLUS_EXPR -- represents a sum (an expression). | |
954 | ||
955 | As for the contents of a tree node: there are some fields | |
956 | that all nodes share. Each TREE_CODE has various special-purpose | |
957 | fields as well. The fields of a node are never accessed directly, | |
958 | always through accessor macros. */ | |
959 | ||
960 | /* Every kind of tree node starts with this structure, | |
961 | so all nodes have these fields. | |
962 | ||
963 | See the accessor macros, defined below, for documentation of the | |
964 | fields, and the table below which connects the fields and the | |
965 | accessor macros. */ | |
966 | ||
967 | struct GTY(()) tree_base { | |
968 | ENUM_BITFIELD(tree_code) code : 16; | |
969 | ||
970 | unsigned side_effects_flag : 1; | |
971 | unsigned constant_flag : 1; | |
972 | unsigned addressable_flag : 1; | |
973 | unsigned volatile_flag : 1; | |
974 | unsigned readonly_flag : 1; | |
975 | unsigned asm_written_flag: 1; | |
976 | unsigned nowarning_flag : 1; | |
977 | unsigned visited : 1; | |
978 | ||
979 | unsigned used_flag : 1; | |
980 | unsigned nothrow_flag : 1; | |
981 | unsigned static_flag : 1; | |
982 | unsigned public_flag : 1; | |
983 | unsigned private_flag : 1; | |
984 | unsigned protected_flag : 1; | |
985 | unsigned deprecated_flag : 1; | |
986 | unsigned default_def_flag : 1; | |
987 | ||
988 | union { | |
989 | /* The bits in the following structure should only be used with | |
990 | accessor macros that constrain inputs with tree checking. */ | |
991 | struct { | |
992 | unsigned lang_flag_0 : 1; | |
993 | unsigned lang_flag_1 : 1; | |
994 | unsigned lang_flag_2 : 1; | |
995 | unsigned lang_flag_3 : 1; | |
996 | unsigned lang_flag_4 : 1; | |
997 | unsigned lang_flag_5 : 1; | |
998 | unsigned lang_flag_6 : 1; | |
999 | unsigned saturating_flag : 1; | |
1000 | ||
1001 | unsigned unsigned_flag : 1; | |
1002 | unsigned packed_flag : 1; | |
1003 | unsigned user_align : 1; | |
1004 | unsigned nameless_flag : 1; | |
b560fabd | 1005 | unsigned atomic_flag : 1; |
1006 | unsigned spare0 : 3; | |
96423453 | 1007 | |
1008 | unsigned spare1 : 8; | |
1009 | ||
1010 | /* This field is only used with TREE_TYPE nodes; the only reason it is | |
1011 | present in tree_base instead of tree_type is to save space. The size | |
1012 | of the field must be large enough to hold addr_space_t values. */ | |
1013 | unsigned address_space : 8; | |
1014 | } bits; | |
271e739a | 1015 | |
96423453 | 1016 | /* The following fields are present in tree_base to save space. The |
1017 | nodes using them do not require any of the flags above and so can | |
1018 | make better use of the 4-byte sized word. */ | |
271e739a | 1019 | |
1020 | /* The number of HOST_WIDE_INTs in an INTEGER_CST. */ | |
1021 | struct { | |
1022 | /* The number of HOST_WIDE_INTs if the INTEGER_CST is accessed in | |
1023 | its native precision. */ | |
01583702 | 1024 | unsigned char unextended; |
271e739a | 1025 | |
1026 | /* The number of HOST_WIDE_INTs if the INTEGER_CST is extended to | |
1027 | wider precisions based on its TYPE_SIGN. */ | |
01583702 | 1028 | unsigned char extended; |
1029 | ||
1030 | /* The number of HOST_WIDE_INTs if the INTEGER_CST is accessed in | |
1031 | offset_int precision, with smaller integers being extended | |
1032 | according to their TYPE_SIGN. This is equal to one of the two | |
1033 | fields above but is cached for speed. */ | |
1034 | unsigned char offset; | |
271e739a | 1035 | } int_length; |
1036 | ||
1037 | /* VEC length. This field is only used with TREE_VEC. */ | |
96423453 | 1038 | int length; |
271e739a | 1039 | |
998afe5d | 1040 | /* This field is only used with VECTOR_CST. */ |
1041 | struct { | |
1042 | /* The value of VECTOR_CST_LOG2_NPATTERNS. */ | |
1043 | unsigned int log2_npatterns : 8; | |
1044 | ||
1045 | /* The value of VECTOR_CST_NELTS_PER_PATTERN. */ | |
1046 | unsigned int nelts_per_pattern : 8; | |
1047 | ||
1048 | /* For future expansion. */ | |
1049 | unsigned int unused : 16; | |
1050 | } vector_cst; | |
1f547280 | 1051 | |
96423453 | 1052 | /* SSA version number. This field is only used with SSA_NAME. */ |
1053 | unsigned int version; | |
5ef6b660 | 1054 | |
4a81b20b | 1055 | /* CHREC_VARIABLE. This field is only used with POLYNOMIAL_CHREC. */ |
1056 | unsigned int chrec_var; | |
1057 | ||
5ef6b660 | 1058 | /* Internal function code. */ |
1059 | enum internal_fn ifn; | |
62b0a610 | 1060 | |
7e5a76c8 | 1061 | /* OMP_ATOMIC* memory order. */ |
1062 | enum omp_memory_order omp_atomic_memory_order; | |
1063 | ||
62b0a610 | 1064 | /* The following two fields are used for MEM_REF and TARGET_MEM_REF |
1065 | expression trees and specify known data non-dependences. For | |
1066 | two memory references in a function they are known to not | |
1067 | alias if dependence_info.clique are equal and dependence_info.base | |
40e9dabf | 1068 | are distinct. Clique number zero means there is no information, |
1069 | clique number one is populated from function global information | |
1070 | and thus needs no remapping on transforms like loop unrolling. */ | |
62b0a610 | 1071 | struct { |
1072 | unsigned short clique; | |
1073 | unsigned short base; | |
1074 | } dependence_info; | |
96423453 | 1075 | } GTY((skip(""))) u; |
1076 | }; | |
1077 | ||
1078 | /* The following table lists the uses of each of the above flags and | |
1079 | for which types of nodes they are defined. | |
1080 | ||
1081 | addressable_flag: | |
1082 | ||
1083 | TREE_ADDRESSABLE in | |
1084 | VAR_DECL, PARM_DECL, RESULT_DECL, FUNCTION_DECL, LABEL_DECL | |
1085 | SSA_NAME | |
1086 | all types | |
1087 | CONSTRUCTOR, IDENTIFIER_NODE | |
1088 | STMT_EXPR | |
1089 | ||
1090 | CALL_EXPR_TAILCALL in | |
1091 | CALL_EXPR | |
1092 | ||
1093 | CASE_LOW_SEEN in | |
1094 | CASE_LABEL_EXPR | |
1095 | ||
1096 | PREDICT_EXPR_OUTCOME in | |
1097 | PREDICT_EXPR | |
1098 | ||
1099 | static_flag: | |
1100 | ||
1101 | TREE_STATIC in | |
1102 | VAR_DECL, FUNCTION_DECL | |
1103 | CONSTRUCTOR | |
1104 | ||
1105 | TREE_NO_TRAMPOLINE in | |
1106 | ADDR_EXPR | |
1107 | ||
1108 | BINFO_VIRTUAL_P in | |
1109 | TREE_BINFO | |
1110 | ||
1111 | TREE_SYMBOL_REFERENCED in | |
1112 | IDENTIFIER_NODE | |
1113 | ||
1114 | CLEANUP_EH_ONLY in | |
1115 | TARGET_EXPR, WITH_CLEANUP_EXPR | |
1116 | ||
1117 | TRY_CATCH_IS_CLEANUP in | |
1118 | TRY_CATCH_EXPR | |
1119 | ||
1120 | ASM_INPUT_P in | |
1121 | ASM_EXPR | |
1122 | ||
1123 | TYPE_REF_CAN_ALIAS_ALL in | |
1124 | POINTER_TYPE, REFERENCE_TYPE | |
1125 | ||
1126 | CASE_HIGH_SEEN in | |
1127 | CASE_LABEL_EXPR | |
1128 | ||
1129 | ENUM_IS_SCOPED in | |
1130 | ENUMERAL_TYPE | |
1131 | ||
1132 | TRANSACTION_EXPR_OUTER in | |
1133 | TRANSACTION_EXPR | |
1134 | ||
0c20fe49 | 1135 | SSA_NAME_ANTI_RANGE_P in |
1136 | SSA_NAME | |
1137 | ||
b4a61e77 | 1138 | MUST_TAIL_CALL in |
1139 | CALL_EXPR | |
1140 | ||
96423453 | 1141 | public_flag: |
1142 | ||
1143 | TREE_OVERFLOW in | |
1144 | INTEGER_CST, REAL_CST, COMPLEX_CST, VECTOR_CST | |
1145 | ||
1146 | TREE_PUBLIC in | |
1147 | VAR_DECL, FUNCTION_DECL | |
1148 | IDENTIFIER_NODE | |
1149 | ||
4c163af5 | 1150 | CONSTRUCTOR_NO_CLEARING in |
1151 | CONSTRUCTOR | |
1152 | ||
96423453 | 1153 | ASM_VOLATILE_P in |
1154 | ASM_EXPR | |
1155 | ||
1156 | CALL_EXPR_VA_ARG_PACK in | |
1157 | CALL_EXPR | |
1158 | ||
1159 | TYPE_CACHED_VALUES_P in | |
1160 | all types | |
1161 | ||
1162 | SAVE_EXPR_RESOLVED_P in | |
1163 | SAVE_EXPR | |
1164 | ||
1165 | OMP_CLAUSE_LASTPRIVATE_FIRSTPRIVATE in | |
1166 | OMP_CLAUSE_LASTPRIVATE | |
1167 | ||
1168 | OMP_CLAUSE_PRIVATE_DEBUG in | |
1169 | OMP_CLAUSE_PRIVATE | |
1170 | ||
ed869862 | 1171 | OMP_CLAUSE_LINEAR_NO_COPYIN in |
1172 | OMP_CLAUSE_LINEAR | |
1173 | ||
bc7bff74 | 1174 | OMP_CLAUSE_MAP_ZERO_BIAS_ARRAY_SECTION in |
1175 | OMP_CLAUSE_MAP | |
1176 | ||
1177 | OMP_CLAUSE_REDUCTION_OMP_ORIG_REF in | |
7e5a76c8 | 1178 | OMP_CLAUSE_{,TASK_,IN_}REDUCTION |
bc7bff74 | 1179 | |
96423453 | 1180 | TRANSACTION_EXPR_RELAXED in |
1181 | TRANSACTION_EXPR | |
1182 | ||
3c77f69c | 1183 | FALLTHROUGH_LABEL_P in |
1184 | LABEL_DECL | |
1185 | ||
9c5249c4 | 1186 | SSA_NAME_IS_VIRTUAL_OPERAND in |
1187 | SSA_NAME | |
1188 | ||
d76863c8 | 1189 | EXPR_LOCATION_WRAPPER_P in |
1190 | NON_LVALUE_EXPR, VIEW_CONVERT_EXPR | |
1191 | ||
96423453 | 1192 | private_flag: |
1193 | ||
1194 | TREE_PRIVATE in | |
1195 | all decls | |
1196 | ||
1197 | CALL_EXPR_RETURN_SLOT_OPT in | |
1198 | CALL_EXPR | |
1199 | ||
1200 | OMP_SECTION_LAST in | |
1201 | OMP_SECTION | |
1202 | ||
1203 | OMP_PARALLEL_COMBINED in | |
1204 | OMP_PARALLEL | |
1205 | ||
1206 | OMP_CLAUSE_PRIVATE_OUTER_REF in | |
1207 | OMP_CLAUSE_PRIVATE | |
1208 | ||
ed869862 | 1209 | OMP_CLAUSE_LINEAR_NO_COPYOUT in |
1210 | OMP_CLAUSE_LINEAR | |
1211 | ||
96423453 | 1212 | TYPE_REF_IS_RVALUE in |
1213 | REFERENCE_TYPE | |
1214 | ||
1215 | ENUM_IS_OPAQUE in | |
1216 | ENUMERAL_TYPE | |
1217 | ||
1218 | protected_flag: | |
1219 | ||
1220 | TREE_PROTECTED in | |
1221 | BLOCK | |
1222 | all decls | |
1223 | ||
1224 | CALL_FROM_THUNK_P and | |
1225 | CALL_ALLOCA_FOR_VAR_P in | |
1226 | CALL_EXPR | |
1227 | ||
d09768a4 | 1228 | OMP_CLAUSE_LINEAR_VARIABLE_STRIDE in |
1229 | OMP_CLAUSE_LINEAR | |
1230 | ||
6de46ad5 | 1231 | ASM_INLINE_P in |
1232 | ASM_EXPR | |
1233 | ||
96423453 | 1234 | side_effects_flag: |
1235 | ||
1236 | TREE_SIDE_EFFECTS in | |
1237 | all expressions | |
1238 | all decls | |
1239 | all constants | |
1240 | ||
1241 | FORCED_LABEL in | |
1242 | LABEL_DECL | |
1243 | ||
1244 | volatile_flag: | |
1245 | ||
1246 | TREE_THIS_VOLATILE in | |
1247 | all expressions | |
1248 | all decls | |
1249 | ||
1250 | TYPE_VOLATILE in | |
1251 | all types | |
1252 | ||
1253 | readonly_flag: | |
1254 | ||
1255 | TREE_READONLY in | |
1256 | all expressions | |
1257 | all decls | |
1258 | ||
1259 | TYPE_READONLY in | |
1260 | all types | |
1261 | ||
1262 | constant_flag: | |
1263 | ||
1264 | TREE_CONSTANT in | |
1265 | all expressions | |
1266 | all decls | |
1267 | all constants | |
1268 | ||
1269 | TYPE_SIZES_GIMPLIFIED in | |
1270 | all types | |
1271 | ||
1272 | unsigned_flag: | |
1273 | ||
1274 | TYPE_UNSIGNED in | |
1275 | all types | |
1276 | ||
1277 | DECL_UNSIGNED in | |
1278 | all decls | |
1279 | ||
1280 | asm_written_flag: | |
1281 | ||
1282 | TREE_ASM_WRITTEN in | |
1283 | VAR_DECL, FUNCTION_DECL, TYPE_DECL | |
1284 | RECORD_TYPE, UNION_TYPE, QUAL_UNION_TYPE | |
1285 | BLOCK, STRING_CST | |
1286 | ||
1287 | SSA_NAME_OCCURS_IN_ABNORMAL_PHI in | |
1288 | SSA_NAME | |
1289 | ||
1290 | used_flag: | |
1291 | ||
1292 | TREE_USED in | |
1293 | all expressions | |
1294 | all decls | |
1295 | IDENTIFIER_NODE | |
1296 | ||
1297 | nothrow_flag: | |
1298 | ||
1299 | TREE_NOTHROW in | |
1300 | CALL_EXPR | |
1301 | FUNCTION_DECL | |
1302 | ||
96423453 | 1303 | TREE_THIS_NOTRAP in |
1304 | INDIRECT_REF, MEM_REF, TARGET_MEM_REF, ARRAY_REF, ARRAY_RANGE_REF | |
1305 | ||
e7d74d46 | 1306 | SSA_NAME_IN_FREE_LIST in |
96423453 | 1307 | SSA_NAME |
1308 | ||
0c0f572f | 1309 | DECL_NONALIASED in |
e7e44439 | 1310 | VAR_DECL |
1311 | ||
96423453 | 1312 | deprecated_flag: |
1313 | ||
1314 | TREE_DEPRECATED in | |
1315 | all decls | |
1316 | all types | |
1317 | ||
1318 | IDENTIFIER_TRANSPARENT_ALIAS in | |
1319 | IDENTIFIER_NODE | |
1320 | ||
5477dab8 | 1321 | SSA_NAME_POINTS_TO_READONLY_MEMORY in |
1322 | SSA_NAME | |
1323 | ||
96423453 | 1324 | visited: |
1325 | ||
1326 | TREE_VISITED in | |
1327 | all trees (used liberally by many passes) | |
1328 | ||
1329 | saturating_flag: | |
1330 | ||
292237f3 | 1331 | TYPE_REVERSE_STORAGE_ORDER in |
1332 | RECORD_TYPE, UNION_TYPE, QUAL_UNION_TYPE, ARRAY_TYPE | |
1333 | ||
96423453 | 1334 | TYPE_SATURATING in |
292237f3 | 1335 | other types |
1336 | ||
96423453 | 1337 | VAR_DECL_IS_VIRTUAL_OPERAND in |
1338 | VAR_DECL | |
1339 | ||
1340 | nowarning_flag: | |
1341 | ||
1342 | TREE_NO_WARNING in | |
1343 | all expressions | |
1344 | all decls | |
1345 | ||
1346 | TYPE_ARTIFICIAL in | |
1347 | all types | |
1348 | ||
1349 | default_def_flag: | |
1350 | ||
01dc1195 | 1351 | TYPE_FINAL_P in |
1352 | RECORD_TYPE, UNION_TYPE and QUAL_UNION_TYPE | |
1353 | ||
96423453 | 1354 | TYPE_VECTOR_OPAQUE in |
1355 | VECTOR_TYPE | |
1356 | ||
1357 | SSA_NAME_IS_DEFAULT_DEF in | |
1358 | SSA_NAME | |
1359 | ||
1360 | DECL_NONLOCAL_FRAME in | |
1361 | VAR_DECL | |
ed869862 | 1362 | |
01dc1195 | 1363 | REF_REVERSE_STORAGE_ORDER in |
1364 | BIT_FIELD_REF, MEM_REF | |
a27e3913 | 1365 | |
1366 | FUNC_ADDR_BY_DESCRIPTOR in | |
1367 | ADDR_EXPR | |
1368 | ||
1369 | CALL_EXPR_BY_DESCRIPTOR in | |
1370 | CALL_EXPR | |
96423453 | 1371 | */ |
1372 | ||
1373 | struct GTY(()) tree_typed { | |
1374 | struct tree_base base; | |
1375 | tree type; | |
1376 | }; | |
1377 | ||
1378 | struct GTY(()) tree_common { | |
1379 | struct tree_typed typed; | |
1380 | tree chain; | |
1381 | }; | |
1382 | ||
1383 | struct GTY(()) tree_int_cst { | |
1384 | struct tree_typed typed; | |
d85a2013 | 1385 | HOST_WIDE_INT val[1]; |
96423453 | 1386 | }; |
1387 | ||
1388 | ||
1389 | struct GTY(()) tree_real_cst { | |
1390 | struct tree_typed typed; | |
1391 | struct real_value * real_cst_ptr; | |
1392 | }; | |
1393 | ||
1394 | struct GTY(()) tree_fixed_cst { | |
1395 | struct tree_typed typed; | |
1396 | struct fixed_value * fixed_cst_ptr; | |
1397 | }; | |
1398 | ||
1399 | struct GTY(()) tree_string { | |
1400 | struct tree_typed typed; | |
1401 | int length; | |
1402 | char str[1]; | |
1403 | }; | |
1404 | ||
1405 | struct GTY(()) tree_complex { | |
1406 | struct tree_typed typed; | |
1407 | tree real; | |
1408 | tree imag; | |
1409 | }; | |
1410 | ||
1411 | struct GTY(()) tree_vector { | |
1412 | struct tree_typed typed; | |
998afe5d | 1413 | tree GTY ((length ("vector_cst_encoded_nelts ((tree) &%h)"))) elts[1]; |
96423453 | 1414 | }; |
1415 | ||
8672ee56 | 1416 | struct GTY(()) tree_poly_int_cst { |
1417 | struct tree_typed typed; | |
1418 | tree coeffs[NUM_POLY_INT_COEFFS]; | |
1419 | }; | |
1420 | ||
96423453 | 1421 | struct GTY(()) tree_identifier { |
1422 | struct tree_common common; | |
1423 | struct ht_identifier id; | |
1424 | }; | |
1425 | ||
1426 | struct GTY(()) tree_list { | |
1427 | struct tree_common common; | |
1428 | tree purpose; | |
1429 | tree value; | |
1430 | }; | |
1431 | ||
1432 | struct GTY(()) tree_vec { | |
1433 | struct tree_common common; | |
1434 | tree GTY ((length ("TREE_VEC_LENGTH ((tree)&%h)"))) a[1]; | |
1435 | }; | |
1436 | ||
1437 | /* A single element of a CONSTRUCTOR. VALUE holds the actual value of the | |
1438 | element. INDEX can optionally design the position of VALUE: in arrays, | |
1439 | it is the index where VALUE has to be placed; in structures, it is the | |
1440 | FIELD_DECL of the member. */ | |
b3e7c666 | 1441 | struct GTY(()) constructor_elt { |
96423453 | 1442 | tree index; |
1443 | tree value; | |
b3e7c666 | 1444 | }; |
96423453 | 1445 | |
1446 | struct GTY(()) tree_constructor { | |
1447 | struct tree_typed typed; | |
1448 | vec<constructor_elt, va_gc> *elts; | |
1449 | }; | |
1450 | ||
bc7bff74 | 1451 | enum omp_clause_depend_kind |
1452 | { | |
1453 | OMP_CLAUSE_DEPEND_IN, | |
1454 | OMP_CLAUSE_DEPEND_OUT, | |
fe3e3369 | 1455 | OMP_CLAUSE_DEPEND_INOUT, |
7e5a76c8 | 1456 | OMP_CLAUSE_DEPEND_MUTEXINOUTSET, |
43895be5 | 1457 | OMP_CLAUSE_DEPEND_SOURCE, |
1458 | OMP_CLAUSE_DEPEND_SINK, | |
7e5a76c8 | 1459 | OMP_CLAUSE_DEPEND_DEPOBJ, |
fe3e3369 | 1460 | OMP_CLAUSE_DEPEND_LAST |
bc7bff74 | 1461 | }; |
1462 | ||
bc7bff74 | 1463 | enum omp_clause_proc_bind_kind |
1464 | { | |
1465 | /* Numbers should match omp_proc_bind_t enum in omp.h. */ | |
1466 | OMP_CLAUSE_PROC_BIND_FALSE = 0, | |
1467 | OMP_CLAUSE_PROC_BIND_TRUE = 1, | |
1468 | OMP_CLAUSE_PROC_BIND_MASTER = 2, | |
1469 | OMP_CLAUSE_PROC_BIND_CLOSE = 3, | |
fe3e3369 | 1470 | OMP_CLAUSE_PROC_BIND_SPREAD = 4, |
1471 | OMP_CLAUSE_PROC_BIND_LAST | |
bc7bff74 | 1472 | }; |
1473 | ||
a1496ae7 | 1474 | enum omp_clause_device_type_kind |
1475 | { | |
1476 | OMP_CLAUSE_DEVICE_TYPE_HOST = 1, | |
1477 | OMP_CLAUSE_DEVICE_TYPE_NOHOST = 2, | |
1478 | OMP_CLAUSE_DEVICE_TYPE_ANY = 3 | |
1479 | }; | |
1480 | ||
43895be5 | 1481 | enum omp_clause_linear_kind |
1482 | { | |
1483 | OMP_CLAUSE_LINEAR_DEFAULT, | |
1484 | OMP_CLAUSE_LINEAR_REF, | |
1485 | OMP_CLAUSE_LINEAR_VAL, | |
1486 | OMP_CLAUSE_LINEAR_UVAL | |
1487 | }; | |
1488 | ||
96423453 | 1489 | struct GTY(()) tree_exp { |
1490 | struct tree_typed typed; | |
1491 | location_t locus; | |
1492 | tree GTY ((special ("tree_exp"), | |
1493 | desc ("TREE_CODE ((tree) &%0)"))) | |
1494 | operands[1]; | |
1495 | }; | |
1496 | ||
1497 | /* Immediate use linking structure. This structure is used for maintaining | |
1498 | a doubly linked list of uses of an SSA_NAME. */ | |
b3e7c666 | 1499 | struct GTY(()) ssa_use_operand_t { |
1500 | struct ssa_use_operand_t* GTY((skip(""))) prev; | |
1501 | struct ssa_use_operand_t* GTY((skip(""))) next; | |
96423453 | 1502 | /* Immediate uses for a given SSA name are maintained as a cyclic |
1503 | list. To recognize the root of this list, the location field | |
1504 | needs to point to the original SSA name. Since statements and | |
1505 | SSA names are of different data types, we need this union. See | |
b3e7c666 | 1506 | the explanation in struct imm_use_iterator. */ |
42acab1c | 1507 | union { gimple *stmt; tree ssa_name; } GTY((skip(""))) loc; |
96423453 | 1508 | tree *GTY((skip(""))) use; |
b3e7c666 | 1509 | }; |
96423453 | 1510 | |
1511 | struct GTY(()) tree_ssa_name { | |
1512 | struct tree_typed typed; | |
1513 | ||
1514 | /* _DECL wrapped by this SSA name. */ | |
1515 | tree var; | |
1516 | ||
1517 | /* Statement that defines this SSA name. */ | |
42acab1c | 1518 | gimple *def_stmt; |
96423453 | 1519 | |
3c59e4a7 | 1520 | /* Value range information. */ |
1521 | union ssa_name_info_type { | |
1522 | /* Pointer attributes used for alias analysis. */ | |
1523 | struct GTY ((tag ("0"))) ptr_info_def *ptr_info; | |
1524 | /* Value range attributes used for zero/sign extension elimination. */ | |
1525 | struct GTY ((tag ("1"))) range_info_def *range_info; | |
1526 | } GTY ((desc ("%1.typed.type ?" \ | |
0cf78115 | 1527 | "!POINTER_TYPE_P (TREE_TYPE ((tree)&%1)) : 2"))) info; |
96423453 | 1528 | |
1529 | /* Immediate uses list for this SSA_NAME. */ | |
b3e7c666 | 1530 | struct ssa_use_operand_t imm_uses; |
96423453 | 1531 | }; |
1532 | ||
1533 | struct GTY(()) phi_arg_d { | |
1534 | /* imm_use MUST be the first element in struct because we do some | |
1535 | pointer arithmetic with it. See phi_arg_index_from_use. */ | |
b3e7c666 | 1536 | struct ssa_use_operand_t imm_use; |
96423453 | 1537 | tree def; |
1538 | location_t locus; | |
1539 | }; | |
1540 | ||
1541 | struct GTY(()) tree_omp_clause { | |
1542 | struct tree_common common; | |
1543 | location_t locus; | |
1544 | enum omp_clause_code code; | |
1545 | union omp_clause_subcode { | |
bc7bff74 | 1546 | enum omp_clause_default_kind default_kind; |
1547 | enum omp_clause_schedule_kind schedule_kind; | |
1548 | enum omp_clause_depend_kind depend_kind; | |
ca4c3545 | 1549 | /* See include/gomp-constants.h for enum gomp_map_kind's values. */ |
43895be5 | 1550 | unsigned int map_kind; |
bc7bff74 | 1551 | enum omp_clause_proc_bind_kind proc_bind_kind; |
1552 | enum tree_code reduction_code; | |
43895be5 | 1553 | enum omp_clause_linear_kind linear_kind; |
1554 | enum tree_code if_modifier; | |
7e5a76c8 | 1555 | enum omp_clause_defaultmap_kind defaultmap_kind; |
31890b58 | 1556 | enum omp_clause_bind_kind bind_kind; |
a1496ae7 | 1557 | enum omp_clause_device_type_kind device_type_kind; |
56686608 | 1558 | /* The dimension a OMP_CLAUSE__GRIDDIM_ clause of a gridified target |
1559 | construct describes. */ | |
1560 | unsigned int dimension; | |
96423453 | 1561 | } GTY ((skip)) subcode; |
1562 | ||
1563 | /* The gimplification of OMP_CLAUSE_REDUCTION_{INIT,MERGE} for omp-low's | |
1564 | usage. */ | |
1565 | gimple_seq gimple_reduction_init; | |
1566 | gimple_seq gimple_reduction_merge; | |
1567 | ||
1568 | tree GTY ((length ("omp_clause_num_ops[OMP_CLAUSE_CODE ((tree)&%h)]"))) | |
1569 | ops[1]; | |
1570 | }; | |
1571 | ||
1572 | struct GTY(()) tree_block { | |
1573 | struct tree_base base; | |
1574 | tree chain; | |
1575 | ||
41f70262 | 1576 | unsigned block_num; |
96423453 | 1577 | |
1578 | location_t locus; | |
60d578d4 | 1579 | location_t end_locus; |
96423453 | 1580 | |
1581 | tree vars; | |
1582 | vec<tree, va_gc> *nonlocalized_vars; | |
1583 | ||
1584 | tree subblocks; | |
1585 | tree supercontext; | |
1586 | tree abstract_origin; | |
1587 | tree fragment_origin; | |
1588 | tree fragment_chain; | |
a9de8605 | 1589 | |
1590 | /* Pointer to the DWARF lexical block. */ | |
1591 | struct die_struct *die; | |
96423453 | 1592 | }; |
1593 | ||
1594 | struct GTY(()) tree_type_common { | |
1595 | struct tree_common common; | |
1596 | tree size; | |
1597 | tree size_unit; | |
1598 | tree attributes; | |
1599 | unsigned int uid; | |
1600 | ||
1601 | unsigned int precision : 10; | |
1602 | unsigned no_force_blk_flag : 1; | |
1603 | unsigned needs_constructing_flag : 1; | |
1604 | unsigned transparent_aggr_flag : 1; | |
1605 | unsigned restrict_flag : 1; | |
1606 | unsigned contains_placeholder_bits : 2; | |
1607 | ||
1608 | ENUM_BITFIELD(machine_mode) mode : 8; | |
1609 | ||
aaabc7bc | 1610 | /* TYPE_STRING_FLAG for INTEGER_TYPE and ARRAY_TYPE. |
1611 | TYPE_CXX_ODR_P for RECORD_TYPE and UNION_TYPE. */ | |
96423453 | 1612 | unsigned string_flag : 1; |
1613 | unsigned lang_flag_0 : 1; | |
1614 | unsigned lang_flag_1 : 1; | |
1615 | unsigned lang_flag_2 : 1; | |
1616 | unsigned lang_flag_3 : 1; | |
1617 | unsigned lang_flag_4 : 1; | |
1618 | unsigned lang_flag_5 : 1; | |
1619 | unsigned lang_flag_6 : 1; | |
b3b6e4b5 | 1620 | unsigned lang_flag_7 : 1; |
96423453 | 1621 | |
5d4b30ea | 1622 | /* TYPE_ALIGN in log2; this has to be large enough to hold values |
1623 | of the maximum of BIGGEST_ALIGNMENT and MAX_OFILE_ALIGNMENT, | |
1624 | the latter being usually the larger. For ELF it is 8<<28, | |
1625 | so we need to store the value 32 (not 31, as we need the zero | |
1626 | as well), hence six bits. */ | |
1627 | unsigned align : 6; | |
4bec7283 | 1628 | unsigned warn_if_not_align : 6; |
3721b151 | 1629 | unsigned typeless_storage : 1; |
532d84ff | 1630 | unsigned empty_flag : 1; |
1631 | unsigned spare : 17; | |
3721b151 | 1632 | |
96423453 | 1633 | alias_set_type alias_set; |
1634 | tree pointer_to; | |
1635 | tree reference_to; | |
1636 | union tree_type_symtab { | |
1637 | int GTY ((tag ("TYPE_SYMTAB_IS_ADDRESS"))) address; | |
96423453 | 1638 | struct die_struct * GTY ((tag ("TYPE_SYMTAB_IS_DIE"))) die; |
1639 | } GTY ((desc ("debug_hooks->tree_type_symtab_field"))) symtab; | |
73249b1e | 1640 | tree canonical; |
96423453 | 1641 | tree next_variant; |
1642 | tree main_variant; | |
1643 | tree context; | |
73249b1e | 1644 | tree name; |
96423453 | 1645 | }; |
1646 | ||
1647 | struct GTY(()) tree_type_with_lang_specific { | |
1648 | struct tree_type_common common; | |
1649 | /* Points to a structure whose details depend on the language in use. */ | |
1650 | struct lang_type *lang_specific; | |
1651 | }; | |
1652 | ||
1653 | struct GTY(()) tree_type_non_common { | |
1654 | struct tree_type_with_lang_specific with_lang_specific; | |
1655 | tree values; | |
1656 | tree minval; | |
1657 | tree maxval; | |
ff7f27bf | 1658 | tree lang_1; |
96423453 | 1659 | }; |
1660 | ||
1661 | struct GTY (()) tree_binfo { | |
1662 | struct tree_common common; | |
1663 | ||
1664 | tree offset; | |
1665 | tree vtable; | |
1666 | tree virtuals; | |
1667 | tree vptr_field; | |
1668 | vec<tree, va_gc> *base_accesses; | |
1669 | tree inheritance; | |
1670 | ||
1671 | tree vtt_subvtt; | |
1672 | tree vtt_vptr; | |
1673 | ||
1674 | vec<tree, va_gc> base_binfos; | |
1675 | }; | |
1676 | ||
1677 | struct GTY(()) tree_decl_minimal { | |
1678 | struct tree_common common; | |
1679 | location_t locus; | |
1680 | unsigned int uid; | |
1681 | tree name; | |
1682 | tree context; | |
1683 | }; | |
1684 | ||
1685 | struct GTY(()) tree_decl_common { | |
1686 | struct tree_decl_minimal common; | |
1687 | tree size; | |
1688 | ||
1689 | ENUM_BITFIELD(machine_mode) mode : 8; | |
1690 | ||
1691 | unsigned nonlocal_flag : 1; | |
1692 | unsigned virtual_flag : 1; | |
1693 | unsigned ignored_flag : 1; | |
1694 | unsigned abstract_flag : 1; | |
1695 | unsigned artificial_flag : 1; | |
1696 | unsigned preserve_flag: 1; | |
1697 | unsigned debug_expr_is_from : 1; | |
1698 | ||
1699 | unsigned lang_flag_0 : 1; | |
1700 | unsigned lang_flag_1 : 1; | |
1701 | unsigned lang_flag_2 : 1; | |
1702 | unsigned lang_flag_3 : 1; | |
1703 | unsigned lang_flag_4 : 1; | |
1704 | unsigned lang_flag_5 : 1; | |
1705 | unsigned lang_flag_6 : 1; | |
1706 | unsigned lang_flag_7 : 1; | |
1707 | unsigned lang_flag_8 : 1; | |
1708 | ||
532d84ff | 1709 | /* In VAR_DECL and PARM_DECL, this is DECL_REGISTER |
1710 | IN TRANSLATION_UNIT_DECL, this is TRANSLATION_UNIT_WARN_EMPTY_P. */ | |
96423453 | 1711 | unsigned decl_flag_0 : 1; |
1712 | /* In FIELD_DECL, this is DECL_BIT_FIELD | |
1713 | In VAR_DECL and FUNCTION_DECL, this is DECL_EXTERNAL. | |
1714 | In TYPE_DECL, this is TYPE_DECL_SUPPRESS_DEBUG. */ | |
1715 | unsigned decl_flag_1 : 1; | |
1716 | /* In FIELD_DECL, this is DECL_NONADDRESSABLE_P | |
1717 | In VAR_DECL, PARM_DECL and RESULT_DECL, this is | |
1718 | DECL_HAS_VALUE_EXPR_P. */ | |
1719 | unsigned decl_flag_2 : 1; | |
532d84ff | 1720 | /* In FIELD_DECL, this is DECL_PADDING_P. */ |
96423453 | 1721 | unsigned decl_flag_3 : 1; |
1722 | /* Logically, these two would go in a theoretical base shared by var and | |
1723 | parm decl. */ | |
1724 | unsigned gimple_reg_flag : 1; | |
1725 | /* In VAR_DECL, PARM_DECL and RESULT_DECL, this is DECL_BY_REFERENCE. */ | |
1726 | unsigned decl_by_reference_flag : 1; | |
1727 | /* In a VAR_DECL and PARM_DECL, this is DECL_READ_P. */ | |
1728 | unsigned decl_read_flag : 1; | |
1729 | /* In a VAR_DECL or RESULT_DECL, this is DECL_NONSHAREABLE. */ | |
1fc5e56f | 1730 | /* In a PARM_DECL, this is DECL_HIDDEN_STRING_LENGTH. */ |
96423453 | 1731 | unsigned decl_nonshareable_flag : 1; |
1732 | ||
1733 | /* DECL_OFFSET_ALIGN, used only for FIELD_DECLs. */ | |
5d4b30ea | 1734 | unsigned int off_align : 6; |
96423453 | 1735 | |
1736 | /* DECL_ALIGN. It should have the same size as TYPE_ALIGN. */ | |
5d4b30ea | 1737 | unsigned int align : 6; |
1738 | ||
4bec7283 | 1739 | /* DECL_WARN_IF_NOT_ALIGN. It should have the same size as |
1740 | TYPE_WARN_IF_NOT_ALIGN. */ | |
1741 | unsigned int warn_if_not_align : 6; | |
1742 | ||
1743 | /* 14 bits unused. */ | |
96423453 | 1744 | |
1745 | /* UID for points-to sets, stable over copying from inlining. */ | |
1746 | unsigned int pt_uid; | |
1747 | ||
1748 | tree size_unit; | |
1749 | tree initial; | |
1750 | tree attributes; | |
1751 | tree abstract_origin; | |
1752 | ||
1753 | /* Points to a structure whose details depend on the language in use. */ | |
1754 | struct lang_decl *lang_specific; | |
1755 | }; | |
1756 | ||
1757 | struct GTY(()) tree_decl_with_rtl { | |
1758 | struct tree_decl_common common; | |
1759 | rtx rtl; | |
1760 | }; | |
1761 | ||
1762 | struct GTY(()) tree_field_decl { | |
1763 | struct tree_decl_common common; | |
1764 | ||
1765 | tree offset; | |
1766 | tree bit_field_type; | |
1767 | tree qualifier; | |
1768 | tree bit_offset; | |
1769 | tree fcontext; | |
1770 | }; | |
1771 | ||
1772 | struct GTY(()) tree_label_decl { | |
1773 | struct tree_decl_with_rtl common; | |
1774 | int label_decl_uid; | |
1775 | int eh_landing_pad_nr; | |
1776 | }; | |
1777 | ||
1778 | struct GTY(()) tree_result_decl { | |
1779 | struct tree_decl_with_rtl common; | |
1780 | }; | |
1781 | ||
1782 | struct GTY(()) tree_const_decl { | |
1783 | struct tree_decl_common common; | |
1784 | }; | |
1785 | ||
1786 | struct GTY(()) tree_parm_decl { | |
1787 | struct tree_decl_with_rtl common; | |
1788 | rtx incoming_rtl; | |
1789 | }; | |
1790 | ||
1791 | struct GTY(()) tree_decl_with_vis { | |
1792 | struct tree_decl_with_rtl common; | |
1793 | tree assembler_name; | |
8c016392 | 1794 | struct symtab_node *symtab_node; |
96423453 | 1795 | |
1796 | /* Belong to VAR_DECL exclusively. */ | |
1797 | unsigned defer_output : 1; | |
1798 | unsigned hard_register : 1; | |
1799 | unsigned common_flag : 1; | |
1800 | unsigned in_text_section : 1; | |
1801 | unsigned in_constant_pool : 1; | |
1802 | unsigned dllimport_flag : 1; | |
1803 | /* Don't belong to VAR_DECL exclusively. */ | |
1804 | unsigned weak_flag : 1; | |
96423453 | 1805 | |
1806 | unsigned seen_in_bind_expr : 1; | |
1807 | unsigned comdat_flag : 1; | |
5e68df57 | 1808 | /* Used for FUNCTION_DECL, VAR_DECL and in C++ for TYPE_DECL. */ |
96423453 | 1809 | ENUM_BITFIELD(symbol_visibility) visibility : 2; |
1810 | unsigned visibility_specified : 1; | |
96423453 | 1811 | |
1812 | /* Belong to FUNCTION_DECL exclusively. */ | |
1813 | unsigned init_priority_p : 1; | |
1814 | /* Used by C++ only. Might become a generic decl flag. */ | |
1815 | unsigned shadowed_for_var_p : 1; | |
1816 | /* Belong to FUNCTION_DECL exclusively. */ | |
1817 | unsigned cxx_constructor : 1; | |
1818 | /* Belong to FUNCTION_DECL exclusively. */ | |
1819 | unsigned cxx_destructor : 1; | |
1820 | /* Belong to FUNCTION_DECL exclusively. */ | |
1821 | unsigned final : 1; | |
6c95e774 | 1822 | /* Belong to FUNCTION_DECL exclusively. */ |
1823 | unsigned regdecl_flag : 1; | |
1824 | /* 14 unused bits. */ | |
96423453 | 1825 | }; |
1826 | ||
1827 | struct GTY(()) tree_var_decl { | |
1828 | struct tree_decl_with_vis common; | |
1829 | }; | |
1830 | ||
1831 | struct GTY(()) tree_decl_non_common { | |
1832 | struct tree_decl_with_vis common; | |
96423453 | 1833 | /* Almost all FE's use this. */ |
1834 | tree result; | |
96423453 | 1835 | }; |
1836 | ||
92e4277c | 1837 | /* Classify a special function declaration type. */ |
1838 | ||
1839 | enum function_decl_type | |
1840 | { | |
1841 | NONE, | |
1842 | OPERATOR_NEW, | |
4ee64e30 | 1843 | OPERATOR_DELETE, |
92e4277c | 1844 | LAMBDA_FUNCTION |
1845 | ||
1846 | /* 0 values left */ | |
1847 | }; | |
1848 | ||
65d190ac | 1849 | /* FUNCTION_DECL inherits from DECL_NON_COMMON because of the use of the |
1850 | arguments/result/saved_tree fields by front ends. It was either inherit | |
1851 | FUNCTION_DECL from non_common, or inherit non_common from FUNCTION_DECL, | |
1852 | which seemed a bit strange. */ | |
1853 | ||
96423453 | 1854 | struct GTY(()) tree_function_decl { |
1855 | struct tree_decl_non_common common; | |
1856 | ||
1857 | struct function *f; | |
1858 | ||
83c7dcd8 | 1859 | /* Arguments of the function. */ |
1860 | tree arguments; | |
96423453 | 1861 | /* The personality function. Used for stack unwinding. */ |
1862 | tree personality; | |
1863 | ||
1864 | /* Function specific options that are used by this function. */ | |
1865 | tree function_specific_target; /* target options */ | |
1866 | tree function_specific_optimization; /* optimization options */ | |
1867 | ||
9c2e58d0 | 1868 | /* Generic function body. */ |
1869 | tree saved_tree; | |
1870 | /* Index within a virtual table. */ | |
1871 | tree vindex; | |
1872 | ||
d1170f8d | 1873 | /* In a FUNCTION_DECL this is DECL_UNCHECKED_FUNCTION_CODE. */ |
1874 | unsigned int function_code; | |
96423453 | 1875 | |
8dc2da3e | 1876 | ENUM_BITFIELD(built_in_class) built_in_class : 2; |
96423453 | 1877 | unsigned static_ctor_flag : 1; |
1878 | unsigned static_dtor_flag : 1; | |
6c95e774 | 1879 | unsigned uninlinable : 1; |
96423453 | 1880 | unsigned possibly_inlined : 1; |
1881 | unsigned novops_flag : 1; | |
1882 | unsigned returns_twice_flag : 1; | |
8dc2da3e | 1883 | |
96423453 | 1884 | unsigned malloc_flag : 1; |
96423453 | 1885 | unsigned declared_inline_flag : 1; |
96423453 | 1886 | unsigned no_inline_warning_flag : 1; |
96423453 | 1887 | unsigned no_instrument_function_entry_exit : 1; |
1888 | unsigned no_limit_stack : 1; | |
1889 | unsigned disregard_inline_limits : 1; | |
1890 | unsigned pure_flag : 1; | |
1891 | unsigned looping_const_or_pure_flag : 1; | |
8dc2da3e | 1892 | |
1893 | /* Align the bitfield to boundary of a byte. */ | |
1894 | ENUM_BITFIELD(function_decl_type) decl_type: 2; | |
96423453 | 1895 | unsigned has_debug_args_flag : 1; |
96423453 | 1896 | unsigned versioned_function : 1; |
92e4277c | 1897 | |
8dc2da3e | 1898 | /* 12 bits left for future expansion. */ |
96423453 | 1899 | }; |
1900 | ||
1901 | struct GTY(()) tree_translation_unit_decl { | |
1902 | struct tree_decl_common common; | |
1903 | /* Source language of this translation unit. Used for DWARF output. */ | |
1904 | const char * GTY((skip(""))) language; | |
1905 | /* TODO: Non-optimization used to build this translation unit. */ | |
1906 | /* TODO: Root of a partial DWARF tree for global types and decls. */ | |
1907 | }; | |
1908 | ||
1909 | struct GTY(()) tree_type_decl { | |
1910 | struct tree_decl_non_common common; | |
1911 | ||
1912 | }; | |
1913 | ||
1914 | struct GTY ((chain_next ("%h.next"), chain_prev ("%h.prev"))) tree_statement_list_node | |
1915 | { | |
1916 | struct tree_statement_list_node *prev; | |
1917 | struct tree_statement_list_node *next; | |
1918 | tree stmt; | |
1919 | }; | |
1920 | ||
1921 | struct GTY(()) tree_statement_list | |
1922 | { | |
1923 | struct tree_typed typed; | |
1924 | struct tree_statement_list_node *head; | |
1925 | struct tree_statement_list_node *tail; | |
1926 | }; | |
1927 | ||
ed869862 | 1928 | |
1929 | /* Optimization options used by a function. */ | |
1930 | ||
96423453 | 1931 | struct GTY(()) tree_optimization_option { |
5d74c1b1 | 1932 | struct tree_base base; |
96423453 | 1933 | |
1934 | /* The optimization options used by the user. */ | |
54cef8b2 | 1935 | struct cl_optimization *opts; |
96423453 | 1936 | |
1937 | /* Target optabs for this set of optimization options. This is of | |
1938 | type `struct target_optabs *'. */ | |
62402de3 | 1939 | void *GTY ((atomic)) optabs; |
96423453 | 1940 | |
1941 | /* The value of this_target_optabs against which the optabs above were | |
1942 | generated. */ | |
1943 | struct target_optabs *GTY ((skip)) base_optabs; | |
1944 | }; | |
1945 | ||
6e5c480b | 1946 | /* Forward declaration, defined in target-globals.h. */ |
1947 | ||
2e966e2a | 1948 | class GTY(()) target_globals; |
6e5c480b | 1949 | |
ed869862 | 1950 | /* Target options used by a function. */ |
1951 | ||
96423453 | 1952 | struct GTY(()) tree_target_option { |
5d74c1b1 | 1953 | struct tree_base base; |
96423453 | 1954 | |
6e5c480b | 1955 | /* Target globals for the corresponding target option. */ |
2e966e2a | 1956 | class target_globals *globals; |
6e5c480b | 1957 | |
96423453 | 1958 | /* The optimization options used by the user. */ |
4a875e1f | 1959 | struct cl_target_option *opts; |
96423453 | 1960 | }; |
1961 | ||
1962 | /* Define the overall contents of a tree node. | |
1963 | It may be any of the structures declared above | |
1964 | for various types of node. */ | |
1965 | union GTY ((ptr_alias (union lang_tree_node), | |
1966 | desc ("tree_node_structure (&%h)"), variable_size)) tree_node { | |
1967 | struct tree_base GTY ((tag ("TS_BASE"))) base; | |
1968 | struct tree_typed GTY ((tag ("TS_TYPED"))) typed; | |
1969 | struct tree_common GTY ((tag ("TS_COMMON"))) common; | |
1970 | struct tree_int_cst GTY ((tag ("TS_INT_CST"))) int_cst; | |
8672ee56 | 1971 | struct tree_poly_int_cst GTY ((tag ("TS_POLY_INT_CST"))) poly_int_cst; |
96423453 | 1972 | struct tree_real_cst GTY ((tag ("TS_REAL_CST"))) real_cst; |
1973 | struct tree_fixed_cst GTY ((tag ("TS_FIXED_CST"))) fixed_cst; | |
1974 | struct tree_vector GTY ((tag ("TS_VECTOR"))) vector; | |
1975 | struct tree_string GTY ((tag ("TS_STRING"))) string; | |
1976 | struct tree_complex GTY ((tag ("TS_COMPLEX"))) complex; | |
1977 | struct tree_identifier GTY ((tag ("TS_IDENTIFIER"))) identifier; | |
1978 | struct tree_decl_minimal GTY((tag ("TS_DECL_MINIMAL"))) decl_minimal; | |
1979 | struct tree_decl_common GTY ((tag ("TS_DECL_COMMON"))) decl_common; | |
1980 | struct tree_decl_with_rtl GTY ((tag ("TS_DECL_WRTL"))) decl_with_rtl; | |
1981 | struct tree_decl_non_common GTY ((tag ("TS_DECL_NON_COMMON"))) | |
1982 | decl_non_common; | |
1983 | struct tree_parm_decl GTY ((tag ("TS_PARM_DECL"))) parm_decl; | |
1984 | struct tree_decl_with_vis GTY ((tag ("TS_DECL_WITH_VIS"))) decl_with_vis; | |
1985 | struct tree_var_decl GTY ((tag ("TS_VAR_DECL"))) var_decl; | |
1986 | struct tree_field_decl GTY ((tag ("TS_FIELD_DECL"))) field_decl; | |
1987 | struct tree_label_decl GTY ((tag ("TS_LABEL_DECL"))) label_decl; | |
1988 | struct tree_result_decl GTY ((tag ("TS_RESULT_DECL"))) result_decl; | |
1989 | struct tree_const_decl GTY ((tag ("TS_CONST_DECL"))) const_decl; | |
1990 | struct tree_type_decl GTY ((tag ("TS_TYPE_DECL"))) type_decl; | |
1991 | struct tree_function_decl GTY ((tag ("TS_FUNCTION_DECL"))) function_decl; | |
1992 | struct tree_translation_unit_decl GTY ((tag ("TS_TRANSLATION_UNIT_DECL"))) | |
1993 | translation_unit_decl; | |
1994 | struct tree_type_common GTY ((tag ("TS_TYPE_COMMON"))) type_common; | |
1995 | struct tree_type_with_lang_specific GTY ((tag ("TS_TYPE_WITH_LANG_SPECIFIC"))) | |
1996 | type_with_lang_specific; | |
1997 | struct tree_type_non_common GTY ((tag ("TS_TYPE_NON_COMMON"))) | |
1998 | type_non_common; | |
1999 | struct tree_list GTY ((tag ("TS_LIST"))) list; | |
2000 | struct tree_vec GTY ((tag ("TS_VEC"))) vec; | |
2001 | struct tree_exp GTY ((tag ("TS_EXP"))) exp; | |
2002 | struct tree_ssa_name GTY ((tag ("TS_SSA_NAME"))) ssa_name; | |
2003 | struct tree_block GTY ((tag ("TS_BLOCK"))) block; | |
2004 | struct tree_binfo GTY ((tag ("TS_BINFO"))) binfo; | |
2005 | struct tree_statement_list GTY ((tag ("TS_STATEMENT_LIST"))) stmt_list; | |
2006 | struct tree_constructor GTY ((tag ("TS_CONSTRUCTOR"))) constructor; | |
2007 | struct tree_omp_clause GTY ((tag ("TS_OMP_CLAUSE"))) omp_clause; | |
2008 | struct tree_optimization_option GTY ((tag ("TS_OPTIMIZATION"))) optimization; | |
2009 | struct tree_target_option GTY ((tag ("TS_TARGET_OPTION"))) target_option; | |
2010 | }; | |
2011 | ||
2012 | /* Structure describing an attribute and a function to handle it. */ | |
2013 | struct attribute_spec { | |
2014 | /* The name of the attribute (without any leading or trailing __), | |
2015 | or NULL to mark the end of a table of attributes. */ | |
2016 | const char *name; | |
2017 | /* The minimum length of the list of arguments of the attribute. */ | |
2018 | int min_length; | |
2019 | /* The maximum length of the list of arguments of the attribute | |
2020 | (-1 for no maximum). */ | |
2021 | int max_length; | |
2022 | /* Whether this attribute requires a DECL. If it does, it will be passed | |
2023 | from types of DECLs, function return types and array element types to | |
2024 | the DECLs, function types and array types respectively; but when | |
2025 | applied to a type in any other circumstances, it will be ignored with | |
2026 | a warning. (If greater control is desired for a given attribute, | |
2027 | this should be false, and the flags argument to the handler may be | |
2028 | used to gain greater control in that case.) */ | |
2029 | bool decl_required; | |
2030 | /* Whether this attribute requires a type. If it does, it will be passed | |
2031 | from a DECL to the type of that DECL. */ | |
2032 | bool type_required; | |
2033 | /* Whether this attribute requires a function (or method) type. If it does, | |
2034 | it will be passed from a function pointer type to the target type, | |
2035 | and from a function return type (which is not itself a function | |
2036 | pointer type) to the function type. */ | |
2037 | bool function_type_required; | |
672bc44d | 2038 | /* Specifies if attribute affects type's identity. */ |
2039 | bool affects_type_identity; | |
96423453 | 2040 | /* Function to handle this attribute. NODE points to the node to which |
2041 | the attribute is to be applied. If a DECL, it should be modified in | |
6d1aae1c | 2042 | place; if a TYPE, a copy should be created. NAME is the canonicalized |
2043 | name of the attribute i.e. without any leading or trailing underscores. | |
2044 | ARGS is the TREE_LIST of the arguments (which may be NULL). FLAGS gives | |
2045 | further information about the context of the attribute. Afterwards, the | |
2046 | attributes will be added to the DECL_ATTRIBUTES or TYPE_ATTRIBUTES, as | |
2047 | appropriate, unless *NO_ADD_ATTRS is set to true (which should be done on | |
2048 | error, as well as in any other cases when the attributes should not be | |
2049 | added to the DECL or TYPE). Depending on FLAGS, any attributes to be | |
96423453 | 2050 | applied to another type or DECL later may be returned; |
2051 | otherwise the return value should be NULL_TREE. This pointer may be | |
2052 | NULL if no special handling is required beyond the checks implied | |
2053 | by the rest of this structure. */ | |
2054 | tree (*handler) (tree *node, tree name, tree args, | |
2055 | int flags, bool *no_add_attrs); | |
dab0e385 | 2056 | |
2057 | /* Specifies the name of an attribute that's mutually exclusive with | |
2058 | this one, and whether the relationship applies to the function, | |
2059 | variable, or type form of the attribute. */ | |
2060 | struct exclusions { | |
2061 | const char *name; | |
2062 | bool function; | |
2063 | bool variable; | |
2064 | bool type; | |
2065 | }; | |
2066 | ||
2067 | /* An array of attribute exclusions describing names of other attributes | |
2068 | that this attribute is mutually exclusive with. */ | |
2069 | const exclusions *exclude; | |
96423453 | 2070 | }; |
2071 | ||
2072 | /* These functions allow a front-end to perform a manual layout of a | |
2073 | RECORD_TYPE. (For instance, if the placement of subsequent fields | |
2074 | depends on the placement of fields so far.) Begin by calling | |
2075 | start_record_layout. Then, call place_field for each of the | |
2076 | fields. Then, call finish_record_layout. See layout_type for the | |
2077 | default way in which these functions are used. */ | |
2078 | typedef struct record_layout_info_s { | |
2079 | /* The RECORD_TYPE that we are laying out. */ | |
2080 | tree t; | |
2081 | /* The offset into the record so far, in bytes, not including bits in | |
2082 | BITPOS. */ | |
2083 | tree offset; | |
2084 | /* The last known alignment of SIZE. */ | |
2085 | unsigned int offset_align; | |
2086 | /* The bit position within the last OFFSET_ALIGN bits, in bits. */ | |
2087 | tree bitpos; | |
2088 | /* The alignment of the record so far, in bits. */ | |
2089 | unsigned int record_align; | |
2090 | /* The alignment of the record so far, ignoring #pragma pack and | |
2091 | __attribute__ ((packed)), in bits. */ | |
2092 | unsigned int unpacked_align; | |
2093 | /* The previous field laid out. */ | |
2094 | tree prev_field; | |
2095 | /* The static variables (i.e., class variables, as opposed to | |
2096 | instance variables) encountered in T. */ | |
2097 | vec<tree, va_gc> *pending_statics; | |
2098 | /* Bits remaining in the current alignment group */ | |
2099 | int remaining_in_alignment; | |
2100 | /* True if we've seen a packed field that didn't have normal | |
2101 | alignment anyway. */ | |
2102 | int packed_maybe_necessary; | |
2103 | } *record_layout_info; | |
2104 | ||
2105 | /* Iterator for going through the function arguments. */ | |
2106 | struct function_args_iterator { | |
2107 | tree next; /* TREE_LIST pointing to the next argument */ | |
2108 | }; | |
2109 | ||
2110 | /* Structures to map from a tree to another tree. */ | |
2111 | struct GTY(()) tree_map_base { | |
2112 | tree from; | |
2113 | }; | |
2114 | ||
ed869862 | 2115 | /* Map from a tree to another tree. */ |
2116 | ||
d1023d12 | 2117 | struct GTY((for_user)) tree_map { |
96423453 | 2118 | struct tree_map_base base; |
2119 | unsigned int hash; | |
2120 | tree to; | |
2121 | }; | |
2122 | ||
2123 | /* Map from a decl tree to another tree. */ | |
d1023d12 | 2124 | struct GTY((for_user)) tree_decl_map { |
96423453 | 2125 | struct tree_map_base base; |
2126 | tree to; | |
2127 | }; | |
2128 | ||
2129 | /* Map from a tree to an int. */ | |
d1023d12 | 2130 | struct GTY((for_user)) tree_int_map { |
96423453 | 2131 | struct tree_map_base base; |
2132 | unsigned int to; | |
2133 | }; | |
2134 | ||
96423453 | 2135 | /* Map from a decl tree to a tree vector. */ |
d1023d12 | 2136 | struct GTY((for_user)) tree_vec_map { |
96423453 | 2137 | struct tree_map_base base; |
2138 | vec<tree, va_gc> *to; | |
2139 | }; | |
2140 | ||
2141 | /* Abstract iterators for CALL_EXPRs. These static inline definitions | |
2142 | have to go towards the end of tree.h so that union tree_node is fully | |
2143 | defined by this point. */ | |
2144 | ||
2145 | /* Structure containing iterator state. */ | |
2146 | struct call_expr_arg_iterator { | |
2147 | tree t; /* the call_expr */ | |
2148 | int n; /* argument count */ | |
2149 | int i; /* next argument index */ | |
2150 | }; | |
2151 | ||
2152 | struct const_call_expr_arg_iterator { | |
2153 | const_tree t; /* the call_expr */ | |
2154 | int n; /* argument count */ | |
2155 | int i; /* next argument index */ | |
2156 | }; | |
2157 | ||
2158 | /* The builtin_info structure holds the FUNCTION_DECL of the standard builtin | |
cffdfb3d | 2159 | function, and flags. */ |
96423453 | 2160 | struct GTY(()) builtin_info_type { |
cffdfb3d | 2161 | tree decl; |
2162 | /* Whether the user can use <xxx> instead of explicitly using calls | |
2163 | to __builtin_<xxx>. */ | |
2164 | unsigned implicit_p : 1; | |
2165 | /* Whether the user has provided a declaration of <xxx>. */ | |
2166 | unsigned declared_p : 1; | |
96423453 | 2167 | }; |
2168 | ||
82c85aba | 2169 | /* Information about a _FloatN or _FloatNx type that may be |
2170 | supported. */ | |
2171 | struct floatn_type_info { | |
2172 | /* The number N in the type name. */ | |
2173 | int n; | |
2174 | /* Whether it is an extended type _FloatNx (true) or an interchange | |
2175 | type (false). */ | |
2176 | bool extended; | |
2177 | }; | |
2178 | ||
96423453 | 2179 | |
2180 | /*--------------------------------------------------------------------------- | |
2181 | Global variables | |
2182 | ---------------------------------------------------------------------------*/ | |
2183 | /* Matrix describing the structures contained in a given tree code. */ | |
ea46cddb | 2184 | extern bool tree_contains_struct[MAX_TREE_CODES][64]; |
96423453 | 2185 | |
2186 | /* Class of tree given its code. */ | |
2187 | extern const enum tree_code_class tree_code_type[]; | |
2188 | ||
2189 | /* Each tree code class has an associated string representation. | |
2190 | These must correspond to the tree_code_class entries. */ | |
2191 | extern const char *const tree_code_class_strings[]; | |
2192 | ||
2193 | /* Number of argument-words in each kind of tree-node. */ | |
2194 | extern const unsigned char tree_code_length[]; | |
2195 | ||
96423453 | 2196 | /* Vector of all alias pairs for global symbols. */ |
2197 | extern GTY(()) vec<alias_pair, va_gc> *alias_pairs; | |
2198 | ||
2199 | /* Names of all the built_in classes. */ | |
2200 | extern const char *const built_in_class_names[BUILT_IN_LAST]; | |
2201 | ||
2202 | /* Names of all the built_in functions. */ | |
2203 | extern const char * built_in_names[(int) END_BUILTINS]; | |
2204 | ||
2205 | /* Number of operands and names for each OMP_CLAUSE node. */ | |
2206 | extern unsigned const char omp_clause_num_ops[]; | |
2207 | extern const char * const omp_clause_code_name[]; | |
2208 | ||
2209 | /* A vector of all translation-units. */ | |
2210 | extern GTY (()) vec<tree, va_gc> *all_translation_units; | |
2211 | ||
2212 | /* Vector of standard trees used by the C compiler. */ | |
2213 | extern GTY(()) tree global_trees[TI_MAX]; | |
2214 | ||
2215 | /* The standard C integer types. Use integer_type_kind to index into | |
2216 | this array. */ | |
2217 | extern GTY(()) tree integer_types[itk_none]; | |
2218 | ||
2219 | /* Types used to represent sizes. */ | |
2220 | extern GTY(()) tree sizetype_tab[(int) stk_type_kind_last]; | |
2221 | ||
2222 | /* Arrays for keeping track of tree node statistics. */ | |
a1e96c3c | 2223 | extern uint64_t tree_node_counts[]; |
2224 | extern uint64_t tree_node_sizes[]; | |
96423453 | 2225 | |
2226 | /* True if we are in gimple form and the actions of the folders need to | |
2227 | be restricted. False if we are not in gimple form and folding is not | |
2228 | restricted to creating gimple expressions. */ | |
2229 | extern bool in_gimple_form; | |
2230 | ||
2231 | /* Functional interface to the builtin functions. */ | |
cffdfb3d | 2232 | extern GTY(()) builtin_info_type builtin_info[(int)END_BUILTINS]; |
96423453 | 2233 | |
2234 | /* If nonzero, an upper limit on alignment of structure fields, in bits, */ | |
2235 | extern unsigned int maximum_field_alignment; | |
2236 | ||
96423453 | 2237 | /* Points to the FUNCTION_DECL of the function whose body we are reading. */ |
2238 | extern GTY(()) tree current_function_decl; | |
2239 | ||
2240 | /* Nonzero means a FUNC_BEGIN label was emitted. */ | |
2241 | extern GTY(()) const char * current_function_func_begin_label; | |
2242 | ||
82c85aba | 2243 | /* Information about the _FloatN and _FloatNx types. */ |
2244 | extern const floatn_type_info floatn_nx_types[NUM_FLOATN_NX_TYPES]; | |
2245 | ||
96423453 | 2246 | #endif // GCC_TREE_CORE_H |