#define LIKELY(x) __builtin_expect(!!(x), 1)
首先__buildin_expect(x, a)意味着很可能x==a。
然而x==2时,x也是true,但x!=1。
所以!!(x)可以保证x==true时,!!(x)==1。
[lammy@localhost test_builtin_expect]$ gcc -fprofile-arcs -O2 -c test_builtin_expect.c [lammy@localhost test_builtin_expect]$ objdump -d test_builtin_expect.o
这句命令是使用GCC编译器编译C语言源文件。下面是对每个部分的解释:
gcc
: 这是GNU编译器集合(GNU Compiler Collection)的命令行接口。GCC是一个用于编译C、C++、Fortran等多种语言的编译器。-fprofile-arcs
: 这个选项用于生成程序的边计数(branch profiling)信息。边计数是一个分析程序控制流的方法,它可以帮助编译器优化代码。-O2
: 这是一个优化级别选项。-O2
表示编译器应执行一系列的优化,包括一些对代码大小和运行时间的优化。-c
: 这个选项告诉编译器只编译源文件,不进行链接。编译后的目标文件(通常是.o
文件)将输出到标准输出。test_builtin_expect.c
: 这是要编译的C语言源文件的名称。综合起来,这条命令的意思是:使用GCC编译器编译test_builtin_expect.c
源文件,在编译过程中启用边计数,进行中级优化,并只输出编译后的目标文件到标准输出。
objdump
?是一个用于显示二进制文件信息的工具,它可以显示编译后的目标文件、可执行文件或库的各种详细信息。-d
?选项是告诉?objdump
?进行反汇编,也就是将机器代码转换成汇编语言代码。
所以,当你运行以下命令:
bash复制代码
objdump -d test_builtin_expect.o |
你将会得到?test_builtin_expect.o
?文件的反汇编输出。每一行会显示对应的机器代码和对应的汇编语言代码。
注意:这个命令会显示目标文件中的所有函数和全局变量的汇编代码。如果你只对特定的函数或变量感兴趣,你可能需要进一步过滤或搜索反汇编输出。
。让我们详细解释一下这个指令:
je 2d <test_likely+0x2d>
je
:这是条件跳转指令的一部分,代表“Jump if Equal”。当之前的指令(即test %eax,%eax
)的结果为0时,即EAX寄存器的值等于0,该跳转会被执行。2d
:这代表一个标签地址,它是一个特定的内存地址,通常在汇编代码中用作标记点。在这个例子中,2d
是标签的偏移量。<test_likely+0x2d>
:这表示相对于test_likely
标签的偏移量。汇编器或链接器在最终的二进制文件中找到test_likely
标签的位置,然后加上0x2d
(这是一个十六进制数,等于45的十进制数),以确定跳转的目标地址。综合来看,这条指令的意思是:“如果EAX的值等于0,则跳转到地址test_likely+0x2d
处执行。”这通常用于实现条件分支,例如在C语言中的if (x == 0) { ... }
结构。