Two Studies in Compiler Optimisations
2 months ago
- #compiler-optimizations
- #LLVM
- #performance
- 编译器优化可以将看似简单的代码转化为高效的机器码，这通常需要深入理解编译器内部机制才能预测或解释其行为。
- LLVM优化流水线包含多个优化阶段（如InstCombine和CodeGenPrepare），每个阶段针对编译过程中不同层级的优化机会。
- 使用`[[assume]]`属性或断言等编译器提示，可以通过提供变量关系的额外信息来启用特定优化。
- 优化过程中的模式匹配（如InstCombine的窥孔优化）能识别常见代码模式并进行转换，例如用条件移动指令替代除法运算。
- 指令选择阶段（如LLVM的SelectionDAG）会执行目标平台特定的优化，例如将多个字节加载合并为单个宽位加载操作。
- 模板函数有时能通过内联前的常量传播和循环展开，促成更早阶段的优化。
- 编译器优化对代码结构极其敏感：由于优化阶段顺序或模式匹配限制，微小改动可能导致完全不同的优化结果。
- 面向尺寸的优化（`-Os`）有时会抑制本可提升性能的优化，此时需要手动介入（如使用`#pragma unroll`指令）。
- 通过LLVM优化流水线可视化工具等途径理解编译器内部机制，能帮助开发者编写更易被优化的代码。