五.一类控制语句的翻译 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 )后