第6章 语义的的分析及中间代码生成.ppt

* * * * * * * * * * * * * * * * * * * * * * 学习动物精神 12、善解人意的海豚：常常问自己：我是主管该怎么办才能有助于更好的处理事情的方法。在工作上善解人意， 会减轻主管、共 事者的负担，也 让你更具人缘。 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 6.6.1 布尔表达式的回填式翻译 B ? B1 and M B2 {backpatch(B1.truelist, M.quad); B.truelist := B2.truelist; B.falselist:=merge(B1.falselist, B2.falselist);} B1的代码 B.truelist B1.truelist B2.truelist B2的代码 M.quad B1.falselist B2.falselist B.falselist and * * 6.6.1 布尔表达式的回填式翻译 B ? not B1 {B.truelist := B1.falselist; B.falselist := B1.truelist;} B ? (B1 ) {B.truelist := B1.truelist; B.falselist := B1.falselist;} * * 6.6.1 布尔表达式的回填式翻译 B ? E1 relop E2 { B.truelist:=makelist(nextquad); B.falselist:=makelist(nextquad+1); gencode(‘if’E1.addr relop E2.addr ‘goto-’); gencode(‘goto-’) } * * 6.6.1 布尔表达式的回填式翻译 B ? true {B.truelist := makelist(nextquad); gencode(‘goto-’)} B ? false {B.falselist := makelist(nextquad); gencode(‘goto-’)} * * 例6.11 B.t = {100, 104} B.f = {103,105} M.q:={102} B.t := {100} B.f := {101} B.t = {104} B.f = {103,105} B.t = {102} B.f = {103} B.t = {104} B.f = {105} 图6.27 ab or cd and ef的注释分析树 a b or ε M.q:={104} and ε c d e f 100: if ab goto – 101: goto - 102: if cd goto 104 103: goto – 104: if ef goto – 105: goto - 100: if ab goto – 101: goto - 102: if cd goto – 103: goto - 104: if ef goto – 105: goto - 100: if ab goto – 101: goto 102 102: if cd goto 104 103: goto – 104: if ef goto – 105: goto - M.q:={102} M.q:={104} B.t代表B.truelist B.f代表B.falselist M.q代表M.quad * * 6.6.2 常见控制结构的回填式翻译 S ? if B then M S1 | if B then M1 S1 N else M2 S2 | while M1 B do M2 S1 | S1;M S2 M ? ε {M.quad := nextquad} N ? ε {N.nextlist:=makelist(nextquad); gencode(‘goto -)} * * if-then语句的回填式翻译 S ? if B then M S1 {backpatch(B.truelist, M.quad) S.nextlist:=merge(B.falselist, S1.nextlist)} B的代码 S⑴的代码 if B.truelist B.falselist S.nextlist S⑴ .nextlist