4.3几种常见的中间语言探究.pptVIP

* * * 编 译 原 理 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)则是该赋值语句的普通语法树。 assign x - a * b c ( a ) S V E = x E E - E E * a b c ( b ) * * If (e) S1; else S2 和8+5*2 对应的语法树： if-then-else e S1 S2 + * 2 5 8 龙书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的值赋给χ。 * *