8.2.1 自动矢量化 (Auto-vectorization) 与 SLP

文档摘要

8.2.1 自动矢量化 (Auto-vectorization) 与 SLP 在现代编译器的优化谱系中，自动矢量化（Auto-vectorization）绝非一个“开箱即用”的魔法开关——它是一场精密的、多阶段的、充满博弈的语义重构工程。当你在 clang 或 GCC 中敲下，背后并非简单地将循环体复制四份塞进 AVX-512 寄存器；而是一次从 SSA 形式出发，穿越依赖图、对齐分析、成本建模、指令调度与寄存器压力评估的完整推理链。本节不谈概念定义，不列教科书式流程图，我们直击 LLVM 16+ 与 GCC 13 的真实实现内核：如何让编译器在无显式向量 intrinsics 的前提下，自主发现并构造出合法、高效、可调度的向量化代码？