# CHECK: movw $47416, -66(%ebp)
0x66 0xc7 0x45 0xbe 0x38 0xb9
-# CHECK: vaddpd %ymm13, %ymm1, %ymm0
+# CHECK: vaddpd %ymm5, %ymm1, %ymm0
0xc4 0xc1 0x75 0x58 0xc5
# CHECK: vaddps %ymm3, %ymm1, %ymm0
0xc5 0xf4 0x58 0xc3
-# CHECK: vandpd %ymm13, %ymm1, %ymm0
+# CHECK: vandpd %ymm5, %ymm1, %ymm0
0xc4 0xc1 0x75 0x54 0xc5
# CHECK: vandps %ymm3, %ymm1, %ymm0
# CHECK: vcvtsd2si %xmm0, %eax
0xc5 0xfb 0x2d 0xc0
-# CHECK: vcvtsd2si %xmm0, %rax
-0xc4 0xe1 0xfb 0x2d 0xc0
+# CHECK: vcvtsd2si %xmm0, %eax
+0xc4 0xe1 0x7b 0x2d 0xc0
# CHECK: vmaskmovpd %xmm0, %xmm1, (%eax)
0xc4 0xe2 0x71 0x2f 0x00