读《编译原理》第六章，中间代码生成

229 / 631 页

6.1 语法树的实现

     表达式的有向无环图

6.2 三地址代码

     一条指令的右侧最多有一个运算符。

     地址和指令

6.3 类型和声明

     局部变量名的存储布局

     记录和类中的字段

6.4 表达式的翻译

     表达式中的运算

     增量翻译

     数组元素的寻址

     数组引用的翻译

6.5 类型检查

6.6 控制表

6.7 回填

6.8 Switch 语句

6.9 过程的中间代码

6.10 总结

选择一个中间表示形式

翻译表达式

检查类型

使用符号表来实现声明

将数组扁平化

为布尔表达式产生跳转代码

用控制流实现语句

可以选择使用回填技术

实现记录

UNCOL （面向所有编译器的语言）

成熟的实现