62F1740958DA
ICLASS:     VADDPS
CATEGORY:   AVX512
EXTENSION:  AVX512EVEX
IFORM:      VADDPS_XMMf32_MASKmskw_XMMf32_XMMf32_AVX512
ISA_SET:    AVX512F_128
ATTRIBUTES: MASKOP_EVEX MXCSR 
SHORT:      vaddps xmm3{k1}, xmm1, xmm2