1.2.6 中间代码优化

基于中间代码的优化不需要考虑源语言与目标语言之间存在的差异，是独立于前端和后端进行优化的全部过程。一系列连续重写中间代码以消除效率低下和无法轻易转换为机器代码的代码片段的方法或函数构成了编译器的中间代码优化模块。不同编译器对优化管道及优化模块的执行顺序的设计都不同，这也导致了不同的优化效果与时空开销。

例如，对于中间代码：

其进行子表达式消除与无用代码消除后的中间代码为：

在第6章中，我们将讨论以下内容：

●数据流分析框架，中间代码优化器使用此框架作为优化算法的模板。

●数据流分析模式，优化器基于分析模式构造优化算法。

●中间代码优化各模块（常量传播、公共子表达式消除、无用代码消除、循环不变代码外提、归纳变量强度削减等）的实现技术。