네 가능합니다. 예를 들어, 컴파일러에게 불가능한 조건에 대해 다음과 같이 알리는 데 gcc사용할 수 있습니다 __builtin_unreachable.

if (value < 0 || value > 36) __builtin_unreachable();

위의 조건을 매크로로 감쌀 수 있습니다.

#define assume(cond) do { if (!(cond)) __builtin_unreachable(); } while (0)

그리고 그렇게 사용하십시오 :

assume(x >= 0 && x <= 10);

보다시피 , gcc이 정보를 바탕으로 최적화를 수행합니다 :

#define assume(cond) do { if (!(cond)) __builtin_unreachable(); } while (0)

int func(int x){
    assume(x >=0 && x <= 10);

    if (x > 11){
        return 2;
    }
    else{
        return 17;
    }
}

생산 :

func(int):
    mov     eax, 17
    ret

그러나 한 가지 단점 은 코드에서 이러한 가정을 어기면 정의되지 않은 동작이 발생한다는 것 입니다.

디버그 빌드에서도 이러한 상황이 발생하면 알려주지 않습니다. 가정을 사용하여 버그를보다 쉽게 ​​디버그 / 테스트 / 캐치하려면 하이브리드 가정 / 어설 션 매크로 (@David Z에 대한 신용)를 다음과 같이 사용할 수 있습니다.

#if defined(NDEBUG)
#define assume(cond) do { if (!(cond)) __builtin_unreachable(); } while (0)
#else
#include <cassert>
#define assume(cond) assert(cond)
#endif

정의 NDEBUG 되지 않은 디버그 빌드에서는 일반 assert, 인쇄 오류 메시지 및 abort‘ing 프로그램 과 같이 작동 하며 릴리스 빌드에서는 가정을 사용하여 최적화 된 코드를 생성합니다.

참고하지만, 일반을 대신 할 수는 없습니다 것을 assert– cond릴리스의 유적이 빌드, 그래서 당신은 그런 짓을해서는 안됩니다 assume(VeryExpensiveComputation()).

답변

if (x == c)  // assume c is a constant
{
    foo(x);
}
else
{
    foo(x);
}

#include <math.h>
#include <stdio.h>

unsigned foo(unsigned x)
{
    return x * (x + 1);
}

unsigned bar(unsigned x) { return foo(x + 1) + foo(2 * x); }

int main()
{
    unsigned x;
    scanf("%u", &x);
    unsigned r;
    if (x == 1)
    {
        r = bar(bar(x));
    }
    else if (x == 0)
    {
        r = bar(bar(x));
    }
    else
    {
        r = bar(x + 1);
    }
    printf("%#x\n", r);
}

namespace detail {
    [[noreturn]] void unreachable(){}
}

#define assume(cond) do { if (!(cond)) detail::unreachable(); } while (0)

int func(int x){
    assume(x >=0 && x <= 10);

    if (x > 11){
        return 2;
    }
    else{
        return 17;
    }
}

detail::unreachable():
        rep ret
func(int):
        movl    $17, %eax
        ret