gcc/tree-core.h

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