C4C3F916E0F8
ICLASS:     VPEXTRD
CATEGORY:   AVX
EXTENSION:  AVX
IFORM:      VPEXTRD_GPR32d_XMMdq_IMMb
ISA_SET:    AVX
ATTRIBUTES: 
SHORT:      vpextrd eax, xmm4, 0xf8