函数:long __builtin_expect (long exp, long c)
-
exp:exp 为一个整型表达式, 例如: (ptr != NULL)
-
c:c 必须是一个编译期常量, 不能使用变量
-
返回值:返回值等于 第一个参数 exp
glibc源码:
#define __builtin_expect(expr, val) (expr)
#define __plugin_unlikely(cond) __builtin_expect (!!(cond), 0)
#define __plugin_likely(cond) __builtin_expect (!!(cond), 1)
原理:
- CPU在运行程序时,每次会取多个指令并行处理,如果遇到跳转指令,会重新取指令
- 在if else里,如果需要运行else的代码,需要jmp指令跳转,在大量次数执行的代码里会降低执行效率
- __builtin_expect 函数可以进行分支预测,减少jmp指令跳转的次数,优化执行效率
注意:
- 使用gcc编译,至少使用-O2(在x86上)进行编译
- 该函数不需要包含头文件
汇编区别:
int x = 0;
if (__builtin_expect(x == 0, 1)) {
printf("X is zero.\n");
} else {
printf("X is not zero.\n");
}
使用__builtin_expect汇编:
movl $0, -4(%rbp)
cmpl $0, -4(%rbp)
jne .L2
movl $.LC0, %edi
call printf
jmp .L3
.L2:
movl $.LC1, %edi
call printf
.L3:
不使用__builtin_expect汇编:
movl $0, -4(%rbp)
cmpl $0, -4(%rbp)
je .L2
movl $.LC1, %edi
call printf
jmp .L3
.L2:
movl $.LC0, %edi
call printf
.L3:
可以看到汇编编排有区别
- 使用__builtin_expect后,预测cmpl为1,使用jne,不跳转
- 不使用__builtin_expect,使用je,跳转.L2