编译原理chapter812.pptVIP

属性文法 语法制导翻译概论 中间代码的形式 简单赋值语句的翻译 布尔表达式的翻译 四元式 为了直观，有时也把四元式的形式写成简单赋值形式或更易于理解的形式。比如把上述四元式序列写成如下形式： (1)t1:=b*c (2)t2:=b*d (3)t3:=t1+t2 (4)a:=t3 把(jump,-,-,L)写成goto L 把(jrop,B,C,L)写成if B rop C goto L 至于如何用四元式表示各种语句，以及翻译各种语句的语义描述，在后面我们会给出一些讨论。 简单赋值语句的翻译 在编译程序的实际实现中，四元式中的运算对象和结果，或者是一个指针，指向符号表的某一登录项，或者是一个临时变量的整数码。 在对赋值语句翻译为四元式的描述中，将会表明怎样查找这样的符号表登录项。首先对id表示的单词定义一属性id.name，用做语义变量，用Lookup(id.name)表示审查id.name是否出现在符号表中，如在，则返回一指向该登录项的指针，否则返回nil。语义过程emit表示输出四元式到输出文件上。语义过程newtemp表示生成一临时变量，每调用一次生成一个新的临时变量。语义变量E.palce表示存放E值的变量名在符号表的登录项或一整数码（如此变量是一个临时变量）。 例 简单赋值语句的翻译 实际上，在一个表达式中可能出现各种不同类型变量或常数，而不是象上例中的id假定为都是同一类型。即编译程序还应执行类型检查的语义动作，如不能接受不同类型运算对象的混合运算，应指出错误；如能接受混合运算，则应执行类型转换的语义处理。假定上例中的表达式可以有混合运算，id可以是实型或整型，且当两个不同类型的量进行运算时，规定首先将整型量转换为实型量。为进行类型转换的语义处理，增加语义变量，用E.type表示E的类型信息，E.type的值为int或real。此外，为区别整型加/乘和实型加/乘，把+、*分别写成+i(*i)和+r(*r)。用一目运算符itr表示将整型运算对象转换成实型。 例 在上例中，与非终结符号E相联的语义值有E.place，还有E.type。语义值的设计是与语义处理的描述相关的。赋值语句的语义处理，对左部的标识符，检查它的种类(kind)，若不是变量名，则指出错误，若是变量名，才生成赋值运算的代码。对右部表达式中作为运算对象的标识符，检查是否变量名或常量名，是则生成相应代码，不是(即是过程名)，则指出错误。这一点若用语义规则描述的话，还应增加一语义值，与非终结符相联，比如用E.kind表示。 赋值语句中含有复杂数据类型，如数组元素或记录的引用，这种情况的翻译工作更复杂。 布尔表达式的翻译 程序设计语言中的布尔表达式有两个作用：计算逻辑值和用做改变控制流语句中的条件表达式。为简单，这里只考虑如下文法生成的布尔表达式： E-E and E| E or E| not E|id rop id|true|false 按习惯，布尔算符的优先顺序从高到低为:非、与、或，并且与、或运算服从左结合。 布尔表达式的翻译 通常，计算布尔表达式的值有两种方法，一是如同计算算术表达式一样，一步步计算出各部分的真假值，最后计算出整个表达式的值。例 另一种方法是，采取某种优化措施，只计算部分表达式，例如要计算A or B，若计算出A的值为1，那么B的值就无需再计算了。 上述两种方法对于不包含布尔函数调用的表达式没什么差别。但是，若一个布尔表达式中会有布尔函数调用，并且这种调用引起副作用（如对全局变量的赋值）时，这两种方法未必等价。采用哪种方法取决于程序设计语言的语义，有语言规定，函数过程调用应不影响这个调用处环境的计值，或说函数过程的工作不许产生副作用，在这种规定下，可任选其中一种。 布尔表达式的翻译 若按第一种方法计算布尔表达式，则布尔表达式a or b and not c翻译成的四元式序列如下图。 对于ab这样的关系表达式，可看成等价的条件语句if ab then 1 else 0，它翻译成的四元式序列如下图。 下图给出了按第一种方法计算布尔表达式的值，将布尔表达式翻译成四元式的描述，其中nextstat给出在输出序列中下一四元式序号。emit过程每被调用一次，nextstat增加1。 控制语句中布尔表达式的翻译 这里讨论出现在if-then、if-then-else和while-do等语句中的布尔表达式的翻译。这三种语句的语法为： S-if E then S1 | if E then S1 else S2 | while E do S1 这些语句的代码结构示意分别如下图的(a),(b),(c) 所示，其中使用‘.’和‘