[llvm] r231916 - AVX-512: Added SKX forms of shift instructions.
Adam Nemet
anemet at apple.com
Wed Mar 11 10:38:58 PDT 2015
Hi Elena,
This is great. Did you miss the tests for vpror and vprol?
Thanks for you work.
Adam
> On Mar 11, 2015, at 3:25 AM, Elena Demikhovsky <elena.demikhovsky at intel.com> wrote:
>
> Author: delena
> Date: Wed Mar 11 05:25:42 2015
> New Revision: 231916
>
> URL: http://llvm.org/viewvc/llvm-project?rev=231916&view=rev
> Log:
> AVX-512: Added SKX forms of shift instructions.
> Added rotation instructions, encoding only.
> Added encoding tests for all these forms.
>
>
> Modified:
> llvm/trunk/lib/Target/X86/X86InstrAVX512.td
> llvm/trunk/lib/Target/X86/X86InstrSSE.td
> llvm/trunk/test/MC/X86/x86-64-avx512bw.s
> llvm/trunk/test/MC/X86/x86-64-avx512bw_vl.s
> llvm/trunk/test/MC/X86/x86-64-avx512f_vl.s
>
> Modified: llvm/trunk/lib/Target/X86/X86InstrAVX512.td
> URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Target/X86/X86InstrAVX512.td?rev=231916&r1=231915&r2=231916&view=diff
> ==============================================================================
> --- llvm/trunk/lib/Target/X86/X86InstrAVX512.td (original)
> +++ llvm/trunk/lib/Target/X86/X86InstrAVX512.td Wed Mar 11 05:25:42 2015
> @@ -3448,15 +3448,27 @@ multiclass avx512_shift_rmi<bits<8> opc,
> "$src2, $src1", "$src1, $src2",
> (_.VT (OpNode _.RC:$src1, (i8 imm:$src2))),
> " ", SSE_INTSHIFT_ITINS_P.rr>, AVX512BIi8Base, EVEX_4V;
> + let mayLoad = 1 in
> defm mi : AVX512_maskable<opc, ImmFormM, _, (outs _.RC:$dst),
> (ins _.MemOp:$src1, u8imm:$src2), OpcodeStr,
> "$src2, $src1", "$src1, $src2",
> - (_.VT (OpNode (_.LdFrag addr:$src1), (i8 imm:$src2))),
> + (_.VT (OpNode (_.VT (bitconvert (_.LdFrag addr:$src1))),
> + (i8 imm:$src2))),
> " ", SSE_INTSHIFT_ITINS_P.rm>, AVX512BIi8Base, EVEX_4V;
> }
>
> +multiclass avx512_shift_rmbi<bits<8> opc, Format ImmFormM,
> + string OpcodeStr, SDNode OpNode, X86VectorVTInfo _> {
> + let mayLoad = 1 in
> + defm mbi : AVX512_maskable<opc, ImmFormM, _, (outs _.RC:$dst),
> + (ins _.ScalarMemOp:$src1, u8imm:$src2), OpcodeStr,
> + "$src2, ${src1}"##_.BroadcastStr, "${src1}"##_.BroadcastStr##", $src2",
> + (_.VT (OpNode (X86VBroadcast (_.ScalarLdFrag addr:$src1)), (i8 imm:$src2))),
> + " ", SSE_INTSHIFT_ITINS_P.rm>, AVX512BIi8Base, EVEX_4V, EVEX_B;
> +}
> +
> multiclass avx512_shift_rrm<bits<8> opc, string OpcodeStr, SDNode OpNode,
> - ValueType SrcVT, PatFrag bc_frag, X86VectorVTInfo _> {
> + ValueType SrcVT, PatFrag bc_frag, X86VectorVTInfo _> {
> // src2 is always 128-bit
> defm rr : AVX512_maskable<opc, MRMSrcReg, _, (outs _.RC:$dst),
> (ins _.RC:$src1, VR128X:$src2), OpcodeStr,
> @@ -3467,46 +3479,95 @@ multiclass avx512_shift_rrm<bits<8> opc,
> (ins _.RC:$src1, i128mem:$src2), OpcodeStr,
> "$src2, $src1", "$src1, $src2",
> (_.VT (OpNode _.RC:$src1, (bc_frag (loadv2i64 addr:$src2)))),
> - " ", SSE_INTSHIFT_ITINS_P.rm>, AVX512BIBase, EVEX_4V;
> + " ", SSE_INTSHIFT_ITINS_P.rm>, AVX512BIBase,
> + EVEX_4V;
> }
>
> multiclass avx512_shift_sizes<bits<8> opc, string OpcodeStr, SDNode OpNode,
> - ValueType SrcVT, PatFrag bc_frag, X86VectorVTInfo _> {
> - defm Z : avx512_shift_rrm<opc, OpcodeStr, OpNode, SrcVT, bc_frag, _>, EVEX_V512;
> + ValueType SrcVT, PatFrag bc_frag,
> + AVX512VLVectorVTInfo VTInfo, Predicate prd> {
> + let Predicates = [prd] in
> + defm Z : avx512_shift_rrm<opc, OpcodeStr, OpNode, SrcVT, bc_frag,
> + VTInfo.info512>, EVEX_V512,
> + EVEX_CD8<VTInfo.info512.EltSize, CD8VQ> ;
> + let Predicates = [prd, HasVLX] in {
> + defm Z256 : avx512_shift_rrm<opc, OpcodeStr, OpNode, SrcVT, bc_frag,
> + VTInfo.info256>, EVEX_V256,
> + EVEX_CD8<VTInfo.info256.EltSize, CD8VH>;
> + defm Z128 : avx512_shift_rrm<opc, OpcodeStr, OpNode, SrcVT, bc_frag,
> + VTInfo.info128>, EVEX_V128,
> + EVEX_CD8<VTInfo.info128.EltSize, CD8VF>;
> + }
> }
>
> -multiclass avx512_shift_types<bits<8> opcd, bits<8> opcq, string OpcodeStr,
> - SDNode OpNode> {
> +multiclass avx512_shift_types<bits<8> opcd, bits<8> opcq, bits<8> opcw,
> + string OpcodeStr, SDNode OpNode> {
> defm D : avx512_shift_sizes<opcd, OpcodeStr#"d", OpNode, v4i32, bc_v4i32,
> - v16i32_info>, EVEX_CD8<32, CD8VQ>;
> + avx512vl_i32_info, HasAVX512>;
> defm Q : avx512_shift_sizes<opcq, OpcodeStr#"q", OpNode, v2i64, bc_v2i64,
> - v8i64_info>, EVEX_CD8<64, CD8VQ>, VEX_W;
> -}
> -
> -defm VPSRLDZ : avx512_shift_rmi<0x72, MRM2r, MRM2m, "vpsrld", X86vsrli,
> - v16i32_info>,
> - EVEX_V512, EVEX_CD8<32, CD8VF>;
> -defm VPSRLQZ : avx512_shift_rmi<0x73, MRM2r, MRM2m, "vpsrlq", X86vsrli,
> - v8i64_info>, EVEX_V512,
> - EVEX_CD8<64, CD8VF>, VEX_W;
> -
> -defm VPSLLDZ : avx512_shift_rmi<0x72, MRM6r, MRM6m, "vpslld", X86vshli,
> - v16i32_info>, EVEX_V512,
> - EVEX_CD8<32, CD8VF>;
> -defm VPSLLQZ : avx512_shift_rmi<0x73, MRM6r, MRM6m, "vpsllq", X86vshli,
> - v8i64_info>, EVEX_V512,
> - EVEX_CD8<64, CD8VF>, VEX_W;
> -
> -defm VPSRADZ : avx512_shift_rmi<0x72, MRM4r, MRM4m, "vpsrad", X86vsrai,
> - v16i32_info>,
> - EVEX_V512, EVEX_CD8<32, CD8VF>;
> -defm VPSRAQZ : avx512_shift_rmi<0x72, MRM4r, MRM4m, "vpsraq", X86vsrai,
> - v8i64_info>, EVEX_V512,
> - EVEX_CD8<64, CD8VF>, VEX_W;
> -
> -defm VPSLL : avx512_shift_types<0xF2, 0xF3, "vpsll", X86vshl>;
> -defm VPSRA : avx512_shift_types<0xE2, 0xE2, "vpsra", X86vsra>;
> -defm VPSRL : avx512_shift_types<0xD2, 0xD3, "vpsrl", X86vsrl>;
> + avx512vl_i64_info, HasAVX512>, VEX_W;
> + defm W : avx512_shift_sizes<opcw, OpcodeStr#"w", OpNode, v8i16, bc_v8i16,
> + avx512vl_i16_info, HasBWI>;
> +}
> +
> +multiclass avx512_shift_rmi_sizes<bits<8> opc, Format ImmFormR, Format ImmFormM,
> + string OpcodeStr, SDNode OpNode,
> + AVX512VLVectorVTInfo VTInfo> {
> + let Predicates = [HasAVX512] in
> + defm Z: avx512_shift_rmi<opc, ImmFormR, ImmFormM, OpcodeStr, OpNode,
> + VTInfo.info512>,
> + avx512_shift_rmbi<opc, ImmFormM, OpcodeStr, OpNode,
> + VTInfo.info512>, EVEX_V512;
> + let Predicates = [HasAVX512, HasVLX] in {
> + defm Z256: avx512_shift_rmi<opc, ImmFormR, ImmFormM, OpcodeStr, OpNode,
> + VTInfo.info256>,
> + avx512_shift_rmbi<opc, ImmFormM, OpcodeStr, OpNode,
> + VTInfo.info256>, EVEX_V256;
> + defm Z128: avx512_shift_rmi<opc, ImmFormR, ImmFormM, OpcodeStr, OpNode,
> + VTInfo.info128>,
> + avx512_shift_rmbi<opc, ImmFormM, OpcodeStr, OpNode,
> + VTInfo.info128>, EVEX_V128;
> + }
> +}
> +
> +multiclass avx512_shift_rmi_w<bits<8> opcw,
> + Format ImmFormR, Format ImmFormM,
> + string OpcodeStr, SDNode OpNode> {
> + let Predicates = [HasBWI] in
> + defm WZ: avx512_shift_rmi<opcw, ImmFormR, ImmFormM, OpcodeStr, OpNode,
> + v32i16_info>, EVEX_V512;
> + let Predicates = [HasVLX, HasBWI] in {
> + defm WZ256: avx512_shift_rmi<opcw, ImmFormR, ImmFormM, OpcodeStr, OpNode,
> + v16i16x_info>, EVEX_V256;
> + defm WZ128: avx512_shift_rmi<opcw, ImmFormR, ImmFormM, OpcodeStr, OpNode,
> + v8i16x_info>, EVEX_V128;
> + }
> +}
> +
> +multiclass avx512_shift_rmi_dq<bits<8> opcd, bits<8> opcq,
> + Format ImmFormR, Format ImmFormM,
> + string OpcodeStr, SDNode OpNode> {
> + defm D: avx512_shift_rmi_sizes<opcd, ImmFormR, ImmFormM, OpcodeStr#"d", OpNode,
> + avx512vl_i32_info>, EVEX_CD8<32, CD8VF>;
> + defm Q: avx512_shift_rmi_sizes<opcq, ImmFormR, ImmFormM, OpcodeStr#"q", OpNode,
> + avx512vl_i64_info>, EVEX_CD8<64, CD8VF>, VEX_W;
> +}
> +
> +defm VPSRL : avx512_shift_rmi_dq<0x72, 0x73, MRM2r, MRM2m, "vpsrl", X86vsrli>,
> + avx512_shift_rmi_w<0x71, MRM2r, MRM2m, "vpsrlw", X86vsrli>;
> +
> +defm VPSLL : avx512_shift_rmi_dq<0x72, 0x73, MRM6r, MRM6m, "vpsll", X86vshli>,
> + avx512_shift_rmi_w<0x71, MRM6r, MRM6m, "vpsllw", X86vshli>;
> +
> +defm VPSRA : avx512_shift_rmi_dq<0x72, 0x73, MRM4r, MRM4m, "vpsra", X86vsrai>,
> + avx512_shift_rmi_w<0x71, MRM4r, MRM4m, "vpsraw", X86vsrai>;
> +
> +defm VPROR : avx512_shift_rmi_dq<0x72, 0x73, MRM0r, MRM0m, "vpror", rotr>;
> +defm VPROL : avx512_shift_rmi_dq<0x72, 0x73, MRM1r, MRM1m, "vprol", rotl>;
> +
> +defm VPSLL : avx512_shift_types<0xF2, 0xF3, 0xF1, "vpsll", X86vshl>;
> +defm VPSRA : avx512_shift_types<0xE2, 0xE2, 0xE1, "vpsra", X86vsra>;
> +defm VPSRL : avx512_shift_types<0xD2, 0xD3, 0xD1, "vpsrl", X86vsrl>;
>
> //===-------------------------------------------------------------------===//
> // Variable Bit Shifts
> @@ -3518,29 +3579,71 @@ multiclass avx512_var_shift<bits<8> opc,
> "$src2, $src1", "$src1, $src2",
> (_.VT (OpNode _.RC:$src1, (_.VT _.RC:$src2))),
> " ", SSE_INTSHIFT_ITINS_P.rr>, AVX5128IBase, EVEX_4V;
> + let mayLoad = 1 in
> defm rm : AVX512_maskable<opc, MRMSrcMem, _, (outs _.RC:$dst),
> (ins _.RC:$src1, _.MemOp:$src2), OpcodeStr,
> "$src2, $src1", "$src1, $src2",
> (_.VT (OpNode _.RC:$src1, (_.LdFrag addr:$src2))),
> - " ", SSE_INTSHIFT_ITINS_P.rm>, AVX5128IBase, EVEX_4V;
> + " ", SSE_INTSHIFT_ITINS_P.rm>, AVX5128IBase, EVEX_4V,
> + EVEX_CD8<_.EltSize, CD8VF>;
> }
>
> +multiclass avx512_var_shift_mb<bits<8> opc, string OpcodeStr, SDNode OpNode,
> + X86VectorVTInfo _> {
> + let mayLoad = 1 in
> + defm rmb : AVX512_maskable<opc, MRMSrcMem, _, (outs _.RC:$dst),
> + (ins _.RC:$src1, _.ScalarMemOp:$src2), OpcodeStr,
> + "${src2}"##_.BroadcastStr##", $src1",
> + "$src1, ${src2}"##_.BroadcastStr,
> + (_.VT (OpNode _.RC:$src1, (_.VT (X86VBroadcast
> + (_.ScalarLdFrag addr:$src2))))),
> + " ", SSE_INTSHIFT_ITINS_P.rm>, AVX5128IBase, EVEX_B,
> + EVEX_4V, EVEX_CD8<_.EltSize, CD8VF>;
> +}
> multiclass avx512_var_shift_sizes<bits<8> opc, string OpcodeStr, SDNode OpNode,
> AVX512VLVectorVTInfo _> {
> - defm Z : avx512_var_shift<opc, OpcodeStr, OpNode, _.info512>, EVEX_V512;
> + let Predicates = [HasAVX512] in
> + defm Z : avx512_var_shift<opc, OpcodeStr, OpNode, _.info512>,
> + avx512_var_shift_mb<opc, OpcodeStr, OpNode, _.info512>, EVEX_V512;
> +
> + let Predicates = [HasAVX512, HasVLX] in {
> + defm Z256 : avx512_var_shift<opc, OpcodeStr, OpNode, _.info256>,
> + avx512_var_shift_mb<opc, OpcodeStr, OpNode, _.info256>, EVEX_V256;
> + defm Z128 : avx512_var_shift<opc, OpcodeStr, OpNode, _.info128>,
> + avx512_var_shift_mb<opc, OpcodeStr, OpNode, _.info128>, EVEX_V128;
> + }
> }
>
> multiclass avx512_var_shift_types<bits<8> opc, string OpcodeStr,
> SDNode OpNode> {
> defm D : avx512_var_shift_sizes<opc, OpcodeStr#"d", OpNode,
> - avx512vl_i32_info>, EVEX_CD8<32, CD8VQ>;
> + avx512vl_i32_info>;
> defm Q : avx512_var_shift_sizes<opc, OpcodeStr#"q", OpNode,
> - avx512vl_i64_info>, EVEX_CD8<64, CD8VQ>, VEX_W;
> + avx512vl_i64_info>, VEX_W;
> }
>
> -defm VPSLLV : avx512_var_shift_types<0x47, "vpsllv", shl>;
> -defm VPSRAV : avx512_var_shift_types<0x46, "vpsrav", sra>;
> -defm VPSRLV : avx512_var_shift_types<0x45, "vpsrlv", srl>;
> +multiclass avx512_var_shift_w<bits<8> opc, string OpcodeStr,
> + SDNode OpNode> {
> + let Predicates = [HasBWI] in
> + defm WZ: avx512_var_shift<opc, OpcodeStr, OpNode, v32i16_info>,
> + EVEX_V512, VEX_W;
> + let Predicates = [HasVLX, HasBWI] in {
> +
> + defm WZ256: avx512_var_shift<opc, OpcodeStr, OpNode, v16i16x_info>,
> + EVEX_V256, VEX_W;
> + defm WZ128: avx512_var_shift<opc, OpcodeStr, OpNode, v8i16x_info>,
> + EVEX_V128, VEX_W;
> + }
> +}
> +
> +defm VPSLLV : avx512_var_shift_types<0x47, "vpsllv", shl>,
> + avx512_var_shift_w<0x12, "vpsllvw", shl>;
> +defm VPSRAV : avx512_var_shift_types<0x46, "vpsrav", sra>,
> + avx512_var_shift_w<0x11, "vpsravw", sra>;
> +defm VPSRLV : avx512_var_shift_types<0x45, "vpsrlv", srl>,
> + avx512_var_shift_w<0x10, "vpsrlvw", srl>;
> +defm VPRORV : avx512_var_shift_types<0x14, "vprorv", rotr>;
> +defm VPROLV : avx512_var_shift_types<0x15, "vprolv", rotl>;
>
> //===----------------------------------------------------------------------===//
> // AVX-512 - MOVDDUP
>
> Modified: llvm/trunk/lib/Target/X86/X86InstrSSE.td
> URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Target/X86/X86InstrSSE.td?rev=231916&r1=231915&r2=231916&view=diff
> ==============================================================================
> --- llvm/trunk/lib/Target/X86/X86InstrSSE.td (original)
> +++ llvm/trunk/lib/Target/X86/X86InstrSSE.td Wed Mar 11 05:25:42 2015
> @@ -4077,7 +4077,7 @@ defm PMULUDQ : PDI_binop_rm2<0xF4, "pmul
> // SSE2 - Packed Integer Logical Instructions
> //===---------------------------------------------------------------------===//
>
> -let Predicates = [HasAVX] in {
> +let Predicates = [HasAVX, NoVLX] in {
> defm VPSLLW : PDI_binop_rmi<0xF1, 0x71, MRM6r, "vpsllw", X86vshl, X86vshli,
> VR128, v8i16, v8i16, bc_v8i16, loadv2i64,
> SSE_INTSHIFT_ITINS_P, 0>, VEX_4V;
> @@ -4123,7 +4123,7 @@ let ExeDomain = SSEPackedInt, SchedRW =
> }
> } // Predicates = [HasAVX]
>
> -let Predicates = [HasAVX2] in {
> +let Predicates = [HasAVX2, NoVLX] in {
> defm VPSLLWY : PDI_binop_rmi<0xF1, 0x71, MRM6r, "vpsllw", X86vshl, X86vshli,
> VR256, v16i16, v8i16, bc_v8i16, loadv2i64,
> SSE_INTSHIFT_ITINS_P, 0>, VEX_4V, VEX_L;
>
> Modified: llvm/trunk/test/MC/X86/x86-64-avx512bw.s
> URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/MC/X86/x86-64-avx512bw.s?rev=231916&r1=231915&r2=231916&view=diff
> ==============================================================================
> --- llvm/trunk/test/MC/X86/x86-64-avx512bw.s (original)
> +++ llvm/trunk/test/MC/X86/x86-64-avx512bw.s Wed Mar 11 05:25:42 2015
> @@ -1747,3 +1747,264 @@
> // CHECK: vpcmpnleuw -8256(%rdx), %zmm22, %k4
> // CHECK: encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x06]
> vpcmpnleuw -8256(%rdx), %zmm22, %k4
> +
> +// CHECK: vpsllw %xmm24, %zmm21, %zmm24
> +// CHECK: encoding: [0x62,0x01,0x55,0x40,0xf1,0xc0]
> + vpsllw %xmm24, %zmm21, %zmm24
> +
> +// CHECK: vpsllw %xmm24, %zmm21, %zmm24 {%k2}
> +// CHECK: encoding: [0x62,0x01,0x55,0x42,0xf1,0xc0]
> + vpsllw %xmm24, %zmm21, %zmm24 {%k2}
> +
> +// CHECK: vpsllw %xmm24, %zmm21, %zmm24 {%k2} {z}
> +// CHECK: encoding: [0x62,0x01,0x55,0xc2,0xf1,0xc0]
> + vpsllw %xmm24, %zmm21, %zmm24 {%k2} {z}
> +
> +// CHECK: vpsllw (%rcx), %zmm21, %zmm24
> +// CHECK: encoding: [0x62,0x61,0x55,0x40,0xf1,0x01]
> + vpsllw (%rcx), %zmm21, %zmm24
> +
> +// CHECK: vpsllw 291(%rax,%r14,8), %zmm21, %zmm24
> +// CHECK: encoding: [0x62,0x21,0x55,0x40,0xf1,0x84,0xf0,0x23,0x01,0x00,0x00]
> + vpsllw 291(%rax,%r14,8), %zmm21, %zmm24
> +
> +// CHECK: vpsllw 2032(%rdx), %zmm21, %zmm24
> +// CHECK: encoding: [0x62,0x61,0x55,0x40,0xf1,0x42,0x7f]
> + vpsllw 2032(%rdx), %zmm21, %zmm24
> +
> +// CHECK: vpsllw 2048(%rdx), %zmm21, %zmm24
> +// CHECK: encoding: [0x62,0x61,0x55,0x40,0xf1,0x82,0x00,0x08,0x00,0x00]
> + vpsllw 2048(%rdx), %zmm21, %zmm24
> +
> +// CHECK: vpsllw -2048(%rdx), %zmm21, %zmm24
> +// CHECK: encoding: [0x62,0x61,0x55,0x40,0xf1,0x42,0x80]
> + vpsllw -2048(%rdx), %zmm21, %zmm24
> +
> +// CHECK: vpsllw -2064(%rdx), %zmm21, %zmm24
> +// CHECK: encoding: [0x62,0x61,0x55,0x40,0xf1,0x82,0xf0,0xf7,0xff,0xff]
> + vpsllw -2064(%rdx), %zmm21, %zmm24
> +
> +// CHECK: vpsraw %xmm21, %zmm27, %zmm28
> +// CHECK: encoding: [0x62,0x21,0x25,0x40,0xe1,0xe5]
> + vpsraw %xmm21, %zmm27, %zmm28
> +
> +// CHECK: vpsraw %xmm21, %zmm27, %zmm28 {%k4}
> +// CHECK: encoding: [0x62,0x21,0x25,0x44,0xe1,0xe5]
> + vpsraw %xmm21, %zmm27, %zmm28 {%k4}
> +
> +// CHECK: vpsraw %xmm21, %zmm27, %zmm28 {%k4} {z}
> +// CHECK: encoding: [0x62,0x21,0x25,0xc4,0xe1,0xe5]
> + vpsraw %xmm21, %zmm27, %zmm28 {%k4} {z}
> +
> +// CHECK: vpsraw (%rcx), %zmm27, %zmm28
> +// CHECK: encoding: [0x62,0x61,0x25,0x40,0xe1,0x21]
> + vpsraw (%rcx), %zmm27, %zmm28
> +
> +// CHECK: vpsraw 291(%rax,%r14,8), %zmm27, %zmm28
> +// CHECK: encoding: [0x62,0x21,0x25,0x40,0xe1,0xa4,0xf0,0x23,0x01,0x00,0x00]
> + vpsraw 291(%rax,%r14,8), %zmm27, %zmm28
> +
> +// CHECK: vpsraw 2032(%rdx), %zmm27, %zmm28
> +// CHECK: encoding: [0x62,0x61,0x25,0x40,0xe1,0x62,0x7f]
> + vpsraw 2032(%rdx), %zmm27, %zmm28
> +
> +// CHECK: vpsraw 2048(%rdx), %zmm27, %zmm28
> +// CHECK: encoding: [0x62,0x61,0x25,0x40,0xe1,0xa2,0x00,0x08,0x00,0x00]
> + vpsraw 2048(%rdx), %zmm27, %zmm28
> +
> +// CHECK: vpsraw -2048(%rdx), %zmm27, %zmm28
> +// CHECK: encoding: [0x62,0x61,0x25,0x40,0xe1,0x62,0x80]
> + vpsraw -2048(%rdx), %zmm27, %zmm28
> +
> +// CHECK: vpsraw -2064(%rdx), %zmm27, %zmm28
> +// CHECK: encoding: [0x62,0x61,0x25,0x40,0xe1,0xa2,0xf0,0xf7,0xff,0xff]
> + vpsraw -2064(%rdx), %zmm27, %zmm28
> +
> +// CHECK: vpsrlw %xmm22, %zmm20, %zmm23
> +// CHECK: encoding: [0x62,0xa1,0x5d,0x40,0xd1,0xfe]
> + vpsrlw %xmm22, %zmm20, %zmm23
> +
> +// CHECK: vpsrlw %xmm22, %zmm20, %zmm23 {%k6}
> +// CHECK: encoding: [0x62,0xa1,0x5d,0x46,0xd1,0xfe]
> + vpsrlw %xmm22, %zmm20, %zmm23 {%k6}
> +
> +// CHECK: vpsrlw %xmm22, %zmm20, %zmm23 {%k6} {z}
> +// CHECK: encoding: [0x62,0xa1,0x5d,0xc6,0xd1,0xfe]
> + vpsrlw %xmm22, %zmm20, %zmm23 {%k6} {z}
> +
> +// CHECK: vpsrlw (%rcx), %zmm20, %zmm23
> +// CHECK: encoding: [0x62,0xe1,0x5d,0x40,0xd1,0x39]
> + vpsrlw (%rcx), %zmm20, %zmm23
> +
> +// CHECK: vpsrlw 291(%rax,%r14,8), %zmm20, %zmm23
> +// CHECK: encoding: [0x62,0xa1,0x5d,0x40,0xd1,0xbc,0xf0,0x23,0x01,0x00,0x00]
> + vpsrlw 291(%rax,%r14,8), %zmm20, %zmm23
> +
> +// CHECK: vpsrlw 2032(%rdx), %zmm20, %zmm23
> +// CHECK: encoding: [0x62,0xe1,0x5d,0x40,0xd1,0x7a,0x7f]
> + vpsrlw 2032(%rdx), %zmm20, %zmm23
> +
> +// CHECK: vpsrlw 2048(%rdx), %zmm20, %zmm23
> +// CHECK: encoding: [0x62,0xe1,0x5d,0x40,0xd1,0xba,0x00,0x08,0x00,0x00]
> + vpsrlw 2048(%rdx), %zmm20, %zmm23
> +
> +// CHECK: vpsrlw -2048(%rdx), %zmm20, %zmm23
> +// CHECK: encoding: [0x62,0xe1,0x5d,0x40,0xd1,0x7a,0x80]
> + vpsrlw -2048(%rdx), %zmm20, %zmm23
> +
> +// CHECK: vpsrlw -2064(%rdx), %zmm20, %zmm23
> +// CHECK: encoding: [0x62,0xe1,0x5d,0x40,0xd1,0xba,0xf0,0xf7,0xff,0xff]
> + vpsrlw -2064(%rdx), %zmm20, %zmm23
> +
> +// CHECK: vpsrlw $171, %zmm26, %zmm25
> +// CHECK: encoding: [0x62,0x91,0x35,0x40,0x71,0xd2,0xab]
> + vpsrlw $171, %zmm26, %zmm25
> +
> +// CHECK: vpsrlw $171, %zmm26, %zmm25 {%k6}
> +// CHECK: encoding: [0x62,0x91,0x35,0x46,0x71,0xd2,0xab]
> + vpsrlw $171, %zmm26, %zmm25 {%k6}
> +
> +// CHECK: vpsrlw $171, %zmm26, %zmm25 {%k6} {z}
> +// CHECK: encoding: [0x62,0x91,0x35,0xc6,0x71,0xd2,0xab]
> + vpsrlw $171, %zmm26, %zmm25 {%k6} {z}
> +
> +// CHECK: vpsrlw $123, %zmm26, %zmm25
> +// CHECK: encoding: [0x62,0x91,0x35,0x40,0x71,0xd2,0x7b]
> + vpsrlw $123, %zmm26, %zmm25
> +
> +// CHECK: vpsrlw $123, (%rcx), %zmm25
> +// CHECK: encoding: [0x62,0xf1,0x35,0x40,0x71,0x11,0x7b]
> + vpsrlw $123, (%rcx), %zmm25
> +
> +// CHECK: vpsrlw $123, 291(%rax,%r14,8), %zmm25
> +// CHECK: encoding: [0x62,0xb1,0x35,0x40,0x71,0x94,0xf0,0x23,0x01,0x00,0x00,0x7b]
> + vpsrlw $123, 291(%rax,%r14,8), %zmm25
> +
> +// CHECK: vpsrlw $123, 8128(%rdx), %zmm25
> +// CHECK: encoding: [0x62,0xf1,0x35,0x40,0x71,0x52,0x7f,0x7b]
> + vpsrlw $123, 8128(%rdx), %zmm25
> +
> +// CHECK: vpsrlw $123, 8192(%rdx), %zmm25
> +// CHECK: encoding: [0x62,0xf1,0x35,0x40,0x71,0x92,0x00,0x20,0x00,0x00,0x7b]
> + vpsrlw $123, 8192(%rdx), %zmm25
> +
> +// CHECK: vpsrlw $123, -8192(%rdx), %zmm25
> +// CHECK: encoding: [0x62,0xf1,0x35,0x40,0x71,0x52,0x80,0x7b]
> + vpsrlw $123, -8192(%rdx), %zmm25
> +
> +// CHECK: vpsrlw $123, -8256(%rdx), %zmm25
> +// CHECK: encoding: [0x62,0xf1,0x35,0x40,0x71,0x92,0xc0,0xdf,0xff,0xff,0x7b]
> + vpsrlw $123, -8256(%rdx), %zmm25
> +
> +// CHECK: vpsraw $171, %zmm29, %zmm28
> +// CHECK: encoding: [0x62,0x91,0x1d,0x40,0x71,0xe5,0xab]
> + vpsraw $171, %zmm29, %zmm28
> +
> +// CHECK: vpsraw $171, %zmm29, %zmm28 {%k4}
> +// CHECK: encoding: [0x62,0x91,0x1d,0x44,0x71,0xe5,0xab]
> + vpsraw $171, %zmm29, %zmm28 {%k4}
> +
> +// CHECK: vpsraw $171, %zmm29, %zmm28 {%k4} {z}
> +// CHECK: encoding: [0x62,0x91,0x1d,0xc4,0x71,0xe5,0xab]
> + vpsraw $171, %zmm29, %zmm28 {%k4} {z}
> +
> +// CHECK: vpsraw $123, %zmm29, %zmm28
> +// CHECK: encoding: [0x62,0x91,0x1d,0x40,0x71,0xe5,0x7b]
> + vpsraw $123, %zmm29, %zmm28
> +
> +// CHECK: vpsraw $123, (%rcx), %zmm28
> +// CHECK: encoding: [0x62,0xf1,0x1d,0x40,0x71,0x21,0x7b]
> + vpsraw $123, (%rcx), %zmm28
> +
> +// CHECK: vpsraw $123, 291(%rax,%r14,8), %zmm28
> +// CHECK: encoding: [0x62,0xb1,0x1d,0x40,0x71,0xa4,0xf0,0x23,0x01,0x00,0x00,0x7b]
> + vpsraw $123, 291(%rax,%r14,8), %zmm28
> +
> +// CHECK: vpsraw $123, 8128(%rdx), %zmm28
> +// CHECK: encoding: [0x62,0xf1,0x1d,0x40,0x71,0x62,0x7f,0x7b]
> + vpsraw $123, 8128(%rdx), %zmm28
> +
> +// CHECK: vpsraw $123, 8192(%rdx), %zmm28
> +// CHECK: encoding: [0x62,0xf1,0x1d,0x40,0x71,0xa2,0x00,0x20,0x00,0x00,0x7b]
> + vpsraw $123, 8192(%rdx), %zmm28
> +
> +// CHECK: vpsraw $123, -8192(%rdx), %zmm28
> +// CHECK: encoding: [0x62,0xf1,0x1d,0x40,0x71,0x62,0x80,0x7b]
> + vpsraw $123, -8192(%rdx), %zmm28
> +
> +// CHECK: vpsraw $123, -8256(%rdx), %zmm28
> +// CHECK: encoding: [0x62,0xf1,0x1d,0x40,0x71,0xa2,0xc0,0xdf,0xff,0xff,0x7b]
> + vpsraw $123, -8256(%rdx), %zmm28
> +
> +// CHECK: vpsrlvw %zmm21, %zmm18, %zmm17
> +// CHECK: encoding: [0x62,0xa2,0xed,0x40,0x10,0xcd]
> + vpsrlvw %zmm21, %zmm18, %zmm17
> +
> +// CHECK: vpsrlvw %zmm21, %zmm18, %zmm17 {%k6}
> +// CHECK: encoding: [0x62,0xa2,0xed,0x46,0x10,0xcd]
> + vpsrlvw %zmm21, %zmm18, %zmm17 {%k6}
> +
> +// CHECK: vpsrlvw %zmm21, %zmm18, %zmm17 {%k6} {z}
> +// CHECK: encoding: [0x62,0xa2,0xed,0xc6,0x10,0xcd]
> + vpsrlvw %zmm21, %zmm18, %zmm17 {%k6} {z}
> +
> +// CHECK: vpsrlvw (%rcx), %zmm18, %zmm17
> +// CHECK: encoding: [0x62,0xe2,0xed,0x40,0x10,0x09]
> + vpsrlvw (%rcx), %zmm18, %zmm17
> +
> +// CHECK: vpsrlvw 291(%rax,%r14,8), %zmm18, %zmm17
> +// CHECK: encoding: [0x62,0xa2,0xed,0x40,0x10,0x8c,0xf0,0x23,0x01,0x00,0x00]
> + vpsrlvw 291(%rax,%r14,8), %zmm18, %zmm17
> +
> +// CHECK: vpsrlvw 8128(%rdx), %zmm18, %zmm17
> +// CHECK: encoding: [0x62,0xe2,0xed,0x40,0x10,0x4a,0x7f]
> + vpsrlvw 8128(%rdx), %zmm18, %zmm17
> +
> +// CHECK: vpsrlvw 8192(%rdx), %zmm18, %zmm17
> +// CHECK: encoding: [0x62,0xe2,0xed,0x40,0x10,0x8a,0x00,0x20,0x00,0x00]
> + vpsrlvw 8192(%rdx), %zmm18, %zmm17
> +
> +// CHECK: vpsrlvw -8192(%rdx), %zmm18, %zmm17
> +// CHECK: encoding: [0x62,0xe2,0xed,0x40,0x10,0x4a,0x80]
> + vpsrlvw -8192(%rdx), %zmm18, %zmm17
> +
> +// CHECK: vpsrlvw -8256(%rdx), %zmm18, %zmm17
> +// CHECK: encoding: [0x62,0xe2,0xed,0x40,0x10,0x8a,0xc0,0xdf,0xff,0xff]
> + vpsrlvw -8256(%rdx), %zmm18, %zmm17
> +
> +// CHECK: vpsravw %zmm20, %zmm29, %zmm19
> +// CHECK: encoding: [0x62,0xa2,0x95,0x40,0x11,0xdc]
> + vpsravw %zmm20, %zmm29, %zmm19
> +
> +// CHECK: vpsravw %zmm20, %zmm29, %zmm19 {%k7}
> +// CHECK: encoding: [0x62,0xa2,0x95,0x47,0x11,0xdc]
> + vpsravw %zmm20, %zmm29, %zmm19 {%k7}
> +
> +// CHECK: vpsravw %zmm20, %zmm29, %zmm19 {%k7} {z}
> +// CHECK: encoding: [0x62,0xa2,0x95,0xc7,0x11,0xdc]
> + vpsravw %zmm20, %zmm29, %zmm19 {%k7} {z}
> +
> +// CHECK: vpsravw (%rcx), %zmm29, %zmm19
> +// CHECK: encoding: [0x62,0xe2,0x95,0x40,0x11,0x19]
> + vpsravw (%rcx), %zmm29, %zmm19
> +
> +// CHECK: vpsravw 291(%rax,%r14,8), %zmm29, %zmm19
> +// CHECK: encoding: [0x62,0xa2,0x95,0x40,0x11,0x9c,0xf0,0x23,0x01,0x00,0x00]
> + vpsravw 291(%rax,%r14,8), %zmm29, %zmm19
> +
> +// CHECK: vpsravw 8128(%rdx), %zmm29, %zmm19
> +// CHECK: encoding: [0x62,0xe2,0x95,0x40,0x11,0x5a,0x7f]
> + vpsravw 8128(%rdx), %zmm29, %zmm19
> +
> +// CHECK: vpsravw 8192(%rdx), %zmm29, %zmm19
> +// CHECK: encoding: [0x62,0xe2,0x95,0x40,0x11,0x9a,0x00,0x20,0x00,0x00]
> + vpsravw 8192(%rdx), %zmm29, %zmm19
> +
> +// CHECK: vpsravw -8192(%rdx), %zmm29, %zmm19
> +// CHECK: encoding: [0x62,0xe2,0x95,0x40,0x11,0x5a,0x80]
> + vpsravw -8192(%rdx), %zmm29, %zmm19
> +
> +// CHECK: vpsravw -8256(%rdx), %zmm29, %zmm19
> +// CHECK: encoding: [0x62,0xe2,0x95,0x40,0x11,0x9a,0xc0,0xdf,0xff,0xff]
> + vpsravw -8256(%rdx), %zmm29, %zmm19
> +
>
> Modified: llvm/trunk/test/MC/X86/x86-64-avx512bw_vl.s
> URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/MC/X86/x86-64-avx512bw_vl.s?rev=231916&r1=231915&r2=231916&view=diff
> ==============================================================================
> --- llvm/trunk/test/MC/X86/x86-64-avx512bw_vl.s (original)
> +++ llvm/trunk/test/MC/X86/x86-64-avx512bw_vl.s Wed Mar 11 05:25:42 2015
> @@ -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
>
> Modified: llvm/trunk/test/MC/X86/x86-64-avx512f_vl.s
> URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/MC/X86/x86-64-avx512f_vl.s?rev=231916&r1=231915&r2=231916&view=diff
> ==============================================================================
> --- llvm/trunk/test/MC/X86/x86-64-avx512f_vl.s (original)
> +++ llvm/trunk/test/MC/X86/x86-64-avx512f_vl.s Wed Mar 11 05:25:42 2015
> @@ -6684,3 +6684,1346 @@ vaddpd {rd-sae}, %zmm2, %zmm1, %zmm1
> // CHECK: encoding: [0x62,0xf1,0xf5,0x78,0x58,0xca]
> vaddpd {rz-sae}, %zmm2, %zmm1, %zmm1
>
> +// CHECK: vpslld %xmm22, %xmm21, %xmm18
> +// CHECK: encoding: [0x62,0xa1,0x55,0x00,0xf2,0xd6]
> + vpslld %xmm22, %xmm21, %xmm18
> +
> +// CHECK: vpslld %xmm22, %xmm21, %xmm18 {%k1}
> +// CHECK: encoding: [0x62,0xa1,0x55,0x01,0xf2,0xd6]
> + vpslld %xmm22, %xmm21, %xmm18 {%k1}
> +
> +// CHECK: vpslld %xmm22, %xmm21, %xmm18 {%k1} {z}
> +// CHECK: encoding: [0x62,0xa1,0x55,0x81,0xf2,0xd6]
> + vpslld %xmm22, %xmm21, %xmm18 {%k1} {z}
> +
> +// CHECK: vpslld (%rcx), %xmm21, %xmm18
> +// CHECK: encoding: [0x62,0xe1,0x55,0x00,0xf2,0x11]
> + vpslld (%rcx), %xmm21, %xmm18
> +
> +// CHECK: vpslld 291(%rax,%r14,8), %xmm21, %xmm18
> +// CHECK: encoding: [0x62,0xa1,0x55,0x00,0xf2,0x94,0xf0,0x23,0x01,0x00,0x00]
> + vpslld 291(%rax,%r14,8), %xmm21, %xmm18
> +
> +// CHECK: vpslld 2032(%rdx), %xmm21, %xmm18
> +// CHECK: encoding: [0x62,0xe1,0x55,0x00,0xf2,0x52,0x7f]
> + vpslld 2032(%rdx), %xmm21, %xmm18
> +
> +// CHECK: vpslld 2048(%rdx), %xmm21, %xmm18
> +// CHECK: encoding: [0x62,0xe1,0x55,0x00,0xf2,0x92,0x00,0x08,0x00,0x00]
> + vpslld 2048(%rdx), %xmm21, %xmm18
> +
> +// CHECK: vpslld -2048(%rdx), %xmm21, %xmm18
> +// CHECK: encoding: [0x62,0xe1,0x55,0x00,0xf2,0x52,0x80]
> + vpslld -2048(%rdx), %xmm21, %xmm18
> +
> +// CHECK: vpslld -2064(%rdx), %xmm21, %xmm18
> +// CHECK: encoding: [0x62,0xe1,0x55,0x00,0xf2,0x92,0xf0,0xf7,0xff,0xff]
> + vpslld -2064(%rdx), %xmm21, %xmm18
> +
> +// CHECK: vpslld %xmm25, %ymm26, %ymm29
> +// CHECK: encoding: [0x62,0x01,0x2d,0x20,0xf2,0xe9]
> + vpslld %xmm25, %ymm26, %ymm29
> +
> +// CHECK: vpslld %xmm25, %ymm26, %ymm29 {%k7}
> +// CHECK: encoding: [0x62,0x01,0x2d,0x27,0xf2,0xe9]
> + vpslld %xmm25, %ymm26, %ymm29 {%k7}
> +
> +// CHECK: vpslld %xmm25, %ymm26, %ymm29 {%k7} {z}
> +// CHECK: encoding: [0x62,0x01,0x2d,0xa7,0xf2,0xe9]
> + vpslld %xmm25, %ymm26, %ymm29 {%k7} {z}
> +
> +// CHECK: vpslld (%rcx), %ymm26, %ymm29
> +// CHECK: encoding: [0x62,0x61,0x2d,0x20,0xf2,0x29]
> + vpslld (%rcx), %ymm26, %ymm29
> +
> +// CHECK: vpslld 291(%rax,%r14,8), %ymm26, %ymm29
> +// CHECK: encoding: [0x62,0x21,0x2d,0x20,0xf2,0xac,0xf0,0x23,0x01,0x00,0x00]
> + vpslld 291(%rax,%r14,8), %ymm26, %ymm29
> +
> +// CHECK: vpslld 2032(%rdx), %ymm26, %ymm29
> +// CHECK: encoding: [0x62,0x61,0x2d,0x20,0xf2,0x6a,0x7f]
> + vpslld 2032(%rdx), %ymm26, %ymm29
> +
> +// CHECK: vpslld 2048(%rdx), %ymm26, %ymm29
> +// CHECK: encoding: [0x62,0x61,0x2d,0x20,0xf2,0xaa,0x00,0x08,0x00,0x00]
> + vpslld 2048(%rdx), %ymm26, %ymm29
> +
> +// CHECK: vpslld -2048(%rdx), %ymm26, %ymm29
> +// CHECK: encoding: [0x62,0x61,0x2d,0x20,0xf2,0x6a,0x80]
> + vpslld -2048(%rdx), %ymm26, %ymm29
> +
> +// CHECK: vpslld -2064(%rdx), %ymm26, %ymm29
> +// CHECK: encoding: [0x62,0x61,0x2d,0x20,0xf2,0xaa,0xf0,0xf7,0xff,0xff]
> + vpslld -2064(%rdx), %ymm26, %ymm29
> +
> +// CHECK: vpsllq %xmm24, %xmm28, %xmm20
> +// CHECK: encoding: [0x62,0x81,0x9d,0x00,0xf3,0xe0]
> + vpsllq %xmm24, %xmm28, %xmm20
> +
> +// CHECK: vpsllq %xmm24, %xmm28, %xmm20 {%k1}
> +// CHECK: encoding: [0x62,0x81,0x9d,0x01,0xf3,0xe0]
> + vpsllq %xmm24, %xmm28, %xmm20 {%k1}
> +
> +// CHECK: vpsllq %xmm24, %xmm28, %xmm20 {%k1} {z}
> +// CHECK: encoding: [0x62,0x81,0x9d,0x81,0xf3,0xe0]
> + vpsllq %xmm24, %xmm28, %xmm20 {%k1} {z}
> +
> +// CHECK: vpsllq (%rcx), %xmm28, %xmm20
> +// CHECK: encoding: [0x62,0xe1,0x9d,0x00,0xf3,0x21]
> + vpsllq (%rcx), %xmm28, %xmm20
> +
> +// CHECK: vpsllq 291(%rax,%r14,8), %xmm28, %xmm20
> +// CHECK: encoding: [0x62,0xa1,0x9d,0x00,0xf3,0xa4,0xf0,0x23,0x01,0x00,0x00]
> + vpsllq 291(%rax,%r14,8), %xmm28, %xmm20
> +
> +// CHECK: vpsllq 2032(%rdx), %xmm28, %xmm20
> +// CHECK: encoding: [0x62,0xe1,0x9d,0x00,0xf3,0x62,0x7f]
> + vpsllq 2032(%rdx), %xmm28, %xmm20
> +
> +// CHECK: vpsllq 2048(%rdx), %xmm28, %xmm20
> +// CHECK: encoding: [0x62,0xe1,0x9d,0x00,0xf3,0xa2,0x00,0x08,0x00,0x00]
> + vpsllq 2048(%rdx), %xmm28, %xmm20
> +
> +// CHECK: vpsllq -2048(%rdx), %xmm28, %xmm20
> +// CHECK: encoding: [0x62,0xe1,0x9d,0x00,0xf3,0x62,0x80]
> + vpsllq -2048(%rdx), %xmm28, %xmm20
> +
> +// CHECK: vpsllq -2064(%rdx), %xmm28, %xmm20
> +// CHECK: encoding: [0x62,0xe1,0x9d,0x00,0xf3,0xa2,0xf0,0xf7,0xff,0xff]
> + vpsllq -2064(%rdx), %xmm28, %xmm20
> +
> +// CHECK: vpsllq %xmm20, %ymm21, %ymm23
> +// CHECK: encoding: [0x62,0xa1,0xd5,0x20,0xf3,0xfc]
> + vpsllq %xmm20, %ymm21, %ymm23
> +
> +// CHECK: vpsllq %xmm20, %ymm21, %ymm23 {%k1}
> +// CHECK: encoding: [0x62,0xa1,0xd5,0x21,0xf3,0xfc]
> + vpsllq %xmm20, %ymm21, %ymm23 {%k1}
> +
> +// CHECK: vpsllq %xmm20, %ymm21, %ymm23 {%k1} {z}
> +// CHECK: encoding: [0x62,0xa1,0xd5,0xa1,0xf3,0xfc]
> + vpsllq %xmm20, %ymm21, %ymm23 {%k1} {z}
> +
> +// CHECK: vpsllq (%rcx), %ymm21, %ymm23
> +// CHECK: encoding: [0x62,0xe1,0xd5,0x20,0xf3,0x39]
> + vpsllq (%rcx), %ymm21, %ymm23
> +
> +// CHECK: vpsllq 291(%rax,%r14,8), %ymm21, %ymm23
> +// CHECK: encoding: [0x62,0xa1,0xd5,0x20,0xf3,0xbc,0xf0,0x23,0x01,0x00,0x00]
> + vpsllq 291(%rax,%r14,8), %ymm21, %ymm23
> +
> +// CHECK: vpsllq 2032(%rdx), %ymm21, %ymm23
> +// CHECK: encoding: [0x62,0xe1,0xd5,0x20,0xf3,0x7a,0x7f]
> + vpsllq 2032(%rdx), %ymm21, %ymm23
> +
> +// CHECK: vpsllq 2048(%rdx), %ymm21, %ymm23
> +// CHECK: encoding: [0x62,0xe1,0xd5,0x20,0xf3,0xba,0x00,0x08,0x00,0x00]
> + vpsllq 2048(%rdx), %ymm21, %ymm23
> +
> +// CHECK: vpsllq -2048(%rdx), %ymm21, %ymm23
> +// CHECK: encoding: [0x62,0xe1,0xd5,0x20,0xf3,0x7a,0x80]
> + vpsllq -2048(%rdx), %ymm21, %ymm23
> +
> +// CHECK: vpsllq -2064(%rdx), %ymm21, %ymm23
> +// CHECK: encoding: [0x62,0xe1,0xd5,0x20,0xf3,0xba,0xf0,0xf7,0xff,0xff]
> + vpsllq -2064(%rdx), %ymm21, %ymm23
> +
> +// CHECK: vpsllvd %xmm24, %xmm23, %xmm23
> +// CHECK: encoding: [0x62,0x82,0x45,0x00,0x47,0xf8]
> + vpsllvd %xmm24, %xmm23, %xmm23
> +
> +// CHECK: vpsllvd %xmm24, %xmm23, %xmm23 {%k6}
> +// CHECK: encoding: [0x62,0x82,0x45,0x06,0x47,0xf8]
> + vpsllvd %xmm24, %xmm23, %xmm23 {%k6}
> +
> +// CHECK: vpsllvd %xmm24, %xmm23, %xmm23 {%k6} {z}
> +// CHECK: encoding: [0x62,0x82,0x45,0x86,0x47,0xf8]
> + vpsllvd %xmm24, %xmm23, %xmm23 {%k6} {z}
> +
> +// CHECK: vpsllvd (%rcx), %xmm23, %xmm23
> +// CHECK: encoding: [0x62,0xe2,0x45,0x00,0x47,0x39]
> + vpsllvd (%rcx), %xmm23, %xmm23
> +
> +// CHECK: vpsllvd 291(%rax,%r14,8), %xmm23, %xmm23
> +// CHECK: encoding: [0x62,0xa2,0x45,0x00,0x47,0xbc,0xf0,0x23,0x01,0x00,0x00]
> + vpsllvd 291(%rax,%r14,8), %xmm23, %xmm23
> +
> +// CHECK: vpsllvd (%rcx){1to4}, %xmm23, %xmm23
> +// CHECK: encoding: [0x62,0xe2,0x45,0x10,0x47,0x39]
> + vpsllvd (%rcx){1to4}, %xmm23, %xmm23
> +
> +// CHECK: vpsllvd 2032(%rdx), %xmm23, %xmm23
> +// CHECK: encoding: [0x62,0xe2,0x45,0x00,0x47,0x7a,0x7f]
> + vpsllvd 2032(%rdx), %xmm23, %xmm23
> +
> +// CHECK: vpsllvd 2048(%rdx), %xmm23, %xmm23
> +// CHECK: encoding: [0x62,0xe2,0x45,0x00,0x47,0xba,0x00,0x08,0x00,0x00]
> + vpsllvd 2048(%rdx), %xmm23, %xmm23
> +
> +// CHECK: vpsllvd -2048(%rdx), %xmm23, %xmm23
> +// CHECK: encoding: [0x62,0xe2,0x45,0x00,0x47,0x7a,0x80]
> + vpsllvd -2048(%rdx), %xmm23, %xmm23
> +
> +// CHECK: vpsllvd -2064(%rdx), %xmm23, %xmm23
> +// CHECK: encoding: [0x62,0xe2,0x45,0x00,0x47,0xba,0xf0,0xf7,0xff,0xff]
> + vpsllvd -2064(%rdx), %xmm23, %xmm23
> +
> +// CHECK: vpsllvd 508(%rdx){1to4}, %xmm23, %xmm23
> +// CHECK: encoding: [0x62,0xe2,0x45,0x10,0x47,0x7a,0x7f]
> + vpsllvd 508(%rdx){1to4}, %xmm23, %xmm23
> +
> +// CHECK: vpsllvd 512(%rdx){1to4}, %xmm23, %xmm23
> +// CHECK: encoding: [0x62,0xe2,0x45,0x10,0x47,0xba,0x00,0x02,0x00,0x00]
> + vpsllvd 512(%rdx){1to4}, %xmm23, %xmm23
> +
> +// CHECK: vpsllvd -512(%rdx){1to4}, %xmm23, %xmm23
> +// CHECK: encoding: [0x62,0xe2,0x45,0x10,0x47,0x7a,0x80]
> + vpsllvd -512(%rdx){1to4}, %xmm23, %xmm23
> +
> +// CHECK: vpsllvd -516(%rdx){1to4}, %xmm23, %xmm23
> +// CHECK: encoding: [0x62,0xe2,0x45,0x10,0x47,0xba,0xfc,0xfd,0xff,0xff]
> + vpsllvd -516(%rdx){1to4}, %xmm23, %xmm23
> +
> +// CHECK: vpsllvd %ymm19, %ymm22, %ymm17
> +// CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x47,0xcb]
> + vpsllvd %ymm19, %ymm22, %ymm17
> +
> +// CHECK: vpsllvd %ymm19, %ymm22, %ymm17 {%k5}
> +// CHECK: encoding: [0x62,0xa2,0x4d,0x25,0x47,0xcb]
> + vpsllvd %ymm19, %ymm22, %ymm17 {%k5}
> +
> +// CHECK: vpsllvd %ymm19, %ymm22, %ymm17 {%k5} {z}
> +// CHECK: encoding: [0x62,0xa2,0x4d,0xa5,0x47,0xcb]
> + vpsllvd %ymm19, %ymm22, %ymm17 {%k5} {z}
> +
> +// CHECK: vpsllvd (%rcx), %ymm22, %ymm17
> +// CHECK: encoding: [0x62,0xe2,0x4d,0x20,0x47,0x09]
> + vpsllvd (%rcx), %ymm22, %ymm17
> +
> +// CHECK: vpsllvd 291(%rax,%r14,8), %ymm22, %ymm17
> +// CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x47,0x8c,0xf0,0x23,0x01,0x00,0x00]
> + vpsllvd 291(%rax,%r14,8), %ymm22, %ymm17
> +
> +// CHECK: vpsllvd (%rcx){1to8}, %ymm22, %ymm17
> +// CHECK: encoding: [0x62,0xe2,0x4d,0x30,0x47,0x09]
> + vpsllvd (%rcx){1to8}, %ymm22, %ymm17
> +
> +// CHECK: vpsllvd 4064(%rdx), %ymm22, %ymm17
> +// CHECK: encoding: [0x62,0xe2,0x4d,0x20,0x47,0x4a,0x7f]
> + vpsllvd 4064(%rdx), %ymm22, %ymm17
> +
> +// CHECK: vpsllvd 4096(%rdx), %ymm22, %ymm17
> +// CHECK: encoding: [0x62,0xe2,0x4d,0x20,0x47,0x8a,0x00,0x10,0x00,0x00]
> + vpsllvd 4096(%rdx), %ymm22, %ymm17
> +
> +// CHECK: vpsllvd -4096(%rdx), %ymm22, %ymm17
> +// CHECK: encoding: [0x62,0xe2,0x4d,0x20,0x47,0x4a,0x80]
> + vpsllvd -4096(%rdx), %ymm22, %ymm17
> +
> +// CHECK: vpsllvd -4128(%rdx), %ymm22, %ymm17
> +// CHECK: encoding: [0x62,0xe2,0x4d,0x20,0x47,0x8a,0xe0,0xef,0xff,0xff]
> + vpsllvd -4128(%rdx), %ymm22, %ymm17
> +
> +// CHECK: vpsllvd 508(%rdx){1to8}, %ymm22, %ymm17
> +// CHECK: encoding: [0x62,0xe2,0x4d,0x30,0x47,0x4a,0x7f]
> + vpsllvd 508(%rdx){1to8}, %ymm22, %ymm17
> +
> +// CHECK: vpsllvd 512(%rdx){1to8}, %ymm22, %ymm17
> +// CHECK: encoding: [0x62,0xe2,0x4d,0x30,0x47,0x8a,0x00,0x02,0x00,0x00]
> + vpsllvd 512(%rdx){1to8}, %ymm22, %ymm17
> +
> +// CHECK: vpsllvd -512(%rdx){1to8}, %ymm22, %ymm17
> +// CHECK: encoding: [0x62,0xe2,0x4d,0x30,0x47,0x4a,0x80]
> + vpsllvd -512(%rdx){1to8}, %ymm22, %ymm17
> +
> +// CHECK: vpsllvd -516(%rdx){1to8}, %ymm22, %ymm17
> +// CHECK: encoding: [0x62,0xe2,0x4d,0x30,0x47,0x8a,0xfc,0xfd,0xff,0xff]
> + vpsllvd -516(%rdx){1to8}, %ymm22, %ymm17
> +
> +// CHECK: vpsllvq %xmm18, %xmm21, %xmm19
> +// CHECK: encoding: [0x62,0xa2,0xd5,0x00,0x47,0xda]
> + vpsllvq %xmm18, %xmm21, %xmm19
> +
> +// CHECK: vpsllvq %xmm18, %xmm21, %xmm19 {%k2}
> +// CHECK: encoding: [0x62,0xa2,0xd5,0x02,0x47,0xda]
> + vpsllvq %xmm18, %xmm21, %xmm19 {%k2}
> +
> +// CHECK: vpsllvq %xmm18, %xmm21, %xmm19 {%k2} {z}
> +// CHECK: encoding: [0x62,0xa2,0xd5,0x82,0x47,0xda]
> + vpsllvq %xmm18, %xmm21, %xmm19 {%k2} {z}
> +
> +// CHECK: vpsllvq (%rcx), %xmm21, %xmm19
> +// CHECK: encoding: [0x62,0xe2,0xd5,0x00,0x47,0x19]
> + vpsllvq (%rcx), %xmm21, %xmm19
> +
> +// CHECK: vpsllvq 291(%rax,%r14,8), %xmm21, %xmm19
> +// CHECK: encoding: [0x62,0xa2,0xd5,0x00,0x47,0x9c,0xf0,0x23,0x01,0x00,0x00]
> + vpsllvq 291(%rax,%r14,8), %xmm21, %xmm19
> +
> +// CHECK: vpsllvq (%rcx){1to2}, %xmm21, %xmm19
> +// CHECK: encoding: [0x62,0xe2,0xd5,0x10,0x47,0x19]
> + vpsllvq (%rcx){1to2}, %xmm21, %xmm19
> +
> +// CHECK: vpsllvq 2032(%rdx), %xmm21, %xmm19
> +// CHECK: encoding: [0x62,0xe2,0xd5,0x00,0x47,0x5a,0x7f]
> + vpsllvq 2032(%rdx), %xmm21, %xmm19
> +
> +// CHECK: vpsllvq 2048(%rdx), %xmm21, %xmm19
> +// CHECK: encoding: [0x62,0xe2,0xd5,0x00,0x47,0x9a,0x00,0x08,0x00,0x00]
> + vpsllvq 2048(%rdx), %xmm21, %xmm19
> +
> +// CHECK: vpsllvq -2048(%rdx), %xmm21, %xmm19
> +// CHECK: encoding: [0x62,0xe2,0xd5,0x00,0x47,0x5a,0x80]
> + vpsllvq -2048(%rdx), %xmm21, %xmm19
> +
> +// CHECK: vpsllvq -2064(%rdx), %xmm21, %xmm19
> +// CHECK: encoding: [0x62,0xe2,0xd5,0x00,0x47,0x9a,0xf0,0xf7,0xff,0xff]
> + vpsllvq -2064(%rdx), %xmm21, %xmm19
> +
> +// CHECK: vpsllvq 1016(%rdx){1to2}, %xmm21, %xmm19
> +// CHECK: encoding: [0x62,0xe2,0xd5,0x10,0x47,0x5a,0x7f]
> + vpsllvq 1016(%rdx){1to2}, %xmm21, %xmm19
> +
> +// CHECK: vpsllvq 1024(%rdx){1to2}, %xmm21, %xmm19
> +// CHECK: encoding: [0x62,0xe2,0xd5,0x10,0x47,0x9a,0x00,0x04,0x00,0x00]
> + vpsllvq 1024(%rdx){1to2}, %xmm21, %xmm19
> +
> +// CHECK: vpsllvq -1024(%rdx){1to2}, %xmm21, %xmm19
> +// CHECK: encoding: [0x62,0xe2,0xd5,0x10,0x47,0x5a,0x80]
> + vpsllvq -1024(%rdx){1to2}, %xmm21, %xmm19
> +
> +// CHECK: vpsllvq -1032(%rdx){1to2}, %xmm21, %xmm19
> +// CHECK: encoding: [0x62,0xe2,0xd5,0x10,0x47,0x9a,0xf8,0xfb,0xff,0xff]
> + vpsllvq -1032(%rdx){1to2}, %xmm21, %xmm19
> +
> +// CHECK: vpsllvq %ymm18, %ymm25, %ymm23
> +// CHECK: encoding: [0x62,0xa2,0xb5,0x20,0x47,0xfa]
> + vpsllvq %ymm18, %ymm25, %ymm23
> +
> +// CHECK: vpsllvq %ymm18, %ymm25, %ymm23 {%k2}
> +// CHECK: encoding: [0x62,0xa2,0xb5,0x22,0x47,0xfa]
> + vpsllvq %ymm18, %ymm25, %ymm23 {%k2}
> +
> +// CHECK: vpsllvq %ymm18, %ymm25, %ymm23 {%k2} {z}
> +// CHECK: encoding: [0x62,0xa2,0xb5,0xa2,0x47,0xfa]
> + vpsllvq %ymm18, %ymm25, %ymm23 {%k2} {z}
> +
> +// CHECK: vpsllvq (%rcx), %ymm25, %ymm23
> +// CHECK: encoding: [0x62,0xe2,0xb5,0x20,0x47,0x39]
> + vpsllvq (%rcx), %ymm25, %ymm23
> +
> +// CHECK: vpsllvq 291(%rax,%r14,8), %ymm25, %ymm23
> +// CHECK: encoding: [0x62,0xa2,0xb5,0x20,0x47,0xbc,0xf0,0x23,0x01,0x00,0x00]
> + vpsllvq 291(%rax,%r14,8), %ymm25, %ymm23
> +
> +// CHECK: vpsllvq (%rcx){1to4}, %ymm25, %ymm23
> +// CHECK: encoding: [0x62,0xe2,0xb5,0x30,0x47,0x39]
> + vpsllvq (%rcx){1to4}, %ymm25, %ymm23
> +
> +// CHECK: vpsllvq 4064(%rdx), %ymm25, %ymm23
> +// CHECK: encoding: [0x62,0xe2,0xb5,0x20,0x47,0x7a,0x7f]
> + vpsllvq 4064(%rdx), %ymm25, %ymm23
> +
> +// CHECK: vpsllvq 4096(%rdx), %ymm25, %ymm23
> +// CHECK: encoding: [0x62,0xe2,0xb5,0x20,0x47,0xba,0x00,0x10,0x00,0x00]
> + vpsllvq 4096(%rdx), %ymm25, %ymm23
> +
> +// CHECK: vpsllvq -4096(%rdx), %ymm25, %ymm23
> +// CHECK: encoding: [0x62,0xe2,0xb5,0x20,0x47,0x7a,0x80]
> + vpsllvq -4096(%rdx), %ymm25, %ymm23
> +
> +// CHECK: vpsllvq -4128(%rdx), %ymm25, %ymm23
> +// CHECK: encoding: [0x62,0xe2,0xb5,0x20,0x47,0xba,0xe0,0xef,0xff,0xff]
> + vpsllvq -4128(%rdx), %ymm25, %ymm23
> +
> +// CHECK: vpsllvq 1016(%rdx){1to4}, %ymm25, %ymm23
> +// CHECK: encoding: [0x62,0xe2,0xb5,0x30,0x47,0x7a,0x7f]
> + vpsllvq 1016(%rdx){1to4}, %ymm25, %ymm23
> +
> +// CHECK: vpsllvq 1024(%rdx){1to4}, %ymm25, %ymm23
> +// CHECK: encoding: [0x62,0xe2,0xb5,0x30,0x47,0xba,0x00,0x04,0x00,0x00]
> + vpsllvq 1024(%rdx){1to4}, %ymm25, %ymm23
> +
> +// CHECK: vpsllvq -1024(%rdx){1to4}, %ymm25, %ymm23
> +// CHECK: encoding: [0x62,0xe2,0xb5,0x30,0x47,0x7a,0x80]
> + vpsllvq -1024(%rdx){1to4}, %ymm25, %ymm23
> +
> +// CHECK: vpsllvq -1032(%rdx){1to4}, %ymm25, %ymm23
> +// CHECK: encoding: [0x62,0xe2,0xb5,0x30,0x47,0xba,0xf8,0xfb,0xff,0xff]
> + vpsllvq -1032(%rdx){1to4}, %ymm25, %ymm23
> +
> +// CHECK: vpsrad %xmm20, %xmm23, %xmm28
> +// CHECK: encoding: [0x62,0x21,0x45,0x00,0xe2,0xe4]
> + vpsrad %xmm20, %xmm23, %xmm28
> +
> +// CHECK: vpsrad %xmm20, %xmm23, %xmm28 {%k3}
> +// CHECK: encoding: [0x62,0x21,0x45,0x03,0xe2,0xe4]
> + vpsrad %xmm20, %xmm23, %xmm28 {%k3}
> +
> +// CHECK: vpsrad %xmm20, %xmm23, %xmm28 {%k3} {z}
> +// CHECK: encoding: [0x62,0x21,0x45,0x83,0xe2,0xe4]
> + vpsrad %xmm20, %xmm23, %xmm28 {%k3} {z}
> +
> +// CHECK: vpsrad (%rcx), %xmm23, %xmm28
> +// CHECK: encoding: [0x62,0x61,0x45,0x00,0xe2,0x21]
> + vpsrad (%rcx), %xmm23, %xmm28
> +
> +// CHECK: vpsrad 291(%rax,%r14,8), %xmm23, %xmm28
> +// CHECK: encoding: [0x62,0x21,0x45,0x00,0xe2,0xa4,0xf0,0x23,0x01,0x00,0x00]
> + vpsrad 291(%rax,%r14,8), %xmm23, %xmm28
> +
> +// CHECK: vpsrad 2032(%rdx), %xmm23, %xmm28
> +// CHECK: encoding: [0x62,0x61,0x45,0x00,0xe2,0x62,0x7f]
> + vpsrad 2032(%rdx), %xmm23, %xmm28
> +
> +// CHECK: vpsrad 2048(%rdx), %xmm23, %xmm28
> +// CHECK: encoding: [0x62,0x61,0x45,0x00,0xe2,0xa2,0x00,0x08,0x00,0x00]
> + vpsrad 2048(%rdx), %xmm23, %xmm28
> +
> +// CHECK: vpsrad -2048(%rdx), %xmm23, %xmm28
> +// CHECK: encoding: [0x62,0x61,0x45,0x00,0xe2,0x62,0x80]
> + vpsrad -2048(%rdx), %xmm23, %xmm28
> +
> +// CHECK: vpsrad -2064(%rdx), %xmm23, %xmm28
> +// CHECK: encoding: [0x62,0x61,0x45,0x00,0xe2,0xa2,0xf0,0xf7,0xff,0xff]
> + vpsrad -2064(%rdx), %xmm23, %xmm28
> +
> +// CHECK: vpsrad %xmm24, %ymm27, %ymm25
> +// CHECK: encoding: [0x62,0x01,0x25,0x20,0xe2,0xc8]
> + vpsrad %xmm24, %ymm27, %ymm25
> +
> +// CHECK: vpsrad %xmm24, %ymm27, %ymm25 {%k4}
> +// CHECK: encoding: [0x62,0x01,0x25,0x24,0xe2,0xc8]
> + vpsrad %xmm24, %ymm27, %ymm25 {%k4}
> +
> +// CHECK: vpsrad %xmm24, %ymm27, %ymm25 {%k4} {z}
> +// CHECK: encoding: [0x62,0x01,0x25,0xa4,0xe2,0xc8]
> + vpsrad %xmm24, %ymm27, %ymm25 {%k4} {z}
> +
> +// CHECK: vpsrad (%rcx), %ymm27, %ymm25
> +// CHECK: encoding: [0x62,0x61,0x25,0x20,0xe2,0x09]
> + vpsrad (%rcx), %ymm27, %ymm25
> +
> +// CHECK: vpsrad 291(%rax,%r14,8), %ymm27, %ymm25
> +// CHECK: encoding: [0x62,0x21,0x25,0x20,0xe2,0x8c,0xf0,0x23,0x01,0x00,0x00]
> + vpsrad 291(%rax,%r14,8), %ymm27, %ymm25
> +
> +// CHECK: vpsrad 2032(%rdx), %ymm27, %ymm25
> +// CHECK: encoding: [0x62,0x61,0x25,0x20,0xe2,0x4a,0x7f]
> + vpsrad 2032(%rdx), %ymm27, %ymm25
> +
> +// CHECK: vpsrad 2048(%rdx), %ymm27, %ymm25
> +// CHECK: encoding: [0x62,0x61,0x25,0x20,0xe2,0x8a,0x00,0x08,0x00,0x00]
> + vpsrad 2048(%rdx), %ymm27, %ymm25
> +
> +// CHECK: vpsrad -2048(%rdx), %ymm27, %ymm25
> +// CHECK: encoding: [0x62,0x61,0x25,0x20,0xe2,0x4a,0x80]
> + vpsrad -2048(%rdx), %ymm27, %ymm25
> +
> +// CHECK: vpsrad -2064(%rdx), %ymm27, %ymm25
> +// CHECK: encoding: [0x62,0x61,0x25,0x20,0xe2,0x8a,0xf0,0xf7,0xff,0xff]
> + vpsrad -2064(%rdx), %ymm27, %ymm25
> +
> +// CHECK: vpsraq %xmm24, %xmm24, %xmm29
> +// CHECK: encoding: [0x62,0x01,0xbd,0x00,0xe2,0xe8]
> + vpsraq %xmm24, %xmm24, %xmm29
> +
> +// CHECK: vpsraq %xmm24, %xmm24, %xmm29 {%k3}
> +// CHECK: encoding: [0x62,0x01,0xbd,0x03,0xe2,0xe8]
> + vpsraq %xmm24, %xmm24, %xmm29 {%k3}
> +
> +// CHECK: vpsraq %xmm24, %xmm24, %xmm29 {%k3} {z}
> +// CHECK: encoding: [0x62,0x01,0xbd,0x83,0xe2,0xe8]
> + vpsraq %xmm24, %xmm24, %xmm29 {%k3} {z}
> +
> +// CHECK: vpsraq (%rcx), %xmm24, %xmm29
> +// CHECK: encoding: [0x62,0x61,0xbd,0x00,0xe2,0x29]
> + vpsraq (%rcx), %xmm24, %xmm29
> +
> +// CHECK: vpsraq 291(%rax,%r14,8), %xmm24, %xmm29
> +// CHECK: encoding: [0x62,0x21,0xbd,0x00,0xe2,0xac,0xf0,0x23,0x01,0x00,0x00]
> + vpsraq 291(%rax,%r14,8), %xmm24, %xmm29
> +
> +// CHECK: vpsraq 2032(%rdx), %xmm24, %xmm29
> +// CHECK: encoding: [0x62,0x61,0xbd,0x00,0xe2,0x6a,0x7f]
> + vpsraq 2032(%rdx), %xmm24, %xmm29
> +
> +// CHECK: vpsraq 2048(%rdx), %xmm24, %xmm29
> +// CHECK: encoding: [0x62,0x61,0xbd,0x00,0xe2,0xaa,0x00,0x08,0x00,0x00]
> + vpsraq 2048(%rdx), %xmm24, %xmm29
> +
> +// CHECK: vpsraq -2048(%rdx), %xmm24, %xmm29
> +// CHECK: encoding: [0x62,0x61,0xbd,0x00,0xe2,0x6a,0x80]
> + vpsraq -2048(%rdx), %xmm24, %xmm29
> +
> +// CHECK: vpsraq -2064(%rdx), %xmm24, %xmm29
> +// CHECK: encoding: [0x62,0x61,0xbd,0x00,0xe2,0xaa,0xf0,0xf7,0xff,0xff]
> + vpsraq -2064(%rdx), %xmm24, %xmm29
> +
> +// CHECK: vpsraq %xmm26, %ymm26, %ymm28
> +// CHECK: encoding: [0x62,0x01,0xad,0x20,0xe2,0xe2]
> + vpsraq %xmm26, %ymm26, %ymm28
> +
> +// CHECK: vpsraq %xmm26, %ymm26, %ymm28 {%k4}
> +// CHECK: encoding: [0x62,0x01,0xad,0x24,0xe2,0xe2]
> + vpsraq %xmm26, %ymm26, %ymm28 {%k4}
> +
> +// CHECK: vpsraq %xmm26, %ymm26, %ymm28 {%k4} {z}
> +// CHECK: encoding: [0x62,0x01,0xad,0xa4,0xe2,0xe2]
> + vpsraq %xmm26, %ymm26, %ymm28 {%k4} {z}
> +
> +// CHECK: vpsraq (%rcx), %ymm26, %ymm28
> +// CHECK: encoding: [0x62,0x61,0xad,0x20,0xe2,0x21]
> + vpsraq (%rcx), %ymm26, %ymm28
> +
> +// CHECK: vpsraq 291(%rax,%r14,8), %ymm26, %ymm28
> +// CHECK: encoding: [0x62,0x21,0xad,0x20,0xe2,0xa4,0xf0,0x23,0x01,0x00,0x00]
> + vpsraq 291(%rax,%r14,8), %ymm26, %ymm28
> +
> +// CHECK: vpsraq 2032(%rdx), %ymm26, %ymm28
> +// CHECK: encoding: [0x62,0x61,0xad,0x20,0xe2,0x62,0x7f]
> + vpsraq 2032(%rdx), %ymm26, %ymm28
> +
> +// CHECK: vpsraq 2048(%rdx), %ymm26, %ymm28
> +// CHECK: encoding: [0x62,0x61,0xad,0x20,0xe2,0xa2,0x00,0x08,0x00,0x00]
> + vpsraq 2048(%rdx), %ymm26, %ymm28
> +
> +// CHECK: vpsraq -2048(%rdx), %ymm26, %ymm28
> +// CHECK: encoding: [0x62,0x61,0xad,0x20,0xe2,0x62,0x80]
> + vpsraq -2048(%rdx), %ymm26, %ymm28
> +
> +// CHECK: vpsraq -2064(%rdx), %ymm26, %ymm28
> +// CHECK: encoding: [0x62,0x61,0xad,0x20,0xe2,0xa2,0xf0,0xf7,0xff,0xff]
> + vpsraq -2064(%rdx), %ymm26, %ymm28
> +
> +// CHECK: vpsravd %xmm18, %xmm26, %xmm24
> +// CHECK: encoding: [0x62,0x22,0x2d,0x00,0x46,0xc2]
> + vpsravd %xmm18, %xmm26, %xmm24
> +
> +// CHECK: vpsravd %xmm18, %xmm26, %xmm24 {%k5}
> +// CHECK: encoding: [0x62,0x22,0x2d,0x05,0x46,0xc2]
> + vpsravd %xmm18, %xmm26, %xmm24 {%k5}
> +
> +// CHECK: vpsravd %xmm18, %xmm26, %xmm24 {%k5} {z}
> +// CHECK: encoding: [0x62,0x22,0x2d,0x85,0x46,0xc2]
> + vpsravd %xmm18, %xmm26, %xmm24 {%k5} {z}
> +
> +// CHECK: vpsravd (%rcx), %xmm26, %xmm24
> +// CHECK: encoding: [0x62,0x62,0x2d,0x00,0x46,0x01]
> + vpsravd (%rcx), %xmm26, %xmm24
> +
> +// CHECK: vpsravd 291(%rax,%r14,8), %xmm26, %xmm24
> +// CHECK: encoding: [0x62,0x22,0x2d,0x00,0x46,0x84,0xf0,0x23,0x01,0x00,0x00]
> + vpsravd 291(%rax,%r14,8), %xmm26, %xmm24
> +
> +// CHECK: vpsravd (%rcx){1to4}, %xmm26, %xmm24
> +// CHECK: encoding: [0x62,0x62,0x2d,0x10,0x46,0x01]
> + vpsravd (%rcx){1to4}, %xmm26, %xmm24
> +
> +// CHECK: vpsravd 2032(%rdx), %xmm26, %xmm24
> +// CHECK: encoding: [0x62,0x62,0x2d,0x00,0x46,0x42,0x7f]
> + vpsravd 2032(%rdx), %xmm26, %xmm24
> +
> +// CHECK: vpsravd 2048(%rdx), %xmm26, %xmm24
> +// CHECK: encoding: [0x62,0x62,0x2d,0x00,0x46,0x82,0x00,0x08,0x00,0x00]
> + vpsravd 2048(%rdx), %xmm26, %xmm24
> +
> +// CHECK: vpsravd -2048(%rdx), %xmm26, %xmm24
> +// CHECK: encoding: [0x62,0x62,0x2d,0x00,0x46,0x42,0x80]
> + vpsravd -2048(%rdx), %xmm26, %xmm24
> +
> +// CHECK: vpsravd -2064(%rdx), %xmm26, %xmm24
> +// CHECK: encoding: [0x62,0x62,0x2d,0x00,0x46,0x82,0xf0,0xf7,0xff,0xff]
> + vpsravd -2064(%rdx), %xmm26, %xmm24
> +
> +// CHECK: vpsravd 508(%rdx){1to4}, %xmm26, %xmm24
> +// CHECK: encoding: [0x62,0x62,0x2d,0x10,0x46,0x42,0x7f]
> + vpsravd 508(%rdx){1to4}, %xmm26, %xmm24
> +
> +// CHECK: vpsravd 512(%rdx){1to4}, %xmm26, %xmm24
> +// CHECK: encoding: [0x62,0x62,0x2d,0x10,0x46,0x82,0x00,0x02,0x00,0x00]
> + vpsravd 512(%rdx){1to4}, %xmm26, %xmm24
> +
> +// CHECK: vpsravd -512(%rdx){1to4}, %xmm26, %xmm24
> +// CHECK: encoding: [0x62,0x62,0x2d,0x10,0x46,0x42,0x80]
> + vpsravd -512(%rdx){1to4}, %xmm26, %xmm24
> +
> +// CHECK: vpsravd -516(%rdx){1to4}, %xmm26, %xmm24
> +// CHECK: encoding: [0x62,0x62,0x2d,0x10,0x46,0x82,0xfc,0xfd,0xff,0xff]
> + vpsravd -516(%rdx){1to4}, %xmm26, %xmm24
> +
> +// CHECK: vpsravd %ymm23, %ymm25, %ymm22
> +// CHECK: encoding: [0x62,0xa2,0x35,0x20,0x46,0xf7]
> + vpsravd %ymm23, %ymm25, %ymm22
> +
> +// CHECK: vpsravd %ymm23, %ymm25, %ymm22 {%k7}
> +// CHECK: encoding: [0x62,0xa2,0x35,0x27,0x46,0xf7]
> + vpsravd %ymm23, %ymm25, %ymm22 {%k7}
> +
> +// CHECK: vpsravd %ymm23, %ymm25, %ymm22 {%k7} {z}
> +// CHECK: encoding: [0x62,0xa2,0x35,0xa7,0x46,0xf7]
> + vpsravd %ymm23, %ymm25, %ymm22 {%k7} {z}
> +
> +// CHECK: vpsravd (%rcx), %ymm25, %ymm22
> +// CHECK: encoding: [0x62,0xe2,0x35,0x20,0x46,0x31]
> + vpsravd (%rcx), %ymm25, %ymm22
> +
> +// CHECK: vpsravd 291(%rax,%r14,8), %ymm25, %ymm22
> +// CHECK: encoding: [0x62,0xa2,0x35,0x20,0x46,0xb4,0xf0,0x23,0x01,0x00,0x00]
> + vpsravd 291(%rax,%r14,8), %ymm25, %ymm22
> +
> +// CHECK: vpsravd (%rcx){1to8}, %ymm25, %ymm22
> +// CHECK: encoding: [0x62,0xe2,0x35,0x30,0x46,0x31]
> + vpsravd (%rcx){1to8}, %ymm25, %ymm22
> +
> +// CHECK: vpsravd 4064(%rdx), %ymm25, %ymm22
> +// CHECK: encoding: [0x62,0xe2,0x35,0x20,0x46,0x72,0x7f]
> + vpsravd 4064(%rdx), %ymm25, %ymm22
> +
> +// CHECK: vpsravd 4096(%rdx), %ymm25, %ymm22
> +// CHECK: encoding: [0x62,0xe2,0x35,0x20,0x46,0xb2,0x00,0x10,0x00,0x00]
> + vpsravd 4096(%rdx), %ymm25, %ymm22
> +
> +// CHECK: vpsravd -4096(%rdx), %ymm25, %ymm22
> +// CHECK: encoding: [0x62,0xe2,0x35,0x20,0x46,0x72,0x80]
> + vpsravd -4096(%rdx), %ymm25, %ymm22
> +
> +// CHECK: vpsravd -4128(%rdx), %ymm25, %ymm22
> +// CHECK: encoding: [0x62,0xe2,0x35,0x20,0x46,0xb2,0xe0,0xef,0xff,0xff]
> + vpsravd -4128(%rdx), %ymm25, %ymm22
> +
> +// CHECK: vpsravd 508(%rdx){1to8}, %ymm25, %ymm22
> +// CHECK: encoding: [0x62,0xe2,0x35,0x30,0x46,0x72,0x7f]
> + vpsravd 508(%rdx){1to8}, %ymm25, %ymm22
> +
> +// CHECK: vpsravd 512(%rdx){1to8}, %ymm25, %ymm22
> +// CHECK: encoding: [0x62,0xe2,0x35,0x30,0x46,0xb2,0x00,0x02,0x00,0x00]
> + vpsravd 512(%rdx){1to8}, %ymm25, %ymm22
> +
> +// CHECK: vpsravd -512(%rdx){1to8}, %ymm25, %ymm22
> +// CHECK: encoding: [0x62,0xe2,0x35,0x30,0x46,0x72,0x80]
> + vpsravd -512(%rdx){1to8}, %ymm25, %ymm22
> +
> +// CHECK: vpsravd -516(%rdx){1to8}, %ymm25, %ymm22
> +// CHECK: encoding: [0x62,0xe2,0x35,0x30,0x46,0xb2,0xfc,0xfd,0xff,0xff]
> + vpsravd -516(%rdx){1to8}, %ymm25, %ymm22
> +
> +// CHECK: vpsravq %xmm17, %xmm28, %xmm28
> +// CHECK: encoding: [0x62,0x22,0x9d,0x00,0x46,0xe1]
> + vpsravq %xmm17, %xmm28, %xmm28
> +
> +// CHECK: vpsravq %xmm17, %xmm28, %xmm28 {%k1}
> +// CHECK: encoding: [0x62,0x22,0x9d,0x01,0x46,0xe1]
> + vpsravq %xmm17, %xmm28, %xmm28 {%k1}
> +
> +// CHECK: vpsravq %xmm17, %xmm28, %xmm28 {%k1} {z}
> +// CHECK: encoding: [0x62,0x22,0x9d,0x81,0x46,0xe1]
> + vpsravq %xmm17, %xmm28, %xmm28 {%k1} {z}
> +
> +// CHECK: vpsravq (%rcx), %xmm28, %xmm28
> +// CHECK: encoding: [0x62,0x62,0x9d,0x00,0x46,0x21]
> + vpsravq (%rcx), %xmm28, %xmm28
> +
> +// CHECK: vpsravq 291(%rax,%r14,8), %xmm28, %xmm28
> +// CHECK: encoding: [0x62,0x22,0x9d,0x00,0x46,0xa4,0xf0,0x23,0x01,0x00,0x00]
> + vpsravq 291(%rax,%r14,8), %xmm28, %xmm28
> +
> +// CHECK: vpsravq (%rcx){1to2}, %xmm28, %xmm28
> +// CHECK: encoding: [0x62,0x62,0x9d,0x10,0x46,0x21]
> + vpsravq (%rcx){1to2}, %xmm28, %xmm28
> +
> +// CHECK: vpsravq 2032(%rdx), %xmm28, %xmm28
> +// CHECK: encoding: [0x62,0x62,0x9d,0x00,0x46,0x62,0x7f]
> + vpsravq 2032(%rdx), %xmm28, %xmm28
> +
> +// CHECK: vpsravq 2048(%rdx), %xmm28, %xmm28
> +// CHECK: encoding: [0x62,0x62,0x9d,0x00,0x46,0xa2,0x00,0x08,0x00,0x00]
> + vpsravq 2048(%rdx), %xmm28, %xmm28
> +
> +// CHECK: vpsravq -2048(%rdx), %xmm28, %xmm28
> +// CHECK: encoding: [0x62,0x62,0x9d,0x00,0x46,0x62,0x80]
> + vpsravq -2048(%rdx), %xmm28, %xmm28
> +
> +// CHECK: vpsravq -2064(%rdx), %xmm28, %xmm28
> +// CHECK: encoding: [0x62,0x62,0x9d,0x00,0x46,0xa2,0xf0,0xf7,0xff,0xff]
> + vpsravq -2064(%rdx), %xmm28, %xmm28
> +
> +// CHECK: vpsravq 1016(%rdx){1to2}, %xmm28, %xmm28
> +// CHECK: encoding: [0x62,0x62,0x9d,0x10,0x46,0x62,0x7f]
> + vpsravq 1016(%rdx){1to2}, %xmm28, %xmm28
> +
> +// CHECK: vpsravq 1024(%rdx){1to2}, %xmm28, %xmm28
> +// CHECK: encoding: [0x62,0x62,0x9d,0x10,0x46,0xa2,0x00,0x04,0x00,0x00]
> + vpsravq 1024(%rdx){1to2}, %xmm28, %xmm28
> +
> +// CHECK: vpsravq -1024(%rdx){1to2}, %xmm28, %xmm28
> +// CHECK: encoding: [0x62,0x62,0x9d,0x10,0x46,0x62,0x80]
> + vpsravq -1024(%rdx){1to2}, %xmm28, %xmm28
> +
> +// CHECK: vpsravq -1032(%rdx){1to2}, %xmm28, %xmm28
> +// CHECK: encoding: [0x62,0x62,0x9d,0x10,0x46,0xa2,0xf8,0xfb,0xff,0xff]
> + vpsravq -1032(%rdx){1to2}, %xmm28, %xmm28
> +
> +// CHECK: vpsravq %ymm21, %ymm24, %ymm30
> +// CHECK: encoding: [0x62,0x22,0xbd,0x20,0x46,0xf5]
> + vpsravq %ymm21, %ymm24, %ymm30
> +
> +// CHECK: vpsravq %ymm21, %ymm24, %ymm30 {%k7}
> +// CHECK: encoding: [0x62,0x22,0xbd,0x27,0x46,0xf5]
> + vpsravq %ymm21, %ymm24, %ymm30 {%k7}
> +
> +// CHECK: vpsravq %ymm21, %ymm24, %ymm30 {%k7} {z}
> +// CHECK: encoding: [0x62,0x22,0xbd,0xa7,0x46,0xf5]
> + vpsravq %ymm21, %ymm24, %ymm30 {%k7} {z}
> +
> +// CHECK: vpsravq (%rcx), %ymm24, %ymm30
> +// CHECK: encoding: [0x62,0x62,0xbd,0x20,0x46,0x31]
> + vpsravq (%rcx), %ymm24, %ymm30
> +
> +// CHECK: vpsravq 291(%rax,%r14,8), %ymm24, %ymm30
> +// CHECK: encoding: [0x62,0x22,0xbd,0x20,0x46,0xb4,0xf0,0x23,0x01,0x00,0x00]
> + vpsravq 291(%rax,%r14,8), %ymm24, %ymm30
> +
> +// CHECK: vpsravq (%rcx){1to4}, %ymm24, %ymm30
> +// CHECK: encoding: [0x62,0x62,0xbd,0x30,0x46,0x31]
> + vpsravq (%rcx){1to4}, %ymm24, %ymm30
> +
> +// CHECK: vpsravq 4064(%rdx), %ymm24, %ymm30
> +// CHECK: encoding: [0x62,0x62,0xbd,0x20,0x46,0x72,0x7f]
> + vpsravq 4064(%rdx), %ymm24, %ymm30
> +
> +// CHECK: vpsravq 4096(%rdx), %ymm24, %ymm30
> +// CHECK: encoding: [0x62,0x62,0xbd,0x20,0x46,0xb2,0x00,0x10,0x00,0x00]
> + vpsravq 4096(%rdx), %ymm24, %ymm30
> +
> +// CHECK: vpsravq -4096(%rdx), %ymm24, %ymm30
> +// CHECK: encoding: [0x62,0x62,0xbd,0x20,0x46,0x72,0x80]
> + vpsravq -4096(%rdx), %ymm24, %ymm30
> +
> +// CHECK: vpsravq -4128(%rdx), %ymm24, %ymm30
> +// CHECK: encoding: [0x62,0x62,0xbd,0x20,0x46,0xb2,0xe0,0xef,0xff,0xff]
> + vpsravq -4128(%rdx), %ymm24, %ymm30
> +
> +// CHECK: vpsravq 1016(%rdx){1to4}, %ymm24, %ymm30
> +// CHECK: encoding: [0x62,0x62,0xbd,0x30,0x46,0x72,0x7f]
> + vpsravq 1016(%rdx){1to4}, %ymm24, %ymm30
> +
> +// CHECK: vpsravq 1024(%rdx){1to4}, %ymm24, %ymm30
> +// CHECK: encoding: [0x62,0x62,0xbd,0x30,0x46,0xb2,0x00,0x04,0x00,0x00]
> + vpsravq 1024(%rdx){1to4}, %ymm24, %ymm30
> +
> +// CHECK: vpsravq -1024(%rdx){1to4}, %ymm24, %ymm30
> +// CHECK: encoding: [0x62,0x62,0xbd,0x30,0x46,0x72,0x80]
> + vpsravq -1024(%rdx){1to4}, %ymm24, %ymm30
> +
> +// CHECK: vpsravq -1032(%rdx){1to4}, %ymm24, %ymm30
> +// CHECK: encoding: [0x62,0x62,0xbd,0x30,0x46,0xb2,0xf8,0xfb,0xff,0xff]
> + vpsravq -1032(%rdx){1to4}, %ymm24, %ymm30
> +
> +// CHECK: vpsrld %xmm20, %xmm20, %xmm30
> +// CHECK: encoding: [0x62,0x21,0x5d,0x00,0xd2,0xf4]
> + vpsrld %xmm20, %xmm20, %xmm30
> +
> +// CHECK: vpsrld %xmm20, %xmm20, %xmm30 {%k3}
> +// CHECK: encoding: [0x62,0x21,0x5d,0x03,0xd2,0xf4]
> + vpsrld %xmm20, %xmm20, %xmm30 {%k3}
> +
> +// CHECK: vpsrld %xmm20, %xmm20, %xmm30 {%k3} {z}
> +// CHECK: encoding: [0x62,0x21,0x5d,0x83,0xd2,0xf4]
> + vpsrld %xmm20, %xmm20, %xmm30 {%k3} {z}
> +
> +// CHECK: vpsrld (%rcx), %xmm20, %xmm30
> +// CHECK: encoding: [0x62,0x61,0x5d,0x00,0xd2,0x31]
> + vpsrld (%rcx), %xmm20, %xmm30
> +
> +// CHECK: vpsrld 291(%rax,%r14,8), %xmm20, %xmm30
> +// CHECK: encoding: [0x62,0x21,0x5d,0x00,0xd2,0xb4,0xf0,0x23,0x01,0x00,0x00]
> + vpsrld 291(%rax,%r14,8), %xmm20, %xmm30
> +
> +// CHECK: vpsrld 2032(%rdx), %xmm20, %xmm30
> +// CHECK: encoding: [0x62,0x61,0x5d,0x00,0xd2,0x72,0x7f]
> + vpsrld 2032(%rdx), %xmm20, %xmm30
> +
> +// CHECK: vpsrld 2048(%rdx), %xmm20, %xmm30
> +// CHECK: encoding: [0x62,0x61,0x5d,0x00,0xd2,0xb2,0x00,0x08,0x00,0x00]
> + vpsrld 2048(%rdx), %xmm20, %xmm30
> +
> +// CHECK: vpsrld -2048(%rdx), %xmm20, %xmm30
> +// CHECK: encoding: [0x62,0x61,0x5d,0x00,0xd2,0x72,0x80]
> + vpsrld -2048(%rdx), %xmm20, %xmm30
> +
> +// CHECK: vpsrld -2064(%rdx), %xmm20, %xmm30
> +// CHECK: encoding: [0x62,0x61,0x5d,0x00,0xd2,0xb2,0xf0,0xf7,0xff,0xff]
> + vpsrld -2064(%rdx), %xmm20, %xmm30
> +
> +// CHECK: vpsrld %xmm25, %ymm18, %ymm26
> +// CHECK: encoding: [0x62,0x01,0x6d,0x20,0xd2,0xd1]
> + vpsrld %xmm25, %ymm18, %ymm26
> +
> +// CHECK: vpsrld %xmm25, %ymm18, %ymm26 {%k1}
> +// CHECK: encoding: [0x62,0x01,0x6d,0x21,0xd2,0xd1]
> + vpsrld %xmm25, %ymm18, %ymm26 {%k1}
> +
> +// CHECK: vpsrld %xmm25, %ymm18, %ymm26 {%k1} {z}
> +// CHECK: encoding: [0x62,0x01,0x6d,0xa1,0xd2,0xd1]
> + vpsrld %xmm25, %ymm18, %ymm26 {%k1} {z}
> +
> +// CHECK: vpsrld (%rcx), %ymm18, %ymm26
> +// CHECK: encoding: [0x62,0x61,0x6d,0x20,0xd2,0x11]
> + vpsrld (%rcx), %ymm18, %ymm26
> +
> +// CHECK: vpsrld 291(%rax,%r14,8), %ymm18, %ymm26
> +// CHECK: encoding: [0x62,0x21,0x6d,0x20,0xd2,0x94,0xf0,0x23,0x01,0x00,0x00]
> + vpsrld 291(%rax,%r14,8), %ymm18, %ymm26
> +
> +// CHECK: vpsrld 2032(%rdx), %ymm18, %ymm26
> +// CHECK: encoding: [0x62,0x61,0x6d,0x20,0xd2,0x52,0x7f]
> + vpsrld 2032(%rdx), %ymm18, %ymm26
> +
> +// CHECK: vpsrld 2048(%rdx), %ymm18, %ymm26
> +// CHECK: encoding: [0x62,0x61,0x6d,0x20,0xd2,0x92,0x00,0x08,0x00,0x00]
> + vpsrld 2048(%rdx), %ymm18, %ymm26
> +
> +// CHECK: vpsrld -2048(%rdx), %ymm18, %ymm26
> +// CHECK: encoding: [0x62,0x61,0x6d,0x20,0xd2,0x52,0x80]
> + vpsrld -2048(%rdx), %ymm18, %ymm26
> +
> +// CHECK: vpsrld -2064(%rdx), %ymm18, %ymm26
> +// CHECK: encoding: [0x62,0x61,0x6d,0x20,0xd2,0x92,0xf0,0xf7,0xff,0xff]
> + vpsrld -2064(%rdx), %ymm18, %ymm26
> +
> +// CHECK: vpsrlq %xmm17, %xmm21, %xmm28
> +// CHECK: encoding: [0x62,0x21,0xd5,0x00,0xd3,0xe1]
> + vpsrlq %xmm17, %xmm21, %xmm28
> +
> +// CHECK: vpsrlq %xmm17, %xmm21, %xmm28 {%k2}
> +// CHECK: encoding: [0x62,0x21,0xd5,0x02,0xd3,0xe1]
> + vpsrlq %xmm17, %xmm21, %xmm28 {%k2}
> +
> +// CHECK: vpsrlq %xmm17, %xmm21, %xmm28 {%k2} {z}
> +// CHECK: encoding: [0x62,0x21,0xd5,0x82,0xd3,0xe1]
> + vpsrlq %xmm17, %xmm21, %xmm28 {%k2} {z}
> +
> +// CHECK: vpsrlq (%rcx), %xmm21, %xmm28
> +// CHECK: encoding: [0x62,0x61,0xd5,0x00,0xd3,0x21]
> + vpsrlq (%rcx), %xmm21, %xmm28
> +
> +// CHECK: vpsrlq 291(%rax,%r14,8), %xmm21, %xmm28
> +// CHECK: encoding: [0x62,0x21,0xd5,0x00,0xd3,0xa4,0xf0,0x23,0x01,0x00,0x00]
> + vpsrlq 291(%rax,%r14,8), %xmm21, %xmm28
> +
> +// CHECK: vpsrlq 2032(%rdx), %xmm21, %xmm28
> +// CHECK: encoding: [0x62,0x61,0xd5,0x00,0xd3,0x62,0x7f]
> + vpsrlq 2032(%rdx), %xmm21, %xmm28
> +
> +// CHECK: vpsrlq 2048(%rdx), %xmm21, %xmm28
> +// CHECK: encoding: [0x62,0x61,0xd5,0x00,0xd3,0xa2,0x00,0x08,0x00,0x00]
> + vpsrlq 2048(%rdx), %xmm21, %xmm28
> +
> +// CHECK: vpsrlq -2048(%rdx), %xmm21, %xmm28
> +// CHECK: encoding: [0x62,0x61,0xd5,0x00,0xd3,0x62,0x80]
> + vpsrlq -2048(%rdx), %xmm21, %xmm28
> +
> +// CHECK: vpsrlq -2064(%rdx), %xmm21, %xmm28
> +// CHECK: encoding: [0x62,0x61,0xd5,0x00,0xd3,0xa2,0xf0,0xf7,0xff,0xff]
> + vpsrlq -2064(%rdx), %xmm21, %xmm28
> +
> +// CHECK: vpsrlq %xmm18, %ymm26, %ymm22
> +// CHECK: encoding: [0x62,0xa1,0xad,0x20,0xd3,0xf2]
> + vpsrlq %xmm18, %ymm26, %ymm22
> +
> +// CHECK: vpsrlq %xmm18, %ymm26, %ymm22 {%k2}
> +// CHECK: encoding: [0x62,0xa1,0xad,0x22,0xd3,0xf2]
> + vpsrlq %xmm18, %ymm26, %ymm22 {%k2}
> +
> +// CHECK: vpsrlq %xmm18, %ymm26, %ymm22 {%k2} {z}
> +// CHECK: encoding: [0x62,0xa1,0xad,0xa2,0xd3,0xf2]
> + vpsrlq %xmm18, %ymm26, %ymm22 {%k2} {z}
> +
> +// CHECK: vpsrlq (%rcx), %ymm26, %ymm22
> +// CHECK: encoding: [0x62,0xe1,0xad,0x20,0xd3,0x31]
> + vpsrlq (%rcx), %ymm26, %ymm22
> +
> +// CHECK: vpsrlq 291(%rax,%r14,8), %ymm26, %ymm22
> +// CHECK: encoding: [0x62,0xa1,0xad,0x20,0xd3,0xb4,0xf0,0x23,0x01,0x00,0x00]
> + vpsrlq 291(%rax,%r14,8), %ymm26, %ymm22
> +
> +// CHECK: vpsrlq 2032(%rdx), %ymm26, %ymm22
> +// CHECK: encoding: [0x62,0xe1,0xad,0x20,0xd3,0x72,0x7f]
> + vpsrlq 2032(%rdx), %ymm26, %ymm22
> +
> +// CHECK: vpsrlq 2048(%rdx), %ymm26, %ymm22
> +// CHECK: encoding: [0x62,0xe1,0xad,0x20,0xd3,0xb2,0x00,0x08,0x00,0x00]
> + vpsrlq 2048(%rdx), %ymm26, %ymm22
> +
> +// CHECK: vpsrlq -2048(%rdx), %ymm26, %ymm22
> +// CHECK: encoding: [0x62,0xe1,0xad,0x20,0xd3,0x72,0x80]
> + vpsrlq -2048(%rdx), %ymm26, %ymm22
> +
> +// CHECK: vpsrlq -2064(%rdx), %ymm26, %ymm22
> +// CHECK: encoding: [0x62,0xe1,0xad,0x20,0xd3,0xb2,0xf0,0xf7,0xff,0xff]
> + vpsrlq -2064(%rdx), %ymm26, %ymm22
> +
> +// CHECK: vpsrlvd %xmm18, %xmm25, %xmm29
> +// CHECK: encoding: [0x62,0x22,0x35,0x00,0x45,0xea]
> + vpsrlvd %xmm18, %xmm25, %xmm29
> +
> +// CHECK: vpsrlvd %xmm18, %xmm25, %xmm29 {%k3}
> +// CHECK: encoding: [0x62,0x22,0x35,0x03,0x45,0xea]
> + vpsrlvd %xmm18, %xmm25, %xmm29 {%k3}
> +
> +// CHECK: vpsrlvd %xmm18, %xmm25, %xmm29 {%k3} {z}
> +// CHECK: encoding: [0x62,0x22,0x35,0x83,0x45,0xea]
> + vpsrlvd %xmm18, %xmm25, %xmm29 {%k3} {z}
> +
> +// CHECK: vpsrlvd (%rcx), %xmm25, %xmm29
> +// CHECK: encoding: [0x62,0x62,0x35,0x00,0x45,0x29]
> + vpsrlvd (%rcx), %xmm25, %xmm29
> +
> +// CHECK: vpsrlvd 291(%rax,%r14,8), %xmm25, %xmm29
> +// CHECK: encoding: [0x62,0x22,0x35,0x00,0x45,0xac,0xf0,0x23,0x01,0x00,0x00]
> + vpsrlvd 291(%rax,%r14,8), %xmm25, %xmm29
> +
> +// CHECK: vpsrlvd (%rcx){1to4}, %xmm25, %xmm29
> +// CHECK: encoding: [0x62,0x62,0x35,0x10,0x45,0x29]
> + vpsrlvd (%rcx){1to4}, %xmm25, %xmm29
> +
> +// CHECK: vpsrlvd 2032(%rdx), %xmm25, %xmm29
> +// CHECK: encoding: [0x62,0x62,0x35,0x00,0x45,0x6a,0x7f]
> + vpsrlvd 2032(%rdx), %xmm25, %xmm29
> +
> +// CHECK: vpsrlvd 2048(%rdx), %xmm25, %xmm29
> +// CHECK: encoding: [0x62,0x62,0x35,0x00,0x45,0xaa,0x00,0x08,0x00,0x00]
> + vpsrlvd 2048(%rdx), %xmm25, %xmm29
> +
> +// CHECK: vpsrlvd -2048(%rdx), %xmm25, %xmm29
> +// CHECK: encoding: [0x62,0x62,0x35,0x00,0x45,0x6a,0x80]
> + vpsrlvd -2048(%rdx), %xmm25, %xmm29
> +
> +// CHECK: vpsrlvd -2064(%rdx), %xmm25, %xmm29
> +// CHECK: encoding: [0x62,0x62,0x35,0x00,0x45,0xaa,0xf0,0xf7,0xff,0xff]
> + vpsrlvd -2064(%rdx), %xmm25, %xmm29
> +
> +// CHECK: vpsrlvd 508(%rdx){1to4}, %xmm25, %xmm29
> +// CHECK: encoding: [0x62,0x62,0x35,0x10,0x45,0x6a,0x7f]
> + vpsrlvd 508(%rdx){1to4}, %xmm25, %xmm29
> +
> +// CHECK: vpsrlvd 512(%rdx){1to4}, %xmm25, %xmm29
> +// CHECK: encoding: [0x62,0x62,0x35,0x10,0x45,0xaa,0x00,0x02,0x00,0x00]
> + vpsrlvd 512(%rdx){1to4}, %xmm25, %xmm29
> +
> +// CHECK: vpsrlvd -512(%rdx){1to4}, %xmm25, %xmm29
> +// CHECK: encoding: [0x62,0x62,0x35,0x10,0x45,0x6a,0x80]
> + vpsrlvd -512(%rdx){1to4}, %xmm25, %xmm29
> +
> +// CHECK: vpsrlvd -516(%rdx){1to4}, %xmm25, %xmm29
> +// CHECK: encoding: [0x62,0x62,0x35,0x10,0x45,0xaa,0xfc,0xfd,0xff,0xff]
> + vpsrlvd -516(%rdx){1to4}, %xmm25, %xmm29
> +
> +// CHECK: vpsrlvd %ymm20, %ymm21, %ymm28
> +// CHECK: encoding: [0x62,0x22,0x55,0x20,0x45,0xe4]
> + vpsrlvd %ymm20, %ymm21, %ymm28
> +
> +// CHECK: vpsrlvd %ymm20, %ymm21, %ymm28 {%k5}
> +// CHECK: encoding: [0x62,0x22,0x55,0x25,0x45,0xe4]
> + vpsrlvd %ymm20, %ymm21, %ymm28 {%k5}
> +
> +// CHECK: vpsrlvd %ymm20, %ymm21, %ymm28 {%k5} {z}
> +// CHECK: encoding: [0x62,0x22,0x55,0xa5,0x45,0xe4]
> + vpsrlvd %ymm20, %ymm21, %ymm28 {%k5} {z}
> +
> +// CHECK: vpsrlvd (%rcx), %ymm21, %ymm28
> +// CHECK: encoding: [0x62,0x62,0x55,0x20,0x45,0x21]
> + vpsrlvd (%rcx), %ymm21, %ymm28
> +
> +// CHECK: vpsrlvd 291(%rax,%r14,8), %ymm21, %ymm28
> +// CHECK: encoding: [0x62,0x22,0x55,0x20,0x45,0xa4,0xf0,0x23,0x01,0x00,0x00]
> + vpsrlvd 291(%rax,%r14,8), %ymm21, %ymm28
> +
> +// CHECK: vpsrlvd (%rcx){1to8}, %ymm21, %ymm28
> +// CHECK: encoding: [0x62,0x62,0x55,0x30,0x45,0x21]
> + vpsrlvd (%rcx){1to8}, %ymm21, %ymm28
> +
> +// CHECK: vpsrlvd 4064(%rdx), %ymm21, %ymm28
> +// CHECK: encoding: [0x62,0x62,0x55,0x20,0x45,0x62,0x7f]
> + vpsrlvd 4064(%rdx), %ymm21, %ymm28
> +
> +// CHECK: vpsrlvd 4096(%rdx), %ymm21, %ymm28
> +// CHECK: encoding: [0x62,0x62,0x55,0x20,0x45,0xa2,0x00,0x10,0x00,0x00]
> + vpsrlvd 4096(%rdx), %ymm21, %ymm28
> +
> +// CHECK: vpsrlvd -4096(%rdx), %ymm21, %ymm28
> +// CHECK: encoding: [0x62,0x62,0x55,0x20,0x45,0x62,0x80]
> + vpsrlvd -4096(%rdx), %ymm21, %ymm28
> +
> +// CHECK: vpsrlvd -4128(%rdx), %ymm21, %ymm28
> +// CHECK: encoding: [0x62,0x62,0x55,0x20,0x45,0xa2,0xe0,0xef,0xff,0xff]
> + vpsrlvd -4128(%rdx), %ymm21, %ymm28
> +
> +// CHECK: vpsrlvd 508(%rdx){1to8}, %ymm21, %ymm28
> +// CHECK: encoding: [0x62,0x62,0x55,0x30,0x45,0x62,0x7f]
> + vpsrlvd 508(%rdx){1to8}, %ymm21, %ymm28
> +
> +// CHECK: vpsrlvd 512(%rdx){1to8}, %ymm21, %ymm28
> +// CHECK: encoding: [0x62,0x62,0x55,0x30,0x45,0xa2,0x00,0x02,0x00,0x00]
> + vpsrlvd 512(%rdx){1to8}, %ymm21, %ymm28
> +
> +// CHECK: vpsrlvd -512(%rdx){1to8}, %ymm21, %ymm28
> +// CHECK: encoding: [0x62,0x62,0x55,0x30,0x45,0x62,0x80]
> + vpsrlvd -512(%rdx){1to8}, %ymm21, %ymm28
> +
> +// CHECK: vpsrlvd -516(%rdx){1to8}, %ymm21, %ymm28
> +// CHECK: encoding: [0x62,0x62,0x55,0x30,0x45,0xa2,0xfc,0xfd,0xff,0xff]
> + vpsrlvd -516(%rdx){1to8}, %ymm21, %ymm28
> +
> +// CHECK: vpsrlvq %xmm27, %xmm28, %xmm21
> +// CHECK: encoding: [0x62,0x82,0x9d,0x00,0x45,0xeb]
> + vpsrlvq %xmm27, %xmm28, %xmm21
> +
> +// CHECK: vpsrlvq %xmm27, %xmm28, %xmm21 {%k1}
> +// CHECK: encoding: [0x62,0x82,0x9d,0x01,0x45,0xeb]
> + vpsrlvq %xmm27, %xmm28, %xmm21 {%k1}
> +
> +// CHECK: vpsrlvq %xmm27, %xmm28, %xmm21 {%k1} {z}
> +// CHECK: encoding: [0x62,0x82,0x9d,0x81,0x45,0xeb]
> + vpsrlvq %xmm27, %xmm28, %xmm21 {%k1} {z}
> +
> +// CHECK: vpsrlvq (%rcx), %xmm28, %xmm21
> +// CHECK: encoding: [0x62,0xe2,0x9d,0x00,0x45,0x29]
> + vpsrlvq (%rcx), %xmm28, %xmm21
> +
> +// CHECK: vpsrlvq 291(%rax,%r14,8), %xmm28, %xmm21
> +// CHECK: encoding: [0x62,0xa2,0x9d,0x00,0x45,0xac,0xf0,0x23,0x01,0x00,0x00]
> + vpsrlvq 291(%rax,%r14,8), %xmm28, %xmm21
> +
> +// CHECK: vpsrlvq (%rcx){1to2}, %xmm28, %xmm21
> +// CHECK: encoding: [0x62,0xe2,0x9d,0x10,0x45,0x29]
> + vpsrlvq (%rcx){1to2}, %xmm28, %xmm21
> +
> +// CHECK: vpsrlvq 2032(%rdx), %xmm28, %xmm21
> +// CHECK: encoding: [0x62,0xe2,0x9d,0x00,0x45,0x6a,0x7f]
> + vpsrlvq 2032(%rdx), %xmm28, %xmm21
> +
> +// CHECK: vpsrlvq 2048(%rdx), %xmm28, %xmm21
> +// CHECK: encoding: [0x62,0xe2,0x9d,0x00,0x45,0xaa,0x00,0x08,0x00,0x00]
> + vpsrlvq 2048(%rdx), %xmm28, %xmm21
> +
> +// CHECK: vpsrlvq -2048(%rdx), %xmm28, %xmm21
> +// CHECK: encoding: [0x62,0xe2,0x9d,0x00,0x45,0x6a,0x80]
> + vpsrlvq -2048(%rdx), %xmm28, %xmm21
> +
> +// CHECK: vpsrlvq -2064(%rdx), %xmm28, %xmm21
> +// CHECK: encoding: [0x62,0xe2,0x9d,0x00,0x45,0xaa,0xf0,0xf7,0xff,0xff]
> + vpsrlvq -2064(%rdx), %xmm28, %xmm21
> +
> +// CHECK: vpsrlvq 1016(%rdx){1to2}, %xmm28, %xmm21
> +// CHECK: encoding: [0x62,0xe2,0x9d,0x10,0x45,0x6a,0x7f]
> + vpsrlvq 1016(%rdx){1to2}, %xmm28, %xmm21
> +
> +// CHECK: vpsrlvq 1024(%rdx){1to2}, %xmm28, %xmm21
> +// CHECK: encoding: [0x62,0xe2,0x9d,0x10,0x45,0xaa,0x00,0x04,0x00,0x00]
> + vpsrlvq 1024(%rdx){1to2}, %xmm28, %xmm21
> +
> +// CHECK: vpsrlvq -1024(%rdx){1to2}, %xmm28, %xmm21
> +// CHECK: encoding: [0x62,0xe2,0x9d,0x10,0x45,0x6a,0x80]
> + vpsrlvq -1024(%rdx){1to2}, %xmm28, %xmm21
> +
> +// CHECK: vpsrlvq -1032(%rdx){1to2}, %xmm28, %xmm21
> +// CHECK: encoding: [0x62,0xe2,0x9d,0x10,0x45,0xaa,0xf8,0xfb,0xff,0xff]
> + vpsrlvq -1032(%rdx){1to2}, %xmm28, %xmm21
> +
> +// CHECK: vpsrlvq %ymm26, %ymm27, %ymm28
> +// CHECK: encoding: [0x62,0x02,0xa5,0x20,0x45,0xe2]
> + vpsrlvq %ymm26, %ymm27, %ymm28
> +
> +// CHECK: vpsrlvq %ymm26, %ymm27, %ymm28 {%k7}
> +// CHECK: encoding: [0x62,0x02,0xa5,0x27,0x45,0xe2]
> + vpsrlvq %ymm26, %ymm27, %ymm28 {%k7}
> +
> +// CHECK: vpsrlvq %ymm26, %ymm27, %ymm28 {%k7} {z}
> +// CHECK: encoding: [0x62,0x02,0xa5,0xa7,0x45,0xe2]
> + vpsrlvq %ymm26, %ymm27, %ymm28 {%k7} {z}
> +
> +// CHECK: vpsrlvq (%rcx), %ymm27, %ymm28
> +// CHECK: encoding: [0x62,0x62,0xa5,0x20,0x45,0x21]
> + vpsrlvq (%rcx), %ymm27, %ymm28
> +
> +// CHECK: vpsrlvq 291(%rax,%r14,8), %ymm27, %ymm28
> +// CHECK: encoding: [0x62,0x22,0xa5,0x20,0x45,0xa4,0xf0,0x23,0x01,0x00,0x00]
> + vpsrlvq 291(%rax,%r14,8), %ymm27, %ymm28
> +
> +// CHECK: vpsrlvq (%rcx){1to4}, %ymm27, %ymm28
> +// CHECK: encoding: [0x62,0x62,0xa5,0x30,0x45,0x21]
> + vpsrlvq (%rcx){1to4}, %ymm27, %ymm28
> +
> +// CHECK: vpsrlvq 4064(%rdx), %ymm27, %ymm28
> +// CHECK: encoding: [0x62,0x62,0xa5,0x20,0x45,0x62,0x7f]
> + vpsrlvq 4064(%rdx), %ymm27, %ymm28
> +
> +// CHECK: vpsrlvq 4096(%rdx), %ymm27, %ymm28
> +// CHECK: encoding: [0x62,0x62,0xa5,0x20,0x45,0xa2,0x00,0x10,0x00,0x00]
> + vpsrlvq 4096(%rdx), %ymm27, %ymm28
> +
> +// CHECK: vpsrlvq -4096(%rdx), %ymm27, %ymm28
> +// CHECK: encoding: [0x62,0x62,0xa5,0x20,0x45,0x62,0x80]
> + vpsrlvq -4096(%rdx), %ymm27, %ymm28
> +
> +// CHECK: vpsrlvq -4128(%rdx), %ymm27, %ymm28
> +// CHECK: encoding: [0x62,0x62,0xa5,0x20,0x45,0xa2,0xe0,0xef,0xff,0xff]
> + vpsrlvq -4128(%rdx), %ymm27, %ymm28
> +
> +// CHECK: vpsrlvq 1016(%rdx){1to4}, %ymm27, %ymm28
> +// CHECK: encoding: [0x62,0x62,0xa5,0x30,0x45,0x62,0x7f]
> + vpsrlvq 1016(%rdx){1to4}, %ymm27, %ymm28
> +
> +// CHECK: vpsrlvq 1024(%rdx){1to4}, %ymm27, %ymm28
> +// CHECK: encoding: [0x62,0x62,0xa5,0x30,0x45,0xa2,0x00,0x04,0x00,0x00]
> + vpsrlvq 1024(%rdx){1to4}, %ymm27, %ymm28
> +
> +// CHECK: vpsrlvq -1024(%rdx){1to4}, %ymm27, %ymm28
> +// CHECK: encoding: [0x62,0x62,0xa5,0x30,0x45,0x62,0x80]
> + vpsrlvq -1024(%rdx){1to4}, %ymm27, %ymm28
> +
> +// CHECK: vpsrlvq -1032(%rdx){1to4}, %ymm27, %ymm28
> +// CHECK: encoding: [0x62,0x62,0xa5,0x30,0x45,0xa2,0xf8,0xfb,0xff,0xff]
> + vpsrlvq -1032(%rdx){1to4}, %ymm27, %ymm28
> +
> +// CHECK: vpsrld $171, %xmm23, %xmm30
> +// CHECK: encoding: [0x62,0xb1,0x0d,0x00,0x72,0xd7,0xab]
> + vpsrld $171, %xmm23, %xmm30
> +
> +// CHECK: vpsrld $171, %xmm23, %xmm30 {%k3}
> +// CHECK: encoding: [0x62,0xb1,0x0d,0x03,0x72,0xd7,0xab]
> + vpsrld $171, %xmm23, %xmm30 {%k3}
> +
> +// CHECK: vpsrld $171, %xmm23, %xmm30 {%k3} {z}
> +// CHECK: encoding: [0x62,0xb1,0x0d,0x83,0x72,0xd7,0xab]
> + vpsrld $171, %xmm23, %xmm30 {%k3} {z}
> +
> +// CHECK: vpsrld $123, %xmm23, %xmm30
> +// CHECK: encoding: [0x62,0xb1,0x0d,0x00,0x72,0xd7,0x7b]
> + vpsrld $123, %xmm23, %xmm30
> +
> +// CHECK: vpsrld $123, (%rcx), %xmm30
> +// CHECK: encoding: [0x62,0xf1,0x0d,0x00,0x72,0x11,0x7b]
> + vpsrld $123, (%rcx), %xmm30
> +
> +// CHECK: vpsrld $123, 291(%rax,%r14,8), %xmm30
> +// CHECK: encoding: [0x62,0xb1,0x0d,0x00,0x72,0x94,0xf0,0x23,0x01,0x00,0x00,0x7b]
> + vpsrld $123, 291(%rax,%r14,8), %xmm30
> +
> +// CHECK: vpsrld $123, (%rcx){1to4}, %xmm30
> +// CHECK: encoding: [0x62,0xf1,0x0d,0x10,0x72,0x11,0x7b]
> + vpsrld $123, (%rcx){1to4}, %xmm30
> +
> +// CHECK: vpsrld $123, 2032(%rdx), %xmm30
> +// CHECK: encoding: [0x62,0xf1,0x0d,0x00,0x72,0x52,0x7f,0x7b]
> + vpsrld $123, 2032(%rdx), %xmm30
> +
> +// CHECK: vpsrld $123, 2048(%rdx), %xmm30
> +// CHECK: encoding: [0x62,0xf1,0x0d,0x00,0x72,0x92,0x00,0x08,0x00,0x00,0x7b]
> + vpsrld $123, 2048(%rdx), %xmm30
> +
> +// CHECK: vpsrld $123, -2048(%rdx), %xmm30
> +// CHECK: encoding: [0x62,0xf1,0x0d,0x00,0x72,0x52,0x80,0x7b]
> + vpsrld $123, -2048(%rdx), %xmm30
> +
> +// CHECK: vpsrld $123, -2064(%rdx), %xmm30
> +// CHECK: encoding: [0x62,0xf1,0x0d,0x00,0x72,0x92,0xf0,0xf7,0xff,0xff,0x7b]
> + vpsrld $123, -2064(%rdx), %xmm30
> +
> +// CHECK: vpsrld $123, 508(%rdx){1to4}, %xmm30
> +// CHECK: encoding: [0x62,0xf1,0x0d,0x10,0x72,0x52,0x7f,0x7b]
> + vpsrld $123, 508(%rdx){1to4}, %xmm30
> +
> +// CHECK: vpsrld $123, 512(%rdx){1to4}, %xmm30
> +// CHECK: encoding: [0x62,0xf1,0x0d,0x10,0x72,0x92,0x00,0x02,0x00,0x00,0x7b]
> + vpsrld $123, 512(%rdx){1to4}, %xmm30
> +
> +// CHECK: vpsrld $123, -512(%rdx){1to4}, %xmm30
> +// CHECK: encoding: [0x62,0xf1,0x0d,0x10,0x72,0x52,0x80,0x7b]
> + vpsrld $123, -512(%rdx){1to4}, %xmm30
> +
> +// CHECK: vpsrld $123, -516(%rdx){1to4}, %xmm30
> +// CHECK: encoding: [0x62,0xf1,0x0d,0x10,0x72,0x92,0xfc,0xfd,0xff,0xff,0x7b]
> + vpsrld $123, -516(%rdx){1to4}, %xmm30
> +
> +// CHECK: vpsrld $171, %ymm24, %ymm22
> +// CHECK: encoding: [0x62,0x91,0x4d,0x20,0x72,0xd0,0xab]
> + vpsrld $171, %ymm24, %ymm22
> +
> +// CHECK: vpsrld $171, %ymm24, %ymm22 {%k2}
> +// CHECK: encoding: [0x62,0x91,0x4d,0x22,0x72,0xd0,0xab]
> + vpsrld $171, %ymm24, %ymm22 {%k2}
> +
> +// CHECK: vpsrld $171, %ymm24, %ymm22 {%k2} {z}
> +// CHECK: encoding: [0x62,0x91,0x4d,0xa2,0x72,0xd0,0xab]
> + vpsrld $171, %ymm24, %ymm22 {%k2} {z}
> +
> +// CHECK: vpsrld $123, %ymm24, %ymm22
> +// CHECK: encoding: [0x62,0x91,0x4d,0x20,0x72,0xd0,0x7b]
> + vpsrld $123, %ymm24, %ymm22
> +
> +// CHECK: vpsrld $123, (%rcx), %ymm22
> +// CHECK: encoding: [0x62,0xf1,0x4d,0x20,0x72,0x11,0x7b]
> + vpsrld $123, (%rcx), %ymm22
> +
> +// CHECK: vpsrld $123, 291(%rax,%r14,8), %ymm22
> +// CHECK: encoding: [0x62,0xb1,0x4d,0x20,0x72,0x94,0xf0,0x23,0x01,0x00,0x00,0x7b]
> + vpsrld $123, 291(%rax,%r14,8), %ymm22
> +
> +// CHECK: vpsrld $123, (%rcx){1to8}, %ymm22
> +// CHECK: encoding: [0x62,0xf1,0x4d,0x30,0x72,0x11,0x7b]
> + vpsrld $123, (%rcx){1to8}, %ymm22
> +
> +// CHECK: vpsrld $123, 4064(%rdx), %ymm22
> +// CHECK: encoding: [0x62,0xf1,0x4d,0x20,0x72,0x52,0x7f,0x7b]
> + vpsrld $123, 4064(%rdx), %ymm22
> +
> +// CHECK: vpsrld $123, 4096(%rdx), %ymm22
> +// CHECK: encoding: [0x62,0xf1,0x4d,0x20,0x72,0x92,0x00,0x10,0x00,0x00,0x7b]
> + vpsrld $123, 4096(%rdx), %ymm22
> +
> +// CHECK: vpsrld $123, -4096(%rdx), %ymm22
> +// CHECK: encoding: [0x62,0xf1,0x4d,0x20,0x72,0x52,0x80,0x7b]
> + vpsrld $123, -4096(%rdx), %ymm22
> +
> +// CHECK: vpsrld $123, -4128(%rdx), %ymm22
> +// CHECK: encoding: [0x62,0xf1,0x4d,0x20,0x72,0x92,0xe0,0xef,0xff,0xff,0x7b]
> + vpsrld $123, -4128(%rdx), %ymm22
> +
> +// CHECK: vpsrld $123, 508(%rdx){1to8}, %ymm22
> +// CHECK: encoding: [0x62,0xf1,0x4d,0x30,0x72,0x52,0x7f,0x7b]
> + vpsrld $123, 508(%rdx){1to8}, %ymm22
> +
> +// CHECK: vpsrld $123, 512(%rdx){1to8}, %ymm22
> +// CHECK: encoding: [0x62,0xf1,0x4d,0x30,0x72,0x92,0x00,0x02,0x00,0x00,0x7b]
> + vpsrld $123, 512(%rdx){1to8}, %ymm22
> +
> +// CHECK: vpsrld $123, -512(%rdx){1to8}, %ymm22
> +// CHECK: encoding: [0x62,0xf1,0x4d,0x30,0x72,0x52,0x80,0x7b]
> + vpsrld $123, -512(%rdx){1to8}, %ymm22
> +
> +// CHECK: vpsrld $123, -516(%rdx){1to8}, %ymm22
> +// CHECK: encoding: [0x62,0xf1,0x4d,0x30,0x72,0x92,0xfc,0xfd,0xff,0xff,0x7b]
> + vpsrld $123, -516(%rdx){1to8}, %ymm22
> +
> +// CHECK: vpsrlq $171, %xmm24, %xmm17
> +// CHECK: encoding: [0x62,0x91,0xf5,0x00,0x73,0xd0,0xab]
> + vpsrlq $171, %xmm24, %xmm17
> +
> +// CHECK: vpsrlq $171, %xmm24, %xmm17 {%k6}
> +// CHECK: encoding: [0x62,0x91,0xf5,0x06,0x73,0xd0,0xab]
> + vpsrlq $171, %xmm24, %xmm17 {%k6}
> +
> +// CHECK: vpsrlq $171, %xmm24, %xmm17 {%k6} {z}
> +// CHECK: encoding: [0x62,0x91,0xf5,0x86,0x73,0xd0,0xab]
> + vpsrlq $171, %xmm24, %xmm17 {%k6} {z}
> +
> +// CHECK: vpsrlq $123, %xmm24, %xmm17
> +// CHECK: encoding: [0x62,0x91,0xf5,0x00,0x73,0xd0,0x7b]
> + vpsrlq $123, %xmm24, %xmm17
> +
> +// CHECK: vpsrlq $123, (%rcx), %xmm17
> +// CHECK: encoding: [0x62,0xf1,0xf5,0x00,0x73,0x11,0x7b]
> + vpsrlq $123, (%rcx), %xmm17
> +
> +// CHECK: vpsrlq $123, 291(%rax,%r14,8), %xmm17
> +// CHECK: encoding: [0x62,0xb1,0xf5,0x00,0x73,0x94,0xf0,0x23,0x01,0x00,0x00,0x7b]
> + vpsrlq $123, 291(%rax,%r14,8), %xmm17
> +
> +// CHECK: vpsrlq $123, (%rcx){1to2}, %xmm17
> +// CHECK: encoding: [0x62,0xf1,0xf5,0x10,0x73,0x11,0x7b]
> + vpsrlq $123, (%rcx){1to2}, %xmm17
> +
> +// CHECK: vpsrlq $123, 2032(%rdx), %xmm17
> +// CHECK: encoding: [0x62,0xf1,0xf5,0x00,0x73,0x52,0x7f,0x7b]
> + vpsrlq $123, 2032(%rdx), %xmm17
> +
> +// CHECK: vpsrlq $123, 2048(%rdx), %xmm17
> +// CHECK: encoding: [0x62,0xf1,0xf5,0x00,0x73,0x92,0x00,0x08,0x00,0x00,0x7b]
> + vpsrlq $123, 2048(%rdx), %xmm17
> +
> +// CHECK: vpsrlq $123, -2048(%rdx), %xmm17
> +// CHECK: encoding: [0x62,0xf1,0xf5,0x00,0x73,0x52,0x80,0x7b]
> + vpsrlq $123, -2048(%rdx), %xmm17
> +
> +// CHECK: vpsrlq $123, -2064(%rdx), %xmm17
> +// CHECK: encoding: [0x62,0xf1,0xf5,0x00,0x73,0x92,0xf0,0xf7,0xff,0xff,0x7b]
> + vpsrlq $123, -2064(%rdx), %xmm17
> +
> +// CHECK: vpsrlq $123, 1016(%rdx){1to2}, %xmm17
> +// CHECK: encoding: [0x62,0xf1,0xf5,0x10,0x73,0x52,0x7f,0x7b]
> + vpsrlq $123, 1016(%rdx){1to2}, %xmm17
> +
> +// CHECK: vpsrlq $123, 1024(%rdx){1to2}, %xmm17
> +// CHECK: encoding: [0x62,0xf1,0xf5,0x10,0x73,0x92,0x00,0x04,0x00,0x00,0x7b]
> + vpsrlq $123, 1024(%rdx){1to2}, %xmm17
> +
> +// CHECK: vpsrlq $123, -1024(%rdx){1to2}, %xmm17
> +// CHECK: encoding: [0x62,0xf1,0xf5,0x10,0x73,0x52,0x80,0x7b]
> + vpsrlq $123, -1024(%rdx){1to2}, %xmm17
> +
> +// CHECK: vpsrlq $123, -1032(%rdx){1to2}, %xmm17
> +// CHECK: encoding: [0x62,0xf1,0xf5,0x10,0x73,0x92,0xf8,0xfb,0xff,0xff,0x7b]
> + vpsrlq $123, -1032(%rdx){1to2}, %xmm17
> +
> +// CHECK: vpsrlq $171, %ymm27, %ymm29
> +// CHECK: encoding: [0x62,0x91,0x95,0x20,0x73,0xd3,0xab]
> + vpsrlq $171, %ymm27, %ymm29
> +
> +// CHECK: vpsrlq $171, %ymm27, %ymm29 {%k3}
> +// CHECK: encoding: [0x62,0x91,0x95,0x23,0x73,0xd3,0xab]
> + vpsrlq $171, %ymm27, %ymm29 {%k3}
> +
> +// CHECK: vpsrlq $171, %ymm27, %ymm29 {%k3} {z}
> +// CHECK: encoding: [0x62,0x91,0x95,0xa3,0x73,0xd3,0xab]
> + vpsrlq $171, %ymm27, %ymm29 {%k3} {z}
> +
> +// CHECK: vpsrlq $123, %ymm27, %ymm29
> +// CHECK: encoding: [0x62,0x91,0x95,0x20,0x73,0xd3,0x7b]
> + vpsrlq $123, %ymm27, %ymm29
> +
> +// CHECK: vpsrlq $123, (%rcx), %ymm29
> +// CHECK: encoding: [0x62,0xf1,0x95,0x20,0x73,0x11,0x7b]
> + vpsrlq $123, (%rcx), %ymm29
> +
> +// CHECK: vpsrlq $123, 291(%rax,%r14,8), %ymm29
> +// CHECK: encoding: [0x62,0xb1,0x95,0x20,0x73,0x94,0xf0,0x23,0x01,0x00,0x00,0x7b]
> + vpsrlq $123, 291(%rax,%r14,8), %ymm29
> +
> +// CHECK: vpsrlq $123, (%rcx){1to4}, %ymm29
> +// CHECK: encoding: [0x62,0xf1,0x95,0x30,0x73,0x11,0x7b]
> + vpsrlq $123, (%rcx){1to4}, %ymm29
> +
> +// CHECK: vpsrlq $123, 4064(%rdx), %ymm29
> +// CHECK: encoding: [0x62,0xf1,0x95,0x20,0x73,0x52,0x7f,0x7b]
> + vpsrlq $123, 4064(%rdx), %ymm29
> +
> +// CHECK: vpsrlq $123, 4096(%rdx), %ymm29
> +// CHECK: encoding: [0x62,0xf1,0x95,0x20,0x73,0x92,0x00,0x10,0x00,0x00,0x7b]
> + vpsrlq $123, 4096(%rdx), %ymm29
> +
> +// CHECK: vpsrlq $123, -4096(%rdx), %ymm29
> +// CHECK: encoding: [0x62,0xf1,0x95,0x20,0x73,0x52,0x80,0x7b]
> + vpsrlq $123, -4096(%rdx), %ymm29
> +
> +// CHECK: vpsrlq $123, -4128(%rdx), %ymm29
> +// CHECK: encoding: [0x62,0xf1,0x95,0x20,0x73,0x92,0xe0,0xef,0xff,0xff,0x7b]
> + vpsrlq $123, -4128(%rdx), %ymm29
> +
> +// CHECK: vpsrlq $123, 1016(%rdx){1to4}, %ymm29
> +// CHECK: encoding: [0x62,0xf1,0x95,0x30,0x73,0x52,0x7f,0x7b]
> + vpsrlq $123, 1016(%rdx){1to4}, %ymm29
> +
> +// CHECK: vpsrlq $123, 1024(%rdx){1to4}, %ymm29
> +// CHECK: encoding: [0x62,0xf1,0x95,0x30,0x73,0x92,0x00,0x04,0x00,0x00,0x7b]
> + vpsrlq $123, 1024(%rdx){1to4}, %ymm29
> +
> +// CHECK: vpsrlq $123, -1024(%rdx){1to4}, %ymm29
> +// CHECK: encoding: [0x62,0xf1,0x95,0x30,0x73,0x52,0x80,0x7b]
> + vpsrlq $123, -1024(%rdx){1to4}, %ymm29
> +
> +// CHECK: vpsrlq $123, -1032(%rdx){1to4}, %ymm29
> +// CHECK: encoding: [0x62,0xf1,0x95,0x30,0x73,0x92,0xf8,0xfb,0xff,0xff,0x7b]
> + vpsrlq $123, -1032(%rdx){1to4}, %ymm29
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
More information about the llvm-commits
mailing list