GCC12生成分支式向量最小值索引汇编，如何生成cmovb及解析PRE

问题背景 #

测试代码用于查找std::vector<uint32_t>中最小值的索引，在-O3优化下，GCC 8与GCC 12生成的汇编存在明显差异：

• GCC 8采用cmovb指令实现无分支逻辑，实测运行速度更快
• GCC 12生成带分支（jnb跳转）的代码
• 已验证禁用-ftree-partial-pre选项可使GCC 12生成类似GCC 8的无分支代码

现需解答两个问题：

1. 如何让GCC 12生成含cmovb的汇编？
2. 该场景下部分冗余消除(PRE)的工作机制是什么？

测试代码 #

#include <vector>
#include <cstdint>
#include <algorithm>

uint32_t find_min(const std::vector<uint32_t>& v)
{
    return std::distance(v.begin(), std::min_element(v.begin(), v.end()));
}

GCC 8生成的汇编（-O3） #

find_min(std::vector<unsigned int, std::allocator<unsigned int> > const&):
        mov     rcx, QWORD PTR [rdi+8]
        mov     rsi, QWORD PTR [rdi]
        xor     eax, eax
        cmp     rcx, rsi
        je      .L1
        lea     rax, [rsi+4]
        mov     rdx, rsi
        cmp     rcx, rax
        je      .L4
.L6:
        mov     edi, DWORD PTR [rdx]
        cmp     DWORD PTR [rax], edi
        cmovb   rdx, rax
        add     rax, 4
        cmp     rcx, rax
        jne     .L6
.L4:
        mov     rax, rdx
        sub     rax, rsi
        sar     rax, 2
.L1:
        ret

GCC 12生成的汇编（-O3） #

find_min(std::vector<unsigned int, std::allocator<unsigned int> > const&):
        mov     r8, QWORD PTR [rdi+8]
        mov     rdi, QWORD PTR [rdi]
        xor     eax, eax
        cmp     rdi, r8
        je      .L1
        lea     rdx, [rdi+4]
        cmp     r8, rdx
        je      .L1
        mov     esi, DWORD PTR [rdi]
        mov     rax, rdi
.L4:
        mov     ecx, DWORD PTR [rdx]
        cmp     ecx, esi
        jnb     .L3
        mov     esi, ecx
        mov     rax, rdx
.L3:
        add     rdx, 4
        cmp     r8, rdx
        jne     .L4
        sub     rax, rdi
        sar     rax, 2
.L1:
        ret

问题解答 #

1. 让GCC 12生成含cmovb的汇编的方法 #

• 直接禁用部分冗余消除优化：在编译时添加-fno-tree-partial-pre选项，即可让GCC 12生成与GCC 8风格一致的无分支cmovb代码。这是测试验证过的最直接有效的方式。
• 若需微调，可尝试结合其他优化子选项，但该场景下禁用-ftree-partial-pre已经能精准达成目标，无需额外复杂配置。

2. 该场景下部分冗余消除(PRE)的工作机制 #

部分冗余消除（Partial Redundancy Elimination，PRE）是一种编译器优化技术，核心目标是识别程序中仅在部分执行路径上重复计算的表达式，通过提前计算并缓存结果，减少重复计算的开销。

在这个查找最小值索引的场景中，GCC 12的PRE优化逻辑如下：

1. PRE分析std::min_element的循环逻辑，识别到循环内存在对当前最小值的加载、比较和更新操作，认为这些操作存在部分路径上的冗余。
2. 为消除冗余，PRE调整了表达式的计算时机和存储方式，试图减少内存访问次数。但这种调整改变了编译器对分支与无分支实现的成本评估：编译器认为带分支的版本（通过jnb跳转跳过不必要的寄存器更新）在某些数据分布下更高效。
3. 最终导致GCC 12放弃了无分支的cmovb实现，转而生成带分支的代码。而禁用-ftree-partial-pre后，编译器不再进行这种冗余消除调整，回到了更直接的无分支逻辑生成，避免了分支预测失败带来的性能惩罚——这也是GCC 8代码实测更快的核心原因，无分支代码在数据无规律时不会触发分支预测错误的额外开销。

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