资源描述：
《编译原理语义2(表达式及赋值语句的翻译)》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、第10讲编译原理西北农林科技大学本科教程主讲教师：赵建邦Evaluationonly.CreatedwithAspose.Slidesfor.NET3.5ClientProfile5.2.0.0.Copyright2004-2011AsposePtyLtd.第四章语义分析和中间代码生成4.1语义分析概述4.2属性文法4.3几种常见的中间语言4.4表达式及赋值语句的翻译4.5控制语句的翻译4.6数组元素的翻译4.7过程或函数调用语句的翻译4.8说明语句的翻译4.9递归下降语法制导翻译方法简介Evaluationonly.CreatedwithAspose.Slidesfor.NET3
2、.5ClientProfile5.2.0.0.Copyright2004-2011AsposePtyLtd.第四章《语义分析和中间代码生成》4.4表达式及赋值语句的翻译简单算术表达式和赋值语句的翻译布尔表达式的翻译(难点)重点掌握算术表达式语义子程序布尔表达式的真假出口布尔表达式的语义子程序根据翻译图得到布尔表达式的四元式本讲目标Evaluationonly.CreatedwithAspose.Slidesfor.NET3.5ClientProfile5.2.0.0.Copyright2004-2011AsposePtyLtd.4.4表达式及赋值语句的翻译4.4.1简单算术表达式和
3、赋值语句的翻译简单变量：普通变量和常数，不包括数组、结构体成员等复合型数据结构。简单算术表达式：仅含简单变量的算术表达式。简单算术表达式与四元式简单算术表达式的计值顺序与四元式出现的顺序相同，因此很容易将其翻译成四元式形式。Evaluationonly.CreatedwithAspose.Slidesfor.NET3.5ClientProfile5.2.0.0.Copyright2004-2011AsposePtyLtd.1.3.3语义分析和中间代码生成（续）简单算术表达式的计值顺序与四元式出现的顺序相同：例如，计算圆柱体表面积的C语言程序：s=2*3.1416*r*（h+r）;赋
4、值语句的四元式中间代码：（1）（*，2,3.1416，T1）（2）（*，T1,r，T2）（3）（+，h,r，T3）（4）（*，T2,T3，T4）（5）（=，T4,_，s）回顾：表达式及赋值语句的翻译Evaluationonly.CreatedwithAspose.Slidesfor.NET3.5ClientProfile5.2.0.0.Copyright2004-2011AsposePtyLtd.考虑以下文法G[A]:A→i = EE→E+E
5、E*E
6、−E
7、(E)
8、i4.4表达式及赋值语句的翻译显然，文法G[A]是一个二义文法，但通过确定运算符的结合性及规定运算符的优先级就可避免二
9、义性的发生。用该文法作为示例的目的：为了更简要地说明语义子程序的设计过程以及赋值语句的语法制导翻译过程。如，对于赋值语句x=-b*(c+d)，已经预先规定运算顺序非终结符A代表“赋值句”非终结符E代表“表达式”Evaluationonly.CreatedwithAspose.Slidesfor.NET3.5ClientProfile5.2.0.0.Copyright2004-2011AsposePtyLtd.4.4表达式及赋值语句的翻译1.设计6个产生式的语义子程序(1)A→i=E{p=lookup(i.name); if(p==NULL)error( ); elseemi
10、t(=,E.place,_,p);}例如，赋值语句x=b刚开始读入到符号栈中，显示为i=i,使用E→i规约，得到：i=E（符号栈）__b（语义栈）(a)对非终结符E定义语义变量E.place，即用E.place表示存放E值的变量名在符号表中的入口地址或临时变量名的整数码所以，E.Place中必须保存b在符号表中的入口地址；x=b翻译为(=,b,_,x)Evaluationonly.CreatedwithAspose.Slidesfor.NET3.5ClientProfile5.2.0.0.Copyright2004-2011AsposePtyLtd.4.4表达式及赋值语句的翻译1.
11、设计6个产生式的语义子程序(1)A→i=E{p=lookup(i.name); if(p==NULL)error(); elseemit(=,E.place,_,p);}(b)定义语义函数lookup(i.name)，其功能是审查终结符i.name是否出现在符号表中，是则返回i.name在符号表的入口指针，否则返回NULL。(c)定义语义函数emit(op,arg1,arg2,result)，emit的功能是产生一个四元式并填入四元式表中。Evaluation
