编译器优化

概述

编译器优化是指编译器在翻译源代码为目标代码过程中自动执行的代码改进技术，旨在提高生成代码的执行效率。FORTRAN 编译器（1957）首次系统实现了多项核心优化技术。

关键内容

FORTRAN 开创的优化技术

公共子表达式消除（Common Subexpression Elimination）：识别在同一基本块内被重复计算的子表达式，将其替换为对先前计算结果的引用。例如 A(I) + B(I) 和 A(I) * C 中，A(I) 的地址计算只执行一次。

循环不变量外提（Loop-Invariant Code Motion）：如果一个表达式的值在整个循环执行期间不变，编译器将其移动到循环之前。在迭代万次的循环中可节省 9999 次冗余计算。

强度削减（Strength Reduction）：将循环中的昂贵操作替换为廉价操作。例如数组 A(I) 的地址计算通常需要乘法，但如果 I 是步长为1的循环变量，每次迭代只需在上一次结果上加常数。

基于循环深度的优化优先级：将优化资源集中在最内层循环上，外层代码优化降低优先级。在有限资源下最大化优化收益。

寄存器分配的启发式算法：综合考虑变量的活跃范围和循环嵌套深度，优先为内层循环中的热点变量分配寄存器。最优寄存器分配是 NP 完全的，FORTRAN 团队的启发式算法在实践中表现惊人。

现代延续

现代编译器（GCC、LLVM/Clang）中的优化 pass 以百计，但核心框架——数据流分析、循环变换、寄存器分配——仍然可以追溯到 FORTRAN 编译器的开创性工作。自动向量化（auto-vectorization）和自动并行化（auto-parallelization）是循环优化的现代延伸。

哲学意义

FORTRAN 的核心洞察是"优化比翻译更重要"——朴素的翻译必然低效，关键在于编译器必须具备系统性的优化能力。这一原则至今仍是高性能编译器设计的核心。

来源

raw/books/计算机科学/04-backus-fortran.md

编译器优化

概述

关键内容

FORTRAN 开创的优化技术

现代延续

哲学意义

来源

相关