4.1.1 公共子表达式消除 (CSE)

文档摘要

4.1.1 公共子表达式消除 (CSE) 在编译器优化的浩瀚星图中，若将局部优化比作显微镜下的精雕细刻，那么公共子表达式消除（Common Subexpression Elimination, CSE）便是这台显微镜最锋利的一枚物镜——它不靠宏大的控制流重写，也不依赖跨函数的全局分析，而是在同一基本块内、甚至跨越相邻基本块的有限支配边界上，以毫秒级的代价，识别出那些“长得一模一样、算得一模一样、结果也该一模一样”的表达式，并用一次计算、一次存储、多次复用的方式，悄然抹去冗余。这不是锦上添花的修饰，而是现代JIT编译器（如HotSpot C2、V8 TurboFan）、LLVM后端、乃至Rust 中默认开启的“呼吸级”优化：它沉默，却每秒为千万行字节码节省数以万计的ALU周期；