如果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的地址栏中作为新链首,然后,产生四元式(goto
0),其中0为链尾标志。若L已在符号表中出现(但"定义否"标志为"未"),则把它的地址栏中的编号(记为q)取出,把nextstat填进该栏作新链首,然后,产生四元式(goto
q)。
|