12 cvtsi2sd (%rax), %xmm0
13 cvtsi2ss (%rax), %xmm0
54 vcvtsi2sd (%rax), %xmm0, %xmm0
55 vcvtsi2sd (%rax), %xmm0, %xmm31
56 vcvtsi2ss (%rax), %xmm0, %xmm0
57 vcvtsi2ss (%rax), %xmm0, %xmm31
58 vcvtusi2sd (%rax), %xmm0, %xmm0
59 vcvtusi2ss (%rax), %xmm0, %xmm0