]>
Commit | Line | Data |
---|---|---|
8d08fdba MS |
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) | |
6 | ||
7 | This file is part of GNU CC. | |
8 | ||
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) | |
12 | any later version. | |
13 | ||
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. | |
18 | ||
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 | |
e9fa0c7c | 21 | the Free Software Foundation, 59 Temple Place - Suite 330, |
9efb75d6 | 22 | Boston, MA 02111-1307, USA. */ |
8d08fdba MS |
23 | |
24 | ||
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. */ | |
0a6969ad | 30 | DEFTREECODE (OFFSET_REF, "offset_ref", 'r', 2) |
8d08fdba | 31 | |
02531345 JM |
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) | |
37 | ||
8d08fdba MS |
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. */ | |
0a6969ad JC |
41 | DEFTREECODE (DELETE_EXPR, "dl_expr", 'e', 2) |
42 | DEFTREECODE (VEC_DELETE_EXPR, "vec_dl_expr", 'e', 2) | |
8d08fdba MS |
43 | |
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). */ | |
0a6969ad | 48 | DEFTREECODE (SCOPE_REF, "scope_ref", 'r', 2) |
8d08fdba MS |
49 | |
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). */ | |
0a6969ad | 53 | DEFTREECODE (MEMBER_REF, "member_ref", 'r', 2) |
8d08fdba MS |
54 | |
55 | /* Type conversion operator in C++. TREE_TYPE is type that this | |
56 | operator converts to. Operand is expression to be converted. */ | |
0a6969ad | 57 | DEFTREECODE (TYPE_EXPR, "type_expr", 'e', 1) |
8d08fdba | 58 | |
02531345 | 59 | /* For AGGR_INIT_EXPR, operand 0 is function which performs initialization, |
8d08fdba MS |
60 | operand 1 is argument list to initialization function, |
61 | and operand 2 is the slot which was allocated for this expression. */ | |
213ea7a6 | 62 | DEFTREECODE (AGGR_INIT_EXPR, "aggr_init_expr", 'e', 3) |
8d08fdba | 63 | |
8d2733ca MS |
64 | /* A throw expression. operand 0 is the expression, if there was one, |
65 | else it is NULL_TREE. */ | |
0a6969ad | 66 | DEFTREECODE (THROW_EXPR, "throw_expr", 'e', 1) |
8d08fdba | 67 | |
a80e4195 MS |
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. */ | |
0a6969ad | 71 | DEFTREECODE (VEC_INIT_EXPR, "vec_init_expr", 'e', 3) |
a80e4195 | 72 | |
8d08fdba MS |
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 | |
75 | accessing this data. | |
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 | |
80 | For class template: | |
81 | DECL_INITIAL associated templates (methods &c) | |
82 | DECL_RESULT null | |
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) | |
87 | */ | |
0a6969ad | 88 | DEFTREECODE (TEMPLATE_DECL, "template_decl", 'd', 0) |
8d08fdba | 89 | |
f84b4be9 JM |
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. | |
93 | ||
94 | Here's an example: | |
95 | ||
96 | template <class T> // Index 0, Level 1. | |
97 | struct S | |
98 | { | |
99 | template <class U, // Index 0, Level 2. | |
100 | class V> // Index 1, Level 2. | |
101 | void f(); | |
102 | }; | |
103 | ||
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: | |
112 | ||
113 | struct S<int> | |
114 | { | |
115 | template <class U, // Index 0, Level 1, Orig Level 2 | |
116 | class V> // Index 1, Level 1, Orig Level 2 | |
117 | void f(); | |
118 | }; | |
119 | ||
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. */ | |
f94ae2f5 | 123 | DEFTREECODE (TEMPLATE_PARM_INDEX, "template_parm_index", 'x', |
f84b4be9 JM |
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) | |
129 | / sizeof (char*))) | |
130 | ||
8d08fdba | 131 | /* Index into a template parameter list. This parameter must be a type. |
f84b4be9 | 132 | The TYPE_FIELDS value will be a TEMPLATE_PARM_INDEX. */ |
0a6969ad | 133 | DEFTREECODE (TEMPLATE_TYPE_PARM, "template_type_parm", 't', 0) |
8d08fdba | 134 | |
73b0fce8 KL |
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>. | |
f84b4be9 | 138 | The TYPE_FIELDS value will be a TEMPLATE_PARM_INDEX. */ |
73b0fce8 KL |
139 | DEFTREECODE (TEMPLATE_TEMPLATE_PARM, "template_template_parm", 't', 0) |
140 | ||
5566b478 | 141 | /* A type designated by 'typename T::t'. */ |
0a6969ad | 142 | DEFTREECODE (TYPENAME_TYPE, "typename_type", 't', 0) |
5566b478 | 143 | |
8926095f MS |
144 | /* A thunk is a stub function. |
145 | ||
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). | |
150 | ||
151 | Other kinds of thunks may be defined later. */ | |
0a6969ad | 152 | DEFTREECODE (THUNK_DECL, "thunk_decl", 'd', 0) |
a9aedbc2 | 153 | |
cffa8729 MS |
154 | /* A using declaration. DECL_INITIAL contains the specified scope. |
155 | This is not an alias, but is later expanded into multiple aliases. */ | |
0a6969ad | 156 | DEFTREECODE (USING_DECL, "using_decl", 'd', 0) |
5566b478 | 157 | |
42976354 | 158 | /* An un-parsed default argument. Looks like an IDENTIFIER_NODE. */ |
0a6969ad | 159 | DEFTREECODE (DEFAULT_ARG, "default_arg", 'c', 2) |
42976354 | 160 | |
386b8a85 JM |
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, | |
38e01259 | 166 | the template will be an IDENTIFIER_NODE. */ |
0a6969ad | 167 | DEFTREECODE (TEMPLATE_ID_EXPR, "template_id_expr", 'e', 2) |
386b8a85 | 168 | |
30394414 JM |
169 | /* has two fields: scope and value */ |
170 | /* XXX: could recycle some of the common fields */ | |
171 | DEFTREECODE (CPLUS_BINDING, "binding", 'x', 2) | |
172 | ||
5ffe581d JM |
173 | /* A generic wrapper for something not tree that we want to include in |
174 | tree structure. */ | |
175 | DEFTREECODE (WRAPPER, "wrapper", 'x', 1) | |
176 | ||
42976354 BK |
177 | /* A whole bunch of tree codes for the initial, superficial parsing of |
178 | templates. */ | |
0a6969ad JC |
179 | DEFTREECODE (LOOKUP_EXPR, "lookup_expr", 'e', 2) |
180 | DEFTREECODE (MODOP_EXPR, "modop_expr", 'e', 3) | |
181 | DEFTREECODE (CAST_EXPR, "cast_expr", '1', 1) | |
182 | DEFTREECODE (REINTERPRET_CAST_EXPR, "reinterpret_cast_expr", '1', 1) | |
183 | DEFTREECODE (CONST_CAST_EXPR, "const_cast_expr", '1', 1) | |
184 | DEFTREECODE (STATIC_CAST_EXPR, "static_cast_expr", '1', 1) | |
185 | DEFTREECODE (DYNAMIC_CAST_EXPR, "dynamic_cast_expr", '1', 1) | |
186 | DEFTREECODE (SIZEOF_EXPR, "sizeof_expr", '1', 1) | |
abff8e06 | 187 | DEFTREECODE (ALIGNOF_EXPR, "alignof_expr", '1', 1) |
0a6969ad JC |
188 | DEFTREECODE (ARROW_EXPR, "arrow_expr", 'e', 1) |
189 | DEFTREECODE (DOTSTAR_EXPR, "dotstar_expr", 'e', 2) | |
190 | DEFTREECODE (TYPEID_EXPR, "typeid_expr", 'e', 1) | |
191 | ||
192 | DEFTREECODE (EXPR_STMT, "expr_stmt", 'e', 1) | |
193 | DEFTREECODE (COMPOUND_STMT, "compound_stmt", 'e', 1) | |
194 | DEFTREECODE (DECL_STMT, "decl_stmt", 'e', 3) | |
195 | DEFTREECODE (IF_STMT, "if_stmt", 'e', 3) | |
196 | DEFTREECODE (FOR_STMT, "for_stmt", 'e', 4) | |
197 | DEFTREECODE (WHILE_STMT, "while_stmt", 'e', 2) | |
198 | DEFTREECODE (DO_STMT, "do_stmt", 'e', 2) | |
199 | DEFTREECODE (RETURN_STMT, "return_stmt", 'e', 1) | |
200 | DEFTREECODE (BREAK_STMT, "break_stmt", 'e', 0) | |
201 | DEFTREECODE (CONTINUE_STMT, "continue_stmt", 'e', 0) | |
202 | DEFTREECODE (SWITCH_STMT, "switch_stmt", 'e', 2) | |
203 | DEFTREECODE (GOTO_STMT, "goto_stmt", 'e', 1) | |
ad321293 | 204 | DEFTREECODE (ASM_STMT, "asm_stmt", 'e', 5) |
0a6969ad JC |
205 | |
206 | DEFTREECODE (CTOR_INITIALIZER, "ctor_initializer", 'e', 2) | |
207 | DEFTREECODE (CASE_LABEL, "case_label", 'e', 2) | |
208 | DEFTREECODE (RETURN_INIT, "return_init", 'e', 2) | |
209 | DEFTREECODE (TRY_BLOCK, "try_stmt", 'e', 2) | |
210 | DEFTREECODE (HANDLER, "catch_stmt", 'e', 2) | |
211 | ||
5ffe581d JM |
212 | DEFTREECODE (TAG_DEFN, "tag_defn", 'e', 0) |
213 | ||
214 | /* And some codes for expressing conversions for overload resolution. */ | |
215 | ||
0a6969ad JC |
216 | DEFTREECODE (IDENTITY_CONV, "identity_conv", 'e', 1) |
217 | DEFTREECODE (LVALUE_CONV, "lvalue_conv", 'e', 1) | |
218 | DEFTREECODE (QUAL_CONV, "qual_conv", 'e', 1) | |
219 | DEFTREECODE (STD_CONV, "std_conv", 'e', 1) | |
220 | DEFTREECODE (PTR_CONV, "ptr_conv", 'e', 1) | |
221 | DEFTREECODE (PMEM_CONV, "pmem_conv", 'e', 1) | |
222 | DEFTREECODE (BASE_CONV, "base_conv", 'e', 1) | |
223 | DEFTREECODE (REF_BIND, "ref_bind", 'e', 1) | |
5ffe581d | 224 | DEFTREECODE (USER_CONV, "user_conv", 'e', 2) |
0a6969ad JC |
225 | DEFTREECODE (AMBIG_CONV, "ambig_conv", 'e', 1) |
226 | DEFTREECODE (RVALUE_CONV, "rvalue_conv", 'e', 1) | |
227 | ||
f84b4be9 JM |
228 | /* |
229 | Local variables: | |
230 | mode:c | |
231 | End: | |
232 | */ |