分枝是计算机程序执行流程中需要改变运行路径的节点，分为条件分枝（需根据处理结果决定路径）和无条件分枝（按指令顺序强制跳转）两种类型。分枝预测技术作为处理器核心技术，专门用于优化条件分枝的判断逻辑，通过预测程序流向来提升CPU流水线效率。该技术在代码混淆领域也有应用，通过插入无条件分枝干扰反汇编工具的解析。现代处理器通过BPU（分支处理单元）和BHT（分支历史表）等硬件模块实现分枝预测机制。

条件分枝需要根据运算结果动态决定程序执行方向，例如if-else语句对应的机器指令。此类分枝的不确定性会导致CPU流水线停滞，需通过分枝预测技术提前预判路径。无条件分枝通过固定跳转指令强制改变程序流，如函数调用或循环结构中的goto语句。其确定性执行特性被应用于代码混淆技术，通过在有效代码前插入垃圾指令与无条件跳转语句，干扰逆向工程分析。

现代处理器采用两级预测机制：

2011年资料显示，主流处理器的分支预测准确率已达95%以上，可将条件分枝的流水线惩罚从5周期降至1周期。这项技术与乱序执行协同工作，使超标量架构CPU每个时钟周期可调度多条指令。

分支处理单元（BPU）作为专门硬件模块，包含三个核心组件：

在英特尔Haswell架构中，BPU每个周期可处理2条分支指令，目标预测延迟小于3纳秒。AMD Zen3架构则采用TAGE预测器（TAgged GEometric history length），使用7种不同长度的历史记录组合提升预测精度。

Android平台的控制流平坦化技术通过以下步骤干扰反编译：

例如在花指令混淆中，开发者会在有效代码前插入指令跳过垃圾代码，反汇编工具因无法识别跳转目标而解析出错。2017年实测显示，该技术可使IDA Pro反编译错误率提升至67%。

分枝预测失误会导致严重性能损失：

2020年测试数据显示，优化分支预测可使SPECint2006基准测试成绩提升22%。