《编译原理》课程简介 (53).pdf

《《编译原理》课程简介 (53).pdf》由会员分享，可在线阅读，更多相关《《编译原理》课程简介 (53).pdf（12页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、编 译 原 理 C O M P I L A T I O N P RIN C IP LE 第七章 语义分析和中间代码产生7.4.2 做控制用布尔表达式的翻译(回填)7.4.2 做控制用布尔表达式的翻译（回填）做控制用的布尔表达式的翻译n考查IF E THEN S1 ELSE S2 语句。n显然，布尔表达式E的作用在于控制流向，并非计值。所以，可给作为转移条件的布尔式E 赋予两重“出口”：“真”出口和“假”出口。TEFS1S27.4.2 做控制用布尔表达式的翻译（回填）引入转移四元式：n(jnz,a,-,p)表示 if a goto pn(jrop,x,y,p)表示 if x relop y go

2、to p(relop是关系运算符)n(j,-,-,p)表示 goto p7.4.2 做控制用布尔表达式的翻译（回填）n在自下而上分析中，一个布尔表达式的真假出口往往不能在产生四元式的同时就填上，需要回填。回填（Backpatching）n基本思想n生成一个跳转指令时，暂时不指定该跳转指令的目标标号。这样的指令都被放入由跳转指令组成的列表中。同一个列表中的所有跳转指令具有相同的目标标号。等到能够确定正确的目标标号时，才去填充这些指令的目标标号。7.4.2 做控制用布尔表达式的翻译（回填）非终结符B的综合属性nB.truelist:指向一个包含跳转指令的列表，这些指令最终获得的目标标号就是当B为真

3、时控制流应该转向的指令的标号。nB.falselist:指向一个包含跳转指令的列表，这些指令最终获得的目标标号就是当B为假时控制流应该转向的指令的标号。7.4.2 做控制用布尔表达式的翻译（回填）函数nmakelist(i)p创建一个只包含i的列表，i是跳转指令的标号，函数返回指向新创建的列表的指针nmerge(p1,p2)p将p1和p2指向的列表进行合并，返回指向合并后的列表的指针nbackpatch(p,i)p将i作为目标标号插入到p所指列表中的各指令中nnextquadp它指向下一条将要产生但尚未形成的四元式的地址7.4.2 做控制用布尔表达式的翻译（回填）布尔表达式的回填nBE1 re

4、lop E2 gen(ifE1.place relop E2.placegoto_);gen(goto_);B.truelist=makelist(nextquad);B.falselist=makelist(nextquad+1);n Btrue gen(goto_);B.truelist=makelist(nextquad);nBfalse gen(goto_);B.falselist=makelist(nextquad);nB(B1)B.truelist=B1.truelist;B.falselist=B1.falselist;nBnot B1 B.truelist=B1.falseli

5、st;B.falselist=B1.truelist;7.4.2 做控制用布尔表达式的翻译（回填）BB1 or M B2 M M.quad=nextquad;backpatch(B1.falselist,M.quad);B.truelist=merge(B1.truelist,B2.truelist);B.falselist=B2.falselist;BB1 or B27.4.2 做控制用布尔表达式的翻译（回填）BB1 and B2BB1 and M B2 backpatch(B1.truelist,M.quad);B.truelist=B2.truelist;B.falselist=merg

6、e(B1.falselist,B2.falselist);7.4.2 做控制用布尔表达式的翻译（回填）例BE1 relop E2 B.truelist=makelist(nextquad);B.falselist=makelist(nextquad+1);gen(ifE1.place relop E2.place goto_);gen(goto_);100:if ab goto _ 101:goto_BB1 or M B2 backpatch(B1.falselist,M.quad);B.truelist=merge(B1.truelist,B2.truelist);B.falselist=B

7、2.falselist;M M.quad=nextquad;102:if cd goto_ 103:goto_BB1 and M B2 backpatch(B1.truelist,M.quad);B.truelist=B2.truelist;B.falselist=merge(B1.falselist,B2.falselist);104:if ef goto_ 105:goto_104BB1 or M B2 backpatch(B1.falselist,M.quad);B.truelist=merge(B1.truelist,B2.truelist);B.falselist=B2.falselist;102tfMq=102 Bt=102f=103Mq=104Bt=104f=105Bt=104f=103,105Bt=100,104f=103,105t=100f=101 B|编译原理谢 谢Thanks