编译原理7.4–布尔表达式的翻译.pptVIP

第七章 语义分析和中间代码生成 7.1 中间语言 7.2 说明语句 7.3 赋值语句的翻译 7.4 布尔表达式的翻译 7.5 控制语句的翻译 7.6 过程调用的处理 7.7 类型检查 7.4 布尔表达式的翻译 布尔表达式文法G E?E1 or E2 | E1 and E2 | not E1 | ( E1 ) | id1 relop id2 | true | false | id3 布尔运算符: or 、and 、 not 关系运算符: relop：＜、≤、＝、≠、＞和≥ 布尔常量: true和false 布尔变量: id3 计算布尔表达式的值通常有两种办法 1. 如同计算算术表达式，一步不差地从表达式各部分的值计算出整个表达式的值。 2. 采取某种优化措施, 只计算部分表达式 把A or B解释成 if A then true else B 布尔表达式的两个作用 计算逻辑值 1 or（not 0 and 0）or 0 用做改变控制流语句中的条件表达式 if-then if-then-else while-do 以上对应两种不同的翻译方案 7.4.1 数值表示法 从左到右按类似算术表达式的求值方法来计算 例如，对于布尔表达式： a or b and not c 将被翻译成如下三地址序列： T1 := not c T2 := b and T1 T3 := a or T2 一个形如 a＜b 的关系表达式可等价地写成 if a＜b then 1 else 0， 并可将它翻译成如下三地址语句序列 （我们假定语句序号从100开始） 7.4.2 作为条件控制的布尔式翻译 出现在条件语句 if E then S1 else S2 中的布尔表达式E, 它的作用仅在于控制对S1和S2的选择。 无须保留E的值。 例7.3 考虑表达式 : a＜b or c＜d and e＜f 假定整个表达式的真假出口已分别置为Ltrue和Lfalse，则按生成如下的代码： if a＜b or c＜d and e＞f then S1 else S2 的四元式序列 (1) if　a＜b　goto　(7) // E.true (2) goto　(3) (3) if　c＜d　goto　(5) (4) goto (p+1) // E.false (5) if　e＞f　goto　(7) // E.true (6) goto (p+1) // E.false (7) (关于S1的四元式)　　… (p) goto (q) (p+1) (关于S2的四元式)　　… (q) 100 if A＜B goto 102 101 goto　107　 102 if　C＜D goto 104 103 goto 100 104 T∶=Y+Z 105 X∶=T 106 goto 100 107 … * * * 1 or (not 0 and 0) or 0 = 1 or (1 and 0) or 0 = 1 or 0 or 0 = 1 or 0 = 1 把A and B解释成 if A then B else false 把not A解释成 if A then false else true (100) if a＜b goto 103 (101) T:=0 (102) goto 104 (103) T:= 1 (104) T － 临时变量，存放布尔表达式a＜b的值 例7.2 翻译布尔表达式 ab or cd and ef 108: if ef goto 111 109: T3 =0 110: goto 112 111: T3 =1 112: T4 = T2 and T3 113: T5 = T1 or T4 100: if ab goto 103 101: T1 =0 102: goto 104 103: T1 =1 104: if cd goto 107 105: T2 =0 106: goto 108 107: T2 =1 表7.15 if – then – else 语句 的代码结构 S2.code … Goto S.next S1.code E.Code to E.true to E.false E.false: E.true: S.next: “真”出口 “假”出口 if a＜b goto Ltrue goto L1 L1 : if c＜d goto