C++高性能并行编程与优化 - 课件 - 04 从汇编角度看编译器优化

• 语言: 中文（简体）
• 格式: .pptx
• 来源: github.com/archibate

摘要

文档从汇编角度探讨C++编译器优化，强调简单代码优于复杂优化。通过示例展示编译器如何合并写入、优化循环（如等差数列求和直接返回5050），并指出指针别名限制优化，提出使用restrict或#pragma omp simd解决。constexpr可强制编译期求值。建议避免new/delete容器，推荐在线编译器实验网站godbolt.org实测性能，反对脑内模拟优化效果。

AI总结

该文档是《C++高性能并行编程与优化》课程的第4讲，主题为“从汇编角度看编译器优化”。核心观点是：**现代编译器非常智能，能自动进行大量优化，程序员应信任编译器，避免“脑内优化”和过时的技巧**。

**核心观点与关键信息：**

1. **编译器优化能力强大**：
* **合并写入**：编译器可将对连续内存的两个32位写入合并为一个64位写入。
* **常量折叠**：对于如`1+2+...+100`的循环求和，编译器能直接计算出结果`5050`，无需运行时计算。

2. **警惕过时与无效的优化技巧**：
* **`inline`和`register`关键字**：在现代编译器中已失去原有的优化提示作用。`inline`仅用于解决多重定义，而`register`的寄存器存储建议会被编译器忽略。文档讽刺了仍教授这些“技巧”的面试官。
* **核心原则**：**不要脑内模拟性能**，任何优化修改都应通过实际测试验证。推荐使用[godbolt.org](https://godbolt.org/)在线查看编译结果。

3. **编译器的局限性**：
* **指针别名问题**：当多个指针（如`*a`、`*b`、`*c`）可能指向同一内存时，编译器必须保守处理，无法优化掉看似冗余的赋值操作。这是C/C++指针自由度过高带来的限制。
* **复杂容器开销**：使用`std::vector`等动态容器会引入`new/delete`开销，编译器难以优化。**简单的代码比复杂的优化手段更有效**。

4. **应对策略**：
* **使用`constexpr`**：当编译器放弃自动优化时，可强制函数在编译期求值，实现常量折叠。但注意`constexpr`函数中不能使用`std::vector`等非`constexpr`容器。
* **使用编译指示**：针对指针别名问题，可通过`#pragma GCC ivdep`或`#pragma omp simd`告知编译器循环无依赖，从而进行向量化等优化。

**总结**：文档强调，现代C++程序员应理解编译器的优化原理，编写清晰简单的代码，并善用`constexpr`和编译指示等现代工具，而非依赖过时的关键字或复杂化代码。