tree.h 113 KB
Newer Older
Richard Stallman committed
1
/* Front-end tree definitions for GNU compiler.
2 3
   Copyright (C) 1989, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000
   Free Software Foundation, Inc.
Richard Stallman committed
4 5 6 7 8 9 10 11 12 13 14 15 16 17 18

This file is part of GNU CC.

GNU CC is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2, or (at your option)
any later version.

GNU CC is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with GNU CC; see the file COPYING.  If not, write to
Richard Kenner committed
19 20
the Free Software Foundation, 59 Temple Place - Suite 330,
Boston, MA 02111-1307, USA.  */
Richard Stallman committed
21 22

#include "machmode.h"
23
#include "version.h"
Richard Stallman committed
24

25 26 27 28 29
#ifndef RTX_CODE
struct rtx_def;
#endif

/* Codes of tree nodes */
Richard Stallman committed
30 31 32 33 34 35

#define DEFTREECODE(SYM, STRING, TYPE, NARGS)   SYM,

enum tree_code {
#include "tree.def"

36
  LAST_AND_UNUSED_TREE_CODE	/* A convenient way to get a value for
Richard Stallman committed
37 38 39 40 41
				   NUM_TREE_CODE.  */
};

#undef DEFTREECODE

42 43
/* Number of language-independent tree codes.  */
#define NUM_TREE_CODES ((int) LAST_AND_UNUSED_TREE_CODE)
Richard Stallman committed
44 45 46 47 48 49 50 51

/* Indexed by enum tree_code, contains a character which is
   `<' for a comparison expression, `1', for a unary arithmetic
   expression, `2' for a binary arithmetic expression, `e' for
   other types of expressions, `r' for a reference, `c' for a
   constant, `d' for a decl, `t' for a type, `s' for a statement,
   and `x' for anything else (TREE_LIST, IDENTIFIER, etc).  */

52 53 54
#define MAX_TREE_CODES 256
extern char tree_code_type[MAX_TREE_CODES];
#define TREE_CODE_CLASS(CODE)	tree_code_type[(int) (CODE)]
Richard Stallman committed
55

56 57 58 59
/* Returns non-zero iff CLASS is the tree-code class of an
   expression.  */

#define IS_EXPR_CODE_CLASS(CLASS) \
60
  (CLASS == '<' || CLASS == '1' || CLASS == '2' || CLASS == 'e')
61

Richard Stallman committed
62 63
/* Number of argument-words in each kind of tree-node.  */

64
extern int tree_code_length[MAX_TREE_CODES];
65
#define TREE_CODE_LENGTH(CODE)	tree_code_length[(int) (CODE)]
Richard Stallman committed
66 67 68

/* Names of tree components.  */

69
extern const char *tree_code_name[MAX_TREE_CODES];
Richard Stallman committed
70

71 72
/* Classify which part of the compiler has defined a given builtin function.
   Note that we assume below that this is no more than two bits.  */
73 74 75 76 77 78 79
enum built_in_class
{
  NOT_BUILT_IN = 0,
  BUILT_IN_FRONTEND,
  BUILT_IN_MD,
  BUILT_IN_NORMAL
};
80 81

/* Names for the above.  */
82
extern const char *const built_in_class_names[4];
83

Richard Stallman committed
84 85 86
/* Codes that identify the various built in functions
   so that expand_call can identify them quickly.  */

Kaveh R. Ghazi committed
87
#define DEF_BUILTIN(x) x,
Richard Stallman committed
88 89
enum built_in_function
{
Kaveh R. Ghazi committed
90
#include "builtins.def"
91 92 93

  /* Upper bound on non-language-specific builtins. */
  END_BUILTINS
Richard Stallman committed
94
};
Kaveh R. Ghazi committed
95
#undef DEF_BUILTIN
96 97

/* Names for the above.  */
98
extern const char *const built_in_names[(int) END_BUILTINS];
99 100 101

/* An array of _DECL trees for the above.  */
extern union tree_node *built_in_decls[(int) END_BUILTINS];
Richard Stallman committed
102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125

/* The definition of tree nodes fills the next several pages.  */

/* A tree node can represent a data type, a variable, an expression
   or a statement.  Each node has a TREE_CODE which says what kind of
   thing it represents.  Some common codes are:
   INTEGER_TYPE -- represents a type of integers.
   ARRAY_TYPE -- represents a type of pointer.
   VAR_DECL -- represents a declared variable.
   INTEGER_CST -- represents a constant integer value.
   PLUS_EXPR -- represents a sum (an expression).

   As for the contents of a tree node: there are some fields
   that all nodes share.  Each TREE_CODE has various special-purpose
   fields as well.  The fields of a node are never accessed directly,
   always through accessor macros.  */

/* This type is used everywhere to refer to a tree node.  */

typedef union tree_node *tree;

/* Every kind of tree node starts with this structure,
   so all nodes have these fields.

126 127
   See the accessor macros, defined below, for documentation of the
   fields.   */
Richard Stallman committed
128 129 130 131 132

struct tree_common
{
  union tree_node *chain;
  union tree_node *type;
133
  ENUM_BITFIELD(tree_code) code : 8;
Richard Stallman committed
134 135 136 137 138 139 140 141 142
  unsigned side_effects_flag : 1;
  unsigned constant_flag : 1;
  unsigned addressable_flag : 1;
  unsigned volatile_flag : 1;
  unsigned readonly_flag : 1;
  unsigned unsigned_flag : 1;
  unsigned asm_written_flag: 1;

  unsigned used_flag : 1;
143
  unsigned nothrow_flag : 1;
Richard Stallman committed
144 145 146 147
  unsigned static_flag : 1;
  unsigned public_flag : 1;
  unsigned private_flag : 1;
  unsigned protected_flag : 1;
148
  unsigned bounded_flag : 1;
Richard Stallman committed
149 150 151 152 153 154 155 156

  unsigned lang_flag_0 : 1;
  unsigned lang_flag_1 : 1;
  unsigned lang_flag_2 : 1;
  unsigned lang_flag_3 : 1;
  unsigned lang_flag_4 : 1;
  unsigned lang_flag_5 : 1;
  unsigned lang_flag_6 : 1;
Mark Mitchell committed
157 158 159 160
  /* This flag is presently unused.  However, language front-ends
     should not make use of this flag; it is reserved for future
     expansion.  */
  unsigned dummy : 1;
Richard Stallman committed
161 162
};

163 164 165 166 167 168 169
/* The following table lists the uses of each of the above flags and
   for which types of nodes they are defined.  Note that expressions
   include decls.

   addressable_flag:

       TREE_ADDRESSABLE in
170 171
   	   VAR_DECL, FUNCTION_DECL, FIELD_DECL, CONSTRUCTOR, LABEL_DECL,
	   ..._TYPE, IDENTIFIER_NODE
172 173 174 175

   static_flag:

       TREE_STATIC in
176
           VAR_DECL, FUNCTION_DECL, CONSTRUCTOR, ADDR_EXPR
177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193
       TREE_NO_UNUSED_WARNING in
           CONVERT_EXPR, NOP_EXPR, COMPOUND_EXPR
       TREE_VIA_VIRTUAL in
           TREE_LIST or TREE_VEC
       TREE_CONSTANT_OVERFLOW in
           INTEGER_CST, REAL_CST, COMPLEX_CST
       TREE_SYMBOL_REFERENCED in
           IDENTIFIER_NODE

   public_flag:

       TREE_OVERFLOW in
           INTEGER_CST, REAL_CST, COMPLEX_CST
       TREE_PUBLIC in
           VAR_DECL or FUNCTION_DECL
       TREE_VIA_PUBLIC in
           TREE_LIST or TREE_VEC
194 195
       EXPR_WFL_EMIT_LINE_NOTE in
           EXPR_WITH_FILE_LOCATION
196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226

   private_flag:

       TREE_VIA_PRIVATE in
           TREE_LIST or TREE_VEC
       TREE_PRIVATE in
           ??? unspecified nodes

   protected_flag:

       TREE_VIA_PROTECTED in
           TREE_LIST
       TREE_PROTECTED in
           BLOCK
	   ??? unspecified nodes

   side_effects_flag:

       TREE_SIDE_EFFECTS in
           all expressions

   volatile_flag:

       TREE_THIS_VOLATILE in
           all expressions
       TYPE_VOLATILE in
           ..._TYPE

   readonly_flag:

       TREE_READONLY in
227
           all expressions
228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243
       TYPE_READONLY in
           ..._TYPE

   constant_flag:

       TREE_CONSTANT in
           all expressions

   unsigned_flag:

       TREE_UNSIGNED in
           INTEGER_TYPE, ENUMERAL_TYPE, FIELD_DECL
       DECL_BUILT_IN_NONANSI in
           FUNCTION_DECL
       TREE_PARMLIST in
           TREE_PARMLIST (C++)
244 245
       SAVE_EXPR_NOPLACEHOLDER in
	   SAVE_EXPR
246 247 248 249 250 251 252 253 254 255 256 257

   asm_written_flag:

       TREE_ASM_WRITTEN in
           VAR_DECL, FUNCTION_DECL, RECORD_TYPE, UNION_TYPE, QUAL_UNION_TYPE
	   BLOCK

   used_flag:

       TREE_USED in
           expressions, IDENTIFIER_NODE

258
   nothrow_flag:
259

260 261
       TREE_NOTHROW in
           CALL_EXPR, FUNCTION_DECL
262

263 264 265 266 267 268 269 270
   bounded_flag:

       TREE_BOUNDED in
	   expressions, VAR_DECL, PARM_DECL, FIELD_DECL, FUNCTION_DECL
       TYPE_BOUNDED in
	   ..._TYPE
*/

Richard Stallman committed
271 272 273 274 275 276 277 278
/* Define accessors for the fields that all tree nodes have
   (though some fields are not used for all kinds of nodes).  */

/* The tree-code says what kind of node it is.
   Codes are defined in tree.def.  */
#define TREE_CODE(NODE) ((enum tree_code) (NODE)->common.code)
#define TREE_SET_CODE(NODE, VALUE) ((NODE)->common.code = (int) (VALUE))

279
/* When checking is enabled, errors will be generated if a tree node
280
   is accessed incorrectly. The macros abort with a fatal error.  */
281
#if defined ENABLE_TREE_CHECKING && (GCC_VERSION >= 2007)
282

283
#define TREE_CHECK(t, code) __extension__				\
284 285
({  const tree __t = t;							\
    if (TREE_CODE(__t) != (code))					\
286
      tree_check_failed (__t, code, __FILE__, __LINE__, __FUNCTION__);	\
287
    __t; })
288
#define TREE_CLASS_CHECK(t, class) __extension__			\
289 290
({  const tree __t = t;							\
    if (TREE_CODE_CLASS(TREE_CODE(__t)) != (class))			\
291
      tree_class_check_failed (__t, class, __FILE__, __LINE__, __FUNCTION__); \
292 293 294
    __t; })

/* These checks have to be special cased.  */
295
#define CST_OR_CONSTRUCTOR_CHECK(t) __extension__			\
296 297 298
({  const tree __t = t;							\
    enum tree_code __c = TREE_CODE(__t);				\
    if (__c != CONSTRUCTOR && TREE_CODE_CLASS(__c) != 'c')		\
299
      tree_check_failed (__t, CONSTRUCTOR, __FILE__, __LINE__, __FUNCTION__); \
300
    __t; })
301
#define EXPR_CHECK(t) __extension__					\
302 303 304 305
({  const tree __t = t;							\
    char __c = TREE_CODE_CLASS(TREE_CODE(__t));				\
    if (__c != 'r' && __c != 's' && __c != '<'				\
	&& __c != '1' && __c != '2' && __c != 'e')			\
306
      tree_class_check_failed(__t, 'e', __FILE__, __LINE__, __FUNCTION__); \
307 308
    __t; })

309
extern void tree_check_failed PARAMS ((const tree, enum tree_code,
310
				       const char *, int, const char *))
311
    ATTRIBUTE_NORETURN;
312 313
extern void tree_class_check_failed PARAMS ((const tree, int,
					     const char *, int, const char *))
314 315
    ATTRIBUTE_NORETURN;

316
#else /* not ENABLE_TREE_CHECKING, or not gcc */
317

318 319 320 321 322 323 324 325 326 327 328 329
#define TREE_CHECK(t, code)		(t)
#define TREE_CLASS_CHECK(t, code)	(t)
#define CST_OR_CONSTRUCTOR_CHECK(t)	(t)
#define EXPR_CHECK(t)			(t)

#endif

#include "tree-check.h"

#define TYPE_CHECK(tree)	TREE_CLASS_CHECK  (tree, 't')
#define DECL_CHECK(tree)	TREE_CLASS_CHECK  (tree, 'd')
#define CST_CHECK(tree)		TREE_CLASS_CHECK  (tree, 'c')
330

Richard Stallman committed
331 332
/* In all nodes that are expressions, this is the data type of the expression.
   In POINTER_TYPE nodes, this is the type that the pointer points to.
333 334
   In ARRAY_TYPE nodes, this is the type of the elements.
   In VECTOR_TYPE nodes, this is the type of the elements.  */
Richard Stallman committed
335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350
#define TREE_TYPE(NODE) ((NODE)->common.type)

/* Nodes are chained together for many purposes.
   Types are chained together to record them for being output to the debugger
   (see the function `chain_type').
   Decls in the same scope are chained together to record the contents
   of the scope.
   Statement nodes for successive statements used to be chained together.
   Often lists of things are represented by TREE_LIST nodes that
   are chained together.  */

#define TREE_CHAIN(NODE) ((NODE)->common.chain)

/* Given an expression as a tree, strip any NON_LVALUE_EXPRs and NOP_EXPRs
   that don't change the machine mode.  */

351
#define STRIP_NOPS(EXP)						\
Richard Stallman committed
352 353 354
  while ((TREE_CODE (EXP) == NOP_EXPR				\
	  || TREE_CODE (EXP) == CONVERT_EXPR			\
	  || TREE_CODE (EXP) == NON_LVALUE_EXPR)		\
355
	 && TREE_OPERAND (EXP, 0) != error_mark_node		\
Richard Stallman committed
356 357 358
	 && (TYPE_MODE (TREE_TYPE (EXP))			\
	     == TYPE_MODE (TREE_TYPE (TREE_OPERAND (EXP, 0)))))	\
    (EXP) = TREE_OPERAND (EXP, 0);
Richard Stallman committed
359

Richard Kenner committed
360 361 362 363 364 365
/* Like STRIP_NOPS, but don't let the signedness change either.  */

#define STRIP_SIGN_NOPS(EXP) \
  while ((TREE_CODE (EXP) == NOP_EXPR				\
	  || TREE_CODE (EXP) == CONVERT_EXPR			\
	  || TREE_CODE (EXP) == NON_LVALUE_EXPR)		\
366
	 && TREE_OPERAND (EXP, 0) != error_mark_node		\
Richard Kenner committed
367 368 369 370 371 372
	 && (TYPE_MODE (TREE_TYPE (EXP))			\
	     == TYPE_MODE (TREE_TYPE (TREE_OPERAND (EXP, 0))))	\
	 && (TREE_UNSIGNED (TREE_TYPE (EXP))			\
	     == TREE_UNSIGNED (TREE_TYPE (TREE_OPERAND (EXP, 0))))) \
    (EXP) = TREE_OPERAND (EXP, 0);

Richard Stallman committed
373 374 375 376 377 378
/* Like STRIP_NOPS, but don't alter the TREE_TYPE either.  */

#define STRIP_TYPE_NOPS(EXP) \
  while ((TREE_CODE (EXP) == NOP_EXPR				\
	  || TREE_CODE (EXP) == CONVERT_EXPR			\
	  || TREE_CODE (EXP) == NON_LVALUE_EXPR)		\
379
	 && TREE_OPERAND (EXP, 0) != error_mark_node		\
Richard Stallman committed
380 381 382
	 && (TREE_TYPE (EXP)					\
	     == TREE_TYPE (TREE_OPERAND (EXP, 0))))		\
    (EXP) = TREE_OPERAND (EXP, 0);
383 384 385 386 387 388 389 390 391 392 393 394 395 396 397

/* Nonzero if TYPE represents an integral type.  Note that we do not
   include COMPLEX types here.  */

#define INTEGRAL_TYPE_P(TYPE)  \
  (TREE_CODE (TYPE) == INTEGER_TYPE || TREE_CODE (TYPE) == ENUMERAL_TYPE  \
   || TREE_CODE (TYPE) == BOOLEAN_TYPE || TREE_CODE (TYPE) == CHAR_TYPE)

/* Nonzero if TYPE represents a floating-point type, including complex
   floating-point types.  */

#define FLOAT_TYPE_P(TYPE)		\
  (TREE_CODE (TYPE) == REAL_TYPE	\
   || (TREE_CODE (TYPE) == COMPLEX_TYPE \
       && TREE_CODE (TREE_TYPE (TYPE)) == REAL_TYPE))
398 399 400 401 402 403 404

/* Nonzero if TYPE represents an aggregate (multi-component) type. */

#define AGGREGATE_TYPE_P(TYPE) \
  (TREE_CODE (TYPE) == ARRAY_TYPE || TREE_CODE (TYPE) == RECORD_TYPE \
   || TREE_CODE (TYPE) == UNION_TYPE || TREE_CODE (TYPE) == QUAL_UNION_TYPE \
   || TREE_CODE (TYPE) == SET_TYPE)
405

406 407
/* Nonzero if TYPE represents an unbounded pointer or unbounded
   reference type.  (It should be renamed to INDIRECT_TYPE_P.)  */
408 409 410

#define POINTER_TYPE_P(TYPE) \
  (TREE_CODE (TYPE) == POINTER_TYPE || TREE_CODE (TYPE) == REFERENCE_TYPE)
411

412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454
/* Nonzero if TYPE represents a bounded pointer or bounded reference type.  */

#define BOUNDED_INDIRECT_TYPE_P(TYPE) \
  (TREE_CODE (TYPE) == RECORD_TYPE && TREE_TYPE (TYPE))

/* Nonzero if TYPE represents a bounded pointer type.  */

#define BOUNDED_POINTER_TYPE_P(TYPE) \
  (BOUNDED_INDIRECT_TYPE_P (TYPE) \
   && TREE_CODE (TYPE_BOUNDED_SUBTYPE (TYPE)) == POINTER_TYPE)

/* Nonzero if TYPE represents a bounded reference type.  Bounded
   reference types have two specific uses: (1) When a reference is
   seated to a variable-length RECORD_TYPE that has an array of
   indeterminate length as its final field.  For all other objects, it
   is sufficient to check bounds at the time the reference is seated,
   and assume that all future uses of the reference are safe, since
   the address of references cannot change.  (2) When a reference
   supertype is seated to an subtype object.  The bounds "remember"
   the true size of the complete object, so that subsequent upcasts of
   the address of the reference will be checked properly (is such a
   thing valid C++?).  */

#define BOUNDED_REFERENCE_TYPE_P(TYPE) \
  (BOUNDED_INDIRECT_TYPE_P (TYPE) \
   && TREE_CODE (TYPE_BOUNDED_SUBTYPE (TYPE)) == REFERENCE_TYPE)

/* Nonzero if TYPE represents a pointer or reference type, either
   bounded or unbounded.  */

#define MAYBE_BOUNDED_INDIRECT_TYPE_P(TYPE) \
  (POINTER_TYPE_P (TYPE) || BOUNDED_INDIRECT_TYPE_P (TYPE))

/* Nonzero if TYPE represents a pointer type, either bounded or unbounded.  */

#define MAYBE_BOUNDED_POINTER_TYPE_P(TYPE) \
  (TREE_CODE (TYPE) == POINTER_TYPE || BOUNDED_POINTER_TYPE_P (TYPE))

/* Nonzero if TYPE represents a reference type, either bounded or unbounded.  */

#define MAYBE_BOUNDED_REFERENCE_TYPE_P(TYPE) \
  (TREE_CODE (TYPE) == REFERENCE_TYPE || BOUNDED_REFERENCE_TYPE_P (TYPE))

455 456 457
/* Nonzero if this type is a complete type.  */
#define COMPLETE_TYPE_P(NODE) (TYPE_SIZE (NODE) != NULL_TREE)

458
/* Nonzero if this type is the (possibly qualified) void type.  */
459
#define VOID_TYPE_P(NODE) (TREE_CODE (NODE) == VOID_TYPE)
460

461 462
/* Nonzero if this type is complete or is cv void.  */
#define COMPLETE_OR_VOID_TYPE_P(NODE) \
463
    (COMPLETE_TYPE_P (NODE) || VOID_TYPE_P (NODE))
464 465 466 467 468

/* Nonzero if this type is complete or is an array with unspecified bound.  */
#define COMPLETE_OR_UNBOUND_ARRAY_TYPE_P(NODE) \
    (COMPLETE_TYPE_P (TREE_CODE (NODE) == ARRAY_TYPE ? TREE_TYPE (NODE) : NODE))

469 470 471
/* Nonzero if TYPE represents a type.  */

#define TYPE_P(TYPE)	(TREE_CODE_CLASS (TREE_CODE (TYPE)) == 't')
Richard Stallman committed
472 473 474 475 476 477 478

/* Define many boolean fields that all tree nodes have.  */

/* In VAR_DECL nodes, nonzero means address of this is needed.
   So it cannot be in a register.
   In a FUNCTION_DECL, nonzero means its address is needed.
   So it must be compiled even if it is an inline function.
479 480 481
   In a FIELD_DECL node, it means that the programmer is permitted to
   construct the address of this field.  This is used for aliasing
   purposes: see record_component_aliases.
Richard Stallman committed
482 483 484 485 486 487 488 489 490 491 492
   In CONSTRUCTOR nodes, it means object constructed must be in memory.
   In LABEL_DECL nodes, it means a goto for this label has been seen 
   from a place outside all binding contours that restore stack levels.
   In ..._TYPE nodes, it means that objects of this type must
   be fully addressable.  This means that pieces of this
   object cannot go into register parameters, for example.
   In IDENTIFIER_NODEs, this means that some extern decl for this name
   had its address taken.  That matters for inline functions.  */
#define TREE_ADDRESSABLE(NODE) ((NODE)->common.addressable_flag)

/* In a VAR_DECL, nonzero means allocate static storage.
493
   In a FUNCTION_DECL, nonzero if function has been defined.
Richard Stallman committed
494 495 496
   In a CONSTRUCTOR, nonzero means allocate static storage.  */
#define TREE_STATIC(NODE) ((NODE)->common.static_flag)

497 498
/* In a CONVERT_EXPR, NOP_EXPR or COMPOUND_EXPR, this means the node was
   made implicitly and should not lead to an "unused value" warning.  */
Richard Stallman committed
499 500 501 502 503 504
#define TREE_NO_UNUSED_WARNING(NODE) ((NODE)->common.static_flag)

/* Nonzero for a TREE_LIST or TREE_VEC node means that the derivation
   chain is via a `virtual' declaration.  */
#define TREE_VIA_VIRTUAL(NODE) ((NODE)->common.static_flag)

505 506 507
/* In an INTEGER_CST, REAL_CST, or COMPLEX_CST, this means there was an
   overflow in folding.  This is distinct from TREE_OVERFLOW because ANSI C
   requires a diagnostic when overflows occur in constant expressions.  */
508 509
#define TREE_CONSTANT_OVERFLOW(NODE) ((NODE)->common.static_flag)

510 511 512 513
/* In an IDENTIFIER_NODE, this means that assemble_name was called with
   this string as an argument.  */
#define TREE_SYMBOL_REFERENCED(NODE) ((NODE)->common.static_flag)

514 515
/* In an INTEGER_CST, REAL_CST, of COMPLEX_CST, this means there was an
   overflow in folding, and no warning has been issued for this subexpression.
516 517 518
   TREE_OVERFLOW implies TREE_CONSTANT_OVERFLOW, but not vice versa.  */
#define TREE_OVERFLOW(NODE) ((NODE)->common.public_flag)

Richard Stallman committed
519 520
/* In a VAR_DECL or FUNCTION_DECL,
   nonzero means name is to be accessible from outside this module.
521
   In an identifier node, nonzero means an external declaration
522
   accessible from outside this module was previously seen
Richard Stallman committed
523 524 525 526 527 528 529 530
   for this name in an inner scope.  */
#define TREE_PUBLIC(NODE) ((NODE)->common.public_flag)

/* Nonzero for TREE_LIST or TREE_VEC node means that the path to the
   base class is via a `public' declaration, which preserves public
   fields from the base class as public.  */
#define TREE_VIA_PUBLIC(NODE) ((NODE)->common.public_flag)

531 532 533 534 535 536 537
/* Ditto, for `private' declarations.  */
#define TREE_VIA_PRIVATE(NODE) ((NODE)->common.private_flag)

/* Nonzero for TREE_LIST node means that the path to the
   base class is via a `protected' declaration, which preserves
   protected fields from the base class as protected.
   OVERLOADED.  */
538
#define TREE_VIA_PROTECTED(NODE) ((NODE)->common.protected_flag)
539

Richard Stallman committed
540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576
/* In any expression, nonzero means it has side effects or reevaluation
   of the whole expression could produce a different value.
   This is set if any subexpression is a function call, a side effect
   or a reference to a volatile variable.
   In a ..._DECL, this is set only if the declaration said `volatile'.  */
#define TREE_SIDE_EFFECTS(NODE) ((NODE)->common.side_effects_flag)

/* Nonzero means this expression is volatile in the C sense:
   its address should be of type `volatile WHATEVER *'.
   In other words, the declared item is volatile qualified.
   This is used in _DECL nodes and _REF nodes.

   In a ..._TYPE node, means this type is volatile-qualified.
   But use TYPE_VOLATILE instead of this macro when the node is a type,
   because eventually we may make that a different bit.

   If this bit is set in an expression, so is TREE_SIDE_EFFECTS.  */
#define TREE_THIS_VOLATILE(NODE) ((NODE)->common.volatile_flag)

/* In a VAR_DECL, PARM_DECL or FIELD_DECL, or any kind of ..._REF node,
   nonzero means it may not be the lhs of an assignment.
   In a ..._TYPE node, means this type is const-qualified
   (but the macro TYPE_READONLY should be used instead of this macro
   when the node is a type).  */
#define TREE_READONLY(NODE) ((NODE)->common.readonly_flag)

/* Value of expression is constant.
   Always appears in all ..._CST nodes.
   May also appear in an arithmetic expression, an ADDR_EXPR or a CONSTRUCTOR
   if the value is constant.  */
#define TREE_CONSTANT(NODE) ((NODE)->common.constant_flag)

/* In INTEGER_TYPE or ENUMERAL_TYPE nodes, means an unsigned type.
   In FIELD_DECL nodes, means an unsigned bit field.
   The same bit is used in functions as DECL_BUILT_IN_NONANSI.  */
#define TREE_UNSIGNED(NODE) ((NODE)->common.unsigned_flag)

577 578
#define TYPE_TRAP_SIGNED(NODE) (flag_trapv && ! TREE_UNSIGNED (NODE))

Richard Stallman committed
579 580 581 582
/* Nonzero in a VAR_DECL means assembler code has been written.
   Nonzero in a FUNCTION_DECL means that the function has been compiled.
   This is interesting in an inline function, since it might not need
   to be compiled separately.
583
   Nonzero in a RECORD_TYPE, UNION_TYPE, QUAL_UNION_TYPE or ENUMERAL_TYPE
584 585
   if the sdb debugging info for the type has been written.
   In a BLOCK node, nonzero if reorder_blocks has already seen this block.  */
Richard Stallman committed
586 587 588 589 590 591 592 593
#define TREE_ASM_WRITTEN(NODE) ((NODE)->common.asm_written_flag)

/* Nonzero in a _DECL if the name is used in its scope.
   Nonzero in an expr node means inhibit warning if value is unused.
   In IDENTIFIER_NODEs, this means that some extern decl for this name
   was used.  */
#define TREE_USED(NODE) ((NODE)->common.used_flag)

594 595 596
/* In a FUNCTION_DECL, nonzero means a call to the function cannot throw
   an exception.  In a CALL_EXPR, nonzero means the call cannot throw.  */
#define TREE_NOTHROW(NODE) ((NODE)->common.nothrow_flag)
Richard Stallman committed
597

598
/* Used in classes in C++.  */
Richard Stallman committed
599
#define TREE_PRIVATE(NODE) ((NODE)->common.private_flag)
600 601
/* Used in classes in C++.
   In a BLOCK node, this is BLOCK_HANDLER_BLOCK.  */
Richard Stallman committed
602 603
#define TREE_PROTECTED(NODE) ((NODE)->common.protected_flag)

604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637
/* In a ..._TYPE node, nonzero means that the type's size and layout,
   (or the size and layout of its arguments and/or return value in the
   case of a FUNCTION_TYPE or METHOD_TYPE) was changed by the presence
   of pointer bounds.  Use TYPE_BOUNDED instead of this macro when the
   node is a type, because eventually we may make that a different
   bit.  TYPE_BOUNDED doesn't mean that this type is a bounded indirect
   type--use BOUNDED_POINTER_TYPE_P, BOUNDED_REFERENCE_TYPE_P,
   BOUNDED_INDIRECT_TYPE_P to test for that.

   In a FUNCTION_DECL, nonzero means that the size and layout of one
   of its arguments and/or return value was changed by the presence of
   pointer bounds.  This value can differ from the value of
   TYPE_BOUNDED (TREE_TYPE (fundecl)) if the function was implicitly
   declared, then later called with pointer args, or was declared with
   a variable argument list and is later called with pointer values in
   the variable argument list.

   In a VAR_DECL, PARM_DECL or FIELD_DECL, TREE_BOUNDED matches the value
   of the decl's type's BOUNDED_POINTER_TYPE_P.

   In a CONSTRUCTOR or other expression, nonzero means the value is a
   bounded pointer.  It is insufficient to determine the boundedness
   of an expression EXP with BOUNDED_POINTER_TYPE_P (TREE_TYPE (EXP)),
   since we allow pointer to be temporarily cast to integer for
   rounding up to an alignment boudary in a way that preserves the
   pointer's bounds.

   In an IDENTIFIER_NODE, nonzero means that the name is prefixed with
   BP_PREFIX (see varasm.c).  This occurs for the DECL_ASSEMBLER_NAME
   of a function that has bounded pointer(s) for its return type and/or
   argument type(s).  */

#define TREE_BOUNDED(NODE) ((NODE)->common.bounded_flag)

638
/* These flags are available for each language front end to use internally.  */
Richard Stallman committed
639 640 641 642 643 644 645 646 647 648
#define TREE_LANG_FLAG_0(NODE) ((NODE)->common.lang_flag_0)
#define TREE_LANG_FLAG_1(NODE) ((NODE)->common.lang_flag_1)
#define TREE_LANG_FLAG_2(NODE) ((NODE)->common.lang_flag_2)
#define TREE_LANG_FLAG_3(NODE) ((NODE)->common.lang_flag_3)
#define TREE_LANG_FLAG_4(NODE) ((NODE)->common.lang_flag_4)
#define TREE_LANG_FLAG_5(NODE) ((NODE)->common.lang_flag_5)
#define TREE_LANG_FLAG_6(NODE) ((NODE)->common.lang_flag_6)

/* Define additional fields and accessors for nodes representing constants.  */

649 650
/* In an INTEGER_CST node.  These two together make a 2-word integer.
   If the data type is signed, the value is sign-extended to 2 words
Richard Stallman committed
651
   even though not all of them may really be in use.
652
   In an unsigned constant shorter than 2 words, the extra bits are 0.  */
653 654 655
#define TREE_INT_CST(NODE) (INTEGER_CST_CHECK (NODE)->int_cst.int_cst)
#define TREE_INT_CST_LOW(NODE) (TREE_INT_CST (NODE).low)
#define TREE_INT_CST_HIGH(NODE) (TREE_INT_CST (NODE).high)
Richard Stallman committed
656 657 658 659

#define INT_CST_LT(A, B)  \
(TREE_INT_CST_HIGH (A) < TREE_INT_CST_HIGH (B)			\
 || (TREE_INT_CST_HIGH (A) == TREE_INT_CST_HIGH (B)		\
660
     && TREE_INT_CST_LOW (A) < TREE_INT_CST_LOW (B)))
Richard Stallman committed
661 662

#define INT_CST_LT_UNSIGNED(A, B)  \
663 664 665
(((unsigned HOST_WIDE_INT) TREE_INT_CST_HIGH (A)	\
  < (unsigned HOST_WIDE_INT) TREE_INT_CST_HIGH (B))	\
 || (((unsigned HOST_WIDE_INT) TREE_INT_CST_HIGH (A)	\
666 667
      == (unsigned HOST_WIDE_INT) TREE_INT_CST_HIGH (B)) \
     && TREE_INT_CST_LOW (A) < TREE_INT_CST_LOW (B)))
Richard Stallman committed
668 669 670

struct tree_int_cst
{
671
  struct tree_common common;
672 673
  struct rtx_def *rtl;	/* acts as link to register transfer language
			   (rtl) info */
674 675 676 677 678 679 680
  /* A sub-struct is necessary here because the function `const_hash'
     wants to scan both words as a unit and taking the address of the
     sub-struct yields the properly inclusive bounded pointer.  */
  struct {
    unsigned HOST_WIDE_INT low;
    HOST_WIDE_INT high;
  } int_cst;
Richard Stallman committed
681 682 683 684 685 686
};

/* In REAL_CST, STRING_CST, COMPLEX_CST nodes, and CONSTRUCTOR nodes,
   and generally in all kinds of constants that could
   be given labels (rather than being immediate).  */

687
#define TREE_CST_RTL(NODE) (CST_OR_CONSTRUCTOR_CHECK (NODE)->real_cst.rtl)
Richard Stallman committed
688 689 690 691 692 693

/* In a REAL_CST node.  */
/* We can represent a real value as either a `double' or a string.
   Strings don't allow for any optimization, but they do allow
   for cross-compilation.  */

694
#define TREE_REAL_CST(NODE) (REAL_CST_CHECK (NODE)->real_cst.real_cst)
Richard Stallman committed
695 696 697 698 699

#include "real.h"

struct tree_real_cst
{
700
  struct tree_common common;
Richard Stallman committed
701 702 703 704 705 706
  struct rtx_def *rtl;	/* acts as link to register transfer language
				   (rtl) info */
  REAL_VALUE_TYPE real_cst;
};

/* In a STRING_CST */
707 708
#define TREE_STRING_LENGTH(NODE) (STRING_CST_CHECK (NODE)->string.length)
#define TREE_STRING_POINTER(NODE) (STRING_CST_CHECK (NODE)->string.pointer)
Richard Stallman committed
709 710 711

struct tree_string
{
712
  struct tree_common common;
Richard Stallman committed
713 714 715
  struct rtx_def *rtl;	/* acts as link to register transfer language
				   (rtl) info */
  int length;
Zack Weinberg committed
716
  const char *pointer;
Richard Stallman committed
717 718 719
};

/* In a COMPLEX_CST node.  */
720 721
#define TREE_REALPART(NODE) (COMPLEX_CST_CHECK (NODE)->complex.real)
#define TREE_IMAGPART(NODE) (COMPLEX_CST_CHECK (NODE)->complex.imag)
Richard Stallman committed
722 723 724

struct tree_complex
{
725
  struct tree_common common;
Richard Stallman committed
726 727 728 729 730 731 732 733
  struct rtx_def *rtl;	/* acts as link to register transfer language
				   (rtl) info */
  union tree_node *real;
  union tree_node *imag;
};

/* Define fields and accessors for some special-purpose tree nodes.  */

734 735
#define IDENTIFIER_LENGTH(NODE) (IDENTIFIER_NODE_CHECK (NODE)->identifier.length)
#define IDENTIFIER_POINTER(NODE) (IDENTIFIER_NODE_CHECK (NODE)->identifier.pointer)
Richard Stallman committed
736 737 738

struct tree_identifier
{
739
  struct tree_common common;
Richard Stallman committed
740
  int length;
Zack Weinberg committed
741
  const char *pointer;
Richard Stallman committed
742 743 744
};

/* In a TREE_LIST node.  */
745 746
#define TREE_PURPOSE(NODE) (TREE_LIST_CHECK (NODE)->list.purpose)
#define TREE_VALUE(NODE) (TREE_LIST_CHECK (NODE)->list.value)
Richard Stallman committed
747 748 749

struct tree_list
{
750
  struct tree_common common;
Richard Stallman committed
751 752 753 754 755
  union tree_node *purpose;
  union tree_node *value;
};

/* In a TREE_VEC node.  */
756 757
#define TREE_VEC_LENGTH(NODE) (TREE_VEC_CHECK (NODE)->vec.length)
#define TREE_VEC_ELT(NODE,I) (TREE_VEC_CHECK (NODE)->vec.a[I])
758
#define TREE_VEC_END(NODE) ((void) TREE_VEC_CHECK (NODE),&((NODE)->vec.a[(NODE)->vec.length]))
Richard Stallman committed
759 760 761

struct tree_vec
{
762
  struct tree_common common;
Richard Stallman committed
763 764 765 766 767 768 769 770
  int length;
  union tree_node *a[1];
};

/* Define fields and accessors for some nodes that represent expressions.  */

/* In a SAVE_EXPR node.  */
#define SAVE_EXPR_CONTEXT(NODE) TREE_OPERAND(NODE, 1)
771
#define SAVE_EXPR_RTL(NODE) (*(struct rtx_def **) &EXPR_CHECK (NODE)->exp.operands[2])
772
#define SAVE_EXPR_NOPLACEHOLDER(NODE) TREE_UNSIGNED (NODE)
773 774 775 776 777
/* Nonzero if the SAVE_EXPRs value should be kept, even if it occurs
   both in normal code and in a handler.  (Normally, in a handler, all
   SAVE_EXPRs are unsaved, meaning that there values are
   recalculated.)  */
#define SAVE_EXPR_PERSISTENT_P(NODE) TREE_ASM_WRITTEN (NODE)
Richard Stallman committed
778 779

/* In a RTL_EXPR node.  */
780 781
#define RTL_EXPR_SEQUENCE(NODE) (*(struct rtx_def **) &EXPR_CHECK (NODE)->exp.operands[0])
#define RTL_EXPR_RTL(NODE) (*(struct rtx_def **) &EXPR_CHECK (NODE)->exp.operands[1])
Richard Stallman committed
782 783 784 785

/* In a CONSTRUCTOR node.  */
#define CONSTRUCTOR_ELTS(NODE) TREE_OPERAND (NODE, 1)

786
/* In ordinary expression nodes.  */
787 788
#define TREE_OPERAND(NODE, I) (EXPR_CHECK (NODE)->exp.operands[I])
#define TREE_COMPLEXITY(NODE) (EXPR_CHECK (NODE)->exp.complexity)
789

790 791 792 793 794 795 796 797 798 799 800
/* In a LABELED_BLOCK_EXPR node.  */
#define LABELED_BLOCK_LABEL(NODE) TREE_OPERAND (NODE, 0)
#define LABELED_BLOCK_BODY(NODE) TREE_OPERAND (NODE, 1)

/* In a EXIT_BLOCK_EXPR node.  */
#define EXIT_BLOCK_LABELED_BLOCK(NODE) TREE_OPERAND (NODE, 0)
#define EXIT_BLOCK_RETURN(NODE) TREE_OPERAND (NODE, 1)

/* In a LOOP_EXPR node.  */
#define LOOP_EXPR_BODY(NODE) TREE_OPERAND (NODE, 0)

801
/* In a EXPR_WITH_FILE_LOCATION node.  */
802
#define EXPR_WFL_NODE(NODE) TREE_OPERAND((NODE), 0)
803 804 805
#define EXPR_WFL_FILENAME(NODE) \
  (IDENTIFIER_POINTER (EXPR_WFL_FILENAME_NODE ((NODE))))
#define EXPR_WFL_FILENAME_NODE(NODE) TREE_OPERAND((NODE), 1)
806 807 808
#define EXPR_WFL_LINENO(NODE) (EXPR_CHECK (NODE)->exp.complexity >> 12)
#define EXPR_WFL_COLNO(NODE) (EXPR_CHECK (NODE)->exp.complexity & 0xfff)
#define EXPR_WFL_LINECOL(NODE) (EXPR_CHECK (NODE)->exp.complexity)
809 810
#define EXPR_WFL_SET_LINECOL(NODE, LINE, COL) \
  (EXPR_WFL_LINECOL(NODE) = ((LINE) << 12) | ((COL) & 0xfff))
811
#define EXPR_WFL_EMIT_LINE_NOTE(NODE) ((NODE)->common.public_flag)
812

813 814
struct tree_exp
{
815
  struct tree_common common;
816 817 818 819
  int complexity;
  union tree_node *operands[1];
};

Richard Stallman committed
820
/* In a BLOCK node.  */
821 822 823
#define BLOCK_VARS(NODE) (BLOCK_CHECK (NODE)->block.vars)
#define BLOCK_SUBBLOCKS(NODE) (BLOCK_CHECK (NODE)->block.subblocks)
#define BLOCK_SUPERCONTEXT(NODE) (BLOCK_CHECK (NODE)->block.supercontext)
Richard Stallman committed
824 825 826
/* Note: when changing this, make sure to find the places
   that use chainon or nreverse.  */
#define BLOCK_CHAIN(NODE) TREE_CHAIN (NODE)
827 828
#define BLOCK_ABSTRACT_ORIGIN(NODE) (BLOCK_CHECK (NODE)->block.abstract_origin)
#define BLOCK_ABSTRACT(NODE) (BLOCK_CHECK (NODE)->block.abstract_flag)
Richard Stallman committed
829 830 831

/* Nonzero means that this block is prepared to handle exceptions
   listed in the BLOCK_VARS slot.  */
832
#define BLOCK_HANDLER_BLOCK(NODE) (BLOCK_CHECK (NODE)->block.handler_block_flag)
Richard Stallman committed
833

834 835 836 837 838
/* An index number for this block.  These values are not guaranteed to
   be unique across functions -- whether or not they are depends on
   the debugging output format in use.  */
#define BLOCK_NUMBER(NODE) (BLOCK_CHECK (NODE)->block.block_num)

839
struct tree_block
Richard Stallman committed
840
{
841
  struct tree_common common;
842 843 844

  unsigned handler_block_flag : 1;
  unsigned abstract_flag : 1;
845
  unsigned block_num : 30;
846 847 848 849 850

  union tree_node *vars;
  union tree_node *subblocks;
  union tree_node *supercontext;
  union tree_node *abstract_origin;
Richard Stallman committed
851 852 853 854 855 856 857
};

/* Define fields and accessors for nodes representing data types.  */

/* See tree.def for documentation of the use of these fields.
   Look at the documentation of the various ..._TYPE tree codes.  */

858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882
#define TYPE_UID(NODE) (TYPE_CHECK (NODE)->type.uid)
#define TYPE_SIZE(NODE) (TYPE_CHECK (NODE)->type.size)
#define TYPE_SIZE_UNIT(NODE) (TYPE_CHECK (NODE)->type.size_unit)
#define TYPE_MODE(NODE) (TYPE_CHECK (NODE)->type.mode)
#define TYPE_VALUES(NODE) (TYPE_CHECK (NODE)->type.values)
#define TYPE_DOMAIN(NODE) (TYPE_CHECK (NODE)->type.values)
#define TYPE_FIELDS(NODE) (TYPE_CHECK (NODE)->type.values)
#define TYPE_METHODS(NODE) (TYPE_CHECK (NODE)->type.maxval)
#define TYPE_VFIELD(NODE) (TYPE_CHECK (NODE)->type.minval)
#define TYPE_ARG_TYPES(NODE) (TYPE_CHECK (NODE)->type.values)
#define TYPE_METHOD_BASETYPE(NODE) (TYPE_CHECK (NODE)->type.maxval)
#define TYPE_OFFSET_BASETYPE(NODE) (TYPE_CHECK (NODE)->type.maxval)
#define TYPE_POINTER_TO(NODE) (TYPE_CHECK (NODE)->type.pointer_to)
#define TYPE_REFERENCE_TO(NODE) (TYPE_CHECK (NODE)->type.reference_to)
#define TYPE_MIN_VALUE(NODE) (TYPE_CHECK (NODE)->type.minval)
#define TYPE_MAX_VALUE(NODE) (TYPE_CHECK (NODE)->type.maxval)
#define TYPE_PRECISION(NODE) (TYPE_CHECK (NODE)->type.precision)
#define TYPE_SYMTAB_ADDRESS(NODE) (TYPE_CHECK (NODE)->type.symtab.address)
#define TYPE_SYMTAB_POINTER(NODE) (TYPE_CHECK (NODE)->type.symtab.pointer)
#define TYPE_NAME(NODE) (TYPE_CHECK (NODE)->type.name)
#define TYPE_NEXT_VARIANT(NODE) (TYPE_CHECK (NODE)->type.next_variant)
#define TYPE_MAIN_VARIANT(NODE) (TYPE_CHECK (NODE)->type.main_variant)
#define TYPE_NONCOPIED_PARTS(NODE) (TYPE_CHECK (NODE)->type.noncopied_parts)
#define TYPE_CONTEXT(NODE) (TYPE_CHECK (NODE)->type.context)
#define TYPE_LANG_SPECIFIC(NODE) (TYPE_CHECK (NODE)->type.lang_specific)
Richard Stallman committed
883

884 885 886 887 888
/* For a VECTOR_TYPE node, this describes a different type which is emitted
   in the debugging output.  We use this to describe a vector as a
   structure containing an array.  */
#define TYPE_DEBUG_REPRESENTATION_TYPE(NODE) (TYPE_CHECK (NODE)->type.values)

889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908
/* Indirect types present difficulties because they may be represented
   as either POINTER_TYPE/REFERENCE_TYPE nodes (unbounded) or as
   RECORD_TYPE nodes (bounded).  Bounded and unbounded pointers might
   be logically equivalent, but physically different.  Simple
   comparison of the main variant only tells if the types are
   logically equivalent.  Use this predicate to compare for physical
   equivalency.  */

/* Types have the same main variant, and have the same boundedness.  */
#define TYPE_MAIN_VARIANTS_PHYSICALLY_EQUAL_P(TYPE1, TYPE2)	\
  (TYPE_MAIN_VARIANT (TYPE1) == TYPE_MAIN_VARIANT (TYPE2)	\
   && TREE_CODE (TYPE1) == TREE_CODE (TYPE2))

/* Return the type variant that has no qualifiers (i.e., the main variant),
   except that the boundedness qualifier is preserved.  */
#define TYPE_MAIN_PHYSICAL_VARIANT(TYPE)		\
  (BOUNDED_POINTER_TYPE_P (TYPE)			\
   ? build_qualified_type (TYPE, TYPE_QUAL_BOUNDED)	\
   : TYPE_MAIN_VARIANT (TYPE))

909 910 911 912 913
/* For aggregate types, information about this type, as a base type
   for itself.  Used in a language-dependent way for types that are
   neither a RECORD_TYPE, QUAL_UNION_TYPE, nor a UNION_TYPE.  */
#define TYPE_BINFO(NODE) (TYPE_CHECK (NODE)->type.binfo)

914 915 916 917 918 919 920 921 922 923 924 925
/* The (language-specific) typed-based alias set for this type.
   Objects whose TYPE_ALIAS_SETs are different cannot alias each
   other.  If the TYPE_ALIAS_SET is -1, no alias set has yet been
   assigned to this type.  If the TYPE_ALIAS_SET is 0, objects of this
   type can alias objects of any type.  */
#define TYPE_ALIAS_SET(NODE) (TYPE_CHECK (NODE)->type.alias_set)

/* Nonzero iff the typed-based alias set for this type has been
   calculated.  */
#define TYPE_ALIAS_SET_KNOWN_P(NODE) \
  (TYPE_CHECK (NODE)->type.alias_set != -1)

926 927
/* A TREE_LIST of IDENTIFIER nodes of the attributes that apply
   to this type.  */
928
#define TYPE_ATTRIBUTES(NODE) (TYPE_CHECK (NODE)->type.attributes)
929

930 931
/* The alignment necessary for objects of this type.
   The value is an int, measured in bits.  */
932
#define TYPE_ALIGN(NODE) (TYPE_CHECK (NODE)->type.align)
933

934 935 936 937
/* 1 if the alignment for this type was requested by "aligned" attribute,
   0 if it is the default for this type.  */
#define TYPE_USER_ALIGN(NODE) (TYPE_CHECK (NODE)->type.user_align)

938 939 940 941
/* The alignment for NODE, in bytes.  */
#define TYPE_ALIGN_UNIT(NODE) \
  (TYPE_ALIGN (NODE) / BITS_PER_UNIT)

Richard Stallman committed
942 943
#define TYPE_STUB_DECL(NODE) (TREE_CHAIN (NODE))

944 945 946
/* In a RECORD_TYPE, UNION_TYPE or QUAL_UNION_TYPE, it means the type
   has BLKmode only because it lacks the alignment requirement for
   its size.  */
947
#define TYPE_NO_FORCE_BLK(NODE) (TYPE_CHECK (NODE)->type.no_force_blk_flag)
Richard Stallman committed
948

949 950 951 952 953 954 955 956
/* In an INTEGER_TYPE, it means the type represents a size.  We use
   this both for validity checking and to permit optimizations that
   are unsafe for other types.  Note that the C `size_t' type should
   *not* have this flag set.  The `size_t' type is simply a typedef
   for an ordinary integer type that happens to be the type of an
   expression returned by `sizeof'; `size_t' has no special
   properties.  Expressions whose type have TYPE_IS_SIZETYPE set are
   always actual sizes.  */
957 958 959 960 961 962
#define TYPE_IS_SIZETYPE(NODE) \
  (INTEGER_TYPE_CHECK (NODE)->type.no_force_blk_flag)

/* In a FUNCTION_TYPE, indicates that the function returns with the stack
   pointer depressed.  */
#define TYPE_RETURNS_STACK_DEPRESSED(NODE) \
963
  (FUNCTION_TYPE_CHECK (NODE)->type.no_force_blk_flag)
964

Richard Stallman committed
965 966 967 968 969 970
/* Nonzero in a type considered volatile as a whole.  */
#define TYPE_VOLATILE(NODE) ((NODE)->common.volatile_flag)

/* Means this type is const-qualified.  */
#define TYPE_READONLY(NODE) ((NODE)->common.readonly_flag)

971 972 973 974
/* If nonzero, this type is `restrict'-qualified, in the C sense of
   the term.  */
#define TYPE_RESTRICT(NODE) (TYPE_CHECK (NODE)->type.restrict_flag)

975 976 977 978 979
/* If nonzero, this type's size and layout, (or the size and layout of
   its arguments and/or return value in the case of a FUNCTION_TYPE or
   METHOD_TYPE) was changed by the presence of pointer bounds.  */
#define TYPE_BOUNDED(NODE) (TYPE_CHECK (NODE)->common.bounded_flag)

980 981 982 983 984 985 986 987
/* There is a TYPE_QUAL value for each type qualifier.  They can be
   combined by bitwise-or to form the complete set of qualifiers for a
   type.  */

#define TYPE_UNQUALIFIED   0x0
#define TYPE_QUAL_CONST    0x1
#define TYPE_QUAL_VOLATILE 0x2
#define TYPE_QUAL_RESTRICT 0x4
988
#define TYPE_QUAL_BOUNDED  0x8
989 990

/* The set of type qualifiers for this type.  */
991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006
#define TYPE_QUALS(NODE)					\
  ((TYPE_READONLY (NODE) * TYPE_QUAL_CONST)			\
   | (TYPE_VOLATILE (NODE) * TYPE_QUAL_VOLATILE)		\
   | (TYPE_RESTRICT (NODE) * TYPE_QUAL_RESTRICT)		\
   | (BOUNDED_INDIRECT_TYPE_P (NODE) * TYPE_QUAL_BOUNDED))

/* The set of qualifiers pertinent to an expression node.  */
#define TREE_EXPR_QUALS(NODE)				\
  ((TREE_READONLY (NODE) * TYPE_QUAL_CONST)		\
   | (TREE_THIS_VOLATILE (NODE) * TYPE_QUAL_VOLATILE)	\
   | (TREE_BOUNDED (NODE) * TYPE_QUAL_BOUNDED))

/* The set of qualifiers pertinent to a FUNCTION_DECL node.  */
#define TREE_FUNC_QUALS(NODE)				\
  ((TREE_READONLY (NODE) * TYPE_QUAL_CONST)		\
   | (TREE_THIS_VOLATILE (NODE) * TYPE_QUAL_VOLATILE))
1007

1008
/* These flags are available for each language front end to use internally.  */
1009 1010 1011 1012 1013 1014 1015
#define TYPE_LANG_FLAG_0(NODE) (TYPE_CHECK (NODE)->type.lang_flag_0)
#define TYPE_LANG_FLAG_1(NODE) (TYPE_CHECK (NODE)->type.lang_flag_1)
#define TYPE_LANG_FLAG_2(NODE) (TYPE_CHECK (NODE)->type.lang_flag_2)
#define TYPE_LANG_FLAG_3(NODE) (TYPE_CHECK (NODE)->type.lang_flag_3)
#define TYPE_LANG_FLAG_4(NODE) (TYPE_CHECK (NODE)->type.lang_flag_4)
#define TYPE_LANG_FLAG_5(NODE) (TYPE_CHECK (NODE)->type.lang_flag_5)
#define TYPE_LANG_FLAG_6(NODE) (TYPE_CHECK (NODE)->type.lang_flag_6)
Richard Stallman committed
1016

1017 1018 1019
/* If set in an ARRAY_TYPE, indicates a string type (for languages
   that distinguish string from array of char).
   If set in a SET_TYPE, indicates a bitstring type. */
1020
#define TYPE_STRING_FLAG(NODE) (TYPE_CHECK (NODE)->type.string_flag)
1021

1022 1023 1024 1025
/* If non-NULL, this is a upper bound of the size (in bytes) of an
   object of the given ARRAY_TYPE.  This allows temporaries to be allocated. */
#define TYPE_ARRAY_MAX_SIZE(ARRAY_TYPE) TYPE_MAX_VALUE (ARRAY_TYPE)

1026 1027 1028 1029
/* For a VECTOR_TYPE, this is the number of sub-parts of the vector.  */
#define TYPE_VECTOR_SUBPARTS(VECTOR_TYPE) (GET_MODE_NUNITS (TYPE_CHECK (VECTOR_TYPE)->type.mode))

  /* Indicates that objects of this type must be initialized by calling a
1030
   function when they are created.  */
1031 1032
#define TYPE_NEEDS_CONSTRUCTING(NODE) \
  (TYPE_CHECK (NODE)->type.needs_constructing_flag)
1033

1034 1035
/* Indicates that objects of this type (a UNION_TYPE), should be passed
   the same way that the first union alternative would be passed.  */
1036 1037 1038 1039 1040 1041 1042
#define TYPE_TRANSPARENT_UNION(NODE)  \
  (UNION_TYPE_CHECK (NODE)->type.transparent_union_flag)

/* For an ARRAY_TYPE, indicates that it is not permitted to
   take the address of a component of the type.  */
#define TYPE_NONALIASED_COMPONENT(NODE) \
  (ARRAY_TYPE_CHECK (NODE)->type.transparent_union_flag)
1043

Jeff Law committed
1044
/* Indicated that objects of this type should be laid out in as
1045
   compact a way as possible.  */
1046
#define TYPE_PACKED(NODE) (TYPE_CHECK (NODE)->type.packed_flag)
1047

1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100
/* A bounded pointer or bounded reference type (collectively called
   indirect types) is represented as a RECORD_TYPE node containing
   three pointer fields whose type is the corresponding unbounded
   POINTER_TYPE or REFERENCE_TYPE.  A RECORD_TYPE node that represents
   a bounded indirect type differs from a normal RECORD_TYPE node in
   that its TREE_TYPE is non-NULL and has the pointed-to type just as
   a POINTER_TYPE or REFERENCE_TYPE node has.  The bounded RECORD_TYPE
   nodes are stored on the same type variant chain alongside the
   variants of the underlaying indirect types nodes.  The main variant
   of such chains is always the unbounded type.  */

/* Access the field decls of a bounded-pointer type.  */
#define TYPE_BOUNDED_VALUE(TYPE) TYPE_FIELDS (TYPE)
#define TYPE_BOUNDED_BASE(TYPE) TREE_CHAIN (TYPE_BOUNDED_VALUE (TYPE))
#define TYPE_BOUNDED_EXTENT(TYPE) TREE_CHAIN (TYPE_BOUNDED_BASE (TYPE))

/* Access the simple-pointer subtype of a bounded-pointer type.  */
#define TYPE_BOUNDED_SUBTYPE(TYPE) TREE_TYPE (TYPE_BOUNDED_VALUE (TYPE))

/* Find the unbounded counterpart to a type, or return TYPE if it is
   already unbounded.  */
#define TYPE_UNBOUNDED_VARIANT(TYPE) \
  (BOUNDED_POINTER_TYPE_P (TYPE) ? TYPE_BOUNDED_SUBTYPE (TYPE) : (TYPE))

/* This field comprises two bits, for values in the range 0..3:

   depth=0 means that type is a scalar, or an aggregate that contains
   only depth=0 types, or a function that has only depth=0 types for
   its return value and argument types.

   depth=1 means that type is a pointer to a depth=0 type, or an
   aggregate that contains only depth=0 and depth=1 types, or a
   function that has only depth=0 and depth=1 types for its return
   value and argument types.

   The meanings of depth=2 and depth=3 are obvious by induction.
   Varargs functions are depth=3.  The type `va_list' is depth=3.

   The purpose of measuring pointer depth of a type is to determine
   the eligibility of a function for an automatically-generated
   bounded-pointer thunk.  A depth=0 functions needs no thunk.  A
   depth=1 function is eligible for an automatic thunk.  Functions
   with depth 2 or more are too complex to get automatic thunks.

   Function decls also have a pointer_depth field, since we also
   consider the actual argument types for functions.  */

#define TYPE_POINTER_DEPTH(TYPE) (TYPE_CHECK (TYPE)->type.pointer_depth)

/* In a FUNCTION_TYPE node, this bit stores the value of
   default_pointer_boundedness at the time TYPE was created.  It is
   useful for choosing default boundedness of function arguments for
   non-prototype function decls and for varargs/stdarg lists.  */
1101 1102
#define TYPE_AMBIENT_BOUNDEDNESS(TYPE) \
  (FUNCTION_TYPE_CHECK (TYPE)->type.transparent_union_flag)
1103 1104 1105 1106

#define MAX_POINTER_DEPTH 2
#define VA_LIST_POINTER_DEPTH 3

Richard Stallman committed
1107 1108
struct tree_type
{
1109
  struct tree_common common;
Richard Stallman committed
1110 1111
  union tree_node *values;
  union tree_node *size;
1112
  union tree_node *size_unit;
1113
  union tree_node *attributes;
1114
  unsigned int uid;
Richard Stallman committed
1115

1116
  unsigned int precision : 9;
1117
  ENUM_BITFIELD(machine_mode) mode : 7;
1118

1119
  unsigned string_flag : 1;
Richard Stallman committed
1120
  unsigned no_force_blk_flag : 1;
1121
  unsigned needs_constructing_flag : 1;
1122
  unsigned transparent_union_flag : 1;
1123
  unsigned packed_flag : 1;
1124
  unsigned restrict_flag : 1;
1125
  unsigned pointer_depth : 2;
1126

Richard Stallman committed
1127 1128 1129 1130 1131 1132 1133
  unsigned lang_flag_0 : 1;
  unsigned lang_flag_1 : 1;
  unsigned lang_flag_2 : 1;
  unsigned lang_flag_3 : 1;
  unsigned lang_flag_4 : 1;
  unsigned lang_flag_5 : 1;
  unsigned lang_flag_6 : 1;
1134
  unsigned user_align : 1;
Richard Stallman committed
1135

1136
  unsigned int align;
Richard Stallman committed
1137 1138
  union tree_node *pointer_to;
  union tree_node *reference_to;
1139
  union {int address; char *pointer; } symtab;
Richard Stallman committed
1140 1141 1142 1143 1144 1145 1146 1147
  union tree_node *name;
  union tree_node *minval;
  union tree_node *maxval;
  union tree_node *next_variant;
  union tree_node *main_variant;
  union tree_node *binfo;
  union tree_node *noncopied_parts;
  union tree_node *context;
1148
  HOST_WIDE_INT alias_set;
Richard Stallman committed
1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178
  /* Points to a structure whose details depend on the language in use.  */
  struct lang_type *lang_specific;
};

/* Define accessor macros for information about type inheritance
   and basetypes.

   A "basetype" means a particular usage of a data type for inheritance
   in another type.  Each such basetype usage has its own "binfo"
   object to describe it.  The binfo object is a TREE_VEC node.

   Inheritance is represented by the binfo nodes allocated for a
   given type.  For example, given types C and D, such that D is
   inherited by C, 3 binfo nodes will be allocated: one for describing
   the binfo properties of C, similarly one for D, and one for
   describing the binfo properties of D as a base type for C.
   Thus, given a pointer to class C, one can get a pointer to the binfo
   of D acting as a basetype for C by looking at C's binfo's basetypes.  */

/* The actual data type node being inherited in this basetype.  */
#define BINFO_TYPE(NODE) TREE_TYPE (NODE)

/* The offset where this basetype appears in its containing type.
   BINFO_OFFSET slot holds the offset (in bytes)
   from the base of the complete object to the base of the part of the
   object that is allocated on behalf of this `type'.
   This is always 0 except when there is multiple inheritance.  */
   
#define BINFO_OFFSET(NODE) TREE_VEC_ELT ((NODE), 1)
#define TYPE_BINFO_OFFSET(NODE) BINFO_OFFSET (TYPE_BINFO (NODE))
1179
#define BINFO_OFFSET_ZEROP(NODE) (integer_zerop (BINFO_OFFSET (NODE)))
Richard Stallman committed
1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193

/* The virtual function table belonging to this basetype.  Virtual
   function tables provide a mechanism for run-time method dispatching.
   The entries of a virtual function table are language-dependent.  */

#define BINFO_VTABLE(NODE) TREE_VEC_ELT ((NODE), 2)
#define TYPE_BINFO_VTABLE(NODE) BINFO_VTABLE (TYPE_BINFO (NODE))

/* The virtual functions in the virtual function table.  This is
   a TREE_LIST that is used as an initial approximation for building
   a virtual function table for this basetype.  */
#define BINFO_VIRTUALS(NODE) TREE_VEC_ELT ((NODE), 3)
#define TYPE_BINFO_VIRTUALS(NODE) BINFO_VIRTUALS (TYPE_BINFO (NODE))

1194 1195
/* A vector of binfos for the direct basetypes inherited by this
   basetype.
Richard Stallman committed
1196

1197 1198 1199
   If this basetype describes type D as inherited in C, and if the
   basetypes of D are E and F, then this vector contains binfos for
   inheritance of E and F by C.
Richard Stallman committed
1200 1201 1202 1203 1204 1205 1206 1207

   ??? This could probably be done by just allocating the
   base types at the end of this TREE_VEC (instead of using
   another TREE_VEC).  This would simplify the calculation
   of how many basetypes a given type had.  */
#define BINFO_BASETYPES(NODE) TREE_VEC_ELT ((NODE), 4)
#define TYPE_BINFO_BASETYPES(NODE) TREE_VEC_ELT (TYPE_BINFO (NODE), 4)

1208 1209 1210 1211
/* The number of basetypes for NODE.  */
#define BINFO_N_BASETYPES(NODE) \
  (BINFO_BASETYPES (NODE) ? TREE_VEC_LENGTH (BINFO_BASETYPES (NODE)) : 0)

1212 1213 1214 1215
/* Accessor macro to get to the Nth basetype of this basetype.  */
#define BINFO_BASETYPE(NODE,N) TREE_VEC_ELT (BINFO_BASETYPES (NODE), (N))
#define TYPE_BINFO_BASETYPE(NODE,N) BINFO_TYPE (TREE_VEC_ELT (BINFO_BASETYPES (TYPE_BINFO (NODE)), (N)))

1216 1217 1218 1219 1220 1221 1222
/* For a BINFO record describing a virtual base class, i.e., one where
   TREE_VIA_VIRTUAL is set, this field assists in locating the virtual
   base.  The actual contents are language-dependent.  Under the old
   ABI, the C++ front-end uses a FIELD_DECL whose contents are a
   pointer to the virtual base; under the new ABI this field is
   instead a INTEGER_CST giving an offset into the vtable where the
   offset to the virtual base can be found.  */
1223 1224
#define BINFO_VPTR_FIELD(NODE) TREE_VEC_ELT ((NODE), 5)

1225
/* The size of a base class subobject of this type.  Not all frontends
1226
   currently allocate the space for these fields.  */
1227
#define BINFO_SIZE(NODE) TREE_VEC_ELT ((NODE), 6)
1228
#define BINFO_SIZE_UNIT(NODE) TREE_VEC_ELT ((NODE), 7)
1229
#define TYPE_BINFO_SIZE(NODE) BINFO_SIZE (TYPE_BINFO (NODE))
1230
#define TYPE_BINFO_SIZE_UNIT(NODE) BINFO_SIZE_UNIT (TYPE_BINFO (NODE))
Richard Stallman committed
1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245 1246

/* Slot used to build a chain that represents a use of inheritance.
   For example, if X is derived from Y, and Y is derived from Z,
   then this field can be used to link the binfo node for X to
   the binfo node for X's Y to represent the use of inheritance
   from X to Y.  Similarly, this slot of the binfo node for X's Y
   can point to the Z from which Y is inherited (in X's inheritance
   hierarchy).  In this fashion, one can represent and traverse specific
   uses of inheritance using the binfo nodes themselves (instead of
   consing new space pointing to binfo nodes).
   It is up to the language-dependent front-ends to maintain
   this information as necessary.  */
#define BINFO_INHERITANCE_CHAIN(NODE) TREE_VEC_ELT ((NODE), 0)

/* Define fields and accessors for nodes representing declared names.  */

1247 1248
/* Nonzero if DECL represents a decl.  */
#define DECL_P(DECL)	(TREE_CODE_CLASS (TREE_CODE (DECL)) == 'd')
Richard Stallman committed
1249 1250
/* This is the name of the object as written by the user.
   It is an IDENTIFIER_NODE.  */
1251
#define DECL_NAME(NODE) (DECL_CHECK (NODE)->decl.name)
Richard Stallman committed
1252 1253 1254 1255
/* This is the name of the object as the assembler will see it
   (but before any translations made by ASM_OUTPUT_LABELREF).
   Often this is the same as DECL_NAME.
   It is an IDENTIFIER_NODE.  */
1256
#define DECL_ASSEMBLER_NAME(NODE) (DECL_CHECK (NODE)->decl.assembler_name)
1257 1258
/* Records the section name in a section attribute.  Used to pass
   the name from decl_attributes to make_function_rtl and make_decl_rtl.  */
1259
#define DECL_SECTION_NAME(NODE) (DECL_CHECK (NODE)->decl.section_name)
Richard Stallman committed
1260
/*  For FIELD_DECLs, this is the
1261 1262
    RECORD_TYPE, UNION_TYPE, or QUAL_UNION_TYPE node that the field is
    a member of.  For VAR_DECL, PARM_DECL, FUNCTION_DECL, LABEL_DECL,
x  
Jason Merrill committed
1263 1264 1265
    and CONST_DECL nodes, this points to either the FUNCTION_DECL for the
    containing function, the RECORD_TYPE or UNION_TYPE for the containing
    type, or NULL_TREE if the given decl has "file scope".  */
1266
#define DECL_CONTEXT(NODE) (DECL_CHECK (NODE)->decl.context)
1267
#define DECL_FIELD_CONTEXT(NODE) (FIELD_DECL_CHECK (NODE)->decl.context)
1268 1269
/* In a DECL this is the field where configuration dependent machine
   attributes are store */
1270
#define DECL_MACHINE_ATTRIBUTES(NODE) (DECL_CHECK (NODE)->decl.machine_attributes)
1271 1272 1273 1274 1275 1276
/* In a FIELD_DECL, this is the field position, counting in bytes, of the
   byte containing the bit closest to the beginning of the structure.  */
#define DECL_FIELD_OFFSET(NODE) (FIELD_DECL_CHECK (NODE)->decl.arguments)
/* In a FIELD_DECL, this is the offset, in bits, of the first bit of the
   field from DECL_FIELD_OFFSET.  */
#define DECL_FIELD_BIT_OFFSET(NODE) (FIELD_DECL_CHECK (NODE)->decl.u2.t)
Richard Stallman committed
1277
/* In a FIELD_DECL, this indicates whether the field was a bit-field and
1278 1279
   if so, the type that was originally specified for it.
   TREE_TYPE may have been modified (in finish_struct).  */
1280
#define DECL_BIT_FIELD_TYPE(NODE) (FIELD_DECL_CHECK (NODE)->decl.result)
Richard Stallman committed
1281 1282 1283
/* In FUNCTION_DECL, a chain of ..._DECL nodes.  */
/* VAR_DECL and PARM_DECL reserve the arguments slot
   for language-specific uses.  */
1284
#define DECL_ARGUMENTS(NODE) (DECL_CHECK (NODE)->decl.arguments)
1285 1286 1287
/* This field is used to reference anything in decl.result and is meant only
   for use by the garbage collector.  */
#define DECL_RESULT_FLD(NODE) (DECL_CHECK (NODE)->decl.result)
Richard Stallman committed
1288
/* In FUNCTION_DECL, holds the decl for the return value.  */
1289
#define DECL_RESULT(NODE) (FUNCTION_DECL_CHECK (NODE)->decl.result)
1290
/* For a TYPE_DECL, holds the "original" type.  (TREE_TYPE has the copy.) */
1291
#define DECL_ORIGINAL_TYPE(NODE) (TYPE_DECL_CHECK (NODE)->decl.result)
Richard Stallman committed
1292
/* In PARM_DECL, holds the type as written (perhaps a function or array).  */
1293
#define DECL_ARG_TYPE_AS_WRITTEN(NODE) (PARM_DECL_CHECK (NODE)->decl.result)
Richard Stallman committed
1294 1295 1296 1297 1298
/* For a FUNCTION_DECL, holds the tree of BINDINGs.
   For a VAR_DECL, holds the initial value.
   For a PARM_DECL, not used--default
   values for parameters are encoded in the type of the function,
   not in the PARM_DECL slot.  */
1299
#define DECL_INITIAL(NODE) (DECL_CHECK (NODE)->decl.initial)
Richard Stallman committed
1300 1301
/* For a PARM_DECL, records the data type used to pass the argument,
   which may be different from the type seen in the program.  */
1302
#define DECL_ARG_TYPE(NODE) (PARM_DECL_CHECK (NODE)->decl.initial)
1303 1304
/* For a FIELD_DECL in a QUAL_UNION_TYPE, records the expression, which
   if nonzero, indicates that the field occupies the type.  */
1305
#define DECL_QUALIFIER(NODE) (FIELD_DECL_CHECK (NODE)->decl.initial)
Richard Stallman committed
1306
/* These two fields describe where in the source code the declaration was.  */
1307 1308
#define DECL_SOURCE_FILE(NODE) (DECL_CHECK (NODE)->decl.filename)
#define DECL_SOURCE_LINE(NODE) (DECL_CHECK (NODE)->decl.linenum)
1309
/* Holds the size of the datum, in bits, as a tree expression.
Richard Stallman committed
1310
   Need not be constant.  */
1311
#define DECL_SIZE(NODE) (DECL_CHECK (NODE)->decl.size)
1312 1313
/* Likewise for the size in bytes.  */
#define DECL_SIZE_UNIT(NODE) (DECL_CHECK (NODE)->decl.size_unit)
1314
/* Holds the alignment required for the datum, in bits.  */
1315
#define DECL_ALIGN(NODE) (DECL_CHECK (NODE)->decl.u1.a.align)
1316 1317
/* The alignment of NODE, in bytes.  */
#define DECL_ALIGN_UNIT(NODE) (DECL_ALIGN (NODE) / BITS_PER_UNIT)
1318 1319 1320 1321 1322 1323 1324 1325 1326
/* For FIELD_DECLs, off_align holds the number of low-order bits of
   DECL_FIELD_OFFSET which are known to be always zero.
   DECL_OFFSET_ALIGN thus returns the alignment that DECL_FIELD_OFFSET
   has.  */
#define DECL_OFFSET_ALIGN(NODE) \
  (((unsigned HOST_WIDE_INT)1) << FIELD_DECL_CHECK (NODE)->decl.u1.a.off_align)
/* Specify that DECL_ALIGN(NODE) is a multiple of X.  */
#define SET_DECL_OFFSET_ALIGN(NODE, X) \
  (FIELD_DECL_CHECK (NODE)->decl.u1.a.off_align	= exact_log2 ((X) & -(X)))
1327 1328 1329
/* 1 if the alignment for this type was requested by "aligned" attribute,
   0 if it is the default for this type.  */
#define DECL_USER_ALIGN(NODE) (DECL_CHECK (NODE)->decl.user_align)
1330 1331 1332
/* Holds the machine mode corresponding to the declaration of a variable or
   field.  Always equal to TYPE_MODE (TREE_TYPE (decl)) except for a
   FIELD_DECL.  */
1333
#define DECL_MODE(NODE) (DECL_CHECK (NODE)->decl.mode)
1334 1335 1336 1337 1338
/* Holds the RTL expression for the value of a variable or function.  If
   PROMOTED_MODE is defined, the mode of this expression may not be same
   as DECL_MODE.  In that case, DECL_MODE contains the mode corresponding
   to the variable's data type, while the mode
   of DECL_RTL is the mode actually used to contain the data.  */
1339
#define DECL_RTL(NODE) (DECL_CHECK (NODE)->decl.rtl)
1340 1341
/* Holds an INSN_LIST of all of the live ranges in which the variable
   has been moved to a possibly different register.  */
1342
#define DECL_LIVE_RANGE_RTL(NODE) (DECL_CHECK (NODE)->decl.live_range_rtl)
Richard Stallman committed
1343 1344
/* For PARM_DECL, holds an RTL for the stack slot or register
   where the data was actually passed.  */
1345
#define DECL_INCOMING_RTL(NODE) (PARM_DECL_CHECK (NODE)->decl.u2.r)
Richard Stallman committed
1346
/* For FUNCTION_DECL, if it is inline, holds the saved insn chain.  */
1347
#define DECL_SAVED_INSNS(NODE) (FUNCTION_DECL_CHECK (NODE)->decl.u2.f)
Richard Stallman committed
1348 1349
/* For FUNCTION_DECL, if it is inline,
   holds the size of the stack frame, as an integer.  */
1350
#define DECL_FRAME_SIZE(NODE) (FUNCTION_DECL_CHECK (NODE)->decl.u1.i)
Richard Stallman committed
1351 1352
/* For FUNCTION_DECL, if it is built-in,
   this identifies which built-in operation it is.  */
1353
#define DECL_FUNCTION_CODE(NODE) (FUNCTION_DECL_CHECK (NODE)->decl.u1.f)
Richard Stallman committed
1354 1355 1356 1357 1358 1359 1360 1361

/* The DECL_VINDEX is used for FUNCTION_DECLS in two different ways.
   Before the struct containing the FUNCTION_DECL is laid out,
   DECL_VINDEX may point to a FUNCTION_DECL in a base class which
   is the FUNCTION_DECL which this FUNCTION_DECL will replace as a virtual
   function.  When the class is laid out, this pointer is changed
   to an INTEGER_CST node which is suitable for use as an index
   into the virtual function table.  */
1362
#define DECL_VINDEX(NODE) (DECL_CHECK (NODE)->decl.vindex)
Richard Stallman committed
1363 1364 1365
/* For FIELD_DECLS, DECL_FCONTEXT is the *first* baseclass in
   which this FIELD_DECL is defined.  This information is needed when
   writing debugging information about vfield and vbase decls for C++.  */
1366
#define DECL_FCONTEXT(NODE) (FIELD_DECL_CHECK (NODE)->decl.vindex)
Richard Stallman committed
1367

1368
/* Every ..._DECL node gets a unique number.  */
1369
#define DECL_UID(NODE) (DECL_CHECK (NODE)->decl.uid)
1370

1371 1372
/* For any sort of a ..._DECL node, this points to the original (abstract)
   decl node which this decl is an instance of, or else it is NULL indicating
1373 1374 1375
   that this decl is not an instance of some other decl.  For example,
   in a nested declaration of an inline function, this points back to the
   definition.  */
1376
#define DECL_ABSTRACT_ORIGIN(NODE) (DECL_CHECK (NODE)->decl.abstract_origin)
1377

1378 1379 1380 1381 1382
/* Like DECL_ABSTRACT_ORIGIN, but returns NODE if there's no abstract
   origin.  This is useful when setting the DECL_ABSTRACT_ORIGIN.  */
#define DECL_ORIGIN(NODE) \
  (DECL_ABSTRACT_ORIGIN (NODE) ? DECL_ABSTRACT_ORIGIN (NODE) : NODE)

1383 1384 1385 1386
/* Nonzero for any sort of ..._DECL node means this decl node represents an
   inline instance of some original (abstract) decl from an inline function;
   suppress any warnings about shadowing some other variable.  FUNCTION_DECL
   nodes can also have their abstract origin set to themselves. */
1387 1388
#define DECL_FROM_INLINE(NODE) (DECL_ABSTRACT_ORIGIN (NODE) != (tree) 0 \
				&& DECL_ABSTRACT_ORIGIN (NODE) != (NODE))
Richard Stallman committed
1389 1390 1391

/* Nonzero if a _DECL means that the name of this decl should be ignored
   for symbolic debug purposes.  */
1392
#define DECL_IGNORED_P(NODE) (DECL_CHECK (NODE)->decl.ignored_flag)
Richard Stallman committed
1393

1394 1395 1396
/* Nonzero for a given ..._DECL node means that this node represents an
   "abstract instance" of the given declaration (e.g. in the original
   declaration of an inline function).  When generating symbolic debugging
Richard Kenner committed
1397
   information, we mustn't try to generate any address information for nodes
1398 1399
   marked as "abstract instances" because we don't actually generate
   any code or allocate any data space for such instances.  */
1400
#define DECL_ABSTRACT(NODE) (DECL_CHECK (NODE)->decl.abstract_flag)
1401

1402 1403
/* Nonzero if a _DECL means that no warnings should be generated just
   because this decl is unused.  */
1404
#define DECL_IN_SYSTEM_HEADER(NODE) (DECL_CHECK (NODE)->decl.in_system_header_flag)
1405

1406 1407 1408
/* Nonzero for a given ..._DECL node means that this node should be
   put in .common, if possible.  If a DECL_INITIAL is given, and it
   is not error_mark_node, then the decl cannot be put in .common.  */
1409
#define DECL_COMMON(NODE) (DECL_CHECK (NODE)->decl.common_flag)
1410

1411
/* Language-specific decl information.  */
1412
#define DECL_LANG_SPECIFIC(NODE) (DECL_CHECK (NODE)->decl.lang_specific)
Richard Stallman committed
1413 1414 1415 1416

/* In a VAR_DECL or FUNCTION_DECL,
   nonzero means external reference:
   do not allocate storage, and refer to a definition elsewhere.  */
1417
#define DECL_EXTERNAL(NODE) (DECL_CHECK (NODE)->decl.external_flag)
Richard Stallman committed
1418

1419 1420 1421 1422
/* In a VAR_DECL for a RECORD_TYPE, sets number for non-init_priority
   initializatons. */
#define DEFAULT_INIT_PRIORITY 65535
#define MAX_INIT_PRIORITY 65535
1423
#define MAX_RESERVED_INIT_PRIORITY 100
1424

1425 1426
/* In a TYPE_DECL
   nonzero means the detail info about this type is not dumped into stabs.
Richard Kenner committed
1427
   Instead it will generate cross reference ('x') of names. 
1428
   This uses the same flag as DECL_EXTERNAL. */
1429 1430
#define TYPE_DECL_SUPPRESS_DEBUG(NODE) \
(TYPE_DECL_CHECK (NODE)->decl.external_flag)
1431

1432
/* In VAR_DECL and PARM_DECL nodes, nonzero means declared `register'.  */
1433
#define DECL_REGISTER(NODE) (DECL_CHECK (NODE)->decl.regdecl_flag)
1434 1435
/* In LABEL_DECL nodes, nonzero means that an error message about
   jumping into such a binding contour has been printed for this label.  */
1436
#define DECL_ERROR_ISSUED(NODE) (LABEL_DECL_CHECK (NODE)->decl.regdecl_flag)
1437
/* In a FIELD_DECL, indicates this field should be bit-packed.  */
1438
#define DECL_PACKED(NODE) (FIELD_DECL_CHECK (NODE)->decl.regdecl_flag)
1439 1440
/* In a FUNCTION_DECL with a non-zero DECL_CONTEXT, indicates that a
   static chain is not needed.  */
1441 1442
#define DECL_NO_STATIC_CHAIN(NODE) \
(FUNCTION_DECL_CHECK (NODE)->decl.regdecl_flag)
Richard Stallman committed
1443 1444 1445 1446 1447 1448 1449 1450

/* Nonzero in a ..._DECL means this variable is ref'd from a nested function.
   For VAR_DECL nodes, PARM_DECL nodes, and FUNCTION_DECL nodes.

   For LABEL_DECL nodes, nonzero if nonlocal gotos to the label are permitted.

   Also set in some languages for variables, etc., outside the normal
   lexical scope, such as class instance variables.  */
1451
#define DECL_NONLOCAL(NODE) (DECL_CHECK (NODE)->decl.nonlocal_flag)
Richard Stallman committed
1452 1453 1454

/* Nonzero in a FUNCTION_DECL means this function can be substituted
   where it is called.  */
1455
#define DECL_INLINE(NODE) (FUNCTION_DECL_CHECK (NODE)->decl.inline_flag)
Richard Stallman committed
1456 1457 1458 1459

/* Nonzero in a FUNCTION_DECL means this is a built-in function
   that is not specified by ansi C and that users are supposed to be allowed
   to redefine for any purpose whatever.  */
1460 1461
#define DECL_BUILT_IN_NONANSI(NODE) \
(FUNCTION_DECL_CHECK (NODE)->common.unsigned_flag)
Richard Stallman committed
1462

1463 1464 1465
/* Nonzero in a FUNCTION_DECL means this function should be treated
   as if it were a malloc, meaning it returns a pointer that is
   not an alias.  */
1466
#define DECL_IS_MALLOC(NODE) (FUNCTION_DECL_CHECK (NODE)->decl.malloc_flag)
1467

1468 1469 1470 1471
/* Nonzero in a FUNCTION_DECL means this function should be treated
   as "pure" function (like const function, but may read global memory).  */
#define DECL_IS_PURE(NODE) (FUNCTION_DECL_CHECK (NODE)->decl.pure_flag)

Richard Stallman committed
1472 1473
/* Nonzero in a FIELD_DECL means it is a bit field, and must be accessed
   specially.  */
1474
#define DECL_BIT_FIELD(NODE) (FIELD_DECL_CHECK (NODE)->decl.bit_field_flag)
Richard Stallman committed
1475 1476
/* In a LABEL_DECL, nonzero means label was defined inside a binding
   contour that restored a stack level and which is now exited.  */
1477
#define DECL_TOO_LATE(NODE) (LABEL_DECL_CHECK (NODE)->decl.bit_field_flag)
1478

1479
/* Unused in FUNCTION_DECL.  */
1480

1481 1482
/* In a VAR_DECL that's static,
   nonzero if the space is in the text section.  */
1483
#define DECL_IN_TEXT_SECTION(NODE) (VAR_DECL_CHECK (NODE)->decl.bit_field_flag)
Richard Stallman committed
1484

1485 1486 1487
/* In a FUNCTION_DECL, nonzero means a built in function.  */
#define DECL_BUILT_IN(NODE) (DECL_BUILT_IN_CLASS (NODE) != NOT_BUILT_IN)
/* For a builtin function, identify which part of the compiler defined it.  */
1488 1489
#define DECL_BUILT_IN_CLASS(NODE) \
(FUNCTION_DECL_CHECK (NODE)->decl.built_in_class)
1490

1491
/* Used in VAR_DECLs to indicate that the variable is a vtable.
1492 1493
   Used in FIELD_DECLs for vtable pointers.
   Used in FUNCTION_DECLs to indicate that the function is virtual.  */
1494
#define DECL_VIRTUAL_P(NODE) (DECL_CHECK (NODE)->decl.virtual_flag)
Richard Stallman committed
1495

1496 1497
/* Used to indicate that the linkage status of this DECL is not yet known,
   so it should not be output now.  */
1498
#define DECL_DEFER_OUTPUT(NODE) (DECL_CHECK (NODE)->decl.defer_output)
1499

1500 1501 1502
/* Used in PARM_DECLs whose type are unions to indicate that the
   argument should be passed in the same way that the first union
   alternative would be passed.  */
1503 1504
#define DECL_TRANSPARENT_UNION(NODE) \
(PARM_DECL_CHECK (NODE)->decl.transparent_union)
1505

1506 1507
/* Used in FUNCTION_DECLs to indicate that they should be run automatically
   at the beginning or end of execution.  */
1508 1509 1510 1511 1512
#define DECL_STATIC_CONSTRUCTOR(NODE) \
(FUNCTION_DECL_CHECK (NODE)->decl.static_ctor_flag)

#define DECL_STATIC_DESTRUCTOR(NODE) \
(FUNCTION_DECL_CHECK (NODE)->decl.static_dtor_flag)
1513

Jason Merrill committed
1514
/* Used to indicate that this DECL represents a compiler-generated entity.  */
1515
#define DECL_ARTIFICIAL(NODE) (DECL_CHECK (NODE)->decl.artificial_flag)
Jason Merrill committed
1516

1517
/* Used to indicate that this DECL has weak linkage.  */
1518
#define DECL_WEAK(NODE) (DECL_CHECK (NODE)->decl.weak_flag)
1519

1520 1521
/* Used in TREE_PUBLIC decls to indicate that copies of this DECL in
   multiple translation units should be merged.  */
1522
#define DECL_ONE_ONLY(NODE) (DECL_CHECK (NODE)->decl.transparent_union)
1523

1524 1525 1526 1527 1528 1529 1530 1531 1532 1533 1534
/* Used in a DECL to indicate that, even if it TREE_PUBLIC, it need
   not be put out unless it is needed in this translation unit.
   Entities like this are shared across translation units (like weak
   entities), but are guaranteed to be generated by any translation
   unit that needs them, and therefore need not be put out anywhere
   where they are not needed.  DECL_COMDAT is just a hint to the
   back-end; it is up to front-ends which set this flag to ensure
   that there will never be any harm, other than bloat, in putting out
   something which is DECL_COMDAT.  */
#define DECL_COMDAT(NODE) (DECL_CHECK (NODE)->decl.comdat_flag)

1535 1536
/* Used in FUNCTION_DECLs to indicate that function entry and exit should
   be instrumented with calls to support routines.  */
1537 1538
#define DECL_NO_INSTRUMENT_FUNCTION_ENTRY_EXIT(NODE) \
(FUNCTION_DECL_CHECK (NODE)->decl.no_instrument_function_entry_exit)
1539

Jeff Law committed
1540 1541
/* Used in FUNCTION_DECLs to indicate that check-memory-usage should be
   disabled in this function.  */
1542 1543
#define DECL_NO_CHECK_MEMORY_USAGE(NODE) \
(FUNCTION_DECL_CHECK (NODE)->decl.no_check_memory_usage)
1544

1545 1546
/* Used in FUNCTION_DECLs to indicate that limit-stack-* should be
   disabled in this function.  */
1547 1548
#define DECL_NO_LIMIT_STACK(NODE) \
(FUNCTION_DECL_CHECK (NODE)->decl.no_limit_stack)
1549

Richard Stallman committed
1550
/* Additional flags for language-specific uses.  */
1551 1552 1553 1554 1555 1556 1557 1558
#define DECL_LANG_FLAG_0(NODE) (DECL_CHECK (NODE)->decl.lang_flag_0)
#define DECL_LANG_FLAG_1(NODE) (DECL_CHECK (NODE)->decl.lang_flag_1)
#define DECL_LANG_FLAG_2(NODE) (DECL_CHECK (NODE)->decl.lang_flag_2)
#define DECL_LANG_FLAG_3(NODE) (DECL_CHECK (NODE)->decl.lang_flag_3)
#define DECL_LANG_FLAG_4(NODE) (DECL_CHECK (NODE)->decl.lang_flag_4)
#define DECL_LANG_FLAG_5(NODE) (DECL_CHECK (NODE)->decl.lang_flag_5)
#define DECL_LANG_FLAG_6(NODE) (DECL_CHECK (NODE)->decl.lang_flag_6)
#define DECL_LANG_FLAG_7(NODE) (DECL_CHECK (NODE)->decl.lang_flag_7)
Richard Stallman committed
1559

1560 1561 1562 1563
/* Used to indicate that the pointer to this DECL cannot be treated as
   an address constant.  */
#define DECL_NON_ADDR_CONST_P(NODE) (DECL_CHECK (NODE)->decl.non_addr_const_p)

1564 1565 1566 1567 1568
/* Used in a FIELD_DECL to indicate that we cannot form the address of
   this component.  */
#define DECL_NONADDRESSABLE_P(NODE) \
  (FIELD_DECL_CHECK (NODE)->decl.non_addressable)

1569 1570 1571 1572 1573 1574 1575 1576 1577 1578
/* Used to indicate an alias set for the memory pointed to by this
   particular FIELD_DECL, PARM_DECL, or VAR_DECL, which must have
   pointer (or reference) type.  */
#define DECL_POINTER_ALIAS_SET(NODE) \
  (DECL_CHECK (NODE)->decl.pointer_alias_set)

/* Nonzero if an alias set has been assigned to this declaration.  */
#define DECL_POINTER_ALIAS_SET_KNOWN_P(NODE) \
  (DECL_POINTER_ALIAS_SET (NODE) != - 1)

1579 1580 1581 1582 1583 1584 1585 1586 1587 1588
/* The pointer_depth field comprises two bits for values in the range
   0..3.  The value is normally equal to TYPE_POINTER_DEPTH of decl's
   type node, but for functions it migth be greater.  For example,
   this can happen when the function is declared to accept a parameter
   of type void* (depth=1), but is actually called with an argument of
   type foo** (depth=2).  The function type will get the formal
   parameter's depth, but the function decl will get the actual
   argument's depth.  */
#define DECL_POINTER_DEPTH(DECL) (DECL_CHECK (DECL)->decl.pointer_depth)

Richard Stallman committed
1589 1590
struct tree_decl
{
1591
  struct tree_common common;
Zack Weinberg committed
1592
  const char *filename;
Richard Stallman committed
1593
  int linenum;
1594
  unsigned int uid;
1595
  union tree_node *size;
1596
  ENUM_BITFIELD(machine_mode) mode : 8;
Richard Stallman committed
1597 1598 1599 1600 1601 1602 1603 1604

  unsigned external_flag : 1;
  unsigned nonlocal_flag : 1;
  unsigned regdecl_flag : 1;
  unsigned inline_flag : 1;
  unsigned bit_field_flag : 1;
  unsigned virtual_flag : 1;
  unsigned ignored_flag : 1;
1605
  unsigned abstract_flag : 1;
Richard Stallman committed
1606

1607
  unsigned in_system_header_flag : 1;
1608
  unsigned common_flag : 1;
1609
  unsigned defer_output : 1;
1610
  unsigned transparent_union : 1;
1611 1612
  unsigned static_ctor_flag : 1;
  unsigned static_dtor_flag : 1;
Jason Merrill committed
1613
  unsigned artificial_flag : 1;
1614
  unsigned weak_flag : 1;
1615

1616 1617 1618 1619 1620 1621
  unsigned non_addr_const_p : 1;
  unsigned no_instrument_function_entry_exit : 1;
  unsigned no_check_memory_usage : 1;
  unsigned comdat_flag : 1;
  unsigned malloc_flag : 1;
  unsigned no_limit_stack : 1;
1622
  ENUM_BITFIELD(built_in_class) built_in_class : 2;
1623 1624

  unsigned pure_flag : 1;
1625
  unsigned pointer_depth : 2;
1626
  unsigned non_addressable : 1;
1627 1628
  unsigned user_align : 1;
  /* Three unused bits.  */
1629

Richard Stallman committed
1630 1631 1632 1633 1634 1635 1636 1637 1638
  unsigned lang_flag_0 : 1;
  unsigned lang_flag_1 : 1;
  unsigned lang_flag_2 : 1;
  unsigned lang_flag_3 : 1;
  unsigned lang_flag_4 : 1;
  unsigned lang_flag_5 : 1;
  unsigned lang_flag_6 : 1;
  unsigned lang_flag_7 : 1;

1639 1640
  /* For a FUNCTION_DECL, if inline, this is the size of frame needed.
     If built-in, this is the code for which built-in function.
1641
     For other kinds of decls, this is DECL_ALIGN and DECL_OFFSET_ALIGN.  */
1642
  union {
1643 1644
    HOST_WIDE_INT i;
    enum built_in_function f;
1645
    struct {unsigned int align : 24; unsigned int off_align : 8;} a;
1646
  } u1;
1647

1648
  union tree_node *size_unit;
Richard Stallman committed
1649 1650
  union tree_node *name;
  union tree_node *context;
1651
  union tree_node *arguments;	/* Also used for DECL_FIELD_OFFSET */
1652 1653
  union tree_node *result;	/* Also used for DECL_BIT_FIELD_TYPE */
  union tree_node *initial;	/* Also used for DECL_QUALIFIER */
1654
  union tree_node *abstract_origin;
Richard Stallman committed
1655
  union tree_node *assembler_name;
1656
  union tree_node *section_name;
1657
  union tree_node *machine_attributes;
1658
  struct rtx_def *rtl;	/* RTL representation for object.  */
1659
  struct rtx_def *live_range_rtl;
1660

1661
  /* In FUNCTION_DECL, if it is inline, holds the saved insn chain.
1662
     In FIELD_DECL, is DECL_FIELD_BIT_OFFSET.
1663 1664 1665
     In PARM_DECL, holds an RTL for the stack slot
     of register where the data was actually passed.
     Used by Chill and Java in LABEL_DECL and by C++ and Java in VAR_DECL.  */
Tom Wood committed
1666
  union {
1667
    struct function *f;
Tom Wood committed
1668
    struct rtx_def *r;
1669 1670 1671 1672
    union tree_node *t;
    int i;
  } u2;

Richard Stallman committed
1673
  union tree_node *vindex;
1674
  HOST_WIDE_INT pointer_alias_set;
Richard Stallman committed
1675 1676 1677 1678 1679 1680 1681 1682 1683 1684 1685 1686 1687 1688 1689 1690 1691 1692 1693 1694 1695
  /* Points to a structure whose details depend on the language in use.  */
  struct lang_decl *lang_specific;
};

/* Define the overall contents of a tree node.
   It may be any of the structures declared above
   for various types of node.  */

union tree_node
{
  struct tree_common common;
  struct tree_int_cst int_cst;
  struct tree_real_cst real_cst;
  struct tree_string string;
  struct tree_complex complex;
  struct tree_identifier identifier;
  struct tree_decl decl;
  struct tree_type type;
  struct tree_list list;
  struct tree_vec vec;
  struct tree_exp exp;
1696
  struct tree_block block;
Richard Stallman committed
1697
 };
1698

1699 1700 1701 1702 1703 1704 1705 1706 1707 1708 1709 1710 1711 1712 1713 1714 1715 1716 1717 1718 1719 1720 1721
/* Standard named or nameless data types of the C compiler.  */

enum tree_index
{
  TI_ERROR_MARK,
  TI_INTQI_TYPE,
  TI_INTHI_TYPE,
  TI_INTSI_TYPE,
  TI_INTDI_TYPE,
  TI_INTTI_TYPE,

  TI_UINTQI_TYPE,
  TI_UINTHI_TYPE,
  TI_UINTSI_TYPE,
  TI_UINTDI_TYPE,
  TI_UINTTI_TYPE,
    
  TI_INTEGER_ZERO,
  TI_INTEGER_ONE,
  TI_NULL_POINTER,

  TI_SIZE_ZERO,
  TI_SIZE_ONE,
1722 1723 1724 1725 1726

  TI_BITSIZE_ZERO,
  TI_BITSIZE_ONE,
  TI_BITSIZE_UNIT,

1727 1728 1729 1730 1731 1732 1733 1734 1735 1736 1737 1738 1739 1740 1741
  TI_COMPLEX_INTEGER_TYPE,
  TI_COMPLEX_FLOAT_TYPE,
  TI_COMPLEX_DOUBLE_TYPE,
  TI_COMPLEX_LONG_DOUBLE_TYPE,

  TI_FLOAT_TYPE,
  TI_DOUBLE_TYPE,
  TI_LONG_DOUBLE_TYPE,

  TI_VOID_TYPE,
  TI_PTR_TYPE,
  TI_CONST_PTR_TYPE,
  TI_PTRDIFF_TYPE,
  TI_VA_LIST_TYPE,

1742 1743 1744 1745 1746 1747
  TI_V4SF_TYPE,
  TI_V4SI_TYPE,
  TI_V8QI_TYPE,
  TI_V4HI_TYPE,
  TI_V2SI_TYPE,

1748 1749
  TI_MAIN_IDENTIFIER,

1750 1751 1752 1753 1754 1755 1756 1757 1758 1759 1760 1761 1762 1763 1764 1765 1766 1767 1768 1769 1770 1771 1772
  TI_MAX
};

extern tree global_trees[TI_MAX];

#define error_mark_node			global_trees[TI_ERROR_MARK]
 
#define intQI_type_node			global_trees[TI_INTQI_TYPE]
#define intHI_type_node			global_trees[TI_INTHI_TYPE]
#define intSI_type_node			global_trees[TI_INTSI_TYPE]
#define intDI_type_node			global_trees[TI_INTDI_TYPE]
#define intTI_type_node			global_trees[TI_INTTI_TYPE]

#define unsigned_intQI_type_node	global_trees[TI_UINTQI_TYPE]
#define unsigned_intHI_type_node	global_trees[TI_UINTHI_TYPE]
#define unsigned_intSI_type_node	global_trees[TI_UINTSI_TYPE]
#define unsigned_intDI_type_node	global_trees[TI_UINTDI_TYPE]
#define unsigned_intTI_type_node	global_trees[TI_UINTTI_TYPE]

#define integer_zero_node		global_trees[TI_INTEGER_ZERO]
#define integer_one_node		global_trees[TI_INTEGER_ONE]
#define size_zero_node			global_trees[TI_SIZE_ZERO]
#define size_one_node			global_trees[TI_SIZE_ONE]
1773 1774 1775 1776
#define bitsize_zero_node		global_trees[TI_BITSIZE_ZERO]
#define bitsize_one_node		global_trees[TI_BITSIZE_ONE]
#define bitsize_unit_node		global_trees[TI_BITSIZE_UNIT]

1777 1778 1779 1780 1781 1782 1783 1784 1785 1786 1787 1788
#define null_pointer_node		global_trees[TI_NULL_POINTER]

#define float_type_node			global_trees[TI_FLOAT_TYPE]
#define double_type_node		global_trees[TI_DOUBLE_TYPE]
#define long_double_type_node		global_trees[TI_LONG_DOUBLE_TYPE]

#define complex_integer_type_node	global_trees[TI_COMPLEX_INTEGER_TYPE]
#define complex_float_type_node		global_trees[TI_COMPLEX_FLOAT_TYPE]
#define complex_double_type_node	global_trees[TI_COMPLEX_DOUBLE_TYPE]
#define complex_long_double_type_node	global_trees[TI_COMPLEX_LONG_DOUBLE_TYPE]

#define void_type_node			global_trees[TI_VOID_TYPE]
1789
/* The C type `void *'.  */
1790
#define ptr_type_node			global_trees[TI_PTR_TYPE]
1791
/* The C type `const void *'.  */
1792 1793 1794
#define const_ptr_type_node		global_trees[TI_CONST_PTR_TYPE]
#define ptrdiff_type_node		global_trees[TI_PTRDIFF_TYPE]
#define va_list_type_node		global_trees[TI_VA_LIST_TYPE]
1795

1796 1797 1798
#define main_identifier_node		global_trees[TI_MAIN_IDENTIFIER]
#define MAIN_NAME_P(NODE) (IDENTIFIER_NODE_CHECK (NODE) == main_identifier_node)

1799 1800 1801 1802 1803 1804
#define V4SF_type_node			global_trees[TI_V4SF_TYPE]
#define V4SI_type_node			global_trees[TI_V4SI_TYPE]
#define V8QI_type_node			global_trees[TI_V8QI_TYPE]
#define V4HI_type_node			global_trees[TI_V4HI_TYPE]
#define V2SI_type_node			global_trees[TI_V2SI_TYPE]

1805 1806 1807 1808 1809 1810 1811 1812 1813 1814 1815 1816 1817 1818 1819 1820 1821 1822 1823 1824 1825 1826 1827 1828 1829 1830 1831 1832 1833 1834 1835 1836 1837 1838 1839 1840
/* An enumeration of the standard C integer types.  These must be
   ordered so that shorter types appear before longer ones.  */
enum integer_type_kind 
{
  itk_char,
  itk_signed_char,
  itk_unsigned_char,
  itk_short,
  itk_unsigned_short,
  itk_int,
  itk_unsigned_int,
  itk_long,
  itk_unsigned_long,
  itk_long_long,
  itk_unsigned_long_long,
  itk_none
};

typedef enum integer_type_kind integer_type_kind;

/* The standard C integer types.  Use integer_type_kind to index into
   this array.  */
extern tree integer_types[itk_none];

#define char_type_node			integer_types[itk_char]
#define signed_char_type_node		integer_types[itk_signed_char]
#define unsigned_char_type_node		integer_types[itk_unsigned_char]
#define short_integer_type_node		integer_types[itk_short]
#define short_unsigned_type_node	integer_types[itk_unsigned_short]
#define integer_type_node		integer_types[itk_int]
#define unsigned_type_node		integer_types[itk_unsigned_int]
#define long_integer_type_node		integer_types[itk_long]
#define long_unsigned_type_node		integer_types[itk_unsigned_long]
#define long_long_integer_type_node	integer_types[itk_long_long]
#define long_long_unsigned_type_node	integer_types[itk_unsigned_long_long]

1841

1842 1843
#define NULL_TREE (tree) NULL

1844 1845 1846 1847 1848
/* The following functions accept a wide integer argument.  Rather than
   having to cast on every function call, we use a macro instead, that is
   defined here and in rtl.h.  */

#ifndef exact_log2
1849 1850
#define exact_log2(N) exact_log2_wide ((unsigned HOST_WIDE_INT) (N))
#define floor_log2(N) floor_log2_wide ((unsigned HOST_WIDE_INT) (N))
1851
#endif
1852 1853
extern int exact_log2_wide             PARAMS ((unsigned HOST_WIDE_INT));
extern int floor_log2_wide             PARAMS ((unsigned HOST_WIDE_INT));
1854

Zack Weinberg committed
1855 1856 1857 1858
/* Approximate positive square root of a host double.  This is for
   statistical reports, not code generation.  */
extern double approx_sqrt		PARAMS ((double));

1859 1860
extern char *permalloc			PARAMS ((int));
extern char *expralloc			PARAMS ((int));
Richard Stallman committed
1861

1862 1863 1864 1865 1866
/* Compute the number of bytes occupied by 'node'.  This routine only
   looks at TREE_CODE and, if the code is TREE_VEC, TREE_VEC_LENGTH.  */

extern size_t tree_size			PARAMS ((tree));

Richard Stallman committed
1867 1868 1869 1870
/* Lowest level primitive for allocating a node.
   The TREE_CODE is the only argument.  Contents are initialized
   to zero except for a few of the common fields.  */

1871 1872 1873
extern tree make_node			PARAMS ((enum tree_code));
extern tree make_lang_type		PARAMS ((enum tree_code));
extern tree (*make_lang_type_fn)		PARAMS ((enum tree_code));
Richard Stallman committed
1874 1875 1876 1877 1878

/* Make a copy of a node, with all the same contents except
   for TREE_PERMANENT.  (The copy is permanent
   iff nodes being made now are permanent.)  */

1879
extern tree copy_node			PARAMS ((tree));
Richard Stallman committed
1880 1881 1882

/* Make a copy of a chain of TREE_LIST nodes.  */

1883
extern tree copy_list			PARAMS ((tree));
Richard Stallman committed
1884 1885 1886

/* Make a TREE_VEC.  */

1887
extern tree make_tree_vec		PARAMS ((int));
Richard Stallman committed
1888 1889 1890 1891

/* Return the (unique) IDENTIFIER_NODE node for a given name.
   The name is supplied as a char *.  */

1892
extern tree get_identifier		PARAMS ((const char *));
Richard Stallman committed
1893

1894 1895 1896 1897
/* If an identifier with the name TEXT (a null-terminated string) has
   previously been referred to, return that node; otherwise return
   NULL_TREE.  */

1898
extern tree maybe_get_identifier	PARAMS ((const char *));
1899

Richard Stallman committed
1900 1901
/* Construct various types of nodes.  */

1902
#define build_int_2(LO,HI)  \
1903
  build_int_2_wide ((unsigned HOST_WIDE_INT) (LO), (HOST_WIDE_INT) (HI))
1904

1905 1906 1907 1908
extern tree build			PARAMS ((enum tree_code, tree, ...));
extern tree build_nt			PARAMS ((enum tree_code, ...));
extern tree build_parse_node		PARAMS ((enum tree_code, ...));

1909
extern tree build_int_2_wide		PARAMS ((unsigned HOST_WIDE_INT, HOST_WIDE_INT));
1910 1911 1912 1913 1914 1915 1916 1917 1918
extern tree build_real			PARAMS ((tree, REAL_VALUE_TYPE));
extern tree build_real_from_int_cst 	PARAMS ((tree, tree));
extern tree build_complex		PARAMS ((tree, tree, tree));
extern tree build_string		PARAMS ((int, const char *));
extern tree build1			PARAMS ((enum tree_code, tree, tree));
extern tree build_tree_list		PARAMS ((tree, tree));
extern tree build_decl			PARAMS ((enum tree_code, tree, tree));
extern tree build_block			PARAMS ((tree, tree, tree, tree, tree));
extern tree build_expr_wfl              PARAMS ((tree, const char *, int, int));
Richard Stallman committed
1919 1920 1921

/* Construct various nodes representing data types.  */

1922 1923
extern tree make_signed_type		PARAMS ((int));
extern tree make_unsigned_type		PARAMS ((int));
1924
extern void initialize_sizetypes	PARAMS ((void));
1925 1926 1927 1928 1929
extern void set_sizetype		PARAMS ((tree));
extern tree signed_or_unsigned_type 	PARAMS ((int, tree));
extern void fixup_unsigned_type		PARAMS ((tree));
extern tree build_pointer_type		PARAMS ((tree));
extern tree build_reference_type 	PARAMS ((tree));
1930
extern tree build_type_no_quals 	PARAMS ((tree));
1931 1932 1933 1934 1935 1936 1937 1938 1939 1940 1941 1942
extern tree build_index_type		PARAMS ((tree));
extern tree build_index_2_type		PARAMS ((tree, tree));
extern tree build_array_type		PARAMS ((tree, tree));
extern tree build_function_type		PARAMS ((tree, tree));
extern tree build_method_type		PARAMS ((tree, tree));
extern tree build_offset_type		PARAMS ((tree, tree));
extern tree build_complex_type		PARAMS ((tree));
extern tree array_type_nelts		PARAMS ((tree));

extern tree value_member		PARAMS ((tree, tree));
extern tree purpose_member		PARAMS ((tree, tree));
extern tree binfo_member		PARAMS ((tree, tree));
1943
extern unsigned int attribute_hash_list	PARAMS ((tree));
1944 1945 1946 1947
extern int attribute_list_equal		PARAMS ((tree, tree));
extern int attribute_list_contained	PARAMS ((tree, tree));
extern int tree_int_cst_equal		PARAMS ((tree, tree));
extern int tree_int_cst_lt		PARAMS ((tree, tree));
1948
extern int tree_int_cst_compare         PARAMS ((tree, tree));
1949 1950
extern int host_integerp		PARAMS ((tree, int));
extern HOST_WIDE_INT tree_low_cst	PARAMS ((tree, int));
1951
extern int tree_int_cst_msb		PARAMS ((tree));
1952
extern int tree_int_cst_sgn		PARAMS ((tree));
Zack Weinberg committed
1953 1954
extern int tree_expr_nonnegative_p	PARAMS ((tree));
extern int rtl_expr_nonnegative_p	PARAMS ((struct rtx_def *));
1955 1956
extern int index_type_equal		PARAMS ((tree, tree));
extern tree get_inner_array_type	PARAMS ((tree));
1957

1958 1959 1960 1961
/* From expmed.c.  Since rtl.h is included after tree.h, we can't
   put the prototype here.  Rtl.h does declare the prototype if
   tree.h had been included.  */

1962
extern tree make_tree			PARAMS ((tree, struct rtx_def *));
Richard Stallman committed
1963

1964 1965 1966 1967 1968 1969
/* Return a type like TTYPE except that its TYPE_ATTRIBUTES
   is ATTRIBUTE.

   Such modified types already made are recorded so that duplicates
   are not made. */

1970 1971
extern tree build_type_attribute_variant PARAMS ((tree, tree));
extern tree build_decl_attribute_variant PARAMS ((tree, tree));
1972

1973 1974
extern tree merge_machine_decl_attributes PARAMS ((tree, tree));
extern tree merge_machine_type_attributes PARAMS ((tree, tree));
1975 1976 1977

/* Split a list of declspecs and attributes into two.  */

1978
extern void split_specs_attrs		PARAMS ((tree, tree *, tree *));
1979 1980 1981

/* Strip attributes from a list of combined specs and attrs.  */

1982
extern tree strip_attrs			PARAMS ((tree));
1983

1984 1985
/* Return 1 if an attribute and its arguments are valid for a decl or type.  */

1986
extern int valid_machine_attribute	PARAMS ((tree, tree, tree, tree));
1987 1988 1989 1990

/* Given a tree node and a string, return non-zero if the tree node is
   a valid attribute name for the string.  */

1991
extern int is_attribute_p		PARAMS ((const char *, tree));
1992 1993 1994 1995

/* Given an attribute name and a list of attributes, return the list element
   of the attribute or NULL_TREE if not found.  */

1996
extern tree lookup_attribute		PARAMS ((const char *, tree));
1997 1998 1999

/* Given two attributes lists, return a list of their union.  */

2000
extern tree merge_attributes		PARAMS ((tree, tree));
2001

2002 2003 2004 2005 2006 2007 2008
/* Given a type node TYPE and a TYPE_QUALIFIER_SET, return a type for
   the same kind of data as TYPE describes.  Variants point to the
   "main variant" (which has no qualifiers set) via TYPE_MAIN_VARIANT,
   and it points to a chain of other variants so that duplicate
   variants are never made.  Only main variants should ever appear as
   types of expressions.  */

2009
extern tree build_qualified_type        PARAMS ((tree, int));
2010 2011 2012 2013 2014

/* Like build_qualified_type, but only deals with the `const' and
   `volatile' qualifiers.  This interface is retained for backwards
   compatiblity with the various front-ends; new code should use
   build_qualified_type instead.  */
Richard Stallman committed
2015

2016 2017 2018 2019
#define build_type_variant(TYPE, CONST_P, VOLATILE_P)			\
  build_qualified_type (TYPE,						\
			((CONST_P) ? TYPE_QUAL_CONST : 0)		\
			| ((VOLATILE_P) ? TYPE_QUAL_VOLATILE : 0))
Richard Stallman committed
2020

2021 2022
/* Make a copy of a type node.  */

2023
extern tree build_type_copy		PARAMS ((tree));
2024

Richard Stallman committed
2025
/* Given a ..._TYPE node, calculate the TYPE_SIZE, TYPE_SIZE_UNIT,
2026 2027
   TYPE_ALIGN and TYPE_MODE fields.  If called more than once on one
   node, does nothing except for the first time.  */
Richard Stallman committed
2028

2029
extern void layout_type			PARAMS ((tree));
Richard Stallman committed
2030

2031 2032 2033
/* These functions allow a front-end to perform a manual layout of a
   RECORD_TYPE.  (For instance, if the placement of subsequent fields
   depends on the placement of fields so far.)  Begin by calling
2034
   start_record_layout.  Then, call place_field for each of the
2035 2036 2037
   fields.  Then, call finish_record_layout.  See layout_type for the
   default way in which these functions are used.  */

2038
typedef struct record_layout_info_s
2039 2040 2041
{
  /* The RECORD_TYPE that we are laying out.  */
  tree t;
2042 2043 2044 2045 2046 2047 2048
  /* The offset into the record so far, in bytes, not including bits in
     BITPOS.  */
  tree offset;
  /* The last known alignment of SIZE.  */
  unsigned int offset_align;
  /* The bit position within the last OFFSET_ALIGN bits, in bits.  */
  tree bitpos;
2049 2050
  /* The alignment of the record so far, in bits.  */
  unsigned int record_align;
2051 2052
  /* The alignment of the record so far, not including padding, in bits.  */
  unsigned int unpacked_align;
2053 2054 2055 2056
  /* The static variables (i.e., class variables, as opposed to
     instance variables) encountered in T.  */
  tree pending_statics;
  int packed_maybe_necessary;
2057
} *record_layout_info;
2058

2059
extern record_layout_info start_record_layout PARAMS ((tree));
2060 2061 2062 2063 2064 2065 2066 2067
extern tree bit_from_pos		PARAMS ((tree, tree));
extern tree byte_from_pos		PARAMS ((tree, tree));
extern void pos_from_byte		PARAMS ((tree *, tree *, unsigned int,
						 tree));
extern void pos_from_bit		PARAMS ((tree *, tree *, unsigned int,
						 tree));
extern void normalize_offset		PARAMS ((tree *, tree *,
						 unsigned int));
2068 2069 2070 2071
extern tree rli_size_unit_so_far	PARAMS ((record_layout_info));
extern tree rli_size_so_far		PARAMS ((record_layout_info));
extern void normalize_rli		PARAMS ((record_layout_info));
extern void place_field			PARAMS ((record_layout_info, tree));
2072
extern void compute_record_mode		PARAMS ((tree));
2073
extern void finish_record_layout	PARAMS ((record_layout_info));
2074

Richard Stallman committed
2075 2076 2077 2078 2079
/* Given a hashcode and a ..._TYPE node (for which the hashcode was made),
   return a canonicalized ..._TYPE node, so that duplicates are not made.
   How the hash code is computed is up to the caller, as long as any two
   callers that could hash identical-looking type nodes agree.  */

2080
extern tree type_hash_canon		PARAMS ((unsigned int, tree));
Richard Stallman committed
2081 2082 2083 2084 2085 2086 2087 2088 2089

/* Given a VAR_DECL, PARM_DECL, RESULT_DECL or FIELD_DECL node,
   calculates the DECL_SIZE, DECL_SIZE_UNIT, DECL_ALIGN and DECL_MODE
   fields.  Call this only once for any given decl node.

   Second argument is the boundary that this field can be assumed to
   be starting at (in bits).  Zero means it can be assumed aligned
   on any boundary that may be needed.  */

2090
extern void layout_decl			PARAMS ((tree, unsigned));
Richard Stallman committed
2091

2092 2093 2094 2095 2096 2097 2098 2099
/* Return the mode for data of a given size SIZE and mode class CLASS.
   If LIMIT is nonzero, then don't use modes bigger than MAX_FIXED_MODE_SIZE.
   The value is BLKmode if no other mode is found.  This is like
   mode_for_size, but is passed a tree.  */

extern enum machine_mode mode_for_size_tree PARAMS ((tree, enum mode_class,
						     int));

Richard Stallman committed
2100 2101
/* Return an expr equal to X but certainly not valid as an lvalue.  */

2102 2103
extern tree non_lvalue			PARAMS ((tree));
extern tree pedantic_non_lvalue		PARAMS ((tree));
Richard Stallman committed
2104

2105
extern tree convert			PARAMS ((tree, tree));
2106
extern unsigned int expr_align		PARAMS ((tree));
2107 2108
extern tree size_in_bytes		PARAMS ((tree));
extern HOST_WIDE_INT int_size_in_bytes	PARAMS ((tree));
2109 2110
extern tree bit_position		PARAMS ((tree));
extern HOST_WIDE_INT int_bit_position	PARAMS ((tree));
2111 2112
extern tree byte_position		PARAMS ((tree));
extern HOST_WIDE_INT int_byte_position	PARAMS ((tree));
2113 2114 2115 2116 2117 2118 2119 2120 2121 2122 2123 2124 2125 2126 2127 2128 2129 2130 2131 2132 2133 2134 2135

/* Define data structures, macros, and functions for handling sizes
   and the various types used to represent sizes.  */

enum size_type_kind
{
  SIZETYPE,		/* Normal representation of sizes in bytes. */
  SSIZETYPE,		/* Signed representation of sizes in bytes. */
  USIZETYPE,		/* Unsigned representation of sizes in bytes.  */
  BITSIZETYPE,		/* Normal representation of sizes in bits.  */
  SBITSIZETYPE,		/* Signed representation of sizes in bits.  */
  UBITSIZETYPE,	        /* Unsifgned representation of sizes in bits.  */
  TYPE_KIND_LAST};

extern tree sizetype_tab[(int) TYPE_KIND_LAST];

#define sizetype sizetype_tab[(int) SIZETYPE]
#define bitsizetype sizetype_tab[(int) BITSIZETYPE]
#define ssizetype sizetype_tab[(int) SSIZETYPE]
#define usizetype sizetype_tab[(int) USIZETYPE]
#define sbitsizetype sizetype_tab[(int) SBITSIZETYPE]
#define ubitsizetype sizetype_tab[(int) UBITSIZETYPE]

2136
extern tree size_binop			PARAMS ((enum tree_code, tree, tree));
2137 2138 2139 2140
extern tree size_diffop			PARAMS ((tree, tree));
extern tree size_int_wide		PARAMS ((HOST_WIDE_INT,
						 enum size_type_kind));
extern tree size_int_type_wide		PARAMS ((HOST_WIDE_INT, tree));
2141

2142 2143 2144 2145 2146
#define size_int_type(L, T) size_int_type_wide ((HOST_WIDE_INT) (L), T)
#define size_int(L) size_int_wide ((HOST_WIDE_INT) (L), SIZETYPE)
#define ssize_int(L) size_int_wide ((HOST_WIDE_INT) (L), SSIZETYPE)
#define bitsize_int(L) size_int_wide ((HOST_WIDE_INT) (L), BITSIZETYPE)
#define sbitsize_int(L) size_int_wide ((HOST_WIDE_INT) (L), SBITSIZETYPE)
2147

2148
extern tree round_up			PARAMS ((tree, int));
2149
extern tree round_down			PARAMS ((tree, int));
2150 2151
extern tree get_pending_sizes		PARAMS ((void));
extern void put_pending_sizes		PARAMS ((tree));
Richard Stallman committed
2152 2153 2154

/* Type for sizes of data-type.  */

2155 2156 2157 2158 2159
#define BITS_PER_UNIT_LOG \
  ((BITS_PER_UNIT > 1) + (BITS_PER_UNIT > 2) + (BITS_PER_UNIT > 4) \
   + (BITS_PER_UNIT > 8) + (BITS_PER_UNIT > 16) + (BITS_PER_UNIT > 32) \
   + (BITS_PER_UNIT > 64) + (BITS_PER_UNIT > 128) + (BITS_PER_UNIT > 256))

2160
/* If nonzero, an upper limit on alignment of structure fields, in bits. */
2161
extern unsigned int maximum_field_alignment;
2162

Richard Kenner committed
2163
/* If non-zero, the alignment of a bitstring or (power-)set value, in bits. */
2164
extern unsigned int set_alignment;
2165

Richard Stallman committed
2166 2167 2168 2169
/* Concatenate two lists (chains of TREE_LIST nodes) X and Y
   by making the last node in X point to Y.
   Returns X, except if X is 0 returns Y.  */

2170
extern tree chainon			PARAMS ((tree, tree));
Richard Stallman committed
2171 2172 2173

/* Make a new TREE_LIST node from specified PURPOSE, VALUE and CHAIN.  */

2174
extern tree tree_cons			PARAMS ((tree, tree, tree));
Richard Stallman committed
2175 2176 2177

/* Return the last tree node in a chain.  */

2178
extern tree tree_last			PARAMS ((tree));
Richard Stallman committed
2179 2180 2181

/* Reverse the order of elements in a chain, and return the new head.  */

2182
extern tree nreverse			PARAMS ((tree));
Richard Stallman committed
2183 2184 2185 2186

/* Returns the length of a chain of nodes
   (number of chain pointers to follow before reaching a null pointer).  */

2187
extern int list_length			PARAMS ((tree));
Richard Stallman committed
2188

2189 2190 2191 2192
/* Returns the number of FIELD_DECLs in a type.  */

extern int fields_length		PARAMS ((tree));

Richard Stallman committed
2193 2194
/* integer_zerop (tree x) is nonzero if X is an integer constant of value 0 */

2195
extern int integer_zerop		PARAMS ((tree));
Richard Stallman committed
2196 2197 2198

/* integer_onep (tree x) is nonzero if X is an integer constant of value 1 */

2199
extern int integer_onep			PARAMS ((tree));
Richard Stallman committed
2200 2201 2202 2203

/* integer_all_onesp (tree x) is nonzero if X is an integer constant
   all of whose significant bits are 1.  */

2204
extern int integer_all_onesp		PARAMS ((tree));
Richard Stallman committed
2205 2206 2207 2208

/* integer_pow2p (tree x) is nonzero is X is an integer constant with
   exactly one bit 1.  */

2209
extern int integer_pow2p		PARAMS ((tree));
Richard Stallman committed
2210 2211 2212 2213

/* staticp (tree x) is nonzero if X is a reference to data allocated
   at a fixed address in memory.  */

2214
extern int staticp			PARAMS ((tree));
Richard Stallman committed
2215 2216 2217 2218

/* Gets an error if argument X is not an lvalue.
   Also returns 1 if X is an lvalue, 0 if not.  */

2219
extern int lvalue_or_else		PARAMS ((tree, const char *));
Richard Stallman committed
2220 2221 2222 2223 2224

/* save_expr (EXP) returns an expression equivalent to EXP
   but it can be used multiple times within context CTX
   and only evaluate EXP once.  */

2225
extern tree save_expr			PARAMS ((tree));
Richard Stallman committed
2226

2227 2228 2229
/* Returns the index of the first non-tree operand for CODE, or the number
   of operands if all are trees.  */

2230
extern int first_rtl_op			PARAMS ((enum tree_code));
2231

2232
/* unsave_expr (EXP) returns an expression equivalent to EXP but it
2233
   can be used multiple times and will evaluate EXP in its entirety
2234 2235
   each time.  */

2236
extern tree unsave_expr			PARAMS ((tree));
2237

2238 2239 2240
/* Reset EXP in place so that it can be expaned again.  Does not
   recurse into subtrees.  */

2241
extern void unsave_expr_1               PARAMS ((tree));
2242 2243

/* Like unsave_expr_1, but recurses into all subtrees.  */
2244

2245
extern tree unsave_expr_now		PARAMS ((tree));
2246

2247 2248 2249 2250 2251
/* If non-null, these are language-specific helper functions for
   unsave_expr_now.  If present, LANG_UNSAVE is called before its
   argument (an UNSAVE_EXPR) is to be unsaved, and all other
   processing in unsave_expr_now is aborted.  LANG_UNSAVE_EXPR_NOW is
   called from unsave_expr_1 for language-specific tree codes.  */
2252 2253
extern void (*lang_unsave)              PARAMS ((tree *));
extern void (*lang_unsave_expr_now)     PARAMS ((tree));
Gavin Romig-Koch committed
2254

2255 2256 2257
/* Return 0 if it is safe to evaluate EXPR multiple times,
   return 1 if it is safe if EXPR is unsaved afterward, or
   return 2 if it is completely unsafe.  */
2258 2259 2260 2261 2262
extern int unsafe_for_reeval		PARAMS ((tree));

/* If non-null, these are language-specific helper functions for
   unsafe_for_reeval.  Return negative to not handle some tree.  */
extern int (*lang_unsafe_for_reeval)	PARAMS ((tree));
2263

2264 2265 2266 2267 2268 2269
/* Return 1 if EXP contains a PLACEHOLDER_EXPR; i.e., if it represents a size
   or offset that depends on a field within a record.

   Note that we only allow such expressions within simple arithmetic
   or a COND_EXPR.  */

2270
extern int contains_placeholder_p	PARAMS ((tree));
2271

2272 2273 2274
/* Return 1 if EXP contains any expressions that produce cleanups for an
   outer scope to deal with.  Used by fold.  */

2275
extern int has_cleanups			PARAMS ((tree));
2276

2277 2278 2279 2280 2281
/* Given a tree EXP, a FIELD_DECL F, and a replacement value R,
   return a tree with all occurrences of references to F in a
   PLACEHOLDER_EXPR replaced by R.   Note that we assume here that EXP
   contains only arithmetic expressions.  */

2282
extern tree substitute_in_expr		PARAMS ((tree, tree, tree));
2283

2284 2285 2286 2287 2288 2289
/* variable_size (EXP) is like save_expr (EXP) except that it
   is for the special case of something that is part of a
   variable size for a data type.  It makes special arrangements
   to compute the value at the right time when the data type
   belongs to a function parameter.  */

2290
extern tree variable_size		PARAMS ((tree));
2291

Richard Stallman committed
2292 2293 2294 2295
/* stabilize_reference (EXP) returns an reference equivalent to EXP
   but it can be used multiple times
   and only evaluate the subexpressions once.  */

2296
extern tree stabilize_reference		PARAMS ((tree));
Richard Stallman committed
2297

2298 2299 2300 2301
/* Subroutine of stabilize_reference; this is called for subtrees of
   references.  Any expression with side-effects must be put in a SAVE_EXPR
   to ensure that it is only evaluated once.  */

2302
extern tree stabilize_reference_1	PARAMS ((tree));
2303

Richard Stallman committed
2304 2305 2306 2307 2308
/* Return EXP, stripped of any conversions to wider types
   in such a way that the result of converting to type FOR_TYPE
   is the same as if EXP were converted to FOR_TYPE.
   If FOR_TYPE is 0, it signifies EXP's type.  */

2309
extern tree get_unwidened		PARAMS ((tree, tree));
Richard Stallman committed
2310 2311 2312 2313 2314 2315

/* Return OP or a simpler expression for a narrower value
   which can be sign-extended or zero-extended to give back OP.
   Store in *UNSIGNEDP_PTR either 1 if the value should be zero-extended
   or 0 if the value should be sign-extended.  */

2316
extern tree get_narrower		PARAMS ((tree, int *));
Richard Stallman committed
2317 2318 2319 2320 2321 2322

/* Given MODE and UNSIGNEDP, return a suitable type-tree
   with that mode.
   The definition of this resides in language-specific code
   as the repertoire of available types may vary.  */

2323
extern tree type_for_mode		PARAMS ((enum machine_mode, int));
Richard Stallman committed
2324 2325 2326 2327 2328 2329

/* Given PRECISION and UNSIGNEDP, return a suitable type-tree
   for an integer type with at least that precision.
   The definition of this resides in language-specific code
   as the repertoire of available types may vary.  */

2330
extern tree type_for_size		PARAMS ((unsigned, int));
Richard Stallman committed
2331 2332 2333 2334 2335 2336

/* Given an integer type T, return a type like T but unsigned.
   If T is unsigned, the value is T.
   The definition of this resides in language-specific code
   as the repertoire of available types may vary.  */

2337
extern tree unsigned_type		PARAMS ((tree));
Richard Stallman committed
2338 2339 2340 2341 2342 2343

/* Given an integer type T, return a type like T but signed.
   If T is signed, the value is T.
   The definition of this resides in language-specific code
   as the repertoire of available types may vary.  */

2344
extern tree signed_type			PARAMS ((tree));
Richard Stallman committed
2345 2346 2347 2348 2349

/* This function must be defined in the language-specific files.
   expand_expr calls it to build the cleanup-expression for a TARGET_EXPR.
   This is defined in a language-specific file.  */

2350
extern tree maybe_build_cleanup		PARAMS ((tree));
Richard Stallman committed
2351 2352 2353 2354 2355

/* Given an expression EXP that may be a COMPONENT_REF or an ARRAY_REF,
   look for nested component-refs or array-refs at constant positions
   and find the ultimate containing object, which is returned.  */

2356 2357 2358 2359
extern tree get_inner_reference		PARAMS ((tree, HOST_WIDE_INT *,
						 HOST_WIDE_INT *, tree *,
						 enum machine_mode *, int *,
						 int *, unsigned int *));
Richard Stallman committed
2360

2361 2362 2363
/* Given a DECL or TYPE, return the scope in which it was declared, or
   NUL_TREE if there is no containing scope.  */

2364
extern tree get_containing_scope        PARAMS ((tree));
2365

Richard Stallman committed
2366 2367
/* Return the FUNCTION_DECL which provides this _DECL with its context,
   or zero if none.  */
2368
extern tree decl_function_context 	PARAMS ((tree));
Richard Stallman committed
2369

2370 2371
/* Return the RECORD_TYPE, UNION_TYPE, or QUAL_UNION_TYPE which provides
   this _DECL with its context, or zero if none.  */
2372
extern tree decl_type_context		PARAMS ((tree));
Richard Stallman committed
2373 2374 2375 2376 2377 2378

/* Given the FUNCTION_DECL for the current function,
   return zero if it is ok for this function to be inline.
   Otherwise return a warning message with a single %s
   for the function's name.  */

2379
extern const char *function_cannot_inline_p 	PARAMS ((tree));
Jim Wilson committed
2380 2381

/* Return 1 if EXPR is the real constant zero.  */
2382
extern int real_zerop PARAMS ((tree));
Richard Stallman committed
2383 2384 2385 2386 2387

/* Declare commonly used variables for tree structure.  */

/* Points to the name of the input file from which the current input
   being parsed originally came (before it went into cpp).  */
Zack Weinberg committed
2388
extern const char *input_filename;
Richard Stallman committed
2389 2390 2391 2392 2393 2394 2395 2396

/* Current line number in input file.  */
extern int lineno;

/* Nonzero for -pedantic switch: warn about anything
   that standard C forbids.  */
extern int pedantic;

2397 2398 2399 2400 2401
/* Nonzero means lvalues are limited to those valid in pedantic ANSI C.
   Zero means allow extended lvalues.  */

extern int pedantic_lvalues;

Richard Stallman committed
2402 2403 2404 2405 2406 2407 2408 2409 2410
/* Nonzero means can safely call expand_expr now;
   otherwise layout_type puts variable sizes onto `pending_sizes' instead.  */

extern int immediate_size_expand;

/* Points to the FUNCTION_DECL of the function whose body we are reading. */

extern tree current_function_decl;

2411 2412 2413
/* Nonzero means a FUNC_BEGIN label was emitted.  */
extern tree current_function_func_begin_label;

Richard Stallman committed
2414 2415 2416 2417
/* Nonzero means all ..._TYPE nodes should be allocated permanently.  */

extern int all_types_permanent;

x  
Jason Merrill committed
2418 2419 2420 2421 2422 2423 2424 2425
/* Pointer to function to compute the name to use to print a declaration.
   DECL is the declaration in question.
   VERBOSITY determines what information will be printed:
     0: DECL_NAME, demangled as necessary.
     1: and scope information.
     2: and any other information that might be interesting, such as function
        parameter types in C++.  */

2426
extern const char *(*decl_printable_name)	PARAMS ((tree, int));
2427 2428 2429 2430

/* Pointer to function to finish handling an incomplete decl at the
   end of compilation.  */

2431
extern void (*incomplete_decl_finalize_hook)	PARAMS ((tree));
2432

Zack Weinberg committed
2433
extern const char *init_parse			PARAMS ((const char *));
2434
extern void finish_parse			PARAMS ((void));
2435

2436 2437 2438 2439
extern const char * const language_string;

/* Declare a predefined function.  Return the declaration.  This function is
   provided by each language frontend.  */
2440
extern tree builtin_function			PARAMS ((const char *, tree, int,
2441 2442
						       enum built_in_class,
						       const char *));
Richard Stallman committed
2443

Brendan Kehoe committed
2444
/* In tree.c */
2445
extern char *perm_calloc			PARAMS ((int, long));
Jason Merrill committed
2446
extern void clean_symbol_name			PARAMS ((char *));
2447 2448 2449
extern tree get_file_function_name_long 	PARAMS ((const char *));
extern tree get_set_constructor_bits		PARAMS ((tree, char *, int));
extern tree get_set_constructor_bytes		PARAMS ((tree,
Mike Stump committed
2450
						       unsigned char *, int));
2451
extern tree get_callee_fndecl                   PARAMS ((tree));
Brendan Kehoe committed
2452

Richard Stallman committed
2453 2454
/* In stmt.c */

2455 2456 2457 2458 2459 2460 2461 2462 2463 2464 2465 2466 2467 2468 2469 2470 2471
extern int in_control_zone_p			PARAMS ((void));
extern void expand_fixups			PARAMS ((struct rtx_def *));
extern tree expand_start_stmt_expr		PARAMS ((void));
extern tree expand_end_stmt_expr		PARAMS ((tree));
extern void expand_expr_stmt			PARAMS ((tree));
extern int warn_if_unused_value			PARAMS ((tree));
extern void expand_decl_init			PARAMS ((tree));
extern void clear_last_expr			PARAMS ((void));
extern void expand_label			PARAMS ((tree));
extern void expand_goto				PARAMS ((tree));
extern void expand_asm				PARAMS ((tree));
extern void expand_start_cond			PARAMS ((tree, int));
extern void expand_end_cond			PARAMS ((void));
extern void expand_start_else			PARAMS ((void));
extern void expand_start_elseif			PARAMS ((tree));
extern struct nesting *expand_start_loop 	PARAMS ((int));
extern struct nesting *expand_start_loop_continue_elsewhere 	PARAMS ((int));
2472
extern struct nesting *expand_start_null_loop 	PARAMS ((void));
2473 2474
extern void expand_loop_continue_here		PARAMS ((void));
extern void expand_end_loop			PARAMS ((void));
2475
extern void expand_end_null_loop		PARAMS ((void));
2476 2477 2478
extern int expand_continue_loop			PARAMS ((struct nesting *));
extern int expand_exit_loop			PARAMS ((struct nesting *));
extern int expand_exit_loop_if_false		PARAMS ((struct nesting *,
2479
						       tree));
2480
extern int expand_exit_something		PARAMS ((void));
2481

2482 2483 2484 2485
extern void expand_null_return			PARAMS ((void));
extern void expand_return			PARAMS ((tree));
extern int optimize_tail_recursion		PARAMS ((tree, struct rtx_def *));
extern void expand_start_bindings_and_block     PARAMS ((int, tree));
2486 2487
#define expand_start_bindings(flags) \
  expand_start_bindings_and_block(flags, NULL_TREE)
2488 2489 2490 2491
extern void expand_end_bindings			PARAMS ((tree, int, int));
extern void warn_about_unused_variables         PARAMS ((tree));
extern void start_cleanup_deferral		PARAMS ((void));
extern void end_cleanup_deferral		PARAMS ((void));
2492 2493
extern int is_body_block			PARAMS ((tree));

2494 2495 2496 2497 2498 2499 2500 2501
extern void mark_block_as_eh_region		PARAMS ((void));
extern void mark_block_as_not_eh_region		PARAMS ((void));
extern int is_eh_region				PARAMS ((void));
extern int conditional_context			PARAMS ((void));
extern tree last_cleanup_this_contour		PARAMS ((void));
extern int expand_dhc_cleanup			PARAMS ((tree));
extern int expand_dcc_cleanup			PARAMS ((tree));
extern void expand_start_case			PARAMS ((int, tree, tree,
2502
						       const char *));
2503
extern void expand_end_case			PARAMS ((tree));
2504 2505
extern int add_case_node                        PARAMS ((tree, tree,
							 tree, tree *));
2506
extern int pushcase				PARAMS ((tree,
2507 2508
						       tree (*) (tree, tree),
						       tree, tree *));
2509
extern int pushcase_range			PARAMS ((tree, tree,
2510 2511
						       tree (*) (tree, tree),
						       tree, tree *));
2512 2513
extern void using_eh_for_cleanups		PARAMS ((void));
extern int stmt_loop_nest_empty			PARAMS ((void));
Richard Stallman committed
2514 2515 2516

/* In fold-const.c */

2517 2518 2519 2520 2521 2522
/* Fold constants as much as possible in an expression.
   Returns the simplified expression.
   Acts only on the top level of the expression;
   if the argument itself cannot be simplified, its
   subexpressions are not changed.  */

2523
extern tree fold		PARAMS ((tree));
2524

2525
extern int force_fit_type	PARAMS ((tree, int));
2526 2527 2528 2529 2530 2531 2532 2533 2534 2535 2536 2537 2538 2539 2540 2541 2542 2543 2544 2545 2546 2547 2548 2549 2550 2551 2552 2553
extern int add_double		PARAMS ((unsigned HOST_WIDE_INT, HOST_WIDE_INT,
					 unsigned HOST_WIDE_INT, HOST_WIDE_INT,
					 unsigned HOST_WIDE_INT *,
					 HOST_WIDE_INT *));
extern int neg_double		PARAMS ((unsigned HOST_WIDE_INT, HOST_WIDE_INT,
					 unsigned HOST_WIDE_INT *,
					 HOST_WIDE_INT *));
extern int mul_double		PARAMS ((unsigned HOST_WIDE_INT,
					 HOST_WIDE_INT,
					 unsigned HOST_WIDE_INT, HOST_WIDE_INT,
					 unsigned HOST_WIDE_INT *,
					 HOST_WIDE_INT *));
extern void lshift_double	PARAMS ((unsigned HOST_WIDE_INT, HOST_WIDE_INT,
					 HOST_WIDE_INT, unsigned int,
					 unsigned HOST_WIDE_INT *,
					 HOST_WIDE_INT *, int));
extern void rshift_double	PARAMS ((unsigned HOST_WIDE_INT, HOST_WIDE_INT,
					 HOST_WIDE_INT, unsigned int,
					 unsigned HOST_WIDE_INT *,
					 HOST_WIDE_INT *, int));
extern void lrotate_double	PARAMS ((unsigned HOST_WIDE_INT, HOST_WIDE_INT,
					 HOST_WIDE_INT, unsigned int,
					 unsigned HOST_WIDE_INT *,
					 HOST_WIDE_INT *));
extern void rrotate_double	PARAMS ((unsigned HOST_WIDE_INT, HOST_WIDE_INT,
					 HOST_WIDE_INT, unsigned int,
					 unsigned HOST_WIDE_INT *,
					 HOST_WIDE_INT *));
2554 2555
extern int operand_equal_p	PARAMS ((tree, tree, int));
extern tree invert_truthvalue	PARAMS ((tree));
2556 2557 2558 2559 2560

/* In builtins.c.  Given a type, apply default promotions wrt unnamed
   function arguments and return the new type.  Return NULL_TREE if no
   change.  Required by any language that supports variadic arguments.  */

2561
extern tree (*lang_type_promotes_to)	PARAMS ((tree));
2562
extern tree fold_builtin		PARAMS ((tree));
Richard Stallman committed
2563 2564 2565

/* The language front-end must define these functions.  */

2566
/* Function of no arguments for initializing options.  */
2567
extern void lang_init_options			PARAMS ((void));
2568

Richard Stallman committed
2569
/* Function of no arguments for initializing lexical scanning.  */
2570
extern void init_lex				PARAMS ((void));
Richard Stallman committed
2571
/* Function of no arguments for initializing the symbol table.  */
2572
extern void init_decl_processing		PARAMS ((void));
Richard Stallman committed
2573 2574 2575

/* Functions called with no arguments at the beginning and end or processing
   the input source file.  */
2576 2577
extern void lang_init				PARAMS ((void));
extern void lang_finish				PARAMS ((void));
Richard Stallman committed
2578

Richard Kenner committed
2579
/* Function to identify which front-end produced the output file. */
2580
extern const char *lang_identify			PARAMS ((void));
2581 2582 2583

/* Called by report_error_function to print out function name.
 * Default may be overridden by language front-ends.  */
2584
extern void (*print_error_function) PARAMS ((const char *));
2585

Jason Merrill committed
2586
/* Function to replace the DECL_LANG_SPECIFIC field of a DECL with a copy.  */
2587
extern void copy_lang_decl			PARAMS ((tree));
Jason Merrill committed
2588

Richard Stallman committed
2589
/* Function called with no arguments to parse and compile the input.  */
2590
extern int yyparse				PARAMS ((void));
Richard Stallman committed
2591 2592 2593
/* Function called with option as argument
   to decode options starting with -f or -W or +.
   It should return nonzero if it handles the option.  */
2594
extern int lang_decode_option			PARAMS ((int, char **));
Richard Stallman committed
2595 2596 2597 2598

/* Functions for processing symbol declarations.  */
/* Function to enter a new lexical scope.
   Takes one argument: always zero when called from outside the front end.  */
2599
extern void pushlevel				PARAMS ((int));
Richard Stallman committed
2600 2601 2602 2603 2604
/* Function to exit a lexical scope.  It returns a BINDING for that scope.
   Takes three arguments:
     KEEP -- nonzero if there were declarations in this scope.
     REVERSE -- reverse the order of decls before returning them.
     FUNCTIONBODY -- nonzero if this level is the body of a function.  */
2605
extern tree poplevel				PARAMS ((int, int, int));
2606
/* Set the BLOCK node for the current scope level.  */
2607
extern void set_block				PARAMS ((tree));
Richard Stallman committed
2608 2609 2610 2611
/* Function to add a decl to the current scope level.
   Takes one argument, a decl to add.
   Returns that decl, or, if the same symbol is already declared, may
   return a different decl for that name.  */
2612
extern tree pushdecl				PARAMS ((tree));
Richard Stallman committed
2613
/* Function to return the chain of decls so far in the current scope level.  */
2614
extern tree getdecls				PARAMS ((void));
Richard Stallman committed
2615
/* Function to return the chain of structure tags in the current scope level.  */
2616
extern tree gettags				PARAMS ((void));
Jim Wilson committed
2617

2618
extern tree build_range_type PARAMS ((tree, tree, tree));
Jim Wilson committed
2619 2620

/* Called after finishing a record, union or enumeral type.  */
2621
extern void rest_of_type_compilation PARAMS ((tree, int));
Jim Wilson committed
2622

2623
/* In alias.c */
2624 2625
extern void record_component_aliases		PARAMS ((tree));
extern HOST_WIDE_INT get_alias_set		PARAMS ((tree));
2626 2627 2628 2629
extern int alias_sets_conflict_p		PARAMS ((HOST_WIDE_INT,
							 HOST_WIDE_INT));
extern int readonly_fields_p			PARAMS ((tree));
extern int objects_must_conflict_p		PARAMS ((tree, tree));
2630 2631 2632

/* In c-common.c */
extern HOST_WIDE_INT lang_get_alias_set		PARAMS ((tree));
2633

2634 2635
struct obstack;

2636
/* In tree.c */
2637 2638 2639 2640
extern int really_constant_p		PARAMS ((tree));
extern void set_identifier_size		PARAMS ((int));
extern int int_fits_type_p		PARAMS ((tree, tree));
extern int tree_log2			PARAMS ((tree));
2641
extern int tree_floor_log2		PARAMS ((tree));
2642 2643 2644 2645
extern void preserve_data		PARAMS ((void));
extern int object_permanent_p		PARAMS ((tree));
extern int type_precision		PARAMS ((tree));
extern int simple_cst_equal		PARAMS ((tree, tree));
2646
extern int compare_tree_int		PARAMS ((tree, unsigned int));
2647 2648 2649 2650 2651
extern int type_list_equal		PARAMS ((tree, tree));
extern int chain_member			PARAMS ((tree, tree));
extern int chain_member_purpose		PARAMS ((tree, tree));
extern int chain_member_value		PARAMS ((tree, tree));
extern tree listify			PARAMS ((tree));
2652 2653 2654
extern tree type_hash_lookup		PARAMS ((unsigned int, tree));
extern void type_hash_add		PARAMS ((unsigned int, tree));
extern unsigned int type_hash_list	PARAMS ((tree));
2655 2656 2657
extern int simple_cst_list_equal	PARAMS ((tree, tree));
extern void dump_tree_statistics	PARAMS ((void));
extern void print_obstack_statistics	PARAMS ((const char *,
2658
						struct obstack *));
2659
#ifdef BUFSIZ
2660 2661
extern void print_obstack_name		PARAMS ((char *, FILE *,
						 const char *));
2662
#endif
Zack Weinberg committed
2663
extern void expand_function_end		PARAMS ((const char *, int, int));
2664
extern void expand_function_start	PARAMS ((tree, int));
2665

2666 2667 2668 2669 2670 2671 2672
extern int real_onep			PARAMS ((tree));
extern int real_twop			PARAMS ((tree));
extern void start_identifier_warnings	PARAMS ((void));
extern void gcc_obstack_init		PARAMS ((struct obstack *));
extern void init_obstacks		PARAMS ((void));
extern void build_common_tree_nodes	PARAMS ((int));
extern void build_common_tree_nodes_2	PARAMS ((int));
2673
extern void mark_tree_hashtable         PARAMS ((void *));
2674 2675

/* In function.c */
2676 2677 2678 2679 2680 2681 2682
extern void setjmp_protect_args		PARAMS ((void));
extern void setjmp_protect		PARAMS ((tree));
extern void expand_main_function	PARAMS ((void));
extern void mark_varargs		PARAMS ((void));
extern void init_dummy_function_start	PARAMS ((void));
extern void expand_dummy_function_end	PARAMS ((void));
extern void init_function_for_compilation	PARAMS ((void));
2683
extern void init_function_start		PARAMS ((tree, const char *, int));
2684 2685
extern void assign_parms		PARAMS ((tree));
extern void put_var_into_stack		PARAMS ((tree));
2686
extern void flush_addressof		PARAMS ((tree));
2687 2688 2689 2690 2691 2692 2693 2694 2695
extern void uninitialized_vars_warning	PARAMS ((tree));
extern void setjmp_args_warning		PARAMS ((void));
extern void mark_all_temps_used		PARAMS ((void));
extern void init_temp_slots		PARAMS ((void));
extern void combine_temp_slots		PARAMS ((void));
extern void free_temp_slots		PARAMS ((void));
extern void pop_temp_slots		PARAMS ((void));
extern void push_temp_slots		PARAMS ((void));
extern void preserve_temp_slots		PARAMS ((struct rtx_def *));
2696
extern void preserve_rtl_expr_temps	PARAMS ((tree));
2697
extern int aggregate_value_p		PARAMS ((tree));
Mark Mitchell committed
2698
extern void free_temps_for_rtl_expr	PARAMS ((tree));
2699
extern void instantiate_virtual_regs	PARAMS ((tree, struct rtx_def *));
2700
extern void unshare_all_rtl		PARAMS ((tree, struct rtx_def *));
2701 2702 2703 2704 2705
extern int max_parm_reg_num		PARAMS ((void));
extern void push_function_context	PARAMS ((void));
extern void pop_function_context	PARAMS ((void));
extern void push_function_context_to	PARAMS ((tree));
extern void pop_function_context_from	PARAMS ((tree));
2706 2707 2708

/* In print-rtl.c */
#ifdef BUFSIZ
2709
extern void print_rtl			PARAMS ((FILE *, struct rtx_def *));
2710 2711 2712
#endif

/* In print-tree.c */
2713
extern void debug_tree			PARAMS ((tree));
2714
#ifdef BUFSIZ
2715 2716 2717 2718
extern void print_node			PARAMS ((FILE *, const char *, tree,
						 int));
extern void print_node_brief		PARAMS ((FILE *, const char *, tree,
						 int));
2719
extern void indent_to			PARAMS ((FILE *, int));
2720 2721 2722
#endif

/* In expr.c */
2723 2724
extern void emit_queue				PARAMS ((void));
extern int apply_args_register_offset		PARAMS ((int));
2725
extern struct rtx_def *expand_builtin_return_addr
2726 2727
	PARAMS ((enum built_in_function, int, struct rtx_def *));
extern void do_pending_stack_adjust		PARAMS ((void));
2728 2729 2730 2731
extern struct rtx_def *expand_assignment	PARAMS ((tree, tree, int,
							 int));
extern struct rtx_def *store_expr		PARAMS ((tree,
							 struct rtx_def *,
2732
							int));
2733
extern void check_max_integer_computation_mode	PARAMS ((tree));
2734 2735

/* In emit-rtl.c */
Mark Mitchell committed
2736
extern void start_sequence_for_rtl_expr		PARAMS ((tree));
2737 2738 2739 2740
extern struct rtx_def *emit_line_note_after	PARAMS ((const char *, int,
							 struct rtx_def *));
extern struct rtx_def *emit_line_note		PARAMS ((const char *, int));
extern struct rtx_def *emit_line_note_force	PARAMS ((const char *, int));
2741

2742
/* In calls.c */
2743 2744

extern int setjmp_call_p		PARAMS ((tree));
2745

2746 2747
/* In front end.  */

2748 2749 2750 2751 2752
extern int mark_addressable		PARAMS ((tree));
extern void incomplete_type_error	PARAMS ((tree, tree));
extern void print_lang_statistics	PARAMS ((void));
extern tree truthvalue_conversion	PARAMS ((tree));
extern void split_specs_attrs		PARAMS ((tree, tree *, tree *));
2753
#ifdef BUFSIZ
2754 2755 2756
extern void print_lang_decl		PARAMS ((FILE *, tree, int));
extern void print_lang_type		PARAMS ((FILE *, tree, int));
extern void print_lang_identifier	PARAMS ((FILE *, tree, int));
2757
#endif
2758 2759
extern int global_bindings_p		PARAMS ((void));
extern void insert_block		PARAMS ((tree));
2760 2761

/* In integrate.c */
2762
extern void save_for_inline		PARAMS ((tree));
2763 2764
extern void set_decl_abstract_flags	PARAMS ((tree, int));
extern void output_inline_function	PARAMS ((tree));
2765
extern void set_decl_origin_self	PARAMS ((tree));
2766

2767
/* In front end.  */
2768
extern void set_yydebug			PARAMS ((int));
2769 2770

/* In stor-layout.c */
2771
extern void fixup_signed_type		PARAMS ((tree));
2772 2773

/* varasm.c */
2774 2775 2776 2777
extern void make_decl_rtl		PARAMS ((tree, const char *, int));
extern void make_decl_one_only		PARAMS ((tree));
extern int supports_one_only		PARAMS ((void));
extern void variable_section		PARAMS ((tree, int));
2778 2779

/* In fold-const.c */
2780
extern int div_and_round_double		PARAMS ((enum tree_code, int,
2781 2782 2783 2784 2785 2786 2787 2788
						 unsigned HOST_WIDE_INT,
						 HOST_WIDE_INT,
						 unsigned HOST_WIDE_INT,
						 HOST_WIDE_INT,
						 unsigned HOST_WIDE_INT *,
						 HOST_WIDE_INT *,
						 unsigned HOST_WIDE_INT *,
						 HOST_WIDE_INT *));
2789 2790

/* In stmt.c */
2791 2792 2793 2794
extern void emit_nop			PARAMS ((void));
extern void expand_computed_goto	PARAMS ((tree));
extern struct rtx_def *label_rtx	PARAMS ((tree));
extern void expand_asm_operands		PARAMS ((tree, tree, tree, tree, int,
Zack Weinberg committed
2795
						 const char *, int));
2796 2797 2798 2799 2800 2801 2802
extern int any_pending_cleanups		PARAMS ((int));
extern void init_stmt			PARAMS ((void));
extern void init_stmt_for_function	PARAMS ((void));
extern int drop_through_at_end_p	PARAMS ((void));
extern void expand_start_target_temps	PARAMS ((void));
extern void expand_end_target_temps	PARAMS ((void));
extern void expand_elseif		PARAMS ((tree));
2803
extern void save_stack_pointer		PARAMS ((void));
2804 2805 2806 2807 2808 2809 2810 2811 2812 2813
extern void expand_decl			PARAMS ((tree));
extern int expand_decl_cleanup		PARAMS ((tree, tree));
extern void expand_anon_union_decl	PARAMS ((tree, tree, tree));
extern void move_cleanups_up		PARAMS ((void));
extern void expand_start_case_dummy	PARAMS ((void));
extern void expand_end_case_dummy	PARAMS ((void));
extern tree case_index_expr_type	PARAMS ((void));
extern HOST_WIDE_INT all_cases_count	PARAMS ((tree, int *));
extern void check_for_full_enumeration_handling PARAMS ((tree));
extern void declare_nonlocal_label	PARAMS ((tree));
2814
#ifdef BUFSIZ
2815
extern void lang_print_xnode 		PARAMS ((FILE *, tree, int));
2816 2817
#endif

2818

2819 2820
/* If KIND=='I', return a suitable global initializer (constructor) name.
   If KIND=='D', return a suitable global clean-up (destructor) name.  */
2821
extern tree get_file_function_name PARAMS ((int));
2822 2823 2824 2825 2826 2827

/* Interface of the DWARF2 unwind info support.  */

/* Decide whether we want to emit frame unwind information for the current
   translation unit.  */

2828
extern int dwarf2out_do_frame		PARAMS ((void));
2829 2830 2831

/* Generate a new label for the CFI info to refer to.  */

2832
extern char *dwarf2out_cfi_label	PARAMS ((void));
2833 2834 2835

/* Entry point to update the canonical frame address (CFA).  */

2836
extern void dwarf2out_def_cfa		PARAMS ((const char *, unsigned, long));
2837 2838 2839

/* Add the CFI for saving a register window.  */

2840
extern void dwarf2out_window_save	PARAMS ((const char *));
2841 2842 2843 2844

/* Add a CFI to update the running total of the size of arguments pushed
   onto the stack.  */

2845
extern void dwarf2out_args_size		PARAMS ((const char *, long));
2846 2847 2848

/* Entry point for saving a register to the stack.  */

2849
extern void dwarf2out_reg_save		PARAMS ((const char *, unsigned, long));
2850 2851 2852

/* Entry point for saving the return address in the stack.  */

2853
extern void dwarf2out_return_save	PARAMS ((const char *, long));
2854 2855 2856

/* Entry point for saving the return address in a register.  */

2857
extern void dwarf2out_return_reg	PARAMS ((const char *, unsigned));
2858 2859 2860 2861

/* Output a marker (i.e. a label) for the beginning of a function, before
   the prologue.  */

2862
extern void dwarf2out_begin_prologue	PARAMS ((void));
2863 2864 2865 2866

/* Output a marker (i.e. a label) for the absolute end of the generated
   code for a function definition.  */

2867
extern void dwarf2out_end_epilogue	PARAMS ((void));
2868

2869 2870 2871 2872 2873 2874
/* Redefine abort to report an internal error w/o coredump, and
   reporting the location of the error in the source file.  This logic
   is duplicated in rtl.h and tree.h because every file that needs the
   special abort includes one or both.  toplev.h gets too few files,
   system.h gets too many.  */

2875
extern void fancy_abort PARAMS ((const char *, int, const char *))
2876
    ATTRIBUTE_NORETURN;
2877
#define abort() fancy_abort (__FILE__, __LINE__, __FUNCTION__)