Did you mean (for external): _mm512_mask_madd52lo_epu64 _mm512_mask_madd52hi_epu64 _mm512_maskz_madd52lo_epu64 _mm512_mask_madd_epi16 _mm512_mask_maddubs_epi16
Your search defs:avx512_mask_vpmadd52l_uq_128 did not match any files.
Suggestions: