第5章语法制导翻译技术与中间代码生成080602.ppt

第5章 语法制导翻译技术和中间代码生成 本章学习的主要内容 本章我们将主要讨论语法制导翻译的基本思想及其在在中间代码生成中的应用。主要包括：属性文法、各种常见中间语言形式、赋值语句的翻译，布尔表达式的翻译，控制语句的翻译、说明语句的翻译等。通过本章的学习，要求掌握语法制导翻译的基本思想和翻译方案。 语义处理程序的两个功能 第一，审查每个语法结构的静态语义，即检查语法结构合法的程序是否真正有意义。也称静态语义分析。（类型检查、控制流的检查、一致性检查、相关名字的检查） 第二，如果静态语义正确，语义处理则要执行真正的翻译，要么生成中间代码，要么生成实际的目标代码。（说明性语句：填符号表；可执行性语句：生成中间代码） 属性文法 属性文法主要用来描述和说明程序设计语言语义的。 属性：一般用来描述客观存在的事物或人的特征，编译技术中用属性来描述计算机要处理的对象的特征。 属性文法：为每个上下文无关文法中的文法符号，配以相关联的属性，属性的处理过程也就是语义的处理过程，为文法的每条规则配以相关联的语义规则构成的文法称为属性文法。 属性文法 属性文法的形式定义： AG： AG=（G，V，E） G:上下文无关文法; V:属性的有穷集合;每一个属性与某一个文法符号相关联；用文法符号·属性表示 E:表示属性的断言或谓词的有穷集合(语义规则);每一个断言与文法的某个产生式相关联) 属性:综合属性(自下而上传递信息)、继承属性（自上而下传递信息) 语法制导翻译的基本思想 对文法中的每个产生式都附加一个语义动作或语义子程序,在执行语法分析的过程中，每当使用一条产生式进行推导或规约时，就执行相应产生式的语义动作。 这些动作不仅指明了该产生式所生成的符号串的意义,而且还根据这种意义规定了对应的加工动作.（如查填各类表格、改变编译程序的某些变量之值、打印各种错误信息以及生成中间代码等）从而完成预定的工作。 语法制导翻译概念 在语法分析过程中,随着分析的步步进展,根据每个产生式所对应的语义子程序(或语义规则描述的语义动作)进行翻译的办法称为语法制导翻译。 算术表达式求值 语法分析分析的语法成分是简单算术表达式，所完成的语义的处理不是将它翻译成中间代码或目标代码，而是计算表达式的值。 算术表达式的属性文法 简单算术表达式求值的语义描述。 产生式 语义规则 (0) L→ E Print(E.val) (1)E→E1+T E.val=E1val+T.val (2)E→T E.val= T.val (3)T→T1*F T.val=T1.val * F.val (4)T→ F T.val=F.val (5)F→ (E) F.val=E.val (6)F→digit F.val=Lex.digit（0~9） 翻译步骤 首先，为文法的每条规则设计相应的语义子程序； 增加一个语义信息栈； 在语法分析的同时做语义处理：即在用某一个产生式进行规约的同时，调用相应的语义子程序完成所用规则的语义动作，并将每次动作后的值保存在语义栈中 计算表达式2+3*5 表达式2+3*5的归约过程 注意 句柄归约在先，语义动作调用在后 归约时，栈内句柄各符号的语义信息与句柄及同时出栈，整个句柄所表示的语义信息则赋给相应产生式左部非终结符号的语义变量，并让该非终结符号及语义信息同时入栈 中间代码 中间代码是介于源程序和目标程序之间,用来表述源程序并与之等效的一种编码方式. 生成中间代码的作用 (1)中间代码与具体机器无关,便于语法分析和语义加工,便于编译程序移植.(更容易改变目标机) (2)易于对中间语言进行优化,有利于提高中间代码的质量. (3)可使编译前端和编译后端接口更清晰,编译程序的逻辑结构更为简单明确. 常见的中间代码 常用的中间代码形式:逆波兰式、三元式、四元式、树代码等 逆波兰表示法（后缀式） 特点：运算符直接写在其运算对象之后。 不再有括号 运算对象出现的次序未变 求值过程简单，宜于用栈实现 例： a+b ab+ a*b+c ab*c+ a*(b+c/d) abcd/+* a*b+c*d ab*cd*+ a:=b*c+d*e abc*de*+:= 逆波兰表示法（后缀式） 后缀式的计算 用一个栈实现。 一般的计算过程是：自左至右扫描后缀式，每碰到运算量就把它推进栈。每碰到k目运算符就把它作用于栈顶的k个项，并用运算结果代替这k个项。 三元式