程序流控制语句的翻译.pptVIP

计算 Expr (1) 的四元式序列 , 结果 = 临时变量 T1 (=, T1, 0, i ) ( i=Entry(identifier ) ) 计算 Expr (2) 的四元式序列 , 结果 = 临时变量 T1 (p) ( j≤ , identifier , T2, p+2) (p+1) ( j, 0, 0, 0 ) ← Statement . Chain (p+2) Statement (1) 的代码 (q) (+, identifier , ‘ 1 , identifier ) (q+1) ( j, 0, 0, p ) (q+2) ← NXQ 除了 while 循环和 for 循环外，常见的还有一种 repeat 循环，其处理方法与前两种循环类似， 我们将它留作习题给大家。 5.6.3 语句 标号 及 GOTO 语句的翻译 语句标号 用于标识一个语句。在常见语言中， 标 号 的定义在形式上是通过产生式 Statement → label : Statement (5.13) 所描述的方式来定义的。因此 , 我们通常把源程序中 形如“ label : Statement ” 的 标号 出现，称为 定义性出现 。 在许多语言中，通过执行形如 GOTO label 的转向 语句，把控制无条件地转移到由 标号 label 所标 识的语句。这种出现在 GOTO 语句或其它类似语 句中的 标号 ，我们称为 使用性 标号 。在许多语言 中，允许 标号 的 使用性出现 位于 定义性出现 之前。 标号 具有的 语义属性 ? 标号除其 名字 外，还有一个重要的属性，就是它所标 识语句的四元式序列的 首地址 （序号）。 ? 另外，因标号的使用出现允许先于定义出现，所以还 需有一个属性用于标志该 标号是否已被定义 ，其初值 为 0 （假，即尚未定义）。 ? 由于标号的信息在程序中使用频繁，我们可将其填写 在 符号表 中备查，因而只需把该标号在表中的 序号 作 为其语义属性即可。 ? 对于一个标号而言，它在符号表中的登记项通常有如 下的内容： NAME | [CAT] | DEF | … | ADDR 名字 [label] 0|1 四元式序号 / 链 goto 语句的翻译 对于转向语句 GOTO L ，翻译程序将产生一个形如 （ j, 0, 0, p ） 的四元式。 若此时 L 的表项的 DEF 域为 1 （即已定义），则将相应 的 ADDR 域作为此四元式的转向目标 ( p = ADDR ); 若 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 ) NAME CAT DEF … ADDR … … … … … lab 0 … r 5.6 程序流控制语句的翻译 ? 在源程序中， 控制语句 用于实现程序流 程的控制。一般而言，程序流程控制可 大致分为 顺序结构 （如复合语句）、 分 枝结构 （如 if 条件语句和实现多分枝的 case 语句等）、 循环结构 （如 for 循环、 while 循环、 repeat 循环等等）三类。另 外， GOTO 语句也是一类常见改变流程 的 控制语句 。下面，我们将对常见的一 些控制结构的翻译进行讨论。 5.6.1 常见控制结构的翻译 ? 程序设计理论已证明 , 任何程序均可由 序列 结构 、 条件分枝结构 和 while 循环 三种结构 等价地表示。因此 , 我们先讨论这三类结构 的翻译。这三类结构可用如下的文法描述： 1. S → if E then S (1) 2. | if E then S (1) else S (2) 3. | while E do S (1) 4. | begin L end ( 5.8 ) 5. | A 6. L → L ； S 7. | S 有关 控制结构 文法的注解 ? 上述文法中 , 非终结符 S 、 L 、 A 分别代表 语句 、 语句串 和 赋值语句 ， E 代表 布尔表 达式 。此外，由于 if 语句可能带来二义性， 我们约定每一个 else 总是与其前离它最 近的尚未得到匹配的 then 相匹配。在文 法 ( 5.8 ) 中，为了区别同一产生式中不同 位置上的 同名文法符号 ，我们为其增加 了 上标 。 条件语句 的处理方法 ? 在 5.5 节的图 5-5 中，我们已经给出了 if 语句和 while 语句的代码结构。 ? 布尔表达式