编译原理-第六章 中间代码生成

1. 语法树的变体

1.1 表达式的有向无环图

1.2 构造DAG的值编码方法

2. 三地址代码

2.1 地址和指令

2.2 四元式表示

2.3 三元式表示

2.4 静态单赋值形式

3. 类型和声明

3.1 类型表达式

3.2 类型等价

3.3 声明

3.4 局部变量名的存储布局

3.5 声明的序列

3.6 记录和类中的字段

4. 表达式的翻译

4.1 表达式中的运算

4.2 增量翻译

4.3 数组元素的寻址

4.4 数组引用的翻译

 

5. 类型检查

5.1 类型检查规则

5.2 类型转换

5.3 函数和运算符的重载

5.4 类型推导和多态函数

5.5 一个合一算法

6. 控制流

6.1 布尔表达式

6.2 短路代码

6.3 控制流语句

6.4 布尔表达式的控制流翻译

6.5 避免生成冗余的goto指令

6.6 布尔值和跳转代码

 

7. 回填

7.1 使用回填技术的一趟式目标代码生成

7.2 布尔表达式的回填

7.3 控制转移语句

7.4 break语句、continue语句和goto语句

8. switch语句

8.1 switch语句的翻译

8.2 switch语句的语法制导翻译

9. 过程的中间代码