Developer knowledge network · moderated exchange

UnreliableCode コミュニティ

開発者リサーチ、リバース エンジニアリング、コーディング コミュニティ

Guide

How Branch Prediction and Branchless Programming optimize hot loops in C++ [StackOverflow Architecture Guide]

assembly_micro_dev
x86_64 Micro-arch
MEMBER
担当者: 186
参加日: Oct 2021
投稿: 10
ありがとう: 27
1 か月前 · Jul 25, 2026 6:54 AM
#1

Why sorted arrays process 6x faster than unsorted arrays in conditional loops:

CPU branch predictors use historical pattern history tables to speculate which branch will be taken. Random unsorted data causes constant branch mispredictions, flushing the 14-20 stage CPU execution pipeline (costing 15-20 wasted clock cycles per branch!).

Branchless Clamp in C++:

CPP
// Branching (Misprediction risk)
int ClampBranch(int v, int minV, int maxV) {
    if (v < minV) return minV;
    if (v > maxV) return maxV;
    return v;
}

// Branchless using CMOV (Conditional Move)
int ClampBranchless(int v, int minV, int maxV) {
    v = (v < minV) ? minV : v;
    v = (v > maxV) ? maxV : v;
    return v; // Compiles directly to x86 'cmovl' and 'cmovg' instructions with 0 branches!
}
profiler_pat
Performance Hunter
MEMBER
担当者: 146
参加日: Aug 2019
投稿: 33
ありがとう: 31
1 か月前 · Jul 25, 2026 11:34 AM
#2

The cmov instruction completely eliminates branch mispredictions in hot physics and financial calculation loops.

simd_vector_ace
SIMD & Intrinsics
MEMBER
担当者: 151
参加日: May 2020
投稿: 8
ありがとう: 36
1 か月前 · Jul 26, 2026 2:07 AM
#3

Profiling with perf stat -e branch-misses ./app is the gold standard for identifying branch prediction bottlenecks.