It might be more complicated than that, the control-flow divergence depends on the probabilities of the if condition.

https://www.jlekst...