在前面已经介绍了编译程序构造的二个重要阶段，即词 法分析和语法分析。现在再来介绍编译程序的另一个重要阶 段——中间代码生成。虽然在实际应用中，是否采用中间代 码形式是根据实际情况而定的。但事实上，为了使编译程序 的结构清晰、简单、明确，多数编译程序采用了中间代码的 形式。尤其是使用了中间代码的形式，使目标代码优化比较 容易实现。通常以中间代码生成这一阶段来划分编译程序的 前端和后端。对于不同的高级语言只要翻译成相同的中间代 码，再接上一个相同的把中间代码翻译成目标代码的后端， 就可以形成不同的编译程序

一、中间语言 二、简单表达式的中间代码生成 三、原子语句的中间代码生成 四、结构语句的中间代码生成 五、声明的中间代码

第七章语法制导翻译和中间代码生成 7.1语义处理概述 7.2属性文法和语法制导翻译 7.3中间代码生成(一些语句的翻译) 7.4符号表

• 中间代码表示 – 抽象语法树 – 三地址代码：x=y op z • 静态类型检查 – 类型检查（type checking） – 语法分析之后的抽象语法(syntax)检查，比如 break的位置，goto的目标…. • 中间代码生成

何谓中间代码( Intermediate code) Intermediate representation Intermediate language 源程序的一种内部表示,不依赖目标机的结构,易于机械生成 目标代码的中间表示

• 中间代码表示 – 表达式的有向无环图DAG – 三地址代码：x = y op z • 类型检查 – 类型、类型检查、表达式的翻译 • 中间代码生成 – 控制流、回填

第八章语法制导翻译和中间代码生成 8.1概述 8.2属性文法和语法制导翻译 8.3语义分析 8.4中间代码 8.5一些语句的翻译

第八章语法制导翻译和中间代码生成 8.1概述 8.2属性文法和语法制导翻译 8.3语义分析 8.4中间代码 8.5一些语句的翻译

－中间代码形式 －控制流语句翻译

词法分析、语法分析、语法制导翻译及中间代码生成是编译的前端，而目标代码的生成是编译的后端，编译优化是可选部件。代码生成的任务是在编译前端生成的中间代码的基础上，生成等价有效的目标代码，这也是一种程序变换，变换的结果是产生目标代码。等价是任一种程序变换的基本要求，因此讨论将集中在目标代码和如何产生有效的目标代码上。所谓有效，当然是指目标代码占用的空间要省，运行的时间要短，这涉及充分利用寄存器和生成优化的代码序列的问题