43-几种常见的中间语言解析课件.ppt

1、郭郭 一一 晶晶 厦门大学嘉庚学院厦门大学嘉庚学院 2008 2008 年年 9 9 月月12/5/20221l4.3.1 抽象抽象语法树语法树l4.3.2逆波兰逆波兰表示法表示法l4.3.3 三地址三地址代码代码12/5/20222Intermediate code；Intermediate representation；Intermediate languagel使用中间代码的优点与机器无关，便于移植。便于进行独立于机器的代码优化。l介绍几种常用的中间表示图形表示:语法树逆波兰表示法:后缀表示三地址代码l用语法制导定义和翻译方案的方法将源程序翻译成中间形式12/5/20223l抽象抽象语法

2、树语法树(Abstract syntax tree)：每一个叶结点都表示诸如常量或变量这样的运算对象(操作数)，而其它内部结点则表示运算符(操作符)。l注意，语法树是分析树的压缩表示：算符和关键字作为内部结点。12/5/20224l语法规则中包含的某些符号可能起标点符号作用也可能起解释作用。l如赋值语句语法规则：l SV=el 其中的赋值号“=”仅起标点符号作用，其目的是把V与e分开；l如条件语句语法规则：lSif(e)S1;else S2l 保留字符号if和else起注释作用，说明当布尔表达式e为真时执行S1，否则执行S2；而“；”仅起标点符号作用。12/5/20225l赋值语句x=ab*c

3、的抽象语法树如图44(a)所示，而图44(b)则是该赋值语句的普通语法树。assignx-a*bc(a)SVE=xEE-EE*abc(b)12/5/20226lIf(e)S1;else S2 和8+5*2 对应的语法树：if-then-elseeS1S2+*258龙书P190提到了如何构造表达式的语法树。12/5/20227l逆波兰表示法是波兰逻辑学家卢卡西维奇(Lukasiewicz)发明的一种表示表达式的方法，这种表示法把运算量(操作数)写在前面，把运算符写在后面，因而又称后缀表示法。l例如，把a+b写成ab+，把a*(b+c)写成abc+*。12/5/20228l表达式E的后缀表示的递归

4、定义如下：l (1)如果E是变量或常数，则E的后缀表示即E自身。l (2)如果E为E1 op E2形式，则它的后缀表示为E1E2op；其中op是二元运算符，而E1、E2分别又是E1和E2的后缀表示。若op为一元运算符，则E1和E1为空。l (3)如果E为(E1)形式，则E1的后缀表示即为E的后缀表示。lP96 例4.1。12/5/20229l上述定义的实质：操作数出现的顺序与原来一致，而运算符则按运算先后的顺序放入相应的操作数之后(即运算符先后的顺序发生变化)。l这种表示已不需要用括号来规定运算的顺序。l后缀表示中的计值用栈实现非常方便。一般的计算过程是自左至右扫描后缀表达式，每碰到运算数就把

5、它推进栈，每碰到K目运算符就把它作用于栈顶的K个运算量，并用运算的结果(即一个运算量)来取代栈顶的K个运算数。l可以拓广到表示赋值语句和控制语句，但很难用栈来描述它的计算。12/5/202210l12/5/202211l1三地址代码的形式l三地址代码语句的一般形式为l x=y op zl操作数：名字、常量或编译时产生的临时变量；lop：运算符，如+-*/%uminus not and or xor =if-gotol三地址代码的每条语句通常包含三个地址，两个用来存放运算对象，一个用来存放运算结果。12/5/202212l如表达式x+y*z的三地址代码为：lt1=y*zlt2=x+t1l其中，t

6、1和t2是编译时产生的临时变量。l三地址代码是语法树的一种线性表示，如图44(a)所示的语法树用三地址代码表示为：lt1=b*clt2=a t1lx=t212/5/202213l作为中间语言的三地址语句非常类似于汇编代码，它可以有符号标号和各种控制流语句。l常用的三地址语句有以下几种：l(1)x=y op z形式的赋值语句，其中op为二目的算术运算符或逻辑运算符。l(2)x=op y形式的赋值语句，其中op为一目运算符，如一目减uminus、逻辑否定not、移位运算符以及将定点数转换成浮点数的类型转换符。l(3)x=y形式的赋值语句，将y的值赋给。12/5/202214l(4)无条件转移语句g

7、oto L，即下一个将被执行的语句是标号为L的语句。l(5)条件转移语句if x rop y goto L，其中rop为关系运算符，如、=等。若x和y满足关系rop就转去执行标号为L的语句，否则按顺序执行本语句的下一条语句。l(6)过程调用语句par X和call P,n。源程序中的P(X1、X2、，Xn)可用下列三地址代码表示：lpar X1lpar X2lpar Xnlcall P,n 其中，整数n为实参个数。l 过程返回语句为return y，其中y为过程返回值。12/5/202215l(7)变址赋值语句x=yi，其中x、y、i均代表数据对象，表示把从地址y开始的第i个地址单元中的值赋给

8、x。xi=y则表示把y的值赋给从地址x开始的第i个地址单元。l(8)地址和指针赋值语句 x=&y表示将y的地址赋给x，y可以是一个名字或一个临时变量，而x是指针名或临时变量；x=*y表示将y所指示的地址单元中的内容(值)赋给x，y是一个指针或临时变量；*x=y表示指将x所指对象的值置为y的值。12/5/202216l三地址代码是中间代码的一种抽象形式。l在编译程序中，三地址代码语言的具体实现通常有三种表示方法：四元式四元式、三元式三元式和间接三间接三元式元式。l1)四元式(quadruples)l 四元式是具有四个域的记录结构，这四个域为l (op，arg1，arg2，result)l其中，o

9、p为运算符；arg1、arg2及result为指针，它们可指向有关名字在符号表中的登记项或一临时变量(也可空缺)。12/5/202217l常用的三地址语句与相应的四元式对应如下：lx=y op z 对应(op,y,z,x)lx=y 对应(uminus,y,_,x)lx=y 对应(=,y,_,x)lpar x1 对应(par,x1,_,_)lcall P 对应(call,_,_,P)lgoto L 对应(j,_,_,L)lif x rop y goto L 对应(jrop,x,y,L)12/5/202218l例如，赋值语句a=b*(c+d)相应的四元式代码为：l(+,c,d,t1)l(*,b,t

10、1,t2)l(=,t2,_,a)t1:=-ct2:=b*t1t3:=-ct4:=b*t3t5:=t2+t4a:=t5 op arg1 arg2 result(0)uminus c t1(1)*b t1 t2(2)uminus c t3 (3)*b t3 t4(4)+t2 t4 t5(5):=t5 a 12/5/202219l注意：l凡只需一个运算量的算符一律使用arg1。l此外，注意这样一个规则：如果op是一个算术或逻辑运算符，则result总是一个新引进的临时变量，它用来存放运算结果。l由上例也可看出，四元式出现的顺序与表达式计值的顺序是一致的，四元式之间的联系是通过临时变量实现的。l四元式

11、由于其表示更接近程序设计的习惯而成为一种普遍采用的中间代码形式。12/5/202220l2)三元式(Triples)l三元式是具有三个域的记录结构，这三个域为l (op，arg1，arg2)l其中，op为运算符；arg1、arg2既可指向有关名字在符号表中的登记项，也可以指向三元式表中的某一个三元式。l实际上，三元式是省去中间变量，代之以产生中间变量值的三地址语句的地址。12/5/202221l例：t1:=-ct2:=b*t1t3:=-ct4:=b*t3t5:=t2+t4a:=t5 op arg1 arg2(0)uminus c(1)*b (0)(2)uminus c(3)*b (2)(4)+

12、(1)(3)(5)assign a (4)12/5/202222l3.间接三元式(Indirect triples)l 使用三元式虽然省去了中间变量，但是要移动三元式就比较麻烦，因而不便于优化。解决的方法是引入索引表间接码表，当调整三元式的位置时，只改动间接码表中的索引位置。l注意，使用间接码表后，三元式表中的重复三元式可以省去；l注意，在前一种的三元式表示中，每个语句的位置同时有两个作用：一是可作为该三元式的结果被其它三元式引用；二是三元式位置顺序即为运算顺序。12/5/202223l例：间接间接三元式表示三元式表示 op arg1 arg2(14)uminus c(15)*b (14)(16)uminus c(17)*b (16)(18)+(15)(17)(19)assign a (18)statement(0)(14)(1)(15)(2)(16)(3)(17)(4)(18)(5)(19)12/5/202224l例：合并合并相同的三元式 op arg1 arg2(14)uminus c(15)*b (14)(18)+(15)(15)(19)assign a (18)statement(0)(14)(1)(15)(2)(14)(3)(15)(4)(18)(5)(19)12/5/202225lP126 4.1(1)(2)(3)12/5/20222612/5/202227