com0405-07西安电子科技大学编译原理课件.pptVIP

上次课程内容回顾 4.6.2 数组元素引用的语法制导翻译 2 属性和函数 3语义规则 3语义规则（续1） 4 分析举例 数组元素引用语法制导翻译的产生式 主要分析步骤： 4 分析举例（续1） 4.7 布尔表达式4.7.1 布尔表达式的作用与结构 4.7.2 布尔表达式的计算方法  1 数值表示的直接计算 2 逻辑表示的短路计算 3 短路计算的必要性 4.7.3 数值表示与直接计算的语法制导翻译 4.7.3 数值表示与直接计算的语法制导翻译（续） 结 束（2005年5月9日）提示：下次课讲第三次上机作业 上次课程内容回顾 4.7.4 短路计算的语法制导定义 语义规则： 4.7.4 短路计算的语法制导定义(续1) 4.7.4 短路计算的语法制导定义(续2) 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） 结 束（2005年5月16日） 上次课程内容回顾 4.8.2 条件转移1 三地址码序列和语法制导定义 1 三地址码序列和语法制导定义（续1） 1 三地址码序列和语法制导定义（续2） 2 条件转移的控制流与翻译方案 2 条件转移的控制流与翻译方案（续1） 2 条件转移的控制流与翻译方案（续2） 2 条件转移的控制流与翻译方案（续3） 4.10 本章小结 4.10 本章小结（续1） 4.10 本章小结（续2） 短路计算的语法制导翻译 语法制导定义： 属性：.true、.false 属性之间的关系 存在的问题：如何得到属性之间的关系，特别当三地址码的地址未知时 拉链与回填技术： 未知时拉链，已知后回填 属性：.tc、.fc 拉链：mkchain/merge 回填：backpatch 语法制导翻译 控制流语句 控制流语句的种类 goto语句的语法制导翻译（利用符号表和拉链与回填技术） 属性.begin：语句S开始的三地址码序号 属性.next： 语句S结束后的三地址码 序号 S→if E then S1 ： E.code E.true: S1.code E.false: ... (1) S→if E then S1 { E.true:=newlabel; E.false:=S.next; S1.next:=S.next; } 已有属性： .true .tc .false .fc S.code:=E.code||emit(E.true :)||S1.code; S→if E then S1 else S2 ： E.code E.true: S1.code goto S.next E.false: S2.code S.next: ... (2) S→if E then S1 else S2 { E.true :=newlabel; E.false:=newlabel; S1.next:=S.next; S2.next:=S.next; } S.code := E.code || emit(E.true :) || S1.code || emit(goto S.next) || emit(E.false :) || S2.code; S→while E do S1 ： S.begin: E.code E.true: S1.code goto S.begin E.false: ... (3) S→while E do S1 { S.begin := newlabel; E.true := newlabel; E.false := S.next; S1.next := S.begin; } S.code := emit(S.begin :) || E.code || emit(E.true :) || S1.code || emit(goto S.begin) || emit(E.false :); 问