VEXTRACTPS
AVX512 AVX512F_128N x86_64
3 encoding forms.
XED_VEXTRACTPS_GPR32f32_XMMf32_IMM8_AVX512
REG0=GPR32_B():w:d:f32 REG1=XMM_R3():r:dq:f32 IMM0:r:b
XED_VEXTRACTPS_MEMf32_XMMf32_IMM8_AVX512
MEM0:w:d:f32 REG0=XMM_R3():r:dq:f32 IMM0:r:b
XED_VEXTRACTPS_X86_LEGACY_ONEBYTE_17_267186
MEM0:w:d:f32 REG0=XMM_R():r:dq:f32 IMM0:r:b REG0=VGPR32_B():w REG1=XMM_R():r:dq:f32 IMM0:r:b