blob: 5dc8e7e312ceb690ba00dad52bf304ac147dda79 [file] [log] [blame]
// RUN: llvm-mc -triple x86_64-unknown-unknown -mcpu=skx --show-encoding %s | FileCheck %s
// CHECK: vaddsd 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x03,0x58,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vaddsd 485498096, %xmm15, %xmm15
// CHECK: vaddsd 485498096, %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x71,0x87,0x0a,0x58,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vaddsd 485498096, %xmm15, %xmm15 {%k2}
// CHECK: vaddsd 485498096, %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x71,0x87,0x8a,0x58,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vaddsd 485498096, %xmm15, %xmm15 {%k2} {z}
// CHECK: vaddsd 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x58,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vaddsd 485498096, %xmm1, %xmm1
// CHECK: vaddsd 485498096, %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x0a,0x58,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vaddsd 485498096, %xmm1, %xmm1 {%k2}
// CHECK: vaddsd 485498096, %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0xf7,0x8a,0x58,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vaddsd 485498096, %xmm1, %xmm1 {%k2} {z}
// CHECK: vaddsd 512(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x03,0x58,0xbc,0x82,0x00,0x02,0x00,0x00]
vaddsd 512(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vaddsd -512(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x03,0x58,0xbc,0x82,0x00,0xfe,0xff,0xff]
vaddsd -512(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vaddsd 512(%rdx,%rax,4), %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x71,0x87,0x0a,0x58,0x7c,0x82,0x40]
vaddsd 512(%rdx,%rax,4), %xmm15, %xmm15 {%k2}
// CHECK: vaddsd -512(%rdx,%rax,4), %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x71,0x87,0x0a,0x58,0x7c,0x82,0xc0]
vaddsd -512(%rdx,%rax,4), %xmm15, %xmm15 {%k2}
// CHECK: vaddsd 512(%rdx,%rax,4), %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x71,0x87,0x8a,0x58,0x7c,0x82,0x40]
vaddsd 512(%rdx,%rax,4), %xmm15, %xmm15 {%k2} {z}
// CHECK: vaddsd -512(%rdx,%rax,4), %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x71,0x87,0x8a,0x58,0x7c,0x82,0xc0]
vaddsd -512(%rdx,%rax,4), %xmm15, %xmm15 {%k2} {z}
// CHECK: vaddsd 512(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x58,0x8c,0x82,0x00,0x02,0x00,0x00]
vaddsd 512(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: vaddsd -512(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x58,0x8c,0x82,0x00,0xfe,0xff,0xff]
vaddsd -512(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: vaddsd 512(%rdx,%rax,4), %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x0a,0x58,0x4c,0x82,0x40]
vaddsd 512(%rdx,%rax,4), %xmm1, %xmm1 {%k2}
// CHECK: vaddsd -512(%rdx,%rax,4), %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x0a,0x58,0x4c,0x82,0xc0]
vaddsd -512(%rdx,%rax,4), %xmm1, %xmm1 {%k2}
// CHECK: vaddsd 512(%rdx,%rax,4), %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0xf7,0x8a,0x58,0x4c,0x82,0x40]
vaddsd 512(%rdx,%rax,4), %xmm1, %xmm1 {%k2} {z}
// CHECK: vaddsd -512(%rdx,%rax,4), %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0xf7,0x8a,0x58,0x4c,0x82,0xc0]
vaddsd -512(%rdx,%rax,4), %xmm1, %xmm1 {%k2} {z}
// CHECK: vaddsd 512(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x03,0x58,0xbc,0x02,0x00,0x02,0x00,0x00]
vaddsd 512(%rdx,%rax), %xmm15, %xmm15
// CHECK: vaddsd 512(%rdx,%rax), %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x71,0x87,0x0a,0x58,0x7c,0x02,0x40]
vaddsd 512(%rdx,%rax), %xmm15, %xmm15 {%k2}
// CHECK: vaddsd 512(%rdx,%rax), %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x71,0x87,0x8a,0x58,0x7c,0x02,0x40]
vaddsd 512(%rdx,%rax), %xmm15, %xmm15 {%k2} {z}
// CHECK: vaddsd 512(%rdx,%rax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x58,0x8c,0x02,0x00,0x02,0x00,0x00]
vaddsd 512(%rdx,%rax), %xmm1, %xmm1
// CHECK: vaddsd 512(%rdx,%rax), %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x0a,0x58,0x4c,0x02,0x40]
vaddsd 512(%rdx,%rax), %xmm1, %xmm1 {%k2}
// CHECK: vaddsd 512(%rdx,%rax), %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0xf7,0x8a,0x58,0x4c,0x02,0x40]
vaddsd 512(%rdx,%rax), %xmm1, %xmm1 {%k2} {z}
// CHECK: vaddsd 512(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x03,0x58,0xba,0x00,0x02,0x00,0x00]
vaddsd 512(%rdx), %xmm15, %xmm15
// CHECK: vaddsd 512(%rdx), %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x71,0x87,0x0a,0x58,0x7a,0x40]
vaddsd 512(%rdx), %xmm15, %xmm15 {%k2}
// CHECK: vaddsd 512(%rdx), %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x71,0x87,0x8a,0x58,0x7a,0x40]
vaddsd 512(%rdx), %xmm15, %xmm15 {%k2} {z}
// CHECK: vaddsd 512(%rdx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x58,0x8a,0x00,0x02,0x00,0x00]
vaddsd 512(%rdx), %xmm1, %xmm1
// CHECK: vaddsd 512(%rdx), %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x0a,0x58,0x4a,0x40]
vaddsd 512(%rdx), %xmm1, %xmm1 {%k2}
// CHECK: vaddsd 512(%rdx), %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0xf7,0x8a,0x58,0x4a,0x40]
vaddsd 512(%rdx), %xmm1, %xmm1 {%k2} {z}
// CHECK: vaddsd {rd-sae}, %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0x62,0x51,0x87,0x38,0x58,0xff]
vaddsd {rd-sae}, %xmm15, %xmm15, %xmm15
// CHECK: vaddsd {rd-sae}, %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x51,0x87,0x3a,0x58,0xff]
vaddsd {rd-sae}, %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: vaddsd {rd-sae}, %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x51,0x87,0xba,0x58,0xff]
vaddsd {rd-sae}, %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: vaddsd {rd-sae}, %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0x62,0xf1,0xf7,0x38,0x58,0xc9]
vaddsd {rd-sae}, %xmm1, %xmm1, %xmm1
// CHECK: vaddsd {rd-sae}, %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x3a,0x58,0xc9]
vaddsd {rd-sae}, %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: vaddsd {rd-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0xf7,0xba,0x58,0xc9]
vaddsd {rd-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: vaddsd (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x03,0x58,0x3a]
vaddsd (%rdx), %xmm15, %xmm15
// CHECK: vaddsd (%rdx), %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x71,0x87,0x0a,0x58,0x3a]
vaddsd (%rdx), %xmm15, %xmm15 {%k2}
// CHECK: vaddsd (%rdx), %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x71,0x87,0x8a,0x58,0x3a]
vaddsd (%rdx), %xmm15, %xmm15 {%k2} {z}
// CHECK: vaddsd (%rdx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x58,0x0a]
vaddsd (%rdx), %xmm1, %xmm1
// CHECK: vaddsd (%rdx), %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x0a,0x58,0x0a]
vaddsd (%rdx), %xmm1, %xmm1 {%k2}
// CHECK: vaddsd (%rdx), %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0xf7,0x8a,0x58,0x0a]
vaddsd (%rdx), %xmm1, %xmm1 {%k2} {z}
// CHECK: vaddsd {rn-sae}, %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0x62,0x51,0x87,0x18,0x58,0xff]
vaddsd {rn-sae}, %xmm15, %xmm15, %xmm15
// CHECK: vaddsd {rn-sae}, %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x51,0x87,0x1a,0x58,0xff]
vaddsd {rn-sae}, %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: vaddsd {rn-sae}, %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x51,0x87,0x9a,0x58,0xff]
vaddsd {rn-sae}, %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: vaddsd {rn-sae}, %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0x62,0xf1,0xf7,0x18,0x58,0xc9]
vaddsd {rn-sae}, %xmm1, %xmm1, %xmm1
// CHECK: vaddsd {rn-sae}, %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x1a,0x58,0xc9]
vaddsd {rn-sae}, %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: vaddsd {rn-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0xf7,0x9a,0x58,0xc9]
vaddsd {rn-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: vaddsd {ru-sae}, %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0x62,0x51,0x87,0x58,0x58,0xff]
vaddsd {ru-sae}, %xmm15, %xmm15, %xmm15
// CHECK: vaddsd {ru-sae}, %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x51,0x87,0x5a,0x58,0xff]
vaddsd {ru-sae}, %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: vaddsd {ru-sae}, %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x51,0x87,0xda,0x58,0xff]
vaddsd {ru-sae}, %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: vaddsd {ru-sae}, %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0x62,0xf1,0xf7,0x58,0x58,0xc9]
vaddsd {ru-sae}, %xmm1, %xmm1, %xmm1
// CHECK: vaddsd {ru-sae}, %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x5a,0x58,0xc9]
vaddsd {ru-sae}, %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: vaddsd {ru-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0xf7,0xda,0x58,0xc9]
vaddsd {ru-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: vaddsd {rz-sae}, %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0x62,0x51,0x87,0x78,0x58,0xff]
vaddsd {rz-sae}, %xmm15, %xmm15, %xmm15
// CHECK: vaddsd {rz-sae}, %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x51,0x87,0x7a,0x58,0xff]
vaddsd {rz-sae}, %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: vaddsd {rz-sae}, %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x51,0x87,0xfa,0x58,0xff]
vaddsd {rz-sae}, %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: vaddsd {rz-sae}, %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0x62,0xf1,0xf7,0x78,0x58,0xc9]
vaddsd {rz-sae}, %xmm1, %xmm1, %xmm1
// CHECK: vaddsd {rz-sae}, %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x7a,0x58,0xc9]
vaddsd {rz-sae}, %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: vaddsd {rz-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0xf7,0xfa,0x58,0xc9]
vaddsd {rz-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: vaddsd %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x41,0x03,0x58,0xff]
vaddsd %xmm15, %xmm15, %xmm15
// CHECK: vaddsd %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x51,0x87,0x0a,0x58,0xff]
vaddsd %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: vaddsd %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x51,0x87,0x8a,0x58,0xff]
vaddsd %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: vaddsd %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x58,0xc9]
vaddsd %xmm1, %xmm1, %xmm1
// CHECK: vaddsd %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x0a,0x58,0xc9]
vaddsd %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: vaddsd %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0xf7,0x8a,0x58,0xc9]
vaddsd %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: vaddss 256(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x02,0x58,0xbc,0x82,0x00,0x01,0x00,0x00]
vaddss 256(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vaddss -256(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x02,0x58,0xbc,0x82,0x00,0xff,0xff,0xff]
vaddss -256(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vaddss 256(%rdx,%rax,4), %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x71,0x06,0x0a,0x58,0x7c,0x82,0x40]
vaddss 256(%rdx,%rax,4), %xmm15, %xmm15 {%k2}
// CHECK: vaddss -256(%rdx,%rax,4), %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x71,0x06,0x0a,0x58,0x7c,0x82,0xc0]
vaddss -256(%rdx,%rax,4), %xmm15, %xmm15 {%k2}
// CHECK: vaddss 256(%rdx,%rax,4), %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x71,0x06,0x8a,0x58,0x7c,0x82,0x40]
vaddss 256(%rdx,%rax,4), %xmm15, %xmm15 {%k2} {z}
// CHECK: vaddss -256(%rdx,%rax,4), %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x71,0x06,0x8a,0x58,0x7c,0x82,0xc0]
vaddss -256(%rdx,%rax,4), %xmm15, %xmm15 {%k2} {z}
// CHECK: vaddss 256(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x58,0x8c,0x82,0x00,0x01,0x00,0x00]
vaddss 256(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: vaddss -256(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x58,0x8c,0x82,0x00,0xff,0xff,0xff]
vaddss -256(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: vaddss 256(%rdx,%rax,4), %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0x76,0x0a,0x58,0x4c,0x82,0x40]
vaddss 256(%rdx,%rax,4), %xmm1, %xmm1 {%k2}
// CHECK: vaddss -256(%rdx,%rax,4), %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0x76,0x0a,0x58,0x4c,0x82,0xc0]
vaddss -256(%rdx,%rax,4), %xmm1, %xmm1 {%k2}
// CHECK: vaddss 256(%rdx,%rax,4), %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0x76,0x8a,0x58,0x4c,0x82,0x40]
vaddss 256(%rdx,%rax,4), %xmm1, %xmm1 {%k2} {z}
// CHECK: vaddss -256(%rdx,%rax,4), %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0x76,0x8a,0x58,0x4c,0x82,0xc0]
vaddss -256(%rdx,%rax,4), %xmm1, %xmm1 {%k2} {z}
// CHECK: vaddss 256(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x02,0x58,0xbc,0x02,0x00,0x01,0x00,0x00]
vaddss 256(%rdx,%rax), %xmm15, %xmm15
// CHECK: vaddss 256(%rdx,%rax), %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x71,0x06,0x0a,0x58,0x7c,0x02,0x40]
vaddss 256(%rdx,%rax), %xmm15, %xmm15 {%k2}
// CHECK: vaddss 256(%rdx,%rax), %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x71,0x06,0x8a,0x58,0x7c,0x02,0x40]
vaddss 256(%rdx,%rax), %xmm15, %xmm15 {%k2} {z}
// CHECK: vaddss 256(%rdx,%rax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x58,0x8c,0x02,0x00,0x01,0x00,0x00]
vaddss 256(%rdx,%rax), %xmm1, %xmm1
// CHECK: vaddss 256(%rdx,%rax), %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0x76,0x0a,0x58,0x4c,0x02,0x40]
vaddss 256(%rdx,%rax), %xmm1, %xmm1 {%k2}
// CHECK: vaddss 256(%rdx,%rax), %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0x76,0x8a,0x58,0x4c,0x02,0x40]
vaddss 256(%rdx,%rax), %xmm1, %xmm1 {%k2} {z}
// CHECK: vaddss 256(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x02,0x58,0xba,0x00,0x01,0x00,0x00]
vaddss 256(%rdx), %xmm15, %xmm15
// CHECK: vaddss 256(%rdx), %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x71,0x06,0x0a,0x58,0x7a,0x40]
vaddss 256(%rdx), %xmm15, %xmm15 {%k2}
// CHECK: vaddss 256(%rdx), %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x71,0x06,0x8a,0x58,0x7a,0x40]
vaddss 256(%rdx), %xmm15, %xmm15 {%k2} {z}
// CHECK: vaddss 256(%rdx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x58,0x8a,0x00,0x01,0x00,0x00]
vaddss 256(%rdx), %xmm1, %xmm1
// CHECK: vaddss 256(%rdx), %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0x76,0x0a,0x58,0x4a,0x40]
vaddss 256(%rdx), %xmm1, %xmm1 {%k2}
// CHECK: vaddss 256(%rdx), %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0x76,0x8a,0x58,0x4a,0x40]
vaddss 256(%rdx), %xmm1, %xmm1 {%k2} {z}
// CHECK: vaddss 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x02,0x58,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vaddss 485498096, %xmm15, %xmm15
// CHECK: vaddss 485498096, %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x71,0x06,0x0a,0x58,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vaddss 485498096, %xmm15, %xmm15 {%k2}
// CHECK: vaddss 485498096, %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x71,0x06,0x8a,0x58,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vaddss 485498096, %xmm15, %xmm15 {%k2} {z}
// CHECK: vaddss 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x58,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vaddss 485498096, %xmm1, %xmm1
// CHECK: vaddss 485498096, %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0x76,0x0a,0x58,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vaddss 485498096, %xmm1, %xmm1 {%k2}
// CHECK: vaddss 485498096, %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0x76,0x8a,0x58,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vaddss 485498096, %xmm1, %xmm1 {%k2} {z}
// CHECK: vaddss {rd-sae}, %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0x62,0x51,0x06,0x38,0x58,0xff]
vaddss {rd-sae}, %xmm15, %xmm15, %xmm15
// CHECK: vaddss {rd-sae}, %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x51,0x06,0x3a,0x58,0xff]
vaddss {rd-sae}, %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: vaddss {rd-sae}, %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x51,0x06,0xba,0x58,0xff]
vaddss {rd-sae}, %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: vaddss {rd-sae}, %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0x62,0xf1,0x76,0x38,0x58,0xc9]
vaddss {rd-sae}, %xmm1, %xmm1, %xmm1
// CHECK: vaddss {rd-sae}, %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0x76,0x3a,0x58,0xc9]
vaddss {rd-sae}, %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: vaddss {rd-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0x76,0xba,0x58,0xc9]
vaddss {rd-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: vaddss (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x02,0x58,0x3a]
vaddss (%rdx), %xmm15, %xmm15
// CHECK: vaddss (%rdx), %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x71,0x06,0x0a,0x58,0x3a]
vaddss (%rdx), %xmm15, %xmm15 {%k2}
// CHECK: vaddss (%rdx), %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x71,0x06,0x8a,0x58,0x3a]
vaddss (%rdx), %xmm15, %xmm15 {%k2} {z}
// CHECK: vaddss (%rdx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x58,0x0a]
vaddss (%rdx), %xmm1, %xmm1
// CHECK: vaddss (%rdx), %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0x76,0x0a,0x58,0x0a]
vaddss (%rdx), %xmm1, %xmm1 {%k2}
// CHECK: vaddss (%rdx), %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0x76,0x8a,0x58,0x0a]
vaddss (%rdx), %xmm1, %xmm1 {%k2} {z}
// CHECK: vaddss {rn-sae}, %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0x62,0x51,0x06,0x18,0x58,0xff]
vaddss {rn-sae}, %xmm15, %xmm15, %xmm15
// CHECK: vaddss {rn-sae}, %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x51,0x06,0x1a,0x58,0xff]
vaddss {rn-sae}, %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: vaddss {rn-sae}, %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x51,0x06,0x9a,0x58,0xff]
vaddss {rn-sae}, %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: vaddss {rn-sae}, %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0x62,0xf1,0x76,0x18,0x58,0xc9]
vaddss {rn-sae}, %xmm1, %xmm1, %xmm1
// CHECK: vaddss {rn-sae}, %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0x76,0x1a,0x58,0xc9]
vaddss {rn-sae}, %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: vaddss {rn-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0x76,0x9a,0x58,0xc9]
vaddss {rn-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: vaddss {ru-sae}, %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0x62,0x51,0x06,0x58,0x58,0xff]
vaddss {ru-sae}, %xmm15, %xmm15, %xmm15
// CHECK: vaddss {ru-sae}, %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x51,0x06,0x5a,0x58,0xff]
vaddss {ru-sae}, %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: vaddss {ru-sae}, %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x51,0x06,0xda,0x58,0xff]
vaddss {ru-sae}, %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: vaddss {ru-sae}, %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0x62,0xf1,0x76,0x58,0x58,0xc9]
vaddss {ru-sae}, %xmm1, %xmm1, %xmm1
// CHECK: vaddss {ru-sae}, %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0x76,0x5a,0x58,0xc9]
vaddss {ru-sae}, %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: vaddss {ru-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0x76,0xda,0x58,0xc9]
vaddss {ru-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: vaddss {rz-sae}, %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0x62,0x51,0x06,0x78,0x58,0xff]
vaddss {rz-sae}, %xmm15, %xmm15, %xmm15
// CHECK: vaddss {rz-sae}, %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x51,0x06,0x7a,0x58,0xff]
vaddss {rz-sae}, %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: vaddss {rz-sae}, %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x51,0x06,0xfa,0x58,0xff]
vaddss {rz-sae}, %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: vaddss {rz-sae}, %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0x62,0xf1,0x76,0x78,0x58,0xc9]
vaddss {rz-sae}, %xmm1, %xmm1, %xmm1
// CHECK: vaddss {rz-sae}, %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0x76,0x7a,0x58,0xc9]
vaddss {rz-sae}, %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: vaddss {rz-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0x76,0xfa,0x58,0xc9]
vaddss {rz-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: vaddss %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x41,0x02,0x58,0xff]
vaddss %xmm15, %xmm15, %xmm15
// CHECK: vaddss %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x51,0x06,0x0a,0x58,0xff]
vaddss %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: vaddss %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x51,0x06,0x8a,0x58,0xff]
vaddss %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: vaddss %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x58,0xc9]
vaddss %xmm1, %xmm1, %xmm1
// CHECK: vaddss %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0x76,0x0a,0x58,0xc9]
vaddss %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: vaddss %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0x76,0x8a,0x58,0xc9]
vaddss %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: vcmpeqsd 485498096, %xmm15, %k2
// CHECK: encoding: [0x62,0xf1,0x87,0x08,0xc2,0x14,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vcmpeqsd 485498096, %xmm15, %k2
// CHECK: vcmpeqsd 485498096, %xmm15, %k2 {%k2}
// CHECK: encoding: [0x62,0xf1,0x87,0x0a,0xc2,0x14,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vcmpeqsd 485498096, %xmm15, %k2 {%k2}
// CHECK: vcmpeqsd 485498096, %xmm1, %k2
// CHECK: encoding: [0x62,0xf1,0xf7,0x08,0xc2,0x14,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vcmpeqsd 485498096, %xmm1, %k2
// CHECK: vcmpeqsd 485498096, %xmm1, %k2 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x0a,0xc2,0x14,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vcmpeqsd 485498096, %xmm1, %k2 {%k2}
// CHECK: vcmpeqsd 512(%rdx,%rax,4), %xmm15, %k2
// CHECK: encoding: [0x62,0xf1,0x87,0x08,0xc2,0x54,0x82,0x40,0x00]
vcmpeqsd 512(%rdx,%rax,4), %xmm15, %k2
// CHECK: vcmpeqsd -512(%rdx,%rax,4), %xmm15, %k2
// CHECK: encoding: [0x62,0xf1,0x87,0x08,0xc2,0x54,0x82,0xc0,0x00]
vcmpeqsd -512(%rdx,%rax,4), %xmm15, %k2
// CHECK: vcmpeqsd 512(%rdx,%rax,4), %xmm15, %k2 {%k2}
// CHECK: encoding: [0x62,0xf1,0x87,0x0a,0xc2,0x54,0x82,0x40,0x00]
vcmpeqsd 512(%rdx,%rax,4), %xmm15, %k2 {%k2}
// CHECK: vcmpeqsd -512(%rdx,%rax,4), %xmm15, %k2 {%k2}
// CHECK: encoding: [0x62,0xf1,0x87,0x0a,0xc2,0x54,0x82,0xc0,0x00]
vcmpeqsd -512(%rdx,%rax,4), %xmm15, %k2 {%k2}
// CHECK: vcmpeqsd 512(%rdx,%rax,4), %xmm1, %k2
// CHECK: encoding: [0x62,0xf1,0xf7,0x08,0xc2,0x54,0x82,0x40,0x00]
vcmpeqsd 512(%rdx,%rax,4), %xmm1, %k2
// CHECK: vcmpeqsd -512(%rdx,%rax,4), %xmm1, %k2
// CHECK: encoding: [0x62,0xf1,0xf7,0x08,0xc2,0x54,0x82,0xc0,0x00]
vcmpeqsd -512(%rdx,%rax,4), %xmm1, %k2
// CHECK: vcmpeqsd 512(%rdx,%rax,4), %xmm1, %k2 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x0a,0xc2,0x54,0x82,0x40,0x00]
vcmpeqsd 512(%rdx,%rax,4), %xmm1, %k2 {%k2}
// CHECK: vcmpeqsd -512(%rdx,%rax,4), %xmm1, %k2 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x0a,0xc2,0x54,0x82,0xc0,0x00]
vcmpeqsd -512(%rdx,%rax,4), %xmm1, %k2 {%k2}
// CHECK: vcmpeqsd 512(%rdx,%rax), %xmm15, %k2
// CHECK: encoding: [0x62,0xf1,0x87,0x08,0xc2,0x54,0x02,0x40,0x00]
vcmpeqsd 512(%rdx,%rax), %xmm15, %k2
// CHECK: vcmpeqsd 512(%rdx,%rax), %xmm15, %k2 {%k2}
// CHECK: encoding: [0x62,0xf1,0x87,0x0a,0xc2,0x54,0x02,0x40,0x00]
vcmpeqsd 512(%rdx,%rax), %xmm15, %k2 {%k2}
// CHECK: vcmpeqsd 512(%rdx,%rax), %xmm1, %k2
// CHECK: encoding: [0x62,0xf1,0xf7,0x08,0xc2,0x54,0x02,0x40,0x00]
vcmpeqsd 512(%rdx,%rax), %xmm1, %k2
// CHECK: vcmpeqsd 512(%rdx,%rax), %xmm1, %k2 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x0a,0xc2,0x54,0x02,0x40,0x00]
vcmpeqsd 512(%rdx,%rax), %xmm1, %k2 {%k2}
// CHECK: vcmpeqsd 512(%rdx), %xmm15, %k2
// CHECK: encoding: [0x62,0xf1,0x87,0x08,0xc2,0x52,0x40,0x00]
vcmpeqsd 512(%rdx), %xmm15, %k2
// CHECK: vcmpeqsd 512(%rdx), %xmm15, %k2 {%k2}
// CHECK: encoding: [0x62,0xf1,0x87,0x0a,0xc2,0x52,0x40,0x00]
vcmpeqsd 512(%rdx), %xmm15, %k2 {%k2}
// CHECK: vcmpeqsd 512(%rdx), %xmm1, %k2
// CHECK: encoding: [0x62,0xf1,0xf7,0x08,0xc2,0x52,0x40,0x00]
vcmpeqsd 512(%rdx), %xmm1, %k2
// CHECK: vcmpeqsd 512(%rdx), %xmm1, %k2 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x0a,0xc2,0x52,0x40,0x00]
vcmpeqsd 512(%rdx), %xmm1, %k2 {%k2}
// CHECK: vcmpeqsd (%rdx), %xmm15, %k2
// CHECK: encoding: [0x62,0xf1,0x87,0x08,0xc2,0x12,0x00]
vcmpeqsd (%rdx), %xmm15, %k2
// CHECK: vcmpeqsd (%rdx), %xmm15, %k2 {%k2}
// CHECK: encoding: [0x62,0xf1,0x87,0x0a,0xc2,0x12,0x00]
vcmpeqsd (%rdx), %xmm15, %k2 {%k2}
// CHECK: vcmpeqsd (%rdx), %xmm1, %k2
// CHECK: encoding: [0x62,0xf1,0xf7,0x08,0xc2,0x12,0x00]
vcmpeqsd (%rdx), %xmm1, %k2
// CHECK: vcmpeqsd (%rdx), %xmm1, %k2 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x0a,0xc2,0x12,0x00]
vcmpeqsd (%rdx), %xmm1, %k2 {%k2}
// CHECK: vcmpeqsd {sae}, %xmm15, %xmm15, %k2
// CHECK: encoding: [0x62,0xd1,0x87,0x18,0xc2,0xd7,0x00]
vcmpeqsd {sae}, %xmm15, %xmm15, %k2
// CHECK: vcmpeqsd {sae}, %xmm15, %xmm15, %k2 {%k2}
// CHECK: encoding: [0x62,0xd1,0x87,0x1a,0xc2,0xd7,0x00]
vcmpeqsd {sae}, %xmm15, %xmm15, %k2 {%k2}
// CHECK: vcmpeqsd {sae}, %xmm1, %xmm1, %k2
// CHECK: encoding: [0x62,0xf1,0xf7,0x18,0xc2,0xd1,0x00]
vcmpeqsd {sae}, %xmm1, %xmm1, %k2
// CHECK: vcmpeqsd {sae}, %xmm1, %xmm1, %k2 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x1a,0xc2,0xd1,0x00]
vcmpeqsd {sae}, %xmm1, %xmm1, %k2 {%k2}
// CHECK: vcmpeqsd %xmm15, %xmm15, %k2
// CHECK: encoding: [0x62,0xd1,0x87,0x08,0xc2,0xd7,0x00]
vcmpeqsd %xmm15, %xmm15, %k2
// CHECK: vcmpeqsd %xmm15, %xmm15, %k2 {%k2}
// CHECK: encoding: [0x62,0xd1,0x87,0x0a,0xc2,0xd7,0x00]
vcmpeqsd %xmm15, %xmm15, %k2 {%k2}
// CHECK: vcmpeqsd %xmm1, %xmm1, %k2
// CHECK: encoding: [0x62,0xf1,0xf7,0x08,0xc2,0xd1,0x00]
vcmpeqsd %xmm1, %xmm1, %k2
// CHECK: vcmpeqsd %xmm1, %xmm1, %k2 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x0a,0xc2,0xd1,0x00]
vcmpeqsd %xmm1, %xmm1, %k2 {%k2}
// CHECK: vcmpeqss 256(%rdx,%rax,4), %xmm15, %k2
// CHECK: encoding: [0x62,0xf1,0x06,0x08,0xc2,0x54,0x82,0x40,0x00]
vcmpeqss 256(%rdx,%rax,4), %xmm15, %k2
// CHECK: vcmpeqss -256(%rdx,%rax,4), %xmm15, %k2
// CHECK: encoding: [0x62,0xf1,0x06,0x08,0xc2,0x54,0x82,0xc0,0x00]
vcmpeqss -256(%rdx,%rax,4), %xmm15, %k2
// CHECK: vcmpeqss 256(%rdx,%rax,4), %xmm15, %k2 {%k2}
// CHECK: encoding: [0x62,0xf1,0x06,0x0a,0xc2,0x54,0x82,0x40,0x00]
vcmpeqss 256(%rdx,%rax,4), %xmm15, %k2 {%k2}
// CHECK: vcmpeqss -256(%rdx,%rax,4), %xmm15, %k2 {%k2}
// CHECK: encoding: [0x62,0xf1,0x06,0x0a,0xc2,0x54,0x82,0xc0,0x00]
vcmpeqss -256(%rdx,%rax,4), %xmm15, %k2 {%k2}
// CHECK: vcmpeqss 256(%rdx,%rax,4), %xmm1, %k2
// CHECK: encoding: [0x62,0xf1,0x76,0x08,0xc2,0x54,0x82,0x40,0x00]
vcmpeqss 256(%rdx,%rax,4), %xmm1, %k2
// CHECK: vcmpeqss -256(%rdx,%rax,4), %xmm1, %k2
// CHECK: encoding: [0x62,0xf1,0x76,0x08,0xc2,0x54,0x82,0xc0,0x00]
vcmpeqss -256(%rdx,%rax,4), %xmm1, %k2
// CHECK: vcmpeqss 256(%rdx,%rax,4), %xmm1, %k2 {%k2}
// CHECK: encoding: [0x62,0xf1,0x76,0x0a,0xc2,0x54,0x82,0x40,0x00]
vcmpeqss 256(%rdx,%rax,4), %xmm1, %k2 {%k2}
// CHECK: vcmpeqss -256(%rdx,%rax,4), %xmm1, %k2 {%k2}
// CHECK: encoding: [0x62,0xf1,0x76,0x0a,0xc2,0x54,0x82,0xc0,0x00]
vcmpeqss -256(%rdx,%rax,4), %xmm1, %k2 {%k2}
// CHECK: vcmpeqss 256(%rdx,%rax), %xmm15, %k2
// CHECK: encoding: [0x62,0xf1,0x06,0x08,0xc2,0x54,0x02,0x40,0x00]
vcmpeqss 256(%rdx,%rax), %xmm15, %k2
// CHECK: vcmpeqss 256(%rdx,%rax), %xmm15, %k2 {%k2}
// CHECK: encoding: [0x62,0xf1,0x06,0x0a,0xc2,0x54,0x02,0x40,0x00]
vcmpeqss 256(%rdx,%rax), %xmm15, %k2 {%k2}
// CHECK: vcmpeqss 256(%rdx,%rax), %xmm1, %k2
// CHECK: encoding: [0x62,0xf1,0x76,0x08,0xc2,0x54,0x02,0x40,0x00]
vcmpeqss 256(%rdx,%rax), %xmm1, %k2
// CHECK: vcmpeqss 256(%rdx,%rax), %xmm1, %k2 {%k2}
// CHECK: encoding: [0x62,0xf1,0x76,0x0a,0xc2,0x54,0x02,0x40,0x00]
vcmpeqss 256(%rdx,%rax), %xmm1, %k2 {%k2}
// CHECK: vcmpeqss 256(%rdx), %xmm15, %k2
// CHECK: encoding: [0x62,0xf1,0x06,0x08,0xc2,0x52,0x40,0x00]
vcmpeqss 256(%rdx), %xmm15, %k2
// CHECK: vcmpeqss 256(%rdx), %xmm15, %k2 {%k2}
// CHECK: encoding: [0x62,0xf1,0x06,0x0a,0xc2,0x52,0x40,0x00]
vcmpeqss 256(%rdx), %xmm15, %k2 {%k2}
// CHECK: vcmpeqss 256(%rdx), %xmm1, %k2
// CHECK: encoding: [0x62,0xf1,0x76,0x08,0xc2,0x52,0x40,0x00]
vcmpeqss 256(%rdx), %xmm1, %k2
// CHECK: vcmpeqss 256(%rdx), %xmm1, %k2 {%k2}
// CHECK: encoding: [0x62,0xf1,0x76,0x0a,0xc2,0x52,0x40,0x00]
vcmpeqss 256(%rdx), %xmm1, %k2 {%k2}
// CHECK: vcmpeqss 485498096, %xmm15, %k2
// CHECK: encoding: [0x62,0xf1,0x06,0x08,0xc2,0x14,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vcmpeqss 485498096, %xmm15, %k2
// CHECK: vcmpeqss 485498096, %xmm15, %k2 {%k2}
// CHECK: encoding: [0x62,0xf1,0x06,0x0a,0xc2,0x14,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vcmpeqss 485498096, %xmm15, %k2 {%k2}
// CHECK: vcmpeqss 485498096, %xmm1, %k2
// CHECK: encoding: [0x62,0xf1,0x76,0x08,0xc2,0x14,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vcmpeqss 485498096, %xmm1, %k2
// CHECK: vcmpeqss 485498096, %xmm1, %k2 {%k2}
// CHECK: encoding: [0x62,0xf1,0x76,0x0a,0xc2,0x14,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
vcmpeqss 485498096, %xmm1, %k2 {%k2}
// CHECK: vcmpeqss (%rdx), %xmm15, %k2
// CHECK: encoding: [0x62,0xf1,0x06,0x08,0xc2,0x12,0x00]
vcmpeqss (%rdx), %xmm15, %k2
// CHECK: vcmpeqss (%rdx), %xmm15, %k2 {%k2}
// CHECK: encoding: [0x62,0xf1,0x06,0x0a,0xc2,0x12,0x00]
vcmpeqss (%rdx), %xmm15, %k2 {%k2}
// CHECK: vcmpeqss (%rdx), %xmm1, %k2
// CHECK: encoding: [0x62,0xf1,0x76,0x08,0xc2,0x12,0x00]
vcmpeqss (%rdx), %xmm1, %k2
// CHECK: vcmpeqss (%rdx), %xmm1, %k2 {%k2}
// CHECK: encoding: [0x62,0xf1,0x76,0x0a,0xc2,0x12,0x00]
vcmpeqss (%rdx), %xmm1, %k2 {%k2}
// CHECK: vcmpeqss {sae}, %xmm15, %xmm15, %k2
// CHECK: encoding: [0x62,0xd1,0x06,0x18,0xc2,0xd7,0x00]
vcmpeqss {sae}, %xmm15, %xmm15, %k2
// CHECK: vcmpeqss {sae}, %xmm15, %xmm15, %k2 {%k2}
// CHECK: encoding: [0x62,0xd1,0x06,0x1a,0xc2,0xd7,0x00]
vcmpeqss {sae}, %xmm15, %xmm15, %k2 {%k2}
// CHECK: vcmpeqss {sae}, %xmm1, %xmm1, %k2
// CHECK: encoding: [0x62,0xf1,0x76,0x18,0xc2,0xd1,0x00]
vcmpeqss {sae}, %xmm1, %xmm1, %k2
// CHECK: vcmpeqss {sae}, %xmm1, %xmm1, %k2 {%k2}
// CHECK: encoding: [0x62,0xf1,0x76,0x1a,0xc2,0xd1,0x00]
vcmpeqss {sae}, %xmm1, %xmm1, %k2 {%k2}
// CHECK: vcmpeqss %xmm15, %xmm15, %k2
// CHECK: encoding: [0x62,0xd1,0x06,0x08,0xc2,0xd7,0x00]
vcmpeqss %xmm15, %xmm15, %k2
// CHECK: vcmpeqss %xmm15, %xmm15, %k2 {%k2}
// CHECK: encoding: [0x62,0xd1,0x06,0x0a,0xc2,0xd7,0x00]
vcmpeqss %xmm15, %xmm15, %k2 {%k2}
// CHECK: vcmpeqss %xmm1, %xmm1, %k2
// CHECK: encoding: [0x62,0xf1,0x76,0x08,0xc2,0xd1,0x00]
vcmpeqss %xmm1, %xmm1, %k2
// CHECK: vcmpeqss %xmm1, %xmm1, %k2 {%k2}
// CHECK: encoding: [0x62,0xf1,0x76,0x0a,0xc2,0xd1,0x00]
vcmpeqss %xmm1, %xmm1, %k2 {%k2}
// CHECK: vcomisd 485498096, %xmm15
// CHECK: encoding: [0xc5,0x79,0x2f,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vcomisd 485498096, %xmm15
// CHECK: vcomisd 485498096, %xmm1
// CHECK: encoding: [0xc5,0xf9,0x2f,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vcomisd 485498096, %xmm1
// CHECK: vcomisd 512(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0xc5,0x79,0x2f,0xbc,0x82,0x00,0x02,0x00,0x00]
vcomisd 512(%rdx,%rax,4), %xmm15
// CHECK: vcomisd -512(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0xc5,0x79,0x2f,0xbc,0x82,0x00,0xfe,0xff,0xff]
vcomisd -512(%rdx,%rax,4), %xmm15
// CHECK: vcomisd 512(%rdx,%rax,4), %xmm1
// CHECK: encoding: [0xc5,0xf9,0x2f,0x8c,0x82,0x00,0x02,0x00,0x00]
vcomisd 512(%rdx,%rax,4), %xmm1
// CHECK: vcomisd -512(%rdx,%rax,4), %xmm1
// CHECK: encoding: [0xc5,0xf9,0x2f,0x8c,0x82,0x00,0xfe,0xff,0xff]
vcomisd -512(%rdx,%rax,4), %xmm1
// CHECK: vcomisd 512(%rdx,%rax), %xmm15
// CHECK: encoding: [0xc5,0x79,0x2f,0xbc,0x02,0x00,0x02,0x00,0x00]
vcomisd 512(%rdx,%rax), %xmm15
// CHECK: vcomisd 512(%rdx,%rax), %xmm1
// CHECK: encoding: [0xc5,0xf9,0x2f,0x8c,0x02,0x00,0x02,0x00,0x00]
vcomisd 512(%rdx,%rax), %xmm1
// CHECK: vcomisd 512(%rdx), %xmm15
// CHECK: encoding: [0xc5,0x79,0x2f,0xba,0x00,0x02,0x00,0x00]
vcomisd 512(%rdx), %xmm15
// CHECK: vcomisd 512(%rdx), %xmm1
// CHECK: encoding: [0xc5,0xf9,0x2f,0x8a,0x00,0x02,0x00,0x00]
vcomisd 512(%rdx), %xmm1
// CHECK: vcomisd (%rdx), %xmm15
// CHECK: encoding: [0xc5,0x79,0x2f,0x3a]
vcomisd (%rdx), %xmm15
// CHECK: vcomisd (%rdx), %xmm1
// CHECK: encoding: [0xc5,0xf9,0x2f,0x0a]
vcomisd (%rdx), %xmm1
// CHECK: vcomisd {sae}, %xmm15, %xmm15
// CHECK: encoding: [0x62,0x51,0xfd,0x18,0x2f,0xff]
vcomisd {sae}, %xmm15, %xmm15
// CHECK: vcomisd {sae}, %xmm1, %xmm1
// CHECK: encoding: [0x62,0xf1,0xfd,0x18,0x2f,0xc9]
vcomisd {sae}, %xmm1, %xmm1
// CHECK: vcomisd %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x41,0x79,0x2f,0xff]
vcomisd %xmm15, %xmm15
// CHECK: vcomisd %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf9,0x2f,0xc9]
vcomisd %xmm1, %xmm1
// CHECK: vcomiss 256(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0xc5,0x78,0x2f,0xbc,0x82,0x00,0x01,0x00,0x00]
vcomiss 256(%rdx,%rax,4), %xmm15
// CHECK: vcomiss -256(%rdx,%rax,4), %xmm15
// CHECK: encoding: [0xc5,0x78,0x2f,0xbc,0x82,0x00,0xff,0xff,0xff]
vcomiss -256(%rdx,%rax,4), %xmm15
// CHECK: vcomiss 256(%rdx,%rax,4), %xmm1
// CHECK: encoding: [0xc5,0xf8,0x2f,0x8c,0x82,0x00,0x01,0x00,0x00]
vcomiss 256(%rdx,%rax,4), %xmm1
// CHECK: vcomiss -256(%rdx,%rax,4), %xmm1
// CHECK: encoding: [0xc5,0xf8,0x2f,0x8c,0x82,0x00,0xff,0xff,0xff]
vcomiss -256(%rdx,%rax,4), %xmm1
// CHECK: vcomiss 256(%rdx,%rax), %xmm15
// CHECK: encoding: [0xc5,0x78,0x2f,0xbc,0x02,0x00,0x01,0x00,0x00]
vcomiss 256(%rdx,%rax), %xmm15
// CHECK: vcomiss 256(%rdx,%rax), %xmm1
// CHECK: encoding: [0xc5,0xf8,0x2f,0x8c,0x02,0x00,0x01,0x00,0x00]
vcomiss 256(%rdx,%rax), %xmm1
// CHECK: vcomiss 256(%rdx), %xmm15
// CHECK: encoding: [0xc5,0x78,0x2f,0xba,0x00,0x01,0x00,0x00]
vcomiss 256(%rdx), %xmm15
// CHECK: vcomiss 256(%rdx), %xmm1
// CHECK: encoding: [0xc5,0xf8,0x2f,0x8a,0x00,0x01,0x00,0x00]
vcomiss 256(%rdx), %xmm1
// CHECK: vcomiss 485498096, %xmm15
// CHECK: encoding: [0xc5,0x78,0x2f,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vcomiss 485498096, %xmm15
// CHECK: vcomiss 485498096, %xmm1
// CHECK: encoding: [0xc5,0xf8,0x2f,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vcomiss 485498096, %xmm1
// CHECK: vcomiss (%rdx), %xmm15
// CHECK: encoding: [0xc5,0x78,0x2f,0x3a]
vcomiss (%rdx), %xmm15
// CHECK: vcomiss (%rdx), %xmm1
// CHECK: encoding: [0xc5,0xf8,0x2f,0x0a]
vcomiss (%rdx), %xmm1
// CHECK: vcomiss {sae}, %xmm15, %xmm15
// CHECK: encoding: [0x62,0x51,0x7c,0x18,0x2f,0xff]
vcomiss {sae}, %xmm15, %xmm15
// CHECK: vcomiss {sae}, %xmm1, %xmm1
// CHECK: encoding: [0x62,0xf1,0x7c,0x18,0x2f,0xc9]
vcomiss {sae}, %xmm1, %xmm1
// CHECK: vcomiss %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x41,0x78,0x2f,0xff]
vcomiss %xmm15, %xmm15
// CHECK: vcomiss %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf8,0x2f,0xc9]
vcomiss %xmm1, %xmm1
// CHECK: vcvtsd2si 485498096, %r13d
// CHECK: encoding: [0x62,0x71,0x7f,0x08,0x2d,0x2c,0x25,0xf0,0x1c,0xf0,0x1c]
{evex} vcvtsd2si 485498096, %r13d
// CHECK: vcvtsd2si 485498096, %r15
// CHECK: encoding: [0x62,0x71,0xff,0x08,0x2d,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
{evex} vcvtsd2si 485498096, %r15
// CHECK: vcvtsd2si 512(%rdx), %r13d
// CHECK: encoding: [0x62,0x71,0x7f,0x08,0x2d,0x6a,0x40]
{evex} vcvtsd2si 512(%rdx), %r13d
// CHECK: vcvtsd2si 512(%rdx), %r15
// CHECK: encoding: [0x62,0x71,0xff,0x08,0x2d,0x7a,0x40]
{evex} vcvtsd2si 512(%rdx), %r15
// CHECK: vcvtsd2si 512(%rdx,%rax,4), %r13d
// CHECK: encoding: [0x62,0x71,0x7f,0x08,0x2d,0x6c,0x82,0x40]
{evex} vcvtsd2si 512(%rdx,%rax,4), %r13d
// CHECK: vcvtsd2si -512(%rdx,%rax,4), %r13d
// CHECK: encoding: [0x62,0x71,0x7f,0x08,0x2d,0x6c,0x82,0xc0]
{evex} vcvtsd2si -512(%rdx,%rax,4), %r13d
// CHECK: vcvtsd2si 512(%rdx,%rax,4), %r15
// CHECK: encoding: [0x62,0x71,0xff,0x08,0x2d,0x7c,0x82,0x40]
{evex} vcvtsd2si 512(%rdx,%rax,4), %r15
// CHECK: vcvtsd2si -512(%rdx,%rax,4), %r15
// CHECK: encoding: [0x62,0x71,0xff,0x08,0x2d,0x7c,0x82,0xc0]
{evex} vcvtsd2si -512(%rdx,%rax,4), %r15
// CHECK: vcvtsd2si 512(%rdx,%rax), %r13d
// CHECK: encoding: [0x62,0x71,0x7f,0x08,0x2d,0x6c,0x02,0x40]
{evex} vcvtsd2si 512(%rdx,%rax), %r13d
// CHECK: vcvtsd2si 512(%rdx,%rax), %r15
// CHECK: encoding: [0x62,0x71,0xff,0x08,0x2d,0x7c,0x02,0x40]
{evex} vcvtsd2si 512(%rdx,%rax), %r15
// CHECK: vcvtsd2si {rd-sae}, %xmm15, %r13d
// CHECK: encoding: [0x62,0x51,0x7f,0x38,0x2d,0xef]
vcvtsd2si {rd-sae}, %xmm15, %r13d
// CHECK: vcvtsd2si {rd-sae}, %xmm15, %r15
// CHECK: encoding: [0x62,0x51,0xff,0x38,0x2d,0xff]
vcvtsd2si {rd-sae}, %xmm15, %r15
// CHECK: vcvtsd2si {rd-sae}, %xmm1, %r13d
// CHECK: encoding: [0x62,0x71,0x7f,0x38,0x2d,0xe9]
vcvtsd2si {rd-sae}, %xmm1, %r13d
// CHECK: vcvtsd2si {rd-sae}, %xmm1, %r15
// CHECK: encoding: [0x62,0x71,0xff,0x38,0x2d,0xf9]
vcvtsd2si {rd-sae}, %xmm1, %r15
// CHECK: vcvtsd2si (%rdx), %r13d
// CHECK: encoding: [0xc5,0x7b,0x2d,0x2a]
vcvtsd2si (%rdx), %r13d
// CHECK: vcvtsd2si (%rdx), %r15
// CHECK: encoding: [0xc4,0x61,0xfb,0x2d,0x3a]
vcvtsd2si (%rdx), %r15
// CHECK: vcvtsd2si {rn-sae}, %xmm15, %r13d
// CHECK: encoding: [0x62,0x51,0x7f,0x18,0x2d,0xef]
vcvtsd2si {rn-sae}, %xmm15, %r13d
// CHECK: vcvtsd2si {rn-sae}, %xmm15, %r15
// CHECK: encoding: [0x62,0x51,0xff,0x18,0x2d,0xff]
vcvtsd2si {rn-sae}, %xmm15, %r15
// CHECK: vcvtsd2si {rn-sae}, %xmm1, %r13d
// CHECK: encoding: [0x62,0x71,0x7f,0x18,0x2d,0xe9]
vcvtsd2si {rn-sae}, %xmm1, %r13d
// CHECK: vcvtsd2si {rn-sae}, %xmm1, %r15
// CHECK: encoding: [0x62,0x71,0xff,0x18,0x2d,0xf9]
vcvtsd2si {rn-sae}, %xmm1, %r15
// CHECK: vcvtsd2si {ru-sae}, %xmm15, %r13d
// CHECK: encoding: [0x62,0x51,0x7f,0x58,0x2d,0xef]
vcvtsd2si {ru-sae}, %xmm15, %r13d
// CHECK: vcvtsd2si {ru-sae}, %xmm15, %r15
// CHECK: encoding: [0x62,0x51,0xff,0x58,0x2d,0xff]
vcvtsd2si {ru-sae}, %xmm15, %r15
// CHECK: vcvtsd2si {ru-sae}, %xmm1, %r13d
// CHECK: encoding: [0x62,0x71,0x7f,0x58,0x2d,0xe9]
vcvtsd2si {ru-sae}, %xmm1, %r13d
// CHECK: vcvtsd2si {ru-sae}, %xmm1, %r15
// CHECK: encoding: [0x62,0x71,0xff,0x58,0x2d,0xf9]
vcvtsd2si {ru-sae}, %xmm1, %r15
// CHECK: vcvtsd2si {rz-sae}, %xmm15, %r13d
// CHECK: encoding: [0x62,0x51,0x7f,0x78,0x2d,0xef]
vcvtsd2si {rz-sae}, %xmm15, %r13d
// CHECK: vcvtsd2si {rz-sae}, %xmm15, %r15
// CHECK: encoding: [0x62,0x51,0xff,0x78,0x2d,0xff]
vcvtsd2si {rz-sae}, %xmm15, %r15
// CHECK: vcvtsd2si {rz-sae}, %xmm1, %r13d
// CHECK: encoding: [0x62,0x71,0x7f,0x78,0x2d,0xe9]
vcvtsd2si {rz-sae}, %xmm1, %r13d
// CHECK: vcvtsd2si {rz-sae}, %xmm1, %r15
// CHECK: encoding: [0x62,0x71,0xff,0x78,0x2d,0xf9]
vcvtsd2si {rz-sae}, %xmm1, %r15
// CHECK: vcvtsd2si %xmm15, %r13d
// CHECK: encoding: [0xc4,0x41,0x7b,0x2d,0xef]
vcvtsd2si %xmm15, %r13d
// CHECK: vcvtsd2si %xmm15, %r15
// CHECK: encoding: [0xc4,0x41,0xfb,0x2d,0xff]
vcvtsd2si %xmm15, %r15
// CHECK: vcvtsd2si %xmm1, %r13d
// CHECK: encoding: [0xc5,0x7b,0x2d,0xe9]
vcvtsd2si %xmm1, %r13d
// CHECK: vcvtsd2si %xmm1, %r15
// CHECK: encoding: [0xc4,0x61,0xfb,0x2d,0xf9]
vcvtsd2si %xmm1, %r15
// CHECK: vcvtsd2ss 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x03,0x5a,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vcvtsd2ss 485498096, %xmm15, %xmm15
// CHECK: vcvtsd2ss 485498096, %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x71,0x87,0x0a,0x5a,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vcvtsd2ss 485498096, %xmm15, %xmm15 {%k2}
// CHECK: vcvtsd2ss 485498096, %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x71,0x87,0x8a,0x5a,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vcvtsd2ss 485498096, %xmm15, %xmm15 {%k2} {z}
// CHECK: vcvtsd2ss 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x5a,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vcvtsd2ss 485498096, %xmm1, %xmm1
// CHECK: vcvtsd2ss 485498096, %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x0a,0x5a,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vcvtsd2ss 485498096, %xmm1, %xmm1 {%k2}
// CHECK: vcvtsd2ss 485498096, %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0xf7,0x8a,0x5a,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vcvtsd2ss 485498096, %xmm1, %xmm1 {%k2} {z}
// CHECK: vcvtsd2ss 512(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x03,0x5a,0xbc,0x82,0x00,0x02,0x00,0x00]
vcvtsd2ss 512(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vcvtsd2ss -512(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x03,0x5a,0xbc,0x82,0x00,0xfe,0xff,0xff]
vcvtsd2ss -512(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vcvtsd2ss 512(%rdx,%rax,4), %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x71,0x87,0x0a,0x5a,0x7c,0x82,0x40]
vcvtsd2ss 512(%rdx,%rax,4), %xmm15, %xmm15 {%k2}
// CHECK: vcvtsd2ss -512(%rdx,%rax,4), %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x71,0x87,0x0a,0x5a,0x7c,0x82,0xc0]
vcvtsd2ss -512(%rdx,%rax,4), %xmm15, %xmm15 {%k2}
// CHECK: vcvtsd2ss 512(%rdx,%rax,4), %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x71,0x87,0x8a,0x5a,0x7c,0x82,0x40]
vcvtsd2ss 512(%rdx,%rax,4), %xmm15, %xmm15 {%k2} {z}
// CHECK: vcvtsd2ss -512(%rdx,%rax,4), %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x71,0x87,0x8a,0x5a,0x7c,0x82,0xc0]
vcvtsd2ss -512(%rdx,%rax,4), %xmm15, %xmm15 {%k2} {z}
// CHECK: vcvtsd2ss 512(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x5a,0x8c,0x82,0x00,0x02,0x00,0x00]
vcvtsd2ss 512(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: vcvtsd2ss -512(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x5a,0x8c,0x82,0x00,0xfe,0xff,0xff]
vcvtsd2ss -512(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: vcvtsd2ss 512(%rdx,%rax,4), %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x0a,0x5a,0x4c,0x82,0x40]
vcvtsd2ss 512(%rdx,%rax,4), %xmm1, %xmm1 {%k2}
// CHECK: vcvtsd2ss -512(%rdx,%rax,4), %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x0a,0x5a,0x4c,0x82,0xc0]
vcvtsd2ss -512(%rdx,%rax,4), %xmm1, %xmm1 {%k2}
// CHECK: vcvtsd2ss 512(%rdx,%rax,4), %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0xf7,0x8a,0x5a,0x4c,0x82,0x40]
vcvtsd2ss 512(%rdx,%rax,4), %xmm1, %xmm1 {%k2} {z}
// CHECK: vcvtsd2ss -512(%rdx,%rax,4), %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0xf7,0x8a,0x5a,0x4c,0x82,0xc0]
vcvtsd2ss -512(%rdx,%rax,4), %xmm1, %xmm1 {%k2} {z}
// CHECK: vcvtsd2ss 512(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x03,0x5a,0xbc,0x02,0x00,0x02,0x00,0x00]
vcvtsd2ss 512(%rdx,%rax), %xmm15, %xmm15
// CHECK: vcvtsd2ss 512(%rdx,%rax), %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x71,0x87,0x0a,0x5a,0x7c,0x02,0x40]
vcvtsd2ss 512(%rdx,%rax), %xmm15, %xmm15 {%k2}
// CHECK: vcvtsd2ss 512(%rdx,%rax), %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x71,0x87,0x8a,0x5a,0x7c,0x02,0x40]
vcvtsd2ss 512(%rdx,%rax), %xmm15, %xmm15 {%k2} {z}
// CHECK: vcvtsd2ss 512(%rdx,%rax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x5a,0x8c,0x02,0x00,0x02,0x00,0x00]
vcvtsd2ss 512(%rdx,%rax), %xmm1, %xmm1
// CHECK: vcvtsd2ss 512(%rdx,%rax), %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x0a,0x5a,0x4c,0x02,0x40]
vcvtsd2ss 512(%rdx,%rax), %xmm1, %xmm1 {%k2}
// CHECK: vcvtsd2ss 512(%rdx,%rax), %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0xf7,0x8a,0x5a,0x4c,0x02,0x40]
vcvtsd2ss 512(%rdx,%rax), %xmm1, %xmm1 {%k2} {z}
// CHECK: vcvtsd2ss 512(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x03,0x5a,0xba,0x00,0x02,0x00,0x00]
vcvtsd2ss 512(%rdx), %xmm15, %xmm15
// CHECK: vcvtsd2ss 512(%rdx), %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x71,0x87,0x0a,0x5a,0x7a,0x40]
vcvtsd2ss 512(%rdx), %xmm15, %xmm15 {%k2}
// CHECK: vcvtsd2ss 512(%rdx), %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x71,0x87,0x8a,0x5a,0x7a,0x40]
vcvtsd2ss 512(%rdx), %xmm15, %xmm15 {%k2} {z}
// CHECK: vcvtsd2ss 512(%rdx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x5a,0x8a,0x00,0x02,0x00,0x00]
vcvtsd2ss 512(%rdx), %xmm1, %xmm1
// CHECK: vcvtsd2ss 512(%rdx), %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x0a,0x5a,0x4a,0x40]
vcvtsd2ss 512(%rdx), %xmm1, %xmm1 {%k2}
// CHECK: vcvtsd2ss 512(%rdx), %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0xf7,0x8a,0x5a,0x4a,0x40]
vcvtsd2ss 512(%rdx), %xmm1, %xmm1 {%k2} {z}
// CHECK: vcvtsd2ss {rd-sae}, %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0x62,0x51,0x87,0x38,0x5a,0xff]
vcvtsd2ss {rd-sae}, %xmm15, %xmm15, %xmm15
// CHECK: vcvtsd2ss {rd-sae}, %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x51,0x87,0x3a,0x5a,0xff]
vcvtsd2ss {rd-sae}, %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: vcvtsd2ss {rd-sae}, %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x51,0x87,0xba,0x5a,0xff]
vcvtsd2ss {rd-sae}, %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: vcvtsd2ss {rd-sae}, %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0x62,0xf1,0xf7,0x38,0x5a,0xc9]
vcvtsd2ss {rd-sae}, %xmm1, %xmm1, %xmm1
// CHECK: vcvtsd2ss {rd-sae}, %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x3a,0x5a,0xc9]
vcvtsd2ss {rd-sae}, %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: vcvtsd2ss {rd-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0xf7,0xba,0x5a,0xc9]
vcvtsd2ss {rd-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: vcvtsd2ss (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x03,0x5a,0x3a]
vcvtsd2ss (%rdx), %xmm15, %xmm15
// CHECK: vcvtsd2ss (%rdx), %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x71,0x87,0x0a,0x5a,0x3a]
vcvtsd2ss (%rdx), %xmm15, %xmm15 {%k2}
// CHECK: vcvtsd2ss (%rdx), %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x71,0x87,0x8a,0x5a,0x3a]
vcvtsd2ss (%rdx), %xmm15, %xmm15 {%k2} {z}
// CHECK: vcvtsd2ss (%rdx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x5a,0x0a]
vcvtsd2ss (%rdx), %xmm1, %xmm1
// CHECK: vcvtsd2ss (%rdx), %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x0a,0x5a,0x0a]
vcvtsd2ss (%rdx), %xmm1, %xmm1 {%k2}
// CHECK: vcvtsd2ss (%rdx), %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0xf7,0x8a,0x5a,0x0a]
vcvtsd2ss (%rdx), %xmm1, %xmm1 {%k2} {z}
// CHECK: vcvtsd2ss {rn-sae}, %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0x62,0x51,0x87,0x18,0x5a,0xff]
vcvtsd2ss {rn-sae}, %xmm15, %xmm15, %xmm15
// CHECK: vcvtsd2ss {rn-sae}, %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x51,0x87,0x1a,0x5a,0xff]
vcvtsd2ss {rn-sae}, %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: vcvtsd2ss {rn-sae}, %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x51,0x87,0x9a,0x5a,0xff]
vcvtsd2ss {rn-sae}, %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: vcvtsd2ss {rn-sae}, %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0x62,0xf1,0xf7,0x18,0x5a,0xc9]
vcvtsd2ss {rn-sae}, %xmm1, %xmm1, %xmm1
// CHECK: vcvtsd2ss {rn-sae}, %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x1a,0x5a,0xc9]
vcvtsd2ss {rn-sae}, %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: vcvtsd2ss {rn-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0xf7,0x9a,0x5a,0xc9]
vcvtsd2ss {rn-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: vcvtsd2ss {ru-sae}, %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0x62,0x51,0x87,0x58,0x5a,0xff]
vcvtsd2ss {ru-sae}, %xmm15, %xmm15, %xmm15
// CHECK: vcvtsd2ss {ru-sae}, %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x51,0x87,0x5a,0x5a,0xff]
vcvtsd2ss {ru-sae}, %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: vcvtsd2ss {ru-sae}, %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x51,0x87,0xda,0x5a,0xff]
vcvtsd2ss {ru-sae}, %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: vcvtsd2ss {ru-sae}, %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0x62,0xf1,0xf7,0x58,0x5a,0xc9]
vcvtsd2ss {ru-sae}, %xmm1, %xmm1, %xmm1
// CHECK: vcvtsd2ss {ru-sae}, %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x5a,0x5a,0xc9]
vcvtsd2ss {ru-sae}, %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: vcvtsd2ss {ru-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0xf7,0xda,0x5a,0xc9]
vcvtsd2ss {ru-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: vcvtsd2ss {rz-sae}, %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0x62,0x51,0x87,0x78,0x5a,0xff]
vcvtsd2ss {rz-sae}, %xmm15, %xmm15, %xmm15
// CHECK: vcvtsd2ss {rz-sae}, %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x51,0x87,0x7a,0x5a,0xff]
vcvtsd2ss {rz-sae}, %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: vcvtsd2ss {rz-sae}, %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x51,0x87,0xfa,0x5a,0xff]
vcvtsd2ss {rz-sae}, %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: vcvtsd2ss {rz-sae}, %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0x62,0xf1,0xf7,0x78,0x5a,0xc9]
vcvtsd2ss {rz-sae}, %xmm1, %xmm1, %xmm1
// CHECK: vcvtsd2ss {rz-sae}, %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x7a,0x5a,0xc9]
vcvtsd2ss {rz-sae}, %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: vcvtsd2ss {rz-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0xf7,0xfa,0x5a,0xc9]
vcvtsd2ss {rz-sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: vcvtsd2ss %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x41,0x03,0x5a,0xff]
vcvtsd2ss %xmm15, %xmm15, %xmm15
// CHECK: vcvtsd2ss %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x51,0x87,0x0a,0x5a,0xff]
vcvtsd2ss %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: vcvtsd2ss %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x51,0x87,0x8a,0x5a,0xff]
vcvtsd2ss %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: vcvtsd2ss %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x5a,0xc9]
vcvtsd2ss %xmm1, %xmm1, %xmm1
// CHECK: vcvtsd2ss %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0xf7,0x0a,0x5a,0xc9]
vcvtsd2ss %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: vcvtsd2ss %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0xf7,0x8a,0x5a,0xc9]
vcvtsd2ss %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: vcvtsd2usi 485498096, %r13d
// CHECK: encoding: [0x62,0x71,0x7f,0x08,0x79,0x2c,0x25,0xf0,0x1c,0xf0,0x1c]
vcvtsd2usi 485498096, %r13d
// CHECK: vcvtsd2usi 485498096, %r15
// CHECK: encoding: [0x62,0x71,0xff,0x08,0x79,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vcvtsd2usi 485498096, %r15
// CHECK: vcvtsd2usi 512(%rdx), %r13d
// CHECK: encoding: [0x62,0x71,0x7f,0x08,0x79,0x6a,0x40]
vcvtsd2usi 512(%rdx), %r13d
// CHECK: vcvtsd2usi 512(%rdx), %r15
// CHECK: encoding: [0x62,0x71,0xff,0x08,0x79,0x7a,0x40]
vcvtsd2usi 512(%rdx), %r15
// CHECK: vcvtsd2usi 512(%rdx,%rax,4), %r13d
// CHECK: encoding: [0x62,0x71,0x7f,0x08,0x79,0x6c,0x82,0x40]
vcvtsd2usi 512(%rdx,%rax,4), %r13d
// CHECK: vcvtsd2usi -512(%rdx,%rax,4), %r13d
// CHECK: encoding: [0x62,0x71,0x7f,0x08,0x79,0x6c,0x82,0xc0]
vcvtsd2usi -512(%rdx,%rax,4), %r13d
// CHECK: vcvtsd2usi 512(%rdx,%rax,4), %r15
// CHECK: encoding: [0x62,0x71,0xff,0x08,0x79,0x7c,0x82,0x40]
vcvtsd2usi 512(%rdx,%rax,4), %r15
// CHECK: vcvtsd2usi -512(%rdx,%rax,4), %r15
// CHECK: encoding: [0x62,0x71,0xff,0x08,0x79,0x7c,0x82,0xc0]
vcvtsd2usi -512(%rdx,%rax,4), %r15
// CHECK: vcvtsd2usi 512(%rdx,%rax), %r13d
// CHECK: encoding: [0x62,0x71,0x7f,0x08,0x79,0x6c,0x02,0x40]
vcvtsd2usi 512(%rdx,%rax), %r13d
// CHECK: vcvtsd2usi 512(%rdx,%rax), %r15
// CHECK: encoding: [0x62,0x71,0xff,0x08,0x79,0x7c,0x02,0x40]
vcvtsd2usi 512(%rdx,%rax), %r15
// CHECK: vcvtsd2usi {rd-sae}, %xmm15, %r13d
// CHECK: encoding: [0x62,0x51,0x7f,0x38,0x79,0xef]
vcvtsd2usi {rd-sae}, %xmm15, %r13d
// CHECK: vcvtsd2usi {rd-sae}, %xmm15, %r15
// CHECK: encoding: [0x62,0x51,0xff,0x38,0x79,0xff]
vcvtsd2usi {rd-sae}, %xmm15, %r15
// CHECK: vcvtsd2usi {rd-sae}, %xmm1, %r13d
// CHECK: encoding: [0x62,0x71,0x7f,0x38,0x79,0xe9]
vcvtsd2usi {rd-sae}, %xmm1, %r13d
// CHECK: vcvtsd2usi {rd-sae}, %xmm1, %r15
// CHECK: encoding: [0x62,0x71,0xff,0x38,0x79,0xf9]
vcvtsd2usi {rd-sae}, %xmm1, %r15
// CHECK: vcvtsd2usi (%rdx), %r13d
// CHECK: encoding: [0x62,0x71,0x7f,0x08,0x79,0x2a]
vcvtsd2usi (%rdx), %r13d
// CHECK: vcvtsd2usi (%rdx), %r15
// CHECK: encoding: [0x62,0x71,0xff,0x08,0x79,0x3a]
vcvtsd2usi (%rdx), %r15
// CHECK: vcvtsd2usi {rn-sae}, %xmm15, %r13d
// CHECK: encoding: [0x62,0x51,0x7f,0x18,0x79,0xef]
vcvtsd2usi {rn-sae}, %xmm15, %r13d
// CHECK: vcvtsd2usi {rn-sae}, %xmm15, %r15
// CHECK: encoding: [0x62,0x51,0xff,0x18,0x79,0xff]
vcvtsd2usi {rn-sae}, %xmm15, %r15
// CHECK: vcvtsd2usi {rn-sae}, %xmm1, %r13d
// CHECK: encoding: [0x62,0x71,0x7f,0x18,0x79,0xe9]
vcvtsd2usi {rn-sae}, %xmm1, %r13d
// CHECK: vcvtsd2usi {rn-sae}, %xmm1, %r15
// CHECK: encoding: [0x62,0x71,0xff,0x18,0x79,0xf9]
vcvtsd2usi {rn-sae}, %xmm1, %r15
// CHECK: vcvtsd2usi {ru-sae}, %xmm15, %r13d
// CHECK: encoding: [0x62,0x51,0x7f,0x58,0x79,0xef]
vcvtsd2usi {ru-sae}, %xmm15, %r13d
// CHECK: vcvtsd2usi {ru-sae}, %xmm15, %r15
// CHECK: encoding: [0x62,0x51,0xff,0x58,0x79,0xff]
vcvtsd2usi {ru-sae}, %xmm15, %r15
// CHECK: vcvtsd2usi {ru-sae}, %xmm1, %r13d
// CHECK: encoding: [0x62,0x71,0x7f,0x58,0x79,0xe9]
vcvtsd2usi {ru-sae}, %xmm1, %r13d
// CHECK: vcvtsd2usi {ru-sae}, %xmm1, %r15
// CHECK: encoding: [0x62,0x71,0xff,0x58,0x79,0xf9]
vcvtsd2usi {ru-sae}, %xmm1, %r15
// CHECK: vcvtsd2usi {rz-sae}, %xmm15, %r13d
// CHECK: encoding: [0x62,0x51,0x7f,0x78,0x79,0xef]
vcvtsd2usi {rz-sae}, %xmm15, %r13d
// CHECK: vcvtsd2usi {rz-sae}, %xmm15, %r15
// CHECK: encoding: [0x62,0x51,0xff,0x78,0x79,0xff]
vcvtsd2usi {rz-sae}, %xmm15, %r15
// CHECK: vcvtsd2usi {rz-sae}, %xmm1, %r13d
// CHECK: encoding: [0x62,0x71,0x7f,0x78,0x79,0xe9]
vcvtsd2usi {rz-sae}, %xmm1, %r13d
// CHECK: vcvtsd2usi {rz-sae}, %xmm1, %r15
// CHECK: encoding: [0x62,0x71,0xff,0x78,0x79,0xf9]
vcvtsd2usi {rz-sae}, %xmm1, %r15
// CHECK: vcvtsd2usi %xmm15, %r13d
// CHECK: encoding: [0x62,0x51,0x7f,0x08,0x79,0xef]
vcvtsd2usi %xmm15, %r13d
// CHECK: vcvtsd2usi %xmm15, %r15
// CHECK: encoding: [0x62,0x51,0xff,0x08,0x79,0xff]
vcvtsd2usi %xmm15, %r15
// CHECK: vcvtsd2usi %xmm1, %r13d
// CHECK: encoding: [0x62,0x71,0x7f,0x08,0x79,0xe9]
vcvtsd2usi %xmm1, %r13d
// CHECK: vcvtsd2usi %xmm1, %r15
// CHECK: encoding: [0x62,0x71,0xff,0x08,0x79,0xf9]
vcvtsd2usi %xmm1, %r15
// CHECK: vcvtsi2sdl 256(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x03,0x2a,0xbc,0x82,0x00,0x01,0x00,0x00]
vcvtsi2sdl 256(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vcvtsi2sdl -256(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x03,0x2a,0xbc,0x82,0x00,0xff,0xff,0xff]
vcvtsi2sdl -256(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vcvtsi2sdl 256(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x2a,0x8c,0x82,0x00,0x01,0x00,0x00]
vcvtsi2sdl 256(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: vcvtsi2sdl -256(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x2a,0x8c,0x82,0x00,0xff,0xff,0xff]
vcvtsi2sdl -256(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: vcvtsi2sdl 256(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x03,0x2a,0xbc,0x02,0x00,0x01,0x00,0x00]
vcvtsi2sdl 256(%rdx,%rax), %xmm15, %xmm15
// CHECK: vcvtsi2sdl 256(%rdx,%rax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x2a,0x8c,0x02,0x00,0x01,0x00,0x00]
vcvtsi2sdl 256(%rdx,%rax), %xmm1, %xmm1
// CHECK: vcvtsi2sdl 256(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x03,0x2a,0xba,0x00,0x01,0x00,0x00]
vcvtsi2sdl 256(%rdx), %xmm15, %xmm15
// CHECK: vcvtsi2sdl 256(%rdx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x2a,0x8a,0x00,0x01,0x00,0x00]
vcvtsi2sdl 256(%rdx), %xmm1, %xmm1
// CHECK: vcvtsi2sdl 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x03,0x2a,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vcvtsi2sdl 485498096, %xmm15, %xmm15
// CHECK: vcvtsi2sdl 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x2a,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vcvtsi2sdl 485498096, %xmm1, %xmm1
// CHECK: vcvtsi2sd %r13d, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x41,0x03,0x2a,0xfd]
vcvtsi2sdl %r13d, %xmm15, %xmm15
// CHECK: vcvtsi2sd %r13d, %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xc1,0x73,0x2a,0xcd]
vcvtsi2sdl %r13d, %xmm1, %xmm1
// CHECK: vcvtsi2sdl (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x03,0x2a,0x3a]
vcvtsi2sdl (%rdx), %xmm15, %xmm15
// CHECK: vcvtsi2sdl (%rdx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf3,0x2a,0x0a]
vcvtsi2sdl (%rdx), %xmm1, %xmm1
// CHECK: vcvtsi2sdq 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x61,0x83,0x2a,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vcvtsi2sdq 485498096, %xmm15, %xmm15
// CHECK: vcvtsi2sdq 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe1,0xf3,0x2a,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vcvtsi2sdq 485498096, %xmm1, %xmm1
// CHECK: vcvtsi2sdq 512(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x61,0x83,0x2a,0xbc,0x82,0x00,0x02,0x00,0x00]
vcvtsi2sdq 512(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vcvtsi2sdq -512(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x61,0x83,0x2a,0xbc,0x82,0x00,0xfe,0xff,0xff]
vcvtsi2sdq -512(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vcvtsi2sdq 512(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe1,0xf3,0x2a,0x8c,0x82,0x00,0x02,0x00,0x00]
vcvtsi2sdq 512(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: vcvtsi2sdq -512(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe1,0xf3,0x2a,0x8c,0x82,0x00,0xfe,0xff,0xff]
vcvtsi2sdq -512(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: vcvtsi2sdq 512(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x61,0x83,0x2a,0xbc,0x02,0x00,0x02,0x00,0x00]
vcvtsi2sdq 512(%rdx,%rax), %xmm15, %xmm15
// CHECK: vcvtsi2sdq 512(%rdx,%rax), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe1,0xf3,0x2a,0x8c,0x02,0x00,0x02,0x00,0x00]
vcvtsi2sdq 512(%rdx,%rax), %xmm1, %xmm1
// CHECK: vcvtsi2sdq 512(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x61,0x83,0x2a,0xba,0x00,0x02,0x00,0x00]
vcvtsi2sdq 512(%rdx), %xmm15, %xmm15
// CHECK: vcvtsi2sdq 512(%rdx), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe1,0xf3,0x2a,0x8a,0x00,0x02,0x00,0x00]
vcvtsi2sdq 512(%rdx), %xmm1, %xmm1
// CHECK: vcvtsi2sd %r15, {rd-sae}, %xmm15, %xmm15
// CHECK: encoding: [0x62,0x51,0x87,0x38,0x2a,0xff]
vcvtsi2sdq %r15, {rd-sae}, %xmm15, %xmm15
// CHECK: vcvtsi2sd %r15, {rd-sae}, %xmm1, %xmm1
// CHECK: encoding: [0x62,0xd1,0xf7,0x38,0x2a,0xcf]
vcvtsi2sdq %r15, {rd-sae}, %xmm1, %xmm1
// CHECK: vcvtsi2sd %r15, {rn-sae}, %xmm15, %xmm15
// CHECK: encoding: [0x62,0x51,0x87,0x18,0x2a,0xff]
vcvtsi2sdq %r15, {rn-sae}, %xmm15, %xmm15
// CHECK: vcvtsi2sd %r15, {rn-sae}, %xmm1, %xmm1
// CHECK: encoding: [0x62,0xd1,0xf7,0x18,0x2a,0xcf]
vcvtsi2sdq %r15, {rn-sae}, %xmm1, %xmm1
// CHECK: vcvtsi2sd %r15, {ru-sae}, %xmm15, %xmm15
// CHECK: encoding: [0x62,0x51,0x87,0x58,0x2a,0xff]
vcvtsi2sdq %r15, {ru-sae}, %xmm15, %xmm15
// CHECK: vcvtsi2sd %r15, {ru-sae}, %xmm1, %xmm1
// CHECK: encoding: [0x62,0xd1,0xf7,0x58,0x2a,0xcf]
vcvtsi2sdq %r15, {ru-sae}, %xmm1, %xmm1
// CHECK: vcvtsi2sd %r15, {rz-sae}, %xmm15, %xmm15
// CHECK: encoding: [0x62,0x51,0x87,0x78,0x2a,0xff]
vcvtsi2sdq %r15, {rz-sae}, %xmm15, %xmm15
// CHECK: vcvtsi2sd %r15, {rz-sae}, %xmm1, %xmm1
// CHECK: encoding: [0x62,0xd1,0xf7,0x78,0x2a,0xcf]
vcvtsi2sdq %r15, {rz-sae}, %xmm1, %xmm1
// CHECK: vcvtsi2sd %r15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x41,0x83,0x2a,0xff]
vcvtsi2sdq %r15, %xmm15, %xmm15
// CHECK: vcvtsi2sd %r15, %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xc1,0xf3,0x2a,0xcf]
vcvtsi2sdq %r15, %xmm1, %xmm1
// CHECK: vcvtsi2sdq (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x61,0x83,0x2a,0x3a]
vcvtsi2sdq (%rdx), %xmm15, %xmm15
// CHECK: vcvtsi2sdq (%rdx), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe1,0xf3,0x2a,0x0a]
vcvtsi2sdq (%rdx), %xmm1, %xmm1
// CHECK: vcvtsi2ssl 256(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x02,0x2a,0xbc,0x82,0x00,0x01,0x00,0x00]
vcvtsi2ssl 256(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vcvtsi2ssl -256(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x02,0x2a,0xbc,0x82,0x00,0xff,0xff,0xff]
vcvtsi2ssl -256(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vcvtsi2ssl 256(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x2a,0x8c,0x82,0x00,0x01,0x00,0x00]
vcvtsi2ssl 256(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: vcvtsi2ssl -256(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x2a,0x8c,0x82,0x00,0xff,0xff,0xff]
vcvtsi2ssl -256(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: vcvtsi2ssl 256(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x02,0x2a,0xbc,0x02,0x00,0x01,0x00,0x00]
vcvtsi2ssl 256(%rdx,%rax), %xmm15, %xmm15
// CHECK: vcvtsi2ssl 256(%rdx,%rax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x2a,0x8c,0x02,0x00,0x01,0x00,0x00]
vcvtsi2ssl 256(%rdx,%rax), %xmm1, %xmm1
// CHECK: vcvtsi2ssl 256(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x02,0x2a,0xba,0x00,0x01,0x00,0x00]
vcvtsi2ssl 256(%rdx), %xmm15, %xmm15
// CHECK: vcvtsi2ssl 256(%rdx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x2a,0x8a,0x00,0x01,0x00,0x00]
vcvtsi2ssl 256(%rdx), %xmm1, %xmm1
// CHECK: vcvtsi2ssl 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x02,0x2a,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vcvtsi2ssl 485498096, %xmm15, %xmm15
// CHECK: vcvtsi2ssl 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x2a,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vcvtsi2ssl 485498096, %xmm1, %xmm1
// CHECK: vcvtsi2ss %r13d, {rd-sae}, %xmm15, %xmm15
// CHECK: encoding: [0x62,0x51,0x06,0x38,0x2a,0xfd]
vcvtsi2ssl %r13d, {rd-sae}, %xmm15, %xmm15
// CHECK: vcvtsi2ss %r13d, {rd-sae}, %xmm1, %xmm1
// CHECK: encoding: [0x62,0xd1,0x76,0x38,0x2a,0xcd]
vcvtsi2ssl %r13d, {rd-sae}, %xmm1, %xmm1
// CHECK: vcvtsi2ss %r13d, {rn-sae}, %xmm15, %xmm15
// CHECK: encoding: [0x62,0x51,0x06,0x18,0x2a,0xfd]
vcvtsi2ssl %r13d, {rn-sae}, %xmm15, %xmm15
// CHECK: vcvtsi2ss %r13d, {rn-sae}, %xmm1, %xmm1
// CHECK: encoding: [0x62,0xd1,0x76,0x18,0x2a,0xcd]
vcvtsi2ssl %r13d, {rn-sae}, %xmm1, %xmm1
// CHECK: vcvtsi2ss %r13d, {ru-sae}, %xmm15, %xmm15
// CHECK: encoding: [0x62,0x51,0x06,0x58,0x2a,0xfd]
vcvtsi2ssl %r13d, {ru-sae}, %xmm15, %xmm15
// CHECK: vcvtsi2ss %r13d, {ru-sae}, %xmm1, %xmm1
// CHECK: encoding: [0x62,0xd1,0x76,0x58,0x2a,0xcd]
vcvtsi2ssl %r13d, {ru-sae}, %xmm1, %xmm1
// CHECK: vcvtsi2ss %r13d, {rz-sae}, %xmm15, %xmm15
// CHECK: encoding: [0x62,0x51,0x06,0x78,0x2a,0xfd]
vcvtsi2ssl %r13d, {rz-sae}, %xmm15, %xmm15
// CHECK: vcvtsi2ss %r13d, {rz-sae}, %xmm1, %xmm1
// CHECK: encoding: [0x62,0xd1,0x76,0x78,0x2a,0xcd]
vcvtsi2ssl %r13d, {rz-sae}, %xmm1, %xmm1
// CHECK: vcvtsi2ss %r13d, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x41,0x02,0x2a,0xfd]
vcvtsi2ssl %r13d, %xmm15, %xmm15
// CHECK: vcvtsi2ss %r13d, %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xc1,0x72,0x2a,0xcd]
vcvtsi2ssl %r13d, %xmm1, %xmm1
// CHECK: vcvtsi2ssl (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x02,0x2a,0x3a]
vcvtsi2ssl (%rdx), %xmm15, %xmm15
// CHECK: vcvtsi2ssl (%rdx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x2a,0x0a]
vcvtsi2ssl (%rdx), %xmm1, %xmm1
// CHECK: vcvtsi2ssq 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x61,0x82,0x2a,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vcvtsi2ssq 485498096, %xmm15, %xmm15
// CHECK: vcvtsi2ssq 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe1,0xf2,0x2a,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vcvtsi2ssq 485498096, %xmm1, %xmm1
// CHECK: vcvtsi2ssq 512(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x61,0x82,0x2a,0xbc,0x82,0x00,0x02,0x00,0x00]
vcvtsi2ssq 512(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vcvtsi2ssq -512(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x61,0x82,0x2a,0xbc,0x82,0x00,0xfe,0xff,0xff]
vcvtsi2ssq -512(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vcvtsi2ssq 512(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe1,0xf2,0x2a,0x8c,0x82,0x00,0x02,0x00,0x00]
vcvtsi2ssq 512(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: vcvtsi2ssq -512(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe1,0xf2,0x2a,0x8c,0x82,0x00,0xfe,0xff,0xff]
vcvtsi2ssq -512(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: vcvtsi2ssq 512(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x61,0x82,0x2a,0xbc,0x02,0x00,0x02,0x00,0x00]
vcvtsi2ssq 512(%rdx,%rax), %xmm15, %xmm15
// CHECK: vcvtsi2ssq 512(%rdx,%rax), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe1,0xf2,0x2a,0x8c,0x02,0x00,0x02,0x00,0x00]
vcvtsi2ssq 512(%rdx,%rax), %xmm1, %xmm1
// CHECK: vcvtsi2ssq 512(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x61,0x82,0x2a,0xba,0x00,0x02,0x00,0x00]
vcvtsi2ssq 512(%rdx), %xmm15, %xmm15
// CHECK: vcvtsi2ssq 512(%rdx), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe1,0xf2,0x2a,0x8a,0x00,0x02,0x00,0x00]
vcvtsi2ssq 512(%rdx), %xmm1, %xmm1
// CHECK: vcvtsi2ss %r15, {rd-sae}, %xmm15, %xmm15
// CHECK: encoding: [0x62,0x51,0x86,0x38,0x2a,0xff]
vcvtsi2ssq %r15, {rd-sae}, %xmm15, %xmm15
// CHECK: vcvtsi2ss %r15, {rd-sae}, %xmm1, %xmm1
// CHECK: encoding: [0x62,0xd1,0xf6,0x38,0x2a,0xcf]
vcvtsi2ssq %r15, {rd-sae}, %xmm1, %xmm1
// CHECK: vcvtsi2ss %r15, {rn-sae}, %xmm15, %xmm15
// CHECK: encoding: [0x62,0x51,0x86,0x18,0x2a,0xff]
vcvtsi2ssq %r15, {rn-sae}, %xmm15, %xmm15
// CHECK: vcvtsi2ss %r15, {rn-sae}, %xmm1, %xmm1
// CHECK: encoding: [0x62,0xd1,0xf6,0x18,0x2a,0xcf]
vcvtsi2ssq %r15, {rn-sae}, %xmm1, %xmm1
// CHECK: vcvtsi2ss %r15, {ru-sae}, %xmm15, %xmm15
// CHECK: encoding: [0x62,0x51,0x86,0x58,0x2a,0xff]
vcvtsi2ssq %r15, {ru-sae}, %xmm15, %xmm15
// CHECK: vcvtsi2ss %r15, {ru-sae}, %xmm1, %xmm1
// CHECK: encoding: [0x62,0xd1,0xf6,0x58,0x2a,0xcf]
vcvtsi2ssq %r15, {ru-sae}, %xmm1, %xmm1
// CHECK: vcvtsi2ss %r15, {rz-sae}, %xmm15, %xmm15
// CHECK: encoding: [0x62,0x51,0x86,0x78,0x2a,0xff]
vcvtsi2ssq %r15, {rz-sae}, %xmm15, %xmm15
// CHECK: vcvtsi2ss %r15, {rz-sae}, %xmm1, %xmm1
// CHECK: encoding: [0x62,0xd1,0xf6,0x78,0x2a,0xcf]
vcvtsi2ssq %r15, {rz-sae}, %xmm1, %xmm1
// CHECK: vcvtsi2ss %r15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x41,0x82,0x2a,0xff]
vcvtsi2ssq %r15, %xmm15, %xmm15
// CHECK: vcvtsi2ss %r15, %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xc1,0xf2,0x2a,0xcf]
vcvtsi2ssq %r15, %xmm1, %xmm1
// CHECK: vcvtsi2ssq (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x61,0x82,0x2a,0x3a]
vcvtsi2ssq (%rdx), %xmm15, %xmm15
// CHECK: vcvtsi2ssq (%rdx), %xmm1, %xmm1
// CHECK: encoding: [0xc4,0xe1,0xf2,0x2a,0x0a]
vcvtsi2ssq (%rdx), %xmm1, %xmm1
// CHECK: vcvtss2sd 256(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x02,0x5a,0xbc,0x82,0x00,0x01,0x00,0x00]
vcvtss2sd 256(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vcvtss2sd -256(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x02,0x5a,0xbc,0x82,0x00,0xff,0xff,0xff]
vcvtss2sd -256(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vcvtss2sd 256(%rdx,%rax,4), %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x71,0x06,0x0a,0x5a,0x7c,0x82,0x40]
vcvtss2sd 256(%rdx,%rax,4), %xmm15, %xmm15 {%k2}
// CHECK: vcvtss2sd -256(%rdx,%rax,4), %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x71,0x06,0x0a,0x5a,0x7c,0x82,0xc0]
vcvtss2sd -256(%rdx,%rax,4), %xmm15, %xmm15 {%k2}
// CHECK: vcvtss2sd 256(%rdx,%rax,4), %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x71,0x06,0x8a,0x5a,0x7c,0x82,0x40]
vcvtss2sd 256(%rdx,%rax,4), %xmm15, %xmm15 {%k2} {z}
// CHECK: vcvtss2sd -256(%rdx,%rax,4), %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x71,0x06,0x8a,0x5a,0x7c,0x82,0xc0]
vcvtss2sd -256(%rdx,%rax,4), %xmm15, %xmm15 {%k2} {z}
// CHECK: vcvtss2sd 256(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x5a,0x8c,0x82,0x00,0x01,0x00,0x00]
vcvtss2sd 256(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: vcvtss2sd -256(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x5a,0x8c,0x82,0x00,0xff,0xff,0xff]
vcvtss2sd -256(%rdx,%rax,4), %xmm1, %xmm1
// CHECK: vcvtss2sd 256(%rdx,%rax,4), %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0x76,0x0a,0x5a,0x4c,0x82,0x40]
vcvtss2sd 256(%rdx,%rax,4), %xmm1, %xmm1 {%k2}
// CHECK: vcvtss2sd -256(%rdx,%rax,4), %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0x76,0x0a,0x5a,0x4c,0x82,0xc0]
vcvtss2sd -256(%rdx,%rax,4), %xmm1, %xmm1 {%k2}
// CHECK: vcvtss2sd 256(%rdx,%rax,4), %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0x76,0x8a,0x5a,0x4c,0x82,0x40]
vcvtss2sd 256(%rdx,%rax,4), %xmm1, %xmm1 {%k2} {z}
// CHECK: vcvtss2sd -256(%rdx,%rax,4), %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0x76,0x8a,0x5a,0x4c,0x82,0xc0]
vcvtss2sd -256(%rdx,%rax,4), %xmm1, %xmm1 {%k2} {z}
// CHECK: vcvtss2sd 256(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x02,0x5a,0xbc,0x02,0x00,0x01,0x00,0x00]
vcvtss2sd 256(%rdx,%rax), %xmm15, %xmm15
// CHECK: vcvtss2sd 256(%rdx,%rax), %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x71,0x06,0x0a,0x5a,0x7c,0x02,0x40]
vcvtss2sd 256(%rdx,%rax), %xmm15, %xmm15 {%k2}
// CHECK: vcvtss2sd 256(%rdx,%rax), %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x71,0x06,0x8a,0x5a,0x7c,0x02,0x40]
vcvtss2sd 256(%rdx,%rax), %xmm15, %xmm15 {%k2} {z}
// CHECK: vcvtss2sd 256(%rdx,%rax), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x5a,0x8c,0x02,0x00,0x01,0x00,0x00]
vcvtss2sd 256(%rdx,%rax), %xmm1, %xmm1
// CHECK: vcvtss2sd 256(%rdx,%rax), %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0x76,0x0a,0x5a,0x4c,0x02,0x40]
vcvtss2sd 256(%rdx,%rax), %xmm1, %xmm1 {%k2}
// CHECK: vcvtss2sd 256(%rdx,%rax), %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0x76,0x8a,0x5a,0x4c,0x02,0x40]
vcvtss2sd 256(%rdx,%rax), %xmm1, %xmm1 {%k2} {z}
// CHECK: vcvtss2sd 256(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x02,0x5a,0xba,0x00,0x01,0x00,0x00]
vcvtss2sd 256(%rdx), %xmm15, %xmm15
// CHECK: vcvtss2sd 256(%rdx), %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x71,0x06,0x0a,0x5a,0x7a,0x40]
vcvtss2sd 256(%rdx), %xmm15, %xmm15 {%k2}
// CHECK: vcvtss2sd 256(%rdx), %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x71,0x06,0x8a,0x5a,0x7a,0x40]
vcvtss2sd 256(%rdx), %xmm15, %xmm15 {%k2} {z}
// CHECK: vcvtss2sd 256(%rdx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x5a,0x8a,0x00,0x01,0x00,0x00]
vcvtss2sd 256(%rdx), %xmm1, %xmm1
// CHECK: vcvtss2sd 256(%rdx), %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0x76,0x0a,0x5a,0x4a,0x40]
vcvtss2sd 256(%rdx), %xmm1, %xmm1 {%k2}
// CHECK: vcvtss2sd 256(%rdx), %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0x76,0x8a,0x5a,0x4a,0x40]
vcvtss2sd 256(%rdx), %xmm1, %xmm1 {%k2} {z}
// CHECK: vcvtss2sd 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x02,0x5a,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vcvtss2sd 485498096, %xmm15, %xmm15
// CHECK: vcvtss2sd 485498096, %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x71,0x06,0x0a,0x5a,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vcvtss2sd 485498096, %xmm15, %xmm15 {%k2}
// CHECK: vcvtss2sd 485498096, %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x71,0x06,0x8a,0x5a,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vcvtss2sd 485498096, %xmm15, %xmm15 {%k2} {z}
// CHECK: vcvtss2sd 485498096, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x5a,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vcvtss2sd 485498096, %xmm1, %xmm1
// CHECK: vcvtss2sd 485498096, %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0x76,0x0a,0x5a,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vcvtss2sd 485498096, %xmm1, %xmm1 {%k2}
// CHECK: vcvtss2sd 485498096, %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0x76,0x8a,0x5a,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vcvtss2sd 485498096, %xmm1, %xmm1 {%k2} {z}
// CHECK: vcvtss2sd (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc5,0x02,0x5a,0x3a]
vcvtss2sd (%rdx), %xmm15, %xmm15
// CHECK: vcvtss2sd (%rdx), %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x71,0x06,0x0a,0x5a,0x3a]
vcvtss2sd (%rdx), %xmm15, %xmm15 {%k2}
// CHECK: vcvtss2sd (%rdx), %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x71,0x06,0x8a,0x5a,0x3a]
vcvtss2sd (%rdx), %xmm15, %xmm15 {%k2} {z}
// CHECK: vcvtss2sd (%rdx), %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x5a,0x0a]
vcvtss2sd (%rdx), %xmm1, %xmm1
// CHECK: vcvtss2sd (%rdx), %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0x76,0x0a,0x5a,0x0a]
vcvtss2sd (%rdx), %xmm1, %xmm1 {%k2}
// CHECK: vcvtss2sd (%rdx), %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0x76,0x8a,0x5a,0x0a]
vcvtss2sd (%rdx), %xmm1, %xmm1 {%k2} {z}
// CHECK: vcvtss2sd {sae}, %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0x62,0x51,0x06,0x18,0x5a,0xff]
vcvtss2sd {sae}, %xmm15, %xmm15, %xmm15
// CHECK: vcvtss2sd {sae}, %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x51,0x06,0x1a,0x5a,0xff]
vcvtss2sd {sae}, %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: vcvtss2sd {sae}, %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x51,0x06,0x9a,0x5a,0xff]
vcvtss2sd {sae}, %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: vcvtss2sd {sae}, %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0x62,0xf1,0x76,0x18,0x5a,0xc9]
vcvtss2sd {sae}, %xmm1, %xmm1, %xmm1
// CHECK: vcvtss2sd {sae}, %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0x76,0x1a,0x5a,0xc9]
vcvtss2sd {sae}, %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: vcvtss2sd {sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0x76,0x9a,0x5a,0xc9]
vcvtss2sd {sae}, %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: vcvtss2sd %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x41,0x02,0x5a,0xff]
vcvtss2sd %xmm15, %xmm15, %xmm15
// CHECK: vcvtss2sd %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: encoding: [0x62,0x51,0x06,0x0a,0x5a,0xff]
vcvtss2sd %xmm15, %xmm15, %xmm15 {%k2}
// CHECK: vcvtss2sd %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: encoding: [0x62,0x51,0x06,0x8a,0x5a,0xff]
vcvtss2sd %xmm15, %xmm15, %xmm15 {%k2} {z}
// CHECK: vcvtss2sd %xmm1, %xmm1, %xmm1
// CHECK: encoding: [0xc5,0xf2,0x5a,0xc9]
vcvtss2sd %xmm1, %xmm1, %xmm1
// CHECK: vcvtss2sd %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: encoding: [0x62,0xf1,0x76,0x0a,0x5a,0xc9]
vcvtss2sd %xmm1, %xmm1, %xmm1 {%k2}
// CHECK: vcvtss2sd %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: encoding: [0x62,0xf1,0x76,0x8a,0x5a,0xc9]
vcvtss2sd %xmm1, %xmm1, %xmm1 {%k2} {z}
// CHECK: vcvtss2si 256(%rdx), %r13d
// CHECK: encoding: [0x62,0x71,0x7e,0x08,0x2d,0x6a,0x40]
{evex} {evex} vcvtss2si 256(%rdx), %r13d
// CHECK: vcvtss2si 256(%rdx), %r15
// CHECK: encoding: [0x62,0x71,0xfe,0x08,0x2d,0x7a,0x40]
{evex} vcvtss2si 256(%rdx), %r15
// CHECK: vcvtss2si 256(%rdx,%rax,4), %r13d
// CHECK: encoding: [0x62,0x71,0x7e,0x08,0x2d,0x6c,0x82,0x40]
{evex} vcvtss2si 256(%rdx,%rax,4), %r13d
// CHECK: vcvtss2si -256(%rdx,%rax,4), %r13d
// CHECK: encoding: [0x62,0x71,0x7e,0x08,0x2d,0x6c,0x82,0xc0]
{evex} vcvtss2si -256(%rdx,%rax,4), %r13d
// CHECK: vcvtss2si 256(%rdx,%rax,4), %r15
// CHECK: encoding: [0x62,0x71,0xfe,0x08,0x2d,0x7c,0x82,0x40]
{evex} vcvtss2si 256(%rdx,%rax,4), %r15
// CHECK: vcvtss2si -256(%rdx,%rax,4), %r15
// CHECK: encoding: [0x62,0x71,0xfe,0x08,0x2d,0x7c,0x82,0xc0]
{evex} vcvtss2si -256(%rdx,%rax,4), %r15
// CHECK: vcvtss2si 256(%rdx,%rax), %r13d
// CHECK: encoding: [0x62,0x71,0x7e,0x08,0x2d,0x6c,0x02,0x40]
{evex} vcvtss2si 256(%rdx,%rax), %r13d
// CHECK: vcvtss2si 256(%rdx,%rax), %r15
// CHECK: encoding: [0x62,0x71,0xfe,0x08,0x2d,0x7c,0x02,0x40]
{evex} vcvtss2si 256(%rdx,%rax), %r15
// CHECK: vcvtss2si 485498096, %r13d
// CHECK: encoding: [0x62,0x71,0x7e,0x08,0x2d,0x2c,0x25,0xf0,0x1c,0xf0,0x1c]
{evex} vcvtss2si 485498096, %r13d
// CHECK: vcvtss2si 485498096, %r15
// CHECK: encoding: [0x62,0x71,0xfe,0x08,0x2d,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
{evex} vcvtss2si 485498096, %r15
// CHECK: vcvtss2si {rd-sae}, %xmm15, %r13d
// CHECK: encoding: [0x62,0x51,0x7e,0x38,0x2d,0xef]
vcvtss2si {rd-sae}, %xmm15, %r13d
// CHECK: vcvtss2si {rd-sae}, %xmm15, %r15
// CHECK: encoding: [0x62,0x51,0xfe,0x38,0x2d,0xff]
vcvtss2si {rd-sae}, %xmm15, %r15
// CHECK: vcvtss2si {rd-sae}, %xmm1, %r13d
// CHECK: encoding: [0x62,0x71,0x7e,0x38,0x2d,0xe9]
vcvtss2si {rd-sae}, %xmm1, %r13d
// CHECK: vcvtss2si {rd-sae}, %xmm1, %r15
// CHECK: encoding: [0x62,0x71,0xfe,0x38,0x2d,0xf9]
vcvtss2si {rd-sae}, %xmm1, %r15
// CHECK: vcvtss2si (%rdx), %r13d
// CHECK: encoding: [0xc5,0x7a,0x2d,0x2a]
vcvtss2si (%rdx), %r13d
// CHECK: vcvtss2si (%rdx), %r15
// CHECK: encoding: [0xc4,0x61,0xfa,0x2d,0x3a]
vcvtss2si (%rdx), %r15
// CHECK: vcvtss2si {rn-sae}, %xmm15, %r13d
// CHECK: encoding: [0x62,0x51,0x7e,0x18,0x2d,0xef]
vcvtss2si {rn-sae}, %xmm15, %r13d
// CHECK: vcvtss2si {rn-sae}, %xmm15, %r15
// CHECK: encoding: [0x62,0x51,0xfe,0x18,0x2d,0xff]
vcvtss2si {rn-sae}, %xmm15, %r15
// CHECK: vcvtss2si {rn-sae}, %xmm1, %r13d
// CHECK: encoding: [0x62,0x71,0x7e,0x18,0x2d,0xe9]
vcvtss2si {rn-sae}, %xmm1, %r13d
// CHECK: vcvtss2si {rn-sae}, %xmm1, %r15
// CHECK: encoding: [0x62,0x71,0xfe,0x18,0x2d,0xf9]
vcvtss2si {rn-sae}, %xmm1, %r15
// CHECK: vcvtss2si {ru-sae}, %xmm15, %r13d
// CHECK: encoding: [0x62,0x51,0x7e,0x58,0x2d,0xef]
vcvtss2si {ru-sae}, %xmm15, %r13d
// CHECK: vcvtss2si {ru-sae}, %xmm15, %r15
// CHECK: encoding: [0x62,0x51,0xfe,0x58,0x2d,0xff]
vcvtss2si {ru-sae}, %xmm15, %r15
// CHECK: vcvtss2si {ru-sae}, %xmm1, %r13d
// CHECK: encoding: [0x62,0x71,0x7e,0x58,0x2d,0xe9]
vcvtss2si {ru-sae}, %xmm1, %r13d
// CHECK: vcvtss2si {ru-sae}, %xmm1, %r15
// CHECK: encoding: [0x62,0x71,0xfe,0x58,0x2d,0xf9]
vcvtss2si {ru-sae}, %xmm1, %r15
// CHECK: vcvtss2si {rz-sae}, %xmm15, %r13d
// CHECK: encoding: [0x62,0x51,0x7e,0x78,0x2d,0xef]
vcvtss2si {rz-sae}, %xmm15, %r13d
// CHECK: vcvtss2si {rz-sae}, %xmm15, %r15
// CHECK: encoding: [0x62,0x51,0xfe,0x78,0x2d,0xff]
vcvtss2si {rz-sae}, %xmm15, %r15
// CHECK: vcvtss2si {rz-sae}, %xmm1, %r13d
// CHECK: encoding: [0x62,0x71,0x7e,0x78,0x2d,0xe9]
vcvtss2si {rz-sae}, %xmm1, %r13d
// CHECK: vcvtss2si {rz-sae}, %xmm1, %r15
// CHECK: encoding: [0x62,0x71,0xfe,0x78,0x2d,0xf9]
vcvtss2si {rz-sae}, %xmm1, %r15
// CHECK: vcvtss2si %xmm15, %r13d
// CHECK: encoding: [0xc4,0x41,0x7a,0x2d,0xef]
vcvtss2si %xmm15, %r13d
// CHECK: vcvtss2si %xmm15, %r15
// CHECK: encoding: [0xc4,0x41,0xfa,0x2d,0xff]
vcvtss2si %xmm15, %r15
// CHECK: vcvtss2si %xmm1, %r13d
// CHECK: encoding: [0xc5,0x7a,0x2d,0xe9]
vcvtss2si %xmm1, %r13d
// CHECK: vcvtss2si %xmm1, %r15
// CHECK: encoding: [0xc4,0x61,0xfa,0x2d,0xf9]
vcvtss2si %xmm1, %r15
// CHECK: vcvtss2usi 256(%rdx), %r13d
// CHECK: encoding: [0x62,0x71,0x7e,0x08,0x79,0x6a,0x40]
vcvtss2usi 256(%rdx), %r13d
// CHECK: vcvtss2usi 256(%rdx), %r15
// CHECK: encoding: [0x62,0x71,0xfe,0x08,0x79,0x7a,0x40]
vcvtss2usi 256(%rdx), %r15
// CHECK: vcvtss2usi 256(%rdx,%rax,4), %r13d
// CHECK: encoding: [0x62,0x71,0x7e,0x08,0x79,0x6c,0x82,0x40]
vcvtss2usi 256(%rdx,%rax,4), %r13d
// CHECK: vcvtss2usi -256(%rdx,%rax,4), %r13d
// CHECK: encoding: [0x62,0x71,0x7e,0x08,0x79,0x6c,0x82,0xc0]
vcvtss2usi -256(%rdx,%rax,4), %r13d
// CHECK: vcvtss2usi 256(%rdx,%rax,4), %r15
// CHECK: encoding: [0x62,0x71,0xfe,0x08,0x79,0x7c,0x82,0x40]
vcvtss2usi 256(%rdx,%rax,4), %r15
// CHECK: vcvtss2usi -256(%rdx,%rax,4), %r15
// CHECK: encoding: [0x62,0x71,0xfe,0x08,0x79,0x7c,0x82,0xc0]
vcvtss2usi -256(%rdx,%rax,4), %r15
// CHECK: vcvtss2usi 256(%rdx,%rax), %r13d
// CHECK: encoding: [0x62,0x71,0x7e,0x08,0x79,0x6c,0x02,0x40]
vcvtss2usi 256(%rdx,%rax), %r13d
// CHECK: vcvtss2usi 256(%rdx,%rax), %r15
// CHECK: encoding: [0x62,0x71,0xfe,0x08,0x79,0x7c,0x02,0x40]
vcvtss2usi 256(%rdx,%rax), %r15
// CHECK: vcvtss2usi 485498096, %r13d
// CHECK: encoding: [0x62,0x71,0x7e,0x08,0x79,0x2c,0x25,0xf0,0x1c,0xf0,0x1c]
vcvtss2usi 485498096, %r13d
// CHECK: vcvtss2usi 485498096, %r15
// CHECK: encoding: [0x62,0x71,0xfe,0x08,0x79,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vcvtss2usi 485498096, %r15
// CHECK: vcvtss2usi {rd-sae}, %xmm15, %r13d
// CHECK: encoding: [0x62,0x51,0x7e,0x38,0x79,0xef]
vcvtss2usi {rd-sae}, %xmm15, %r13d
// CHECK: vcvtss2usi {rd-sae}, %xmm15, %r15
// CHECK: encoding: [0x62,0x51,0xfe,0x38,0x79,0xff]
vcvtss2usi {rd-sae}, %xmm15, %r15
// CHECK: vcvtss2usi {rd-sae}, %xmm1, %r13d
// CHECK: encoding: [0x62,0x71,0x7e,0x38,0x79,0xe9]
vcvtss2usi {rd-sae}, %xmm1, %r13d
// CHECK