If you've ever poked at high-performance C code, you've probably seen GCC's__builtin_expect extension being used to manually hint the likelihood of abranch b.