If you look at kernel code for many flavors of Linux you'll see annotations that hint at which branches of code are more likely. Similarly, many JIT compilers

If you look at kernel code for many flavors of Linux you'll see annotations that hint at which branches of code are more likely. Similarly, many JIT compilers create statistics on the fly already; for instance these are used to better predict which branches are most likely to occur and thus be prefetched.