《编译原理课程教案》第5章：中间代码生成.pptxVIP

语义分析和中间代码生成第五章

主要内容：语义分析和中间代码的功能，中间代码的形式，属性文法及语法制导的翻译程序，各种语句的语法制导的翻译过程01重点掌握：属性文法，语义分析与处理的方法,中间代码的表示形式，各种语句的代码结构，各种语句的翻译方法02本章要求

LOGO语义分析和中间代码生成所处的位置：5.1概述

１.语义分析和中间代码生成在编译器中的位置：静态语义检查：如：类型、运算、数组维数、越界等的检查语义处理：如：变量的存储分配、表达式的求值、语句的翻译(中间代码的生成)总目标：生成等价的中间代码语法分析语义分析和中间代码生成编译的后续阶段语法树中间代码２.功能及任务：P166输入-语法分析单位输出-用中间代码形式表示的文本-出错处理:定位、继续编译

为什么要此阶段?逻辑结构清楚；利于不同目标机上实现同一种语言；利于进行与机器无关的优化，这些内部形式也能用于解释。什么是中间代码(Intermediatecode)源程序的一种内部表示，不依赖目标机的结构，易于机械生成目标代码的中间表示。中间代码的几种形式逆波兰、三元式、间接三元式、四元式、树

5.2中间代码的几种形式1、逆波兰式：运算对象写在前，运算符写在后(后缀表示形式)例：a+b?ab+(a+b)*c?ab+c*a+b*c?abc*+a:=b*c+b*d?abc*bd*+:=+ab优点：易于计算机处理利用栈，将扫描到的运算对象入栈，碰到运算符：若是双目运算符，则对栈顶的两个运算对象实施该运算并将运算结果代替这两个运算对象进栈；若是单目运算符，对栈顶元素，执行该运算，将运算结果代替该元素进栈，最后结果即栈顶元素。

练习写出下列算式的逆波兰表示a+b*(c+d/e)a:=b*(-c)+b*(-34)notAornot(CornotD)abcde/+*+abc-*b34-*+:=AnotCDnotornotor+a*b+c/de

后缀式的推广赋值语句A:=E，后缀式为：AE:=转向语句GOTOL的后缀式为：L’jmp条件语句ifxythenm:=xelsem:=y1234567891011121314xy11jezmx:=14jmy:=…

2、三元式编号（运算符，第一运算数，第二运算数）如：a：=b*c+b*d (1)（*，b，c） (2)（*，b，d） (3)（+，(1)，(2)） (4)（：=，(3)，a）对于单目运算符，只有一个运算对象，另一个为空注意：在三元式中的编号既代表了序号，又代表了结果的存放位置。

3、四元式P172是目前最常用的中间代码形式: (运算符，第一运算数，第二运算数，结果)例：a:=b*c+b*d(1)(*,b,c,t1)(2)(*,b,d,t2)(3)(+,t1,t2,t3)(4)(:=,t3,,a)也可以写成赋值语句形式：(1)t1:=b*c(2)t2:=b*d(3)t3:=t1+t2(4)a:=t3

练习求-B+C*D的逆波兰表示形式、三元式和四元式逆波兰：B–CD*+三元式：(1)(-,B,)(2)(*,C,D)(3)(+,(1),(2))四元式：(1)(-,B,,t1)(2)(*,C,D,t2)(3)(+,t1,t2,t3)

到目前为止，已知输入的语法单位，

又知道要翻译的结果的形式，

翻译的方法是什么？语义分析和翻译的方法：语义表示较流行的方法仍然是属性文法，翻译方法是语法制导的翻译。

属性文法:是在上下文无关文法的基础上，为每个文法符号(含终结符和非终结符)配备若干个属性值，对文法的每个产生式都配备了一组属性计算规则(称为语义规则)。在语法分析过程中，完成语义规则所描述的动作，从而实现语义处理。01属性：代表与文法符号相关的信息，如类型、值、代码序列、符号表的内容等。与变量一样，可以进行计算和传递，属性的加工过程就是语义的处理过程。02属性文法

属性分两类：综合属性：用于自下而上传递信息继承属性：用于自上而下传递信息注意：终结符只有综合属性，它由词法分析器提供；非终结符可有综合属性，也可有继承属性，它由词法分析器提供；文法的开始符号的所有继承属性作为属性计算前的初始值综合属性继承属性生式右边的文法符号的继承