VEXTRACTF64X2
AVX512 AVX512DQ_256 x86_64
4 encoding forms.
XED_VEXTRACTF64X2_MEMf64_MASKmskw_YMMf64_IMM8_AVX512
MEM0:w:dq:f64 REG0=MASK1():r:mskw REG1=YMM_R3():r:qq:f64 IMM0:r:b
XED_VEXTRACTF64X2_MEMf64_MASKmskw_ZMMf64_IMM8_AVX512
MEM0:w:dq:f64 REG0=MASK1():r:mskw REG1=ZMM_R3():r:zf64 IMM0:r:b
XED_VEXTRACTF64X2_XMMf64_MASKmskw_YMMf64_IMM8_AVX512
REG0=XMM_B3():w:dq:f64 REG1=MASK1():r:mskw:TXT=ZEROSTR REG2=YMM_R3():r:qq:f64 IMM0:r:b
XED_VEXTRACTF64X2_XMMf64_MASKmskw_ZMMf64_IMM8_AVX512
REG0=XMM_B3():w:dq:f64 REG1=MASK1():r:mskw:TXT=ZEROSTR REG2=ZMM_R3():r:zf64 IMM0:r:b