Add a should_be_same constraint for the second input of CMov.