GCC-3.4.6源代码学习笔记（2）

1.1.1. tree_code —— 树节点的ID

在tree_node的定义中，结构体，象tree_type，tree_decl 等，用于代表相应的语法成分。比如，tree_type用于类的定义，而type_decl用于声明。但如果需要进一步分别，比如tree_decl节点为何种声明，则我们需要用到在tree_node中的另一个位。这就是在tree_common定义中，第134行的code。

 

31    #define DEFTREECODE(SYM, NAME, TYPE, LENGTH) SYM,

32   

33    enum tree_code {                                                                                              in tree.h

34    #include "tree.def"

35   

36      LAST_AND_UNUSED_TREE_CODE    /* A convenient way to get a value for

37                                          NUM_TREE_CODE.  */

38    };

39   

40    #undef DEFTREECODE

 

另外在C++前端中，枚举类型（enum）cplus_tree_code被附加到上述枚举定义的最后。

 

887  enum cplus_tree_code {                                                                              in cp-tree.h

888    CP_DUMMY_TREE_CODE = LAST_C_TREE_CODE,

889  #include "cp-tree.def"

890    LAST_CPLUS_TREE_CODE

891  };

 

文件tree.def定义了tree_code中前端通用的值。这个文件的内容是一系列的DEFTREECODE。而上面第31行，DEFTREECODE被定义成其中的一个域。这是GCC大量使用的技术。文件tree.def的内容显示在下面的表中。

节点码（tree code）	类型	描述
ERROR_MARK	x	一个错误构造的解析。
IDENTIFIER_NODE	x	代表名字（例如，代表声明的节点的DECL_NAME 成员）。
TREE_LIST	x	tree_list的集合。
TREE_VEC	x	tree_vec节点
BLOCK	b	代码块
VOID_TYPE	t	Void类型
INTEGER_TYPE	t	所有语言的整数类型，包括C中的char。
REAL_TYPE	t	C的float和double。
COMPLEX_TYPE	t
VECTOR_TYPE	t
ENUMERAL_TYPE	t	C的enum。
BOOLEAN_TYPE	t	Pascal的boolean类型（true或者false是唯一的值）。
CHAR_TYPE	t	Pascal的CHAR类型，不用于C。
POINTER_TYPE	t	所有指针类型。
OFFSET_TYPE	t	偏移，相对于对象的指针。
REFERENCE_TYPE	t	C++的引用。
METHOD_TYPE	t	第一个参数不出现在参数列表，且指向“自己”的函数类型（C++中的类成员函数）。
FILE_TYPE	t	仅用于Pascal;
ARRAY_TYPE	t
SET_TYPE	t	Pascal中的sets类型。
RECORD_TYPE	t	C中的struct，或者Pascal中的record。
UNION_TYPE	t	C中的union。和struct类似，但所有成员的偏移均为0。
QUAL_UNION_TYPE	t
FUNCTION_TYPE	t	函数类型
LANG_TYPE	t	特定于语言的类型
INTEGER_CST	c	包含32位长的成员TREE_INT_CST_LOW 和TREE_INT_CST_HIGH , 可表示64位大小的常量。
REAL_CST	c	代表浮点常量。
COMPLEX_CST	c	表示复数常量
VECTOR_CST	c	表示vector类型常量
STRING_CST	c	表示字符串常量
FUNCTION_DECL	d	函数声明
LABEL_DECL	d	标示（label）声明
CONST_DECL	d	常量声明
TYPE_DECL	d	类型声明（例如：class A;）
VAR_DECL	d	局部变量，全局变量，外部变量，静态变量的声明
PARM_DECL	d	函数参数声明
RESULT_DECL	d	函数返回值声明
FIELD_DECL	d	Struct/union/class的非方法（method）成员声明
NAMESPACE_DECL	d	名字空间声明
TRANSLATION_UNIT_DECL	d	编译单元，由GCC使用
COMPONENT_REF	r	Struct/union/class的非方法（method）成员的引用
BIT_FIELD_REF	r	Struct/union/class的位集（bit-field）成员的引用
INDIRECT_REF	r	C中的一元操作符*或者Pascal中的^
BUFFER_REF	r	Pascal中，用于文件的^
ARRAY_REF	r	通过索引指定的数组元素
ARRAY_RANGE_REF	r	通过索引指定的数组子集
VTABLE_REF	r	通过索引指定的虚表元素。带有虚表垃圾收集器需要的数据。其中操作数0是一个ARRAY_REF（或等效的表达式），操作数1是虚表的基地址（必须是VAR_DECL），操作数2是索引（必须为INTEGER_CST）
CONSTRUCTOR	e	构造函数
COMPOUND_EXPR	e	复合表达式
MODIFY_EXPR	e	赋值表达式
INIT_EXPR	e	用于初始化的表达式。其中，操作数0是被初始化的变量，操作数1是初始值
TARGET_EXPR	e	其中，操作数0是初始化的目标，操作数1是初始值，操作数2，如果有，是清除操作。操作数3则是该节点展开后（亦即初始化执行后）所保存的初始值，这样我们可以反复展开这个节点。
COND_EXPR	e	条件表达式(C中为：... ? ... : ...)。其中，操作数0为条件。操作数1为then的值。操作数2为else的值。操作数0可以为任意类型。操作数1必须和整个表达式的类型相同，除非它无条件地抛出异常，而在这种情况下，它应该是void类型。对操作数2，有同样的要求。
BIND_EXPR	e	声明临时变量，包括生成对应的RTL对象及分配空间。操作数0是一串VAR_DECL节点。操作数1是使用这些变量的表达式，其值是BIND_EXPR的值。操作数3是对于的代码块，用于debug的目的。
CALL_EXPR	e	函数调用。操作数0是所调用的函数。操作数1是参数列表。
WITH_CLEANUP_EXPR	e	指定一个求值，连同相应的清除操作。操作数0为对应的表达式。操作数1是对应的清除操作。操作数2是最终代表这个值的RTL_EXPR。
CLEANUP_POINT_EXPR	e	指定一个清除操作。操作数0是需要执行清除操作的表达式。在该表达式展开后，这些清除操作被执行。
PLACEHOLDER_EXPR	x	表示一个，在对该表达式求值时，由一个WITH_RECORD_EXPR 支持的record（GCC内部表示struct/union/class的结构）。该表达式的类型用于寻找替代它的record。
WITH_RECORD_EXPR	x	提供引用了用于替代PLACEHOLDER_EXPR的record的表达式。操作数1为要使用的record，它具有和PLACEHOLDER_EXPR的操作数0相同的类型。
PLUS_EXPR	2	加法表达式
MINUS_EXPR	2	减法表达式
MULT_EXPR	2	乘法表达式
TRUNC_DIV_EXPR	2	整数除法，商向0取整（丢弃小数位）。
CEIL_DIV_EXPR	2	整数除法，商向正无穷取整（丢弃小数位，加1）。
FLOOR_DIV_EXPR	2	整数除法，商向负无穷取整（丢弃小数位，减1）。
ROUND_DIV_EXPR	2	整数除法，商四舍五入。
TRUNC_MOD_EXPR	2	对应的余数
CEIL_MOD_EXPR	2
FLOOR_MOD_EXPR	2
ROUND_MOD_EXPR	2
RDIV_EXPR	2	浮点除法
EXACT_DIV_EXPR	2	假定不需要取整的除法。在C中用于指针相减。
FIX_TRUNC_EXPR	1	浮点到整型的转换。
FIX_CEIL_EXPR	1
FIX_FLOOR_EXPR	1
FIX_ROUND_EXPR	1
FLOAT_EXPR	1	整型到浮点的转换。
NEGATE_EXPR	1	一元取反操作符
MIN_EXPR	2
MAX_EXPR	2
ABS_EXPR	1	取绝对值
LSHIFT_EXPR	2	对于无符号值为逻辑移位，对有符号值为算术移位
RSHIFT_EXPR	2
LROTATE_EXPR	2
RROTATE_EXPR	2
BIT_IOR_EXPR	2	位操作表达式
BIT_XOR_EXPR	2
BIT_AND_EXPR	2
BIT_NOT_EXPR	2
TRUTH_ANDIF_EXPR	e	ANDIF和ORIF允许不计算第二个操作数，如果表达式的值可以从第一个操作数确定。AND，OR和XOR则永远对第二个操作数求值，不管它的值是否需要。操作数的类型应为BOOLEAN_TYPE或者INTEGER_TYPE
TRUTH_ORIF_EXPR	e
TRUTH_AND_EXPR	e
TRUTH_OR_EXPR	e
TRUTH_XOR_EXPR	e
TRUTH_NOT_EXPR	e
LT_EXPR	<	关系操作符表达式。其中EQ_EXPR和NE_EXPR允许为任何类型。其他操作符只允许为整型（包括指针或枚举类型），或者浮点类型。在所有情况下，操作数必须有相同的类型，而表达式的类型为语言所定义的布尔类型。
LE_EXPR	<
GT_EXPR	<
GE_EXPR	<
EQ_EXPR	<
NE_EXPR	<
UNORDERED_EXPR	<	非序浮点数的比较操作符。
ORDERED_EXPR	<
UNLT_EXPR	<	非序关系表达式，由GCC使用。（GCC提供了内建的宏，进行C99浮点比较操作，以避免在碰到非序操作数时，抛出异常。NaN的浮点数就是非序的）。
UNLE_EXPR	<
UNGT_EXPR	<
UNGE_EXPR	<
UNEQ_EXPR	<
IN_EXPR	2	Pascal中sets的操作。该版本GCC没有使用。
SET_LE_EXPR	<
CARD_EXPR	1
RANGE_EXPR	2
CONVERT_EXPR	1	表示对一个值的类型转换
NOP_EXPR	1	表示一个不需要额外产生代码的转换
NON_LVALUE_EXPR	1	非左值的表达式
VIEW_CONVERT_EXPR	1	代表把一个类型看作为另一个类型。对应于C中的用法：*(type2 *)&X
SAVE_EXPR	e	代表只能求值一次，却会被多次使用的结构（在GCC中，使用一般都会涉及求值，从而对子树进行简化）
UNSAVE_EXPR	e	表示诸如TARGET_EXPRs，SAVE_EXPRs，CALL_EXPRs和RTL_EXPRs，这些被防止多次求值的表达式，需被重置。这样新的expand_expr函数调用将对它们重新求值（re-evaluated）
RTL_EXPR	e	表示对应的RTL结构已被展开成一个序列，当该表达式被展开时，这个序列将被导出（emitted）
ADDR_EXPR	e	C里的‘&’
REFERENCE_EXPR	e	对一个对象的非左值引用或者指针
ENTRY_VALUE_EXPR	e	C++/C不用
FDESC_EXPR	e
COMPLEX_EXPR	2	复数表达式
CONJ_EXPR	1	共轭操作符表达式
REALPART_EXPR	1	实部表达式
IMAGPART_EXPR	1	虚部表达式
PREDECREMENT_EXPR	e	C里的++和--。第二个操作数指明增加或减少的值。对于指针，则是指向对象的大小
PREINCREMENT_EXPR	e
POSTDECREMENT_EXPR	e
POSTINCREMENT_EXPR	e
VA_ARG_EXPR	e	用于实现va_arg
TRY_CATCH_EXPR	e
TRY_FINALLY_EXPR	e
GOTO_SUBROUTINE_EXPR	e	在编译器内部，用于实现TRY_FINALLY_EXPR时，需要的清除操作
LABEL_EXPR	s	被封装为语句的标示定义（A label definition,）
GOTO_EXPR	s
RETURN_EXPR	s
EXIT_EXPR	s	有条件地退出最内层循环
LOOP_EXPR	s	循环
LABELED_BLOCK_EXPR	e	带标识的代码块
EXIT_BLOCK_EXPR	e	退出带标识的代码块，通常返回一个值
EXPR_WITH_FILE_LOCATION	e	用源代码位置信息诠释一个树节点（通常为比表达式）。包括文件名（EXPR_WFL_FILENAME）；行号（EXPR_WFL_LINENO）；和列号（EXPR_WFL_COLNO）
SWITCH_EXPR	e	Switch表达式
EXC_PTR_EXPR	e	运行时的异常对象

表1 在tree.def中定义的树节点

 

在上表中的Type列，下列字母用作类识别码（class code），它们的含义如下：

Ø       'x'表示用于例外（不适合其它类别）。

Ø       't'表示用于类型对象。

Ø       'b'用于代码块。

Ø       'c'用于代表常量的节点

Ø       'd'用于代表声明的节点（同时用于临时变量的引用）。

Ø       'r'用于代表访问存储地址的节点。

Ø       '<'用于比较表达式。

Ø       '1'用于代表一元算术表达式的节点。

Ø       '2'用于代表二元算术表达式的节点。

Ø       's'用于代表“语句”（statement）的表达式的节点，该表达式有副作用（side-effects），但其值不被关注（例如，语句“i=5;”有值5，但这个值被忽略了）。

Ø       'e'用于代表其他类型表达式的节点。

对于r，e，<，1，2，和s类型的节点，它们对应于结构体tree_exp，在DEFTREECODE 的定义中，第四个元素为需要在tree_exp中分配的参数的个数。从而确定了节点对象的大小。而对于其他类型节点，结构体本身大小确定，这第四个元素必须为0。如果定义了特定于语言的x或c类别的节点， 该语言的前端必须对langhook的tree_size挂钩（hook）提供函数，以确定这些节点的大小。

对于C++前端，特定于C++的节点定义于文件cp-tree.def。它们的含义如下。

节点码（tree code）	类型	描述
OFFSET_REF	r	OFFSET_REF节点用于下列两种情形： 1      形如A::m的表达式，其中 A是类（a class）而m是非静态成员（a non-static member）。在这种情况下，操作数0应该为对应于A的类型，操作数1可为FIELD_DECL，BASELINK,，或TEMPLATE_ID_EXPR（对应于m）。 如果地址被使用，这个表达式为指向成员的指针（a pointer-to-member），但如果地址没有被使用，表达式仅表示对象的成员。 这个形式只用于解析阶段；当语义分析完成后，它便不复存在。 2      形如x.*p的表达式。在这种情况下，操作数0 是对应于x的表达式，而操作数1则是类型为指向成员指针的表达式。
PTRMEM_CST	c	指向成员的指针常量。对于指针常量X::Y，宏PTRMEM_CST_CLASS得到X对应的RECORD_TYPE，而PTRMEM_CST_MEMBER得到的是Y对应的声明。
NEW_EXPR VEC_NEW_EXPR	e e	对于NEW_EXPR，操作数0定位操作符中的定位地址（placement list）。操作数1是new声明符（例如：new char[8]）。操作数2是初始值。
DELETE_EXPR VEC_DELETE_EXPR	e e	对于DELETE_EXPR，操作数0是要被摧毁的存储区，操作数1是传给销毁函数的值，以指示是否回收存储区。
SCOPE_REF	r	引用特定的重载的类方法（particular overloaded class method）。操作数0是这个类，操作数1是方法。节点中的COMPLEXITY域指示类的层次（通常为0）
MEMBER_REF	r	引用对象的数据成员。操作数0是对象。操作数1是数据成员（通常由解引用指针得到）
TYPE_EXPR	e	C++中的类型转换操作符。在节点中，TREE_TYPE是该转换符的目标类型。操作数0是要转换的表达式
AGGR_INIT_EXPR	e	在节点中，操作数0是执行初始化操作的函数，操作数1是函数的参数列表，操作数2是为该表达式分配的内存
THROW_EXPR	e	（异常）抛出表达式。操作数0是该表达式，如果该表达式存在，否则为NULL_TREE（C++要求表达式必须出现，但需要考虑混合语言编程的情况）。
EMPTY_CLASS_EXPR	e	表示空的类对象。在节点中TREE_TYPE给出了类的类型。我们使用这种节点避免为空的类生成实例。
ALIAS_DECL	d	作为一个表达式的占位符的声明。用于实现非类域中的匿名union。
BASELINK	x	表示从基类引用的成员函数。在节点中，BASELINK_FUNCTIONS给出对应的FUNCTION_DECL，或者TEMPLATE_DECL，或者OVERLOAD，或者TEMPLATE_ID_EXPR 。BASELINK_BINFO给出了定义该方法的基类，换而言之，当调用这个方法时，this指针需要被转换至的类型。BASELINK_ACCESS_BINFO则给出了最初定义这个方法的基类。 BASELINK代表一个表达式。它的TREE_TYPE给出了该表达式的类型。该类型或者是函数类型（FUNCTION_TYPE），获者是方法类型（METHOD_TYPE），或者是以unknown_type_node 代表的重载函数。
TEMPLATE_DECL	d	模板定义。以下节点中的域都有特定用途，虽然在cp-tree.h中，有其他宏会使用这些域。 DECL_ARGUMENTS – 模板参数vector DECL_TEMPLATE_INFO – 模板特定的信息 DECL_VINDEX – 已具现的模板列表；该版本仅用于函数模板。 TREE_TYPE  -- 构建对象的类型 DECL_TEMPLATE_RESULT – 构建对象的声明（例如：对以具现函数模板的FUNCTION_DECL）
TEMPLATE_PARM_INDEX	x	模板参数列表的索引。其中TEMPLATE_PARM_IDX 给出实参的索引（从0开始），而TEMPLATE_PARM_LEVEL给出模板参数的层次（从1开始）。例如：    template <class T> // Index 0, Level 1.    struct S    {       template <class U, // Index 0, Level 2.                 class V> // Index 1, Level 2.       void f();    }; 域TEMPLATE_PARM_DESCENDANTS是由该节点降阶（descend）后的TEMPLATE_PARM_INDEX节点组成的链表。链表中第一个节点将有相同的索引（IDX），但层次（LEVEL）少一级。链表中节点的TREE_CHAIN域将这些降阶的节点（descendants）链在一起。 域TEMPLATE_PARM_DECL则对应这个模板参数的声明，它要么是个类型声明（TYPE_DECL）要么是个常量声明（CONST_DECL）。 域TEMPLATE_PARM_ORIG_LEVEL则是最外层父节点的层次（the LEVEL of the most distant parent），也即最初声明这个模板参数时，对应的层次（the LEVEL that the parameter originally had when it was declared）。例如，如果我们具现S<int>，我们将得到：  struct S<int>  {    template <class U, // Index 0, Level 1, Orig Level 2            class V> // Index 1, Level 1, Orig Level 2    void f();  };  如果我们关注模板的类型，TEMPLATE_PARM_LEVEL表示模板参数的层次；如果我们关注具现，则TEMPLATE_PARM_ORIG_LEVEL是关联的层次。
TEMPLATE_TYPE_PARM	t	类型模板参数。对应的模板参数必须是类类型。而TYPE_FIELDS将包含一个TEMPLATE_PARM_INDEX节点。
TEMPLATE_TEMPLATE_PARM	t	模板模板参数。它必须是类类型。TYPE_FIELDS将包含一个TEMPLATE_PARM_INDEX节点。它不绑定任何模板实参，就像C<TT>中的TT。 TEMPLATE_TEMPLATE_PARM_TEMPLATE_INFO 则是NULL_TREE，TYPE_NAME 则是对应的TEMPLATE_DECL。
BOUND_TEMPLATE_TEMPLATE_PARM	t	类似TEMPLATE_TEMPLATE_PARM，但用于已绑定实参的模板参数，像TT<int>。在此情形下，TEMPLATE_TEMPLATE_PARM_TEMPLATE_INFO 包含模板名和绑定的实参。TYPE_NAME 是一个TYPE_DECL。
TYPENAME_TYPE	t	由类似typename T::t指定的类型。  TYPE_CONTEXT对应T, TYPE_NAME是一个对应于t的IDENTIFIER_NODE 。如果该类型通过template-id来命名， TYPENAME_TYPE_FULLNAME将持有 TEMPLATE_ID_EXPR节点。如果TREE_TYPE不为空，该类型由隐式的类型扩展生成（generated by the implicit typename extension），TREE_TYPE保存了T基类的类型节点（_TYPE from a baseclass of T）。
UNBOUND_CLASS_TEMPLATE	t	形如T::template C的模板模板实参。 TYPE_CONTEXT表示T，模板参数所依赖的对象。TYPE_NAME则是对应C的IDENTIFIER_NODE， 成员类模板。
TYPEOF_TYPE	t	代表由__typeof (expr)指出的类型。TYPE_FIELDS则是要询问的表达式（即例中的expr）。
USING_DECL	d	代表using声明。DECL_INITIAL指明指定的作用域（specified scope）。它不是别名（an alias），但随后它会被展开成多个别名。如果作用域（scope）是依赖的（dependent），该节点的类型是NULL_TYPE，否则就是void类型。
USING_STMT	e	代表using directive。它唯一的操作数是USING_STMT_NAMESPACE
DEFAULT_ARG	x	未被解析的缺省实参（un-parsed default argument）。域TREE_CHAIN用于保存那些，必须在此实参被解析时，已被具现好的函数实例（instantiations of functions that had to be instantiated before the argument was parsed）。注：用于模板
TEMPLATE_ID_EXPR	e	形如foo<int>的template-id。其中第一个操作数是所对应的模板节点。如果没有显式的实参，则第二个操作数是NULL，否则就是代表实参的TREE_VEC。所对应的模板节点可以是FUNCTION_DECL，TEMPLATE_DECL，或者OVERLOAD。而如果template-id表示一个成员模板（member template），所对应的模板节点可能是IDENTIFIER_NODE。
OVERLOAD	x	用于链接候选的重载函数。
WRAPPER	x	用于封装非树节点结构，使其可以链如树结构。
MODOP_EXPR	e
CAST_EXPR	1
REINTERPRET_CAST_EXPR	1
CONST_CAST_EXPR	1
STATIC_CAST_EXPR	1
DYNAMIC_CAST_EXPR	1
DOTSTAR_EXPR	e
TYPEID_EXPR	e
PSEUDO_DTOR_EXPR	e
NON_DEPENDENT_EXPR	e	用于模板中非类型依赖表达式（expression that is not type-dependent）的展位符（placeholder）。当一个非类型依赖的表达式出现在另一个表达式中，我们必须计算这个更大的表达式的类型（compute the type of that larger expression）。这个计算通常会改变原有的表达式，如果那个表达式出现在模板实参列表，这会改变表达式的修饰名（the mangling of that expression）。在这种情况下，我们创建NON_DEPENDENT_EXPR节点来记录原始的表达式（take the place of the original expression）。这个表达式是唯一的操作数，它只用于诊断目的。
CTOR_INITIALIZER	e
TRY_BLOCK	e
EH_SPEC_BLOCK	e
HANDLER	e	HANDLER节点封装了一个对应catch句柄（catch handler）的HANDLER_TYPE节点。在HANDLER_PARMS 中是catch变量的声明，HANDLER_BODY则是catch块
MUST_NOT_THROW_EXPR	e	MUST_NOT_THROW_EXPR封装的是不会抛出异常的表达式，如果这表达式抛出了异常，程序必须调用terminate结束。
TAG_DEFN	e	用于表示，在C++标准，[over.best.ics]节意义下的隐式转换序列。转换序列通过节点的第一个操作数链接在一起，链表中的转换以相反的次序执行。最里层的转换（亦即在链表尾端的节点）必须是代表自身变换（identity conversion）的IDENTITY_CONV）。
IDENTITY_CONV	e
LVALUE_CONV	e
QUAL_CONV	e
STD_CONV	e
PTR_CONV	e
PMEM_CONV	e
BASE_CONV	e
REF_BIND	e
USER_CONV	e
AMBIG_CONV	e
RVALUE_CONV	e

表2 cp-tree.def中定义的树节点