编译原理7.4-布尔表达式的翻译.ppt

1、第七章 语义分析和中间代码生成,7.1 中间语言 7.2 说明语句 7.3 赋值语句的翻译 7.4 布尔表达式的翻译 7.5 控制语句的翻译 7.6 过程调用的处理 7.7 类型检查,7.4 布尔表达式的翻译,布尔表达式文法G EE1 or E2 | E1 and E2 | not E1 | ( E1 ) | id1 relop id2 | true | false | id3 布尔运算符: or 、and 、 not 关系运算符: relop：、和 布尔常量: true和false 布尔变量: id3,计算布尔表达式的值通常有两种办法,1. 如同计算算术表达式，一步不差地从表达式各部分的值计

2、算出整个表达式的值。,1 or (not 0 and 0) or 0 = 1 or (1 and 0) or 0 = 1 or 0 or 0 = 1 or 0 = 1,2. 采取某种优化措施, 只计算部分表达式,把A or B解释成 if A then true else B,把A and B解释成 if A then B else false,把not A解释成 if A then false else true,布尔表达式的两个作用,计算逻辑值 1 or（not 0 and 0）or 0 用做改变控制流语句中的条件表达式 if-then if-then-else while-do 以上对应

3、两种不同的翻译方案,7.4.1 数值表示法,从左到右按类似算术表达式的求值方法来计算 例如，对于布尔表达式： a or b and not c 将被翻译成如下三地址序列： T1 := not c T2 := b and T1 T3 := a or T2,一个形如 ab 的关系表达式可等价地写成 if ab then 1 else 0， 并可将它翻译成如下三地址语句序列 （我们假定语句序号从100开始）,(100) if ab goto 103 (101) T:=0 (102) goto 104 (103) T:= 1 (104),T 临时变量，存放布尔表达式ab的值,例7.2 翻译布尔表达式

4、ab or cd and ef,7.4.2 作为条件控制的布尔式翻译,出现在条件语句 if E then S1 else S2 中的布尔表达式E, 它的作用仅在于控制对S1和S2的选择。 无须保留E的值。,表7.15 if then else 语句 的代码结构,to E.true,to E.false,E.false:,E.true:,S.next:,“真”出口,“假”出口,例7.3 考虑表达式 : ab or cd and ef,假定整个表达式的真假出口已分别置为Ltrue和Lfalse，则按生成如下的代码：,if ab goto Ltrue goto L1 L1 : if cd goto

5、L2 goto Lfalse L2 : if ef goto Ltrue goto Lfalse,if ab or cd and ef then S1 else S2 的四元式序列,(1) ifabgoto(7) / E.true (2) goto(3) (3) ifcdgoto(5) (4) goto (p+1) / E.false (5) ifefgoto(7)/ E.true (6) goto (p+1) / E.false (7) (关于S1的四元式) (p) goto (q) (p+1) (关于S2的四元式) (q),回填 : (1)和(5)的转移地址为(7), 它是在整个布尔表达式的四元式序列生成之后才回填的地址。,if AB goto 102 goto 106 if CD goto 104 goto 106 t:= yz x:= t ,if AB and CD then x:=y+z,100if AB goto 102 101goto107 102ifCD got