Correct(er) encoding of cvtsi2sdqRegXmm