考试题
1、简述编译过程中代码优化必须遵循的原则
2、对中间代码中基本块的优化和循环优化都是与机器无关的代码优化吗?请给出3-5种对中间代码优化的方法。
对中间代码中基本块的优化和循环优化都是与机器无关的代码优化
基本块局部优化
(1)保结构变换
4. 复写传播
(2)代数变换
循环优化
(1)代码外替
(2)强度削弱(以加代乘)
常量传播
描述:
常量传播是将变量的已知常量值传播到使用该变量的地方,以减少不必要的计算和赋值操作。
示例:
复制代码
int a = 10;
int b = a + 5; // 优化前
int b = 10 + 5; // 优化后 -> 15
int b = 15; // 进一步优化后
优点:
- 消除不必要的变量。
- 简化表达式,减少运行时计算。
补充
复写传播
“复写传播”(Copy Propagation)是编译器优化的一种技术,旨在通过替换对某些变量的直接使用,以减少冗余的赋值操作,从而简化代码和提高效率。该优化的主要思想是追踪和消除多余的变量赋值,通过传播变量的值来简化表达式。
复写传播的定义
复写传播是指在程序中用变量 a
的值来替换那些直接使用 b
的地方,前提是已经有 b = a
这样一个赋值语句,并且在 b
的使用和赋值之间没有对 a
的修改。
使用方法
- 识别赋值:找到赋值语句
b = a
。 - 传播值:在后续代码中,将所有使用
b
的地方用a
替换。 - 删除冗余赋值:如果
b
再也不被使用,那么删除b = a
这条赋值语句。
举例说明
假设我们有以下代码段:
int a = 5;
int b = a;
int c = b + 2;
printf("%d", c);
应用复写传播进行优化的步骤如下:
-
识别赋值:
b = a
-
传播值:
- 将
b
的使用替换为a
,因此c = b + 2
变为c = a + 2
。
- 将
-
删除冗余赋值:
- 如果
b
再也不被使用,删除b = a
这条语句。
- 如果
优化后的代码如下:
int a = 5;
int c = a + 2;
printf("%d", c);
进一步解释
原始代码
int a = 5;
int b = a; // 赋值 b = a
int c = b + 2; // 使用 b
printf("%d", c);
- 第一步:识别
b = a
赋值。 - 第二步:将
c = b + 2
中的b
替换为a
,得到c = a + 2
。 - 第三步:删除
b = a
,因为b
再也没有被使用。
优化后代码
int a = 5;
int c = a + 2;
printf("%d", c);
这样,通过复写传播,我们简化了代码,减少了一个不必要的赋值操作,使代码更加简洁和高效。
注意事项
- 数据流分析:确保在
b = a
之后到b
的使用之间,a
没有被修改。 - 作用域:只在
a
和b
作用域一致的情况下进行替换。
更复杂的示例
考虑以下稍复杂的代码段:
int x = 10;
int y = x;
int z = y + 1;
int w = z + y;
printf("%d", w);
应用复写传播:
-
识别赋值:
y = x
z = y + 1
-
传播值:
z = y + 1
->z = x + 1
w = z + y
->w = (x + 1) + x
-
删除冗余赋值:
- 删除
y = x
- 删除
优化后的代码:
int x = 10;
int z = x + 1;
int w = z + x;
printf("%d", w);
最终,w
计算时的复杂度和代码长度都得到了简化。复写传播不仅减少了冗余的赋值语句,也使代码更加高效和易读。