@lucy easier to answer why it isn't so expensive on x86, where both branches can be taken and the correct outcome chosen later. This would certainly never lead to spectre/meltdown, because that would be a silly mistake to make