VEXTRACTF64X2

MEM0:w:dq:f64 REG0=MASK1():r:mskw REG1=YMM_R3():r:qq:f64 IMM0:r:b

x86_64 X86_LEGACY AVX512 AVX512DQ_256 source: xed

XED_VEXTRACTF64X2_MEMf64_MASKmskw_YMMf64_IMM8_AVX512

Encoding

encoding_kindX86_LEGACY
opcode_bytes19
opcode_mapONEBYTE
mandatory_prefix-
has_modrmTrue
vex_l1
imm_size_bytes1
attributesDISP8_TUPLE2 MASKOP_EVEX
exception_classAVX512-E6NF
cpl3
raw_encodingEVV 0x19 V66 V0F3A MOD[mm] MOD!=3 REG[rrr] RM[nnn] MODRM() BCRC=0 UBIT=1 W1 VL256 NOEVSR ZEROING=0 UIMM8() ESIZE_64_BITS() NELEM_TUPLE2()

Operands (4)

# Role Kind Class / Reg Width Access Visibility Encoded in
0 MEM0 MEM w W EXPLICIT MODRM_RM
1 REG0 REG R EXPLICIT MODRM_REG
2 REG1 REG f64 R EXPLICIT MODRM_REG
3 IMM0 IMM b R EXPLICIT IMM

Micro-ops sequence (0)

No micro-ops authored for this encoding. Emulator semantics not yet defined — decoder still works.