第七章——语义和中间代码生成探究.ppt

例：布尔表达式ab or cd and ef (1) if ab goto (4) (2) T1:=0 (3) goto (5) (4) T1:=1 (5) if cd goto (8) (6) T2:=0 (7) goto (9) (8) T2:=1 (9) if ab goto (12) (10) T3:=0 (11) goto (13) (12) T3:=1 (13) T4:=T2 and T3 (14) T5:=T1 or T4 作为条件控制的布尔表达式 条件语句 if E then S1 else S2，作为转移条件的布尔表达式E，可赋予它两个出口，一个为“真”出口，出向S1；一个为“假”出口，出向S2。 如： if (ab) then x:=x+1 if ab goto E.true goto E.false (+,x,1,T1) (:=,T1,-,x) (1) ( j，a，b，(3) ) (2) ( j，－，－，(5) ) (3) ( +，x，1，T1) (4) ( :=，T1，－，x) (5) 后继语句 作为条件控制的布尔表达式 对条件转移的布尔表达式，可将其翻译为一串跳转指令。如： if ac or bd then S1 else S2 译为： if ac goto L2 goto L1 L1: if bd goto L2 goto L3 L2: S1产生的三地址代码序列 goto Lnext L3: S2产生的三地址代码序列 Lnext: 后继语句 产生布尔表达式三地址代码的语义规则 产生式 语义规则 E?E1 or E2 E1.true:= E.true; E1.false:=newlable; E2.true:= E.true; E2.false:= E.false; E.code:=E1.code||gen(E1.false”:”)||E2.code E?E1 and E2 E1.true:= newlable; E1.false:= E.false; E2.true:= E.true; E2.false:= E.false; E.code:=E1.code||gen(E1.true”:”)||E2.code E?not E1 E1.true:= E.false; E1.false:= E.true; E.code:= E1.code; 例：ab or cd and ef if ab goto Ltrue goto L1 L1: if cd goto L2 goto Lfalse L2: if ef goto Ltrue goto Lfalse 用四元式实现三地址代码 (jnz，a，－，p)表示if a goto p (jrop，x，y，p)表示if x rop y goto p (j，－，－，p)表示 goto p 记录需回填地址的四元式，把需回填E.true的四元式拉成一链，把需回填E.false的四元式拉成一链，分别称做“真”链和“假”链。 （10）　…　goto　 E.true  … （20）　…　 goto 　 E.true  … （30）　…　 goto 　 E.true 则链成 （10）　…　 goto 　（0）  … （20）　…　 goto 　（10）  … （30）　…　 goto 　（20） 把地址（30）称作“真”链链首，0为链尾标志，即地址（10）为“真”链链尾。 语义描述使用的变量和过程： E.truelist ： “真”链， E .falselist ： “假”链 。 Nextquad ： makelist(i)： 下一条将要产生但尚未形成的四元式的地址 emit( )： 输出一条四元式 merge(p1, p2)： 把 p1 的链首填在 p2 的链尾 例： merge(p1, p2) ( p10) goto ( 0) …… p1 链