GCC __builtin_expect与kernel指令序列优化

最新推荐文章于 2026-06-24 06:25:59 发布
原创 最新推荐文章于 2026-06-24 06:25:59 发布 · 516 阅读 · 0 ·
本内容遵循CC 4.0 BY-SA版权协议
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-NC-SA 版权协议，转载请附上原文出处链接和本声明。
标签
#编程语言
本文介绍了一种使用C语言判断整数是否为回文数的方法，并深入探讨了__builtin_expect宏在编译优化中的作用。通过对代码的逐行分析及对应的汇编指令解释，展示了如何高效地实现该功能。
例题描述

例题描述：通过C语言识别一个int型数据在十进制下是否为回文数字。不能有额外的字符串空间开销。
如：2156512是回文数，而21565不是回文数。

问题分析：
1. 当这个数字是负数的时候，肯定不是回文数
2. 可以将这个数翻转，判断翻转后是否相同

C语言代码演示：
/*************************************************************************
	> File Name: isPalindrome.cpp
	> Author: ChenXiansen 
	> Mail: 1494089474@qq.com 
	> Created Time: Wed 11 Nov 2020 09:49:43 AM CST
 ************************************************************************/

#include <stdio.h>

bool isPalindrome(int x, int n) {
    if (__builtin_expect(!!(x < 0), 0)) return false;
    int y = 0, z = x;
    while (x) {
        y = y * n + x % n;
        x /= n;
    }
    return z == y;
}

int main() {
    int n, Cov = 10;
    scanf("%d", &n);
    if (isPalindrome(n, Cov)) {
        printf("Num: %d in Cov: %d is a reverse num!\n", n, Cov);
    } else {
        printf("NO! It's not a reverse num!\n");
    }
    return 0;
}
代码分析

在 isPalindrome函数中，使用了if (__builtin_expect(!!(x < 0), 0)) return false; 这条语句。
下面是对__builtin_expect宏的表述：

GCC提供了__builtin_expect宏，作为编译分支时候的暗示。用法是__builtin_expect(var, expected_value)，也就是说，告诉编译器var这个变量的值比较可能是什么。在kernel中这个宏被用在likely和unlikely这两个宏定义中：

#define likely(x) __builtin_expect(!!(x), 1)		//x很可能成立
#define unlikely(x) __builtin_expect(!!(x), 0) 		//x很可能不成立

从现代的处理器架构说起。相信大家都知道流水线技术，就是CPU可以在统一个时钟周期内同时执行多条指令，当前指令尚未执行完毕，实际上就已经开始处理后面的指令了。然而当处理器遇到分支的时候，就无法判断即将执行的是哪个分支，流水线优化就受到了限制。

后来，随着处理器技术的发展，处理器开始直接预取分支后面的指令，如果发现分支预判错误，则抛弃之前的执行结果，重新转入正确的分支继续执行。 更加现代的处理器甚至能够预取更多后面的指令，对于不依赖之前执行结果的指令都可以按照一定的规则预先执行得到结果。

汇编代码
1. 初始代码汇编

接下来在终端运行gcc -S isPalindrome.cpp，查看汇编代码中的isPalindrome()函数：

.LFB0:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	movl	%edi, -20(%rbp)
	movl	%esi, -24(%rbp)
	movl	-20(%rbp), %eax
	shrl	$31, %eax
	movzbl	%al, %eax
	testq	%rax, %rax
	je	.L2
	movl	$0, %eax
	jmp	.L3
.L2:
	movl	$0, -8(%rbp)
	movl	-20(%rbp), %eax
	movl	%eax, -4(%rbp)
.L5:
	cmpl	$0, -20(%rbp)
	je	.L4
	movl	-8(%rbp), %eax
	imull	-24(%rbp), %eax
	movl	%eax, %ecx
	movl	-20(%rbp), %eax
	cltd
	idivl	-24(%rbp)
	movl	%edx, %eax
	addl	%ecx, %eax
	movl	%eax, -8(%rbp)
	movl	-20(%rbp), %eax
	cltd
	idivl	-24(%rbp)
	movl	%eax, -20(%rbp)
	jmp	.L5
.L4:
	movl	-4(%rbp), %eax
	cmpl	-8(%rbp), %eax
	sete	%al
.L3:
	popq	%rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:
	.size	_Z12isPalindromeii, .-_Z12isPalindromeii
	.section	.rodata

对.LFB0段的释义：

  1. main()函数中的变量n的值存入了edi寄存器，作为bool isPalindrome(int x, int n)的形参x。
  2. main()函数中的变量Cov的值存入esi寄存器，作为bool isPalindrome(int x, int n)的形参n。
  3. movl %edi, -20(%rbp)
    movl %esi, -24(%rbp)
    将这两个参数压入函数栈。
  4. movl -20(%rbp), %eax :将存在于-20(%rbp)中x的值，存入eax寄存器。
  5. 执行以下汇编指令，这段汇编指令由if (__builtin_expect(!!(x < 0), 0)) return false;转换得到：
    	shrl	$31, %eax
	movzbl	%al, %eax
	testq	%rax, %rax
	je	.L2
	movl	$0, %eax
	jmp	.L3
    可以看到：在执行前三行语句后(这三行代码现在没有弄清楚具体含义，待后续查阅相关资料)，下一步是判断分支：汇编代码是je .L2，
    1. 如果满足testq %rax, %rax条件，下一步是执行C程序中的：
      int y = 0, z = x;
      对应在汇编.L2函数中的：
      	.L2:
		movl	$0, -8(%rbp)
		movl	-20(%rbp), %eax
		movl	%eax, -4(%rbp)
    2. 如果不满足条件，将返回值0放入寄存器eax中，执行.L3 汇编函数部分的return操作。
修改程序后汇编：

现在将

if (__builtin_expect(!!(x < 0), 0)) return false;

这部分C代码转换成

if (x < 0) return false;

观察执行预处理-编译-汇编过程后，查看汇编代码中的isPalindrome()函数。(由于.L2之后的部分完全相同，因此没有在博客中显示)

.LFB0:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	movl	%edi, -20(%rbp)
	movl	%esi, -24(%rbp)
	cmpl	$0, -20(%rbp)
	jns	.L2
	movl	$0, %eax
	jmp	.L3

可以看到：将函数参数全部压栈后，进行的分支判断：

	movl	%edi, -20(%rbp)
	movl	%esi, -24(%rbp)
	cmpl	$0, -20(%rbp)
	jns	.L2
	movl	$0, %eax
	jmp	.L3

cmpl $0, -20(%rbp)：如果 bool isPalindrome(int x, int n)函数中 参数x的值不满足 x < 0，则执行.L2之后的汇编函数，反之直接return 0.

参考资料：
https://zhuanlan.zhihu.com/p/27339191
http://deltamaster.is-programmer.com/posts/37285.html

附录：完整汇编程序代码：
	.file	"isPalindrome.cpp"
	.text
	.globl	_Z12isPalindromeii
	.type	_Z12isPalindromeii, @function
_Z12isPalindromeii:
.LFB0:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	movl	%edi, -20(%rbp)
	movl	%esi, -24(%rbp)
	movl	-20(%rbp), %eax
	shrl	$31, %eax
	movzbl	%al, %eax
	testq	%rax, %rax
	je	.L2
	movl	$0, %eax
	jmp	.L3
.L2:
	movl	$0, -8(%rbp)
	movl	-20(%rbp), %eax
	movl	%eax, -4(%rbp)
.L5:
	cmpl	$0, -20(%rbp)
	je	.L4
	movl	-8(%rbp), %eax
	imull	-24(%rbp), %eax
	movl	%eax, %ecx
	movl	-20(%rbp), %eax
	cltd
	idivl	-24(%rbp)
	movl	%edx, %eax
	addl	%ecx, %eax
	movl	%eax, -8(%rbp)
	movl	-20(%rbp), %eax
	cltd
	idivl	-24(%rbp)
	movl	%eax, -20(%rbp)
	jmp	.L5
.L4:
	movl	-4(%rbp), %eax
	cmpl	-8(%rbp), %eax
	sete	%al
.L3:
	popq	%rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:
	.size	_Z12isPalindromeii, .-_Z12isPalindromeii
	.section	.rodata
.LC0:
	.string	"%d"
	.align 8
.LC1:
	.string	"Num: %d in Cov: %d is a reverse num!\n"
.LC2:
	.string	"NO! It's not a reverse num!"
	.text
	.globl	main
	.type	main, @function
main:
.LFB1:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$16, %rsp
	movq	%fs:40, %rax
	movq	%rax, -8(%rbp)
	xorl	%eax, %eax
	movl	$10, -12(%rbp)
	leaq	-16(%rbp), %rax
	movq	%rax, %rsi
	leaq	.LC0(%rip), %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	movl	-16(%rbp), %eax
	movl	-12(%rbp), %edx
	movl	%edx, %esi
	movl	%eax, %edi
	call	_Z12isPalindromeii
	testb	%al, %al
	je	.L7
	movl	-16(%rbp), %eax
	movl	-12(%rbp), %edx
	movl	%eax, %esi
	leaq	.LC1(%rip), %rdi
	movl	$0, %eax
	call	printf@PLT
	jmp	.L8
.L7:
	leaq	.LC2(%rip), %rdi
	call	puts@PLT
.L8:
	movl	$0, %eax
	movq	-8(%rbp), %rcx
	xorq	%fs:40, %rcx
	je	.L10
	call	__stack_chk_fail@PLT
.L10:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE1:
	.size	main, .-main
	.ident	"GCC: (Ubuntu 9.3.0-17ubuntu1~20.04) 9.3.0"
	.section	.note.GNU-stack,"",@progbits
	.section	.note.gnu.property,"a"
	.align 8
	.long	 1f - 0f
	.long	 4f - 1f
	.long	 5
0:
	.string	 "GNU"
1:
	.align 8
	.long	 0xc0000002
	.long	 3f - 2f
2:
	.long	 0x3
3:
	.align 8
4:
从汇编角度分析C语言指针
weixin_43358213的博客
04-23 2188
从汇编角度分析C语言指针 分析在ubuntu18.04中进行。 C语言源代码 pointer.c #include <stdio.h> int main(void) { int a=1; int *pa=&a; int *pb=NULL; pb=pa; return 0; } 使用指令： gcc -m32 -S -o pointer.s pointer.c 生成32位汇编源程序 pointer.s如下： .file "pointer.c" .text
Linux学习笔记——gcc编译过程
算算的博客
08-07 1089
第一步 编辑源代码 filename:test.c #include<stdio.h> int main() { printf("hello world!"); return 0; } 第二步 预处理阶段 编译器将上述代码中的“stdio.h"编译进来，在此可以用gcc的参数"-E"指定gcc只在预处理结束后才停止编译过程 gcc test.c -o test.i -E 生成test.i文件 第三步 编译阶段 检查语法错误，然后将代码翻译成汇编语言
gcc: builtin: __builtin_expect
mzhan017的博客
03-31 87
摘要：__builtin_expect是GCC提供的内建函数，用于优化分支预测。它通过提示编译器某个条件更可能为真或假（参数c决定），从而生成更高效的代码。典型用法是在性能关键代码中标记高概率分支（c=1）或低概率分支（c=0）。该函数仅影响编译器优化，不改变程序逻辑，但需谨慎使用以避免降低代码可读性。示例展示了如何用它优化条件判断，其中__builtin_expect(x>5,1)提示x>5更可能为真。
函数返回值研究
feijinxinsi的博客
06-26 234
1.基本类型的返回值 int add(int a, int b) { int c = 0; b = c++; return a+b; } int init() { int a = add(3, 4); return a; }  对应的汇编如下： .file "list initialization.cpp" .text .globl _...
kmem 反编译linux内核_Linux内核分析.：反编译简单c程序
weixin_39787826的博客
01-17 178
c程序部分代码如下：intg(intx).file"main.c".text.globlg.typeg, @functiong:.LFB0:.cfi_startprocpushl%ebp.cfi_def_cfa_offset 8.cfi_offset 5, -8movl%esp, %ebp.cfi_def_cfa_register 5movl8(%ebp), %eaxaddl$5, %eaxp...
【经典阅读】CSAPP-3.2-程序的机器级表示-程序编码
Edidaughter的博客
01-03 1336
0.导读 假设一个C程序，有两个文件 p1.c和 p2.c。我们用Unix命令行编译这些代码: linux> gcc -og -o p pi.c p2.c 命令 gcc指的就是GCCC编译器。因为这是Linux上默认的编译器，我们也可以简单地用cc来启动它。编译选项-Og告诉编译器使用会生成符合原始C代码整体结构的机器代码的优化等级。使用较高级别优化产生的代码会严重变形，以至于产生的机器代码和初始源代码之间的关系非常难以理解。因此我们会使用-Og 优化作为学习工具，然后当我们增加优化级别时，再看
GCC扩展与编译器优化实战：从分支预测到中间表示
06-15 394
编译器优化是提升程序性能的核心技术，其原理在于将高级语言代码高效转换为底层机器指令。通过分析程序的中间表示（IR），编译器应用多种算法进行优化，如死代码消除和公共子表达式消除，从而减少冗余计算、改善指令流水线效率。这项技术的价值在于，它能在不改变源代码逻辑的前提下，显著提升程序的执行速度和资源利用率，尤其适用于嵌入式系统、游戏引擎和高性能计算等对性能有极致要求的领域。在实际应用中，开发者可以借助编译器的扩展功能，例如GCC的`__builtin_expect`来引导分支预测，或通过预编译头文件加速大型项目的
Intel微码更新揭示的推测执行新风险与防御实践
android_mylove的专栏
06-20 417
推测执行是现代CPU提升性能的核心机制，其通过分支预测、微操作融合等隐式行为实现指令级并行，但同时也引入了侧信道泄露等系统性安全风险。随着Spectre、Meltdown及后续Downfall、‘幽灵2.0’等漏洞演进，问题已从单点指令缺陷升维至微架构层面的不确定性建模——微码版本、BIOS配置、甚至温度都可能影响推测行为。这类风险直接挑战软件层对执行确定性的根本假设，技术价值在于倒逼全栈重构：从固件级缓解（如SSBD强制启用）、编译器级防护（-mharden-sls）、运行时内存屏障，到Rust等语言级确
linux内核的一些预定义
小白的IT旅程
04-25 406
所有的内核代码，基本都包含了linux\compile.h这个文件，所以它是基础，打算先分析这个文件里的代码看看，有空再分析分析其它的代码。 首先印入眼帘的是对__ASSEMBLY__这个宏的判断，这个变量实际是在编译汇编代码的时候，由编译器使用-D这样的参数加进去 的，AFLAGS这个变量也定义了这个变量，gcc会把这个宏定义为1。用在这里，是因为汇编代码里，不会用到类似于__user这样的属
glibc 2.34源码全集：含中日韩多编码转换、malloc内存管理及动态链接核心组件
最新发布
jupi8的博客
06-24 80
Linux系统底层开发必备的GNU C库2.34版本原始源码包，直接支持GB2312/GBK/GB18030、Big5系列、EUC-JP/Shift-JIS/CP932、KSC5601/UHC、TIS-620等主流东亚与东南亚字符集的编码转换功能。内置完整运行时关键模块：轻量级动态链接器rtld.c、dl-load.c动态库加载逻辑、经过长期验证的malloc内存分配实现、POSIX兼容正则引擎（regcomp/regexec）、浮点常量处理fpioconst、vfprintf/vfscanf格式化I/O核
GCC常用命令与nasm
xing__Q的博客
10-14 692
目录一、Linux GCC 常用命令简单编译预处理编译为汇编代码(Compilation)汇编(Assembly)连接(Linking)多个程序文件的编译检错库文件链接编译成可执行文件链接强制链接时使用静态链接库二、C运行库准备工作编译过程三、分析 ELF 文件nasm汇编编译器生成文件与c代码生成大小比较 一、Linux GCC 常用命令 简单编译 实例 test.c #include <stdio.h> int main(void) { printf("Hello World!\n");
X86汇编代码分析-函数调用
xxxx的博客
03-24 1973
1） int add(int i, int j) { return i + j; } int main() { int a = 1; int b = 7; a = add(a, b); printf("%d\n",a); } 汇编代码： .file "ex3.c" .text .globl add .type add, @function add: .LFB0: .cfi_startproc pushq %rbp # rbp入栈, 把rbp里的
__builtin_xxx指令学习【1】__builtin_expect
hanhan的博客
04-08 1147
__builtin_expect是GCC编译器提供的一个内置函数，用于告诉编译器一个分支的执行概率，以便编译器在生成机器码时进行优化。
【Linux】gcc中__builtin_expect的作用
weixin_28925169的博客
09-04 469
引入代码学习的时候，遇到了__builtin_expect这个之前从来没有遇到过的东西，网上搜了一下，发现纯C语言实现的GCD（Grand Central Dispatch）中就有定义过这个宏登录后复制 #define _safe_cast_to_long(x) \ ({ _Static_assert(s...
C++从入门到放弃保姆级教程 — 流程控制
kylinholmes的博客
04-15 445
C++从入门到放弃保姆级教程 什么是流程呢？ 我们的看代码，他是顺序执行的，从上往下依次执行。 程控制有两种： 一种是分支，一种是循环。 我们先看一个代码 int main(){ // 是这样的一个顺序 int a; // | cin >> a; //数据读入 | a += 1; // | cout << a <<...
【编程基础の基础】__builtin_expect详解（汇编级解释）
weixin_42157432的博客
04-18 2788
这个指令是gcc引入的，作用是允许程序员将最有可能执行的分支告诉编译器（优化执行，减少跳转）。这个指令的写法为：__builtin_expect(EXP, N)。 意思是：EXP==N的概率很大。 一般的使用方法是将__builtin_expect指令封装为likely和unlikely宏。这两个宏的写法如下. #define likely(x) __builtin_expect(!!(x), 1) //x很可能为真 #define unlikely(x) __builtin_expect.
gcc 编译器 ， __builtin_expect() 研究
hjjdebug的专栏
12-09 2672
在linux 代码中看到的 LIKELY(x), UNLIKELY(x), 其实是__builtin_expect() 测试__builtin_expect() 函数，到底是何意思？  cat hello.c #include #include //test_builtin_expect.c #define LIKELY(x) __builtin_expect(!!(x)
__builtin_expect, __builtin_unreachable和__builtin_prefetch
fangfanglovezhou的博客
09-06 2020
__builtin_expect, __builtin_unreachable和__builtin_prefetch用法。
《C语言杂记》编译优化之__builtin_expect
不问归期的博客
10-10 2570
最近在研究压缩算法的时候，看到了以下代码： #define LIKELY(c) (__builtin_expect(!!(c), 1)) #define UNLIKELY(c) (__builtin_expect(!!(c), 0)) 在好奇心的驱使下，我决定一探究竟。 1 __builtin_expect是啥 其实可以从宏定义就能猜个大概，顾名思义，LIKELY ()指“很有可能”之意，而UNLIKELY ()指“不太可能”之意。这两个有啥用处呢，可以先看看GCC官方的解释。 Built-in Func
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值