为何GCC默认不自动向量化该代码，指定代价模型才生效？

我写了一段测试用的算法代码（无需关注算法逻辑合理性，仅用于复现问题），使用最新版GCC，通过编译选项：

-std=c++20 -O3 -fopt-info-all-vec -ffast-math -march=core-avx2

编译时，代码未被自动向量化。但只要添加以下任一编译参数：-fvect-cost-model=dynamic、-fvect-cost-model=cheap、-fvect-cost-model=very-cheap、-fvect-cost-model=unlimited，代码就会被自动向量化。

我对此感到困惑：-fvect-cost-model=dynamic本就是GCC在-O3优化级别下的默认选项，手动指定它不应该改变编译结果，为什么会出现这种差异？

测试代码如下：

void foo(const size_t n, float * __restrict__  a, float * __restrict__  b, float  * __restrict__  c) 
{
    float total=0.0f;
    float sum=0.0f;
    float max=0.0f;
    size_t count=0;

    for (size_t i = 0; i < n; ++i) {
        float temp = *b;
        const bool not_zero = temp != 0.0;
        if (i % 4 == 0) {
        sum += *b * not_zero;
        count += not_zero;
        }
        max = std::max(temp, max);
        *b = temp * *c;
        total += *b;
        *a *= *b;
        a += 1;
        b += 1;
        c += 1;
    }

    std::cout << total  << sum << max << count;
}

这是GCC向量化成本模型在默认场景下的评估逻辑异常，属于GCC的已知bug范畴。

核心原因 #

虽然-fvect-cost-model=dynamic是-O3级别下的默认选项，但在包含多状态操作的复杂循环场景中（比如你的代码里有i%4==0条件分支、依赖内存的累加操作、std::max这类带状态的计算），GCC默认的成本评估路径会错误判定向量化的收益低于开销，从而跳过向优化。

而当你显式指定-fvect-cost-model=dynamic时，GCC会触发一套更明确的成本评估流程，正确计算出向量化的实际收益，进而启用向量化优化。

验证方式 #

你可以添加-fdump-tree-vect-details编译参数，查看GCC的向量化决策日志。对比默认编译和显式指定dynamic的日志会发现：默认情况下，GCC会输出类似"cost model decided not to vectorize"的判定；显式指定后，日志会显示向量化的成本收益计算结果符合启用条件。

临时解决方案 #

除了显式指定-fvect-cost-model=dynamic，也可以使用-fvect-cost-model=cheap这类更激进的成本模型，强制GCC优先考虑向量化——这种方案在你的测试代码中不会有性能副作用，仅极少数极端场景可能出现性能下降。

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