第27节课第五章.pptVIP

5.6.3? 语句标号及GOTO语句的翻译 语句标号用于标识一个语句。在常见语言中，标号的定义在形式上是通过产生式： S → label : S 所描述的方式来定义的。 因此，通常把源程序中形如“ label : S ”的标号出现，称为定义性出现。 在许多语言中，通过执行形如 GOTO label 的转向语句，把控制无条件地转移到由标号label 所标识的语句。这种出现在GOTO语句或其它类似语句中的标号，称为使用性标号。 标号具有的语义属性 在许多语言中，允许标号的使用性出现位于定义性出现之前。 标号除其名字外，还有一个重要的属性，就是它所标识语句的四元式序列的首地址（序号）。 另外，因标号的使用出现允许先于定义出现，所以还需有一个属性用于标志该标号是否已被定义（用1表示已定义）。 由于标号的信息在程序中使用频繁，可将其填写在符号表中备查。 对于一个标号而言，它在符号表中的登记项通常有如下的内容： goto语句的翻译 对于转向语句 GOTO L，翻译程序将产生一个形如 （j, 0, 0, p） 的四元式。 若此时L的表项的DEF域为1（即已定义），则将相应的ADDR域作为此四元式的转向目标(p=ADDR); 若此时L的表项的DEF域为1（即已定义），则将相应的ADDR域作为此四元式的转向目标(p=ADDR); 源程序 四元式 L: 语句S； p: S goto L; (j,0,0,p) 若DEF=0，可利用转移四元式的Result域将所有转向同一目标的四元式拉成一个链，待L有定义时回填，链首由L在表中的ADDR域指示。 源程序 四元式 goto L; (p)(j,0,0,0) … … goto L; (q)(j,0,0,p) … … goto L; (r)(j,0,0,q) 5.7 含数组元素的算术表达式及赋值语句的翻译 在编译过程中，下标变量的处理可以有两种方案: 1.在语义分析阶段进行，即在此阶段中，根据下标变量在赋值语句中的作用，产生相应的中间代码； 2.在目标代码生成阶段进行，即在语义分析阶段，把源程序中下标变量的有关信息保留在中间代码中，待生成目标代码时，再对它们产生相应的目标指令。 本课中将采取前一种方式。因为它有利于进行代码的优化，以便产生高效的目标代码。特别是当数组元素出现在循环中时，代码优化的效果尤为显著。 5.7 含数组元素的算术表达式及赋值语句的翻译 在编译过程中，下标变量的处理可以有两种方案: 1.在语义分析阶段进行，即在此阶段中，根据下标变量在赋值语句中的作用，产生相应的中间代码； 2.在目标代码生成阶段进行，即在语义分析阶段，把源程序中下标变量的有关信息保留在中间代码中，待生成目标代码时，再对它们产生相应的目标指令。 前一种方式有利于进行代码的优化，特别是当数组元素出现在循环中时，代码优化的效果尤为显著。 变量的左值和右值 一般说来，源程序中的每个变量（包括简单变量和下标变量）除它们的名字、类型等属性外，还有两种重要的属性： (1) 它们在数据区所分配的存储单元地址（称为变量的左值）。 (2) 在程序运行时存放在相应单元中的值（称为变量的右值）。 一个变量出现在源程序中的环境不同，则它所代表的特征也就不同。 例如，赋值语句 A:=B的语义为：把变量B的值(即B的数据单元的内容，也即B的右值)送入A所代表的数据单元(A的左值)中去。 对含下标变量的赋值语句，无论它出现在赋值号的左侧或右侧, 在翻译时都要计算它的地址。 出现在赋值语句右部表达式的下标变量，应同时具有左值和右值； 出现在左部的下标变量，可只具有左值，但出现在左部下标变量的下标表达式中的下标变量，仍具有左值和右值。 对下标变量进行翻译的核心是计算它们的地址。 因此我们将首先讨论数组元素的地址计算方法及数组元素引用的中间代码形式，然后再介绍含有数组元素的赋值语句的语法制导翻译方法。 5.7.1 下标变量地址的计算 数组元素在计算机中是按某种顺序存储的，即不管数组是几维的，一般总是把它映射为存储空间的一个向量。 数组的存储通常有两种方式： (1) 按行存放，如PASCAL、C等语言； (2) 按列存放，如FORTRAN语言。 显然，计算地址的方法与数组的存储方式有关。 下标变量A[i1,i2,…,in]的地址计算公式 假定数组按行存放，每个数组元素占用一个机器字，并假定计算机是按字编址的，则对于用 VAR A:ARRAY [ l1..