7 3 1布尔表达式的翻译 - 布尔表达式的翻译1

1、1,编译原理,第七章 语义分析和中间代码产生,2,第七章 语义分析和中间代码产生,中间语言 赋值语句的翻译 布尔表达式的翻译 控制语句的翻译 过程调用的处理,3,第七章 语义分析和中间代码产生,中间语言 赋值语句的翻译 布尔表达式的翻译 控制语句的翻译 过程调用的处理,4,7.4 布尔表达式的翻译,布尔表达式的两个基本作用 用于逻辑演算，计算逻辑值 用于控制语句的条件式 产生布尔表达式的文法 E E or E | E and E | not E | (E) | i rop i | i,5,如同计算算术表达式一样,一步步算 1 or (not 0 and 0) or 0 =1 or (1 and

2、 0) or 0 =1 or 0 or 0 =1 or 0 =1 采用某种优化措施 把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,计算布尔表达式的两种方法,6,第一种翻译法 A or B and C=D翻译成 (1) (=, C, D, T1) (2) (and, B, T1, T2) (3) (or, A, T2, T3) 第二种翻译法适合于作为条件表达式的布尔表达式使用,两种不同的翻译方法,7,7.4.1 数值表示法,a or b

3、 and not c 翻译成 T1 := not c T2 := b and T1 T3 := a or T2 ab的关系表达式可等价地写成 if ab then 1 else 0 ，翻译成 100: if ab goto 103 101: T := 0 102: goto 104 103: T := 1 104:,8,关于布尔表达式的数值表示法的翻译模式,过程emit将三地址代码送到输出文件中 nextstat给出输出序列中下一条三地址语句的地址索引 每产生一条三地址语句后，过程emit便把nextstat加1,9,关于布尔表达式的数值表示法的翻译模式,EE1 or E2 E.place:=

4、newtemp; emit(E.place := E 1.place or E2.place) EE1 and E2 E.place:=newtemp; emit(E.place := E 1.place and E2.place) Enot E1 E.place:=newtemp; emit(E.place := not E 1.place) E(E1) E.place:=E1.place,10,关于布尔表达式的数值表示法的翻译模式,Eid1 relop id2 E.place:=newtemp; emit(if id1.place relop. op id2. place goto nex

5、tstat+3); emit(E.place := 0); emit(goto nextstat+2); emit(E.place:= 1) Eid E.place:=id.place ,ab 翻译成 100: if ab goto 103 101: T:=0 102: goto 104 103: T:=1 104:,11,布尔表达式ab or cd and ef的翻译结果,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

6、 108: if ec or b c goto L2 “真”出口 goto L1 L1: if bd goto L2 “真”出口 goto L3 “假”出口 L2: (关于S1的三地址代码序列) goto Lnext L3: (关于S2的三地址代码序列) Lnext:,14,产生布尔表达式三地址代码的语义规则,每次调用函数newlabel后都返回一个新的符号标号 对于一个布尔表达式E，引用两个标号 E.true是E为真时控制流转向的标号 E.false是E为假时控制流转向的标号,15,产生布尔表达式三地址代码的语义规则,产生式 语义规则 EE1 or E2 E1.true:=E.true; E

7、1.false:=newlabel; E2.true:=E.true; E2.false:=E.false; E.code:=E1.code | gen(E1.false :) | E2.code,16,产生布尔表达式三地址代码的语义规则,产生式 语义规则 EE1 and E2 E1.true:=newlabel; E1.false:=E.false; E2.true:=E.true; E2.false:=E.fasle; E.code:=E1.code | gen(E1.true :) | E2.code,17,产生布尔表达式三地址代码的语义规则,产生式 语义规则 Enot E1 E1.tr

8、ue:=E.false; E1.false:=E.true; E.code:=E1.code E (E1) E1.true:=E.true; E1.false:=E.false; E.code:=E1.code,18,产生布尔表达式三地址代码的语义规则,产生式 语义规则 Eid1 relop id2 E.code:=gen(if id1.place relop.op id2.place goto E.true) | gen(goto E.false) Etrue E.code:=gen(goto E.true) Efalse E.code:=gen(goto E.false),19,考虑如下表

9、达式： ab or cd and ef 假定整个表达式的真假出口已分别置为Ltrue和Lfalse，则按定义将生成如下的代码：,产生式 语义规则 Eid1 relop id2 E.code:=gen(if id1.place relop.op id2.place goto E.true) | gen(goto E.false) EE1 or E2 E1.true:=E.true; E1.false:=newlabel; E2.true:=E.true; E2.false:=E.false; E.code:=E1.code | gen(E1.false :) | E2.code EE1 and

10、E2 E1.true:=newlabel; E1.false:=E.false; E2.true:=E.true; E2.false:=E.fasle; E.code:=E1.code | gen(E1.true :) | E2.code,20,考虑如下表达式： ab or cd and ef 假定整个表达式的真假出口已分别置为Ltrue和Lfalse，按定义写出将生成的代码,产生式 语义规则 EE1 or E2 E1.true:=E.true; E1.false:=newlabel; E2.true:=E.true; E2.false:=E.false; E.code:=E1.code |

11、gen(E1.false :) | E2.code EE1 and E2 E1.true:=newlabel; E1.false:=E.false; E2.true:=E.true; E2.false:=E.fasle; E.code:=E1.code | gen(E1.true :) | E2.code,(Ltrue, Lfalse),(Ltrue, L1),(Ltrue, Lfalse),(L2, Lfalse),(Ltrue, Lfalse),21,考虑如下表达式： ab or cd and ef 假定整个表达式的真假出口已分别置为Ltrue和Lfalse，则按定义将生成如下的代码：,产生式 语义规则 Eid1 relop id2 E.code:=gen(if id1.place relop.op id2.place goto E.true) | gen(goto E.false) EE1 or E2 E1.true:=E.true; E1.false:=newlabel; E2.true:=E.true; E2.false:=E.false; E.code:=E1.code | gen(E1.false :) | E2.code EE1 and E2 E1.true:=newlabel; E1.false:=E.false; E2.true:=E.tr