编译原理-6-中间代码生成

目录

1 类型表达式

2 声明语句的翻译

3 简单赋值语句的翻译

4 数组引用的翻译

5 控制流语句及其SDT

6 布尔表达式及其SDT

7 控制流翻译的例子

8 布尔表达式的回填

9 控制流语句的回填

10 switch语句的翻译

11 过程调用语句的翻译

---

1 类型表达式

局部变量的存储分配

对于声明语句，语义分析的主要任务就是收集标识符的 类 型 等属性信息，并为每一个名字分配一个 相对地址

    从类型表达式可以知道该类型在运行时刻所需的存储单元数量称为 类型的宽度 ( width)

    在 编译时刻 ，可以使用类型的宽度为每一个名字分配一个 相对地址

名字的 类型 和 相对地址 信息保存在相应的 符号表 记录中

2 声明语句的翻译

3 简单赋值语句的翻译

4 数组引用的翻译

5 控制流语句及其SDT

6 布尔表达式及其SDT

7 控制流翻译的例子

基础文法不是LL(1)文法，故不能在自顶向下的分析中同时实现语义翻译；SDT产生式右部中含有内嵌的语义动作，因此要在自底向上的语法分析中进行语义翻译，需要修改文法，引入一些标记非终结符

SDT 的通用实现方法

任何SDT 都可以通过下面的方法实现： 首先建立一棵语法分析树，然后按照从左到右的深度优先顺序来执行这些动作

8 布尔表达式的回填

  回填 (Backpatching)   

生成一个跳转指令时，暂时不指定该跳转指令的 目标标号 。这样的指令都被放入由跳转指令组成的 列表 中。 同一个列表中的所有跳转指令具有相同的目标标号。 等到能够确定正确的目标标号时，才去填充这些指令的目标标号

非终结符B的综合属性

   B.truelist：指向一个包含跳转指令的列表，这些指令最终获得的目标标号就是当B为 真 时控制流应该转向的指令的标号

   B.falselist：指向一个包含跳转指令的列表，这些指令最终获得的目标标号就是当B为 假 时控制流应该转向的指令的标号   

函数

   makelist( i )  创建一个只包含i的列表，i是跳转指令的标号，函数返回指向新创建的列表的指针

   merge( p1, p2 )  将 p1 和 p2 指向的列表进行合并，返回指向合并后的列表的指针

   backpatch( p , i )  将 i 作为目标标号插入到 p所指列表中的各指令中 

9 控制流语句的回填

10 switch语句的翻译

11 过程调用语句的翻译