编译原理第5章语法制导翻译及中间代码生成.ppt

编译原理第5章语法制导翻译及中间代码生成.ppt

  1. 1、本文档共39页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第五章 语法制导翻译及中间代码生成 §5.1 语法制导翻译概述 §5.2 中间语言 §5.3 自底向上语法制导翻译 §5.4 自顶向下语法制导翻译 §5.5 属性文法与属性翻译 一、语法制导翻译定义 语法制导翻译就是以语法分析为主导的语义处理。在语法分析过程中嵌入语义动作,即调用对应的语义子程序。 例如在前面语法分析时分析a+b*c表达式,其分析语法树如下: 二、语法制导翻译原理 语法制导翻译的原理就是先为每个文法规确定相应的语义,即编写出相应语义处理子程序,整个分析是以语法分析为主导。 语义动作:给每个文法符号X赋以各种不同的语义值 例如,假定有输入串1+2+3,我们通过语法树的分析来看如何进行语法制导翻译,来求出该句子最后值。 输入串1+2+3的语法树如下图所示 . (1) X∷=… {动作1} (2) Y∷=… {动作2} (3) A∷=XY {动作3} 现在对LR分析器的分析栈加以扩充,为了在语法分析过程中平行地进行语义处理,使得每个文法符号之后都跟着它的语义值,因此,设置一个语义信息栈,为了清晰起见,我们把这个分析栈每一项分三部分组成:状态STATE、文法符号SYM和语义值VAL。 我们假定先归约后执行语义子程序,所以当X,Y归约为A, Sm和Sm-1归约为新状态S后,执行语义子程序X和Y的值也归约为A的值。 例5.2 考虑下面文法及其语义描述: 规 则 语义动作 (0) S’∷=E {print E·VAL} (1)E∷=E(1)+E(2) {E·VAL:=E(1)·VAL+E(2)·VAL} (2)E∷=E(1)*E(2) {E·VAL:=E(1)·VAL*E(2)·VAL} (3) E∷=(E(1)) {E·VAL=E(1)·VAL} (4) E∷=i {E·VAL:=LEXVAL} 规 则 程序段 (0) S’∷=E {print VAL[TOP]} (1) E∷=E(1)+E(2) {VAL[TOP]:=VAL[TOP]+VAL[TOP+2]} (2) E∷=E(1)*E(2) {VAL[TOP]:=VAL[TOP]*VAL[TOP+2]} (3) E∷=(E(1)) {VAL[TOP]:=VAL[TOP+1]} (4) E∷=i {VAL[TOP]:=LEXVAL} 一、引言 1. 什么是中间语言 就是和源程序等价的一种编码形式,其复杂性介于源程序和机器语言中间。 2. 为什么要引入中间语言 (1)为了使编译程序结构上逻辑简单明确 (2)为了便于目标代码优化工作 (3)便于目标代码生成 二、逆波兰表示 1. 表达式逆波兰表示 例如表达式中缀表示和后缀表示如下表所示 (2)逆波兰(后缀)表示的优点 1)后缀表示是一种无括号表示法,不但简明,而且又确切规定了计算顺序。 2)运算处理极其简单方便,只要从左到右扫描后缀表达式各个符号,就能进行对表达式处理 3) 十分方便容易生成目标指令 (3)用后缀表示对表达式处理的过程 下面通过求后缀表达式ab+c*的值,来说明用后缀表式对表达式处理的过程 设a,b和c分别为1,3和5,为了求1 3+5*的值,其计算过程如下: 1)把1推进栈。 2)把3推进栈。 3)将栈顶两个元素1和3相加,使它们退出栈,然后把结果4存入栈。 4)把5推进栈。 5)将栈顶两个元素4和5相乘,使它们退出栈,然后将结果20存入栈。 结束时栈顶的值(这里是20)是整个表达式值。 (1)赋值语句 〈左部〉:=〈表达式〉 把赋值号“:=”看成是一个赋值运算符,它的后缀式为 〈左部〉〈表达式的后缀式〉:= 例如:x:=5 x:=a*b-c/d 的后缀式分别为 x5:= xab*cd/-:= (1)定义 三元式的一般形式为 (i) (OP, ARG1, ARG2) 其中:(i)为三元式的编号,不同三元式不能有相同的编号 OP是运算符部分 ARG1和ARG2是运算对象部分,它们或者指向符号表登记项指示器(对于运算对象是常数或标识符的情况),或者是一个指向三元式序列(或三元式表)中某一个三元式位置的

文档评论(0)

wendan118 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档