VEXTRACTI64X2
AVX512 AVX512DQ_256 x86_64
4 encoding forms.
XED_VEXTRACTI64X2_MEMu64_MASKmskw_YMMu64_IMM8_AVX512
MEM0:w:dq:u64 REG0=MASK1():r:mskw REG1=YMM_R3():r:qq:u64 IMM0:r:b
XED_VEXTRACTI64X2_MEMu64_MASKmskw_ZMMu64_IMM8_AVX512
MEM0:w:dq:u64 REG0=MASK1():r:mskw REG1=ZMM_R3():r:zu64 IMM0:r:b
XED_VEXTRACTI64X2_XMMu64_MASKmskw_YMMu64_IMM8_AVX512
REG0=XMM_B3():w:dq:u64 REG1=MASK1():r:mskw:TXT=ZEROSTR REG2=YMM_R3():r:qq:u64 IMM0:r:b
XED_VEXTRACTI64X2_XMMu64_MASKmskw_ZMMu64_IMM8_AVX512
REG0=XMM_B3():w:dq:u64 REG1=MASK1():r:mskw:TXT=ZEROSTR REG2=ZMM_R3():r:zu64 IMM0:r:b