如何提示Visual C ++编译器优化器不能执行if语句的特定分支？

Question

我们有一个用于错误检查的宏，如下所示：

#define CheckCondition( x ) \
    if( x ) { \
    //okay, do nothing \
    } else { \
       CallFunctionThatThrowsException(); \
    }

通常条件必须为true ，我们希望CPU分支预测始终选择此路径，如果它恰好是false我们并不真正关心错误预测 - 抛出异常和大量堆栈展开会花费成本无论如何，财富。

根据CPU硬核描述，分支预测将稍微不同地处理向前跳转和向后跳转（总是执行向后跳转并且从不执​​行向前跳转），并且编译器可以通过生成将给出正确提示的代码来改进分支预测。 CPU分支预测器。

gcc似乎有likely和unlikely暗示 。 在Visual C ++中有类似的东西吗？ 可以使用__assume关键字吗？

Answer 1

不幸的是，根据他们的开发人员中心不在MSVC中。

这非常令人沮丧，因为我们想在一些情况下使用它，其中等效的GCC内在函数在内部循环中为我们节省了几微秒，但我们最接近的是交换if和else子句以便更多可能的情况是在前向跳跃未采取的分支中。

Answer 2

启用配置文件引导优化 。 编译器不仅可以最大化分支预测，还可以将冷代码完全移出。 这个频道9 视频解释了各种优化。