blob: 4899086cd41d3d1da7a21a3c6614cc109e96e0d1 [file] [log] [blame]
// RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s
// CHECK: vaddpd %xmm19, %xmm29, %xmm20
// CHECK: encoding: [0x62,0xa1,0x95,0x00,0x58,0xe3]
vaddpd %xmm19, %xmm29, %xmm20
// CHECK: vaddpd %xmm19, %xmm29, %xmm20 {%k7}
// CHECK: encoding: [0x62,0xa1,0x95,0x07,0x58,0xe3]
vaddpd %xmm19, %xmm29, %xmm20 {%k7}
// CHECK: vaddpd %xmm19, %xmm29, %xmm20 {%k7} {z}
// CHECK: encoding: [0x62,0xa1,0x95,0x87,0x58,0xe3]
vaddpd %xmm19, %xmm29, %xmm20 {%k7} {z}
// CHECK: vaddpd (%rcx), %xmm29, %xmm20
// CHECK: encoding: [0x62,0xe1,0x95,0x00,0x58,0x21]
vaddpd (%rcx), %xmm29, %xmm20
// CHECK: vaddpd 291(%rax,%r14,8), %xmm29, %xmm20
// CHECK: encoding: [0x62,0xa1,0x95,0x00,0x58,0xa4,0xf0,0x23,0x01,0x00,0x00]
vaddpd 291(%rax,%r14,8), %xmm29, %xmm20
// CHECK: vaddpd (%rcx){1to2}, %xmm29, %xmm20
// CHECK: encoding: [0x62,0xe1,0x95,0x10,0x58,0x21]
vaddpd (%rcx){1to2}, %xmm29, %xmm20
// CHECK: vaddpd 2032(%rdx), %xmm29, %xmm20
// CHECK: encoding: [0x62,0xe1,0x95,0x00,0x58,0x62,0x7f]
vaddpd 2032(%rdx), %xmm29, %xmm20
// CHECK: vaddpd 2048(%rdx), %xmm29, %xmm20
// CHECK: encoding: [0x62,0xe1,0x95,0x00,0x58,0xa2,0x00,0x08,0x00,0x00]
vaddpd 2048(%rdx), %xmm29, %xmm20
// CHECK: vaddpd -2048(%rdx), %xmm29, %xmm20
// CHECK: encoding: [0x62,0xe1,0x95,0x00,0x58,0x62,0x80]
vaddpd -2048(%rdx), %xmm29, %xmm20
// CHECK: vaddpd -2064(%rdx), %xmm29, %xmm20
// CHECK: encoding: [0x62,0xe1,0x95,0x00,0x58,0xa2,0xf0,0xf7,0xff,0xff]
vaddpd -2064(%rdx), %xmm29, %xmm20
// CHECK: vaddpd 1016(%rdx){1to2}, %xmm29, %xmm20
// CHECK: encoding: [0x62,0xe1,0x95,0x10,0x58,0x62,0x7f]
vaddpd 1016(%rdx){1to2}, %xmm29, %xmm20
// CHECK: vaddpd 1024(%rdx){1to2}, %xmm29, %xmm20
// CHECK: encoding: [0x62,0xe1,0x95,0x10,0x58,0xa2,0x00,0x04,0x00,0x00]
vaddpd 1024(%rdx){1to2}, %xmm29, %xmm20
// CHECK: vaddpd -1024(%rdx){1to2}, %xmm29, %xmm20
// CHECK: encoding: [0x62,0xe1,0x95,0x10,0x58,0x62,0x80]
vaddpd -1024(%rdx){1to2}, %xmm29, %xmm20
// CHECK: vaddpd -1032(%rdx){1to2}, %xmm29, %xmm20
// CHECK: encoding: [0x62,0xe1,0x95,0x10,0x58,0xa2,0xf8,0xfb,0xff,0xff]
vaddpd -1032(%rdx){1to2}, %xmm29, %xmm20
// CHECK: vaddpd %ymm26, %ymm26, %ymm28
// CHECK: encoding: [0x62,0x01,0xad,0x20,0x58,0xe2]
vaddpd %ymm26, %ymm26, %ymm28
// CHECK: vaddpd %ymm26, %ymm26, %ymm28 {%k1}
// CHECK: encoding: [0x62,0x01,0xad,0x21,0x58,0xe2]
vaddpd %ymm26, %ymm26, %ymm28 {%k1}
// CHECK: vaddpd %ymm26, %ymm26, %ymm28 {%k1} {z}
// CHECK: encoding: [0x62,0x01,0xad,0xa1,0x58,0xe2]
vaddpd %ymm26, %ymm26, %ymm28 {%k1} {z}
// CHECK: vaddpd (%rcx), %ymm26, %ymm28
// CHECK: encoding: [0x62,0x61,0xad,0x20,0x58,0x21]
vaddpd (%rcx), %ymm26, %ymm28
// CHECK: vaddpd 291(%rax,%r14,8), %ymm26, %ymm28
// CHECK: encoding: [0x62,0x21,0xad,0x20,0x58,0xa4,0xf0,0x23,0x01,0x00,0x00]
vaddpd 291(%rax,%r14,8), %ymm26, %ymm28
// CHECK: vaddpd (%rcx){1to4}, %ymm26, %ymm28
// CHECK: encoding: [0x62,0x61,0xad,0x30,0x58,0x21]
vaddpd (%rcx){1to4}, %ymm26, %ymm28
// CHECK: vaddpd 4064(%rdx), %ymm26, %ymm28
// CHECK: encoding: [0x62,0x61,0xad,0x20,0x58,0x62,0x7f]
vaddpd 4064(%rdx), %ymm26, %ymm28
// CHECK: vaddpd 4096(%rdx), %ymm26, %ymm28
// CHECK: encoding: [0x62,0x61,0xad,0x20,0x58,0xa2,0x00,0x10,0x00,0x00]
vaddpd 4096(%rdx), %ymm26, %ymm28
// CHECK: vaddpd -4096(%rdx), %ymm26, %ymm28
// CHECK: encoding: [0x62,0x61,0xad,0x20,0x58,0x62,0x80]
vaddpd -4096(%rdx), %ymm26, %ymm28
// CHECK: vaddpd -4128(%rdx), %ymm26, %ymm28
// CHECK: encoding: [0x62,0x61,0xad,0x20,0x58,0xa2,0xe0,0xef,0xff,0xff]
vaddpd -4128(%rdx), %ymm26, %ymm28
// CHECK: vaddpd 1016(%rdx){1to4}, %ymm26, %ymm28
// CHECK: encoding: [0x62,0x61,0xad,0x30,0x58,0x62,0x7f]
vaddpd 1016(%rdx){1to4}, %ymm26, %ymm28
// CHECK: vaddpd 1024(%rdx){1to4}, %ymm26, %ymm28
// CHECK: encoding: [0x62,0x61,0xad,0x30,0x58,0xa2,0x00,0x04,0x00,0x00]
vaddpd 1024(%rdx){1to4}, %ymm26, %ymm28
// CHECK: vaddpd -1024(%rdx){1to4}, %ymm26, %ymm28
// CHECK: encoding: [0x62,0x61,0xad,0x30,0x58,0x62,0x80]
vaddpd -1024(%rdx){1to4}, %ymm26, %ymm28
// CHECK: vaddpd -1032(%rdx){1to4}, %ymm26, %ymm28
// CHECK: encoding: [0x62,0x61,0xad,0x30,0x58,0xa2,0xf8,0xfb,0xff,0xff]
vaddpd -1032(%rdx){1to4}, %ymm26, %ymm28
// CHECK: vaddps %xmm27, %xmm19, %xmm24
// CHECK: encoding: [0x62,0x01,0x64,0x00,0x58,0xc3]
vaddps %xmm27, %xmm19, %xmm24
// CHECK: vaddps %xmm27, %xmm19, %xmm24 {%k4}
// CHECK: encoding: [0x62,0x01,0x64,0x04,0x58,0xc3]
vaddps %xmm27, %xmm19, %xmm24 {%k4}
// CHECK: vaddps %xmm27, %xmm19, %xmm24 {%k4} {z}
// CHECK: encoding: [0x62,0x01,0x64,0x84,0x58,0xc3]
vaddps %xmm27, %xmm19, %xmm24 {%k4} {z}
// CHECK: vaddps (%rcx), %xmm19, %xmm24
// CHECK: encoding: [0x62,0x61,0x64,0x00,0x58,0x01]
vaddps (%rcx), %xmm19, %xmm24
// CHECK: vaddps 291(%rax,%r14,8), %xmm19, %xmm24
// CHECK: encoding: [0x62,0x21,0x64,0x00,0x58,0x84,0xf0,0x23,0x01,0x00,0x00]
vaddps 291(%rax,%r14,8), %xmm19, %xmm24
// CHECK: vaddps (%rcx){1to4}, %xmm19, %xmm24
// CHECK: encoding: [0x62,0x61,0x64,0x10,0x58,0x01]
vaddps (%rcx){1to4}, %xmm19, %xmm24
// CHECK: vaddps 2032(%rdx), %xmm19, %xmm24
// CHECK: encoding: [0x62,0x61,0x64,0x00,0x58,0x42,0x7f]
vaddps 2032(%rdx), %xmm19, %xmm24
// CHECK: vaddps 2048(%rdx), %xmm19, %xmm24
// CHECK: encoding: [0x62,0x61,0x64,0x00,0x58,0x82,0x00,0x08,0x00,0x00]
vaddps 2048(%rdx), %xmm19, %xmm24
// CHECK: vaddps -2048(%rdx), %xmm19, %xmm24
// CHECK: encoding: [0x62,0x61,0x64,0x00,0x58,0x42,0x80]
vaddps -2048(%rdx), %xmm19, %xmm24
// CHECK: vaddps -2064(%rdx), %xmm19, %xmm24
// CHECK: encoding: [0x62,0x61,0x64,0x00,0x58,0x82,0xf0,0xf7,0xff,0xff]
vaddps -2064(%rdx), %xmm19, %xmm24
// CHECK: vaddps 508(%rdx){1to4}, %xmm19, %xmm24
// CHECK: encoding: [0x62,0x61,0x64,0x10,0x58,0x42,0x7f]
vaddps 508(%rdx){1to4}, %xmm19, %xmm24
// CHECK: vaddps 512(%rdx){1to4}, %xmm19, %xmm24
// CHECK: encoding: [0x62,0x61,0x64,0x10,0x58,0x82,0x00,0x02,0x00,0x00]
vaddps 512(%rdx){1to4}, %xmm19, %xmm24
// CHECK: vaddps -512(%rdx){1to4}, %xmm19, %xmm24
// CHECK: encoding: [0x62,0x61,0x64,0x10,0x58,0x42,0x80]
vaddps -512(%rdx){1to4}, %xmm19, %xmm24
// CHECK: vaddps -516(%rdx){1to4}, %xmm19, %xmm24
// CHECK: encoding: [0x62,0x61,0x64,0x10,0x58,0x82,0xfc,0xfd,0xff,0xff]
vaddps -516(%rdx){1to4}, %xmm19, %xmm24
// CHECK: vaddps %ymm20, %ymm26, %ymm25
// CHECK: encoding: [0x62,0x21,0x2c,0x20,0x58,0xcc]
vaddps %ymm20, %ymm26, %ymm25
// CHECK: vaddps %ymm20, %ymm26, %ymm25 {%k4}
// CHECK: encoding: [0x62,0x21,0x2c,0x24,0x58,0xcc]
vaddps %ymm20, %ymm26, %ymm25 {%k4}
// CHECK: vaddps %ymm20, %ymm26, %ymm25 {%k4} {z}
// CHECK: encoding: [0x62,0x21,0x2c,0xa4,0x58,0xcc]
vaddps %ymm20, %ymm26, %ymm25 {%k4} {z}
// CHECK: vaddps (%rcx), %ymm26, %ymm25
// CHECK: encoding: [0x62,0x61,0x2c,0x20,0x58,0x09]
vaddps (%rcx), %ymm26, %ymm25
// CHECK: vaddps 291(%rax,%r14,8), %ymm26, %ymm25
// CHECK: encoding: [0x62,0x21,0x2c,0x20,0x58,0x8c,0xf0,0x23,0x01,0x00,0x00]
vaddps 291(%rax,%r14,8), %ymm26, %ymm25
// CHECK: vaddps (%rcx){1to8}, %ymm26, %ymm25
// CHECK: encoding: [0x62,0x61,0x2c,0x30,0x58,0x09]
vaddps (%rcx){1to8}, %ymm26, %ymm25
// CHECK: vaddps 4064(%rdx), %ymm26, %ymm25
// CHECK: encoding: [0x62,0x61,0x2c,0x20,0x58,0x4a,0x7f]
vaddps 4064(%rdx), %ymm26, %ymm25
// CHECK: vaddps 4096(%rdx), %ymm26, %ymm25
// CHECK: encoding: [0x62,0x61,0x2c,0x20,0x58,0x8a,0x00,0x10,0x00,0x00]
vaddps 4096(%rdx), %ymm26, %ymm25
// CHECK: vaddps -4096(%rdx), %ymm26, %ymm25
// CHECK: encoding: [0x62,0x61,0x2c,0x20,0x58,0x4a,0x80]
vaddps -4096(%rdx), %ymm26, %ymm25
// CHECK: vaddps -4128(%rdx), %ymm26, %ymm25
// CHECK: encoding: [0x62,0x61,0x2c,0x20,0x58,0x8a,0xe0,0xef,0xff,0xff]
vaddps -4128(%rdx), %ymm26, %ymm25
// CHECK: vaddps 508(%rdx){1to8}, %ymm26, %ymm25
// CHECK: encoding: [0x62,0x61,0x2c,0x30,0x58,0x4a,0x7f]
vaddps 508(%rdx){1to8}, %ymm26, %ymm25
// CHECK: vaddps 512(%rdx){1to8}, %ymm26, %ymm25
// CHECK: encoding: [0x62,0x61,0x2c,0x30,0x58,0x8a,0x00,0x02,0x00,0x00]
vaddps 512(%rdx){1to8}, %ymm26, %ymm25
// CHECK: vaddps -512(%rdx){1to8}, %ymm26, %ymm25
// CHECK: encoding: [0x62,0x61,0x2c,0x30,0x58,0x4a,0x80]
vaddps -512(%rdx){1to8}, %ymm26, %ymm25
// CHECK: vaddps -516(%rdx){1to8}, %ymm26, %ymm25
// CHECK: encoding: [0x62,0x61,0x2c,0x30,0x58,0x8a,0xfc,0xfd,0xff,0xff]
vaddps -516(%rdx){1to8}, %ymm26, %ymm25
// CHECK: vbroadcastsd (%rcx), %ymm22
// CHECK: encoding: [0x62,0xe2,0xfd,0x28,0x19,0x31]
vbroadcastsd (%rcx), %ymm22
// CHECK: vbroadcastsd (%rcx), %ymm22 {%k5}
// CHECK: encoding: [0x62,0xe2,0xfd,0x2d,0x19,0x31]
vbroadcastsd (%rcx), %ymm22 {%k5}
// CHECK: vbroadcastsd (%rcx), %ymm22 {%k5} {z}
// CHECK: encoding: [0x62,0xe2,0xfd,0xad,0x19,0x31]
vbroadcastsd (%rcx), %ymm22 {%k5} {z}
// CHECK: vbroadcastsd 291(%rax,%r14,8), %ymm22
// CHECK: encoding: [0x62,0xa2,0xfd,0x28,0x19,0xb4,0xf0,0x23,0x01,0x00,0x00]
vbroadcastsd 291(%rax,%r14,8), %ymm22
// CHECK: vbroadcastsd 1016(%rdx), %ymm22
// CHECK: encoding: [0x62,0xe2,0xfd,0x28,0x19,0x72,0x7f]
vbroadcastsd 1016(%rdx), %ymm22
// CHECK: vbroadcastsd 1024(%rdx), %ymm22
// CHECK: encoding: [0x62,0xe2,0xfd,0x28,0x19,0xb2,0x00,0x04,0x00,0x00]
vbroadcastsd 1024(%rdx), %ymm22
// CHECK: vbroadcastsd -1024(%rdx), %ymm22
// CHECK: encoding: [0x62,0xe2,0xfd,0x28,0x19,0x72,0x80]
vbroadcastsd -1024(%rdx), %ymm22
// CHECK: vbroadcastsd -1032(%rdx), %ymm22
// CHECK: encoding: [0x62,0xe2,0xfd,0x28,0x19,0xb2,0xf8,0xfb,0xff,0xff]
vbroadcastsd -1032(%rdx), %ymm22
// CHECK: vbroadcastsd %xmm17, %ymm19
// CHECK: encoding: [0x62,0xa2,0xfd,0x28,0x19,0xd9]
vbroadcastsd %xmm17, %ymm19
// CHECK: vbroadcastsd %xmm17, %ymm19 {%k6}
// CHECK: encoding: [0x62,0xa2,0xfd,0x2e,0x19,0xd9]
vbroadcastsd %xmm17, %ymm19 {%k6}
// CHECK: vbroadcastsd %xmm17, %ymm19 {%k6} {z}
// CHECK: encoding: [0x62,0xa2,0xfd,0xae,0x19,0xd9]
vbroadcastsd %xmm17, %ymm19 {%k6} {z}
// CHECK: vbroadcastss (%rcx), %xmm21
// CHECK: encoding: [0x62,0xe2,0x7d,0x08,0x18,0x29]
vbroadcastss (%rcx), %xmm21
// CHECK: vbroadcastss (%rcx), %xmm21 {%k2}
// CHECK: encoding: [0x62,0xe2,0x7d,0x0a,0x18,0x29]
vbroadcastss (%rcx), %xmm21 {%k2}
// CHECK: vbroadcastss (%rcx), %xmm21 {%k2} {z}
// CHECK: encoding: [0x62,0xe2,0x7d,0x8a,0x18,0x29]
vbroadcastss (%rcx), %xmm21 {%k2} {z}
// CHECK: vbroadcastss 291(%rax,%r14,8), %xmm21
// CHECK: encoding: [0x62,0xa2,0x7d,0x08,0x18,0xac,0xf0,0x23,0x01,0x00,0x00]
vbroadcastss 291(%rax,%r14,8), %xmm21
// CHECK: vbroadcastss 508(%rdx), %xmm21
// CHECK: encoding: [0x62,0xe2,0x7d,0x08,0x18,0x6a,0x7f]
vbroadcastss 508(%rdx), %xmm21
// CHECK: vbroadcastss 512(%rdx), %xmm21
// CHECK: encoding: [0x62,0xe2,0x7d,0x08,0x18,0xaa,0x00,0x02,0x00,0x00]
vbroadcastss 512(%rdx), %xmm21
// CHECK: vbroadcastss -512(%rdx), %xmm21
// CHECK: encoding: [0x62,0xe2,0x7d,0x08,0x18,0x6a,0x80]
vbroadcastss -512(%rdx), %xmm21
// CHECK: vbroadcastss -516(%rdx), %xmm21
// CHECK: encoding: [0x62,0xe2,0x7d,0x08,0x18,0xaa,0xfc,0xfd,0xff,0xff]
vbroadcastss -516(%rdx), %xmm21
// CHECK: vbroadcastss (%rcx), %ymm30
// CHECK: encoding: [0x62,0x62,0x7d,0x28,0x18,0x31]
vbroadcastss (%rcx), %ymm30
// CHECK: vbroadcastss (%rcx), %ymm30 {%k1}
// CHECK: encoding: [0x62,0x62,0x7d,0x29,0x18,0x31]
vbroadcastss (%rcx), %ymm30 {%k1}
// CHECK: vbroadcastss (%rcx), %ymm30 {%k1} {z}
// CHECK: encoding: [0x62,0x62,0x7d,0xa9,0x18,0x31]
vbroadcastss (%rcx), %ymm30 {%k1} {z}
// CHECK: vbroadcastss 291(%rax,%r14,8), %ymm30
// CHECK: encoding: [0x62,0x22,0x7d,0x28,0x18,0xb4,0xf0,0x23,0x01,0x00,0x00]
vbroadcastss 291(%rax,%r14,8), %ymm30
// CHECK: vbroadcastss 508(%rdx), %ymm30
// CHECK: encoding: [0x62,0x62,0x7d,0x28,0x18,0x72,0x7f]
vbroadcastss 508(%rdx), %ymm30
// CHECK: vbroadcastss 512(%rdx), %ymm30
// CHECK: encoding: [0x62,0x62,0x7d,0x28,0x18,0xb2,0x00,0x02,0x00,0x00]
vbroadcastss 512(%rdx), %ymm30
// CHECK: vbroadcastss -512(%rdx), %ymm30
// CHECK: encoding: [0x62,0x62,0x7d,0x28,0x18,0x72,0x80]
vbroadcastss -512(%rdx), %ymm30
// CHECK: vbroadcastss -516(%rdx), %ymm30
// CHECK: encoding: [0x62,0x62,0x7d,0x28,0x18,0xb2,0xfc,0xfd,0xff,0xff]
vbroadcastss -516(%rdx), %ymm30
// CHECK: vbroadcastss %xmm24, %xmm24
// CHECK: encoding: [0x62,0x02,0x7d,0x08,0x18,0xc0]
vbroadcastss %xmm24, %xmm24
// CHECK: vbroadcastss %xmm24, %xmm24 {%k2}
// CHECK: encoding: [0x62,0x02,0x7d,0x0a,0x18,0xc0]
vbroadcastss %xmm24, %xmm24 {%k2}
// CHECK: vbroadcastss %xmm24, %xmm24 {%k2} {z}
// CHECK: encoding: [0x62,0x02,0x7d,0x8a,0x18,0xc0]
vbroadcastss %xmm24, %xmm24 {%k2} {z}
// CHECK: vbroadcastss %xmm28, %ymm24
// CHECK: encoding: [0x62,0x02,0x7d,0x28,0x18,0xc4]
vbroadcastss %xmm28, %ymm24
// CHECK: vbroadcastss %xmm28, %ymm24 {%k6}
// CHECK: encoding: [0x62,0x02,0x7d,0x2e,0x18,0xc4]
vbroadcastss %xmm28, %ymm24 {%k6}
// CHECK: vbroadcastss %xmm28, %ymm24 {%k6} {z}
// CHECK: encoding: [0x62,0x02,0x7d,0xae,0x18,0xc4]
vbroadcastss %xmm28, %ymm24 {%k6} {z}
// CHECK: vdivpd %xmm27, %xmm18, %xmm19
// CHECK: encoding: [0x62,0x81,0xed,0x00,0x5e,0xdb]
vdivpd %xmm27, %xmm18, %xmm19
// CHECK: vdivpd %xmm27, %xmm18, %xmm19 {%k3}
// CHECK: encoding: [0x62,0x81,0xed,0x03,0x5e,0xdb]
vdivpd %xmm27, %xmm18, %xmm19 {%k3}
// CHECK: vdivpd %xmm27, %xmm18, %xmm19 {%k3} {z}
// CHECK: encoding: [0x62,0x81,0xed,0x83,0x5e,0xdb]
vdivpd %xmm27, %xmm18, %xmm19 {%k3} {z}
// CHECK: vdivpd (%rcx), %xmm18, %xmm19
// CHECK: encoding: [0x62,0xe1,0xed,0x00,0x5e,0x19]
vdivpd (%rcx), %xmm18, %xmm19
// CHECK: vdivpd 291(%rax,%r14,8), %xmm18, %xmm19
// CHECK: encoding: [0x62,0xa1,0xed,0x00,0x5e,0x9c,0xf0,0x23,0x01,0x00,0x00]
vdivpd 291(%rax,%r14,8), %xmm18, %xmm19
// CHECK: vdivpd (%rcx){1to2}, %xmm18, %xmm19
// CHECK: encoding: [0x62,0xe1,0xed,0x10,0x5e,0x19]
vdivpd (%rcx){1to2}, %xmm18, %xmm19
// CHECK: vdivpd 2032(%rdx), %xmm18, %xmm19
// CHECK: encoding: [0x62,0xe1,0xed,0x00,0x5e,0x5a,0x7f]
vdivpd 2032(%rdx), %xmm18, %xmm19
// CHECK: vdivpd 2048(%rdx), %xmm18, %xmm19
// CHECK: encoding: [0x62,0xe1,0xed,0x00,0x5e,0x9a,0x00,0x08,0x00,0x00]
vdivpd 2048(%rdx), %xmm18, %xmm19
// CHECK: vdivpd -2048(%rdx), %xmm18, %xmm19
// CHECK: encoding: [0x62,0xe1,0xed,0x00,0x5e,0x5a,0x80]
vdivpd -2048(%rdx), %xmm18, %xmm19
// CHECK: vdivpd -2064(%rdx), %xmm18, %xmm19
// CHECK: encoding: [0x62,0xe1,0xed,0x00,0x5e,0x9a,0xf0,0xf7,0xff,0xff]
vdivpd -2064(%rdx), %xmm18, %xmm19
// CHECK: vdivpd 1016(%rdx){1to2}, %xmm18, %xmm19
// CHECK: encoding: [0x62,0xe1,0xed,0x10,0x5e,0x5a,0x7f]
vdivpd 1016(%rdx){1to2}, %xmm18, %xmm19
// CHECK: vdivpd 1024(%rdx){1to2}, %xmm18, %xmm19
// CHECK: encoding: [0x62,0xe1,0xed,0x10,0x5e,0x9a,0x00,0x04,0x00,0x00]
vdivpd 1024(%rdx){1to2}, %xmm18, %xmm19
// CHECK: vdivpd -1024(%rdx){1to2}, %xmm18, %xmm19
// CHECK: encoding: [0x62,0xe1,0xed,0x10,0x5e,0x5a,0x80]
vdivpd -1024(%rdx){1to2}, %xmm18, %xmm19
// CHECK: vdivpd -1032(%rdx){1to2}, %xmm18, %xmm19
// CHECK: encoding: [0x62,0xe1,0xed,0x10,0x5e,0x9a,0xf8,0xfb,0xff,0xff]
vdivpd -1032(%rdx){1to2}, %xmm18, %xmm19
// CHECK: vdivpd %ymm28, %ymm24, %ymm23
// CHECK: encoding: [0x62,0x81,0xbd,0x20,0x5e,0xfc]
vdivpd %ymm28, %ymm24, %ymm23
// CHECK: vdivpd %ymm28, %ymm24, %ymm23 {%k6}
// CHECK: encoding: [0x62,0x81,0xbd,0x26,0x5e,0xfc]
vdivpd %ymm28, %ymm24, %ymm23 {%k6}
// CHECK: vdivpd %ymm28, %ymm24, %ymm23 {%k6} {z}
// CHECK: encoding: [0x62,0x81,0xbd,0xa6,0x5e,0xfc]
vdivpd %ymm28, %ymm24, %ymm23 {%k6} {z}
// CHECK: vdivpd (%rcx), %ymm24, %ymm23
// CHECK: encoding: [0x62,0xe1,0xbd,0x20,0x5e,0x39]
vdivpd (%rcx), %ymm24, %ymm23
// CHECK: vdivpd 291(%rax,%r14,8), %ymm24, %ymm23
// CHECK: encoding: [0x62,0xa1,0xbd,0x20,0x5e,0xbc,0xf0,0x23,0x01,0x00,0x00]
vdivpd 291(%rax,%r14,8), %ymm24, %ymm23
// CHECK: vdivpd (%rcx){1to4}, %ymm24, %ymm23
// CHECK: encoding: [0x62,0xe1,0xbd,0x30,0x5e,0x39]
vdivpd (%rcx){1to4}, %ymm24, %ymm23
// CHECK: vdivpd 4064(%rdx), %ymm24, %ymm23
// CHECK: encoding: [0x62,0xe1,0xbd,0x20,0x5e,0x7a,0x7f]
vdivpd 4064(%rdx), %ymm24, %ymm23
// CHECK: vdivpd 4096(%rdx), %ymm24, %ymm23
// CHECK: encoding: [0x62,0xe1,0xbd,0x20,0x5e,0xba,0x00,0x10,0x00,0x00]
vdivpd 4096(%rdx), %ymm24, %ymm23
// CHECK: vdivpd -4096(%rdx), %ymm24, %ymm23
// CHECK: encoding: [0x62,0xe1,0xbd,0x20,0x5e,0x7a,0x80]
vdivpd -4096(%rdx), %ymm24, %ymm23
// CHECK: vdivpd -4128(%rdx), %ymm24, %ymm23
// CHECK: encoding: [0x62,0xe1,0xbd,0x20,0x5e,0xba,0xe0,0xef,0xff,0xff]
vdivpd -4128(%rdx), %ymm24, %ymm23
// CHECK: vdivpd 1016(%rdx){1to4}, %ymm24, %ymm23
// CHECK: encoding: [0x62,0xe1,0xbd,0x30,0x5e,0x7a,0x7f]
vdivpd 1016(%rdx){1to4}, %ymm24, %ymm23
// CHECK: vdivpd 1024(%rdx){1to4}, %ymm24, %ymm23
// CHECK: encoding: [0x62,0xe1,0xbd,0x30,0x5e,0xba,0x00,0x04,0x00,0x00]
vdivpd 1024(%rdx){1to4}, %ymm24, %ymm23
// CHECK: vdivpd -1024(%rdx){1to4}, %ymm24, %ymm23
// CHECK: encoding: [0x62,0xe1,0xbd,0x30,0x5e,0x7a,0x80]
vdivpd -1024(%rdx){1to4}, %ymm24, %ymm23
// CHECK: vdivpd -1032(%rdx){1to4}, %ymm24, %ymm23
// CHECK: encoding: [0x62,0xe1,0xbd,0x30,0x5e,0xba,0xf8,0xfb,0xff,0xff]
vdivpd -1032(%rdx){1to4}, %ymm24, %ymm23
// CHECK: vdivps %xmm26, %xmm24, %xmm17
// CHECK: encoding: [0x62,0x81,0x3c,0x00,0x5e,0xca]
vdivps %xmm26, %xmm24, %xmm17
// CHECK: vdivps %xmm26, %xmm24, %xmm17 {%k2}
// CHECK: encoding: [0x62,0x81,0x3c,0x02,0x5e,0xca]
vdivps %xmm26, %xmm24, %xmm17 {%k2}
// CHECK: vdivps %xmm26, %xmm24, %xmm17 {%k2} {z}
// CHECK: encoding: [0x62,0x81,0x3c,0x82,0x5e,0xca]
vdivps %xmm26, %xmm24, %xmm17 {%k2} {z}
// CHECK: vdivps (%rcx), %xmm24, %xmm17
// CHECK: encoding: [0x62,0xe1,0x3c,0x00,0x5e,0x09]
vdivps (%rcx), %xmm24, %xmm17
// CHECK: vdivps 291(%rax,%r14,8), %xmm24, %xmm17
// CHECK: encoding: [0x62,0xa1,0x3c,0x00,0x5e,0x8c,0xf0,0x23,0x01,0x00,0x00]
vdivps 291(%rax,%r14,8), %xmm24, %xmm17
// CHECK: vdivps (%rcx){1to4}, %xmm24, %xmm17
// CHECK: encoding: [0x62,0xe1,0x3c,0x10,0x5e,0x09]
vdivps (%rcx){1to4}, %xmm24, %xmm17
// CHECK: vdivps 2032(%rdx), %xmm24, %xmm17
// CHECK: encoding: [0x62,0xe1,0x3c,0x00,0x5e,0x4a,0x7f]
vdivps 2032(%rdx), %xmm24, %xmm17
// CHECK: vdivps 2048(%rdx), %xmm24, %xmm17
// CHECK: encoding: [0x62,0xe1,0x3c,0x00,0x5e,0x8a,0x00,0x08,0x00,0x00]
vdivps 2048(%rdx), %xmm24, %xmm17
// CHECK: vdivps -2048(%rdx), %xmm24, %xmm17
// CHECK: encoding: [0x62,0xe1,0x3c,0x00,0x5e,0x4a,0x80]
vdivps -2048(%rdx), %xmm24, %xmm17
// CHECK: vdivps -2064(%rdx), %xmm24, %xmm17
// CHECK: encoding: [0x62,0xe1,0x3c,0x00,0x5e,0x8a,0xf0,0xf7,0xff,0xff]
vdivps -2064(%rdx), %xmm24, %xmm17
// CHECK: vdivps 508(%rdx){1to4}, %xmm24, %xmm17
// CHECK: encoding: [0x62,0xe1,0x3c,0x10,0x5e,0x4a,0x7f]
vdivps 508(%rdx){1to4}, %xmm24, %xmm17
// CHECK: vdivps 512(%rdx){1to4}, %xmm24, %xmm17
// CHECK: encoding: [0x62,0xe1,0x3c,0x10,0x5e,0x8a,0x00,0x02,0x00,0x00]
vdivps 512(%rdx){1to4}, %xmm24, %xmm17
// CHECK: vdivps -512(%rdx){1to4}, %xmm24, %xmm17
// CHECK: encoding: [0x62,0xe1,0x3c,0x10,0x5e,0x4a,0x80]
vdivps -512(%rdx){1to4}, %xmm24, %xmm17
// CHECK: vdivps -516(%rdx){1to4}, %xmm24, %xmm17
// CHECK: encoding: [0x62,0xe1,0x3c,0x10,0x5e,0x8a,0xfc,0xfd,0xff,0xff]
vdivps -516(%rdx){1to4}, %xmm24, %xmm17
// CHECK: vdivps %ymm17, %ymm27, %ymm17
// CHECK: encoding: [0x62,0xa1,0x24,0x20,0x5e,0xc9]
vdivps %ymm17, %ymm27, %ymm17
// CHECK: vdivps %ymm17, %ymm27, %ymm17 {%k6}
// CHECK: encoding: [0x62,0xa1,0x24,0x26,0x5e,0xc9]
vdivps %ymm17, %ymm27, %ymm17 {%k6}
// CHECK: vdivps %ymm17, %ymm27, %ymm17 {%k6} {z}
// CHECK: encoding: [0x62,0xa1,0x24,0xa6,0x5e,0xc9]
vdivps %ymm17, %ymm27, %ymm17 {%k6} {z}
// CHECK: vdivps (%rcx), %ymm27, %ymm17
// CHECK: encoding: [0x62,0xe1,0x24,0x20,0x5e,0x09]
vdivps (%rcx), %ymm27, %ymm17
// CHECK: vdivps 291(%rax,%r14,8), %ymm27, %ymm17
// CHECK: encoding: [0x62,0xa1,0x24,0x20,0x5e,0x8c,0xf0,0x23,0x01,0x00,0x00]
vdivps 291(%rax,%r14,8), %ymm27, %ymm17
// CHECK: vdivps (%rcx){1to8}, %ymm27, %ymm17
// CHECK: encoding: [0x62,0xe1,0x24,0x30,0x5e,0x09]
vdivps (%rcx){1to8}, %ymm27, %ymm17
// CHECK: vdivps 4064(%rdx), %ymm27, %ymm17
// CHECK: encoding: [0x62,0xe1,0x24,0x20,0x5e,0x4a,0x7f]
vdivps 4064(%rdx), %ymm27, %ymm17
// CHECK: vdivps 4096(%rdx), %ymm27, %ymm17
// CHECK: encoding: [0x62,0xe1,0x24,0x20,0x5e,0x8a,0x00,0x10,0x00,0x00]
vdivps 4096(%rdx), %ymm27, %ymm17
// CHECK: vdivps -4096(%rdx), %ymm27, %ymm17
// CHECK: encoding: [0x62,0xe1,0x24,0x20,0x5e,0x4a,0x80]
vdivps -4096(%rdx), %ymm27, %ymm17
// CHECK: vdivps -4128(%rdx), %ymm27, %ymm17
// CHECK: encoding: [0x62,0xe1,0x24,0x20,0x5e,0x8a,0xe0,0xef,0xff,0xff]
vdivps -4128(%rdx), %ymm27, %ymm17
// CHECK: vdivps 508(%rdx){1to8}, %ymm27, %ymm17
// CHECK: encoding: [0x62,0xe1,0x24,0x30,0x5e,0x4a,0x7f]
vdivps 508(%rdx){1to8}, %ymm27, %ymm17
// CHECK: vdivps 512(%rdx){1to8}, %ymm27, %ymm17
// CHECK: encoding: [0x62,0xe1,0x24,0x30,0x5e,0x8a,0x00,0x02,0x00,0x00]
vdivps 512(%rdx){1to8}, %ymm27, %ymm17
// CHECK: vdivps -512(%rdx){1to8}, %ymm27, %ymm17
// CHECK: encoding: [0x62,0xe1,0x24,0x30,0x5e,0x4a,0x80]
vdivps -512(%rdx){1to8}, %ymm27, %ymm17
// CHECK: vdivps -516(%rdx){1to8}, %ymm27, %ymm17
// CHECK: encoding: [0x62,0xe1,0x24,0x30,0x5e,0x8a,0xfc,0xfd,0xff,0xff]
vdivps -516(%rdx){1to8}, %ymm27, %ymm17
// CHECK: vmaxpd %xmm23, %xmm29, %xmm17
// CHECK: encoding: [0x62,0xa1,0x95,0x00,0x5f,0xcf]
vmaxpd %xmm23, %xmm29, %xmm17
// CHECK: vmaxpd %xmm23, %xmm29, %xmm17 {%k6}
// CHECK: encoding: [0x62,0xa1,0x95,0x06,0x5f,0xcf]
vmaxpd %xmm23, %xmm29, %xmm17 {%k6}
// CHECK: vmaxpd %xmm23, %xmm29, %xmm17 {%k6} {z}
// CHECK: encoding: [0x62,0xa1,0x95,0x86,0x5f,0xcf]
vmaxpd %xmm23, %xmm29, %xmm17 {%k6} {z}
// CHECK: vmaxpd (%rcx), %xmm29, %xmm17
// CHECK: encoding: [0x62,0xe1,0x95,0x00,0x5f,0x09]
vmaxpd (%rcx), %xmm29, %xmm17
// CHECK: vmaxpd 291(%rax,%r14,8), %xmm29, %xmm17
// CHECK: encoding: [0x62,0xa1,0x95,0x00,0x5f,0x8c,0xf0,0x23,0x01,0x00,0x00]
vmaxpd 291(%rax,%r14,8), %xmm29, %xmm17
// CHECK: vmaxpd (%rcx){1to2}, %xmm29, %xmm17
// CHECK: encoding: [0x62,0xe1,0x95,0x10,0x5f,0x09]
vmaxpd (%rcx){1to2}, %xmm29, %xmm17
// CHECK: vmaxpd 2032(%rdx), %xmm29, %xmm17
// CHECK: encoding: [0x62,0xe1,0x95,0x00,0x5f,0x4a,0x7f]
vmaxpd 2032(%rdx), %xmm29, %xmm17
// CHECK: vmaxpd 2048(%rdx), %xmm29, %xmm17
// CHECK: encoding: [0x62,0xe1,0x95,0x00,0x5f,0x8a,0x00,0x08,0x00,0x00]
vmaxpd 2048(%rdx), %xmm29, %xmm17
// CHECK: vmaxpd -2048(%rdx), %xmm29, %xmm17
// CHECK: encoding: [0x62,0xe1,0x95,0x00,0x5f,0x4a,0x80]
vmaxpd -2048(%rdx), %xmm29, %xmm17
// CHECK: vmaxpd -2064(%rdx), %xmm29, %xmm17
// CHECK: encoding: [0x62,0xe1,0x95,0x00,0x5f,0x8a,0xf0,0xf7,0xff,0xff]
vmaxpd -2064(%rdx), %xmm29, %xmm17
// CHECK: vmaxpd 1016(%rdx){1to2}, %xmm29, %xmm17
// CHECK: encoding: [0x62,0xe1,0x95,0x10,0x5f,0x4a,0x7f]
vmaxpd 1016(%rdx){1to2}, %xmm29, %xmm17
// CHECK: vmaxpd 1024(%rdx){1to2}, %xmm29, %xmm17
// CHECK: encoding: [0x62,0xe1,0x95,0x10,0x5f,0x8a,0x00,0x04,0x00,0x00]
vmaxpd 1024(%rdx){1to2}, %xmm29, %xmm17
// CHECK: vmaxpd -1024(%rdx){1to2}, %xmm29, %xmm17
// CHECK: encoding: [0x62,0xe1,0x95,0x10,0x5f,0x4a,0x80]
vmaxpd -1024(%rdx){1to2}, %xmm29, %xmm17
// CHECK: vmaxpd -1032(%rdx){1to2}, %xmm29, %xmm17
// CHECK: encoding: [0x62,0xe1,0x95,0x10,0x5f,0x8a,0xf8,0xfb,0xff,0xff]
vmaxpd -1032(%rdx){1to2}, %xmm29, %xmm17
// CHECK: vmaxpd %ymm24, %ymm24, %ymm21
// CHECK: encoding: [0x62,0x81,0xbd,0x20,0x5f,0xe8]
vmaxpd %ymm24, %ymm24, %ymm21
// CHECK: vmaxpd %ymm24, %ymm24, %ymm21 {%k1}
// CHECK: encoding: [0x62,0x81,0xbd,0x21,0x5f,0xe8]
vmaxpd %ymm24, %ymm24, %ymm21 {%k1}
// CHECK: vmaxpd %ymm24, %ymm24, %ymm21 {%k1} {z}
// CHECK: encoding: [0x62,0x81,0xbd,0xa1,0x5f,0xe8]
vmaxpd %ymm24, %ymm24, %ymm21 {%k1} {z}
// CHECK: vmaxpd (%rcx), %ymm24, %ymm21
// CHECK: encoding: [0x62,0xe1,0xbd,0x20,0x5f,0x29]
vmaxpd (%rcx), %ymm24, %ymm21
// CHECK: vmaxpd 291(%rax,%r14,8), %ymm24, %ymm21
// CHECK: encoding: [0x62,0xa1,0xbd,0x20,0x5f,0xac,0xf0,0x23,0x01,0x00,0x00]
vmaxpd 291(%rax,%r14,8), %ymm24, %ymm21
// CHECK: vmaxpd (%rcx){1to4}, %ymm24, %ymm21
// CHECK: encoding: [0x62,0xe1,0xbd,0x30,0x5f,0x29]
vmaxpd (%rcx){1to4}, %ymm24, %ymm21
// CHECK: vmaxpd 4064(%rdx), %ymm24, %ymm21
// CHECK: encoding: [0x62,0xe1,0xbd,0x20,0x5f,0x6a,0x7f]
vmaxpd 4064(%rdx), %ymm24, %ymm21
// CHECK: vmaxpd 4096(%rdx), %ymm24, %ymm21
// CHECK: encoding: [0x62,0xe1,0xbd,0x20,0x5f,0xaa,0x00,0x10,0x00,0x00]
vmaxpd 4096(%rdx), %ymm24, %ymm21
// CHECK: vmaxpd -4096(%rdx), %ymm24, %ymm21
// CHECK: encoding: [0x62,0xe1,0xbd,0x20,0x5f,0x6a,0x80]
vmaxpd -4096(%rdx), %ymm24, %ymm21
// CHECK: vmaxpd -4128(%rdx), %ymm24, %ymm21
// CHECK: encoding: [0x62,0xe1,0xbd,0x20,0x5f,0xaa,0xe0,0xef,0xff,0xff]
vmaxpd -4128(%rdx), %ymm24, %ymm21
// CHECK: vmaxpd 1016(%rdx){1to4}, %ymm24, %ymm21
// CHECK: encoding: [0x62,0xe1,0xbd,0x30,0x5f,0x6a,0x7f]
vmaxpd 1016(%rdx){1to4}, %ymm24, %ymm21
// CHECK: vmaxpd 1024(%rdx){1to4}, %ymm24, %ymm21
// CHECK: encoding: [0x62,0xe1,0xbd,0x30,0x5f,0xaa,0x00,0x04,0x00,0x00]
vmaxpd 1024(%rdx){1to4}, %ymm24, %ymm21
// CHECK: vmaxpd -1024(%rdx){1to4}, %ymm24, %ymm21
// CHECK: encoding: [0x62,0xe1,0xbd,0x30,0x5f,0x6a,0x80]
vmaxpd -1024(%rdx){1to4}, %ymm24, %ymm21
// CHECK: vmaxpd -1032(%rdx){1to4}, %ymm24, %ymm21
// CHECK: encoding: [0x62,0xe1,0xbd,0x30,0x5f,0xaa,0xf8,0xfb,0xff,0xff]
vmaxpd -1032(%rdx){1to4}, %ymm24, %ymm21
// CHECK: vmaxps %xmm19, %xmm20, %xmm24
// CHECK: encoding: [0x62,0x21,0x5c,0x00,0x5f,0xc3]
vmaxps %xmm19, %xmm20, %xmm24
// CHECK: vmaxps %xmm19, %xmm20, %xmm24 {%k6}
// CHECK: encoding: [0x62,0x21,0x5c,0x06,0x5f,0xc3]
vmaxps %xmm19, %xmm20, %xmm24 {%k6}
// CHECK: vmaxps %xmm19, %xmm20, %xmm24 {%k6} {z}
// CHECK: encoding: [0x62,0x21,0x5c,0x86,0x5f,0xc3]
vmaxps %xmm19, %xmm20, %xmm24 {%k6} {z}
// CHECK: vmaxps (%rcx), %xmm20, %xmm24
// CHECK: encoding: [0x62,0x61,0x5c,0x00,0x5f,0x01]
vmaxps (%rcx), %xmm20, %xmm24
// CHECK: vmaxps 291(%rax,%r14,8), %xmm20, %xmm24
// CHECK: encoding: [0x62,0x21,0x5c,0x00,0x5f,0x84,0xf0,0x23,0x01,0x00,0x00]
vmaxps 291(%rax,%r14,8), %xmm20, %xmm24
// CHECK: vmaxps (%rcx){1to4}, %xmm20, %xmm24
// CHECK: encoding: [0x62,0x61,0x5c,0x10,0x5f,0x01]
vmaxps (%rcx){1to4}, %xmm20, %xmm24
// CHECK: vmaxps 2032(%rdx), %xmm20, %xmm24
// CHECK: encoding: [0x62,0x61,0x5c,0x00,0x5f,0x42,0x7f]
vmaxps 2032(%rdx), %xmm20, %xmm24
// CHECK: vmaxps 2048(%rdx), %xmm20, %xmm24
// CHECK: encoding: [0x62,0x61,0x5c,0x00,0x5f,0x82,0x00,0x08,0x00,0x00]
vmaxps 2048(%rdx), %xmm20, %xmm24
// CHECK: vmaxps -2048(%rdx), %xmm20, %xmm24
// CHECK: encoding: [0x62,0x61,0x5c,0x00,0x5f,0x42,0x80]
vmaxps -2048(%rdx), %xmm20, %xmm24
// CHECK: vmaxps -2064(%rdx), %xmm20, %xmm24
// CHECK: encoding: [0x62,0x61,0x5c,0x00,0x5f,0x82,0xf0,0xf7,0xff,0xff]
vmaxps -2064(%rdx), %xmm20, %xmm24
// CHECK: vmaxps 508(%rdx){1to4}, %xmm20, %xmm24
// CHECK: encoding: [0x62,0x61,0x5c,0x10,0x5f,0x42,0x7f]
vmaxps 508(%rdx){1to4}, %xmm20, %xmm24
// CHECK: vmaxps 512(%rdx){1to4}, %xmm20, %xmm24
// CHECK: encoding: [0x62,0x61,0x5c,0x10,0x5f,0x82,0x00,0x02,0x00,0x00]
vmaxps 512(%rdx){1to4}, %xmm20, %xmm24
// CHECK: vmaxps -512(%rdx){1to4}, %xmm20, %xmm24
// CHECK: encoding: [0x62,0x61,0x5c,0x10,0x5f,0x42,0x80]
vmaxps -512(%rdx){1to4}, %xmm20, %xmm24
// CHECK: vmaxps -516(%rdx){1to4}, %xmm20, %xmm24
// CHECK: encoding: [0x62,0x61,0x5c,0x10,0x5f,0x82,0xfc,0xfd,0xff,0xff]
vmaxps -516(%rdx){1to4}, %xmm20, %xmm24
// CHECK: vmaxps %ymm17, %ymm17, %ymm19
// CHECK: encoding: [0x62,0xa1,0x74,0x20,0x5f,0xd9]
vmaxps %ymm17, %ymm17, %ymm19
// CHECK: vmaxps %ymm17, %ymm17, %ymm19 {%k3}
// CHECK: encoding: [0x62,0xa1,0x74,0x23,0x5f,0xd9]
vmaxps %ymm17, %ymm17, %ymm19 {%k3}
// CHECK: vmaxps %ymm17, %ymm17, %ymm19 {%k3} {z}
// CHECK: encoding: [0x62,0xa1,0x74,0xa3,0x5f,0xd9]
vmaxps %ymm17, %ymm17, %ymm19 {%k3} {z}
// CHECK: vmaxps (%rcx), %ymm17, %ymm19
// CHECK: encoding: [0x62,0xe1,0x74,0x20,0x5f,0x19]
vmaxps (%rcx), %ymm17, %ymm19
// CHECK: vmaxps 291(%rax,%r14,8), %ymm17, %ymm19
// CHECK: encoding: [0x62,0xa1,0x74,0x20,0x5f,0x9c,0xf0,0x23,0x01,0x00,0x00]
vmaxps 291(%rax,%r14,8), %ymm17, %ymm19
// CHECK: vmaxps (%rcx){1to8}, %ymm17, %ymm19
// CHECK: encoding: [0x62,0xe1,0x74,0x30,0x5f,0x19]
vmaxps (%rcx){1to8}, %ymm17, %ymm19
// CHECK: vmaxps 4064(%rdx), %ymm17, %ymm19
// CHECK: encoding: [0x62,0xe1,0x74,0x20,0x5f,0x5a,0x7f]
vmaxps 4064(%rdx), %ymm17, %ymm19
// CHECK: vmaxps 4096(%rdx), %ymm17, %ymm19
// CHECK: encoding: [0x62,0xe1,0x74,0x20,0x5f,0x9a,0x00,0x10,0x00,0x00]
vmaxps 4096(%rdx), %ymm17, %ymm19
// CHECK: vmaxps -4096(%rdx), %ymm17, %ymm19
// CHECK: encoding: [0x62,0xe1,0x74,0x20,0x5f,0x5a,0x80]
vmaxps -4096(%rdx), %ymm17, %ymm19
// CHECK: vmaxps -4128(%rdx), %ymm17, %ymm19
// CHECK: encoding: [0x62,0xe1,0x74,0x20,0x5f,0x9a,0xe0,0xef,0xff,0xff]
vmaxps -4128(%rdx), %ymm17, %ymm19
// CHECK: vmaxps 508(%rdx){1to8}, %ymm17, %ymm19
// CHECK: encoding: [0x62,0xe1,0x74,0x30,0x5f,0x5a,0x7f]
vmaxps 508(%rdx){1to8}, %ymm17, %ymm19
// CHECK: vmaxps 512(%rdx){1to8}, %ymm17, %ymm19
// CHECK: encoding: [0x62,0xe1,0x74,0x30,0x5f,0x9a,0x00,0x02,0x00,0x00]
vmaxps 512(%rdx){1to8}, %ymm17, %ymm19
// CHECK: vmaxps -512(%rdx){1to8}, %ymm17, %ymm19
// CHECK: encoding: [0x62,0xe1,0x74,0x30,0x5f,0x5a,0x80]
vmaxps -512(%rdx){1to8}, %ymm17, %ymm19
// CHECK: vmaxps -516(%rdx){1to8}, %ymm17, %ymm19
// CHECK: encoding: [0x62,0xe1,0x74,0x30,0x5f,0x9a,0xfc,0xfd,0xff,0xff]
vmaxps -516(%rdx){1to8}, %ymm17, %ymm19
// CHECK: vminpd %xmm19, %xmm19, %xmm27
// CHECK: encoding: [0x62,0x21,0xe5,0x00,0x5d,0xdb]
vminpd %xmm19, %xmm19, %xmm27
// CHECK: vminpd %xmm19, %xmm19, %xmm27 {%k6}
// CHECK: encoding: [0x62,0x21,0xe5,0x06,0x5d,0xdb]
vminpd %xmm19, %xmm19, %xmm27 {%k6}
// CHECK: vminpd %xmm19, %xmm19, %xmm27 {%k6} {z}
// CHECK: encoding: [0x62,0x21,0xe5,0x86,0x5d,0xdb]
vminpd %xmm19, %xmm19, %xmm27 {%k6} {z}
// CHECK: vminpd (%rcx), %xmm19, %xmm27
// CHECK: encoding: [0x62,0x61,0xe5,0x00,0x5d,0x19]
vminpd (%rcx), %xmm19, %xmm27
// CHECK: vminpd 291(%rax,%r14,8), %xmm19, %xmm27
// CHECK: encoding: [0x62,0x21,0xe5,0x00,0x5d,0x9c,0xf0,0x23,0x01,0x00,0x00]
vminpd 291(%rax,%r14,8), %xmm19, %xmm27
// CHECK: vminpd (%rcx){1to2}, %xmm19, %xmm27
// CHECK: encoding: [0x62,0x61,0xe5,0x10,0x5d,0x19]
vminpd (%rcx){1to2}, %xmm19, %xmm27
// CHECK: vminpd 2032(%rdx), %xmm19, %xmm27
// CHECK: encoding: [0x62,0x61,0xe5,0x00,0x5d,0x5a,0x7f]
vminpd 2032(%rdx), %xmm19, %xmm27
// CHECK: vminpd 2048(%rdx), %xmm19, %xmm27
// CHECK: encoding: [0x62,0x61,0xe5,0x00,0x5d,0x9a,0x00,0x08,0x00,0x00]
vminpd 2048(%rdx), %xmm19, %xmm27
// CHECK: vminpd -2048(%rdx), %xmm19, %xmm27
// CHECK: encoding: [0x62,0x61,0xe5,0x00,0x5d,0x5a,0x80]
vminpd -2048(%rdx), %xmm19, %xmm27
// CHECK: vminpd -2064(%rdx), %xmm19, %xmm27
// CHECK: encoding: [0x62,0x61,0xe5,0x00,0x5d,0x9a,0xf0,0xf7,0xff,0xff]
vminpd -2064(%rdx), %xmm19, %xmm27
// CHECK: vminpd 1016(%rdx){1to2}, %xmm19, %xmm27
// CHECK: encoding: [0x62,0x61,0xe5,0x10,0x5d,0x5a,0x7f]
vminpd 1016(%rdx){1to2}, %xmm19, %xmm27
// CHECK: vminpd 1024(%rdx){1to2}, %xmm19, %xmm27
// CHECK: encoding: [0x62,0x61,0xe5,0x10,0x5d,0x9a,0x00,0x04,0x00,0x00]
vminpd 1024(%rdx){1to2}, %xmm19, %xmm27
// CHECK: vminpd -1024(%rdx){1to2}, %xmm19, %xmm27
// CHECK: encoding: [0x62,0x61,0xe5,0x10,0x5d,0x5a,0x80]
vminpd -1024(%rdx){1to2}, %xmm19, %xmm27
// CHECK: vminpd -1032(%rdx){1to2}, %xmm19, %xmm27
// CHECK: encoding: [0x62,0x61,0xe5,0x10,0x5d,0x9a,0xf8,0xfb,0xff,0xff]
vminpd -1032(%rdx){1to2}, %xmm19, %xmm27
// CHECK: vminpd %ymm23, %ymm29, %ymm24
// CHECK: encoding: [0x62,0x21,0x95,0x20,0x5d,0xc7]
vminpd %ymm23, %ymm29, %ymm24
// CHECK: vminpd %ymm23, %ymm29, %ymm24 {%k6}
// CHECK: encoding: [0x62,0x21,0x95,0x26,0x5d,0xc7]
vminpd %ymm23, %ymm29, %ymm24 {%k6}
// CHECK: vminpd %ymm23, %ymm29, %ymm24 {%k6} {z}
// CHECK: encoding: [0x62,0x21,0x95,0xa6,0x5d,0xc7]
vminpd %ymm23, %ymm29, %ymm24 {%k6} {z}
// CHECK: vminpd (%rcx), %ymm29, %ymm24
// CHECK: encoding: [0x62,0x61,0x95,0x20,0x5d,0x01]
vminpd (%rcx), %ymm29, %ymm24
// CHECK: vminpd 291(%rax,%r14,8), %ymm29, %ymm24
// CHECK: encoding: [0x62,0x21,0x95,0x20,0x5d,0x84,0xf0,0x23,0x01,0x00,0x00]
vminpd 291(%rax,%r14,8), %ymm29, %ymm24
// CHECK: vminpd (%rcx){1to4}, %ymm29, %ymm24
// CHECK: encoding: [0x62,0x61,0x95,0x30,0x5d,0x01]
vminpd (%rcx){1to4}, %ymm29, %ymm24
// CHECK: vminpd 4064(%rdx), %ymm29, %ymm24
// CHECK: encoding: [0x62,0x61,0x95,0x20,0x5d,0x42,0x7f]
vminpd 4064(%rdx), %ymm29, %ymm24
// CHECK: vminpd 4096(%rdx), %ymm29, %ymm24
// CHECK: encoding: [0x62,0x61,0x95,0x20,0x5d,0x82,0x00,0x10,0x00,0x00]
vminpd 4096(%rdx), %ymm29, %ymm24
// CHECK: vminpd -4096(%rdx), %ymm29, %ymm24
// CHECK: encoding: [0x62,0x61,0x95,0x20,0x5d,0x42,0x80]
vminpd -4096(%rdx), %ymm29, %ymm24
// CHECK: vminpd -4128(%rdx), %ymm29, %ymm24
// CHECK: encoding: [0x62,0x61,0x95,0x20,0x5d,0x82,0xe0,0xef,0xff,0xff]
vminpd -4128(%rdx), %ymm29, %ymm24
// CHECK: vminpd 1016(%rdx){1to4}, %ymm29, %ymm24
// CHECK: encoding: [0x62,0x61,0x95,0x30,0x5d,0x42,0x7f]
vminpd 1016(%rdx){1to4}, %ymm29, %ymm24
// CHECK: vminpd 1024(%rdx){1to4}, %ymm29, %ymm24
// CHECK: encoding: [0x62,0x61,0x95,0x30,0x5d,0x82,0x00,0x04,0x00,0x00]
vminpd 1024(%rdx){1to4}, %ymm29, %ymm24
// CHECK: vminpd -1024(%rdx){1to4}, %ymm29, %ymm24
// CHECK: encoding: [0x62,0x61,0x95,0x30,0x5d,0x42,0x80]
vminpd -1024(%rdx){1to4}, %ymm29, %ymm24
// CHECK: vminpd -1032(%rdx){1to4}, %ymm29, %ymm24
// CHECK: encoding: [0x62,0x61,0x95,0x30,0x5d,0x82,0xf8,0xfb,0xff,0xff]
vminpd -1032(%rdx){1to4}, %ymm29, %ymm24
// CHECK: vminps %xmm23, %xmm20, %xmm17
// CHECK: encoding: [0x62,0xa1,0x5c,0x00,0x5d,0xcf]
vminps %xmm23, %xmm20, %xmm17
// CHECK: vminps %xmm23, %xmm20, %xmm17 {%k1}
// CHECK: encoding: [0x62,0xa1,0x5c,0x01,0x5d,0xcf]
vminps %xmm23, %xmm20, %xmm17 {%k1}
// CHECK: vminps %xmm23, %xmm20, %xmm17 {%k1} {z}
// CHECK: encoding: [0x62,0xa1,0x5c,0x81,0x5d,0xcf]
vminps %xmm23, %xmm20, %xmm17 {%k1} {z}
// CHECK: vminps (%rcx), %xmm20, %xmm17
// CHECK: encoding: [0x62,0xe1,0x5c,0x00,0x5d,0x09]
vminps (%rcx), %xmm20, %xmm17
// CHECK: vminps 291(%rax,%r14,8), %xmm20, %xmm17
// CHECK: encoding: [0x62,0xa1,0x5c,0x00,0x5d,0x8c,0xf0,0x23,0x01,0x00,0x00]
vminps 291(%rax,%r14,8), %xmm20, %xmm17
// CHECK: vminps (%rcx){1to4}, %xmm20, %xmm17
// CHECK: encoding: [0x62,0xe1,0x5c,0x10,0x5d,0x09]
vminps (%rcx){1to4}, %xmm20, %xmm17
// CHECK: vminps 2032(%rdx), %xmm20, %xmm17
// CHECK: encoding: [0x62,0xe1,0x5c,0x00,0x5d,0x4a,0x7f]
vminps 2032(%rdx), %xmm20, %xmm17
// CHECK: vminps 2048(%rdx), %xmm20, %xmm17
// CHECK: encoding: [0x62,0xe1,0x5c,0x00,0x5d,0x8a,0x00,0x08,0x00,0x00]
vminps 2048(%rdx), %xmm20, %xmm17
// CHECK: vminps -2048(%rdx), %xmm20, %xmm17
// CHECK: encoding: [0x62,0xe1,0x5c,0x00,0x5d,0x4a,0x80]
vminps -2048(%rdx), %xmm20, %xmm17
// CHECK: vminps -2064(%rdx), %xmm20, %xmm17
// CHECK: encoding: [0x62,0xe1,0x5c,0x00,0x5d,0x8a,0xf0,0xf7,0xff,0xff]
vminps -2064(%rdx), %xmm20, %xmm17
// CHECK: vminps 508(%rdx){1to4}, %xmm20, %xmm17
// CHECK: encoding: [0x62,0xe1,0x5c,0x10,0x5d,0x4a,0x7f]
vminps 508(%rdx){1to4}, %xmm20, %xmm17
// CHECK: vminps 512(%rdx){1to4}, %xmm20, %xmm17
// CHECK: encoding: [0x62,0xe1,0x5c,0x10,0x5d,0x8a,0x00,0x02,0x00,0x00]
vminps 512(%rdx){1to4}, %xmm20, %xmm17
// CHECK: vminps -512(%rdx){1to4}, %xmm20, %xmm17
// CHECK: encoding: [0x62,0xe1,0x5c,0x10,0x5d,0x4a,0x80]
vminps -512(%rdx){1to4}, %xmm20, %xmm17
// CHECK: vminps -516(%rdx){1to4}, %xmm20, %xmm17
// CHECK: encoding: [0x62,0xe1,0x5c,0x10,0x5d,0x8a,0xfc,0xfd,0xff,0xff]
vminps -516(%rdx){1to4}, %xmm20, %xmm17
// CHECK: vminps %ymm21, %ymm24, %ymm24
// CHECK: encoding: [0x62,0x21,0x3c,0x20,0x5d,0xc5]
vminps %ymm21, %ymm24, %ymm24
// CHECK: vminps %ymm21, %ymm24, %ymm24 {%k3}
// CHECK: encoding: [0x62,0x21,0x3c,0x23,0x5d,0xc5]
vminps %ymm21, %ymm24, %ymm24 {%k3}
// CHECK: vminps %ymm21, %ymm24, %ymm24 {%k3} {z}
// CHECK: encoding: [0x62,0x21,0x3c,0xa3,0x5d,0xc5]
vminps %ymm21, %ymm24, %ymm24 {%k3} {z}
// CHECK: vminps (%rcx), %ymm24, %ymm24
// CHECK: encoding: [0x62,0x61,0x3c,0x20,0x5d,0x01]
vminps (%rcx), %ymm24, %ymm24
// CHECK: vminps 291(%rax,%r14,8), %ymm24, %ymm24
// CHECK: encoding: [0x62,0x21,0x3c,0x20,0x5d,0x84,0xf0,0x23,0x01,0x00,0x00]
vminps 291(%rax,%r14,8), %ymm24, %ymm24
// CHECK: vminps (%rcx){1to8}, %ymm24, %ymm24
// CHECK: encoding: [0x62,0x61,0x3c,0x30,0x5d,0x01]
vminps (%rcx){1to8}, %ymm24, %ymm24
// CHECK: vminps 4064(%rdx), %ymm24, %ymm24
// CHECK: encoding: [0x62,0x61,0x3c,0x20,0x5d,0x42,0x7f]
vminps 4064(%rdx), %ymm24, %ymm24
// CHECK: vminps 4096(%rdx), %ymm24, %ymm24
// CHECK: encoding: [0x62,0x61,0x3c,0x20,0x5d,0x82,0x00,0x10,0x00,0x00]
vminps 4096(%rdx), %ymm24, %ymm24
// CHECK: vminps -4096(%rdx), %ymm24, %ymm24
// CHECK: encoding: [0x62,0x61,0x3c,0x20,0x5d,0x42,0x80]
vminps -4096(%rdx), %ymm24, %ymm24
// CHECK: vminps -4128(%rdx), %ymm24, %ymm24
// CHECK: encoding: [0x62,0x61,0x3c,0x20,0x5d,0x82,0xe0,0xef,0xff,0xff]
vminps -4128(%rdx), %ymm24, %ymm24
// CHECK: vminps 508(%rdx){1to8}, %ymm24, %ymm24
// CHECK: encoding: [0x62,0x61,0x3c,0x30,0x5d,0x42,0x7f]
vminps 508(%rdx){1to8}, %ymm24, %ymm24
// CHECK: vminps 512(%rdx){1to8}, %ymm24, %ymm24
// CHECK: encoding: [0x62,0x61,0x3c,0x30,0x5d,0x82,0x00,0x02,0x00,0x00]
vminps 512(%rdx){1to8}, %ymm24, %ymm24
// CHECK: vminps -512(%rdx){1to8}, %ymm24, %ymm24
// CHECK: encoding: [0x62,0x61,0x3c,0x30,0x5d,0x42,0x80]
vminps -512(%rdx){1to8}, %ymm24, %ymm24
// CHECK: vminps -516(%rdx){1to8}, %ymm24, %ymm24
// CHECK: encoding: [0x62,0x61,0x3c,0x30,0x5d,0x82,0xfc,0xfd,0xff,0xff]
vminps -516(%rdx){1to8}, %ymm24, %ymm24
// CHECK: vmovapd %xmm21, %xmm21
// CHECK: encoding: [0x62,0xa1,0xfd,0x08,0x28,0xed]
vmovapd %xmm21, %xmm21
// CHECK: vmovapd %xmm21, %xmm21 {%k3}
// CHECK: encoding: [0x62,0xa1,0xfd,0x0b,0x28,0xed]
vmovapd %xmm21, %xmm21 {%k3}
// CHECK: vmovapd %xmm21, %xmm21 {%k3} {z}
// CHECK: encoding: [0x62,0xa1,0xfd,0x8b,0x28,0xed]
vmovapd %xmm21, %xmm21 {%k3} {z}
// CHECK: vmovapd (%rcx), %xmm21
// CHECK: encoding: [0x62,0xe1,0xfd,0x08,0x28,0x29]
vmovapd (%rcx), %xmm21
// CHECK: vmovapd 291(%rax,%r14,8), %xmm21
// CHECK: encoding: [0x62,0xa1,0xfd,0x08,0x28,0xac,0xf0,0x23,0x01,0x00,0x00]
vmovapd 291(%rax,%r14,8), %xmm21
// CHECK: vmovapd 2032(%rdx), %xmm21
// CHECK: encoding: [0x62,0xe1,0xfd,0x08,0x28,0x6a,0x7f]
vmovapd 2032(%rdx), %xmm21
// CHECK: vmovapd 2048(%rdx), %xmm21
// CHECK: encoding: [0x62,0xe1,0xfd,0x08,0x28,0xaa,0x00,0x08,0x00,0x00]
vmovapd 2048(%rdx), %xmm21
// CHECK: vmovapd -2048(%rdx), %xmm21
// CHECK: encoding: [0x62,0xe1,0xfd,0x08,0x28,0x6a,0x80]
vmovapd -2048(%rdx), %xmm21
// CHECK: vmovapd -2064(%rdx), %xmm21
// CHECK: encoding: [0x62,0xe1,0xfd,0x08,0x28,0xaa,0xf0,0xf7,0xff,0xff]
vmovapd -2064(%rdx), %xmm21
// CHECK: vmovapd %ymm17, %ymm18
// CHECK: encoding: [0x62,0xa1,0xfd,0x28,0x28,0xd1]
vmovapd %ymm17, %ymm18
// CHECK: vmovapd %ymm17, %ymm18 {%k2}
// CHECK: encoding: [0x62,0xa1,0xfd,0x2a,0x28,0xd1]
vmovapd %ymm17, %ymm18 {%k2}
// CHECK: vmovapd %ymm17, %ymm18 {%k2} {z}
// CHECK: encoding: [0x62,0xa1,0xfd,0xaa,0x28,0xd1]
vmovapd %ymm17, %ymm18 {%k2} {z}
// CHECK: vmovapd (%rcx), %ymm18
// CHECK: encoding: [0x62,0xe1,0xfd,0x28,0x28,0x11]
vmovapd (%rcx), %ymm18
// CHECK: vmovapd 291(%rax,%r14,8), %ymm18
// CHECK: encoding: [0x62,0xa1,0xfd,0x28,0x28,0x94,0xf0,0x23,0x01,0x00,0x00]
vmovapd 291(%rax,%r14,8), %ymm18
// CHECK: vmovapd 4064(%rdx), %ymm18
// CHECK: encoding: [0x62,0xe1,0xfd,0x28,0x28,0x52,0x7f]
vmovapd 4064(%rdx), %ymm18
// CHECK: vmovapd 4096(%rdx), %ymm18
// CHECK: encoding: [0x62,0xe1,0xfd,0x28,0x28,0x92,0x00,0x10,0x00,0x00]
vmovapd 4096(%rdx), %ymm18
// CHECK: vmovapd -4096(%rdx), %ymm18
// CHECK: encoding: [0x62,0xe1,0xfd,0x28,0x28,0x52,0x80]
vmovapd -4096(%rdx), %ymm18
// CHECK: vmovapd -4128(%rdx), %ymm18
// CHECK: encoding: [0x62,0xe1,0xfd,0x28,0x28,0x92,0xe0,0xef,0xff,0xff]
vmovapd -4128(%rdx), %ymm18
// CHECK: vmovaps %xmm29, %xmm22
// CHECK: encoding: [0x62,0x81,0x7c,0x08,0x28,0xf5]
vmovaps %xmm29, %xmm22
// CHECK: vmovaps %xmm29, %xmm22 {%k1}
// CHECK: encoding: [0x62,0x81,0x7c,0x09,0x28,0xf5]
vmovaps %xmm29, %xmm22 {%k1}
// CHECK: vmovaps %xmm29, %xmm22 {%k1} {z}
// CHECK: encoding: [0x62,0x81,0x7c,0x89,0x28,0xf5]
vmovaps %xmm29, %xmm22 {%k1} {z}
// CHECK: vmovaps (%rcx), %xmm22
// CHECK: encoding: [0x62,0xe1,0x7c,0x08,0x28,0x31]
vmovaps (%rcx), %xmm22
// CHECK: vmovaps 291(%rax,%r14,8), %xmm22
// CHECK: encoding: [0x62,0xa1,0x7c,0x08,0x28,0xb4,0xf0,0x23,0x01,0x00,0x00]
vmovaps 291(%rax,%r14,8), %xmm22
// CHECK: vmovaps 2032(%rdx), %xmm22
// CHECK: encoding: [0x62,0xe1,0x7c,0x08,0x28,0x72,0x7f]
vmovaps 2032(%rdx), %xmm22
// CHECK: vmovaps 2048(%rdx), %xmm22
// CHECK: encoding: [0x62,0xe1,0x7c,0x08,0x28,0xb2,0x00,0x08,0x00,0x00]
vmovaps 2048(%rdx), %xmm22
// CHECK: vmovaps -2048(%rdx), %xmm22
// CHECK: encoding: [0x62,0xe1,0x7c,0x08,0x28,0x72,0x80]
vmovaps -2048(%rdx), %xmm22
// CHECK: vmovaps -2064(%rdx), %xmm22
// CHECK: encoding: [0x62,0xe1,0x7c,0x08,0x28,0xb2,0xf0,0xf7,0xff,0xff]
vmovaps -2064(%rdx), %xmm22
// CHECK: vmovaps %ymm28, %ymm25
// CHECK: encoding: [0x62,0x01,0x7c,0x28,0x28,0xcc]
vmovaps %ymm28, %ymm25
// CHECK: vmovaps %ymm28, %ymm25 {%k3}
// CHECK: encoding: [0x62,0x01,0x7c,0x2b,0x28,0xcc]
vmovaps %ymm28, %ymm25 {%k3}
// CHECK: vmovaps %ymm28, %ymm25 {%k3} {z}
// CHECK: encoding: [0x62,0x01,0x7c,0xab,0x28,0xcc]
vmovaps %ymm28, %ymm25 {%k3} {z}
// CHECK: vmovaps (%rcx), %ymm25
// CHECK: encoding: [0x62,0x61,0x7c,0x28,0x28,0x09]
vmovaps (%rcx), %ymm25
// CHECK: vmovaps 291(%rax,%r14,8), %ymm25
// CHECK: encoding: [0x62,0x21,0x7c,0x28,0x28,0x8c,0xf0,0x23,0x01,0x00,0x00]
vmovaps 291(%rax,%r14,8), %ymm25
// CHECK: vmovaps 4064(%rdx), %ymm25
// CHECK: encoding: [0x62,0x61,0x7c,0x28,0x28,0x4a,0x7f]
vmovaps 4064(%rdx), %ymm25
// CHECK: vmovaps 4096(%rdx), %ymm25
// CHECK: encoding: [0x62,0x61,0x7c,0x28,0x28,0x8a,0x00,0x10,0x00,0x00]
vmovaps 4096(%rdx), %ymm25
// CHECK: vmovaps -4096(%rdx), %ymm25
// CHECK: encoding: [0x62,0x61,0x7c,0x28,0x28,0x4a,0x80]
vmovaps -4096(%rdx), %ymm25
// CHECK: vmovaps -4128(%rdx), %ymm25
// CHECK: encoding: [0x62,0x61,0x7c,0x28,0x28,0x8a,0xe0,0xef,0xff,0xff]
vmovaps -4128(%rdx), %ymm25
// CHECK: vmovdqa32 %xmm24, %xmm21
// CHECK: encoding: [0x62,0x81,0x7d,0x08,0x6f,0xe8]
vmovdqa32 %xmm24, %xmm21
// CHECK: vmovdqa32 %xmm24, %xmm21 {%k6}
// CHECK: encoding: [0x62,0x81,0x7d,0x0e,0x6f,0xe8]
vmovdqa32 %xmm24, %xmm21 {%k6}
// CHECK: vmovdqa32 %xmm24, %xmm21 {%k6} {z}
// CHECK: encoding: [0x62,0x81,0x7d,0x8e,0x6f,0xe8]
vmovdqa32 %xmm24, %xmm21 {%k6} {z}
// CHECK: vmovdqa32 (%rcx), %xmm21
// CHECK: encoding: [0x62,0xe1,0x7d,0x08,0x6f,0x29]
vmovdqa32 (%rcx), %xmm21
// CHECK: vmovdqa32 291(%rax,%r14,8), %xmm21
// CHECK: encoding: [0x62,0xa1,0x7d,0x08,0x6f,0xac,0xf0,0x23,0x01,0x00,0x00]
vmovdqa32 291(%rax,%r14,8), %xmm21
// CHECK: vmovdqa32 2032(%rdx), %xmm21
// CHECK: encoding: [0x62,0xe1,0x7d,0x08,0x6f,0x6a,0x7f]
vmovdqa32 2032(%rdx), %xmm21
// CHECK: vmovdqa32 2048(%rdx), %xmm21
// CHECK: encoding: [0x62,0xe1,0x7d,0x08,0x6f,0xaa,0x00,0x08,0x00,0x00]
vmovdqa32 2048(%rdx), %xmm21
// CHECK: vmovdqa32 -2048(%rdx), %xmm21
// CHECK: encoding: [0x62,0xe1,0x7d,0x08,0x6f,0x6a,0x80]
vmovdqa32 -2048(%rdx), %xmm21
// CHECK: vmovdqa32 -2064(%rdx), %xmm21
// CHECK: encoding: [0x62,0xe1,0x7d,0x08,0x6f,0xaa,0xf0,0xf7,0xff,0xff]
vmovdqa32 -2064(%rdx), %xmm21
// CHECK: vmovdqa32 %ymm28, %ymm24
// CHECK: encoding: [0x62,0x01,0x7d,0x28,0x6f,0xc4]
vmovdqa32 %ymm28, %ymm24
// CHECK: vmovdqa32 %ymm28, %ymm24 {%k5}
// CHECK: encoding: [0x62,0x01,0x7d,0x2d,0x6f,0xc4]
vmovdqa32 %ymm28, %ymm24 {%k5}
// CHECK: vmovdqa32 %ymm28, %ymm24 {%k5} {z}
// CHECK: encoding: [0x62,0x01,0x7d,0xad,0x6f,0xc4]
vmovdqa32 %ymm28, %ymm24 {%k5} {z}
// CHECK: vmovdqa32 (%rcx), %ymm24
// CHECK: encoding: [0x62,0x61,0x7d,0x28,0x6f,0x01]
vmovdqa32 (%rcx), %ymm24
// CHECK: vmovdqa32 291(%rax,%r14,8), %ymm24
// CHECK: encoding: [0x62,0x21,0x7d,0x28,0x6f,0x84,0xf0,0x23,0x01,0x00,0x00]
vmovdqa32 291(%rax,%r14,8), %ymm24
// CHECK: vmovdqa32 4064(%rdx), %ymm24
// CHECK: encoding: [0x62,0x61,0x7d,0x28,0x6f,0x42,0x7f]
vmovdqa32 4064(%rdx), %ymm24
// CHECK: vmovdqa32 4096(%rdx), %ymm24
// CHECK: encoding: [0x62,0x61,0x7d,0x28,0x6f,0x82,0x00,0x10,0x00,0x00]
vmovdqa32 4096(%rdx), %ymm24
// CHECK: vmovdqa32 -4096(%rdx), %ymm24
// CHECK: encoding: [0x62,0x61,0x7d,0x28,0x6f,0x42,0x80]
vmovdqa32 -4096(%rdx), %ymm24
// CHECK: vmovdqa32 -4128(%rdx), %ymm24
// CHECK: encoding: [0x62,0x61,0x7d,0x28,0x6f,0x82,0xe0,0xef,0xff,0xff]
vmovdqa32 -4128(%rdx), %ymm24
// CHECK: vmovdqa64 %xmm24, %xmm27
// CHECK: encoding: [0x62,0x01,0xfd,0x08,0x6f,0xd8]
vmovdqa64 %xmm24, %xmm27
// CHECK: vmovdqa64 %xmm24, %xmm27 {%k5}
// CHECK: encoding: [0x62,0x01,0xfd,0x0d,0x6f,0xd8]
vmovdqa64 %xmm24, %xmm27 {%k5}
// CHECK: vmovdqa64 %xmm24, %xmm27 {%k5} {z}
// CHECK: encoding: [0x62,0x01,0xfd,0x8d,0x6f,0xd8]
vmovdqa64 %xmm24, %xmm27 {%k5} {z}
// CHECK: vmovdqa64 (%rcx), %xmm27
// CHECK: encoding: [0x62,0x61,0xfd,0x08,0x6f,0x19]
vmovdqa64 (%rcx), %xmm27
// CHECK: vmovdqa64 291(%rax,%r14,8), %xmm27
// CHECK: encoding: [0x62,0x21,0xfd,0x08,0x6f,0x9c,0xf0,0x23,0x01,0x00,0x00]
vmovdqa64 291(%rax,%r14,8), %xmm27
// CHECK: vmovdqa64 2032(%rdx), %xmm27
// CHECK: encoding: [0x62,0x61,0xfd,0x08,0x6f,0x5a,0x7f]
vmovdqa64 2032(%rdx), %xmm27
// CHECK: vmovdqa64 2048(%rdx), %xmm27
// CHECK: encoding: [0x62,0x61,0xfd,0x08,0x6f,0x9a,0x00,0x08,0x00,0x00]
vmovdqa64 2048(%rdx), %xmm27
// CHECK: vmovdqa64 -2048(%rdx), %xmm27
// CHECK: encoding: [0x62,0x61,0xfd,0x08,0x6f,0x5a,0x80]
vmovdqa64 -2048(%rdx), %xmm27
// CHECK: vmovdqa64 -2064(%rdx), %xmm27
// CHECK: encoding: [0x62,0x61,0xfd,0x08,0x6f,0x9a,0xf0,0xf7,0xff,0xff]
vmovdqa64 -2064(%rdx), %xmm27
// CHECK: vmovdqa64 %ymm29, %ymm30
// CHECK: encoding: [0x62,0x01,0xfd,0x28,0x6f,0xf5]
vmovdqa64 %ymm29, %ymm30
// CHECK: vmovdqa64 %ymm29, %ymm30 {%k3}
// CHECK: encoding: [0x62,0x01,0xfd,0x2b,0x6f,0xf5]
vmovdqa64 %ymm29, %ymm30 {%k3}
// CHECK: vmovdqa64 %ymm29, %ymm30 {%k3} {z}
// CHECK: encoding: [0x62,0x01,0xfd,0xab,0x6f,0xf5]
vmovdqa64 %ymm29, %ymm30 {%k3} {z}
// CHECK: vmovdqa64 (%rcx), %ymm30
// CHECK: encoding: [0x62,0x61,0xfd,0x28,0x6f,0x31]
vmovdqa64 (%rcx), %ymm30
// CHECK: vmovdqa64 291(%rax,%r14,8), %ymm30
// CHECK: encoding: [0x62,0x21,0xfd,0x28,0x6f,0xb4,0xf0,0x23,0x01,0x00,0x00]
vmovdqa64 291(%rax,%r14,8), %ymm30
// CHECK: vmovdqa64 4064(%rdx), %ymm30
// CHECK: encoding: [0x62,0x61,0xfd,0x28,0x6f,0x72,0x7f]
vmovdqa64 4064(%rdx), %ymm30
// CHECK: vmovdqa64 4096(%rdx), %ymm30
// CHECK: encoding: [0x62,0x61,0xfd,0x28,0x6f,0xb2,0x00,0x10,0x00,0x00]
vmovdqa64 4096(%rdx), %ymm30
// CHECK: vmovdqa64 -4096(%rdx), %ymm30
// CHECK: encoding: [0x62,0x61,0xfd,0x28,0x6f,0x72,0x80]
vmovdqa64 -4096(%rdx), %ymm30
// CHECK: vmovdqa64 -4128(%rdx), %ymm30
// CHECK: encoding: [0x62,0x61,0xfd,0x28,0x6f,0xb2,0xe0,0xef,0xff,0xff]
vmovdqa64 -4128(%rdx), %ymm30
// CHECK: vmovdqu32 %xmm19, %xmm29
// CHECK: encoding: [0x62,0x21,0x7e,0x08,0x6f,0xeb]
vmovdqu32 %xmm19, %xmm29
// CHECK: vmovdqu32 %xmm19, %xmm29 {%k6}
// CHECK: encoding: [0x62,0x21,0x7e,0x0e,0x6f,0xeb]
vmovdqu32 %xmm19, %xmm29 {%k6}
// CHECK: vmovdqu32 %xmm19, %xmm29 {%k6} {z}
// CHECK: encoding: [0x62,0x21,0x7e,0x8e,0x6f,0xeb]
vmovdqu32 %xmm19, %xmm29 {%k6} {z}
// CHECK: vmovdqu32 (%rcx), %xmm29
// CHECK: encoding: [0x62,0x61,0x7e,0x08,0x6f,0x29]
vmovdqu32 (%rcx), %xmm29
// CHECK: vmovdqu32 291(%rax,%r14,8), %xmm29
// CHECK: encoding: [0x62,0x21,0x7e,0x08,0x6f,0xac,0xf0,0x23,0x01,0x00,0x00]
vmovdqu32 291(%rax,%r14,8), %xmm29
// CHECK: vmovdqu32 2032(%rdx), %xmm29
// CHECK: encoding: [0x62,0x61,0x7e,0x08,0x6f,0x6a,0x7f]
vmovdqu32 2032(%rdx), %xmm29
// CHECK: vmovdqu32 2048(%rdx), %xmm29
// CHECK: encoding: [0x62,0x61,0x7e,0x08,0x6f,0xaa,0x00,0x08,0x00,0x00]
vmovdqu32 2048(%rdx), %xmm29
// CHECK: vmovdqu32 -2048(%rdx), %xmm29
// CHECK: encoding: [0x62,0x61,0x7e,0x08,0x6f,0x6a,0x80]
vmovdqu32 -2048(%rdx), %xmm29
// CHECK: vmovdqu32 -2064(%rdx), %xmm29
// CHECK: encoding: [0x62,0x61,0x7e,0x08,0x6f,0xaa,0xf0,0xf7,0xff,0xff]
vmovdqu32 -2064(%rdx), %xmm29
// CHECK: vmovdqu32 %ymm18, %ymm17
// CHECK: encoding: [0x62,0xa1,0x7e,0x28,0x6f,0xca]
vmovdqu32 %ymm18, %ymm17
// CHECK: vmovdqu32 %ymm18, %ymm17 {%k3}
// CHECK: encoding: [0x62,0xa1,0x7e,0x2b,0x6f,0xca]
vmovdqu32 %ymm18, %ymm17 {%k3}
// CHECK: vmovdqu32 %ymm18, %ymm17 {%k3} {z}
// CHECK: encoding: [0x62,0xa1,0x7e,0xab,0x6f,0xca]
vmovdqu32 %ymm18, %ymm17 {%k3} {z}
// CHECK: vmovdqu32 (%rcx), %ymm17
// CHECK: encoding: [0x62,0xe1,0x7e,0x28,0x6f,0x09]
vmovdqu32 (%rcx), %ymm17
// CHECK: vmovdqu32 291(%rax,%r14,8), %ymm17
// CHECK: encoding: [0x62,0xa1,0x7e,0x28,0x6f,0x8c,0xf0,0x23,0x01,0x00,0x00]
vmovdqu32 291(%rax,%r14,8), %ymm17
// CHECK: vmovdqu32 4064(%rdx), %ymm17
// CHECK: encoding: [0x62,0xe1,0x7e,0x28,0x6f,0x4a,0x7f]
vmovdqu32 4064(%rdx), %ymm17
// CHECK: vmovdqu32 4096(%rdx), %ymm17
// CHECK: encoding: [0x62,0xe1,0x7e,0x28,0x6f,0x8a,0x00,0x10,0x00,0x00]
vmovdqu32 4096(%rdx), %ymm17
// CHECK: vmovdqu32 -4096(%rdx), %ymm17
// CHECK: encoding: [0x62,0xe1,0x7e,0x28,0x6f,0x4a,0x80]
vmovdqu32 -4096(%rdx), %ymm17
// CHECK: vmovdqu32 -4128(%rdx), %ymm17
// CHECK: encoding: [0x62,0xe1,0x7e,0x28,0x6f,0x8a,0xe0,0xef,0xff,0xff]
vmovdqu32 -4128(%rdx), %ymm17
// CHECK: vmovdqu64 %xmm19, %xmm24
// CHECK: encoding: [0x62,0x21,0xfe,0x08,0x6f,0xc3]
vmovdqu64 %xmm19, %xmm24
// CHECK: vmovdqu64 %xmm19, %xmm24 {%k5}
// CHECK: encoding: [0x62,0x21,0xfe,0x0d,0x6f,0xc3]
vmovdqu64 %xmm19, %xmm24 {%k5}
// CHECK: vmovdqu64 %xmm19, %xmm24 {%k5} {z}
// CHECK: encoding: [0x62,0x21,0xfe,0x8d,0x6f,0xc3]
vmovdqu64 %xmm19, %xmm24 {%k5} {z}
// CHECK: vmovdqu64 (%rcx), %xmm24
// CHECK: encoding: [0x62,0x61,0xfe,0x08,0x6f,0x01]
vmovdqu64 (%rcx), %xmm24
// CHECK: vmovdqu64 291(%rax,%r14,8), %xmm24
// CHECK: encoding: [0x62,0x21,0xfe,0x08,0x6f,0x84,0xf0,0x23,0x01,0x00,0x00]
vmovdqu64 291(%rax,%r14,8), %xmm24
// CHECK: vmovdqu64 2032(%rdx), %xmm24
// CHECK: encoding: [0x62,0x61,0xfe,0x08,0x6f,0x42,0x7f]
vmovdqu64 2032(%rdx), %xmm24
// CHECK: vmovdqu64 2048(%rdx), %xmm24
// CHECK: encoding: [0x62,0x61,0xfe,0x08,0x6f,0x82,0x00,0x08,0x00,0x00]
vmovdqu64 2048(%rdx), %xmm24
// CHECK: vmovdqu64 -2048(%rdx), %xmm24
// CHECK: encoding: [0x62,0x61,0xfe,0x08,0x6f,0x42,0x80]
vmovdqu64 -2048(%rdx), %xmm24
// CHECK: vmovdqu64 -2064(%rdx), %xmm24
// CHECK: encoding: [0x62,0x61,0xfe,0x08,0x6f,0x82,0xf0,0xf7,0xff,0xff]
vmovdqu64 -2064(%rdx), %xmm24
// CHECK: vmovdqu64 %ymm21, %ymm29
// CHECK: encoding: [0x62,0x21,0xfe,0x28,0x6f,0xed]
vmovdqu64 %ymm21, %ymm29
// CHECK: vmovdqu64 %ymm21, %ymm29 {%k3}
// CHECK: encoding: [0x62,0x21,0xfe,0x2b,0x6f,0xed]
vmovdqu64 %ymm21, %ymm29 {%k3}
// CHECK: vmovdqu64 %ymm21, %ymm29 {%k3} {z}
// CHECK: encoding: [0x62,0x21,0xfe,0xab,0x6f,0xed]
vmovdqu64 %ymm21, %ymm29 {%k3} {z}
// CHECK: vmovdqu64 (%rcx), %ymm29
// CHECK: encoding: [0x62,0x61,0xfe,0x28,0x6f,0x29]
vmovdqu64 (%rcx), %ymm29
// CHECK: vmovdqu64 291(%rax,%r14,8), %ymm29
// CHECK: encoding: [0x62,0x21,0xfe,0x28,0x6f,0xac,0xf0,0x23,0x01,0x00,0x00]
vmovdqu64 291(%rax,%r14,8), %ymm29
// CHECK: vmovdqu64 4064(%rdx), %ymm29
// CHECK: encoding: [0x62,0x61,0xfe,0x28,0x6f,0x6a,0x7f]
vmovdqu64 4064(%rdx), %ymm29
// CHECK: vmovdqu64 4096(%rdx), %ymm29
// CHECK: encoding: [0x62,0x61,0xfe,0x28,0x6f,0xaa,0x00,0x10,0x00,0x00]
vmovdqu64 4096(%rdx), %ymm29
// CHECK: vmovdqu64 -4096(%rdx), %ymm29
// CHECK: encoding: [0x62,0x61,0xfe,0x28,0x6f,0x6a,0x80]
vmovdqu64 -4096(%rdx), %ymm29
// CHECK: vmovdqu64 -4128(%rdx), %ymm29
// CHECK: encoding: [0x62,0x61,0xfe,0x28,0x6f,0xaa,0xe0,0xef,0xff,0xff]
vmovdqu64 -4128(%rdx), %ymm29
// CHECK: vmovntdq %xmm22, (%rcx)
// CHECK: encoding: [0x62,0xe1,0x7d,0x08,0xe7,0x31]
vmovntdq %xmm22, (%rcx)
// CHECK: vmovntdq %xmm22, 291(%rax,%r14,8)
// CHECK: encoding: [0x62,0xa1,0x7d,0x08,0xe7,0xb4,0xf0,0x23,0x01,0x00,0x00]
vmovntdq %xmm22, 291(%rax,%r14,8)
// CHECK: vmovntdq %xmm22, 2032(%rdx)
// CHECK: encoding: [0x62,0xe1,0x7d,0x08,0xe7,0x72,0x7f]
vmovntdq %xmm22, 2032(%rdx)
// CHECK: vmovntdq %xmm22, 2048(%rdx)
// CHECK: encoding: [0x62,0xe1,0x7d,0x08,0xe7,0xb2,0x00,0x08,0x00,0x00]
vmovntdq %xmm22, 2048(%rdx)
// CHECK: vmovntdq %xmm22, -2048(%rdx)
// CHECK: encoding: [0x62,0xe1,0x7d,0x08,0xe7,0x72,0x80]
vmovntdq %xmm22, -2048(%rdx)
// CHECK: vmovntdq %xmm22, -2064(%rdx)
// CHECK: encoding: [0x62,0xe1,0x7d,0x08,0xe7,0xb2,0xf0,0xf7,0xff,0xff]
vmovntdq %xmm22, -2064(%rdx)
// CHECK: vmovntdq %ymm19, (%rcx)
// CHECK: encoding: [0x62,0xe1,0x7d,0x28,0xe7,0x19]
vmovntdq %ymm19, (%rcx)
// CHECK: vmovntdq %ymm19, 291(%rax,%r14,8)
// CHECK: encoding: [0x62,0xa1,0x7d,0x28,0xe7,0x9c,0xf0,0x23,0x01,0x00,0x00]
vmovntdq %ymm19, 291(%rax,%r14,8)
// CHECK: vmovntdq %ymm19, 4064(%rdx)
// CHECK: encoding: [0x62,0xe1,0x7d,0x28,0xe7,0x5a,0x7f]
vmovntdq %ymm19, 4064(%rdx)
// CHECK: vmovntdq %ymm19, 4096(%rdx)
// CHECK: encoding: [0x62,0xe1,0x7d,0x28,0xe7,0x9a,0x00,0x10,0x00,0x00]
vmovntdq %ymm19, 4096(%rdx)
// CHECK: vmovntdq %ymm19, -4096(%rdx)
// CHECK: encoding: [0x62,0xe1,0x7d,0x28,0xe7,0x5a,0x80]
vmovntdq %ymm19, -4096(%rdx)
// CHECK: vmovntdq %ymm19, -4128(%rdx)
// CHECK: encoding: [0x62,0xe1,0x7d,0x28,0xe7,0x9a,0xe0,0xef,0xff,0xff]
vmovntdq %ymm19, -4128(%rdx)
// CHECK: vmovntdqa (%rcx), %xmm24
// CHECK: encoding: [0x62,0x62,0x7d,0x08,0x2a,0x01]
vmovntdqa (%rcx), %xmm24
// CHECK: vmovntdqa 291(%rax,%r14,8), %xmm24
// CHECK: encoding: [0x62,0x22,0x7d,0x08,0x2a,0x84,0xf0,0x23,0x01,0x00,0x00]
vmovntdqa 291(%rax,%r14,8), %xmm24
// CHECK: vmovntdqa 2032(%rdx), %xmm24
// CHECK: encoding: [0x62,0x62,0x7d,0x08,0x2a,0x42,0x7f]
vmovntdqa 2032(%rdx), %xmm24
// CHECK: vmovntdqa 2048(%rdx), %xmm24
// CHECK: encoding: [0x62,0x62,0x7d,0x08,0x2a,0x82,0x00,0x08,0x00,0x00]
vmovntdqa 2048(%rdx), %xmm24
// CHECK: vmovntdqa -2048(%rdx), %xmm24
// CHECK: encoding: [0x62,0x62,0x7d,0x08,0x2a,0x42,0x80]
vmovntdqa -2048(%rdx), %xmm24
// CHECK: vmovntdqa -2064(%rdx), %xmm24
// CHECK: encoding: [0x62,0x62,0x7d,0x08,0x2a,0x82,0xf0,0xf7,0xff,0xff]
vmovntdqa -2064(%rdx), %xmm24
// CHECK: vmovntdqa (%rcx), %ymm28
// CHECK: encoding: [0x62,0x62,0x7d,0x28,0x2a,0x21]
vmovntdqa (%rcx), %ymm28
// CHECK: vmovntdqa 291(%rax,%r14,8), %ymm28
// CHECK: encoding: [0x62,0x22,0x7d,0x28,0x2a,0xa4,0xf0,0x23,0x01,0x00,0x00]
vmovntdqa 291(%rax,%r14,8), %ymm28
// CHECK: vmovntdqa 4064(%rdx), %ymm28
// CHECK: encoding: [0x62,0x62,0x7d,0x28,0x2a,0x62,0x7f]
vmovntdqa 4064(%rdx), %ymm28
// CHECK: vmovntdqa 4096(%rdx), %ymm28
// CHECK: encoding: [0x62,0x62,0x7d,0x28,0x2a,0xa2,0x00,0x10,0x00,0x00]
vmovntdqa 4096(%rdx), %ymm28
// CHECK: vmovntdqa -4096(%rdx), %ymm28
// CHECK: encoding: [0x62,0x62,0x7d,0x28,0x2a,0x62,0x80]
vmovntdqa -4096(%rdx), %ymm28
// CHECK: vmovntdqa -4128(%rdx), %ymm28
// CHECK: encoding: [0x62,0x62,0x7d,0x28,0x2a,0xa2,0xe0,0xef,0xff,0xff]
vmovntdqa -4128(%rdx), %ymm28
// CHECK: vmovntpd %xmm17, (%rcx)
// CHECK: encoding: [0x62,0xe1,0xfd,0x08,0x2b,0x09]
vmovntpd %xmm17, (%rcx)
// CHECK: vmovntpd %xmm17, 291(%rax,%r14,8)
// CHECK: encoding: [0x62,0xa1,0xfd,0x08,0x2b,0x8c,0xf0,0x23,0x01,0x00,0x00]
vmovntpd %xmm17, 291(%rax,%r14,8)
// CHECK: vmovntpd %xmm17, 2032(%rdx)
// CHECK: encoding: [0x62,0xe1,0xfd,0x08,0x2b,0x4a,0x7f]
vmovntpd %xmm17, 2032(%rdx)
// CHECK: vmovntpd %xmm17, 2048(%rdx)
// CHECK: encoding: [0x62,0xe1,0xfd,0x08,0x2b,0x8a,0x00,0x08,0x00,0x00]
vmovntpd %xmm17, 2048(%rdx)
// CHECK: vmovntpd %xmm17, -2048(%rdx)
// CHECK: encoding: [0x62,0xe1,0xfd,0x08,0x2b,0x4a,0x80]
vmovntpd %xmm17, -2048(%rdx)
// CHECK: vmovntpd %xmm17, -2064(%rdx)
// CHECK: encoding: [0x62,0xe1,0xfd,0x08,0x2b,0x8a,0xf0,0xf7,0xff,0xff]
vmovntpd %xmm17, -2064(%rdx)
// CHECK: vmovntpd %ymm27, (%rcx)
// CHECK: encoding: [0x62,0x61,0xfd,0x28,0x2b,0x19]
vmovntpd %ymm27, (%rcx)
// CHECK: vmovntpd %ymm27, 291(%rax,%r14,8)
// CHECK: encoding: [0x62,0x21,0xfd,0x28,0x2b,0x9c,0xf0,0x23,0x01,0x00,0x00]
vmovntpd %ymm27, 291(%rax,%r14,8)
// CHECK: vmovntpd %ymm27, 4064(%rdx)
// CHECK: encoding: [0x62,0x61,0xfd,0x28,0x2b,0x5a,0x7f]
vmovntpd %ymm27, 4064(%rdx)
// CHECK: vmovntpd %ymm27, 4096(%rdx)
// CHECK: encoding: [0x62,0x61,0xfd,0x28,0x2b,0x9a,0x00,0x10,0x00,0x00]
vmovntpd %ymm27, 4096(%rdx)
// CHECK: vmovntpd %ymm27, -4096(%rdx)
// CHECK: encoding: [0x62,0x61,0xfd,0x28,0x2b,0x5a,0x80]
vmovntpd %ymm27, -4096(%rdx)
// CHECK: vmovntpd %ymm27, -4128(%rdx)
// CHECK: encoding: [0x62,0x61,0xfd,0x28,0x2b,0x9a,0xe0,0xef,0xff,0xff]
vmovntpd %ymm27, -4128(%rdx)
// CHECK: vmovntps %xmm26, (%rcx)
// CHECK: encoding: [0x62,0x61,0x7c,0x08,0x2b,0x11]
vmovntps %xmm26, (%rcx)
// CHECK: vmovntps %xmm26, 291(%rax,%r14,8)
// CHECK: encoding: [0x62,0x21,0x7c,0x08,0x2b,0x94,0xf0,0x23,0x01,0x00,0x00]
vmovntps %xmm26, 291(%rax,%r14,8)
// CHECK: vmovntps %xmm26, 2032(%rdx)
// CHECK: encoding: [0x62,0x61,0x7c,0x08,0x2b,0x52,0x7f]
vmovntps %xmm26, 2032(%rdx)
// CHECK: vmovntps %xmm26, 2048(%rdx)
// CHECK: encoding: [0x62,0x61,0x7c,0x08,0x2b,0x92,0x00,0x08,0x00,0x00]
vmovntps %xmm26, 2048(%rdx)
// CHECK: vmovntps %xmm26, -2048(%rdx)
// CHECK: encoding: [0x62,0x61,0x7c,0x08,0x2b,0x52,0x80]
vmovntps %xmm26, -2048(%rdx)
// CHECK: vmovntps %xmm26, -2064(%rdx)
// CHECK: encoding: [0x62,0x61,0x7c,0x08,0x2b,0x92,0xf0,0xf7,0xff,0xff]
vmovntps %xmm26, -2064(%rdx)
// CHECK: vmovntps %ymm28, (%rcx)
// CHECK: encoding: [0x62,0x61,0x7c,0x28,0x2b,0x21]
vmovntps %ymm28, (%rcx)
// CHECK: vmovntps %ymm28, 291(%rax,%r14,8)
// CHECK: encoding: [0x62,0x21,0x7c,0x28,0x2b,0xa4,0xf0,0x23,0x01,0x00,0x00]
vmovntps %ymm28, 291(%rax,%r14,8)
// CHECK: vmovntps %ymm28, 4064(%rdx)
// CHECK: encoding: [0x62,0x61,0x7c,0x28,0x2b,0x62,0x7f]
vmovntps %ymm28, 4064(%rdx)
// CHECK: vmovntps %ymm28, 4096(%rdx)
// CHECK: encoding: [0x62,0x61,0x7c,0x28,0x2b,0xa2,0x00,0x10,0x00,0x00]
vmovntps %ymm28, 4096(%rdx)
// CHECK: vmovntps %ymm28, -4096(%rdx)
// CHECK: encoding: [0x62,0x61,0x7c,0x28,0x2b,0x62,0x80]
vmovntps %ymm28, -4096(%rdx)
// CHECK: vmovntps %ymm28, -4128(%rdx)
// CHECK: encoding: [0x62,0x61,0x7c,0x28,0x2b,0xa2,0xe0,0xef,0xff,0xff]
vmovntps %ymm28, -4128(%rdx)
// CHECK: vmovupd %xmm22, %xmm24
// CHECK: encoding: [0x62,0x21,0xfd,0x08,0x10,0xc6]
vmovupd %xmm22, %xmm24
// CHECK: vmovupd %xmm22, %xmm24 {%k6}
// CHECK: encoding: [0x62,0x21,0xfd,0x0e,0x10,0xc6]
vmovupd %xmm22, %xmm24 {%k6}
// CHECK: vmovupd %xmm22, %xmm24 {%k6} {z}
// CHECK: encoding: [0x62,0x21,0xfd,0x8e,0x10,0xc6]
vmovupd %xmm22, %xmm24 {%k6} {z}
// CHECK: vmovupd (%rcx), %xmm24
// CHECK: encoding: [0x62,0x61,0xfd,0x08,0x10,0x01]
vmovupd (%rcx), %xmm24
// CHECK: vmovupd 291(%rax,%r14,8), %xmm24
// CHECK: encoding: [0x62,0x21,0xfd,0x08,0x10,0x84,0xf0,0x23,0x01,0x00,0x00]
vmovupd 291(%rax,%r14,8), %xmm24
// CHECK: vmovupd 2032(%rdx), %xmm24
// CHECK: encoding: [0x62,0x61,0xfd,0x08,0x10,0x42,0x7f]
vmovupd 2032(%rdx), %xmm24
// CHECK: vmovupd 2048(%rdx), %xmm24
// CHECK: encoding: [0x62,0x61,0xfd,0x08,0x10,0x82,0x00,0x08,0x00,0x00]
vmovupd 2048(%rdx), %xmm24
// CHECK: vmovupd -2048(%rdx), %xmm24
// CHECK: encoding: [0x62,0x61,0xfd,0x08,0x10,0x42,0x80]
vmovupd -2048(%rdx), %xmm24
// CHECK: vmovupd -2064(%rdx), %xmm24
// CHECK: encoding: [0x62,0x61,0xfd,0x08,0x10,0x82,0xf0,0xf7,0xff,0xff]
vmovupd -2064(%rdx), %xmm24
// CHECK: vmovupd %ymm25, %ymm30
// CHECK: encoding: [0x62,0x01,0xfd,0x28,0x10,0xf1]
vmovupd %ymm25, %ymm30
// CHECK: vmovupd %ymm25, %ymm30 {%k7}
// CHECK: encoding: [0x62,0x01,0xfd,0x2f,0x10,0xf1]
vmovupd %ymm25, %ymm30 {%k7}
// CHECK: vmovupd %ymm25, %ymm30 {%k7} {z}
// CHECK: encoding: [0x62,0x01,0xfd,0xaf,0x10,0xf1]
vmovupd %ymm25, %ymm30 {%k7} {z}
// CHECK: vmovupd (%rcx), %ymm30
// CHECK: encoding: [0x62,0x61,0xfd,0x28,0x10,0x31]
vmovupd (%rcx), %ymm30
// CHECK: vmovupd 291(%rax,%r14,8), %ymm30
// CHECK: encoding: [0x62,0x21,0xfd,0x28,0x10,0xb4,0xf0,0x23,0x01,0x00,0x00]
vmovupd 291(%rax,%r14,8), %ymm30
// CHECK: vmovupd 4064(%rdx), %ymm30
// CHECK: encoding: [0x62,0x61,0xfd,0x28,0x10,0x72,0x7f]
vmovupd 4064(%rdx), %ymm30
// CHECK: vmovupd 4096(%rdx), %ymm30
// CHECK: encoding: [0x62,0x61,0xfd,0x28,0x10,0xb2,0x00,0x10,0x00,0x00]
vmovupd 4096(%rdx), %ymm30
// CHECK: vmovupd -4096(%rdx), %ymm30
// CHECK: encoding: [0x62,0x61,0xfd,0x28,0x10,0x72,0x80]
vmovupd -4096(%rdx), %ymm30
// CHECK: vmovupd -4128(%rdx), %ymm30
// CHECK: encoding: [0x62,0x61,0xfd,0x28,0x10,0xb2,0xe0,0xef,0xff,0xff]
vmovupd -4128(%rdx), %ymm30
// CHECK: vmovups %xmm29, %xmm20
// CHECK: encoding: [0x62,0x81,0x7c,0x08,0x10,0xe5]
vmovups %xmm29, %xmm20
// CHECK: vmovups %xmm29, %xmm20 {%k6}
// CHECK: encoding: [0x62,0x81,0x7c,0x0e,0x10,0xe5]
vmovups %xmm29, %xmm20 {%k6}
// CHECK: vmovups %xmm29, %xmm20 {%k6} {z}
// CHECK: encoding: [0x62,0x81,0x7c,0x8e,0x10,0xe5]
vmovups %xmm29, %xmm20 {%k6} {z}
// CHECK: vmovups (%rcx), %xmm20
// CHECK: encoding: [0x62,0xe1,0x7c,0x08,0x10,0x21]
vmovups (%rcx), %xmm20
// CHECK: vmovups 291(%rax,%r14,8), %xmm20
// CHECK: encoding: [0x62,0xa1,0x7c,0x08,0x10,0xa4,0xf0,0x23,0x01,0x00,0x00]
vmovups 291(%rax,%r14,8), %xmm20
// CHECK: vmovups 2032(%rdx), %xmm20
// CHECK: encoding: [0x62,0xe1,0x7c,0x08,0x10,0x62,0x7f]
vmovups 2032(%rdx), %xmm20
// CHECK: vmovups 2048(%rdx), %xmm20
// CHECK: encoding: [0x62,0xe1,0x7c,0x08,0x10,0xa2,0x00,0x08,0x00,0x00]
vmovups 2048(%rdx), %xmm20
// CHECK: vmovups -2048(%rdx), %xmm20
// CHECK: encoding: [0x62,0xe1,0x7c,0x08,0x10,0x62,0x80]
vmovups -2048(%rdx), %xmm20
// CHECK: vmovups -2064(%rdx), %xmm20
// CHECK: encoding: [0x62,0xe1,0x7c,0x08,0x10,0xa2,0xf0,0xf7,0xff,0xff]
vmovups -2064(%rdx), %xmm20
// CHECK: vmovups %ymm26, %ymm21
// CHECK: encoding: [0x62,0x81,0x7c,0x28,0x10,0xea]
vmovups %ymm26, %ymm21
// CHECK: vmovups %ymm26, %ymm21 {%k6}
// CHECK: encoding: [0x62,0x81,0x7c,0x2e,0x10,0xea]
vmovups %ymm26, %ymm21 {%k6}
// CHECK: vmovups %ymm26, %ymm21 {%k6} {z}
// CHECK: encoding: [0x62,0x81,0x7c,0xae,0x10,0xea]
vmovups %ymm26, %ymm21 {%k6} {z}
// CHECK: vmovups (%rcx), %ymm21
// CHECK: encoding: [0x62,0xe1,0x7c,0x28,0x10,0x29]
vmovups (%rcx), %ymm21
// CHECK: vmovups 291(%rax,%r14,8), %ymm21
// CHECK: encoding: [0x62,0xa1,0x7c,0x28,0x10,0xac,0xf0,0x23,0x01,0x00,0x00]
vmovups 291(%rax,%r14,8), %ymm21
// CHECK: vmovups 4064(%rdx), %ymm21
// CHECK: encoding: [0x62,0xe1,0x7c,0x28,0x10,0x6a,0x7f]
vmovups 4064(%rdx), %ymm21
// CHECK: vmovups 4096(%rdx), %ymm21
// CHECK: encoding: [0x62,0xe1,0x7c,0x28,0x10,0xaa,0x00,0x10,0x00,0x00]
vmovups 4096(%rdx), %ymm21
// CHECK: vmovups -4096(%rdx), %ymm21
// CHECK: encoding: [0x62,0xe1,0x7c,0x28,0x10,0x6a,0x80]
vmovups -4096(%rdx), %ymm21
// CHECK: vmovups -4128(%rdx), %ymm21
// CHECK: encoding: [0x62,0xe1,0x7c,0x28,0x10,0xaa,0xe0,0xef,0xff,0xff]
vmovups -4128(%rdx), %ymm21
// CHECK: vmulpd %xmm26, %xmm17, %xmm17
// CHECK: encoding: [0x62,0x81,0xf5,0x00,0x59,0xca]
vmulpd %xmm26, %xmm17, %xmm17
// CHECK: vmulpd %xmm26, %xmm17, %xmm17 {%k7}
// CHECK: encoding: [0x62,0x81,0xf5,0x07,0x59,0xca]
vmulpd %xmm26, %xmm17, %xmm17 {%k7}
// CHECK: vmulpd %xmm26, %xmm17, %xmm17 {%k7} {z}
// CHECK: encoding: [0x62,0x81,0xf5,0x87,0x59,0xca]
vmulpd %xmm26, %xmm17, %xmm17 {%k7} {z}
// CHECK: vmulpd (%rcx), %xmm17, %xmm17
// CHECK: encoding: [0x62,0xe1,0xf5,0x00,0x59,0x09]
vmulpd (%rcx), %xmm17, %xmm17
// CHECK: vmulpd 291(%rax,%r14,8), %xmm17, %xmm17
// CHECK: encoding: [0x62,0xa1,0xf5,0x00,0x59,0x8c,0xf0,0x23,0x01,0x00,0x00]
vmulpd 291(%rax,%r14,8), %xmm17, %xmm17
// CHECK: vmulpd (%rcx){1to2}, %xmm17, %xmm17
// CHECK: encoding: [0x62,0xe1,0xf5,0x10,0x59,0x09]
vmulpd (%rcx){1to2}, %xmm17, %xmm17
// CHECK: vmulpd 2032(%rdx), %xmm17, %xmm17
// CHECK: encoding: [0x62,0xe1,0xf5,0x00,0x59,0x4a,0x7f]
vmulpd 2032(%rdx), %xmm17, %xmm17
// CHECK: vmulpd 2048(%rdx), %xmm17, %xmm17
// CHECK: encoding: [0x62,0xe1,0xf5,0x00,0x59,0x8a,0x00,0x08,0x00,0x00]
vmulpd 2048(%rdx), %xmm17, %xmm17
// CHECK: vmulpd -2048(%rdx), %xmm17, %xmm17
// CHECK: encoding: [0x62,0xe1,0xf5,0x00,0x59,0x4a,0x80]
vmulpd -2048(%rdx), %xmm17, %xmm17
// CHECK: vmulpd -2064(%rdx), %xmm17, %xmm17
// CHECK: encoding: [0x62,0xe1,0xf5,0x00,0x59,0x8a,0xf0,0xf7,0xff,0xff]
vmulpd -2064(%rdx), %xmm17, %xmm17
// CHECK: vmulpd 1016(%rdx){1to2}, %xmm17, %xmm17
// CHECK: encoding: [0x62,0xe1,0xf5,0x10,0x59,0x4a,0x7f]
vmulpd 1016(%rdx){1to2}, %xmm17, %xmm17
// CHECK: vmulpd 1024(%rdx){1to2}, %xmm17, %xmm17
// CHECK: encoding: [0x62,0xe1,0xf5,0x10,0x59,0x8a,0x00,0x04,0x00,0x00]
vmulpd 1024(%rdx){1to2}, %xmm17, %xmm17
// CHECK: vmulpd -1024(%rdx){1to2}, %xmm17, %xmm17
// CHECK: encoding: [0x62,0xe1,0xf5,0x10,0x59,0x4a,0x80]
vmulpd -1024(%rdx){1to2}, %xmm17, %xmm17
// CHECK: vmulpd -1032(%rdx){1to2}, %xmm17, %xmm17
// CHECK: encoding: [0x62,0xe1,0xf5,0x10,0x59,0x8a,0xf8,0xfb,0xff,0xff]
vmulpd -1032(%rdx){1to2}, %xmm17, %xmm17
// CHECK: vmulpd %ymm27, %ymm27, %ymm25
// CHECK: encoding: [0x62,0x01,0xa5,0x20,0x59,0xcb]
vmulpd %ymm27, %ymm27, %ymm25
// CHECK: vmulpd %ymm27, %ymm27, %ymm25 {%k3}
// CHECK: encoding: [0x62,0x01,0xa5,0x23,0x59,0xcb]
vmulpd %ymm27, %ymm27, %ymm25 {%k3}
// CHECK: vmulpd %ymm27, %ymm27, %ymm25 {%k3} {z}
// CHECK: encoding: [0x62,0x01,0xa5,0xa3,0x59,0xcb]
vmulpd %ymm27, %ymm27, %ymm25 {%k3} {z}
// CHECK: vmulpd (%rcx), %ymm27, %ymm25
// CHECK: encoding: [0x62,0x61,0xa5,0x20,0x59,0x09]
vmulpd (%rcx), %ymm27, %ymm25
// CHECK: vmulpd 291(%rax,%r14,8), %ymm27, %ymm25
// CHECK: encoding: [0x62,0x21,0xa5,0x20,0x59,0x8c,0xf0,0x23,0x01,0x00,0x00]
vmulpd 291(%rax,%r14,8), %ymm27, %ymm25
// CHECK: vmulpd (%rcx){1to4}, %ymm27, %ymm25
// CHECK: encoding: [0x62,0x61,0xa5,0x30,0x59,0x09]
vmulpd (%rcx){1to4}, %ymm27, %ymm25
// CHECK: vmulpd 4064(%rdx), %ymm27, %ymm25
// CHECK: encoding: [0x62,0x61,0xa5,0x20,0x59,0x4a,0x7f]
vmulpd 4064(%rdx), %ymm27, %ymm25
// CHECK: vmulpd 4096(%rdx), %ymm27, %ymm25
// CHECK: encoding: [0x62,0x61,0xa5,0x20,0x59,0x8a,0x00,0x10,0x00,0x00]
vmulpd 4096(%rdx), %ymm27, %ymm25
// CHECK: vmulpd -4096(%rdx), %ymm27, %ymm25
// CHECK: encoding: [0x62,0x61,0xa5,0x20,0x59,0x4a,0x80]
vmulpd -4096(%rdx), %ymm27, %ymm25
// CHECK: vmulpd -4128(%rdx), %ymm27, %ymm25
// CHECK: encoding: [0x62,0x61,0xa5,0x20,0x59,0x8a,0xe0,0xef,0xff,0xff]
vmulpd -4128(%rdx), %ymm27, %ymm25
// CHECK: vmulpd 1016(%rdx){1to4}, %ymm27, %ymm25
// CHECK: encoding: [0x62,0x61,0xa5,0x30,0x59,0x4a,0x7f]
vmulpd 1016(%rdx){1to4}, %ymm27, %ymm25
// CHECK: vmulpd 1024(%rdx){1to4}, %ymm27, %ymm25
// CHECK: encoding: [0x62,0x61,0xa5,0x30,0x59,0x8a,0x00,0x04,0x00,0x00]
vmulpd 1024(%rdx){1to4}, %ymm27, %ymm25
// CHECK: vmulpd -1024(%rdx){1to4}, %ymm27, %ymm25
// CHECK: encoding: [0x62,0x61,0xa5,0x30,0x59,0x4a,0x80]
vmulpd -1024(%rdx){1to4}, %ymm27, %ymm25
// CHECK: vmulpd -1032(%rdx){1to4}, %ymm27, %ymm25
// CHECK: encoding: [0x62,0x61,0xa5,0x30,0x59,0x8a,0xf8,0xfb,0xff,0xff]
vmulpd -1032(%rdx){1to4}, %ymm27, %ymm25
// CHECK: vmulps %xmm21, %xmm17, %xmm29
// CHECK: encoding: [0x62,0x21,0x74,0x00,0x59,0xed]
vmulps %xmm21, %xmm17, %xmm29
// CHECK: vmulps %xmm21, %xmm17, %xmm29 {%k2}
// CHECK: encoding: [0x62,0x21,0x74,0x02,0x59,0xed]
vmulps %xmm21, %xmm17, %xmm29 {%k2}
// CHECK: vmulps %xmm21, %xmm17, %xmm29 {%k2} {z}
// CHECK: encoding: [0x62,0x21,0x74,0x82,0x59,0xed]
vmulps %xmm21, %xmm17, %xmm29 {%k2} {z}
// CHECK: vmulps (%rcx), %xmm17, %xmm29
// CHECK: encoding: [0x62,0x61,0x74,0x00,0x59,0x29]
vmulps (%rcx), %xmm17, %xmm29
// CHECK: vmulps 291(%rax,%r14,8), %xmm17, %xmm29
// CHECK: encoding: [0x62,0x21,0x74,0x00,0x59,0xac,0xf0,0x23,0x01,0x00,0x00]
vmulps 291(%rax,%r14,8), %xmm17, %xmm29
// CHECK: vmulps (%rcx){1to4}, %xmm17, %xmm29
// CHECK: encoding: [0x62,0x61,0x74,0x10,0x59,0x29]
vmulps (%rcx){1to4}, %xmm17, %xmm29
// CHECK: vmulps 2032(%rdx), %xmm17, %xmm29
// CHECK: encoding: [0x62,0x61,0x74,0x00,0x59,0x6a,0x7f]
vmulps 2032(%rdx), %xmm17, %xmm29
// CHECK: vmulps 2048(%rdx), %xmm17, %xmm29
// CHECK: encoding: [0x62,0x61,0x74,0x00,0x59,0xaa,0x00,0x08,0x00,0x00]
vmulps 2048(%rdx), %xmm17, %xmm29
// CHECK: vmulps -2048(%rdx), %xmm17, %xmm29
// CHECK: encoding: [0x62,0x61,0x74,0x00,0x59,0x6a,0x80]
vmulps -2048(%rdx), %xmm17, %xmm29
// CHECK: vmulps -2064(%rdx), %xmm17, %xmm29
// CHECK: encoding: [0x62,0x61,0x74,0x00,0x59,0xaa,0xf0,0xf7,0xff,0xff]
vmulps -2064(%rdx), %xmm17, %xmm29
// CHECK: vmulps 508(%rdx){1to4}, %xmm17, %xmm29
// CHECK: encoding: [0x62,0x61,0x74,0x10,0x59,0x6a,0x7f]
vmulps 508(%rdx){1to4}, %xmm17, %xmm29
// CHECK: vmulps 512(%rdx){1to4}, %xmm17, %xmm29
// CHECK: encoding: [0x62,0x61,0x74,0x10,0x59,0xaa,0x00,0x02,0x00,0x00]
vmulps 512(%rdx){1to4}, %xmm17, %xmm29
// CHECK: vmulps -512(%rdx){1to4}, %xmm17, %xmm29
// CHECK: encoding: [0x62,0x61,0x74,0x10,0x59,0x6a,0x80]
vmulps -512(%rdx){1to4}, %xmm17, %xmm29
// CHECK: vmulps -516(%rdx){1to4}, %xmm17, %xmm29
// CHECK: encoding: [0x62,0x61,0x74,0x10,0x59,0xaa,0xfc,0xfd,0xff,0xff]
vmulps -516(%rdx){1to4}, %xmm17, %xmm29
// CHECK: vmulps %ymm28, %ymm26, %ymm30
// CHECK: encoding: [0x62,0x01,0x2c,0x20,0x59,0xf4]
vmulps %ymm28, %ymm26, %ymm30
// CHECK: vmulps %ymm28, %ymm26, %ymm30 {%k3}
// CHECK: encoding: [0x62,0x01,0x2c,0x23,0x59,0xf4]
vmulps %ymm28, %ymm26, %ymm30 {%k3}
// CHECK: vmulps %ymm28, %ymm26, %ymm30 {%k3} {z}
// CHECK: encoding: [0x62,0x01,0x2c,0xa3,0x59,0xf4]
vmulps %ymm28, %ymm26, %ymm30 {%k3} {z}
// CHECK: vmulps (%rcx), %ymm26, %ymm30
// CHECK: encoding: [0x62,0x61,0x2c,0x20,0x59,0x31]
vmulps (%rcx), %ymm26, %ymm30
// CHECK: vmulps 291(%rax,%r14,8), %ymm26, %ymm30
// CHECK: encoding: [0x62,0x21,0x2c,0x20,0x59,0xb4,0xf0,0x23,0x01,0x00,0x00]
vmulps 291(%rax,%r14,8), %ymm26, %ymm30
// CHECK: vmulps (%rcx){1to8}, %ymm26, %ymm30
// CHECK: encoding: [0x62,0x61,0x2c,0x30,0x59,0x31]
vmulps (%rcx){1to8}, %ymm26, %ymm30
// CHECK: vmulps 4064(%rdx), %ymm26, %ymm30
// CHECK: encoding: [0x62,0x61,0x2c,0x20,0x59,0x72,0x7f]
vmulps 4064(%rdx), %ymm26, %ymm30
// CHECK: vmulps 4096(%rdx), %ymm26, %ymm30
// CHECK: encoding: [0x62,0x61,0x2c,0x20,0x59,0xb2,0x00,0x10,0x00,0x00]
vmulps 4096(%rdx), %ymm26, %ymm30
// CHECK: vmulps -4096(%rdx), %ymm26, %ymm30
// CHECK: encoding: [0x62,0x61,0x2c,0x20,0x59,0x72,0x80]
vmulps -4096(%rdx), %ymm26, %ymm30
// CHECK: vmulps -4128(%rdx), %ymm26, %ymm30
// CHECK: encoding: [0x62,0x61,0x2c,0x20,0x59,0xb2,0xe0,0xef,0xff,0xff]
vmulps -4128(%rdx), %ymm26, %ymm30
// CHECK: vmulps 508(%rdx){1to8}, %ymm26, %ymm30
// CHECK: encoding: [0x62,0x61,0x2c,0x30,0x59,0x72,0x7f]
vmulps 508(%rdx){1to8}, %ymm26, %ymm30
// CHECK: vmulps 512(%rdx){1to8}, %ymm26, %ymm30
// CHECK: encoding: [0x62,0x61,0x2c,0x30,0x59,0xb2,0x00,0x02,0x00,0x00]
vmulps 512(%rdx){1to8}, %ymm26, %ymm30
// CHECK: vmulps -512(%rdx){1to8}, %ymm26, %ymm30
// CHECK: encoding: [0x62,0x61,0x2c,0x30,0x59,0x72,0x80]
vmulps -512(%rdx){1to8}, %ymm26, %ymm30
// CHECK: vmulps -516(%rdx){1to8}, %ymm26, %ymm30
// CHECK: encoding: [0x62,0x61,0x2c,0x30,0x59,0xb2,0xfc,0xfd,0xff,0xff]
vmulps -516(%rdx){1to8}, %ymm26, %ymm30
// CHECK: vpaddd %xmm26, %xmm19, %xmm21
// CHECK: encoding: [0x62,0x81,0x65,0x00,0xfe,0xea]
vpaddd %xmm26, %xmm19, %xmm21
// CHECK: vpaddd %xmm26, %xmm19, %xmm21 {%k5}
// CHECK: encoding: [0x62,0x81,0x65,0x05,0xfe,0xea]
vpaddd %xmm26, %xmm19, %xmm21 {%k5}
// CHECK: vpaddd %xmm26, %xmm19, %xmm21 {%k5} {z}
// CHECK: encoding: [0x62,0x81,0x65,0x85,0xfe,0xea]
vpaddd %xmm26, %xmm19, %xmm21 {%k5} {z}
// CHECK: vpaddd (%rcx), %xmm19, %xmm21
// CHECK: encoding: [0x62,0xe1,0x65,0x00,0xfe,0x29]
vpaddd (%rcx), %xmm19, %xmm21
// CHECK: vpaddd 291(%rax,%r14,8), %xmm19, %xmm21
// CHECK: encoding: [0x62,0xa1,0x65,0x00,0xfe,0xac,0xf0,0x23,0x01,0x00,0x00]
vpaddd 291(%rax,%r14,8), %xmm19, %xmm21
// CHECK: vpaddd (%rcx){1to4}, %xmm19, %xmm21
// CHECK: encoding: [0x62,0xe1,0x65,0x10,0xfe,0x29]
vpaddd (%rcx){1to4}, %xmm19, %xmm21
// CHECK: vpaddd 2032(%rdx), %xmm19, %xmm21
// CHECK: encoding: [0x62,0xe1,0x65,0x00,0xfe,0x6a,0x7f]
vpaddd 2032(%rdx), %xmm19, %xmm21
// CHECK: vpaddd 2048(%rdx), %xmm19, %xmm21
// CHECK: encoding: [0x62,0xe1,0x65,0x00,0xfe,0xaa,0x00,0x08,0x00,0x00]
vpaddd 2048(%rdx), %xmm19, %xmm21
// CHECK: vpaddd -2048(%rdx), %xmm19, %xmm21
// CHECK: encoding: [0x62,0xe1,0x65,0x00,0xfe,0x6a,0x80]
vpaddd -2048(%rdx), %xmm19, %xmm21
// CHECK: vpaddd -2064(%rdx), %xmm19, %xmm21
// CHECK: encoding: [0x62,0xe1,0x65,0x00,0xfe,0xaa,0xf0,0xf7,0xff,0xff]
vpaddd -2064(%rdx), %xmm19, %xmm21
// CHECK: vpaddd 508(%rdx){1to4}, %xmm19, %xmm21
// CHECK: encoding: [0x62,0xe1,0x65,0x10,0xfe,0x6a,0x7f]
vpaddd 508(%rdx){1to4}, %xmm19, %xmm21
// CHECK: vpaddd 512(%rdx){1to4}, %xmm19, %xmm21
// CHECK: encoding: [0x62,0xe1,0x65,0x10,0xfe,0xaa,0x00,0x02,0x00,0x00]
vpaddd 512(%rdx){1to4}, %xmm19, %xmm21
// CHECK: vpaddd -512(%rdx){1to4}, %xmm19, %xmm21
// CHECK: encoding: [0x62,0xe1,0x65,0x10,0xfe,0x6a,0x80]
vpaddd -512(%rdx){1to4}, %xmm19, %xmm21
// CHECK: vpaddd -516(%rdx){1to4}, %xmm19, %xmm21
// CHECK: encoding: [0x62,0xe1,0x65,0x10,0xfe,0xaa,0xfc,0xfd,0xff,0xff]
vpaddd -516(%rdx){1to4}, %xmm19, %xmm21
// CHECK: vpaddd %ymm17, %ymm23, %ymm29
// CHECK: encoding: [0x62,0x21,0x45,0x20,0xfe,0xe9]
vpaddd %ymm17, %ymm23, %ymm29
// CHECK: vpaddd %ymm17, %ymm23, %ymm29 {%k5}
// CHECK: encoding: [0x62,0x21,0x45,0x25,0xfe,0xe9]
vpaddd %ymm17, %ymm23, %ymm29 {%k5}
// CHECK: vpaddd %ymm17, %ymm23, %ymm29 {%k5} {z}
// CHECK: encoding: [0x62,0x21,0x45,0xa5,0xfe,0xe9]
vpaddd %ymm17, %ymm23, %ymm29 {%k5} {z}
// CHECK: vpaddd (%rcx), %ymm23, %ymm29
// CHECK: encoding: [0x62,0x61,0x45,0x20,0xfe,0x29]
vpaddd (%rcx), %ymm23, %ymm29
// CHECK: vpaddd 291(%rax,%r14,8), %ymm23, %ymm29
// CHECK: encoding: [0x62,0x21,0x45,0x20,0xfe,0xac,0xf0,0x23,0x01,0x00,0x00]
vpaddd 291(%rax,%r14,8), %ymm23, %ymm29
// CHECK: vpaddd (%rcx){1to8}, %ymm23, %ymm29
// CHECK: encoding: [0x62,0x61,0x45,0x30,0xfe,0x29]
vpaddd (%rcx){1to8}, %ymm23, %ymm29
// CHECK: vpaddd 4064(%rdx), %ymm23, %ymm29
// CHECK: encoding: [0x62,0x61,0x45,0x20,0xfe,0x6a,0x7f]
vpaddd 4064(%rdx), %ymm23, %ymm29
// CHECK: vpaddd 4096(%rdx), %ymm23, %ymm29
// CHECK: encoding: [0x62,0x61,0x45,0x20,0xfe,0xaa,0x00,0x10,0x00,0x00]
vpaddd 4096(%rdx), %ymm23, %ymm29
// CHECK: vpaddd -4096(%rdx), %ymm23, %ymm29
// CHECK: encoding: [0x62,0x61,0x45,0x20,0xfe,0x6a,0x80]
vpaddd -4096(%rdx), %ymm23, %ymm29
// CHECK: vpaddd -4128(%rdx), %ymm23, %ymm29
// CHECK: encoding: [0x62,0x61,0x45,0x20,0xfe,0xaa,0xe0,0xef,0xff,0xff]
vpaddd -4128(%rdx), %ymm23, %ymm29
// CHECK: vpaddd 508(%rdx){1to8}, %ymm23, %ymm29
// CHECK: encoding: [0x62,0x61,0x45,0x30,0xfe,0x6a,0x7f]
vpaddd 508(%rdx){1to8}, %ymm23, %ymm29
// CHECK: vpaddd 512(%rdx){1to8}, %ymm23, %ymm29
// CHECK: encoding: [0x62,0x61,0x45,0x30,0xfe,0xaa,0x00,0x02,0x00,0x00]
vpaddd 512(%rdx){1to8}, %ymm23, %ymm29
// CHECK: vpaddd -512(%rdx){1to8}, %ymm23, %ymm29
// CHECK: encoding: [0x62,0x61,0x45,0x30,0xfe,0x6a,0x80]
vpaddd -512(%rdx){1to8}, %ymm23, %ymm29
// CHECK: vpaddd -516(%rdx){1to8}, %ymm23, %ymm29
// CHECK: encoding: [0x62,0x61,0x45,0x30,0xfe,0xaa,0xfc,0xfd,0xff,0xff]
vpaddd -516(%rdx){1to8}, %ymm23, %ymm29
// CHECK: vpaddq %xmm26, %xmm17, %xmm29
// CHECK: encoding: [0x62,0x01,0xf5,0x00,0xd4,0xea]
vpaddq %xmm26, %xmm17, %xmm29
// CHECK: vpaddq %xmm26, %xmm17, %xmm29 {%k2}
// CHECK: encoding: [0x62,0x01,0xf5,0x02,0xd4,0xea]
vpaddq %xmm26, %xmm17, %xmm29 {%k2}
// CHECK: vpaddq %xmm26, %xmm17, %xmm29 {%k2} {z}
// CHECK: encoding: [0x62,0x01,0xf5,0x82,0xd4,0xea]
vpaddq %xmm26, %xmm17, %xmm29 {%k2} {z}
// CHECK: vpaddq (%rcx), %xmm17, %xmm29
// CHECK: encoding: [0x62,0x61,0xf5,0x00,0xd4,0x29]
vpaddq (%rcx), %xmm17, %xmm29
// CHECK: vpaddq 291(%rax,%r14,8), %xmm17, %xmm29
// CHECK: encoding: [0x62,0x21,0xf5,0x00,0xd4,0xac,0xf0,0x23,0x01,0x00,0x00]
vpaddq 291(%rax,%r14,8), %xmm17, %xmm29
// CHECK: vpaddq (%rcx){1to2}, %xmm17, %xmm29
// CHECK: encoding: [0x62,0x61,0xf5,0x10,0xd4,0x29]
vpaddq (%rcx){1to2}, %xmm17, %xmm29
// CHECK: vpaddq 2032(%rdx), %xmm17, %xmm29
// CHECK: encoding: [0x62,0x61,0xf5,0x00,0xd4,0x6a,0x7f]
vpaddq 2032(%rdx), %xmm17, %xmm29
// CHECK: vpaddq 2048(%rdx), %xmm17, %xmm29
// CHECK: encoding: [0x62,0x61,0xf5,0x00,0xd4,0xaa,0x00,0x08,0x00,0x00]
vpaddq 2048(%rdx), %xmm17, %xmm29
// CHECK: vpaddq -2048(%rdx), %xmm17, %xmm29
// CHECK: encoding: [0x62,0x61,0xf5,0x00,0xd4,0x6a,0x80]
vpaddq -2048(%rdx), %xmm17, %xmm29
// CHECK: vpaddq -2064(%rdx), %xmm17, %xmm29
// CHECK: encoding: [0x62,0x61,0xf5,0x00,0xd4,0xaa,0xf0,0xf7,0xff,0xff]
vpaddq -2064(%rdx), %xmm17, %xmm29
// CHECK: vpaddq 1016(%rdx){1to2}, %xmm17, %xmm29
// CHECK: encoding: [0x62,0x61,0xf5,0x10,0xd4,0x6a,0x7f]
vpaddq 1016(%rdx){1to2}, %xmm17, %xmm29
// CHECK: vpaddq 1024(%rdx){1to2}, %xmm17, %xmm29
// CHECK: encoding: [0x62,0x61,0xf5,0x10,0xd4,0xaa,0x00,0x04,0x00,0x00]
vpaddq 1024(%rdx){1to2}, %xmm17, %xmm29
// CHECK: vpaddq -1024(%rdx){1to2}, %xmm17, %xmm29
// CHECK: encoding: [0x62,0x61,0xf5,0x10,0xd4,0x6a,0x80]
vpaddq -1024(%rdx){1to2}, %xmm17, %xmm29
// CHECK: vpaddq -1032(%rdx){1to2}, %xmm17, %xmm29
// CHECK: encoding: [0x62,0x61,0xf5,0x10,0xd4,0xaa,0xf8,0xfb,0xff,0xff]
vpaddq -1032(%rdx){1to2}, %xmm17, %xmm29
// CHECK: vpaddq %ymm18, %ymm25, %ymm20
// CHECK: encoding: [0x62,0xa1,0xb5,0x20,0xd4,0xe2]
vpaddq %ymm18, %ymm25, %ymm20
// CHECK: vpaddq %ymm18, %ymm25, %ymm20 {%k6}
// CHECK: encoding: [0x62,0xa1,0xb5,0x26,0xd4,0xe2]
vpaddq %ymm18, %ymm25, %ymm20 {%k6}
// CHECK: vpaddq %ymm18, %ymm25, %ymm20 {%k6} {z}
// CHECK: encoding: [0x62,0xa1,0xb5,0xa6,0xd4,0xe2]
vpaddq %ymm18, %ymm25, %ymm20 {%k6} {z}
// CHECK: vpaddq (%rcx), %ymm25, %ymm20
// CHECK: encoding: [0x62,0xe1,0xb5,0x20,0xd4,0x21]
vpaddq (%rcx), %ymm25, %ymm20
// CHECK: vpaddq 291(%rax,%r14,8), %ymm25, %ymm20
// CHECK: encoding: [0x62,0xa1,0xb5,0x20,0xd4,0xa4,0xf0,0x23,0x01,0x00,0x00]
vpaddq 291(%rax,%r14,8), %ymm25, %ymm20
// CHECK: vpaddq (%rcx){1to4}, %ymm25, %ymm20
// CHECK: encoding: [0x62,0xe1,0xb5,0x30,0xd4,0x21]
vpaddq (%rcx){1to4}, %ymm25, %ymm20
// CHECK: vpaddq 4064(%rdx), %ymm25, %ymm20
// CHECK: encoding: [0x62,0xe1,0xb5,0x20,0xd4,0x62,0x7f]
vpaddq 4064(%rdx), %ymm25, %ymm20
// CHECK: vpaddq 4096(%rdx), %ymm25, %ymm20
// CHECK: encoding: [0x62,0xe1,0xb5,0x20,0xd4,0xa2,0x00,0x10,0x00,0x00]
vpaddq 4096(%rdx), %ymm25, %ymm20
// CHECK: vpaddq -4096(%rdx), %ymm25, %ymm20
// CHECK: encoding: [0x62,0xe1,0xb5,0x20,0xd4,0x62,0x80]
vpaddq -4096(%rdx), %ymm25, %ymm20
// CHECK: vpaddq -4128(%rdx), %ymm25, %ymm20
// CHECK: encoding: [0x62,0xe1,0xb5,0x20,0xd4,0xa2,0xe0,0xef,0xff,0xff]
vpaddq -4128(%rdx), %ymm25, %ymm20
// CHECK: vpaddq 1016(%rdx){1to4}, %ymm25, %ymm20
// CHECK: encoding: [0x62,0xe1,0xb5,0x30,0xd4,0x62,0x7f]
vpaddq 1016(%rdx){1to4}, %ymm25, %ymm20
// CHECK: vpaddq 1024(%rdx){1to4}, %ymm25, %ymm20
// CHECK: encoding: [0x62,0xe1,0xb5,0x30,0xd4,0xa2,0x00,0x04,0x00,0x00]
vpaddq 1024(%rdx){1to4}, %ymm25, %ymm20
// CHECK: vpaddq -1024(%rdx){1to4}, %ymm25, %ymm20
// CHECK: encoding: [0x62,0xe1,0xb5,0x30,0xd4,0x62,0x80]
vpaddq -1024(%rdx){1to4}, %ymm25, %ymm20
// CHECK: vpaddq -1032(%rdx){1to4}, %ymm25, %ymm20
// CHECK: encoding: [0x62,0xe1,0xb5,0x30,0xd4,0xa2,0xf8,0xfb,0xff,0xff]
vpaddq -1032(%rdx){1to4}, %ymm25, %ymm20
// CHECK: vpandd %xmm18, %xmm26, %xmm24
// CHECK: encoding: [0x62,0x21,0x2d,0x00,0xdb,0xc2]
vpandd %xmm18, %xmm26, %xmm24
// CHECK: vpandd %xmm18, %xmm26, %xmm24 {%k2}
// CHECK: encoding: [0x62,0x21,0x2d,0x02,0xdb,0xc2]
vpandd %xmm18, %xmm26, %xmm24 {%k2}
// CHECK: vpandd %xmm18, %xmm26, %xmm24 {%k2} {z}
// CHECK: encoding: [0x62,0x21,0x2d,0x82,0xdb,0xc2]
vpandd %xmm18, %xmm26, %xmm24 {%k2} {z}
// CHECK: vpandd (%rcx), %xmm26, %xmm24
// CHECK: encoding: [0x62,0x61,0x2d,0x00,0xdb,0x01]
vpandd (%rcx), %xmm26, %xmm24
// CHECK: vpandd 291(%rax,%r14,8), %xmm26, %xmm24
// CHECK: encoding: [0x62,0x21,0x2d,0x00,0xdb,0x84,0xf0,0x23,0x01,0x00,0x00]
vpandd 291(%rax,%r14,8), %xmm26, %xmm24
// CHECK: vpandd (%rcx){1to4}, %xmm26, %xmm24
// CHECK: encoding: [0x62,0x61,0x2d,0x10,0xdb,0x01]
vpandd (%rcx){1to4}, %xmm26, %xmm24
// CHECK: vpandd 2032(%rdx), %xmm26, %xmm24
// CHECK: encoding: [0x62,0x61,0x2d,0x00,0xdb,0x42,0x7f]
vpandd 2032(%rdx), %xmm26, %xmm24
// CHECK: vpandd 2048(%rdx), %xmm26, %xmm24
// CHECK: encoding: [0x62,0x61,0x