条件传送指令

先上一段C代码：



gcc不做优化的编译：gcc -S test.c：



可以看到汇编代码出现了jle这样的跳转指令。对于使用了流水线的CPU，这样的跳转是存在隐患的（P140），分支预测失败就会刷新掉所有流水线中取到而未执行的指令，影响运行性能。

现在添加优化选项：gcc -S O1 test.c



可以看到经过优化后的代码没有了跳转指令，取而代之的是一个条件传送指令——cmovle。它对cmpl比较的结果进行判断，决定是否改变%eax的值。
注意，程序前面已经把a-b和b-a都求出来了，即先求出条件操作的两种结果，然后再根据条件是否满足从而选取一个。

总之，条件传送指令使得控制流不依赖于数据（关键是没了jump），流水线也更容易保持满状态。

参考：
《深入理解计算机系统》