4.2.1 循环不变代码外提 (LICM)

文档摘要

4.2.1 循环不变代码外提 (LICM) 在编译器优化的广袤星图中，循环优化是那颗最亮、也最不容忽视的恒星——它不声不响，却常年贡献着30%–60% 的整体性能提升（根据 SPEC CPU2017 和 LLVM 项目实测数据）。而在这颗恒星的核心区域，LICM（Loop-Invariant Code Motion，循环不变代码外提）绝非一个教科书里被轻描淡写带过的术语；它是现代编译器前端与中端协同作战的战术支点，是 IR 层面第一道真正意义上“感知控制流语义”的优化关卡，更是程序员与机器之间关于“何为冗余”的一次深刻对话。你是否曾盯着一段看似简洁的 for 循环发呆：直觉告诉你：根本不依赖，它在循环开始前就算一次足矣。