编译原理课后-答案.docxVIP

《编译原理》课后习题答案第十一章 《编译原理》课后习题答案第十一章 PAGE 10 PAGE 10 计算机咨询网（ ）陪着您 第 11 章 代码优化 第１题 何谓代码优化？进行优化所需要的基础是什么？ 答案： 对代码进行等价变换，使得变换后的代码运行结果与变换前代码运行结果相同，而运行速度加快或占用存储空间减少，或两者都有。 优化所需要的基础是在中间代码生成之后或目标代码生成之后。第２题 编译过程中可进行的优化如何分类？ 答案： 依据优化所涉及的程序范围，可以分为：局部优化、循环优化和全局优化。第３题 最常用的代码优化技术有哪些？ 答案： 删除多余运算 代码外提 强度削弱 变换循环控制条件 合并已知量与复写传播 删除无用赋值 第 4 题 图 11.23 是图 11.22 的 C 代码的部分三地址代码序列。 void quicksort(m,n) int m,n; { int i,j; int v,x; if (n=m) return; /* fragment begins here */ i = m-1; j = n; v = a[n]; while(1) { do i = i+1;while (a[i]v); do j = j-1; while (a[j]v); if (i=j) break; x = a[i]; a[i] = a[j]; a[j] = x; } x = a[i]; a[i] = a[n]; a[n] = x; /* fragment ends here */ quicksort (m,j); quicksort(i+1,n); } 图 11.22 (1) i:=m-1 (2) j:=n (3) t1:=4*n (4) v:=a[t1] (5) i:=i+1 (6) t2:=4*i (7) t3:=a[t2] (8) if t3 v goto (5) (9) j:=j-1 (10) t5:=4*j (11) t5:=a[t4] if t5 v goto (9) if i = j goto (23) (14) t6:=4*i (15) x:=a[t6] (16) t7:=4*i (17) t6:=4*j (18) t9:=a[t8] (19) a[t7]:=t9 (20) t10:=4*j (21) a[t10]:=x (22) goto (5) (23) t11:=4*i (24) x:=a[t11] (25) t12:=4*i (26) t13:=4*n (27) t14:=a[t13] (28) a[t12]:=t14 (29) t15:=4*n (30) a[t15]:=x 图 11.23 请将图 11.23 的三地址代码序列划分为基本块并做出其流图。 将每个基本块的公共子表达式删除。 找出流图中的循环,将循环不变量计算移出循环外。 找出每个循环中的归纳变量，并在可能的地方删除它们。答案： （1） 基本块 流图 （2） B5 中（14）和（16）是公共子表达式、（17）和（20）是公共子表达式，B5 变为 （14） t6:=4*I （15） （16） t7:=t6 （17） t8:=4*J … （20） t10:=t8 （21） （22） B6 中（23）和（25）是公共子表达式、（26）和（29）是公共子表达式，B6 变为 （23） t11:=4*I （24） （25） t12:=t11 （26） t13:=4*n … （29） t15:=t13 （3） 循环 ① {B2} ② {B3} ③ {B2，B3，B4，B5} (4) 在循环{B2，B3，B4，B5}中，原来的(14)(17)都可以删除。 第 5 题： 如下程序流图(图 11.24)中，B3 中的 i∶=2 是循环不变量，可以将其提到前置结点吗? 你还能举出一些例子说明循环不变量外移的条件吗? 图 11.24 答案： 不能。因为 B3 不是循环出口 B4 的必经结点。循环不变量外移的条件外有： （a）(I)s 所在的结点是 L 的所有出口结点的必经结点 A 在 L 中其他地方未再定值 L 中所有 A 的引用点只有 s 中 A 的定值才能到达 （b）A 在离开 L 之后不再是活跃的，并且条件(a)的(II)和(III)成立。所谓 A 在离开 L 后不再是活跃的是指，A 在 L 的任何出口结点的后继结点的入口处不是活跃的（从此点后不被引用）（3）按步骤（1）所找出的不变运算的顺序，依次把符合（2）的条件(a)或(b)的不变运算 s 外提到 L 的前置结点中。如果 s 的运算对象（B 或 C）是在 L 中定值的，则只有当这些定值四元式都已外提到前置结点中时，才可把 s 也外提到前置结点。 第 6 题 试对以下基本块 B1 和 B2： B1：