774 _mm256_mask_mul_epi32 (__m256i __W, __mmask8 __M, __m256i __X,  in _mm256_mask_mul_epi32()  argument
777   return (__m256i) __builtin_ia32_pmuldq256_mask ((__v8si) __X,  in _mm256_mask_mul_epi32()
783 _mm256_maskz_mul_epi32 (__mmask8 __M, __m256i __X, __m256i __Y)  in _mm256_maskz_mul_epi32()  argument
785   return (__m256i) __builtin_ia32_pmuldq256_mask ((__v8si) __X,  in _mm256_maskz_mul_epi32()
793 _mm_mask_mul_epi32 (__m128i __W, __mmask8 __M, __m128i __X,  in _mm_mask_mul_epi32()  argument
796   return (__m128i) __builtin_ia32_pmuldq128_mask ((__v4si) __X,  in _mm_mask_mul_epi32()
802 _mm_maskz_mul_epi32 (__mmask8 __M, __m128i __X, __m128i __Y)  in _mm_maskz_mul_epi32()  argument
804   return (__m128i) __builtin_ia32_pmuldq128_mask ((__v4si) __X,  in _mm_maskz_mul_epi32()
812 _mm256_mask_mul_epu32 (__m256i __W, __mmask8 __M, __m256i __X,  in _mm256_mask_mul_epu32()  argument
815   return (__m256i) __builtin_ia32_pmuludq256_mask ((__v8si) __X,  in _mm256_mask_mul_epu32()
821 _mm256_maskz_mul_epu32 (__mmask8 __M, __m256i __X, __m256i __Y)  in _mm256_maskz_mul_epu32()  argument
823   return (__m256i) __builtin_ia32_pmuludq256_mask ((__v8si) __X,  in _mm256_maskz_mul_epu32()
831 _mm_mask_mul_epu32 (__m128i __W, __mmask8 __M, __m128i __X,  in _mm_mask_mul_epu32()  argument
834   return (__m128i) __builtin_ia32_pmuludq128_mask ((__v4si) __X,  in _mm_mask_mul_epu32()
840 _mm_maskz_mul_epu32 (__mmask8 __M, __m128i __X, __m128i __Y)  in _mm_maskz_mul_epu32()  argument
842   return (__m128i) __builtin_ia32_pmuludq128_mask ((__v4si) __X,  in _mm_maskz_mul_epu32()