Se você estiver usando o GCC e trabalhando com código em que um branch é mais provável do que o outro, o builtin __builtin_expect
pode ser muito útil.
Como costuma ser o caso com otimizações, os efeitos podem ser contraproducentes quando aplicados sem criar perfil e confirmar a expectativa.
Uma versão segura disso é definida como uma macro em loucura [1]. É autônomo quando o integrado não é compatível. Este builtin também é frequentemente usado no código-fonte do kernel do Linux [2]
[1] https://github.com/facebook/folly/blob/master/folly/Lhiba.h