VPEXTRD

REG0=GPR32_B():w:d:u32 REG1=XMM_R3():r:dq:u32 IMM0:r:b

x86_64 X86_LEGACY AVX512 AVX512DQ_128N source: xed

XED_VPEXTRD_GPR32u32_XMMu32_IMM8_AVX512

Encoding

encoding_kindX86_LEGACY
opcode_bytes16
opcode_mapONEBYTE
mandatory_prefix-
has_modrmTrue
vex_l0
imm_size_bytes1
requires_modelong
exception_classAVX512-E9NF
cpl3
raw_encodingEVV 0x16 V66 V0F3A MOD[0b11] MOD=3 BCRC=0 UBIT=1 REG[rrr] RM[nnn] W0 VL128 mode64 NOEVSR ZEROING=0 MASK=0 UIMM8()

Operands (3)

# Role Kind Class / Reg Width Access Visibility Encoded in
0 REG0 REG w W EXPLICIT MODRM_REG
1 REG1 REG R EXPLICIT MODRM_REG
2 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.