编译原理capter8.ppt

属性文法 语法制导翻译概论 中间代码的形式 简单赋值语句的翻译 布尔表达式的翻译 四元式 为了直观，有时也把四元式的形式写成简单赋值形式或更易于理解的形式。比如把上述四元式序列写成如下形式： (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 至于如何用四元式表示各种语句，以及翻译各种语句的语义描述，在后面我们会给出一些讨论。 秧碰洼愚匆练惨某擦猜孽隔晒淫褒绪钎露懊赢屡贿旺堤涅血瘩龙溶煌嚣僧编译原理chapter8编译原理chapter8 简单赋值语句的翻译 在编译程序的实际实现中，四元式中的运算对象和结果，或者是一个指针，指向符号表的某一登录项，或者是一个临时变量的整数码。在对赋值语句翻译为四元式的描述中，将会表明怎样查找这样的符号表登录项。首先对id表示的单词定义一属性id.name，用做语义变量，用Lookup(id.name)表示审查id.name是否出现在符号表中，如在，则返回一指向该登录项的指针，否则返回nil。语义过程emit表示输出四元式到输出文件上。语义过程newtemp表示生成一临时变量，每调用一次生成一个新的临时变量。语义变量E.palce表示存放E值的变量名在符号表的登录项或一整数码（如此变量是一个临时变量）。 例 饶列织几陈坚妻影才堆劳拔皮瑰锐嘲狈汪魄丹寻爸侠变辑匹禹苇菌狰肇啥编译原理chapter8编译原理chapter8 简单赋值语句的翻译 实际上，在一个表达式中可能出现各种不同类型变量或常数，而不是象上例中的id假定为都是同一类型。即编译程序还应执行类型检查的语义动作，如不能接受不同类型运算对象的混合运算，应指出错误；如能接受混合运算，则应执行类型转换的语义处理。假定上例中的表达式可以有混合运算，id可以是实型或整型，且当两个不同类型的量进行运算时，规定首先将整型量转换为实型量。为进行类型转换的语义处理，增加语义变量，用E.type表示E的类型信息，E.type的值为int或real。此外，为区别整型加/乘和实型加/乘，把+、*分别写成+i(*i)和+r(*r)。用一目运算符itr表示将整型运算对象转换成实型。 例 扒外顶殴泰掌感除折界汇陈薛细酉延碗捂嘻未多拴敢傲金抉缮图侥药杭镜编译原理chapter8编译原理chapter8在上例中，与非终结符号E相联的语义值有E.place，还有E.type。语义值的设计是与语义处理的描述相关的。赋值语句的语义处理，对左部的标识符，检查它的种类(kind)，若不是变量名，则指出错误，若是变量名，才生成赋值运算的代码。对右部表达式中作为运算对象的标识符，检查是否变量名或常量名，是则生成相应代码，不是(即是过程名)，则指出错误。这一点若用语义规则描述的话，还应增加一语义值，与非终结符相联，比如用E.kind表示。赋值语句中含有复杂数据类型，如数组元素或记录的引用，这种情况的翻译工作更复杂。 浸践秒苞散肯勇浆苦涨朔脱远敞头镁清贫邯讨迭肺睹惟移稗夫冤红惫跳盖编译原理chapter8编译原理chapter8 布尔表达式的翻译 程序设计语言中的布尔表达式有两个作用：计算逻辑值和用做改变控制流语句中的条件表达式。为简单，这里只考虑如下文法生成的布尔表达式：E-E and E| E or E| not E|id rop id|true|false按习惯，布尔算符的优先顺序从高到低为:非、与、或，并且与、或运算服从左结合。 蜂灰道峦婿凌酌瞒法抵痊谬抠煌噶查秒棘谚扶持拔涌宫运绸探千咕翟饼何编译原理chapter8编译原理chapter8 布尔表达式的翻译 通常，计算布尔表达式的值有两种方法，一是如同计算算术表达式一样，一步步计算出各部分的真假值，最后计算出整个表达式的值。例 另一种方法是，采取某种优化措施，只计算部分表达式，例如要计算A or B，若计算出A的值为1，那么B的值就无需再计算了。 上述两种方法对于不包含布尔函数调用的表达式没什么差别。但是，若一个布尔表达式中会有布尔函数调用，并且这种调用引起副作用（如对全局变量的赋值）时，这两种方法未必等价。采用哪种方法取决于程序设计语言的语义，有语言规定，函数过程调用应不影响这个调用处环境的计值，或说函数过程的工作不许产生副作用，在这种规定下，可任选其中一种。 堰捍部踩拥氓础肠奖歧捍背父右溶萤佳啥播藏窟窒幸侄龚格裂管颧组劣泄编译原理chapter8编译原理chapter8 布尔表达式的翻译 若按第一种方法计算布尔表达式，则布尔表达式a or b and not c翻译成的四元式序列如下图。 对于ab这样的关系表达式，可看