编译原理-中间语言.pptVIP

第七章 语义分析和中间代码生成 7.1 中间语言 7.2 说明语句 7.3 赋值语句的翻译 7.4 布尔表达式的翻译 7.5 控制语句的翻译 7.6 过程调用的处理 7.7 类型检查 7.1 中间语言 7.1.1 后缀式 7.1.2 图表示法 7.1.3 三地址代码 为什么引入中间语言? 许多编译程序采用了独立于机器的、复杂性介于源语言和机器语言之间的中间语言。 (1) 便于进行与机器无关的代码优化工作 (2) 使编译程序改变目标机更容易 (3) 使编译程序的结构在逻辑上更为简单明确, 编译前端和后端的接口更清晰 7.1.1 后缀式 后缀式表示法又称逆波兰表示法。 把运算量(操作数)写在前面，把算符写在后面 a + b * -c ，其后缀式为 a b c @ * + a := b* -c + b * -c，其后缀式为 a b c @ * b c @ * + assign if ab then c := c + 1 ，其后缀式为 a b c c 1 + assign IF-THEN 后缀表示法的优点 方便具有堆栈体系的计算机的目标代码生成 适用于解释执行的程序设计语言的中间表示 －2＋4*5 的后缀式为 2@45*+ 7.1.2 图表示法 DAG 无循环有向图 (Directed Acyclic Graph) 抽象语法树 DAG 在一个DAG中, 代表公共子表达式的结点具有多个父结点 7.1.3 三地址代码 三地址代码 是由下面一般形式的语句构成的序列： x := y op z x, y, z 为名字、常数或编译时产生的临时变量 op 代表运算符号 例: 表达式 x + y * z 可以被翻译为如下语句序列： T1 := y * z T2 := x+T1 Tl，T2为编译时产生的临时变量 教材中所使用的三地址语句的种类 (1) 形如 x := y op z 的赋值语句, op 为二元算符算符 (2) 形如 x := op y 的赋值语句，op 为一元算符 (3) 形如 x := y 的赋值语句 (4) 形如 goto L 的无条件转移语句 (5) 形如 if x relop y goto L 或 if a goto L 的条件转移语句 (6) 过程调用的语句 param x 和 call p, n， 以及返回语句 return y (7) 形如 x:= y[i] 、 x[i]:=y 的索引赋值 (8) 形如 x:=y、 x:=*y 、 *x:=y 的地址和指针赋值 产生三地址代码的属性文法不作为考试要求 newtemp : 返回一个不同的临时变量的名字 E.place : 存放E值的名字, 存放E值的变量在符号表中的登录项。(指针) E.code : 对E求值的三地址语句序列 gen : 生成三地址语句 三地址语句可看成中间代码的一种抽象形式 在编译程序中, 三地址代码语句的具体实现可以用记录表示, 通常有三种表示形式: 四元式： （ op, arg1, arg2, result ） 三元式： （ op, arg1, arg2 ） 间接三元式 四元式写成简单赋值形式 a := b*c + b*d 把上述四元式序列写成：　　（1）t1∶=b*c　　（2）t2∶=b*d　　（3）t3∶=t1+t2　　（4）a ∶=t3 为了避免把临时变量填入到符号表，可以通过计算这个临时变量值的语句 的位置 来引用这个临时变量 arg1和 arg2，或者指向符号表中的指针，或者指向三元式表的指针（临时变量）。 运算的先后顺序由一张间接码表列出 例: a := b * c + d / f 的间接三元式 当优化过程中需要调整运算顺序时, 只需安排间接码表，无需改动三元式表。 间接三元式的优点 便于优化 相同的三元式无需重复填入三元式表中， 节省三元式空间 * * ab+abc*+ ab+c*abc*bd*+:= a+ba+b*c(a+b)*ca:=b*c+b*d 逆波兰表示 程序设计语言中的表示 表7.1 把表达式翻译成后缀式的语义规则描述 E.code := E1.code || E2.code || op E.code := E1.code E.code := id E ? E1 op E2 E ? (E1) E ?id 语义规则 产生式 后缀式的连接 E的后缀