西安电子科技学编译原理04-6.pptVIP

4.8 布尔表达式4.8.1 布尔表达式的作用与结构 布尔运算的优先级与结合性 4.8.2 布尔表达式的计算方法  1 数值表示的直接计算 2 逻辑表示的短路计算 3 短路计算的必要性 3 短路计算的必要性 4.8.3 数值表示与直接计算的语法制导翻译 4.8.3 数值表示与直接计算的语法制导翻译（续1） 4.8.3 数值表示与直接计算的语法制导翻译（续2） 4.8.4 短路计算的语法制导定义 4.8.4 短路计算的语法制导定义(续1) 4.8.4 短路计算的语法制导定义(续2) 语义制导定义： 4.8.4 短路计算的语法制导定义(续4) 4.8.4 短路计算的语法制导定义(续5) 短路计算的翻译方案 例4.40：三地址码： 短路计算的翻译方案 短路计算的翻译方案 属性与语义规则（续1） 再考虑布尔表达式ab or cd and ef 再考虑布尔表达式ab or cd and ef（续） 4.9 控制语句 条件转移/无条件转移语句基于的文法: G4.14 4.9.1 标号与无条件转移 4.9.1 标号与无条件转移（续1） 4.9.1 标号与无条件转移（续2） 4.9.1 标号与无条件转移（续3） 4.9.2 条件转移1 三地址码序列和语法制导定义 1 三地址码序列和语法制导定义（续1） 1 三地址码序列和语法制导定义（续2） 2 条件转移的控制流与翻译方案 2 条件转移的控制流与翻译方案（续1） 2 条件转移的控制流与翻译方案（续2） 2 条件转移的控制流与翻译方案（续3） 4.12 本章小结 4.12 本章小结（续1） 4.12 本章小结（续2） 4.12 本章小结（续3） Type：用于区分标识符的种类，每个符号表条目均应有该信息域。如变量、类型、标号、或 未知种类的符号。 S.begin: E.code E.true: S1.code goto S.begin E.false: ... (5) 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 :); 特点：S1、S2、S3的结束均使得整个条件语句结束。 例1： if E1 then if E2 then S1 else S2 else S3 的控制流： 采用什么方法，让S1、S2、S3结束后均转向条件语句的结束？ 即：如何在一遍分析中确定语句中所有可能的正确转向。 问题：条件转移语句有多个出口 例2： while E3 do while E4 do S4 的控制流： 同样问题：如何在一遍分析中确定语句中所有可能的正确转向？ 解决方案：拉链与回填 语义规则： (1)M→ε (2)S→if E then M S1 (3)N→ε (4)S→if E then M1 S1 N else M2 S2 (5)S→while M1 E do M2 S1 (6)S→A S→if E then S1 ： E.code E.true: S1.code E.false: ... E.code E.true: S1.code goto S.next E.false: S2.code S.next: ... {backpatch(E.tc,M1.stat); backpatch(E.fc,M2.stat); S.nc:=merge(S1.nc,merge(N.nc,S2.nc));} { backpatch(S1.nc,M1.stat); backpatch(E.tc,M2.stat); S.nc:=E.fc; emit(goto M1.stat); } {S.nc := mkchain(); // 空链 } 下一页 {M.stat:=nextstat;} {backpatch(E.tc,M.stat);S.nc:= merge(E.fc,S1.nc);} {N.nc:= mkchain(nextstat); emit(goto -);} 已有属性.tc，.fc：布尔表达式的真、假出口链 属性.nc：语句结束后的转向。未确定时拉链，确定后回填 S.begin: E.code E.t