Go语言求最大值函数基准测试异常：find_max2比find_max1快3倍原因咨询

两个函数性能差距达到3倍，是分支预测适配和指令生成效率两个核心因素共同作用的结果：

• 分支预测命中效率差异
  查找数组最大值的场景天然存在冷热分支差距：绝大多数循环迭代都会满足max >= arr[i]的条件，只有极少数情况会遇到更大值、需要更新max和对应索引。find_max2的写法将大概率命中的热分支放在if的正路径，命中后直接continue回到循环头部，完全匹配CPU分支预测的默认优先逻辑，分支预测命中率接近100%，几乎没有流水线清空的额外开销。而find_max1将小概率的更新分支放在if正路径，绝大多数情况都需要跳转执行其他逻辑，分支预测失败的概率更高，额外开销更大。
• 热路径指令开销差异
  你提供的汇编数据已经可以直接验证：占总执行次数90%以上的热分支（无需更新max的场景）下，find_max2仅需要执行5条指令就完成一次循环迭代，而find_max1需要执行12条指令，还存在大量无意义的寄存器拷贝冗余操作，单次循环的指令执行开销差了一倍以上。即使完全忽略分支预测失败的开销，仅指令执行的耗时差就接近2倍，再叠加分支预测失败的额外损耗，最终整体性能差达到3倍。

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