cmov vs cmp+jxx across x86 CPU implementations