- 1、本文档共27页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
4.3几种常见的中间语言汇编
编 译 原 理 Principle of Compiling
郭 一 晶
厦门大学嘉庚学院
2008 年 9 月
4.3 几种常见的中间语言
4.3.1 抽象语法树
4.3.2 逆波兰表示法
4.3.3 三地址代码
为什么使用中间代码?
Intermediate code;Intermediate representation;Intermediate language
使用中间代码的优点
与机器无关,便于移植。
便于进行独立于机器的代码优化。
介绍几种常用的中间表示
图形表示: 语法树
逆波兰表示法: 后缀表示
三地址代码
用语法制导定义和翻译方案的方法将源程序翻译成中间形式
4.3.1 抽象语法树
抽象语法树(Abstract syntax tree):每一个叶结点都表示诸如常量或变量这样的运算对象(操作数),而其它内部结点则表示运算符(操作符) 。
注意,语法树是分析树的压缩表示:算符和关键字作为内部结点。
语法规则中包含的某些符号可能起标点符号作用也可能起解释作用。
如赋值语句语法规则:
S→V=e
其中的赋值号“=”仅起标点符号作用,其目的是把V与e分开;
如条件语句语法规则:
S→if(e)S1; else S2
保留字符号if和else起注释作用,说明当布尔表达式e为真时执行S1,否则执行S2;而“;”仅起标点符号作用。
赋值语句x=a?b*c的抽象语法树如图4–4(a)所示,而图4–4(b)则是该赋值语句的普通语法树。
If (e) S1; else S2 和8+5*2 对应的语法树:
龙书P190提到了如何构造表达式的语法树。
4.3.2 逆波兰表示法
逆波兰表示法是波兰逻辑学家卢卡西维奇(Lukasiewicz)发明的一种表示表达式的方法,这种表示法把运算量(操作数)写在前面,把运算符写在后面,因而又称后缀表示法。
例如,把a+b写成ab+,把a*(b+c)写成abc+*。
1.表达式的逆波兰表示
表达式E的后缀表示的递归定义如下:
(1) 如果E是变量或常数,则E的后缀表示即E自身。
(2) 如果E为E1 ?op E2形式,则它的后缀表示为E1E2op;其中op是二元运算符,而E1、E2分别又是E1和E2的后缀表示。若op为一元运算符,则E1和E1为空。
(3) 如果E为(E1)形式,则E1的后缀表示即为E的后缀表示。
P96 例4.1。
上述定义的实质:操作数出现的顺序与原来一致,而运算符则按运算先后的顺序放入相应的操作数之后(即运算符先后的顺序发生变化)。
这种表示已不需要用括号来规定运算的顺序。
后缀表示中的计值用栈实现非常方便。一般的计算过程是自左至右扫描后缀表达式,每碰到运算数就把它推进栈,每碰到K目运算符就把它作用于栈顶的K个运算量,并用运算的结果(即一个运算量)来取代栈顶的K个运算数。
可以拓广到表示赋值语句和控制语句,但很难用栈来描述它的计算。
2.程序语句的逆波兰表示{自学}
…
4.3.3 三地址代码
1.三地址代码的形式
三地址代码语句的一般形式为
x=y op z
操作数:名字、常量或编译时产生的临时变量;
op:运算符,如+ - * / % uminus not and or xor = ? ? ? if-goto
三地址代码的每条语句通常包含三个地址,两个用来存放运算对象,一个用来存放运算结果。
如表达式x+y*z的三地址代码为:
t1 = y*z
t2 = x+t1
其中,t1和t2是编译时产生的临时变量。
三地址代码是语法树的一种线性表示,如图4–4(a)所示的语法树用三地址代码表示为:
t1= b*c
t2 = a? t1
x = t2
2.三地址语句的种类
作为中间语言的三地址语句非常类似于汇编代码,它可以有符号标号和各种控制流语句。
常用的三地址语句有以下几种:
(1) ?x=y op z形式的赋值语句,其中op为二目的算术运算符或逻辑运算符。
(2) ?x=op y形式的赋值语句,其中op为一目运算符,如一目减uminus、逻辑否定not、移位运算符以及将定点数转换成浮点数的类型转换符。
(3) ?x=y形式的赋值语句,将y的值赋给χ。
(4) 无条件转移语句goto L,即下一个将被执行的语句是标号为L的语句。
(5) 条件转移语句if x rop y goto L,其中rop为关系运算符,如、=、==、!=、、=等。若x和y满足关系rop就转去执行标号为L的语句,否则按顺序执行本语句的下一条语句。
(6) 过程调用语句par X和call
您可能关注的文档
- 人教版九年级语文下第四单元《变脸》课件分解.ppt
- 4.1计算机网络网络层1汇编.ppt
- 人教版课件3.4.1实际问题与一元一次方程分解.ppt
- 4.1种群的特征汇编.ppt
- 柔光砖介绍及展示分解.docx
- 人教版老人与海鸥课件分解.ppt
- 三语上4槐乡的孩子分解.ppt
- 人教版临沂经济技术开发区2015—2016学年度下学期期中学业水平质量调研试题分解.doc
- 摄象机色温白平衡分解.ppt
- 柔性生产计划与排产管理分解.ppt
- 2024年江苏省无锡市企业人力资源管理师之一级人力资源管理师考试题库精品(满分必刷).docx
- 2024年江苏省镇江市企业人力资源管理师之四级人力资源管理师考试大全含答案(综合卷).docx
- 2024年江苏省南京市企业人力资源管理师之一级人力资源管理师考试真题及答案一套.docx
- 2024年江苏省徐州市企业人力资源管理师之四级人力资源管理师考试真题题库带答案(巩固).docx
- 2024年江西省赣州市企业人力资源管理师之四级人力资源管理师考试精品题库附答案(研优卷).docx
- 2024年江西省鹰潭市企业人力资源管理师之一级人力资源管理师考试优选题库(精选题).docx
- 2024年河北省保定市企业人力资源管理师之四级人力资源管理师考试精选题库含答案【巩固】.docx
- 2024年江西省九江市企业人力资源管理师之一级人力资源管理师考试完整版含答案(实用).docx
- 2024年江苏省苏州市企业人力资源管理师之一级人力资源管理师考试内部题库(精选题).docx
- 2024年江苏省淮阴市企业人力资源管理师之四级人力资源管理师考试通关秘籍题库及答案(易错题).docx
文档评论(0)