37   return (__m512i) __builtin_ia32_vpmadd52huq512_mask ((__v8di) __X,  in _mm512_madd52hi_epu64()
38                    (__v8di) __Y,  in _mm512_madd52hi_epu64()
39                    (__v8di) __Z,  in _mm512_madd52hi_epu64()
47   return (__m512i) __builtin_ia32_vpmadd52huq512_mask ((__v8di) __W,  in _mm512_mask_madd52hi_epu64()
48                    (__v8di) __X,  in _mm512_mask_madd52hi_epu64()
49                    (__v8di) __Y,  in _mm512_mask_madd52hi_epu64()
56   return (__m512i) __builtin_ia32_vpmadd52huq512_maskz ((__v8di) __X,  in _mm512_maskz_madd52hi_epu64()
57               (__v8di) __Y,  in _mm512_maskz_madd52hi_epu64()
58               (__v8di) __Z,  in _mm512_maskz_madd52hi_epu64()
65   return (__m512i) __builtin_ia32_vpmadd52luq512_mask ((__v8di) __X,  in _mm512_madd52lo_epu64()
66                    (__v8di) __Y,  in _mm512_madd52lo_epu64()
67                    (__v8di) __Z,  in _mm512_madd52lo_epu64()
75   return (__m512i) __builtin_ia32_vpmadd52luq512_mask ((__v8di) __W,  in _mm512_mask_madd52lo_epu64()
76                    (__v8di) __X,  in _mm512_mask_madd52lo_epu64()
77                    (__v8di) __Y,  in _mm512_mask_madd52lo_epu64()
84   return (__m512i) __builtin_ia32_vpmadd52luq512_maskz ((__v8di) __X,  in _mm512_maskz_madd52lo_epu64()
85               (__v8di) __Y,  in _mm512_maskz_madd52lo_epu64()
86               (__v8di) __Z,  in _mm512_maskz_madd52lo_epu64()