第8章 语法制导翻译和中间代码生成【荐】.pptVIP

语义分析的输入是语法分析的输出（分析树），输出是中间代码，但同时它还完成了很多语义处理工作。 属性的类型（从分析过程中属性值的计算方法来分类）： 对于产生式 A?X1 X2 …Xn * * * * * * * * * * * * * * * * 一旦标号L定义时，我们将根据这条链回填那些待填转移目标的四元式。 一般而言，假定用下面的产生式来定义标号语句： 　　S→label S 　　label→i： 那么，当用label→i：进行归约时，应做如下的语义动作： 若i所指的标识符（假定为L）不在符号表中，则把它填入，置类型为标号，定义否为已，地址为nextstat。 若L已在符号表中但类型不为标号或定义否为已，则报告出错。 若L已在符号表中，则把标志未改为已，然后，把地址栏中的链首（记为q）取出，同时把nextstat填在其中，最后，执行回填。 翻译goto语句时，还有两点必须注意， 第二：可能有些转移标号是非法的，如下例： 　　（1）　for i∶=1 to 10 do 　　（2）　 begin goto L； 　　（3）　 for j∶=1 to 20 do 　　（4）　 begin goto L； 　　 … … 　　（n）　 L： end　｛for j｝ 　　end　｛for　i｝ 　　处理到第（n）行后，第（4）行的goto目标得以解决。而第（2）行的goto L是非法的，但只有当循环关闭时才能确定。 还要注意的问题是转移出分程序或过程外的goto语句，编译程序需要很多额外的编码，比如要恢复和保留一些运行环境等，这在后面(第10章)介绍了运行环境时，可能会理解更深些。 第一：是相同名字的标号可以在不同名字作用域中定义。如： （1）　begin （2）　 L：begin （3）　 goto L； （4）　 …… （5）　 L：… （6）　 end （7）　end 当在行（3）处理goto语句时，不知道L的作用域到底是哪个，（因为还没见到语句（5）），因此一定要延迟解决这个标号的使用。 8.7 简单说明语句的翻译 程序设计语言中的说明语句旨在定义各种形式的有名实体，如常量、变量、数组、记录(结构)、过程、子程序等等，说明语句的种类也多，对象说明、变量说明、类型说明、过程说明等等。编译程序把说明语句中定义的名字和性质登记在符号表中，用以检查名字的引用和说明是否一致。许多说明语句的翻译并不生成相应的目标代码。过程说明和动态数组的说明有相应的代码。 程序设计语言中最简单的说明句的语法描述为： 　D→integer〈namelist〉|real〈namelist〉 〈namelise〉→〈namelist〉，id|id 即使用关键字integer和real定义一串名字的性质。对这种说明句的翻译是指在符号表中登录该名和性质。 用上述文法来制导翻译(自下而上)存在着这样一个问题，我们只能在把所有的名字都归约成namelist后才能把它们的性质登记进符号表。这意味着namelist必须用一个队列(或栈)来保存所有这些名字。 但我们可以把上述的文法改写成： 　　D→D1,id 　　　 |integer id 　　　 |realid 这样,就能把所说明的性质及时地告诉每个名字id，或者说，每当读进一个标识符时，就可以把它的性质登记在符号表中，不用把它们集中起来最后再成批登记了。 现在来定义这些产生式所对应的语义动作，给非终结符D一个语义变量D.ATT，用以记录说明句所引入的名字的性质(int还是real)，使用过程enter(id,A)把名字id和性质A登录在名表中。 (1) D→integerid {enter(id，int); 　　　　　　　　　 D.ATT∶=int} (2) D→realid {enter(id，real); 　　　　　　　　　 D.ATT∶=real} (3) D→D1，id {enter(id，D1.ATT); 　　　　　　　　　 D.ATT∶=D1.ATT} 8.8 含数组元素的赋值语句的翻译 在程序设计语言中，数组是用来存储有规律或同类型数据的数据结构，数组中的每一个元素在计算机内占有相同大小的存储空间ω，ω又称为存储宽度。 如果在编译时刻就已知道一个数组的大小，则称该数组为静态数组，否则称为动态数组。我们现在只讨论静态数组元素的引用如何翻译。 数组的一般定义为 a [l1：u1，l2：u2，…，lk：uk，…，ln：un] (1≤k≤n) 其中a是数组名，lk称为数组下界，uk称为数组上界，变量k是数组的维数。 一维数组a [l1：