__builtin_expect用法

最新推荐文章于 2024-01-15 11:30:58 发布

jinbc

最新推荐文章于 2024-01-15 11:30:58 发布

阅读量2.5k

点赞数

CC 4.0 BY-SA版权

文章标签： c语言

本文链接：https://blog.youkuaiyun.com/jinbc/article/details/123589096

博客介绍了GCC中的__builtin_expect函数，该函数用于告知编译器某个表达式出现的概率，从而帮助编译器优化分支预测。通过likely()和unlikely()宏，可以标记代码中的条件判断，提高性能。例如，在示例代码中，尽管if(likely(x==1))和if(x==1)看起来相同，但前者能指导编译器优化路径，减少不必要的跳转，提升执行效率。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

__builtin_expect说明

GCC提供了一系列builtin函数，下面对__builtin_expect（EXP, N）函数进行说明。
__builtin_expect（EXP, N）说明 EXP == N的概率很大。

likely\unlikely

在linux中likely()和unlikely一般都是封装__builtin_expect来实现

/* 去两次!个人认为是为了更好的和0或者1进行比较 */
#define likely(exp) __builtin_expect(!!(exp), 1)    
#define unlikely(exp) __builtin_expect(!!(exp), 0)

int x = 1, y;
if(unlikely(x > 0)) //x > 0 为真的概率比较低
	if(likely(x == 1)) //x == 1 为真的概率很高
	    y = 1; 
	else 
	    y = -2;
else 
    y = -1;

那很多人回奇怪if(likely(x == 1)) 和 if(x == 1)好像是一样的效果，那likely的作用是什么？
__builtin_expect作用是将“分支转移”的信息提供给编译器，这样编译器可以对代码进行优化，以减少指令跳转带来的性能下降。如上面的代码，gcc先获取x > 0 的else分支中的代码。