2

我从https://kernelnewbies.org/FAQ/LikelyUnlikely举了下面的例子

#include <stdio.h>
#define likely(x)    __builtin_expect(!!(x), 1)
#define unlikely(x)  __builtin_expect(!!(x), 0)

int main(char *argv[], int argc)
{
   int a;

   /* Get the value from somewhere GCC can't optimize */
   a = atoi (argv[1]);

   if (likely (a == 2))
      a++;
   else
      a--;

   printf ("%d\n", a);

   return 0;
}

并用.https://godbolt.org/z/IC0aifarm gcc 8.2 compiler编译它

在原始链接中，他们已经针对 X86 对其进行了测试，如果likely（在上面代码中的 if 条件中）替换为，则汇编输出不同unlikely，这表明编译器对分支预测进行了优化。

但是当我为 ARM (arm-gcc -O2) 编译上述代码时，我看不出汇编代码有什么不同。以下是两种情况下 ARM 程序集的输出 -likely和unlikely

main:
        push    {r4, lr}
        ldr     r0, [r0, #4]
        bl      atoi
        cmp     r0, #2
        subne   r1, r0, #1
        moveq   r1, #3
        ldr     r0, .L6
        bl      printf
        mov     r0, #0
        pop     {r4, pc}
.L6:
        .word   .LC0
.LC0:
        .ascii  "%d\012\000"

为什么编译器不针对 ARM 的情况下的分支预测进行优化？

4

1 回答 1

2

正如@rici 所说，您的代码很简单，可以通过条件指令来实现。您可以看到差异，例如，如果您调用在不同编译单元中实现的函数：

#define likely(x)    __builtin_expect(!!(x), 1)
#define unlikely(x)  __builtin_expect(!!(x), 0)

// only forward declarations:
void foo();
void bar();

int main(char *argv[], int argc)
{
   if (likely (argc == 2))
      foo();
   else
      bar();
}

对于 ARM 和 x86，更改likely为unlikely切换ifand分支的顺序： https ://godbolt.org/z/UDzvf0 。如果这真的产生影响，可能取决于您正在运行的硬件，您是否第一次调用该函数（否则，CPU 内部分支预测可能比指令的顺序具有更高的影响），可能还有许多其他事物。else

于 2019-06-01T13:24:38.197 回答