如果我们简单地把每个高级语言结构独立地翻译成为机器代码，那么会带来相当大的运行时的开销。下面讨论如何消除这样的低效率因素。在目标代码中消除不必要的指令，或者把一个指令 序列替换为一个完成同样功能的较快的指令序列，通常被称为“代码改进”或者“代码优化”。
局部代码优化（在一个基本块内改进代码）的相关知识已经简单地了解过了。下面我们将处理全局代码优化问题。在全局优化中，代码的改进将考虑在多个基本块内发生的事情。我们会讨论一些主要的代码改进机会。
优化的主要来源
编译器的优化必须保持源程序的语义。除了一些非常特殊的场合之外，一旦程序员选择并实现了某种算法，编译器不可能完全理解这个程序并把它替换为一个全然不同且更加高效的等价算法。编译器只知道如何应用一些相对低层的语义转换。在进行转换时，编译器用到一些常见的性质，比如像i+o = i这样的代数恒等式或使用一些程序语义（如在同样的值上进行同样的运算必然得到同样的结果）。
