Great article, just to add one thing: conditional branches can seriously mess with the compiler's ability to optimize, especially the ability to auto-vectorize. So even if a never-taken branch is more or less free when the CPU executes it, just having it there might have resulted in much less efficient codegen. Just another thing to keep in mind with this issue.