1 /* This file contains the definitions and documentation for the
2 additional tree codes used in the GNU C
++ compiler (see tree.def
3 for the standard codes
).
4 Copyright (C
) 1987, 1988, 1990, 1993 Free Software Foundation
, Inc.
5 Hacked by Michael
Tiemann (tiemann@cygnus.com
)
7 This file is part of GNU CC.
9 GNU CC is free software
; you can redistribute it and
/or modify
10 it under the terms of the GNU General Public License as published by
11 the Free Software Foundation
; either version
2, or (at your option
)
14 GNU CC is distributed in the hope that it will be useful
,
15 but WITHOUT ANY WARRANTY
; without even the implied warranty of
16 MERCHANTABILITY or FITNESS
FOR A PARTICULAR PURPOSE. See the
17 GNU General Public License for more details.
19 You should have received a copy of the GNU General Public License
20 along with GNU CC
; see the file COPYING. If not
, write to
21 the Free Software Foundation
, 59 Temple Place
- Suite
330,
22 Boston
, MA
02111-1307, USA.
*/
25 /* Reference to the contents of an offset
26 (a value whose type is an OFFSET_TYPE
).
27 Operand
0 is the object within which the offset is taken.
28 Operand
1 is the offset. The language independent OFFSET_REF
29 just won
't work for us. */
30 DEFTREECODE (OFFSET_REF, "offset_ref", 'r
', 2)
32 /* For NEW_EXPR, operand 0 is the placement list.
33 Operand 1 is the new-declarator.
34 Operand 2 is the initializer. */
35 DEFTREECODE (NEW_EXPR, "nw_expr", 'e
', 3)
36 DEFTREECODE (VEC_NEW_EXPR, "vec_nw_expr", 'e
', 3)
38 /* For DELETE_EXPR, operand 0 is the store to be destroyed.
39 Operand 1 is the value to pass to the destroying function
40 saying whether the store should be deallocated as well. */
41 DEFTREECODE (DELETE_EXPR, "dl_expr", 'e
', 2)
42 DEFTREECODE (VEC_DELETE_EXPR, "vec_dl_expr", 'e
', 2)
44 /* Value is reference to particular overloaded class method.
45 Operand 0 is the class name (an IDENTIFIER_NODE);
46 operand 1 is the field (also an IDENTIFIER_NODE).
47 The COMPLEXITY field holds the class level (usually 0). */
48 DEFTREECODE (SCOPE_REF, "scope_ref", 'r
', 2)
50 /* When composing an object with a member, this is the result.
51 Operand 0 is the object. Operand 1 is the member (usually
52 a dereferenced pointer to member). */
53 DEFTREECODE (MEMBER_REF, "member_ref", 'r
', 2)
55 /* Type conversion operator in C++. TREE_TYPE is type that this
56 operator converts to. Operand is expression to be converted. */
57 DEFTREECODE (TYPE_EXPR, "type_expr", 'e
', 1)
59 /* For AGGR_INIT_EXPR, operand 0 is function which performs initialization,
60 operand 1 is argument list to initialization function,
61 and operand 2 is the slot which was allocated for this expression. */
62 DEFTREECODE (AGGR_INIT_EXPR, "aggr_init_expr", 'e
', 3)
64 /* A throw expression. operand 0 is the expression, if there was one,
65 else it is NULL_TREE. */
66 DEFTREECODE (THROW_EXPR, "throw_expr", 'e
', 1)
68 /* Initialization of a vector, used in build_new. Operand 0 is the target
69 of the initialization, operand 1 is the initializer, and operand 2 is
70 the number of elements. */
71 DEFTREECODE (VEC_INIT_EXPR, "vec_init_expr", 'e
', 3)
73 /* Template definition. The following fields have the specified uses,
74 although there are other macros in cp-tree.h that should be used for
76 DECL_ARGUMENTS template parm vector
77 DECL_TEMPLATE_INFO template text &c
78 DECL_VINDEX list of instantiations already produced;
79 only done for functions so far
81 DECL_INITIAL associated templates (methods &c)
83 For non-class templates:
84 TREE_TYPE type of object to be constructed
85 DECL_RESULT decl for object to be created
86 (e.g., FUNCTION_DECL with tmpl parms used)
88 DEFTREECODE (TEMPLATE_DECL, "template_decl", 'd
', 0)
90 /* Index into a template parameter list. The TEMPLATE_PARM_IDX gives
91 the index (from 0) of the parameter, while the TEMPLATE_PARM_LEVEL
92 gives the level (from 1) of the parameter.
96 template
<class T
> // Index
0, Level
1.
99 template
<class U
, // Index
0, Level
2.
100 class V
> // Index
1, Level
2.
104 The DESCENDANTS will be a chain of TEMPLATE_PARM_INDEXs descended
105 from this one. The first descendant will have the same IDX
, but
106 its LEVEL will be one less. The TREE_CHAIN field is used to chain
107 together the descendants. The TEMPLATE_PARM_DECL is the
108 declaration of this parameter
, either a TYPE_DECL or CONST_DECL.
109 The TEMPLATE_PARM_ORIG_LEVEL is the LEVEL of the most distant
110 parent
, i.e.
, the LEVEL that the parameter originally had when it
111 was declared. For example
, if we instantiate S
<int
>, we will have
:
115 template
<class U
, // Index
0, Level
1, Orig Level
2
116 class V
> // Index
1, Level
1, Orig Level
2
120 The LEVEL is the level of the parameter when we are worrying about
121 the types of things
; the ORIG_LEVEL is the level when we are
122 worrying about instantiating things.
*/
123 DEFTREECODE (TEMPLATE_PARM_INDEX
, "template_parm_index", 'x',
124 /* The addition
of (sizeof(char*)
- 1) in the next
125 expression is to ensure against the case where
126 sizeof(char*) does not evenly divide
127 sizeof(HOST_WIDE_INT
).
*/
128 2 + ((3 * sizeof (HOST_WIDE_INT
) + sizeof(char*)
- 1)
131 /* Index into a template parameter list. This parameter must be a type.
132 The TYPE_FIELDS value will be a TEMPLATE_PARM_INDEX.
*/
133 DEFTREECODE (TEMPLATE_TYPE_PARM
, "template_type_parm", 't', 0)
135 /* Index into a template parameter list. This parameter must be a type.
136 If it is used in signature of a template
, TEMPLATE_INFO is NULL_TREE.
137 Otherwise it is used to declare a type like TT
<int
>.
138 The TYPE_FIELDS value will be a TEMPLATE_PARM_INDEX.
*/
139 DEFTREECODE (TEMPLATE_TEMPLATE_PARM
, "template_template_parm", 't', 0)
141 /* A type designated by
'typename T::t'.
*/
142 DEFTREECODE (TYPENAME_TYPE
, "typename_type", 't', 0)
144 /* A thunk is a stub function.
146 Thunks are used to implement multiple inheritance
:
147 At run
-time
, such a thunk subtracts
THUNK_DELTA (an int
, not a tree
)
148 from the this pointer
, and then jumps to DECL_INITIAL
149 (which is an ADDR_EXPR whose operand is a FUNCTION_DECL
).
151 Other kinds of thunks may be defined later.
*/
152 DEFTREECODE (THUNK_DECL
, "thunk_decl", 'd', 0)
154 /* A using declaration. DECL_INITIAL contains the specified scope.
155 This is not an alias
, but is later expanded into multiple aliases.
*/
156 DEFTREECODE (USING_DECL
, "using_decl", 'd', 0)
158 /* An un
-parsed default argument. Looks like an IDENTIFIER_NODE.
*/
159 DEFTREECODE (DEFAULT_ARG
, "default_arg", 'c', 2)
161 /* A template
-id
, like foo
<int
>. The first operand is the template.
162 The second is the list of explicitly specified arguments. The
163 template will be a FUNCTION_DECL
, TEMPLATE_DECL
, or a list of
164 overloaded functions and templates if the template
-id refers to
165 a global template. If the template
-id refers to a member template
,
166 the template may be an IDENTIFIER_NODE.
*/
167 DEFTREECODE (TEMPLATE_ID_EXPR
, "template_id_expr", 'e', 2)
169 /* An association between namespace and entity. Parameters are the
170 scope and
the (non
-type
) value.
171 TREE_TYPE indicates the type bound to the name.
*/
172 DEFTREECODE (CPLUS_BINDING
, "binding", 'x', 2)
174 /* A list
-like node for chaining overloading candidates. TREE_TYPE is
175 the original name
, and the parameter is the FUNCTION_DECL.
*/
176 DEFTREECODE (OVERLOAD
, "overload", 'x', 1)
178 /* A generic wrapper for something not tree that we want to include in
180 DEFTREECODE (WRAPPER
, "wrapper", 'x', 1)
182 /* A node to remember a source position.
*/
183 DEFTREECODE (SRCLOC
, "srcloc", 'x', 2)
185 /* Used to represent deferred name lookup for dependent names while
186 parsing a template declaration. The first argument is an
187 IDENTIFIER_NODE for the name in question. The TREE_TYPE is
189 DEFTREECODE (LOOKUP_EXPR
, "lookup_expr", 'e', 1)
191 /* A whole bunch of tree codes for the initial
, superficial parsing of
193 DEFTREECODE (MODOP_EXPR
, "modop_expr", 'e', 3)
194 DEFTREECODE (CAST_EXPR
, "cast_expr", '1', 1)
195 DEFTREECODE (REINTERPRET_CAST_EXPR
, "reinterpret_cast_expr", '1', 1)
196 DEFTREECODE (CONST_CAST_EXPR
, "const_cast_expr", '1', 1)
197 DEFTREECODE (STATIC_CAST_EXPR
, "static_cast_expr", '1', 1)
198 DEFTREECODE (DYNAMIC_CAST_EXPR
, "dynamic_cast_expr", '1', 1)
199 DEFTREECODE (SIZEOF_EXPR
, "sizeof_expr", '1', 1)
200 DEFTREECODE (ALIGNOF_EXPR
, "alignof_expr", '1', 1)
201 DEFTREECODE (ARROW_EXPR
, "arrow_expr", 'e', 1)
202 DEFTREECODE (DOTSTAR_EXPR
, "dotstar_expr", 'e', 2)
203 DEFTREECODE (TYPEID_EXPR
, "typeid_expr", 'e', 1)
205 DEFTREECODE (EXPR_STMT
, "expr_stmt", 'e', 1)
206 DEFTREECODE (COMPOUND_STMT
, "compound_stmt", 'e', 1)
207 DEFTREECODE (DECL_STMT
, "decl_stmt", 'e', 3)
208 DEFTREECODE (IF_STMT
, "if_stmt", 'e', 3)
209 DEFTREECODE (FOR_STMT
, "for_stmt", 'e', 4)
210 DEFTREECODE (WHILE_STMT
, "while_stmt", 'e', 2)
211 DEFTREECODE (DO_STMT
, "do_stmt", 'e', 2)
212 DEFTREECODE (RETURN_STMT
, "return_stmt", 'e', 1)
213 DEFTREECODE (BREAK_STMT
, "break_stmt", 'e', 0)
214 DEFTREECODE (CONTINUE_STMT
, "continue_stmt", 'e', 0)
215 DEFTREECODE (SWITCH_STMT
, "switch_stmt", 'e', 2)
216 DEFTREECODE (GOTO_STMT
, "goto_stmt", 'e', 1)
217 DEFTREECODE (ASM_STMT
, "asm_stmt", 'e', 5)
219 DEFTREECODE (CTOR_INITIALIZER
, "ctor_initializer", 'e', 2)
220 DEFTREECODE (CASE_LABEL
, "case_label", 'e', 2)
221 DEFTREECODE (RETURN_INIT
, "return_init", 'e', 2)
222 DEFTREECODE (TRY_BLOCK
, "try_stmt", 'e', 2)
223 DEFTREECODE (HANDLER
, "catch_stmt", 'e', 2)
225 DEFTREECODE (TAG_DEFN
, "tag_defn", 'e', 0)
227 /* And some codes for expressing conversions for overload resolution.
*/
229 DEFTREECODE (IDENTITY_CONV
, "identity_conv", 'e', 1)
230 DEFTREECODE (LVALUE_CONV
, "lvalue_conv", 'e', 1)
231 DEFTREECODE (QUAL_CONV
, "qual_conv", 'e', 1)
232 DEFTREECODE (STD_CONV
, "std_conv", 'e', 1)
233 DEFTREECODE (PTR_CONV
, "ptr_conv", 'e', 1)
234 DEFTREECODE (PMEM_CONV
, "pmem_conv", 'e', 1)
235 DEFTREECODE (BASE_CONV
, "base_conv", 'e', 1)
236 DEFTREECODE (REF_BIND
, "ref_bind", 'e', 1)
237 DEFTREECODE (USER_CONV
, "user_conv", 'e', 2)
238 DEFTREECODE (AMBIG_CONV
, "ambig_conv", 'e', 1)
239 DEFTREECODE (RVALUE_CONV
, "rvalue_conv", 'e', 1)