gcc/d/d-tree.h

   1 /* d-tree.h -- Definitions and declarations for code generation.
   2    Copyright (C) 2006-2020 Free Software Foundation, Inc.
   3
   4 GCC is free software; you can redistribute it and/or modify
   5 it under the terms of the GNU General Public License as published by
   6 the Free Software Foundation; either version 3, or (at your option)
   7 any later version.
   8
   9 GCC is distributed in the hope that it will be useful,
  10 but WITHOUT ANY WARRANTY; without even the implied warranty of
  11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12 GNU General Public License for more details.
  13
  14 You should have received a copy of the GNU General Public License
  15 along with GCC; see the file COPYING3.  If not see
  16 <http://www.gnu.org/licenses/>.  */
  17
  18 #ifndef GCC_D_TREE_H
  19 #define GCC_D_TREE_H
  20
  21 /* Forward type declarations to avoid including unnecessary headers.  */
  22
  23 class Dsymbol;
  24 class Declaration;
  25 class AggregateDeclaration;
  26 class ClassDeclaration;
  27 class EnumDeclaration;
  28 class FuncDeclaration;
  29 class StructDeclaration;
  30 class TypeInfoDeclaration;
  31 class VarDeclaration;
  32 class Expression;
  33 class ClassReferenceExp;
  34 class Module;
  35 class Statement;
  36 class Type;
  37 class TypeFunction;
  38 class Parameter;
  39 struct BaseClass;
  40 struct Scope;
  41 struct Loc;
  42
  43 template <typename TYPE> struct Array;
  44 typedef Array <Expression *> Expressions;
  45
  46 /* Usage of TREE_LANG_FLAG_?:
  47    0: METHOD_CALL_EXPR
  48    1: CALL_EXPR_ARGS_ORDERED (in CALL_EXPR).
  49
  50    Usage of TYPE_LANG_FLAG_?:
  51    0: TYPE_SHARED
  52    1: TYPE_IMAGINARY_FLOAT (in REAL_TYPE).
  53       ANON_AGGR_TYPE_P (in RECORD_TYPE, UNION_TYPE).
  54    2: CLASS_TYPE_P (in RECORD_TYPE).
  55    3: TYPE_DYNAMIC_ARRAY (in RECORD_TYPE).
  56    4: TYPE_DELEGATE (in RECORD_TYPE).
  57    5: TYPE_ASSOCIATIVE_ARRAY (in RECORD_TYPE).
  58
  59    Usage of DECL_LANG_FLAG_?:
  60    0: LABEL_VARIABLE_CASE (in LABEL_DECL).
  61       DECL_BUILT_IN_CTFE (in FUNCTION_DECL).
  62    1: DECL_IN_UNITTEST_CONDITION_P (in FUNCTION_DECL).  */
  63
  64 /* The kinds of scopes we recognize.  */
  65
  66 enum level_kind
  67 {
  68   level_block,          /* An ordinary block scope.  */
  69   level_try,            /* A try-block.  */
  70   level_catch,          /* A catch-block.  */
  71   level_finally,        /* A finally-block.  */
  72   level_cond,           /* The scope for an if condition.  */
  73   level_switch,         /* The scope for a switch statement.  */
  74   level_loop,           /* A for, do-while, or unrolled-loop block.  */
  75   level_with,           /* The scope for a with statement.  */
  76   level_function        /* The block representing an entire function.  */
  77 };
  78
  79 /* List of codes for internally recognised compiler intrinsics.  */
  80
  81 enum intrinsic_code
  82 {
  83 #define DEF_D_INTRINSIC(CODE, B, N, M, D, C) INTRINSIC_ ## CODE,
  84
  85 #include "intrinsics.def"
  86
  87 #undef DEF_D_INTRINSIC
  88   INTRINSIC_LAST
  89 };
  90
  91 /* For use with break and continue statements.  */
  92
  93 enum bc_kind
  94 {
  95   bc_break    = 0,
  96   bc_continue = 1
  97 };
  98
  99 /* The datatype used to implement D scope.  It is needed primarily to support
 100    the back-end, but also helps debugging information for local variables.  */
 101
 102 struct GTY((chain_next ("%h.level_chain"))) binding_level
 103 {
 104   /* A chain of declarations for all variables, constants and functions.
 105      These are in the reverse of the order supplied.  */
 106   tree names;
 107
 108   /* For each level (except the global one), a chain of BLOCK nodes for
 109      all the levels that were entered and exited one level down.  */
 110   tree blocks;
 111
 112   /* The binding level this one is contained in.  */
 113   binding_level *level_chain;
 114
 115   /* The kind of scope this object represents.  */
 116   ENUM_BITFIELD (level_kind) kind : 4;
 117 };
 118
 119 /* The binding level currently in effect.  */
 120 extern GTY(()) binding_level *current_binding_level;
 121 extern GTY(()) binding_level *global_binding_level;
 122
 123 /* Used only for jumps to as-yet undefined labels, since jumps to
 124    defined labels can have their validity checked immediately.  */
 125
 126 struct GTY((chain_next ("%h.next"))) d_label_use_entry
 127 {
 128   d_label_use_entry *next;
 129
 130   /* The frontend Statement associated with the jump.  */
 131   Statement * GTY((skip)) statement;
 132
 133   /* The binding level to which this entry is *currently* attached.
 134      This is initially the binding level in which the goto appeared,
 135      but is modified as scopes are closed.  */
 136   binding_level *level;
 137 };
 138
 139 /* A list of all LABEL_DECLs in the function that have names.  Here so
 140    we can clear out their names' definitions at the end of the
 141    function, and so we can check the validity of jumps to these labels.  */
 142
 143 struct GTY(()) d_label_entry
 144 {
 145   /* The label decl itself.  */
 146   tree label;
 147
 148   /* The frontend Statement associated with the label.  */
 149   Statement * GTY((skip)) statement;
 150
 151   /* The binding level to which the label is *currently* attached.
 152      This is initially set to the binding level in which the label
 153      is defined, but is modified as scopes are closed.  */
 154   binding_level *level;
 155
 156   /* A list of forward references of the label.  */
 157   d_label_use_entry *fwdrefs;
 158
 159   /* The following bits are set after the label is defined, and are
 160      updated as scopes are popped.  They indicate that a backward jump
 161      to the label will illegally enter a scope of the given flavor.  */
 162   bool in_try_scope;
 163   bool in_catch_scope;
 164
 165   /* If set, the label we reference represents a break/continue pair.  */
 166   bool bc_label;
 167 };
 168
 169 /* Frame information for a function declaration.  */
 170
 171 struct GTY(()) tree_frame_info
 172 {
 173   struct tree_common common;
 174   tree frame_type;
 175 };
 176
 177 /* True if the function creates a nested frame.  */
 178 #define FRAMEINFO_CREATES_FRAME(NODE) \
 179   (TREE_LANG_FLAG_0 (FUNCFRAME_INFO_CHECK (NODE)))
 180
 181 /* True if the function has a static chain passed in its DECL_ARGUMENTS.  */
 182 #define FRAMEINFO_STATIC_CHAIN(NODE) \
 183   (TREE_LANG_FLAG_1 (FUNCFRAME_INFO_CHECK (NODE)))
 184
 185 /* True if the function frame is a closure (initialized on the heap).  */
 186 #define FRAMEINFO_IS_CLOSURE(NODE) \
 187   (TREE_LANG_FLAG_2 (FUNCFRAME_INFO_CHECK (NODE)))
 188
 189 #define FRAMEINFO_TYPE(NODE) \
 190   (((tree_frame_info *) FUNCFRAME_INFO_CHECK (NODE))->frame_type)
 191
 192 /* Language-dependent contents of an identifier.  */
 193
 194 struct GTY(()) lang_identifier
 195 {
 196   struct tree_identifier common;
 197
 198   /* The identifier as the user sees it.  */
 199   tree pretty_ident;
 200
 201   /* The back-end tree associated with this identifier.  */
 202   tree decl_tree;
 203
 204   /* The frontend Declaration associated with this identifier.  */
 205   Declaration * GTY((skip)) dsymbol;
 206   AggregateDeclaration * GTY((skip)) daggregate;
 207 };
 208
 209 #define IDENTIFIER_LANG_SPECIFIC(NODE) \
 210   ((struct lang_identifier *) IDENTIFIER_NODE_CHECK (NODE))
 211
 212 #define IDENTIFIER_PRETTY_NAME(NODE) \
 213   (IDENTIFIER_LANG_SPECIFIC (NODE)->pretty_ident)
 214
 215 #define IDENTIFIER_DECL_TREE(NODE) \
 216   (IDENTIFIER_LANG_SPECIFIC (NODE)->decl_tree)
 217
 218 #define IDENTIFIER_DSYMBOL(NODE) \
 219   (IDENTIFIER_LANG_SPECIFIC (NODE)->dsymbol)
 220
 221 #define IDENTIFIER_DAGGREGATE(NODE) \
 222   (IDENTIFIER_LANG_SPECIFIC (NODE)->daggregate)
 223
 224 /* Global state pertinent to the current function.  */
 225
 226 struct GTY(()) language_function
 227 {
 228   /* Our function and enclosing module.  */
 229   FuncDeclaration * GTY((skip)) function;
 230   Module * GTY((skip)) module;
 231
 232   /* Static chain of function, for D2, this is a closure.  */
 233   tree static_chain;
 234
 235   /* Stack of statement lists being collected while we are
 236      compiling the function.  */
 237   vec <tree, va_gc> *stmt_list;
 238
 239   /* Variables that are in scope that will need destruction later.  */
 240   vec <tree, va_gc> *vars_in_scope;
 241
 242   /* Table of all used or defined labels in the function.  */
 243   hash_map <Statement *, d_label_entry> *labels;
 244 };
 245
 246 /* The D front end types have not been integrated into the GCC garbage
 247    collection system.  Handle this by using the "skip" attribute.  */
 248
 249 struct GTY(()) lang_decl
 250 {
 251   Declaration * GTY((skip)) decl;
 252
 253   /* FIELD_DECL in frame struct that this variable is allocated in.  */
 254   tree frame_field;
 255
 256   /* RESULT_DECL in a function that returns by nrvo.  */
 257   tree named_result;
 258
 259   /* Chain of DECL_LANG_THUNKS in a function.  */
 260   tree thunks;
 261
 262   /* In a FUNCTION_DECL, this is the THUNK_LANG_OFFSET.  */
 263   int offset;
 264
 265   /* In a FUNCTION_DECL, if this is an intrinsic, the code for it.  */
 266   enum intrinsic_code intrinsic;
 267
 268   /* FUNCFRAME_INFO in a function that has non-local references.  */
 269   tree frame_info;
 270 };
 271
 272 /* The current D per-function global variables.  */
 273
 274 #define d_function_chain (cfun ? cfun->language : NULL)
 275
 276 /* The D frontend Declaration AST for GCC decl NODE.  */
 277 #define DECL_LANG_FRONTEND(NODE) \
 278   (DECL_LANG_SPECIFIC (NODE) \
 279    ? DECL_LANG_SPECIFIC (NODE)->decl : NULL)
 280
 281 #define SET_DECL_LANG_FRAME_FIELD(NODE, VAL) \
 282   DECL_LANG_SPECIFIC (NODE)->frame_field = VAL
 283
 284 #define DECL_LANG_FRAME_FIELD(NODE) \
 285   (DECL_P (NODE) \
 286    ? DECL_LANG_SPECIFIC (NODE)->frame_field : NULL)
 287
 288 #define SET_DECL_LANG_NRVO(NODE, VAL) \
 289   DECL_LANG_SPECIFIC (NODE)->named_result = VAL
 290
 291 #define DECL_LANG_NRVO(NODE) \
 292   (DECL_P (NODE) \
 293    ? DECL_LANG_SPECIFIC (NODE)->named_result : NULL)
 294
 295 #define DECL_LANG_THUNKS(NODE) \
 296   DECL_LANG_SPECIFIC (NODE)->thunks
 297
 298 #define THUNK_LANG_OFFSET(NODE) \
 299   DECL_LANG_SPECIFIC (NODE)->offset
 300
 301 #define DECL_INTRINSIC_CODE(NODE) \
 302   DECL_LANG_SPECIFIC (NODE)->intrinsic
 303
 304 #define DECL_LANG_FRAMEINFO(NODE) \
 305   DECL_LANG_SPECIFIC (NODE)->frame_info
 306
 307 /* The lang_type field is not set for every GCC type.  */
 308
 309 struct GTY(()) lang_type
 310 {
 311   Type * GTY((skip)) type;
 312 };
 313
 314 /* The D frontend Type AST for GCC type NODE.  */
 315 #define TYPE_LANG_FRONTEND(NODE) \
 316   (TYPE_LANG_SPECIFIC (NODE) \
 317    ? TYPE_LANG_SPECIFIC (NODE)->type : NULL)
 318
 319
 320 enum d_tree_node_structure_enum
 321 {
 322   TS_D_GENERIC,
 323   TS_D_IDENTIFIER,
 324   TS_D_FRAMEINFO,
 325   LAST_TS_D_ENUM
 326 };
 327
 328 /* The resulting tree type.  */
 329
 330 union GTY((desc ("d_tree_node_structure (&%h)"),
 331            chain_next ("CODE_CONTAINS_STRUCT (TREE_CODE (&%h.generic), TS_COMMON)"
 332                        " ? ((union lang_tree_node *) TREE_CHAIN (&%h.generic)) : NULL")))
 333 lang_tree_node
 334 {
 335   union tree_node GTY ((tag ("TS_D_GENERIC"),
 336                         desc ("tree_node_structure (&%h)"))) generic;
 337   lang_identifier GTY ((tag ("TS_D_IDENTIFIER"))) identifier;
 338   tree_frame_info GTY ((tag ("TS_D_FRAMEINFO"))) frameinfo;
 339 };
 340
 341 /* True if the Tdelegate typed expression is not really a variable,
 342    but a literal function / method reference.  */
 343 #define METHOD_CALL_EXPR(NODE) \
 344   (TREE_LANG_FLAG_0 (NODE))
 345
 346 /* True if all arguments in a call expression should be evaluated in the
 347    order they are given (left to right).  */
 348 #define CALL_EXPR_ARGS_ORDERED(NODE) \
 349   (TREE_LANG_FLAG_1 (CALL_EXPR_CHECK (NODE)))
 350
 351 /* True if the type was declared 'shared'.  */
 352 #define TYPE_SHARED(NODE) \
 353   (TYPE_LANG_FLAG_0 (NODE))
 354
 355 /* True if the type is an imaginary float type.  */
 356 #define TYPE_IMAGINARY_FLOAT(NODE) \
 357   (TYPE_LANG_FLAG_1 (REAL_TYPE_CHECK (NODE)))
 358
 359 /* True if the type is an anonymous record or union.  */
 360 #define ANON_AGGR_TYPE_P(NODE) \
 361   (TYPE_LANG_FLAG_1 (RECORD_OR_UNION_CHECK (NODE)))
 362
 363 /* True if the type is the underlying record for a class.  */
 364 #define CLASS_TYPE_P(NODE) \
 365   (TYPE_LANG_FLAG_2 (RECORD_TYPE_CHECK (NODE)))
 366
 367 /* True if the type is a D dynamic array.  */
 368 #define TYPE_DYNAMIC_ARRAY(NODE) \
 369   (TYPE_LANG_FLAG_3 (RECORD_TYPE_CHECK (NODE)))
 370
 371 /* True if the type is a D delegate.  */
 372 #define TYPE_DELEGATE(NODE) \
 373   (TYPE_LANG_FLAG_4 (RECORD_TYPE_CHECK (NODE)))
 374
 375 /* True if the type is a D associative array.  */
 376 #define TYPE_ASSOCIATIVE_ARRAY(NODE) \
 377   (TYPE_LANG_FLAG_5 (RECORD_TYPE_CHECK (NODE)))
 378
 379 /* True if the decl is a variable case label decl.  */
 380 #define LABEL_VARIABLE_CASE(NODE) \
 381   (DECL_LANG_FLAG_0 (LABEL_DECL_CHECK (NODE)))
 382
 383 /* True if the decl is a CTFE built-in.  */
 384 #define DECL_BUILT_IN_CTFE(NODE) \
 385   (DECL_LANG_FLAG_0 (FUNCTION_DECL_CHECK (NODE)))
 386
 387 /* True if the decl is only compiled in when unittests are turned on.  */
 388 #define DECL_IN_UNITTEST_CONDITION_P(NODE) \
 389   (DECL_LANG_FLAG_1 (FUNCTION_DECL_CHECK (NODE)))
 390
 391 enum d_tree_index
 392 {
 393   DTI_VTABLE_ENTRY_TYPE,
 394   DTI_VTBL_PTR_TYPE,
 395   DTI_VTBL_INTERFACE_TYPE,
 396
 397   DTI_BOOL_TYPE,
 398   DTI_CHAR_TYPE,
 399   DTI_WCHAR_TYPE,
 400   DTI_DCHAR_TYPE,
 401
 402   DTI_BYTE_TYPE,
 403   DTI_UBYTE_TYPE,
 404   DTI_SHORT_TYPE,
 405   DTI_USHORT_TYPE,
 406   DTI_INT_TYPE,
 407   DTI_UINT_TYPE,
 408   DTI_LONG_TYPE,
 409   DTI_ULONG_TYPE,
 410   DTI_CENT_TYPE,
 411   DTI_UCENT_TYPE,
 412
 413   DTI_IFLOAT_TYPE,
 414   DTI_IDOUBLE_TYPE,
 415   DTI_IREAL_TYPE,
 416
 417   DTI_UNKNOWN_TYPE,
 418
 419   DTI_ARRAY_TYPE,
 420   DTI_NULL_ARRAY,
 421
 422   DTI_MAX
 423 };
 424
 425 extern GTY(()) tree d_global_trees[DTI_MAX];
 426
 427 #define vtable_entry_type               d_global_trees[DTI_VTABLE_ENTRY_TYPE]
 428 #define vtbl_ptr_type_node              d_global_trees[DTI_VTBL_PTR_TYPE]
 429 #define vtbl_interface_type_node        d_global_trees[DTI_VTBL_INTERFACE_TYPE]
 430 /* D built-in language types.  */
 431 #define d_bool_type                     d_global_trees[DTI_BOOL_TYPE]
 432 #define d_byte_type                     d_global_trees[DTI_BYTE_TYPE]
 433 #define d_ubyte_type                    d_global_trees[DTI_UBYTE_TYPE]
 434 #define d_short_type                    d_global_trees[DTI_SHORT_TYPE]
 435 #define d_ushort_type                   d_global_trees[DTI_USHORT_TYPE]
 436 #define d_int_type                      d_global_trees[DTI_INT_TYPE]
 437 #define d_uint_type                     d_global_trees[DTI_UINT_TYPE]
 438 #define d_long_type                     d_global_trees[DTI_LONG_TYPE]
 439 #define d_ulong_type                    d_global_trees[DTI_ULONG_TYPE]
 440 #define d_cent_type                     d_global_trees[DTI_CENT_TYPE]
 441 #define d_ucent_type                    d_global_trees[DTI_UCENT_TYPE]
 442 /* Imaginary floating-point types.  */
 443 #define ifloat_type_node                d_global_trees[DTI_IFLOAT_TYPE]
 444 #define idouble_type_node               d_global_trees[DTI_IDOUBLE_TYPE]
 445 #define ireal_type_node                 d_global_trees[DTI_IREAL_TYPE]
 446 /* UTF-8, 16 and 32 types.  */
 447 #define char8_type_node                 d_global_trees[DTI_CHAR_TYPE]
 448 #define char16_type_node                d_global_trees[DTI_DCHAR_TYPE]
 449 #define char32_type_node                d_global_trees[DTI_WCHAR_TYPE]
 450 /* Empty record type used as placeholder when real type is unknown.  */
 451 #define unknown_type_node               d_global_trees[DTI_UNKNOWN_TYPE]
 452 /* Generic dynamic array type void[].  */
 453 #define array_type_node                 d_global_trees[DTI_ARRAY_TYPE]
 454 /* Null initializer for dynamic arrays.  */
 455 #define null_array_node                 d_global_trees[DTI_NULL_ARRAY]
 456
 457 /* A prefix for internal variables, which are not user-visible.  */
 458 #if !defined (NO_DOT_IN_LABEL)
 459 # define GDC_PREFIX(x) "gdc." x
 460 #elif !defined (NO_DOLLAR_IN_LABEL)
 461 # define GDC_PREFIX(x) "gdc$" x
 462 #else
 463 # define GDC_PREFIX(x) "gdc_" x
 464 #endif
 465
 466 /* Internally recognised D runtime library functions.  */
 467
 468 enum libcall_fn
 469 {
 470 #define DEF_D_RUNTIME(CODE, N, T, P, F) LIBCALL_ ## CODE,
 471
 472 #include "runtime.def"
 473
 474 #undef DEF_D_RUNTIME
 475   LIBCALL_LAST
 476 };
 477
 478 /* Gate for when the D frontend makes an early call into the codegen pass, such
 479    as when it requires target information or CTFE evaluation.  As full semantic
 480    may not be completed, we only want to build the superficial tree structure
 481    without finishing any decls or types.  */
 482 extern bool doing_semantic_analysis_p;
 483
 484 /* In d-attribs.c.  */
 485 extern tree insert_type_attribute (tree, const char *, tree = NULL_TREE);
 486 extern tree insert_decl_attribute (tree, const char *, tree = NULL_TREE);
 487 extern void apply_user_attributes (Dsymbol *, tree);
 488
 489 /* In d-builtins.cc.  */
 490 extern const attribute_spec d_langhook_attribute_table[];
 491 extern const attribute_spec d_langhook_common_attribute_table[];
 492 extern Type *build_frontend_type (tree);
 493
 494 extern tree d_builtin_function (tree);
 495 extern void d_init_builtins (void);
 496 extern void d_register_builtin_type (tree, const char *);
 497 extern void d_build_builtins_module (Module *);
 498 extern void d_maybe_set_builtin (Module *);
 499 extern Expression *d_eval_constant_expression (tree);
 500 extern void d_init_versions (void);
 501
 502 /* In d-codegen.cc.  */
 503 extern location_t make_location_t (const Loc &);
 504 extern tree d_decl_context (Dsymbol *);
 505 extern tree copy_aggregate_type (tree);
 506 extern bool declaration_reference_p (Declaration *);
 507 extern tree declaration_type (Declaration *);
 508 extern bool parameter_reference_p (Parameter *);
 509 extern tree parameter_type (Parameter *);
 510 extern tree build_integer_cst (dinteger_t, tree = d_int_type);
 511 extern tree build_float_cst (const real_t &, Type *);
 512 extern tree d_array_length (tree);
 513 extern tree d_array_ptr (tree);
 514 extern tree d_array_value (tree, tree, tree);
 515 extern tree get_array_length (tree, Type *);
 516 extern tree build_class_binfo (tree, ClassDeclaration *);
 517 extern tree build_interface_binfo (tree, ClassDeclaration *, unsigned &);
 518 extern tree delegate_method (tree);
 519 extern tree delegate_object (tree);
 520 extern tree build_delegate_cst (tree, tree, Type *);
 521 extern tree build_method_call (tree, tree, Type *);
 522 extern void extract_from_method_call (tree, tree &, tree &);
 523 extern tree build_typeof_null_value (Type *);
 524 extern tree build_vindex_ref (tree, tree, size_t);
 525 extern tree d_save_expr (tree);
 526 extern tree stabilize_expr (tree *);
 527 extern tree build_target_expr (tree, tree);
 528 extern tree force_target_expr (tree);
 529 extern tree build_address (tree);
 530 extern tree d_mark_addressable (tree);
 531 extern tree d_mark_used (tree);
 532 extern tree d_mark_read (tree);
 533 extern tree build_memcmp_call (tree, tree, tree);
 534 extern tree build_memcpy_call (tree, tree, tree);
 535 extern tree build_memset_call (tree, tree = NULL_TREE);
 536 extern bool identity_compare_p (StructDeclaration *);
 537 extern tree build_float_identity (tree_code, tree, tree);
 538 extern tree build_struct_comparison (tree_code, StructDeclaration *,
 539                                      tree, tree);
 540 extern tree build_array_struct_comparison (tree_code, StructDeclaration *,
 541                                            tree, tree, tree);
 542 extern tree build_struct_literal (tree, vec <constructor_elt, va_gc> *);
 543 extern tree component_ref (tree, tree);
 544 extern tree build_assign (tree_code, tree, tree);
 545 extern tree modify_expr (tree, tree);
 546 extern tree build_nop (tree, tree);
 547 extern tree build_vconvert (tree, tree);
 548 extern tree build_boolop (tree_code, tree, tree);
 549 extern tree build_condition (tree, tree, tree, tree);
 550 extern tree build_vcondition (tree, tree, tree);
 551 extern tree compound_expr (tree, tree);
 552 extern tree return_expr (tree);
 553 extern tree size_mult_expr (tree, tree);
 554 extern tree real_part (tree);
 555 extern tree imaginary_part (tree);
 556 extern tree complex_expr (tree, tree, tree);
 557 extern tree indirect_ref (tree, tree);
 558 extern tree build_deref (tree);
 559 extern tree build_array_index (tree, tree);
 560 extern tree build_offset_op (tree_code, tree, tree);
 561 extern tree build_offset (tree, tree);
 562 extern tree build_memref (tree, tree, tree);
 563 extern tree build_array_set (tree, tree, tree);
 564 extern tree build_array_from_val (Type *, tree);
 565 extern tree build_array_from_exprs (Type *, Expressions *, bool);
 566 extern tree void_okay_p (tree);
 567 extern tree build_array_bounds_call (const Loc &);
 568 extern tree build_bounds_condition (const Loc &, tree, tree, bool);
 569 extern bool array_bounds_check (void);
 570 extern tree bind_expr (tree, tree);
 571 extern TypeFunction *get_function_type (Type *);
 572 extern bool call_by_alias_p (FuncDeclaration *, FuncDeclaration *);
 573 extern tree d_build_call_expr (FuncDeclaration *, tree, Expressions *);
 574 extern tree d_build_call (TypeFunction *, tree, tree, Expressions *);
 575 extern tree d_assert_call (const Loc &, libcall_fn, tree = NULL_TREE);
 576 extern tree build_float_modulus (tree, tree, tree);
 577 extern tree build_vthis_function (tree, tree);
 578 extern tree error_no_frame_access (Dsymbol *);
 579 extern tree get_frame_for_symbol (Dsymbol *);
 580 extern tree build_vthis (AggregateDeclaration *);
 581 extern void build_closure (FuncDeclaration *);
 582 extern tree get_frameinfo (FuncDeclaration *);
 583 extern tree get_framedecl (FuncDeclaration *, FuncDeclaration *);
 584
 585 /* In d-convert.cc.  */
 586 extern bool decl_with_nonnull_addr_p (const_tree);
 587 extern tree d_truthvalue_conversion (tree);
 588 extern tree d_convert (tree, tree);
 589 extern tree convert_expr (tree, Type *, Type *);
 590 extern tree convert_for_assignment (tree, Type *, Type *);
 591 extern tree convert_for_argument (tree, Parameter *);
 592 extern tree convert_for_condition (tree, Type *);
 593 extern tree d_array_convert (Expression *);
 594 extern tree d_array_convert (Type *, Expression *);
 595
 596 /* In d-gimplify.cc.  */
 597 extern int d_gimplify_expr (tree *, gimple_seq *, gimple_seq *);
 598
 599 /* In d-incpath.cc.  */
 600 extern void add_import_paths (const char *, const char *, bool);
 601
 602 /* In d-lang.cc.  */
 603 extern void d_add_builtin_module (Module *);
 604 extern void d_add_entrypoint_module (Module *, Module *);
 605 extern d_tree_node_structure_enum d_tree_node_structure (lang_tree_node *);
 606 extern struct lang_type *build_lang_type (Type *);
 607 extern struct lang_decl *build_lang_decl (Declaration *);
 608 extern tree d_pushdecl (tree);
 609 extern void d_keep (tree);
 610
 611 /* In decl.cc.  */
 612 extern const char *d_mangle_decl (Dsymbol *);
 613 extern tree mangle_internal_decl (Dsymbol *, const char *, const char *);
 614 extern void build_decl_tree (Dsymbol *);
 615 extern tree get_symbol_decl (Declaration *);
 616 extern tree declare_extern_var (tree, tree);
 617 extern void declare_local_var (VarDeclaration *);
 618 extern tree build_local_temp (tree);
 619 extern tree get_decl_tree (Declaration *);
 620 extern void d_finish_decl (tree);
 621 extern tree make_thunk (FuncDeclaration *, int);
 622 extern tree start_function (FuncDeclaration *);
 623 extern void finish_function (tree);
 624 extern void mark_needed (tree);
 625 extern tree get_vtable_decl (ClassDeclaration *);
 626 extern tree build_new_class_expr (ClassReferenceExp *);
 627 extern tree aggregate_initializer_decl (AggregateDeclaration *);
 628 extern tree layout_struct_initializer (StructDeclaration *);
 629 extern tree layout_class_initializer (ClassDeclaration *);
 630 extern tree enum_initializer_decl (EnumDeclaration *);
 631 extern tree build_artificial_decl (tree, tree, const char * = NULL);
 632 extern tree create_field_decl (tree, const char *, int, int);
 633 extern void build_type_decl (tree, Dsymbol *);
 634 extern void d_comdat_linkage (tree);
 635 extern void d_linkonce_linkage (tree);
 636
 637 /* In expr.cc.  */
 638 extern tree build_expr (Expression *, bool = false, bool = false);
 639 extern tree build_expr_dtor (Expression *);
 640 extern tree build_return_dtor (Expression *, Type *, TypeFunction *);
 641
 642 /* In imports.cc.  */
 643 extern tree build_import_decl (Dsymbol *);
 644
 645 /* In intrinsics.cc.  */
 646 extern void maybe_set_intrinsic (FuncDeclaration *);
 647 extern tree maybe_expand_intrinsic (tree);
 648
 649 /* In modules.cc.  */
 650 extern void build_module_tree (Module *);
 651 extern tree d_module_context (void);
 652 extern void register_module_decl (Declaration *);
 653 extern void d_finish_compilation (tree *, int);
 654
 655 /* In runtime.cc.  */
 656 extern tree build_libcall (libcall_fn, Type *, int ...);
 657
 658 /* In typeinfo.cc.  */
 659 extern bool have_typeinfo_p (ClassDeclaration *);
 660 extern tree layout_typeinfo (TypeInfoDeclaration *);
 661 extern tree layout_classinfo (ClassDeclaration *);
 662 extern unsigned base_vtable_offset (ClassDeclaration *, BaseClass *);
 663 extern tree get_typeinfo_decl (TypeInfoDeclaration *);
 664 extern tree get_classinfo_decl (ClassDeclaration *);
 665 extern tree build_typeinfo (const Loc &, Type *);
 666 extern void create_typeinfo (Type *, Module *);
 667 extern void create_tinfo_types (Module *);
 668 extern void layout_cpp_typeinfo (ClassDeclaration *);
 669 extern tree get_cpp_typeinfo_decl (ClassDeclaration *);
 670 extern bool speculative_type_p (Type *);
 671
 672 /* In toir.cc.  */
 673 extern void push_binding_level (level_kind);
 674 extern tree pop_binding_level (void);
 675 extern void push_stmt_list (void);
 676 extern tree pop_stmt_list (void);
 677 extern void add_stmt (tree);
 678 extern void build_function_body (FuncDeclaration *);
 679
 680 /* In types.cc.  */
 681 extern tree d_unsigned_type (tree);
 682 extern tree d_signed_type (tree);
 683 extern bool valist_array_p (Type *);
 684 extern bool empty_aggregate_p (tree);
 685 extern bool same_type_p (Type *, Type *);
 686 extern Type *get_object_type (void);
 687 extern tree make_array_type (Type *, unsigned HOST_WIDE_INT);
 688 extern tree make_struct_type (const char *, int n, ...);
 689 extern tree insert_type_modifiers (tree, unsigned);
 690 extern void insert_aggregate_field (tree, tree, size_t);
 691 extern void finish_aggregate_type (unsigned, unsigned, tree);
 692 extern tree build_ctype (Type *);
 693
 694 #endif  /* GCC_D_TREE_H  */