北大编译原理chapter7课件.pptVIP

第七章 中间代码生成 序 7.1 中间语言 7.2 说明语句 7.3 赋值语句 7.4 布尔表达式 7.6 回填 7.7 过程语句 练习; 序 ◆“中间代码生成”程 序的任务是：把经过语 法分析和语义分析而获得的源程序中间表 示翻译为中间代码表示。 ◆方法：语法制导翻译。 ◆采用独立于机器的中间代 码的好处： 1. 便于编译系统的 建立和编译系统的移植； 2. 便于进行独立于机器的代码优化工作。;7.1 中间语言 语法树 后缀式 三地址代码表示 7.1.1 图表示法 语法树，有向非循环图和后缀式表示 源程序的自然层次结构，例如： a:=b * - c+b * -c;assign;assign;表7.1 产生赋值语句语法树的语法制导定义; E.nptr:=mknode(uminus, E1.nptr) E.nptr:=E1.nptr E.nptr:=mkleaf(id,id.place);赋值语句：a:=b*-c+b*-c 后缀式：a b c uminus * b c uminus * + assign;7.1.2 三地址代码 ◆一般形式 x：＝y op z 图7.3 相应于图7.1的树和dag的三地址代码 t1 ：＝ -c t1：＝-c t2 ：＝ b* t1 t2：＝b*t1 t3 ：＝ -c t5：＝t2+t2 t4 ：＝ b* t3 a：= t5 t5 ：＝ t2+t4 a ：＝ t5 （a）对于语法树的代码 （b）对于dag的代码 ;7.1.3 三地址语句的种类 （1）赋值语句 x：＝y op z，op为二目算术算 符或逻辑算符; （2）赋值语句 x：＝op y ，op为一目算符， 如一目减uminus、逻辑非not、移位算符 及转换算符; （3）复制语句 x：＝y; （4）无条件转移语句goto L; （5）条件转移语句 if x relop y goto L，关系运 算符号relop（ ，=，＞= 等等）;;（接上页） （6）过程调用语句 param x 和 call p, n ; 过程返回语句 return y; （7）索引赋值 x:=y[i] 及 x[i] :=y ; （8）地址和指针赋值 x：＝＆y，x：＝* y 和 * x：＝y。 ◆ 在设计中间代码形式时，选择多少种算 符 需 要 trade off .;7.1.4 语法制导翻译生成三地址代码 ;（续上表）; （1）E.place表示存放E值的名字。 （2）E.code表示对E求值的三地址语句序列。 (3) newtemp是个函数，对它的调用将产生 一个新的临时变量。 ◆ 三地址语句序列是语法树的线性表示，用 临时变量代替语法树中的结点。 ◆实际实现中，三地址语句序列往往是被存放 到一个输出文件中，而不是将三地址语句序 列置入code属性之中;; 对于语句a:=b*-c+b*-c 的三种表示方法;(0) (1) (2) (3) (4) (5);(14) (15) (16) (17) (18) (19);7.2 说明语句 ◆说明语句的翻译：对每个局部名字，在符 号表中建立相应的表项，填写有关的信息 如类型、嵌套深度、相对地址等。 ◆相对地址：相对静态数据区基址或活动记 录中局部数据区基址的一个偏移值。 7.2.1 过程中的说明语句 ◆一个过程中的所有说明语句作为一个类集 来处理。用一个全程变量Offset来记录下 一个数椐在活动记录中的位置。;P→ ｛offset：＝0} D D→D; D D→id ：T ｛enter（id.name，T.type，offset）； offset:=offset＋T.width｝ T→integer ｛T.type ：=integer; T.width：= 4｝ T→real ｛T.ty