다른 답변이 모두 적절하게 제안했듯이 __builtin_expect어셈블리 코드를 정렬하는 방법에 대한 힌트를 컴파일러에 제공하는 데 사용할 수 있습니다 . 으로 공식 문서가 지적, 대부분의 경우, 어셈블러는 GCC 팀에 의해 제작 된 것과 같은 좋은으로하지 않습니다 당신의 두뇌에 내장. 추측보다는 실제 프로필 데이터를 사용하여 코드를 최적화하는 것이 가장 좋습니다.

유사한 줄에 있지만 아직 언급되지 않은 것은 컴파일러가 “콜드”경로에서 코드를 생성하도록 강제하는 GCC 특정 방법입니다. 여기에는 noinline및 cold속성 의 사용이 포함되며 , 이는 그들이하는 것처럼 들리는 것과 정확히 일치합니다. 이러한 속성은 함수에만 적용 할 수 있지만 C ++ 11에서는 인라인 람다 함수를 선언 할 수 있으며이 두 속성은 람다 함수에도 적용 할 수 있습니다.

이것은 여전히 ​​마이크로 최적화의 일반적인 범주에 속하므로 표준 조언이 적용됩니다. 테스트는 추측하지 마십시오 __builtin_expect.. x86 프로세서의 어떤 세대도 분기 예측 힌트 ( 참조 )를 사용하지 않으므로 어쨌든 영향을 미칠 수있는 유일한 것은 어셈블리 코드의 순서입니다. 오류 처리 또는 “에지 케이스”코드가 무엇인지 알고 있으므로이 주석을 사용하여 컴파일러가 분기를 예측하지 않고 크기를 최적화 할 때 “핫”코드에서 멀리 링크하도록 할 수 있습니다.

샘플 사용법 :

void FooTheBar(void* pFoo)
{
    if (pFoo == nullptr)
    {
        // Oh no! A null pointer is an error, but maybe this is a public-facing
        // function, so we have to be prepared for anything. Yet, we don't want
        // the error-handling code to fill up the instruction cache, so we will
        // force it out-of-line and onto a "cold" path.
        [&]() __attribute__((noinline,cold)) {
            HandleError(...);
        }();
    }

    // Do normal stuff
    ⋮
}

더 좋은 점은 GCC가 사용 가능한 경우 (예 :로 컴파일 할 때) 프로파일 피드백을 위해 자동으로이를 무시합니다 -fprofile-use.

공식 문서는 https://gcc.gnu.org/onlinedocs/gcc/Common-Function-Attributes.html#Common-Function-Attributes를 참조 하십시오.

답변

if (__builtin_expect (x == 0, 0)) ++count;
if (__builtin_expect (y == 0, 0)) ++count;
if (__builtin_expect (z == 0, 0)) ++count;

if (x == 0) goto if1;
back1: if (y == 0) goto if2;
back2: if (z == 0) goto if3;
back3: ;
...
if1: ++count; goto back1;
if2: ++count; goto back2;
if3: ++count; goto back3;