编译原理语义分析和中间代码生成.pptVIP

图4–10条件循环while语句的代码结构第94页，共169页，星期日，2025年，2月5日2．条件循环语句while的文法和语义子程序设计同样，我们给出易于及时处理和回填的条件循环语句while的文法G[S]如下：G[S]：(1)?S→WdS(1)(2)?Wd→W(E)(3)?W→while根据while语句的扫描加工顺序，首先用产生式(3)W→while进行归约，这时nxq即为E的第一个四元式地址，我们将其保留在W.quad中。第95页，共169页，星期日，2025年，2月5日然后继续扫描并用Wd→W(E)归约，即扫描完“)”后可以用Backpatch(E.tc,nxq)回填E.tc值；而E.fc则要等到S(1)语句序列全部产生后才能回填，因此E.fc作为待填信息用Wd.chain=E.fc传下去。当用产生式(1)S→WdS(1)归约时，S(1)语句序列的全部四元式已经产生。根据图4–10while语句代码结构的特点，此时应无条件返回到E的第一个四元式继续对条件E进行测试，即形成四元式(j,_,_,Wd.quad)，同时用Backpatch(S(1).chain,Wd.quad)回填E的入口地址到S(1)语句序列中所有需要该信息的四元式中。第96页，共169页，星期日，2025年，2月5日在无条件转移语句(j,_,_,Wd.quad)之后即为while语句的后继语句，而这个后继语句中的第一个四元式地址即为while语句E的假出口，保存在Wd.chain中。考虑到嵌套情况，将Wd.chain信息作为整个while语句的出口保留在S.chain中，以便适当时机回填。因此，文法G[S]对应的语义加工子程序如下：(1)?W→while{W.quad=nxq;}(2)?Wd→W(E)?{Backpatch(E.tc,nxq);Wd.chain=E.fc;Wd.quad=W.quad;}第97页，共169页，星期日，2025年，2月5日(3)?S→WdS(1){Backpatch(S(1).chain,Wd.quad);emit((j,_,_,Wd.quad);S.chain=Wd.chain;}当然，我们还可按同样方法得到doS(1)while(E)条件语句的文法及语义加工子程序。第98页，共169页，星期日，2025年，2月5日4.5.3三种基本控制结构的翻译1．三种基本控制结构的文法我们给出三种基本控制结构的文法G[S]如下：G[S]：(1)?S→CS(2)?∣TPS(3)?∣WdS(4)?∣{L}(5)?∣A/*A代表赋值语句*/(6)?L→LSS第99页，共169页，星期日，2025年，2月5日(7)?∣S(8)?C→if(E)(9)?TP→CS;else(10)?Wd→W(E)(11)?W→while(12)?LS→L;第100页，共169页，星期日，2025年，2月5日G[S]中各产生式对应的语义子程序如下：(1)?S→CS(1){S.chain=merge(C.chain,S(1).chain);}(2)?S→TPS(2)?{S.chain=merge(TP.chain,S(2).chain);}(3)?S→WdS(1){Backpatch(S(1).chain,Wd.quad);emit(j,_,_,Wd.