C5EC58CB
ICLASS:     VADDPS
CATEGORY:   AVX
EXTENSION:  AVX
IFORM:      VADDPS_YMMqq_YMMqq_YMMqq
ISA_SET:    AVX
ATTRIBUTES: MXCSR 
SHORT:      vaddps ymm1, ymm2, ymm3