diff options
Diffstat (limited to 'test/MC/X86/x86-64-avx512bw_vl.s')
-rw-r--r-- | test/MC/X86/x86-64-avx512bw_vl.s | 520 |
1 files changed, 520 insertions, 0 deletions
diff --git a/test/MC/X86/x86-64-avx512bw_vl.s b/test/MC/X86/x86-64-avx512bw_vl.s index e847550..3f45582 100644 --- a/test/MC/X86/x86-64-avx512bw_vl.s +++ b/test/MC/X86/x86-64-avx512bw_vl.s @@ -1783,3 +1783,523 @@ // CHECK: vmovdqu16 %ymm29, -4128(%rdx) // CHECK: encoding: [0x62,0x61,0xff,0x28,0x7f,0xaa,0xe0,0xef,0xff,0xff] vmovdqu16 %ymm29, -4128(%rdx) + +// CHECK: vpsllw %xmm26, %xmm23, %xmm19 +// CHECK: encoding: [0x62,0x81,0x45,0x00,0xf1,0xda] + vpsllw %xmm26, %xmm23, %xmm19 + +// CHECK: vpsllw %xmm26, %xmm23, %xmm19 {%k7} +// CHECK: encoding: [0x62,0x81,0x45,0x07,0xf1,0xda] + vpsllw %xmm26, %xmm23, %xmm19 {%k7} + +// CHECK: vpsllw %xmm26, %xmm23, %xmm19 {%k7} {z} +// CHECK: encoding: [0x62,0x81,0x45,0x87,0xf1,0xda] + vpsllw %xmm26, %xmm23, %xmm19 {%k7} {z} + +// CHECK: vpsllw (%rcx), %xmm23, %xmm19 +// CHECK: encoding: [0x62,0xe1,0x45,0x00,0xf1,0x19] + vpsllw (%rcx), %xmm23, %xmm19 + +// CHECK: vpsllw 291(%rax,%r14,8), %xmm23, %xmm19 +// CHECK: encoding: [0x62,0xa1,0x45,0x00,0xf1,0x9c,0xf0,0x23,0x01,0x00,0x00] + vpsllw 291(%rax,%r14,8), %xmm23, %xmm19 + +// CHECK: vpsllw 2032(%rdx), %xmm23, %xmm19 +// CHECK: encoding: [0x62,0xe1,0x45,0x00,0xf1,0x5a,0x7f] + vpsllw 2032(%rdx), %xmm23, %xmm19 + +// CHECK: vpsllw 2048(%rdx), %xmm23, %xmm19 +// CHECK: encoding: [0x62,0xe1,0x45,0x00,0xf1,0x9a,0x00,0x08,0x00,0x00] + vpsllw 2048(%rdx), %xmm23, %xmm19 + +// CHECK: vpsllw -2048(%rdx), %xmm23, %xmm19 +// CHECK: encoding: [0x62,0xe1,0x45,0x00,0xf1,0x5a,0x80] + vpsllw -2048(%rdx), %xmm23, %xmm19 + +// CHECK: vpsllw -2064(%rdx), %xmm23, %xmm19 +// CHECK: encoding: [0x62,0xe1,0x45,0x00,0xf1,0x9a,0xf0,0xf7,0xff,0xff] + vpsllw -2064(%rdx), %xmm23, %xmm19 + +// CHECK: vpsllw %xmm26, %ymm21, %ymm20 +// CHECK: encoding: [0x62,0x81,0x55,0x20,0xf1,0xe2] + vpsllw %xmm26, %ymm21, %ymm20 + +// CHECK: vpsllw %xmm26, %ymm21, %ymm20 {%k7} +// CHECK: encoding: [0x62,0x81,0x55,0x27,0xf1,0xe2] + vpsllw %xmm26, %ymm21, %ymm20 {%k7} + +// CHECK: vpsllw %xmm26, %ymm21, %ymm20 {%k7} {z} +// CHECK: encoding: [0x62,0x81,0x55,0xa7,0xf1,0xe2] + vpsllw %xmm26, %ymm21, %ymm20 {%k7} {z} + +// CHECK: vpsllw (%rcx), %ymm21, %ymm20 +// CHECK: encoding: [0x62,0xe1,0x55,0x20,0xf1,0x21] + vpsllw (%rcx), %ymm21, %ymm20 + +// CHECK: vpsllw 291(%rax,%r14,8), %ymm21, %ymm20 +// CHECK: encoding: [0x62,0xa1,0x55,0x20,0xf1,0xa4,0xf0,0x23,0x01,0x00,0x00] + vpsllw 291(%rax,%r14,8), %ymm21, %ymm20 + +// CHECK: vpsllw 2032(%rdx), %ymm21, %ymm20 +// CHECK: encoding: [0x62,0xe1,0x55,0x20,0xf1,0x62,0x7f] + vpsllw 2032(%rdx), %ymm21, %ymm20 + +// CHECK: vpsllw 2048(%rdx), %ymm21, %ymm20 +// CHECK: encoding: [0x62,0xe1,0x55,0x20,0xf1,0xa2,0x00,0x08,0x00,0x00] + vpsllw 2048(%rdx), %ymm21, %ymm20 + +// CHECK: vpsllw -2048(%rdx), %ymm21, %ymm20 +// CHECK: encoding: [0x62,0xe1,0x55,0x20,0xf1,0x62,0x80] + vpsllw -2048(%rdx), %ymm21, %ymm20 + +// CHECK: vpsllw -2064(%rdx), %ymm21, %ymm20 +// CHECK: encoding: [0x62,0xe1,0x55,0x20,0xf1,0xa2,0xf0,0xf7,0xff,0xff] + vpsllw -2064(%rdx), %ymm21, %ymm20 + +// CHECK: vpsraw %xmm28, %xmm28, %xmm17 +// CHECK: encoding: [0x62,0x81,0x1d,0x00,0xe1,0xcc] + vpsraw %xmm28, %xmm28, %xmm17 + +// CHECK: vpsraw %xmm28, %xmm28, %xmm17 {%k1} +// CHECK: encoding: [0x62,0x81,0x1d,0x01,0xe1,0xcc] + vpsraw %xmm28, %xmm28, %xmm17 {%k1} + +// CHECK: vpsraw %xmm28, %xmm28, %xmm17 {%k1} {z} +// CHECK: encoding: [0x62,0x81,0x1d,0x81,0xe1,0xcc] + vpsraw %xmm28, %xmm28, %xmm17 {%k1} {z} + +// CHECK: vpsraw (%rcx), %xmm28, %xmm17 +// CHECK: encoding: [0x62,0xe1,0x1d,0x00,0xe1,0x09] + vpsraw (%rcx), %xmm28, %xmm17 + +// CHECK: vpsraw 291(%rax,%r14,8), %xmm28, %xmm17 +// CHECK: encoding: [0x62,0xa1,0x1d,0x00,0xe1,0x8c,0xf0,0x23,0x01,0x00,0x00] + vpsraw 291(%rax,%r14,8), %xmm28, %xmm17 + +// CHECK: vpsraw 2032(%rdx), %xmm28, %xmm17 +// CHECK: encoding: [0x62,0xe1,0x1d,0x00,0xe1,0x4a,0x7f] + vpsraw 2032(%rdx), %xmm28, %xmm17 + +// CHECK: vpsraw 2048(%rdx), %xmm28, %xmm17 +// CHECK: encoding: [0x62,0xe1,0x1d,0x00,0xe1,0x8a,0x00,0x08,0x00,0x00] + vpsraw 2048(%rdx), %xmm28, %xmm17 + +// CHECK: vpsraw -2048(%rdx), %xmm28, %xmm17 +// CHECK: encoding: [0x62,0xe1,0x1d,0x00,0xe1,0x4a,0x80] + vpsraw -2048(%rdx), %xmm28, %xmm17 + +// CHECK: vpsraw -2064(%rdx), %xmm28, %xmm17 +// CHECK: encoding: [0x62,0xe1,0x1d,0x00,0xe1,0x8a,0xf0,0xf7,0xff,0xff] + vpsraw -2064(%rdx), %xmm28, %xmm17 + +// CHECK: vpsraw %xmm19, %ymm26, %ymm18 +// CHECK: encoding: [0x62,0xa1,0x2d,0x20,0xe1,0xd3] + vpsraw %xmm19, %ymm26, %ymm18 + +// CHECK: vpsraw %xmm19, %ymm26, %ymm18 {%k7} +// CHECK: encoding: [0x62,0xa1,0x2d,0x27,0xe1,0xd3] + vpsraw %xmm19, %ymm26, %ymm18 {%k7} + +// CHECK: vpsraw %xmm19, %ymm26, %ymm18 {%k7} {z} +// CHECK: encoding: [0x62,0xa1,0x2d,0xa7,0xe1,0xd3] + vpsraw %xmm19, %ymm26, %ymm18 {%k7} {z} + +// CHECK: vpsraw (%rcx), %ymm26, %ymm18 +// CHECK: encoding: [0x62,0xe1,0x2d,0x20,0xe1,0x11] + vpsraw (%rcx), %ymm26, %ymm18 + +// CHECK: vpsraw 291(%rax,%r14,8), %ymm26, %ymm18 +// CHECK: encoding: [0x62,0xa1,0x2d,0x20,0xe1,0x94,0xf0,0x23,0x01,0x00,0x00] + vpsraw 291(%rax,%r14,8), %ymm26, %ymm18 + +// CHECK: vpsraw 2032(%rdx), %ymm26, %ymm18 +// CHECK: encoding: [0x62,0xe1,0x2d,0x20,0xe1,0x52,0x7f] + vpsraw 2032(%rdx), %ymm26, %ymm18 + +// CHECK: vpsraw 2048(%rdx), %ymm26, %ymm18 +// CHECK: encoding: [0x62,0xe1,0x2d,0x20,0xe1,0x92,0x00,0x08,0x00,0x00] + vpsraw 2048(%rdx), %ymm26, %ymm18 + +// CHECK: vpsraw -2048(%rdx), %ymm26, %ymm18 +// CHECK: encoding: [0x62,0xe1,0x2d,0x20,0xe1,0x52,0x80] + vpsraw -2048(%rdx), %ymm26, %ymm18 + +// CHECK: vpsraw -2064(%rdx), %ymm26, %ymm18 +// CHECK: encoding: [0x62,0xe1,0x2d,0x20,0xe1,0x92,0xf0,0xf7,0xff,0xff] + vpsraw -2064(%rdx), %ymm26, %ymm18 + +// CHECK: vpsrlw %xmm27, %xmm29, %xmm30 +// CHECK: encoding: [0x62,0x01,0x15,0x00,0xd1,0xf3] + vpsrlw %xmm27, %xmm29, %xmm30 + +// CHECK: vpsrlw %xmm27, %xmm29, %xmm30 {%k1} +// CHECK: encoding: [0x62,0x01,0x15,0x01,0xd1,0xf3] + vpsrlw %xmm27, %xmm29, %xmm30 {%k1} + +// CHECK: vpsrlw %xmm27, %xmm29, %xmm30 {%k1} {z} +// CHECK: encoding: [0x62,0x01,0x15,0x81,0xd1,0xf3] + vpsrlw %xmm27, %xmm29, %xmm30 {%k1} {z} + +// CHECK: vpsrlw (%rcx), %xmm29, %xmm30 +// CHECK: encoding: [0x62,0x61,0x15,0x00,0xd1,0x31] + vpsrlw (%rcx), %xmm29, %xmm30 + +// CHECK: vpsrlw 291(%rax,%r14,8), %xmm29, %xmm30 +// CHECK: encoding: [0x62,0x21,0x15,0x00,0xd1,0xb4,0xf0,0x23,0x01,0x00,0x00] + vpsrlw 291(%rax,%r14,8), %xmm29, %xmm30 + +// CHECK: vpsrlw 2032(%rdx), %xmm29, %xmm30 +// CHECK: encoding: [0x62,0x61,0x15,0x00,0xd1,0x72,0x7f] + vpsrlw 2032(%rdx), %xmm29, %xmm30 + +// CHECK: vpsrlw 2048(%rdx), %xmm29, %xmm30 +// CHECK: encoding: [0x62,0x61,0x15,0x00,0xd1,0xb2,0x00,0x08,0x00,0x00] + vpsrlw 2048(%rdx), %xmm29, %xmm30 + +// CHECK: vpsrlw -2048(%rdx), %xmm29, %xmm30 +// CHECK: encoding: [0x62,0x61,0x15,0x00,0xd1,0x72,0x80] + vpsrlw -2048(%rdx), %xmm29, %xmm30 + +// CHECK: vpsrlw -2064(%rdx), %xmm29, %xmm30 +// CHECK: encoding: [0x62,0x61,0x15,0x00,0xd1,0xb2,0xf0,0xf7,0xff,0xff] + vpsrlw -2064(%rdx), %xmm29, %xmm30 + +// CHECK: vpsrlw %xmm27, %ymm18, %ymm28 +// CHECK: encoding: [0x62,0x01,0x6d,0x20,0xd1,0xe3] + vpsrlw %xmm27, %ymm18, %ymm28 + +// CHECK: vpsrlw %xmm27, %ymm18, %ymm28 {%k2} +// CHECK: encoding: [0x62,0x01,0x6d,0x22,0xd1,0xe3] + vpsrlw %xmm27, %ymm18, %ymm28 {%k2} + +// CHECK: vpsrlw %xmm27, %ymm18, %ymm28 {%k2} {z} +// CHECK: encoding: [0x62,0x01,0x6d,0xa2,0xd1,0xe3] + vpsrlw %xmm27, %ymm18, %ymm28 {%k2} {z} + +// CHECK: vpsrlw (%rcx), %ymm18, %ymm28 +// CHECK: encoding: [0x62,0x61,0x6d,0x20,0xd1,0x21] + vpsrlw (%rcx), %ymm18, %ymm28 + +// CHECK: vpsrlw 291(%rax,%r14,8), %ymm18, %ymm28 +// CHECK: encoding: [0x62,0x21,0x6d,0x20,0xd1,0xa4,0xf0,0x23,0x01,0x00,0x00] + vpsrlw 291(%rax,%r14,8), %ymm18, %ymm28 + +// CHECK: vpsrlw 2032(%rdx), %ymm18, %ymm28 +// CHECK: encoding: [0x62,0x61,0x6d,0x20,0xd1,0x62,0x7f] + vpsrlw 2032(%rdx), %ymm18, %ymm28 + +// CHECK: vpsrlw 2048(%rdx), %ymm18, %ymm28 +// CHECK: encoding: [0x62,0x61,0x6d,0x20,0xd1,0xa2,0x00,0x08,0x00,0x00] + vpsrlw 2048(%rdx), %ymm18, %ymm28 + +// CHECK: vpsrlw -2048(%rdx), %ymm18, %ymm28 +// CHECK: encoding: [0x62,0x61,0x6d,0x20,0xd1,0x62,0x80] + vpsrlw -2048(%rdx), %ymm18, %ymm28 + +// CHECK: vpsrlw -2064(%rdx), %ymm18, %ymm28 +// CHECK: encoding: [0x62,0x61,0x6d,0x20,0xd1,0xa2,0xf0,0xf7,0xff,0xff] + vpsrlw -2064(%rdx), %ymm18, %ymm28 + +// CHECK: vpsrlw $171, %xmm21, %xmm22 +// CHECK: encoding: [0x62,0xb1,0x4d,0x00,0x71,0xd5,0xab] + vpsrlw $171, %xmm21, %xmm22 + +// CHECK: vpsrlw $171, %xmm21, %xmm22 {%k7} +// CHECK: encoding: [0x62,0xb1,0x4d,0x07,0x71,0xd5,0xab] + vpsrlw $171, %xmm21, %xmm22 {%k7} + +// CHECK: vpsrlw $171, %xmm21, %xmm22 {%k7} {z} +// CHECK: encoding: [0x62,0xb1,0x4d,0x87,0x71,0xd5,0xab] + vpsrlw $171, %xmm21, %xmm22 {%k7} {z} + +// CHECK: vpsrlw $123, %xmm21, %xmm22 +// CHECK: encoding: [0x62,0xb1,0x4d,0x00,0x71,0xd5,0x7b] + vpsrlw $123, %xmm21, %xmm22 + +// CHECK: vpsrlw $123, (%rcx), %xmm22 +// CHECK: encoding: [0x62,0xf1,0x4d,0x00,0x71,0x11,0x7b] + vpsrlw $123, (%rcx), %xmm22 + +// CHECK: vpsrlw $123, 291(%rax,%r14,8), %xmm22 +// CHECK: encoding: [0x62,0xb1,0x4d,0x00,0x71,0x94,0xf0,0x23,0x01,0x00,0x00,0x7b] + vpsrlw $123, 291(%rax,%r14,8), %xmm22 + +// CHECK: vpsrlw $123, 2032(%rdx), %xmm22 +// CHECK: encoding: [0x62,0xf1,0x4d,0x00,0x71,0x52,0x7f,0x7b] + vpsrlw $123, 2032(%rdx), %xmm22 + +// CHECK: vpsrlw $123, 2048(%rdx), %xmm22 +// CHECK: encoding: [0x62,0xf1,0x4d,0x00,0x71,0x92,0x00,0x08,0x00,0x00,0x7b] + vpsrlw $123, 2048(%rdx), %xmm22 + +// CHECK: vpsrlw $123, -2048(%rdx), %xmm22 +// CHECK: encoding: [0x62,0xf1,0x4d,0x00,0x71,0x52,0x80,0x7b] + vpsrlw $123, -2048(%rdx), %xmm22 + +// CHECK: vpsrlw $123, -2064(%rdx), %xmm22 +// CHECK: encoding: [0x62,0xf1,0x4d,0x00,0x71,0x92,0xf0,0xf7,0xff,0xff,0x7b] + vpsrlw $123, -2064(%rdx), %xmm22 + +// CHECK: vpsrlw $171, %ymm19, %ymm27 +// CHECK: encoding: [0x62,0xb1,0x25,0x20,0x71,0xd3,0xab] + vpsrlw $171, %ymm19, %ymm27 + +// CHECK: vpsrlw $171, %ymm19, %ymm27 {%k3} +// CHECK: encoding: [0x62,0xb1,0x25,0x23,0x71,0xd3,0xab] + vpsrlw $171, %ymm19, %ymm27 {%k3} + +// CHECK: vpsrlw $171, %ymm19, %ymm27 {%k3} {z} +// CHECK: encoding: [0x62,0xb1,0x25,0xa3,0x71,0xd3,0xab] + vpsrlw $171, %ymm19, %ymm27 {%k3} {z} + +// CHECK: vpsrlw $123, %ymm19, %ymm27 +// CHECK: encoding: [0x62,0xb1,0x25,0x20,0x71,0xd3,0x7b] + vpsrlw $123, %ymm19, %ymm27 + +// CHECK: vpsrlw $123, (%rcx), %ymm27 +// CHECK: encoding: [0x62,0xf1,0x25,0x20,0x71,0x11,0x7b] + vpsrlw $123, (%rcx), %ymm27 + +// CHECK: vpsrlw $123, 291(%rax,%r14,8), %ymm27 +// CHECK: encoding: [0x62,0xb1,0x25,0x20,0x71,0x94,0xf0,0x23,0x01,0x00,0x00,0x7b] + vpsrlw $123, 291(%rax,%r14,8), %ymm27 + +// CHECK: vpsrlw $123, 4064(%rdx), %ymm27 +// CHECK: encoding: [0x62,0xf1,0x25,0x20,0x71,0x52,0x7f,0x7b] + vpsrlw $123, 4064(%rdx), %ymm27 + +// CHECK: vpsrlw $123, 4096(%rdx), %ymm27 +// CHECK: encoding: [0x62,0xf1,0x25,0x20,0x71,0x92,0x00,0x10,0x00,0x00,0x7b] + vpsrlw $123, 4096(%rdx), %ymm27 + +// CHECK: vpsrlw $123, -4096(%rdx), %ymm27 +// CHECK: encoding: [0x62,0xf1,0x25,0x20,0x71,0x52,0x80,0x7b] + vpsrlw $123, -4096(%rdx), %ymm27 + +// CHECK: vpsrlw $123, -4128(%rdx), %ymm27 +// CHECK: encoding: [0x62,0xf1,0x25,0x20,0x71,0x92,0xe0,0xef,0xff,0xff,0x7b] + vpsrlw $123, -4128(%rdx), %ymm27 + +// CHECK: vpsraw $171, %xmm22, %xmm22 +// CHECK: encoding: [0x62,0xb1,0x4d,0x00,0x71,0xe6,0xab] + vpsraw $171, %xmm22, %xmm22 + +// CHECK: vpsraw $171, %xmm22, %xmm22 {%k4} +// CHECK: encoding: [0x62,0xb1,0x4d,0x04,0x71,0xe6,0xab] + vpsraw $171, %xmm22, %xmm22 {%k4} + +// CHECK: vpsraw $171, %xmm22, %xmm22 {%k4} {z} +// CHECK: encoding: [0x62,0xb1,0x4d,0x84,0x71,0xe6,0xab] + vpsraw $171, %xmm22, %xmm22 {%k4} {z} + +// CHECK: vpsraw $123, %xmm22, %xmm22 +// CHECK: encoding: [0x62,0xb1,0x4d,0x00,0x71,0xe6,0x7b] + vpsraw $123, %xmm22, %xmm22 + +// CHECK: vpsraw $123, (%rcx), %xmm22 +// CHECK: encoding: [0x62,0xf1,0x4d,0x00,0x71,0x21,0x7b] + vpsraw $123, (%rcx), %xmm22 + +// CHECK: vpsraw $123, 291(%rax,%r14,8), %xmm22 +// CHECK: encoding: [0x62,0xb1,0x4d,0x00,0x71,0xa4,0xf0,0x23,0x01,0x00,0x00,0x7b] + vpsraw $123, 291(%rax,%r14,8), %xmm22 + +// CHECK: vpsraw $123, 2032(%rdx), %xmm22 +// CHECK: encoding: [0x62,0xf1,0x4d,0x00,0x71,0x62,0x7f,0x7b] + vpsraw $123, 2032(%rdx), %xmm22 + +// CHECK: vpsraw $123, 2048(%rdx), %xmm22 +// CHECK: encoding: [0x62,0xf1,0x4d,0x00,0x71,0xa2,0x00,0x08,0x00,0x00,0x7b] + vpsraw $123, 2048(%rdx), %xmm22 + +// CHECK: vpsraw $123, -2048(%rdx), %xmm22 +// CHECK: encoding: [0x62,0xf1,0x4d,0x00,0x71,0x62,0x80,0x7b] + vpsraw $123, -2048(%rdx), %xmm22 + +// CHECK: vpsraw $123, -2064(%rdx), %xmm22 +// CHECK: encoding: [0x62,0xf1,0x4d,0x00,0x71,0xa2,0xf0,0xf7,0xff,0xff,0x7b] + vpsraw $123, -2064(%rdx), %xmm22 + +// CHECK: vpsraw $171, %ymm22, %ymm19 +// CHECK: encoding: [0x62,0xb1,0x65,0x20,0x71,0xe6,0xab] + vpsraw $171, %ymm22, %ymm19 + +// CHECK: vpsraw $171, %ymm22, %ymm19 {%k7} +// CHECK: encoding: [0x62,0xb1,0x65,0x27,0x71,0xe6,0xab] + vpsraw $171, %ymm22, %ymm19 {%k7} + +// CHECK: vpsraw $171, %ymm22, %ymm19 {%k7} {z} +// CHECK: encoding: [0x62,0xb1,0x65,0xa7,0x71,0xe6,0xab] + vpsraw $171, %ymm22, %ymm19 {%k7} {z} + +// CHECK: vpsraw $123, %ymm22, %ymm19 +// CHECK: encoding: [0x62,0xb1,0x65,0x20,0x71,0xe6,0x7b] + vpsraw $123, %ymm22, %ymm19 + +// CHECK: vpsraw $123, (%rcx), %ymm19 +// CHECK: encoding: [0x62,0xf1,0x65,0x20,0x71,0x21,0x7b] + vpsraw $123, (%rcx), %ymm19 + +// CHECK: vpsraw $123, 291(%rax,%r14,8), %ymm19 +// CHECK: encoding: [0x62,0xb1,0x65,0x20,0x71,0xa4,0xf0,0x23,0x01,0x00,0x00,0x7b] + vpsraw $123, 291(%rax,%r14,8), %ymm19 + +// CHECK: vpsraw $123, 4064(%rdx), %ymm19 +// CHECK: encoding: [0x62,0xf1,0x65,0x20,0x71,0x62,0x7f,0x7b] + vpsraw $123, 4064(%rdx), %ymm19 + +// CHECK: vpsraw $123, 4096(%rdx), %ymm19 +// CHECK: encoding: [0x62,0xf1,0x65,0x20,0x71,0xa2,0x00,0x10,0x00,0x00,0x7b] + vpsraw $123, 4096(%rdx), %ymm19 + +// CHECK: vpsraw $123, -4096(%rdx), %ymm19 +// CHECK: encoding: [0x62,0xf1,0x65,0x20,0x71,0x62,0x80,0x7b] + vpsraw $123, -4096(%rdx), %ymm19 + +// CHECK: vpsraw $123, -4128(%rdx), %ymm19 +// CHECK: encoding: [0x62,0xf1,0x65,0x20,0x71,0xa2,0xe0,0xef,0xff,0xff,0x7b] + vpsraw $123, -4128(%rdx), %ymm19 + +// CHECK: vpsrlvw %xmm19, %xmm22, %xmm30 +// CHECK: encoding: [0x62,0x22,0xcd,0x00,0x10,0xf3] + vpsrlvw %xmm19, %xmm22, %xmm30 + +// CHECK: vpsrlvw %xmm19, %xmm22, %xmm30 {%k7} +// CHECK: encoding: [0x62,0x22,0xcd,0x07,0x10,0xf3] + vpsrlvw %xmm19, %xmm22, %xmm30 {%k7} + +// CHECK: vpsrlvw %xmm19, %xmm22, %xmm30 {%k7} {z} +// CHECK: encoding: [0x62,0x22,0xcd,0x87,0x10,0xf3] + vpsrlvw %xmm19, %xmm22, %xmm30 {%k7} {z} + +// CHECK: vpsrlvw (%rcx), %xmm22, %xmm30 +// CHECK: encoding: [0x62,0x62,0xcd,0x00,0x10,0x31] + vpsrlvw (%rcx), %xmm22, %xmm30 + +// CHECK: vpsrlvw 291(%rax,%r14,8), %xmm22, %xmm30 +// CHECK: encoding: [0x62,0x22,0xcd,0x00,0x10,0xb4,0xf0,0x23,0x01,0x00,0x00] + vpsrlvw 291(%rax,%r14,8), %xmm22, %xmm30 + +// CHECK: vpsrlvw 2032(%rdx), %xmm22, %xmm30 +// CHECK: encoding: [0x62,0x62,0xcd,0x00,0x10,0x72,0x7f] + vpsrlvw 2032(%rdx), %xmm22, %xmm30 + +// CHECK: vpsrlvw 2048(%rdx), %xmm22, %xmm30 +// CHECK: encoding: [0x62,0x62,0xcd,0x00,0x10,0xb2,0x00,0x08,0x00,0x00] + vpsrlvw 2048(%rdx), %xmm22, %xmm30 + +// CHECK: vpsrlvw -2048(%rdx), %xmm22, %xmm30 +// CHECK: encoding: [0x62,0x62,0xcd,0x00,0x10,0x72,0x80] + vpsrlvw -2048(%rdx), %xmm22, %xmm30 + +// CHECK: vpsrlvw -2064(%rdx), %xmm22, %xmm30 +// CHECK: encoding: [0x62,0x62,0xcd,0x00,0x10,0xb2,0xf0,0xf7,0xff,0xff] + vpsrlvw -2064(%rdx), %xmm22, %xmm30 + +// CHECK: vpsrlvw %ymm27, %ymm25, %ymm30 +// CHECK: encoding: [0x62,0x02,0xb5,0x20,0x10,0xf3] + vpsrlvw %ymm27, %ymm25, %ymm30 + +// CHECK: vpsrlvw %ymm27, %ymm25, %ymm30 {%k1} +// CHECK: encoding: [0x62,0x02,0xb5,0x21,0x10,0xf3] + vpsrlvw %ymm27, %ymm25, %ymm30 {%k1} + +// CHECK: vpsrlvw %ymm27, %ymm25, %ymm30 {%k1} {z} +// CHECK: encoding: [0x62,0x02,0xb5,0xa1,0x10,0xf3] + vpsrlvw %ymm27, %ymm25, %ymm30 {%k1} {z} + +// CHECK: vpsrlvw (%rcx), %ymm25, %ymm30 +// CHECK: encoding: [0x62,0x62,0xb5,0x20,0x10,0x31] + vpsrlvw (%rcx), %ymm25, %ymm30 + +// CHECK: vpsrlvw 291(%rax,%r14,8), %ymm25, %ymm30 +// CHECK: encoding: [0x62,0x22,0xb5,0x20,0x10,0xb4,0xf0,0x23,0x01,0x00,0x00] + vpsrlvw 291(%rax,%r14,8), %ymm25, %ymm30 + +// CHECK: vpsrlvw 4064(%rdx), %ymm25, %ymm30 +// CHECK: encoding: [0x62,0x62,0xb5,0x20,0x10,0x72,0x7f] + vpsrlvw 4064(%rdx), %ymm25, %ymm30 + +// CHECK: vpsrlvw 4096(%rdx), %ymm25, %ymm30 +// CHECK: encoding: [0x62,0x62,0xb5,0x20,0x10,0xb2,0x00,0x10,0x00,0x00] + vpsrlvw 4096(%rdx), %ymm25, %ymm30 + +// CHECK: vpsrlvw -4096(%rdx), %ymm25, %ymm30 +// CHECK: encoding: [0x62,0x62,0xb5,0x20,0x10,0x72,0x80] + vpsrlvw -4096(%rdx), %ymm25, %ymm30 + +// CHECK: vpsrlvw -4128(%rdx), %ymm25, %ymm30 +// CHECK: encoding: [0x62,0x62,0xb5,0x20,0x10,0xb2,0xe0,0xef,0xff,0xff] + vpsrlvw -4128(%rdx), %ymm25, %ymm30 + +// CHECK: vpsravw %xmm27, %xmm28, %xmm28 +// CHECK: encoding: [0x62,0x02,0x9d,0x00,0x11,0xe3] + vpsravw %xmm27, %xmm28, %xmm28 + +// CHECK: vpsravw %xmm27, %xmm28, %xmm28 {%k3} +// CHECK: encoding: [0x62,0x02,0x9d,0x03,0x11,0xe3] + vpsravw %xmm27, %xmm28, %xmm28 {%k3} + +// CHECK: vpsravw %xmm27, %xmm28, %xmm28 {%k3} {z} +// CHECK: encoding: [0x62,0x02,0x9d,0x83,0x11,0xe3] + vpsravw %xmm27, %xmm28, %xmm28 {%k3} {z} + +// CHECK: vpsravw (%rcx), %xmm28, %xmm28 +// CHECK: encoding: [0x62,0x62,0x9d,0x00,0x11,0x21] + vpsravw (%rcx), %xmm28, %xmm28 + +// CHECK: vpsravw 291(%rax,%r14,8), %xmm28, %xmm28 +// CHECK: encoding: [0x62,0x22,0x9d,0x00,0x11,0xa4,0xf0,0x23,0x01,0x00,0x00] + vpsravw 291(%rax,%r14,8), %xmm28, %xmm28 + +// CHECK: vpsravw 2032(%rdx), %xmm28, %xmm28 +// CHECK: encoding: [0x62,0x62,0x9d,0x00,0x11,0x62,0x7f] + vpsravw 2032(%rdx), %xmm28, %xmm28 + +// CHECK: vpsravw 2048(%rdx), %xmm28, %xmm28 +// CHECK: encoding: [0x62,0x62,0x9d,0x00,0x11,0xa2,0x00,0x08,0x00,0x00] + vpsravw 2048(%rdx), %xmm28, %xmm28 + +// CHECK: vpsravw -2048(%rdx), %xmm28, %xmm28 +// CHECK: encoding: [0x62,0x62,0x9d,0x00,0x11,0x62,0x80] + vpsravw -2048(%rdx), %xmm28, %xmm28 + +// CHECK: vpsravw -2064(%rdx), %xmm28, %xmm28 +// CHECK: encoding: [0x62,0x62,0x9d,0x00,0x11,0xa2,0xf0,0xf7,0xff,0xff] + vpsravw -2064(%rdx), %xmm28, %xmm28 + +// CHECK: vpsravw %ymm17, %ymm28, %ymm20 +// CHECK: encoding: [0x62,0xa2,0x9d,0x20,0x11,0xe1] + vpsravw %ymm17, %ymm28, %ymm20 + +// CHECK: vpsravw %ymm17, %ymm28, %ymm20 {%k5} +// CHECK: encoding: [0x62,0xa2,0x9d,0x25,0x11,0xe1] + vpsravw %ymm17, %ymm28, %ymm20 {%k5} + +// CHECK: vpsravw %ymm17, %ymm28, %ymm20 {%k5} {z} +// CHECK: encoding: [0x62,0xa2,0x9d,0xa5,0x11,0xe1] + vpsravw %ymm17, %ymm28, %ymm20 {%k5} {z} + +// CHECK: vpsravw (%rcx), %ymm28, %ymm20 +// CHECK: encoding: [0x62,0xe2,0x9d,0x20,0x11,0x21] + vpsravw (%rcx), %ymm28, %ymm20 + +// CHECK: vpsravw 291(%rax,%r14,8), %ymm28, %ymm20 +// CHECK: encoding: [0x62,0xa2,0x9d,0x20,0x11,0xa4,0xf0,0x23,0x01,0x00,0x00] + vpsravw 291(%rax,%r14,8), %ymm28, %ymm20 + +// CHECK: vpsravw 4064(%rdx), %ymm28, %ymm20 +// CHECK: encoding: [0x62,0xe2,0x9d,0x20,0x11,0x62,0x7f] + vpsravw 4064(%rdx), %ymm28, %ymm20 + +// CHECK: vpsravw 4096(%rdx), %ymm28, %ymm20 +// CHECK: encoding: [0x62,0xe2,0x9d,0x20,0x11,0xa2,0x00,0x10,0x00,0x00] + vpsravw 4096(%rdx), %ymm28, %ymm20 + +// CHECK: vpsravw -4096(%rdx), %ymm28, %ymm20 +// CHECK: encoding: [0x62,0xe2,0x9d,0x20,0x11,0x62,0x80] + vpsravw -4096(%rdx), %ymm28, %ymm20 + +// CHECK: vpsravw -4128(%rdx), %ymm28, %ymm20 +// CHECK: encoding: [0x62,0xe2,0x9d,0x20,0x11,0xa2,0xe0,0xef,0xff,0xff] + vpsravw -4128(%rdx), %ymm28, %ymm20 |