1 /* d-tree.h -- Definitions and declarations for code generation.
2 Copyright (C) 2006-2020 Free Software Foundation, Inc.
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)
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.
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/>. */
21 /* Forward type declarations to avoid including unnecessary headers. */
25 class AggregateDeclaration
;
26 class ClassDeclaration
;
27 class EnumDeclaration
;
28 class FuncDeclaration
;
29 class StructDeclaration
;
30 class TypeInfoDeclaration
;
33 class ClassReferenceExp
;
43 template <typename TYPE
> struct Array
;
44 typedef Array
<Expression
*> Expressions
;
46 /* Usage of TREE_LANG_FLAG_?:
48 1: CALL_EXPR_ARGS_ORDERED (in CALL_EXPR).
50 Usage of TYPE_LANG_FLAG_?:
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).
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). */
64 /* The kinds of scopes we recognize. */
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. */
79 /* List of codes for internally recognised compiler intrinsics. */
83 #define DEF_D_INTRINSIC(CODE, A, N, M, D, C) INTRINSIC_ ## CODE,
85 #include "intrinsics.def"
87 #undef DEF_D_INTRINSIC
91 /* For use with break and continue statements. */
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. */
102 struct GTY((chain_next ("%h.level_chain"))) binding_level
104 /* A chain of declarations for all variables, constants and functions.
105 These are in the reverse of the order supplied. */
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. */
112 /* The binding level this one is contained in. */
113 binding_level
*level_chain
;
115 /* The kind of scope this object represents. */
116 ENUM_BITFIELD (level_kind
) kind
: 4;
119 /* The binding level currently in effect. */
120 extern GTY(()) binding_level
*current_binding_level
;
121 extern GTY(()) binding_level
*global_binding_level
;
123 /* Used only for jumps to as-yet undefined labels, since jumps to
124 defined labels can have their validity checked immediately. */
126 struct GTY((chain_next ("%h.next"))) d_label_use_entry
128 d_label_use_entry
*next
;
130 /* The frontend Statement associated with the jump. */
131 Statement
* GTY((skip
)) statement
;
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
;
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. */
143 struct GTY(()) d_label_entry
145 /* The label decl itself. */
148 /* The frontend Statement associated with the label. */
149 Statement
* GTY((skip
)) statement
;
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
;
156 /* A list of forward references of the label. */
157 d_label_use_entry
*fwdrefs
;
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. */
165 /* If set, the label we reference represents a break/continue pair. */
169 /* Frame information for a function declaration. */
171 struct GTY(()) tree_frame_info
173 struct tree_common common
;
177 /* True if the function creates a nested frame. */
178 #define FRAMEINFO_CREATES_FRAME(NODE) \
179 (TREE_LANG_FLAG_0 (FUNCFRAME_INFO_CHECK (NODE)))
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)))
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)))
189 #define FRAMEINFO_TYPE(NODE) \
190 (((tree_frame_info *) FUNCFRAME_INFO_CHECK (NODE))->frame_type)
192 /* Language-dependent contents of an identifier. */
194 struct GTY(()) lang_identifier
196 struct tree_identifier common
;
198 /* The identifier as the user sees it. */
201 /* The back-end tree associated with this identifier. */
204 /* The frontend Declaration associated with this identifier. */
205 Declaration
* GTY((skip
)) dsymbol
;
206 AggregateDeclaration
* GTY((skip
)) daggregate
;
209 #define IDENTIFIER_LANG_SPECIFIC(NODE) \
210 ((struct lang_identifier *) IDENTIFIER_NODE_CHECK (NODE))
212 #define IDENTIFIER_PRETTY_NAME(NODE) \
213 (IDENTIFIER_LANG_SPECIFIC (NODE)->pretty_ident)
215 #define IDENTIFIER_DECL_TREE(NODE) \
216 (IDENTIFIER_LANG_SPECIFIC (NODE)->decl_tree)
218 #define IDENTIFIER_DSYMBOL(NODE) \
219 (IDENTIFIER_LANG_SPECIFIC (NODE)->dsymbol)
221 #define IDENTIFIER_DAGGREGATE(NODE) \
222 (IDENTIFIER_LANG_SPECIFIC (NODE)->daggregate)
224 /* Global state pertinent to the current function. */
226 struct GTY(()) language_function
228 /* Our function and enclosing module. */
229 FuncDeclaration
* GTY((skip
)) function
;
230 Module
* GTY((skip
)) module
;
232 /* Static chain of function, for D2, this is a closure. */
235 /* Stack of statement lists being collected while we are
236 compiling the function. */
237 vec
<tree
, va_gc
> *stmt_list
;
239 /* Variables that are in scope that will need destruction later. */
240 vec
<tree
, va_gc
> *vars_in_scope
;
242 /* Table of all used or defined labels in the function. */
243 hash_map
<Statement
*, d_label_entry
> *labels
;
246 /* The D front end types have not been integrated into the GCC garbage
247 collection system. Handle this by using the "skip" attribute. */
249 struct GTY(()) lang_decl
251 Declaration
* GTY((skip
)) decl
;
253 /* FIELD_DECL in frame struct that this variable is allocated in. */
256 /* RESULT_DECL in a function that returns by nrvo. */
259 /* Chain of DECL_LANG_THUNKS in a function. */
262 /* In a FUNCTION_DECL, this is the THUNK_LANG_OFFSET. */
265 /* In a FUNCTION_DECL, if this is an intrinsic, the code for it. */
266 enum intrinsic_code intrinsic
;
268 /* FUNCFRAME_INFO in a function that has non-local references. */
272 /* The current D per-function global variables. */
274 #define d_function_chain (cfun ? cfun->language : NULL)
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)
281 #define SET_DECL_LANG_FRAME_FIELD(NODE, VAL) \
282 DECL_LANG_SPECIFIC (NODE)->frame_field = VAL
284 #define DECL_LANG_FRAME_FIELD(NODE) \
286 ? DECL_LANG_SPECIFIC (NODE)->frame_field : NULL)
288 #define SET_DECL_LANG_NRVO(NODE, VAL) \
289 DECL_LANG_SPECIFIC (NODE)->named_result = VAL
291 #define DECL_LANG_NRVO(NODE) \
293 ? DECL_LANG_SPECIFIC (NODE)->named_result : NULL)
295 #define DECL_LANG_THUNKS(NODE) \
296 DECL_LANG_SPECIFIC (NODE)->thunks
298 #define THUNK_LANG_OFFSET(NODE) \
299 DECL_LANG_SPECIFIC (NODE)->offset
301 #define DECL_INTRINSIC_CODE(NODE) \
302 DECL_LANG_SPECIFIC (NODE)->intrinsic
304 #define DECL_LANG_FRAMEINFO(NODE) \
305 DECL_LANG_SPECIFIC (NODE)->frame_info
307 /* The lang_type field is not set for every GCC type. */
309 struct GTY(()) lang_type
311 Type
* GTY((skip
)) type
;
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)
320 enum d_tree_node_structure_enum
328 /* The resulting tree type. */
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")))
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
;
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))
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)))
351 /* True if the type was declared 'shared'. */
352 #define TYPE_SHARED(NODE) \
353 (TYPE_LANG_FLAG_0 (NODE))
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)))
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)))
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)))
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)))
371 /* True if the type is a D delegate. */
372 #define TYPE_DELEGATE(NODE) \
373 (TYPE_LANG_FLAG_4 (RECORD_TYPE_CHECK (NODE)))
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)))
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)))
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)))
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)))
393 DTI_VTABLE_ENTRY_TYPE
,
395 DTI_VTBL_INTERFACE_TYPE
,
425 extern GTY(()) tree d_global_trees
[DTI_MAX
];
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]
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
463 # define GDC_PREFIX(x) "gdc_" x
466 /* Internally recognised D runtime library functions. */
470 #define DEF_D_RUNTIME(CODE, N, T, P, F) LIBCALL_ ## CODE,
472 #include "runtime.def"
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
;
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
);
489 /* In d-builtins.cc. */
490 extern const attribute_spec d_langhook_attribute_table
[];
491 extern const attribute_spec d_langhook_common_attribute_table
[];
493 extern tree
d_builtin_function (tree
);
494 extern void d_init_builtins (void);
495 extern void d_register_builtin_type (tree
, const char *);
496 extern void d_build_builtins_module (Module
*);
497 extern void d_maybe_set_builtin (Module
*);
498 extern Expression
*d_eval_constant_expression (tree
);
499 extern void d_init_versions (void);
501 /* In d-codegen.cc. */
502 extern location_t
make_location_t (const Loc
&);
503 extern tree
d_decl_context (Dsymbol
*);
504 extern tree
copy_aggregate_type (tree
);
505 extern bool declaration_reference_p (Declaration
*);
506 extern tree
declaration_type (Declaration
*);
507 extern bool parameter_reference_p (Parameter
*);
508 extern tree
parameter_type (Parameter
*);
509 extern tree
build_integer_cst (dinteger_t
, tree
= d_int_type
);
510 extern tree
build_float_cst (const real_t
&, Type
*);
511 extern tree
d_array_length (tree
);
512 extern tree
d_array_ptr (tree
);
513 extern tree
d_array_value (tree
, tree
, tree
);
514 extern tree
get_array_length (tree
, Type
*);
515 extern tree
build_class_binfo (tree
, ClassDeclaration
*);
516 extern tree
build_interface_binfo (tree
, ClassDeclaration
*, unsigned &);
517 extern tree
delegate_method (tree
);
518 extern tree
delegate_object (tree
);
519 extern tree
build_delegate_cst (tree
, tree
, Type
*);
520 extern tree
build_method_call (tree
, tree
, Type
*);
521 extern void extract_from_method_call (tree
, tree
&, tree
&);
522 extern tree
build_typeof_null_value (Type
*);
523 extern tree
build_vindex_ref (tree
, tree
, size_t);
524 extern tree
d_save_expr (tree
);
525 extern tree
stabilize_expr (tree
*);
526 extern tree
build_target_expr (tree
, tree
);
527 extern tree
force_target_expr (tree
);
528 extern tree
build_address (tree
);
529 extern tree
d_mark_addressable (tree
);
530 extern tree
d_mark_used (tree
);
531 extern tree
d_mark_read (tree
);
532 extern bool identity_compare_p (StructDeclaration
*);
533 extern tree
build_float_identity (tree_code
, tree
, tree
);
534 extern tree
build_struct_comparison (tree_code
, StructDeclaration
*,
536 extern tree
build_array_struct_comparison (tree_code
, StructDeclaration
*,
538 extern tree
build_struct_literal (tree
, vec
<constructor_elt
, va_gc
> *);
539 extern tree
component_ref (tree
, tree
);
540 extern tree
build_assign (tree_code
, tree
, tree
);
541 extern tree
modify_expr (tree
, tree
);
542 extern tree
build_nop (tree
, tree
);
543 extern tree
build_vconvert (tree
, tree
);
544 extern tree
build_boolop (tree_code
, tree
, tree
);
545 extern tree
build_condition (tree
, tree
, tree
, tree
);
546 extern tree
build_vcondition (tree
, tree
, tree
);
547 extern tree
compound_expr (tree
, tree
);
548 extern tree
return_expr (tree
);
549 extern tree
size_mult_expr (tree
, tree
);
550 extern tree
real_part (tree
);
551 extern tree
imaginary_part (tree
);
552 extern tree
complex_expr (tree
, tree
, tree
);
553 extern tree
indirect_ref (tree
, tree
);
554 extern tree
build_deref (tree
);
555 extern tree
build_array_index (tree
, tree
);
556 extern tree
build_offset_op (tree_code
, tree
, tree
);
557 extern tree
build_offset (tree
, tree
);
558 extern tree
build_memref (tree
, tree
, tree
);
559 extern tree
build_array_set (tree
, tree
, tree
);
560 extern tree
build_array_from_val (Type
*, tree
);
561 extern tree
void_okay_p (tree
);
562 extern tree
build_bounds_condition (const Loc
&, tree
, tree
, bool);
563 extern bool array_bounds_check (void);
564 extern tree
create_temporary_var (tree
);
565 extern tree
maybe_temporary_var (tree
, tree
*);
566 extern tree
bind_expr (tree
, tree
);
567 extern TypeFunction
*get_function_type (Type
*);
568 extern bool call_by_alias_p (FuncDeclaration
*, FuncDeclaration
*);
569 extern tree
d_build_call_expr (FuncDeclaration
*, tree
, Expressions
*);
570 extern tree
d_build_call (TypeFunction
*, tree
, tree
, Expressions
*);
571 extern tree
d_assert_call (const Loc
&, libcall_fn
, tree
= NULL_TREE
);
572 extern tree
build_float_modulus (tree
, tree
, tree
);
573 extern tree
build_vthis_function (tree
, tree
);
574 extern tree
get_frame_for_symbol (Dsymbol
*);
575 extern tree
build_vthis (AggregateDeclaration
*);
576 extern void build_closure (FuncDeclaration
*);
577 extern tree
get_frameinfo (FuncDeclaration
*);
578 extern tree
get_framedecl (FuncDeclaration
*, FuncDeclaration
*);
580 /* In d-convert.cc. */
581 extern bool decl_with_nonnull_addr_p (const_tree
);
582 extern tree
d_truthvalue_conversion (tree
);
583 extern tree
d_convert (tree
, tree
);
584 extern tree
convert_expr (tree
, Type
*, Type
*);
585 extern tree
convert_for_assignment (tree
, Type
*, Type
*);
586 extern tree
convert_for_argument (tree
, Parameter
*);
587 extern tree
convert_for_condition (tree
, Type
*);
588 extern tree
d_array_convert (Expression
*);
589 extern tree
d_array_convert (Type
*, Expression
*, vec
<tree
, va_gc
> **);
591 /* In d-incpath.cc. */
592 extern void add_import_paths (const char *, const char *, bool);
595 extern void d_add_builtin_module (Module
*);
596 extern void d_add_entrypoint_module (Module
*, Module
*);
597 extern d_tree_node_structure_enum
d_tree_node_structure (lang_tree_node
*);
598 extern struct lang_type
*build_lang_type (Type
*);
599 extern struct lang_decl
*build_lang_decl (Declaration
*);
600 extern tree
d_pushdecl (tree
);
601 extern tree
d_unsigned_type (tree
);
602 extern tree
d_signed_type (tree
);
603 extern void d_keep (tree
);
606 extern const char *d_mangle_decl (Dsymbol
*);
607 extern tree
mangle_internal_decl (Dsymbol
*, const char *, const char *);
608 extern void build_decl_tree (Dsymbol
*);
609 extern tree
get_symbol_decl (Declaration
*);
610 extern tree
declare_extern_var (tree
, tree
);
611 extern void declare_local_var (VarDeclaration
*);
612 extern tree
build_local_temp (tree
);
613 extern tree
get_decl_tree (Declaration
*);
614 extern void d_finish_decl (tree
);
615 extern tree
make_thunk (FuncDeclaration
*, int);
616 extern tree
start_function (FuncDeclaration
*);
617 extern void finish_function (tree
);
618 extern void mark_needed (tree
);
619 extern unsigned base_vtable_offset (ClassDeclaration
*, BaseClass
*);
620 extern tree
get_vtable_decl (ClassDeclaration
*);
621 extern tree
build_new_class_expr (ClassReferenceExp
*);
622 extern tree
aggregate_initializer_decl (AggregateDeclaration
*);
623 extern tree
layout_struct_initializer (StructDeclaration
*);
624 extern tree
layout_class_initializer (ClassDeclaration
*);
625 extern tree
enum_initializer_decl (EnumDeclaration
*);
626 extern tree
build_artificial_decl (tree
, tree
, const char * = NULL
);
627 extern tree
create_field_decl (tree
, const char *, int, int);
628 extern void build_type_decl (tree
, Dsymbol
*);
629 extern void d_comdat_linkage (tree
);
630 extern void d_linkonce_linkage (tree
);
633 extern tree
build_expr (Expression
*, bool = false);
634 extern tree
build_expr_dtor (Expression
*);
635 extern tree
build_return_dtor (Expression
*, Type
*, TypeFunction
*);
638 extern tree
build_import_decl (Dsymbol
*);
640 /* In intrinsics.cc. */
641 extern void maybe_set_intrinsic (FuncDeclaration
*);
642 extern tree
maybe_expand_intrinsic (tree
);
645 extern void build_module_tree (Module
*);
646 extern tree
d_module_context (void);
647 extern void register_module_decl (Declaration
*);
648 extern void d_finish_compilation (tree
*, int);
651 extern tree
build_libcall (libcall_fn
, Type
*, int ...);
653 /* In typeinfo.cc. */
654 extern bool have_typeinfo_p (ClassDeclaration
*);
655 extern tree
layout_typeinfo (TypeInfoDeclaration
*);
656 extern tree
layout_classinfo (ClassDeclaration
*);
657 extern tree
get_typeinfo_decl (TypeInfoDeclaration
*);
658 extern tree
get_classinfo_decl (ClassDeclaration
*);
659 extern tree
build_typeinfo (const Loc
&, Type
*);
660 extern void create_typeinfo (Type
*, Module
*);
661 extern void create_tinfo_types (Module
*);
662 extern void layout_cpp_typeinfo (ClassDeclaration
*);
663 extern tree
get_cpp_typeinfo_decl (ClassDeclaration
*);
664 extern bool speculative_type_p (Type
*);
667 extern void push_binding_level (level_kind
);
668 extern tree
pop_binding_level (void);
669 extern void push_stmt_list (void);
670 extern tree
pop_stmt_list (void);
671 extern void add_stmt (tree
);
672 extern void build_function_body (FuncDeclaration
*);
675 extern bool valist_array_p (Type
*);
676 extern bool empty_aggregate_p (tree
);
677 extern bool same_type_p (Type
*, Type
*);
678 extern Type
*get_object_type (void);
679 extern tree
make_array_type (Type
*, unsigned HOST_WIDE_INT
);
680 extern tree
make_struct_type (const char *, int n
, ...);
681 extern tree
insert_type_modifiers (tree
, unsigned);
682 extern void insert_aggregate_field (tree
, tree
, size_t);
683 extern void finish_aggregate_type (unsigned, unsigned, tree
);
684 extern tree
build_ctype (Type
*);
686 #endif /* GCC_D_TREE_H */