Question

由前端生成的低级中间代码是一个汇编类型的表示法，它使用寄存器和条件码。这个表示法能够被转换成一个不使用这些低级概念而是重新生成高级概念之表达式的、更高级的表示法。从低级中间代码到高级中间代码的转换是通过程序转换来完成，传统上称之为优化。对低级的中间代码应用这些转换，把它转变成第 4 章第 4.3.2 节所描述的高级中间代码。这个阶段跟前端以及控制流分析阶段的关系见图 5-1 所示。

图 5-1: 数据流分析阶段的上下文

数据流分析阶段需要的转换类型包括，无用指令的清除、条件码的清除、寄存器参数和函数返回寄存器（组) 的确定、通过再生表达式来清除寄存器和中间指令、实际参数的确定、以及在跨子程序调用之间传播数据类型。这些转换大多数是为了改善低级中间代码的质量所必需要的，也是为了重建一些在编译过程中丢失的信息所必需要的。就无用指令的清除来说 (请看第 5.2.1 节的例子)，对于优化的编译器，当有的机器指令一次执行多于一个功能的时候，这一步骤可以说是很必要的。

传统的数据流分析是这样一个过程，它收集关于变量在程序中被如何使用的信息、并且以集合的形式做出统计。这个信息被反编译器用于转换和改善中间代码的质量。为了改善代码所做的转换要求具备如下几个性质 [ASU86b]：

1. 转换必须无损程序的含义。

2. 转换必须是值得做的。

这一章讨论中间代码的反编译优化技术。首先通过例子说明是什么样的转换，然后给出每一种优化的算法。