编译原理第四章 语法制导翻译生成中间代码3.pptVIP

上次课程内容回顾 4.5 简单算术表达式与赋值句 4.5.1 简单算术表达式的语法制导翻译 4.5.2 变量的（内部）类型转换 4.5.2 变量的（内部）类型转换（续1） 4.5.2 变量的（内部）类型转换（续2） 4.5.2 变量的（内部）类型转换（续3） 4.6 数组元素的引用 确定映射方式的两种方法 4.6.1 数组元素的地址计算 一维数组元素的地址计算： n维数组元素的地址计算 n维数组元素的地址计算（续1） 4.6.2 数组元素引用的语法制导翻译 4.6.2 （续） 2 属性和函数 3语义规则 上次课程内容回顾 3语义规则 3语义规则（续1） 4 分析举例 数组元素引用的语法制导翻译 主要分析步骤： 4 分析举例（续1） 4.7 布尔表达式4.7.1 布尔表达式的作用与结构 布尔运算的优先级与结合性 4.7.2 布尔表达式的计算方法  1 数值表示的直接计算 2 逻辑表示的短路计算 3 短路计算的必要性 4.7.3 数值表示与直接计算的语法制导翻译 4.7.3 数值表示与直接计算的语法制导翻译（续1） 4.7.3 数值表示与直接计算的语法制导翻译（续2） 4.7.4 短路计算的语法制导定义 4.7.4 短路计算的语法制导定义(续1) 语义规则： 4.7.4 短路计算的语法制导定义(续2) 4.7.4 短路计算的语法制导定义(续3) 4.7.4 短路计算的语法制导定义(续4) 4.7.5 拉链与回填 翻译方案需要解决的两个问题： 上次课程内容 4.7.5 拉链与回填 翻译方案需要解决的两个问题： 短路计算的翻译方案 例4.21：三地址码： 属性与语义规则： 属性与语义规则（续1） 再考虑布尔表达式ab or cd and ef 再考虑布尔表达式ab or cd and ef（续） 4.8 控制语句 控制语句基于的文法: 4.8.1 标号与无条件转移 4.8.1 标号与无条件转移（续1） 4.8.1 标号与无条件转移（续2） 4.8.1 标号与无条件转移（续3） 4.8.2 条件转移1 三地址码序列和语法制导定义 1 三地址码序列和语法制导定义（续1） 1 三地址码序列和语法制导定义（续2） 上次课程内容 4.8.2 条件转移1 三地址码序列和语法制导定义 1 三地址码序列和语法制导定义（续1） 1 三地址码序列和语法制导定义（续2） 2 条件转移的控制流与翻译方案 2 条件转移的控制流与翻译方案（续1） 2 条件转移的控制流与翻译方案（续2） 2 条件转移的控制流与翻译方案（续3） 4.10 本章小结 4.10 本章小结（续1） 4.10 本章小结（续2） 4.10 本章小结（续3） 3 符号表的组织 符号表的条目与信息的存储－直接存储与间接存储； 作用域信息的保存－线性表与散列表，表上的操作，散列函数的计算。 4 声明语句的翻译 定义与声明：类型定义与变量声明，过程定义与过程声明 变量声明：符号表信息的填写； 过程声明： 左值与右值； 参数传递：参数传递的不同形式，各种参数传递形式的处理方式； 名字的作用域：静态作用域与最近嵌套原则； 声明中作用域信息的保存。 属性 .true：表达式的真出口，它指向表达式为真时的转向； 属性 .false：表达式的假出口，它指向表达式为假时的转向； 函数 newlable：与newtemp相似，但它产生的是一个标号而不是一个临时变量。 三地址码序列与.true、.false的关系： 考虑布尔表达式E→E1 or E2，它应该有下述代码序列： E1.code E1.false: E2.code 根据布尔表达式短路计算的逻辑（4.7），上述表达式真、假出口之间存在下述关系： E1.true = E2.true = E.true 和 E2.false = E.false 即首先生成计算表达式E1的中间代码，然后在计算表达式E2的中间代码之前设置一个标号E1.false，使得当表达式E1为假时，转而计算表达式E2。 (1)E→E1 or E2 { E1.true:= E.true; E1.false:=newlabel; E2.true:= E.true; E2.false:=E.false; E.code := E1.code||emit(E1.false :)||E2.code;} (2) |E1 and E2 { E1.false:= E.false; E1.true:=newlabel;