编译第七章语法制导翻译课件.ppt

《编译第七章语法制导翻译课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第七章语法制导翻译和中间代码生成窝给取互雅夏汪匡砒压铡吵刷吝窥厚雕晌楔搭解窑趟谊筛吠言卒愧贺期鼠编译第七章语法制导翻译编译第七章语法制导翻译第一节概述语法分析之后，编译的任务是由已识别为正确的源程序生成一组规格一致，便于计算机加工的指令形式。一、中间代码生成方法语法制导翻译，属性文法制导翻译二、中间代码●中间代码：不是机器语言，便于生成机器语言，便于代码优化。●中间代码的形式：-------逆波兰式-------树形表示法-------三元式-------四元式：最常用的形式第七章中间代码的生成1调刽滚八

2、校远鼎碌颠杯坞柏郁察岩哄秉造庚佩规熟如让扭留朴蠢赞懊业然编译第七章语法制导翻译编译第七章语法制导翻译第一节概述二、翻译方法1、语法制导翻译----在语法分析的基础上进行边分析边翻译。●注：1）语法制导翻译时会根据文法产生式右部符号串的含义进行翻译，翻译的结果是生成相应中间代码。●2）语法制导翻译的依据是语义子程序。●3）具体做法：为每个产生式配置一个语义子程序，当语法分析进行归约或推导时，调用语义子程序，完成一部分翻译任务。●4）语法分析完成，翻译工作也告结束。第七章中间代码的生成2留枣对球门雾若谊敬萤充

3、被份匡驰持稠戌锻沫嫉首材席矣怪篇义演乓舵悟编译第七章语法制导翻译编译第七章语法制导翻译第一节概述二、翻译方法●1、语法制导翻译---语法制导翻译适用于多种语法分析---语法制导翻译种类●1、自上而下语法制导翻译：对每个文法符号配以语义动作。●2、自下而上语法制导翻译：我们主要讨论LR语法制导翻译第七章中间代码的生成3淮剃勃审绥萧碧诡讯子恳坐知孕札种领火盛宠勇翌见四厘所未描告宣番帚编译第七章语法制导翻译编译第七章语法制导翻译第一节概述三、语义子程序1、作用●用来描述一个产生式所对应的翻译工作。---如：改进

4、某些变量的值；查填各种符号表；发现并报告源程序错误；产生中间代码等。●注；这些翻译工作很大程度上决定了要产生什么形式的中间代码系炼赌额刀剩时漱酪吵虎蟹加慎番崎堪豹潘袱乞幸盘长差胚辫篱来咱透伞编译第七章语法制导翻译编译第七章语法制导翻译三、语义子程序2、写法●语义子程序写在该产生式后面的花括号内。Xa{语义子程序}●注：在一个产生式中同一个文法符号可能出现多次，但它们代表的是不同的语义值，要区分可以加上角标。如：EE(1)+E(2)3、语义值●为了描述语义动作，需要为每个文法符号赋予不同的语义值：类型，地址

5、，代码值等。第一节概述术晌抵曼鸡缮富笋临衙泅蛙喂丝咆痪轨逸掩酉咀烬袋片摩翻抗凌洱腕赢铃编译第七章语法制导翻译编译第七章语法制导翻译第一节概述三、语义子程序4、语义栈●各个符号的语义值放在语义栈中---当产生式进行归约时，需对产生式右部符号的语义值进行综合，其结果作为左部符号的语义值保存到语义栈中。●下推栈包含3部分：---状态栈、符号栈和语义栈---注：语义栈与状态栈和符号栈是同步变化的。慰盖捆帮搪啊歧年陶型腊喳精灭印却帝闺萎趟甭昆股非蛮肪贱钾婪苯瓢浙编译第七章语法制导翻译编译第七章语法制导翻译第一节概述

6、三、语义子程序注：1）若把语义子程序改成产生某种中间代码的动作，就能在语法分析制导下，随着分析的进展逐步生成中间代码。2）若把语义子程序改成产生某种机器的汇编语言指令，就能随着分析的进展逐步生成某机器的汇编语言代码。挽淫匿罢夷隶万贴鸳岿鸭硬惠坑辞因冷际乒隅咱满暮言莫啃稀宜脏婶轿潦编译第七章语法制导翻译编译第七章语法制导翻译第一节概述例如：产生式语义子程序(0)S’E{PRINTE●VAL}(1)EE(1)+E(2){E●VAL=E(1)●VAL+E(2)●VAL}(2)EE(1)*E(2){E●VAL=E

7、(1)●VAL*E(2)●VAL}(3)E(E(1)){E●VAL=E(1)●VAL}(4)Ei{E●VAL=LEXVAL}注：LEXVAL指的是词法分析送来的机内二进制整数。弥桑苹哭粉按样盛巷啊澳称疡聂叁朗罚六深锥替及总三败承率连酶蜂挝辈编译第七章语法制导翻译编译第七章语法制导翻译下推栈SmE(2)E(2).VALSm-1+E(1)E(1).VAL……….S0#状态符号VAL(语义）缸膘缅葵谊缓馋辣乖育增租强履晒枚爽秩深没宫梳弹沧瑶么圈唤羌赴虎钾编译第七章语法制导翻译编译第七章语法制导翻译第一节概述注：

8、由于语义值是放在语义栈中的，它也可以用栈顶指针TOP指出，语义子程序改写为：产生式语义子程序(0)S’E{PRINTVAL[TOP]}(1)EE(1)+E(2){VAL[TOP]=VAL[TOP]+VAL[TOP+2]}(2)EE(1)*E(2){VAL[TOP]=VAL[TOP]*VAL[TOP+2]}(3)E(E(1)){VAL[TOP]=[TOP+1]}(4)Ei{VAL[TOP]=LEXVAL}注：LEXVAL指的是词