《编译原理4语义2表达式及赋值语句的翻译.ppt

第 10 讲 西北农林科技大学本科教程 主讲教师：赵建邦 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 第四章 语义分析和中间代码生成 4.1 语义分析概述 4.2 属性文法 4.3 几种常见的中间语言 4.4 表达式及赋值语句的翻译 4.5 控制语句的翻译 4.6 数组元素的翻译 4.7 过程或函数调用语句的翻译 4.8 说明语句的翻译 4.9 递归下降语法制导翻译方法简介 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 第四章《语义分析和中间代码生成》 4.4 表达式及赋值语句的翻译 简单算术表达式和赋值语句的翻译 布尔表达式的翻译(难点) 重点掌握 算术表达式语义子程序 布尔表达式的真假出口 布尔表达式的语义子程序 根据翻译图得到布尔表达式的四元式 本讲目标 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 4.4 表达式及赋值语句的翻译 4.4.1 简单算术表达式和赋值语句的翻译 简单变量：普通变量和常数，不包括数组、结构体成员等复合型数据结构。 简单算术表达式：仅含简单变量的算术表达式 简单算术表达式与四元式 简单算术表达式的计值顺序与四元式出现的顺序相同，因此很容易将其翻译成四元式形式。 当然，这些翻译方法稍加修改也可用于产生三元式或间接三元式。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 1.3.3 语义分析和中间代码生成（续） 简单算术表达式的计值顺序与四元式出现的顺序相同： 例如，计算圆柱体表面积的C语言程序： s = 2 * 3.1416 * r *（h + r）; 赋值语句的四元式中间代码： （1）（*，2, 3.1416，T1） （2）（*，T1, r， T2） （3）（+，h, r， T3） （4）（*，T2, T3， T4） （5）（=，T4, _， s ） 回顾： 表达式及赋值语句的翻译 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 　　考虑以下文法G[A]: ? A→ i?=?E　　?? E→ E+E | E*E | ?E | (E) | i　　 4.4 表达式及赋值语句的翻译 显然，文法G[A] 是一个二义文法，但通过确定运算符的结合性及规定运算符的优先级就可避免二义性的发生。 用该文法作为示例的目的：为了更简要地说明语义子程序的设计过程以及赋值语句的语法制导翻译过程。 如，对于赋值语句x=-b*(c+d)，已经预先规定运算顺序 非终结符A代表“赋值句” 非终结符E代表“表达式” Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 4.4 表达式及赋值语句的翻译 1.设计6个产生式的语义子程序 (1) ?A→ i=E { p=lookup(i.name);　　 if(p==NULL) error(?);　　 else emit(=,E.place,_,p); } 例如，赋值语句 x = b 刚开始读入到符号栈中，显示为 i = i, 使用E →i规约，得到： i = E（符号栈） _ _ b（语义栈） (a)对非终结符E定义语义变量E.place，即用E.place表示存放E值的变量名在符号表中的入口地址或临