Давайте декомпілюємо, щоб побачити, що з цим робить GCC 4.8
Благовест згадав про інверсію гілки для покращення конвеєра, але чи справді компілятори це роблять? Давай дізнаємось!
Без __builtin_expect
#include "stdio.h"
#include "time.h"
int main() {
/* Use time to prevent it from being optimized away. */
int i = !time(NULL);
if (i)
puts("a");
return 0;
}
Компілюйте та декомпілюйте за допомогою GCC 4.8.2 x86_64 Linux:
gcc -c -O3 -std=gnu11 main.c
objdump -dr main.o
Вихід:
0000000000000000 <main>:
0: 48 83 ec 08 sub $0x8,%rsp
4: 31 ff xor %edi,%edi
6: e8 00 00 00 00 callq b <main+0xb>
7: R_X86_64_PC32 time-0x4
b: 48 85 c0 test %rax,%rax
e: 75 0a jne 1a <main+0x1a>
10: bf 00 00 00 00 mov $0x0,%edi
11: R_X86_64_32 .rodata.str1.1
15: e8 00 00 00 00 callq 1a <main+0x1a>
16: R_X86_64_PC32 puts-0x4
1a: 31 c0 xor %eax,%eax
1c: 48 83 c4 08 add $0x8,%rsp
20: c3 retq
Порядок інструкцій у пам'яті був незмінним: спочатку повернення, puts
а потім retq
повернення.
З __builtin_expect
Тепер замініть if (i)
на:
if (__builtin_expect(i, 0))
і ми отримуємо:
0000000000000000 <main>:
0: 48 83 ec 08 sub $0x8,%rsp
4: 31 ff xor %edi,%edi
6: e8 00 00 00 00 callq b <main+0xb>
7: R_X86_64_PC32 time-0x4
b: 48 85 c0 test %rax,%rax
e: 74 07 je 17 <main+0x17>
10: 31 c0 xor %eax,%eax
12: 48 83 c4 08 add $0x8,%rsp
16: c3 retq
17: bf 00 00 00 00 mov $0x0,%edi
18: R_X86_64_32 .rodata.str1.1
1c: e8 00 00 00 00 callq 21 <main+0x21>
1d: R_X86_64_PC32 puts-0x4
21: eb ed jmp 10 <main+0x10>
puts
Було перенесено на самий кінець функції, в retq
відповідь!
Новий код в основному такий же, як:
int i = !time(NULL);
if (i)
goto puts;
ret:
return 0;
puts:
puts("a");
goto ret;
Ця оптимізація не була зроблена -O0
.
Але удачі в написанні прикладу, який працює швидше, __builtin_expect
ніж без нього, процесори справді розумні в ті дні . Мої наївні спроби тут .
C ++ 20 [[likely]]
і[[unlikely]]
C ++ 20 стандартизував ці вбудовані C ++: Як використовувати атрибут C ++ 20's вероятно / малоймовірно в операторі if-else Вони, ймовірно, (каламбур!) Зроблять те саме.