GCC 12中-O2默认启用-ftree-loop-vectorize？为何需显式开SIMD？

首先你的理解并没有错，问题出在循环向量化和循环展开+SIMD完整优化组合的区别上：

• -ftree-loop-vectorize确实如GCC 12.2.0文档所述，默认在-O2下启用，它的作用是将符合条件的循环转换为SIMD指令执行，但这一步仅完成向量化的基础转换，不包含循环展开。
• 循环展开对应的是-funroll-loops（或更精细的-ftree-loop-unroll）优化选项，该选项默认不在-O2中启用，只有-O3会自动包含这一选项，同时还会启用更激进的向量化配套优化。
• 你实际观察到的"需显式传参才能开启循环展开与SIMD"，本质是因为单独的-O2仅开启了向量化，没有开启循环展开；而-O3是在-O2的基础上叠加了包括循环展开在内的额外优化，所以能自动触发完整的SIMD+循环展开效果。

总结：-ftree-loop-vectorize在-O2下确实生效，但循环展开是独立的优化步骤，二者需要同时启用才能看到你预期的效果，而-O3恰好打包了这两个优化。

内容的提问来源于stack exchange，提问作者colinfang