第8章语法制导翻译和中间代码生成(lly2)资料.ppt

………… ………… ………… ………… r (～，～，～，p) p (～，～，～，q) “回填” 过程： BackPatch(p，t) 功能：用四元式编号 t 填入首指针为 p 的链中的全部四元式中的第四个元。 E.true=r 执行回填过程： BackPatch(E.true，t) r (～，～，～，t) p (～，～，～，t) q (～，～，～，0) q (～，～，～，t) 引入以下属性和子程序： ① E.true（真链头）； E.false （假链头） ② E.codebegin : E的第一个四元式的序列号 ③ Nextstat ：全局变量，其值等于即将产生而有没有产生的 四元 式编号，初始值为1，每调用一次四元式 生成子程序，其值自动加1。 ④ Merge（p1，p2）: 将p1和p2两条链合并，返回合并后 的链头。 BackPatch（p，t）: 用四元式编号 t 去填 p 链中所有四 元式的第四个元。 布尔表达式自下而上分析中的一种翻译方案： (1) E → E 1 ∨ E 2 { backpatch(E 1 .false, E 2 .Codebegin); E.Codebegin:= E 1 .codebegin; E.true:=merge(E 1 .true, E 2 .true) E.false:= E 2 .false} (2) E → E 1 ∧ E 2 { backpatch(E 1 .true, E 2 .codebegin); E.Codebegin:= E 1 .codebegin; E.true:= E 2 .true; E.false:= merge(E 1 .false, E 2 false);} (3) E → ～ E 1 { E.true:= E 1 .false; E.Codebegin:= E 1 .codebegin; E.false:= E 1 .true E→E ∨ E │ E ∧ E │ ～E │ (E) │ id1 rop id1 │ id (4) E→(E1) { E.true:= E1.true; E.Codebegin:= E1.codebegin; E.false:= E1.false} (5) E→id1 rop id2 { E.true:=nextstat; E.Codebegin:=nextstat; E.false:=nextstat+1; emit(‘if’id1.place‘rop’id2.place ‘goto’–); emit(‘goto’-)} (6) E→id { E.true:=nextstat; E.codebegin:=nextstat; E.false:=nextstat+1; emit(‘if’ id.place ‘goto’–); emit(‘goto’-)} 例4：将下列语句翻译成四元式的形式（假设编号从100 开始） while ( A ∧B∨ C ) do begin k := k+1; if ( mn ) then x := x + y; else x := x-y; y := y*2; end 思考题目：给出详细的翻译步骤？ while E do S E的四元式代码 S的四元式代码 GOTO L TRUE FALSE while ( A ∧B∨ C ) do begin k := k+1; if ( mn ) then x := x + y; else x := x-y; y := y*2; end 100 ( jnz , A , , 102 ) 101 ( j