Loop-Invariant Code Motion
5 months ago
- #Compiler Optimizations
- #C++
- #Loop-Invariant Code Motion
- 文章讨论了循环不变代码外移（LICM）优化技术，编译器通过将循环内不变代码移至循环外部来优化性能。
- 示例展示了在每次迭代中调用`vec.size()`的场景，但编译器会将其优化为在循环前仅计算一次。
- 更复杂的案例涉及使用`std::string_view`统计字符范围，编译器将`get_range`调用移出循环。
- Clang展示了巧妙优化技巧，例如使用`setle`和`setge`指令避免循环内部的分支判断。
- 令人意外的是，GCC未能实现相同优化，可能是由于对`std::pair`等结构化类型的公共子表达式消除（CSE）处理存在问题。
- 文章强调既要信任编译器的优化能力，也应通过Compiler Explorer等工具验证输出结果。
- 本文属于「2025编译器优化探秘」系列，由Matt Godbolt撰写，并经过LLM和人类审阅。