gcc 源码分析-前端篇2

时间：2015-08-11 12:21:09 阅读：119 评论：0 收藏：0 [点我收藏+]

标签：

2. 对ID及保留字的处理
   在c语言中，系统预留了很多关键字，也被称为保留字，比如表示数据类型的int,short,char,控制分支执行的if,then等。
   任何关键字，本质上也是一个ID，比如它也有长度，对int就是3，对short就是5，也有内容，比如int,short。但比起一般id,
   它还有其他一些属性，比如表示数据类型的int,它有一个数值范围，它的值范围是-xxx到xxx之间。
   由于这样的关系，gcc把ID和关键字都保存在一张表中，这张表定义如下：
                                         #define MAX_HASH_TABLE 1009
                                          tree hash_table[MAX_HASH_TABLE];   /* id hash buckets */
   同时定义了一个函数get_identifier (text) 来操纵这一张表：

       函数具体实现就是通过传入的字串查找该id,如果没有则创建这个ID，这里new了一个tree_identifier，同时把它保存在hash_table表中，为了加快查找，这里用到了hash算法。在这里我们见到了struct tree_common结构体chain成员的用法，对于hash算法来说，很难避免冲突，对于传入的不同字串，有可能它算出的hash值是一样的，这时候，我们就把相冲突的ID放在chain成员变量中；
      函数的最后给tree_identifier的成员length,pointer附值。

   gcc 在执行之初，便开始创建这些表示数据类型的关键字，比如int,short,char,void,这个在函数init_lex依次创建，并把创建的相对应的
   tree 结点附给：
       ridpointers[(int) RID_INT]
       ridpointers[(int) RID_CHAR]
       ridpointers[(int) RID_VOID]
       ridpointers[(int) RID_SHORT]

   关键字的ID生成了，还有附一些其他参数，这个过程是在init_decl_processing完成；在GCC中要表示一个数据类型，要用到下面的结构：

struct tree_type
{
char common[sizeof (struct tree_common)];
union tree_node *values;
union tree_node *sep;
union tree_node *size;

enum machine_mode mode : 8;
unsigned char size_unit;
unsigned char align;
unsigned char sep_unit;

union tree_node *pointer_to;
union tree_node *reference_to;
int parse_info;
int symtab_address;
union tree_node *name;
union tree_node *max;
union tree_node *next_variant;
union tree_node *main_variant;
union tree_node *basetypes;
union tree_node *noncopied_parts;
/* Points to a structure whose details depend on the language in use. */
struct lang_type *lang_specific;
};
   在表示int型的数据类型中，它的两个成员变量sep，max比较重要; sep表示它的最小值，而max表示它的最大值；

   在函数make_signed_type中创建了一个 INTEGER_TYPE 类型的tree 节点；它实际上是一个 struct tree_type 类型的节点，
   在该函数中，创建的节点的sep,max成员被赋予INTEGER_CST 节点，它实际上是一个struct tree_int_cst类型节点：
struct tree_int_cst
{
char common[sizeof (struct tree_common)];
long int_cst_low;
long int_cst_high;
};

可以看出，它有两个成员特殊成员：int_cst_low，int_cst_high
对于最小值，它给出的值是: int_cst_low=0x80000000,int_cst_high=0xffffffff
对于最大值，它给出的值是：int_cst_low=0x7fffffff,int_cst_high=0x0

它们均是在build_int_2 函数中创建；
在函数make_signed_type的最后layout_type中，设定int 型数据节点的size成员，它也是一个struct tree_int_cst类型节点，只是它的
   int_cst_low值是4,而int_cst_high为0；

   这样int型节点生成了，这个节点数据和它的ID，最后被封装成一个声明类型节点，它用struct tree_decl结构体表示：

struct tree_decl
{
  char common[sizeof (struct tree_common)];
  char *filename;
  int linenum;
  union tree_node *size;
  enum machine_mode mode : 8;
  unsigned char size_unit;
  unsigned char align;
  unsigned char voffset_unit;
  union tree_node *name;
  union tree_node *context;
  int offset;
  union tree_node *voffset;
  union tree_node *arguments;
  union tree_node *result;
  union tree_node *initial;
  char *print_name;
  char *assembler_name;
  struct rtx_def *rtl;    /* acts as link to register transfer language
                   (rtl) info */
  int frame_size;        /* For FUNCTION_DECLs: size of stack frame */
  struct rtx_def *saved_insns;    /* For FUNCTION_DECLs: points to insn that
                   constitutes its definition on the
                   permanent obstack.  */
  int block_symtab_address;
  /* Points to a structure whose details depend on the language in use.  */
  struct lang_decl *lang_specific;
};

可以看出，这是一个巨复杂的结构，int 类型节点转变成一个int 声明节点过程中，它将生成一个struct tree_decl节点，它的
成员变量name将是int 的ID节点值，它的type 就是刚刚生成的int 节点，这个int 声明节点最后会被放入到记录全局节点的
global_binding_level中，
global_binding_level->name 指向刚刚创建的int 声明节点；

在init_decl_processing函数接下来将创建char 类型节点，unsigned int 类型，short 类型，这些值都回放入global_binding_level->name
然后通过chain连接起来；

总结一下，gcc 用hash表来储存所有的ID,包括保留字；gcc 对于内建的数据类型(int,short,char)在初始化时会生成tree_decl 结构的结点，
并把它记录在global_binding_level的name变量中，这个name始终指向最后一个声明的结点，并通过节点的chain串接起来。

gcc 源码分析-前端篇2

标签：

原文地址：http://blog.csdn.net/sstower/article/details/47417073

踩

(0)

评论一句话评论（0）

分享档案

更多>

2021年07月29日 (22)
2021年07月28日 (40)
2021年07月27日 (32)
2021年07月26日 (79)
2021年07月23日 (29)
2021年07月22日 (30)
2021年07月21日 (42)
2021年07月20日 (16)
2021年07月19日 (90)
2021年07月16日 (35)

周排行