Sorting out branch divergence