中国地质大学（武汉）《编译原理》课件-第8章语法制导翻译和中间代码生成.pptVIP

(4) S →begin L end {S.chain:= L.chain} (5)?? S →A {S.chain:= 0 /*空链*/} L →S {L.chain:=S.chain} (12) Ls →L; {backpatch( L.chain, nextstat)} (6) L →Ls S1 {L.chain:= S1 .chain } 按照上述文法产生式相应的语义动作，加上前述关于赋值句和布尔表达式的翻译法，语句　　while （A＜B） do if （C＜D） then X∶=Y+Z　　 将被翻译成如下的一串四元式：　　100　if A＜B goto 102　　101　goto　107　　102　if　C＜D goto 104　　103　goto 100　　104　T∶=Y+Z　　105　X∶=T　　106　goto 100　　107 while （A＜B） do if （C＜D） then X∶=Y+Z for循环语句 for i∶=E1 step E2 until E3 do S1　　为了简单起见，假定E2总是正的。在这种假定下，上述循环句的意义等价于：　　i∶=E1；　　goto OVER；　　AGAIN： i∶=i+E2；　　OVER： if i≤E3 then　　begin S1； goto AGAIN end； 翻译见P173-P174 开关语句 开关语句（case语句或switch语句） switch E of　　case V1：S1　　case V2：S2　　…　　case Vn-1：Sn-1　　default：Sn　　end 如果分叉不太多，case语句翻译成如下的一连串条件转移语句。　　t∶=E；　　L1：if t≠V1 goto L2； 　　S1；　　goto next；　　L2：if t≠V2 goto L3；　　S2　　goto next；　　…　　Ln-1：if t≠Vn-1 goto Ln；　　Sn-1；　　goto next；　　Ln：Sn；　　next： 另一种方法:P172 图8.15 goto语句 多数程序语言中的转移是通过标号和goto语句实现的。带标号语句的形式是L∶S；goto语句的形式是goto L。 当L∶S；语句被处理之后，标号L是定义了的。即在符号表中，将登记L的项的地址栏中登上语句S的第一个四元式的地址。 如果goto L是一个向上转移的语句，那么，当编译程序碰到这个语句时，L必是已定义了的。通过对L查找符号表获得它的定义地址p，编译程序可立即产生出相应于这个goto L的四元式如（j，－，－，p）。 如果goto L是一个向下转移的语句，也就是说，标号L尚未定义，那么，若L是第一次出现，则把它填进符号表中并标志上“未定义”。 由于L尚未定义，对goto L只能产生一个不完全的四元式（goto　－），它的转移目标须待L定义时再回填进去。 在这种情况下，必须把所有那些以L为转移目标的四元式的地址全都记录下来，以便一旦L定义时就可对这些四元式进行回填。 我们将采用如图8.13所示的拉链办法，把所有以L为转移目标的四元式串在一起。链的首地址放在符号表中L的地址栏中 建链的方法是：若goto L中的标号L尚未在符号表中出现，则把L填入表中，置L的“定义否”标志为“未”，把nextstat填进L的地址栏中作为新链首，然后，产生四元式(p)（goto 0），其中0为链尾标志。若L已在符号表中出现（但“定义否”标志为“未”），则把它的地址栏中的编号（记为p）取出，把nextstat填进该栏作新链首，然后，产生四元式(q)（goto p）。 一旦标号L定义时，我们将根据这条链回填那些待填转移目标的四元式。一般而言，假定用下面的产生式来定义标号语句 S→label Slabel→i： 1.若i所指的标识符（假定为L）不在符号表中，则把它填入，置类型为标号，定义否为已，地址为nextstat。2.若L已在符号表中但类型不为标号或定义否为已，则报告出错。3.若L已在符号表中，则把标志未改为已，然后，把地址栏中的链首（记为q）取出，同时把nextstat填在其中，最后，执行回填。 过程调用的四元式产生 过程调用的实质是把程序控制转移到子程序,在转子之前,必须用某种办法把实参的信息传给调用的子程序。 传递实参信息方面有种种不同的方法,我们这里只讨论一种,即传实参地址的方式。 若实参是一个变量或数组，则直接传递地址。 若实参是表达式，如：A+B或2，则把它们的值计算出来，并存放在一个临时变量T中，然后传递T的地址。 传递实参地址的