《程序设计语言与编译》课程PPT教学课件（高职）第二十二讲 一类控制语句的翻译

五.一类控制语句的翻译 1.文法及其分析 S→ if B then s1 if B then S, else S2 I while B do S

五. 一类控制语句的翻译 1. 文法及其分析 S→if B then S1 │if B then S1 else S2 │while B do S1

ifb then s B为假 B B为真 S S1的第一条四元式 图用以“回填

B S1 ? if B then S1 B为假 B为真 S1的第一条四元式 用以“回填

if b then s else s B为假 B B为真 此处产生一无条件 转移语句 S1、S2的第一条 四元式用以 回填

B S1 S2 ? if B then S1 else S2 B为假 B为真 S1、S2的第一条 四元式用以 “回填” 此处产生一无条件 转移语句

while b do 心 B为假 B B为真 S 此处产生一无条件 转移语句 B的第一条四元式需记录、S1的第一条四元式用以“回填

B S1 ? B为假 B为真 while B do S1 B的第一条四元式需记录、S1的第一条四元式用以“回填” 此处产生一无条件 转移语句

由上面几个图可见: (1)B具有真假出口 B为真假时的转向不同 在翻译B时其真假出口有待“回填 (2)因语句的嵌套必须记录不确定转 移目标的四元式的地址拉链技术

由上面几个图可见： (1)B具有真假出口 B为真假时的转向不同 在翻译B时其真假出口有待“回填” (2)因if语句的嵌套,必须记录不确定转 移目标的四元式的地址—拉链技术

2.转移语句的四元式 条件转移jco,P1P2,O) nz211 无条件转移(j;-,0)

2. 转移语句的四元式 条件转移 (jrelop,P1 ,P2 ,0) (jnz,P1 ,-,0) 无条件转移 (j,-,-,0)

3.语句变量及过程 (1) B truelist, B. falselist:B的真假出口链 (2 M. code:记录四元式地址 (3 N netlist:记录不确定转移目标的 四元式地址 (4)S. netlist:记录S中不确定转移目标的 且转向地址均相同的四元式(这些四元 式形成一个链,S, netlist为链头)

3. 语句变量及过程 (1)B.truelist, B.falselist: B的真假出口链 (2)M.code: 记录四元式地址 (3)N.nextlist: 记录不确定转移目标的 四元式地址 (4)S.nextlist: 记录S中不确定转移目标的 且转向地址均相同的四元式（这些四元 式形成一个链, S.nextlist为链头）

(p)(j,-2-,0) (q)(j,-,-,p )(,-,-,q) S netlist=r

如: (p) (j, -, -, 0) …… (q) (j, -, -, p) …… (r) (j, -, -, q) S.nextlist=r

(5) makelist(t)语义过程,建链;t为链头; t空缺时建一空链; (6 merge(t1t2):语义函数,将t1、t2合并, 返回合并后的链头t2 (7 backpatch(t1,ode):语义过程,用code “回填t (8) nextcode:全局量,下一条即将生成 但尚未生成四元式的地址。值同

(5)makelist(t): 语义过程, 建链; t为链头; t空缺时建一空链; (6)merge(t1 ,t2 ): 语义函数, 将t1、t2合并， 返回合并后的链头t2; (7)backpatch(t1 ,code): 语义过程, 用code 回填t1; (8)nextcode: 全局量, 下一条即将生成 但尚未生成四元式的地址。值同ip

(p)(j,-,-20) (u)(j,-,-,0) (q)(j,-,-,p) (v)(,-,-,u) )( --,q (w)(j t,=r 执行 merge(t12)后

如: (p) (j, -, -, 0) (u) (j, -, -, 0) …… …... (q) (j, -, -, p) (v) (j, -, -, u) …… …... (r) (j, -, -, q) (w) (j, -, -, v) t1=r t2=w 执行merge(t1 ,t2 )后