编译程序的组织 (20).ppt

《编译程序的组织 (20).ppt》由会员分享，可在线阅读，更多相关《编译程序的组织 (20).ppt（7页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、6.9 GOTO语句和情况语句的翻译l l情况语句情况语句实现多分枝结构（如C和Pascal等）结构的一般形式为casecase ExprExpr ofofC C1 1:S:S1 1;C C2 2:S:S2 2;C Cn-1n-1:S:Sn-1n-1;elseelse S Sn nendendl lGOTOGOTO语句语句语句标号：标识一个语句。定义形式为 StatementStatementlabel:Statementlabel:Statement；源程序中形如“labellabel:Statement:Statement”的标号标号出现，称为定义性出现定义性出现；通过执行形如 GOTOG

2、OTO labellabel 的转向语句，把控制无条件地转移到由标标号号labellabel 所标识的语句。出现在GOTOGOTO语句或其它类似语句中的标号标号，称为使用性使用性标号标号。在许多语言中，允许标号标号的使用性出现使用性出现位于定义性出现定义性出现之前。6.9.1.语句标号及GOTO语句的翻译l标号的语义属性标号除其名字外，还有一个重要的属性，就是它所标识语句的四元式序列的首地址（序号）。另外，因标号的使用出现允许先于定义出现，所以还需有一个属性用于标志该标号是否已被定义，其初值为0（假，即尚未定义）。由于标号的信息在程序中使用频繁，我们可将其填写在符号表中备查，因而只需把该标号在

3、表中的序号作为其语义属性即可。对于一个标号而言，它在符号表中的登记项通常有如下的内容：2023/4/42NAMENAME|CATCAT|DEFDEF|ADDRADDR名字名字labellabel 0|10|1四元式序号四元式序号/链链GOTO语句的翻译转向语句 GOTO GOTO L L，翻译程序将产生一个形如（j,j,0,0,0,0,p p）的四元式。若此时L L的表项的DEFDEF域为1 1（即已定义），则将相应的ADDRADDR域作为此四元式的转向目标(p p=ADDRADDR);若DEFDEF=0 0，可利用转移四元式的ResultResult域将所有转向同一目标的四元式拉成一个链，待

4、L L有定义时回填，链首由L L在表中的ADDRADDR域指示。源程序源程序 四元式四元式gotogoto L L;(p p)(j,0,0,(j,0,0,0 0)gotogoto L L;(q q)(j,0,0,(j,0,0,p p)gotogoto L L;(r r)(j,0,0,(j,0,0,q q)NAME CAT DEF ADDR lab 0 r2023/4/43GOTO语句的翻译(续)l转向语句的文法：StatementStatementgotogoto labellabell l标号定义语句拆分文法：标号定义语句拆分文法：Statement StatementLabelDef St

5、atementLabelDef Statement LabelDefLabelDef labellabel :2023/4/44uStatement goto label int i=lookup($2);if(i=0)/*该标该标号是首次出号是首次出现现*/i=Enter($2);VarListi.CAT=lab;VarListi.DEF=0;VarListi.ADDR=NXQ；GEN(j,0,0,0);else/*该标该标号已出号已出现过现过*/if(VarListi.DEF)/*该标该标号已定号已定义义,可使用可使用*/GEN(j,0,0,VarListi.ADDR);else int

6、n=NXQ;/*尚未定尚未定义义,需拉需拉链链*/GEN(j,0,0,VarListi.ADDR);VarListi.ADDR=n;uLabelDef Label:int i=lookup($1);if(i=0)i=Enter($1);VarListi.CAT=lab;VarListi.DEF=1;VarListi.ADDR=NXQ;else if(VarListi.DEF)return ERROR;/*重复定义重复定义*/elseVarListi.DEF=1;BackPatch(VarListi.ADDR,NXQ);VarListi.ADDR=NXQ;uStatement LabelDef

7、Statement$.Chain=$2.Chain;l l作用域作用域：通常，转向语句不允许从所谓的“三体”（循环体、过程体、分程序）之外转到“三体”内，但允许从内转外。一些语言中允许在不同层次的分程序中使用同名的标号，如右图中内外层分程序都含有同名标号l l 的定义性和使用性出现。l存在问题：当处理分程序B B2 2中的转向语句时，尽管在此之前已有外层分程序B B1 1中的同名标号l l 的定义性出现，但在尚未判明B B2 2中是否有l l的定义性出现之前，还不能确定B B1 1中的标号l l是否为B B2 2中gotogoto的目标。l解决方案：按三体的层次建立符号表。语义处理中，出现使用

8、性标号L L，就查本层符号表，若无L L登记项，则在本层表中登记L L,令其DEFDEF域为0 0；若已登记L L,则根据其DEFDEF域的值分别进行拉链或产生相应四元式。若退出本层时，未遇到L L定义出现,表明该标号是外层定义。则应在外层表中作如下处理：若直接外层符号表中有L L登记项,且DEFDEF为0 0，则将内外层的两条链合并;若DEFDEF=1 1，则对内层链进行回填回填。若直接外层符号表中无L L登记项，则将内层表中L L登记项移至直接外层表中，并对直接外层的符号表重复上述的处理。2023/4/45标号的作用域6.9.26.9.2 情况语句的翻译情况语句的翻译casecaseExp

9、rExprofofC C1 1:S:S1 1;C C2 2:S:S2 2;C Cn-1n-1:S:Sn-1n-1;elseelseS Sn nendend语义：当ExprExpr的当前值等于某个C Ci i时，则执行C Ci i所标识的语句S Si i；若ExprExpr的值不等任何一个C Ci i,则执行ELSEELSE之后的语句S Sn n，执行完语句S Si i之后，将控制转至后继语句。Expr=Expr=S1S2Sn2023/4/46中间代码功能：计算选择表达式ExprExpr的值；在各个情况标号中，寻找一个可与ExprExpr之值匹配的C Ci i，若这样的C Ci i不存在，则EL

10、SEELSE分语句“缺缺省省的的”情况标号（假想的C Cn n）将自动获得匹配；执行获得匹配的情况标号所标识的语句S Si i，最后使控制离开此CASECASE语句。CASE语句的翻译过程翻译为如下结构的中间代码序列：T=ExprExprgoto CHECKCHECKL1:语句S S1 1的代码goto NEXTNEXTL2:语句S S2 2的代码goto NEXTNEXTLn-1:语句S Sn-1n-1的代码goto NEXTNEXTLn:语句S Sn n的代码goto NEXTNEXT CHECKCHECK:if T=C C1 1 goto L1if T=C C2 2 goto L2if

11、T=C Cn-1n-1 goto Ln-1goto Ln NEXTNEXT:2023/4/47l代码结构的特点:根据ExprExpr检测的值，按不同结果转向不同的代码；检测代码集中地放在尾部，这有利于产生效率较高的目标代码。l拆分文法：CaseStatementCaseWithElseStatementendCaseWithElseInCaseelseInCaseCaseWithConstStatement;CaseWithConstCaseStartcase_const;|InCasecase_const:CaseStartcaseExprofl lCASECASE语句的翻译过程，与GOTO语句的情况类似，请同学们课后认真思考。