我们有一个用于错误检查的宏,它是这样的:
#define CheckCondition( x ) \
if( x ) { \
//okay, do nothing \
} else { \
CallFunctionThatThrowsException(); \
}
通常情况下,条件必须是true
,我们希望CPU分支预测总是选择这条路径,如果碰巧是false
,我们实际上并不关心预测错误-抛出异常和大规模堆栈展开无论如何都会花费大量成本。
根据CPU硬核描述,分支预测将以略有不同的方式处理向前跳转和向后跳转(例如,总是执行向后跳转,而从不执行正向跳转),并且编译器可以通过生成代码来改进分支预测,这些代码将给CPU分支预测器提供正确的提示。
在这一点上,gcc似乎有likely
and unlikely
hints。在Visual C++中有类似的东西吗?__assume
keyword能用来做这个吗?
发布于 2011-02-22 16:09:49
不幸的是,根据their developer center的说法,MSVC并非如此。
这非常令人沮丧,因为我们希望在一些情况下使用它,在这些情况下,等价的GCC内在函数为我们在内部循环中节省了关键的几微秒,但我们能得到的最接近的情况是交换if和else子句,以便更有可能的情况是在前向跳转不采取分支中。
发布于 2012-12-02 06:25:31
启用Profile-Guided Optimization。编译器不仅会最大化分支预测,而且可能会将冷代码完全移走。这个Channel9 video解释了各种优化。
https://stackoverflow.com/questions/5075164
复制相似问题