12 cvtsi2sd (%eax), %xmm0
13 cvtsi2ss (%eax), %xmm0
54 vcvtsi2sd (%eax), %xmm0, %xmm0
55 {evex} vcvtsi2sd (%eax), %xmm0, %xmm0
56 vcvtsi2ss (%eax), %xmm0, %xmm0
57 {evex} vcvtsi2ss (%eax), %xmm0, %xmm0
58 vcvtusi2sd (%eax), %xmm0, %xmm0
59 vcvtusi2ss (%eax), %xmm0, %xmm0