66   return (__m256i) __builtin_ia32_vpmadd52huq256_mask ((__v4di) __X,  in _mm256_madd52hi_epu64()
67                    (__v4di) __Y,  in _mm256_madd52hi_epu64()
68                    (__v4di) __Z,  in _mm256_madd52hi_epu64()
76   return (__m256i) __builtin_ia32_vpmadd52huq256_mask ((__v4di) __W,  in _mm256_mask_madd52hi_epu64()
77                    (__v4di) __X,  in _mm256_mask_madd52hi_epu64()
78                    (__v4di) __Y,  in _mm256_mask_madd52hi_epu64()
85   return (__m256i) __builtin_ia32_vpmadd52huq256_maskz ((__v4di) __X,  in _mm256_maskz_madd52hi_epu64()
86               (__v4di) __Y,  in _mm256_maskz_madd52hi_epu64()
87               (__v4di) __Z,  in _mm256_maskz_madd52hi_epu64()
121   return (__m256i) __builtin_ia32_vpmadd52luq256_mask ((__v4di) __X,  in _mm256_madd52lo_epu64()
122                    (__v4di) __Y,  in _mm256_madd52lo_epu64()
123                    (__v4di) __Z,  in _mm256_madd52lo_epu64()
131   return (__m256i) __builtin_ia32_vpmadd52luq256_mask ((__v4di) __W,  in _mm256_mask_madd52lo_epu64()
132                    (__v4di) __X,  in _mm256_mask_madd52lo_epu64()
133                    (__v4di) __Y,  in _mm256_mask_madd52lo_epu64()
140   return (__m256i) __builtin_ia32_vpmadd52luq256_maskz ((__v4di) __X,  in _mm256_maskz_madd52lo_epu64()
141               (__v4di) __Y,  in _mm256_maskz_madd52lo_epu64()
142               (__v4di) __Z,  in _mm256_maskz_madd52lo_epu64()