是否有编译器提示GCC强制分支预测总是走某一条路？

Question

for (;;) {
  if (normal) { // How to tell compiler to always branch predict true value?
    doSomethingNormal();
  } else {
    exceptionalCase();
  }
}

Answer 1

从C++20开始，可能和不太可能的属性应该是标准化的，并且在G++9中已经得到支持。因此，正如这里所讨论的，您可以编写

if (a > b) {
  /* code you expect to run often */
  [[likely]] /* last statement here */
}

例如，在下面的代码中，由于if块中的[[不太可能]]，else块得到了内联

int oftendone( int a, int b );
int rarelydone( int a, int b );
int finaltrafo( int );

int divides( int number, int prime ) {
  int almostreturnvalue;
  if ( ( number % prime ) == 0 ) {
    auto k                         = rarelydone( number, prime );
    auto l                         = rarelydone( number, k );
    [[unlikely]] almostreturnvalue = rarelydone( k, l );
  } else {
    auto a            = oftendone( number, prime );
    almostreturnvalue = oftendone( a, a );
  }
  return finaltrafo( almostreturnvalue );
}

比较属性的存在/不存在的godbolt链接