更新时间:2019-01-04 03:32:25
封面
版权信息
前言
第1章 运行时结构及编译过程概述
1.1 一个简单C程序的运行时结构
1.2 更为复杂C程序的运行时结构
1.3 编译过程概述
1.3.1 词法分析
1.3.2 语法分析
1.3.3 从语法树到中间代码再到目标代码
第2章 词法分析
2.1 词法分析概要说明
2.2 词法分析过程
2.3 状态转换图
2.3.1 状态转换图总体介绍
2.3.2 依托状态转换图展现词法分析过程
2.4 GCC实现词法分析的源代码
2.4.1 词法分析源代码总览
2.4.2 结合GCC源代码讲解词法分析过程
2.4.3 标识符、数字、字符和字符串的详细分析过程
第3章 语法分析
3.1 语法分析综述
3.2 语法分析思路
3.3 产生式
3.3.1 什么是产生式
3.3.2 产生式的具体示例
3.4 匹配产生式,消除左递归
3.4.1 用标准产生式做匹配,出现左递归
3.4.2 消除左递归
3.4.3 产生式的工作效率
3.5 提取左公因子,消除回溯
3.5.1 对“直接声明符”的产生式提取左公因子
3.5.2 用提取过左公因子的产生式再去匹配
3.5.3 对其他产生式都提取左公因子
3.5.4 函数声明和定义两部分产生式的合并
3.6 语法分析结果:语法树
3.7 GCC关于语法分析的源代码解析
3.7.1 GCC语法分析函数调用图
3.7.2 全部语句的语法分析
第4章 语法树到目标代码
4.1 总述语法树到中间代码的转化过程
4.2 目标代码到运行时结构的映射
4.3 语法树转高端gimple
4.3.1 语法树到高端gimple的总体步骤及运行时
4.3.2 高端gimple的实际数据结构
4.3.3 语法树转高端gimple的GCC源代码解析
4.4 高端gimple到低端gimple
4.4.1 高端gimple转低端gimple概述
4.4.2 高端gimple转化低端gimple的GCC代码解析
4.5 低端gimple到cfg
4.5.1 低端gimple到cfg的转化概述
4.5.2 低端gimple转cfg的实际过程
4.6 cfg转ssa
4.7 生成RTL
4.7.1 为何要有RTL
4.7.2 转化RTL阶段的主要步骤
4.7.3 确定初始RTL中的运行时信息
4.8 RTL生成目标代码(汇编)
4.8.1 汇编文件介绍
4.8.2 创建汇编文件
4.8.3 输出汇编文件总入口
4.8.4 全局变量写入汇编文件
4.8.5 函数写入汇编文件
第5章 语句拓展案例的编译过程
5.1 总述各个语句拓展案例的编译过程
5.2 if语句的语法分析
5.2.1 多个变量的声明语句语法分析
5.2.2 if语句的语法分析过程
5.2.3 if…else if语句的语法分析过程
5.3 带标号语句的语法分析
5.4 switch...case、goto、break语句的语法分析过程
5.4.1 switch…case语句
5.4.2 goto语句
5.4.3 分析break语句
5.5 do...while、while、for语句的语法分析过程
5.5.1 do…while语句的语法分析
5.5.2 while语句的语法分析过程
5.5.3 for语句的语法分析过程
5.6 各种语句嵌套组合的语法分析过程
5.6.1 两条变量声明语句分析的结果
5.6.2 分析while循环语句
5.6.3 进入if进行分析
5.6.4 进入else进行分析
5.7 所有案例语法树转中间结构的过程
5.7.1 案例1的语法树转高端gimple的总体介绍
5.7.2 案例1的语法树转高端gimple的代码分析
5.7.3 案例1的高端gimple转低端gimple
5.7.4 案例1的低端gimple到cfg
5.7.5 转化RTL阶段的主要步骤
5.7.6 案例2的语法树转高端gimple
5.7.7 案例3的语法树转高端gimple
第6章 数据拓展案例的编译过程
6.1 数据拓展案例的编译过程总述
6.1.1 基础类型数据总述
6.1.2 用户自定义类型数据总述
6.1.3 指针类型数据总述
6.1.4 作用域和生存期总述
6.1.5 表达式总述
6.2 基础类型数据的语法分析过程
6.2.1 非浮点型数据的语法分析