从源代码到AST[编辑源代码]运行预处理器后，GCC 会为源文件的每个函数构造一个抽象语法树 （AST）。AST 是结构树类型的多个连接节点。每个节点都有一个树代码，用于定义树的类型。宏 TREE_CODE（） 用于引用代码。树代码在文件 tree.def 和 c-common.def 中定义。具有不同树代码的树被分组为树类。在 GCC 中定义了以下树类：
除了定义树类型的树代码外，还提供了许多针对每种树类型的不同操作数。例如，赋值表达式有两个操作数，分别对应于表达式的左侧和右侧。宏TREE_OPERAND用于指代操作数。宏IDENTIFIER_POINTER用于查找IDENTIFIER_NODE树所表示的标识符的名称。下表显示了几个树节点、它们的用途和操作数。 每棵树都有一个类型，该类型对应于它所表示的 C 表达式的类型 例如，MODIFY_EXPR节点的类型是左侧操作数的类型。NOP_EXPR树和CONVERT_EXPR树用于类型铸造。 树 NULL_TREE 等效于 NULL。函数 debug_tree（） 将树打印到 stderr。 当一个新的标识符被 lexed 时，它将被添加到 GCC 维护的字符串池中。标识符的树代码为IDENTIFIER_NODE。当再次对相同的标识符进行词法化时，将返回相同的树节点。函数 get_identifier（） 返回标识符的树节点。  在许多函数调用中处理新的变量声明。首先，使用声明的名称、词法分析器返回的类型及其属性调用函数 start_decl（）。该函数调用 grokdeclarator（） 来检查类型和参数节点，并返回一个树，其中包含适合声明的代码：变量的 VAR_DECL，类型TYPE_DECL等。然后，声明将添加到作用域中。作用域包含在函数中创建的所有声明，但不包含全局声明。还有包含全局声明的全局范围。解析函数时，其声明将作为 BLOCK 节点附加到其主体。创建声明时，标识符节点将使用 IDENTIFIER_SYMBOL_VALUE 与声明节点相关联。函数 lookup_name（） 返回给定标识符的声明。当声明离开作用域时，将断言树属性C_DECL_INVISIBLE。 GCC 中不维护符号表。相反，编译器使用标识符池和 C_DECL_INVISIBLE 属性。语言钩子 lang_hooks.decls.getdecls（） 返回链接在一起的作用域中的变量。 函数 start_init（） 和 finish_init（） 用于初始化声明。函数 finish_decl（） 完成声明。对于数组声明，它计算初始化数组的大小。然后调用函数 layout_decl（）。它计算声明的大小和对齐方式。 解析函数取决于其主体的存在。使用与变量声明相同的函数来分析函数声明。对于函数定义，调用函数 start_function（）。然后，编译器解析函数的主体。当函数结束时，调用函数 finish_function（）。 函数 start_decl（） 和 start_function（） 将声明的 attributes 参数作为其参数之一。这些属性在 GCC 手册中进行了描述。属性是 C 的 GNU 实现的扩展。下表列出了其中的一些并解释了它们的用途：
对于每种类型的 C 语句，都有一个函数来构造相应类型的树节点。例如，函数 build_function_call（） 为函数调用构建一个CALL_EXPR节点。它采用函数名称和参数的标识符作为其参数。该函数使用 lookup_name（） 查找函数声明，并使用 default_conversion（） 类型强制转换参数。 解析函数后，使用宏DECL_SAVED_TREE 访问它的身体。它用绑定的BIND_EXPR树表示 局部变量添加到语句中。BIND_EXPR_VARS给出了一连串的 声明的变量。BIND_EXPR_BODY 返回 STATEMENT_LIST 类型的树。 以下 API 允许遍历语句列表并 操纵它：
可以在此级别检测函数 prolog/epilog 为 在 gimplify_function_tree（） 中演示。将语句添加到 函数 epilog，使用TRY_FINALLY_EXPR树。它的第一个操作数是 旧语句，第二个参数是 Epilog 语句。这 tree 的类型指示以下传递执行 语句，当创建函数的公共出口基本块时。 要检测函数 prolog，请在树前加上 使用所需的语句。因此，BIND_EXPR_BODY将拥有 Prolog 和 TRY_FINALLY_EXPR 树。 然后，AST 被转换为 SSA，并最终转换为 RTL 表示。转换是在解析每个函数后还是解析整个文件时进行，由编译器选项 -funit-at-a-time 控制。默认情况下为 false。
|
说点什么...