CBMC
Loading...
Searching...
No Matches
gcc_builtin_headers_ia32-5.h
Go to the documentation of this file.
1// clang-format off
169unsigned long long __builtin_ia32_vpshufbitqmb512_mask(__gcc_v64qi, __gcc_v64qi, unsigned long long);
264unsigned long long int __builtin_ia32_rdsspq();
265void __builtin_ia32_incsspd(unsigned int);
266void __builtin_ia32_incsspq(unsigned long long int);
269void __builtin_ia32_wrssd(unsigned int, void*);
270void __builtin_ia32_wrssq(unsigned long long int, void*);
271void __builtin_ia32_wrussd(unsigned int, void*);
272void __builtin_ia32_wrussq(unsigned long long int, void*);
275unsigned char __builtin_ia32_addcarryx_u32(unsigned char, unsigned int, unsigned int, unsigned int *);
276unsigned char __builtin_ia32_addcarryx_u64(unsigned char, unsigned long long, unsigned long long, unsigned long long *);
279unsigned char __builtin_ia32_fpclassph128_mask(__gcc_v8hf, int, unsigned char);
337void __builtin_ia32_storesh_mask(const _Float16 *, __gcc_v8hf, unsigned char);
341unsigned char __builtin_ia32_cmpsh_mask_round(__gcc_v8hf, __gcc_v8hf, int, unsigned char, int);
544void __builtin_ia32_monitorx(const void*, unsigned, unsigned);
545void __builtin_ia32_mwaitx(unsigned, unsigned, unsigned);
546int __builtin_ia32_rdseed_di_step(unsigned long long *);
547int __builtin_ia32_rdseed_hi_step(unsigned short *);
549unsigned long long __builtin_ia32_readeflags_u64(void);
550void __builtin_ia32_writeeflags_u64(unsigned long long);
551unsigned char __builtin_ia32_sbb_u32(unsigned char, unsigned, unsigned, unsigned int *);
552unsigned char __builtin_ia32_sbb_u64(unsigned char, unsigned long long, unsigned long long, unsigned long long *);
553unsigned char __builtin_ia32_testui(void);
554// Clang: unsigned char __builtin_ia32_tpause(unsigned int, unsigned int, unsigned int);
555// GCC: unsigned char __builtin_ia32_tpause(unsigned int, unsigned long long);
556unsigned char __builtin_ia32_tpause(unsigned int, ...);
558// Clang: unsigned char __builtin_ia32_umwait(unsigned int, unsigned int, unsigned int);
559// GCC: unsigned char __builtin_ia32_umwait(unsigned int, unsigned long long);
560unsigned char __builtin_ia32_umwait(unsigned, ...);
561// clang-format on
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:562
__gcc_v8hf __builtin_ia32_vfmaddph128_mask3(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v8hi __builtin_ia32_vcvtph2uw128_mask(__gcc_v8hf, __gcc_v8hi, unsigned char)
__gcc_v16hi __builtin_ia32_cvtne2ps2bf16_v16hi_maskz(__gcc_v8sf, __gcc_v8sf, unsigned short)
__gcc_v4sf __builtin_ia32_vcvtph2psx128_mask(__gcc_v8hf, __gcc_v4sf, unsigned char)
__gcc_v8hf __builtin_ia32_addsh_mask(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v16hf __builtin_ia32_rndscaleph256_mask(__gcc_v16hf, int, __gcc_v16hf, unsigned short)
__gcc_v4di __builtin_ia32_vpshld_v4di(__gcc_v4di, __gcc_v4di, int)
__gcc_v8di __builtin_ia32_vpshldv_v8di(__gcc_v8di, __gcc_v8di, __gcc_v8di)
__gcc_v4si __builtin_ia32_vpopcountd_v4si(__gcc_v4si)
__gcc_v32hf __builtin_ia32_rndscaleph512_mask_round(__gcc_v32hf, int, __gcc_v32hf, unsigned, int)
__gcc_v4di __builtin_ia32_vpshrdv_v4di(__gcc_v4di, __gcc_v4di, __gcc_v4di)
__gcc_v64qi __builtin_ia32_vgf2p8affineinvqb_v64qi_mask(__gcc_v64qi, __gcc_v64qi, int, __gcc_v64qi, unsigned long long)
__gcc_v8hf __builtin_ia32_vfcmaddcph128_mask(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v4si __builtin_ia32_vcvttph2dq128_mask(__gcc_v8hf, __gcc_v4si, unsigned char)
__gcc_v8sf __builtin_ia32_dpbf16ps_v8sf_mask(__gcc_v8sf, __gcc_v16hi, __gcc_v16hi, unsigned char)
__gcc_v32hf __builtin_ia32_vfnmaddph512_maskz(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned, int)
__gcc_v8hf __builtin_ia32_mulsh_mask_round(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char, int)
__gcc_v4si __builtin_ia32_vpdpbusds_v4si_mask(__gcc_v4si, __gcc_v4si, __gcc_v4si, unsigned char)
__gcc_v8hi __builtin_ia32_cvtne2ps2bf16_v8hi(__gcc_v4sf, __gcc_v4sf)
__gcc_v64qi __builtin_ia32_vaesenclast_v64qi(__gcc_v64qi, __gcc_v64qi)
__gcc_v32hf __builtin_ia32_vfmaddph512_mask(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned, int)
__gcc_v8si __builtin_ia32_vpopcountd_v8si_mask(__gcc_v8si, __gcc_v8si, unsigned short)
__gcc_v8hi __builtin_ia32_vpshld_v8hi_mask(__gcc_v8hi, __gcc_v8hi, int, __gcc_v8hi, int)
unsigned char __builtin_ia32_testui(void)
__gcc_v16hi __builtin_ia32_vpshld_v16hi(__gcc_v16hi, __gcc_v16hi, int)
__gcc_v8hf __builtin_ia32_divph128_mask(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v16si __builtin_ia32_vpdpbusd_v16si(__gcc_v16si, __gcc_v16si, __gcc_v16si)
__gcc_v2di __builtin_ia32_vpshld_v2di_mask(__gcc_v2di, __gcc_v2di, int, __gcc_v2di, int)
__gcc_v4di __builtin_ia32_vpshld_v4di_mask(__gcc_v4di, __gcc_v4di, int, __gcc_v4di, int)
__gcc_v8hf __builtin_ia32_vcvtuqq2ph128_mask(__gcc_v2di, __gcc_v8hf, unsigned char)
__gcc_v8hf __builtin_ia32_vfmsubph128_mask(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v32hf __builtin_ia32_getmantph512_mask(__gcc_v32hf, int, __gcc_v32hf, unsigned, int)
__gcc_v32hi __builtin_ia32_vpshldv_v32hi_maskz(__gcc_v32hi, __gcc_v32hi, __gcc_v32hi, unsigned)
__gcc_v4df __builtin_ia32_vcvtph2pd256_mask(__gcc_v8hf, __gcc_v4df, unsigned char)
__gcc_v16hf __builtin_ia32_vfmulcph256_mask(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned char)
__gcc_v2df __builtin_ia32_cvtss2sd_mask_round(__gcc_v2df, __gcc_v4sf, __gcc_v2df, unsigned char, int)
__gcc_v8hf __builtin_ia32_maxsh_mask_round(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char, int)
__gcc_v64qi __builtin_ia32_vgf2p8affineqb_v64qi_mask(__gcc_v64qi, __gcc_v64qi, int, __gcc_v64qi, unsigned long long)
__gcc_v8hf __builtin_ia32_vfmulcsh_round(__gcc_v8hf, __gcc_v8hf, int)
__gcc_v32hf __builtin_ia32_vfmaddsubph512_mask3(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned, int)
__gcc_v8hf __builtin_ia32_vcvtuqq2ph512_mask_round(__gcc_v8di, __gcc_v8hf, unsigned char, int)
__gcc_v8si __builtin_ia32_vpdpbusd_v8si_maskz(__gcc_v8si, __gcc_v8si, __gcc_v8si, unsigned char)
__gcc_v16hf __builtin_ia32_rsqrtph256_mask(__gcc_v16hf, __gcc_v16hf, unsigned short)
__gcc_v2di __builtin_ia32_vpshldv_v2di_maskz(__gcc_v2di, __gcc_v2di, __gcc_v2di, unsigned char)
__gcc_v4sf __builtin_ia32_divss_mask_round(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__gcc_v32hf __builtin_ia32_vfmsubph512_mask(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned, int)
__gcc_v16hf __builtin_ia32_vfmaddcph256_maskz(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned char)
__gcc_v4sf __builtin_ia32_getmantss_mask_round(__gcc_v4sf, __gcc_v4sf, int, __gcc_v4sf, unsigned char, int)
__gcc_v8hf __builtin_ia32_vfnmaddsh3_maskz(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char, int)
__gcc_v2df __builtin_ia32_vfmaddsd3_mask3(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__gcc_v8hi __builtin_ia32_vpshldv_v8hi_mask(__gcc_v8hi, __gcc_v8hi, __gcc_v8hi, unsigned char)
__gcc_v8si __builtin_ia32_vpshrdv_v8si_mask(__gcc_v8si, __gcc_v8si, __gcc_v8si, unsigned char)
__gcc_v16hf __builtin_ia32_vfcmaddcph256_maskz(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned char)
__gcc_v4si __builtin_ia32_vpshrd_v4si(__gcc_v4si, __gcc_v4si, int)
__gcc_v32hf __builtin_ia32_minph512_mask_round(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned, int)
unsigned long long __builtin_ia32_readeflags_u64(void)
__gcc_v4di __builtin_ia32_vpshrd_v4di_mask(__gcc_v4di, __gcc_v4di, int, __gcc_v4di, int)
__gcc_v32hf __builtin_ia32_vcvtuw2ph512_mask_round(__gcc_v32hi, __gcc_v32hf, unsigned, int)
__gcc_v8df __builtin_ia32_reducepd512_mask_round(__gcc_v8df, int, __gcc_v8df, unsigned char, int)
__gcc_v4di __builtin_ia32_vpshldv_v4di_mask(__gcc_v4di, __gcc_v4di, __gcc_v4di, unsigned char)
__gcc_v16hi __builtin_ia32_vpshrdv_v16hi_mask(__gcc_v16hi, __gcc_v16hi, __gcc_v16hi, unsigned short)
__gcc_v16hi __builtin_ia32_vcvtph2uw256_mask(__gcc_v16hf, __gcc_v16hi, unsigned short)
__gcc_v16qi __builtin_ia32_vaesenclast_v16qi(__gcc_v16qi, __gcc_v16qi)
__gcc_v32hf __builtin_ia32_vfnmaddph512_mask(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned, int)
__gcc_v16qi __builtin_ia32_vgf2p8affineinvqb_v16qi_mask(__gcc_v16qi, __gcc_v16qi, int, __gcc_v16qi, unsigned short)
__gcc_v16hf __builtin_ia32_getmantph256_mask(__gcc_v16hf, int, __gcc_v16hf, unsigned short)
__gcc_v2di __builtin_ia32_vcvttph2qq128_mask(__gcc_v8hf, __gcc_v2di, unsigned char)
__gcc_v32hf __builtin_ia32_vfcmaddcph512_mask_round(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned short, int)
__gcc_v8hf __builtin_ia32_getmantph128_mask(__gcc_v8hf, int, __gcc_v8hf, unsigned char)
__gcc_v8hf __builtin_ia32_addph128_mask(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
unsigned int __builtin_ia32_vpshufbitqmb256_mask(__gcc_v32qi, __gcc_v32qi, unsigned int)
__gcc_v16hf __builtin_ia32_vfmaddph256_mask3(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned short)
__gcc_v32hf __builtin_ia32_vfcmulcph512_round(__gcc_v32hf, __gcc_v32hf, int)
__gcc_v8sf __builtin_ia32_vcvtph2psx256_mask(__gcc_v8hf, __gcc_v8sf, unsigned char)
__gcc_v4sf __builtin_ia32_dpbf16ps_v4sf_maskz(__gcc_v4sf, __gcc_v8hi, __gcc_v8hi, unsigned char)
__gcc_v8hf __builtin_ia32_vfnmsubph128_maskz(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v8hf __builtin_ia32_vfcmaddcsh_round(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, int)
__gcc_v8hf __builtin_ia32_vfmaddcph128_mask(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v8si __builtin_ia32_vpshldv_v8si(__gcc_v8si, __gcc_v8si, __gcc_v8si)
void __builtin_ia32_incsspd(unsigned int)
__gcc_v2di __builtin_ia32_vpshrdv_v2di_maskz(__gcc_v2di, __gcc_v2di, __gcc_v2di, unsigned char)
__gcc_v8hf __builtin_ia32_vcvtuw2ph128_mask(__gcc_v8hi, __gcc_v8hf, unsigned char)
__gcc_v2di __builtin_ia32_vcvttph2uqq128_mask(__gcc_v8hf, __gcc_v2di, unsigned char)
__gcc_v32hf __builtin_ia32_getexpph512_mask(__gcc_v32hf, __gcc_v32hf, unsigned, int)
__gcc_v4sf __builtin_ia32_getexpss_mask_round(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__gcc_v16hi __builtin_ia32_vcvttph2uw256_mask(__gcc_v16hf, __gcc_v16hi, unsigned short)
__gcc_v32hf __builtin_ia32_mulph512_mask_round(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned, int)
__gcc_v16si __builtin_ia32_vpdpbusds_v16si_mask(__gcc_v16si, __gcc_v16si, __gcc_v16si, unsigned short)
unsigned char __builtin_ia32_sbb_u64(unsigned char, unsigned long long, unsigned long long, unsigned long long *)
__gcc_v4si __builtin_ia32_vpshldv_v4si(__gcc_v4si, __gcc_v4si, __gcc_v4si)
void __builtin_ia32_mwaitx(unsigned, unsigned, unsigned)
int __builtin_ia32_fpclassph512_mask(__gcc_v32hf, int, unsigned)
__gcc_v8df __builtin_ia32_vcvtph2pd512_mask_round(__gcc_v8hf, __gcc_v8df, unsigned char, int)
__gcc_v32hf __builtin_ia32_sqrtph512_mask_round(__gcc_v32hf, __gcc_v32hf, unsigned, int)
__gcc_v4sf __builtin_ia32_vfmsubss3_mask3(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__gcc_v8hf __builtin_ia32_vfmsubsh3_mask3(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char, int)
__gcc_v64qi __builtin_ia32_vpopcountb_v64qi(__gcc_v64qi)
__gcc_v8hf __builtin_ia32_divsh_mask(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v16hi __builtin_ia32_cvtneps2bf16_v16sf(__gcc_v16sf)
__gcc_v8hf __builtin_ia32_vfmaddsh3_maskz(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char, int)
__gcc_v8di __builtin_ia32_vcvtph2uqq512_mask_round(__gcc_v8hf, __gcc_v8di, unsigned char, int)
__gcc_v8si __builtin_ia32_vpdpwssd_v8si_mask(__gcc_v8si, __gcc_v8si, __gcc_v8si, unsigned char)
__gcc_v8hi __builtin_ia32_vpshldv_v8hi(__gcc_v8hi, __gcc_v8hi, __gcc_v8hi)
__gcc_v8hf __builtin_ia32_vfnmaddph128_mask(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v8hf __builtin_ia32_minsh_mask_round(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char, int)
__gcc_v32hf __builtin_ia32_vfmaddcph512_mask3_round(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned short, int)
__gcc_v2df __builtin_ia32_mulsd_mask_round(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
short __builtin_ia32_fpclassph256_mask(__gcc_v16hf, int, unsigned short)
__gcc_v4si __builtin_ia32_vcvtph2udq128_mask(__gcc_v8hf, __gcc_v4si, unsigned char)
void __builtin_ia32_rstorssp(void *)
__gcc_v2df __builtin_ia32_vfmsubsd3_mask3(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__gcc_v8hf __builtin_ia32_scalefph128_mask(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v4di __builtin_ia32_vpopcountq_v4di_mask(__gcc_v4di, __gcc_v4di, unsigned char)
__gcc_v8hf __builtin_ia32_minph128_mask(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v4si __builtin_ia32_vpdpwssd_v4si_maskz(__gcc_v4si, __gcc_v4si, __gcc_v4si, unsigned char)
__gcc_v16hf __builtin_ia32_mulph256_mask(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned short)
__gcc_v2df __builtin_ia32_rcp28sd_mask_round(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__gcc_v8hf __builtin_ia32_vfmaddcph128_maskz(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v4sf __builtin_ia32_minss_mask_round(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__gcc_v2df __builtin_ia32_getmantsd_mask_round(__gcc_v2df, __gcc_v2df, int, __gcc_v2df, unsigned char, int)
__gcc_v16hf __builtin_ia32_divph256_mask(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned short)
__gcc_v16sf __builtin_ia32_vfmsubps512_mask(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, short, int)
__gcc_v8hf __builtin_ia32_vfmsubph128_maskz(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v16hf __builtin_ia32_vfcmulcph256(__gcc_v16hf, __gcc_v16hf)
void __builtin_ia32_wrussd(unsigned int, void *)
__gcc_v16si __builtin_ia32_vcvttph2udq512_mask_round(__gcc_v16hf, __gcc_v16si, unsigned short, int)
__gcc_v16sf __builtin_ia32_vfnmaddps512_mask3(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, short, int)
__gcc_v16hf __builtin_ia32_vfcmulcph256_mask(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned char)
__gcc_v16hf __builtin_ia32_vfmsubaddph256_maskz(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned short)
__gcc_v16si __builtin_ia32_vpshld_v16si_mask(__gcc_v16si, __gcc_v16si, int, __gcc_v16si, int)
__gcc_v16sf __builtin_ia32_reduceps512_mask_round(__gcc_v16sf, int, __gcc_v16sf, unsigned short, int)
__gcc_v8hf __builtin_ia32_vfmsubaddph128_mask3(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v8hf __builtin_ia32_vcvtusi2sh64_round(__gcc_v8hf, unsigned long long, int)
__gcc_v2di __builtin_ia32_vcvtph2uqq128_mask(__gcc_v8hf, __gcc_v2di, unsigned char)
__gcc_v16hf __builtin_ia32_vfnmaddph256_mask3(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned short)
__gcc_v4sf __builtin_ia32_dpbf16ps_v4sf(__gcc_v4sf, __gcc_v8hi, __gcc_v8hi)
__gcc_v8hf __builtin_ia32_vfmaddsubph128_mask3(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v8hf __builtin_ia32_vcvtusi2sh32_round(__gcc_v8hf, unsigned, int)
__gcc_v8si __builtin_ia32_vpshld_v8si(__gcc_v8si, __gcc_v8si, int)
__gcc_v8hf __builtin_ia32_vfcmaddcsh_maskz_round(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char, int)
int __builtin_ia32_vcvttsh2si32_round(__gcc_v8hf, int)
__gcc_v16si __builtin_ia32_vpdpwssd_v16si_maskz(__gcc_v16si, __gcc_v16si, __gcc_v16si, unsigned short)
__gcc_v8hi __builtin_ia32_vcvtph2w128_mask(__gcc_v8hf, __gcc_v8hi, unsigned char)
__gcc_v8hf __builtin_ia32_reducesh_mask_round(__gcc_v8hf, __gcc_v8hf, int, __gcc_v8hf, unsigned char, int)
__gcc_v4si __builtin_ia32_vcvttph2udq128_mask(__gcc_v8hf, __gcc_v4si, unsigned char)
__gcc_v4sf __builtin_ia32_cvtsd2ss_mask_round(__gcc_v4sf, __gcc_v2df, __gcc_v4sf, unsigned char, int)
__gcc_v8si __builtin_ia32_vpshrdv_v8si(__gcc_v8si, __gcc_v8si, __gcc_v8si)
__gcc_v2df __builtin_ia32_vcvtph2pd128_mask(__gcc_v8hf, __gcc_v2df, unsigned char)
__gcc_v8hf __builtin_ia32_getmantsh_mask_round(__gcc_v8hf, __gcc_v8hf, int, __gcc_v8hf, unsigned char, int)
__gcc_v8hf __builtin_ia32_vcvtudq2ph128_mask(__gcc_v4si, __gcc_v8hf, unsigned char)
__gcc_v8hf __builtin_ia32_vfmaddsh3_mask(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char, int)
__gcc_v8si __builtin_ia32_vpshld_v8si_mask(__gcc_v8si, __gcc_v8si, int, __gcc_v8si, int)
__gcc_v4di __builtin_ia32_vpopcountq_v4di(__gcc_v4di)
__gcc_v16hi __builtin_ia32_vpshldv_v16hi(__gcc_v16hi, __gcc_v16hi, __gcc_v16hi)
__gcc_v64qi __builtin_ia32_vaesenc_v64qi(__gcc_v64qi, __gcc_v64qi)
__gcc_v32qi __builtin_ia32_vpopcountb_v32qi_mask(__gcc_v32qi, __gcc_v32qi, unsigned)
__gcc_v16hf __builtin_ia32_vcvtps2phx512_mask_round(__gcc_v16sf, __gcc_v16hf, unsigned short, int)
__gcc_v8di __builtin_ia32_vpshrd_v8di(__gcc_v8di, __gcc_v8di, int)
__gcc_v8hf __builtin_ia32_mulsh_mask(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v8hi __builtin_ia32_cvtneps2bf16_v4sf_maskz(__gcc_v4sf, unsigned char)
__gcc_v8di __builtin_ia32_vcvtph2qq512_mask_round(__gcc_v8hf, __gcc_v8di, unsigned char, int)
unsigned char __builtin_ia32_fpclassph128_mask(__gcc_v8hf, int, unsigned char)
__gcc_v32hi __builtin_ia32_vcvttph2uw512_mask_round(__gcc_v32hf, __gcc_v32hi, unsigned, int)
__gcc_v8hf __builtin_ia32_rcpph128_mask(__gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v32qi __builtin_ia32_vaesenc_v32qi(__gcc_v32qi, __gcc_v32qi)
__gcc_v8hi __builtin_ia32_vpopcountw_v8hi(__gcc_v8hi)
__gcc_v16hf __builtin_ia32_maxph256_mask(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned short)
__gcc_v8hf __builtin_ia32_vfmaddcsh_mask_round(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char, int)
__gcc_v8di __builtin_ia32_vpshrd_v8di_mask(__gcc_v8di, __gcc_v8di, int, __gcc_v8di, int)
__gcc_v8hf __builtin_ia32_vfcmulcsh_round(__gcc_v8hf, __gcc_v8hf, int)
__gcc_v16qi __builtin_ia32_vaesdeclast_v16qi(__gcc_v16qi, __gcc_v16qi)
__gcc_v8hf __builtin_ia32_vfmsubph128_mask3(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
void __builtin_ia32_clrssbsy(void *)
__gcc_v16sf __builtin_ia32_vfnmsubps512_maskz(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, short, int)
__gcc_v32hf __builtin_ia32_divph512_mask(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned)
__gcc_v32hf __builtin_ia32_vfmaddcph512_mask_round(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned short, int)
__gcc_v16hi __builtin_ia32_cvtne2ps2bf16_v16hi_mask(__gcc_v8sf, __gcc_v8sf, __gcc_v16hi, unsigned short)
__gcc_v16qi __builtin_ia32_vpopcountb_v16qi_mask(__gcc_v16qi, __gcc_v16qi, unsigned short)
__gcc_v4si __builtin_ia32_vpdpbusds_v4si_maskz(__gcc_v4si, __gcc_v4si, __gcc_v4si, unsigned char)
__gcc_v32qi __builtin_ia32_vgf2p8affineinvqb_v32qi_mask(__gcc_v32qi, __gcc_v32qi, int, __gcc_v32qi, unsigned)
__gcc_v4si __builtin_ia32_vpshld_v4si(__gcc_v4si, __gcc_v4si, int)
__gcc_v16hf __builtin_ia32_vfnmsubph256_mask(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned short)
__gcc_v8hf __builtin_ia32_vcvtsd2sh_mask_round(__gcc_v2df, __gcc_v8hf, __gcc_v8hf, unsigned char, int)
void __builtin_ia32_monitorx(const void *, unsigned, unsigned)
__gcc_v16si __builtin_ia32_vpdpwssd_v16si(__gcc_v16si, __gcc_v16si, __gcc_v16si)
__gcc_v8hf __builtin_ia32_vcvtdq2ph256_mask(__gcc_v8si, __gcc_v8hf, unsigned char)
__gcc_v4di __builtin_ia32_vpshrd_v4di(__gcc_v4di, __gcc_v4di, int)
__gcc_v4di __builtin_ia32_vpshldv_v4di_maskz(__gcc_v4di, __gcc_v4di, __gcc_v4di, unsigned char)
__gcc_v16hf __builtin_ia32_vfmaddsubph256_maskz(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned short)
__gcc_v8hi __builtin_ia32_cvtneps2bf16_v4sf(__gcc_v4sf)
__gcc_v16sf __builtin_ia32_dpbf16ps_v16sf_mask(__gcc_v16sf, __gcc_v32hi, __gcc_v32hi, unsigned short)
__gcc_v16hf __builtin_ia32_vfmaddcph256_mask3(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned char)
__gcc_v8hf __builtin_ia32_vfmaddcsh_maskz_round(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char, int)
__gcc_v32hf __builtin_ia32_vfmaddcph512_round(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, int)
__gcc_v32hi __builtin_ia32_vpopcountw_v32hi(__gcc_v32hi)
__gcc_v32hf __builtin_ia32_divph512_mask_round(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned, int)
unsigned char __builtin_ia32_sbb_u32(unsigned char, unsigned, unsigned, unsigned int *)
__gcc_v8hf __builtin_ia32_vfmaddcsh_mask3_round(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char, int)
__gcc_v8hi __builtin_ia32_cvtneps2bf16_v8sf(__gcc_v8sf)
__gcc_v8hf __builtin_ia32_vfcmaddcsh_mask_round(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char, int)
__gcc_v8hf __builtin_ia32_subsh_mask_round(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char, int)
__gcc_v16hf __builtin_ia32_vfmsubph256_maskz(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned short)
__gcc_v16hf __builtin_ia32_vfnmaddph256_mask(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned short)
unsigned long long int __builtin_ia32_rdsspq()
__gcc_v8si __builtin_ia32_vpshrd_v8si(__gcc_v8si, __gcc_v8si, int)
void __builtin_ia32_writeeflags_u64(unsigned long long)
__gcc_v8hf __builtin_ia32_vfcmaddcph128_mask3(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
unsigned char __builtin_ia32_tpause(unsigned int,...)
__gcc_v32hf __builtin_ia32_vfmaddph512_maskz(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned, int)
__gcc_v8df __builtin_ia32_vfnmsubpd512_maskz(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int)
void __builtin_ia32_saveprevssp(void)
__gcc_v8hf __builtin_ia32_vcvtpd2ph128_mask(__gcc_v2df, __gcc_v8hf, unsigned char)
__gcc_v2di __builtin_ia32_vpshrd_v2di_mask(__gcc_v2di, __gcc_v2di, int, __gcc_v2di, int)
__gcc_v4si __builtin_ia32_vcvtph2dq128_mask(__gcc_v8hf, __gcc_v4si, unsigned char)
__gcc_v32hf __builtin_ia32_minph512_mask(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned)
__gcc_v16hf __builtin_ia32_vfmaddcph256(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf)
__gcc_v32hi __builtin_ia32_cvtne2ps2bf16_v32hi(__gcc_v16sf, __gcc_v16sf)
__gcc_v2di __builtin_ia32_vpopcountq_v2di_mask(__gcc_v2di, __gcc_v2di, unsigned char)
__gcc_v16hf __builtin_ia32_vfmaddsubph256_mask3(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned short)
void __builtin_ia32_umonitor(void *)
__gcc_v4sf __builtin_ia32_vfmaddss3_mask3(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__gcc_v64qi __builtin_ia32_vaesdeclast_v64qi(__gcc_v64qi, __gcc_v64qi)
__gcc_v2df __builtin_ia32_rsqrt28sd_mask_round(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__gcc_v32qi __builtin_ia32_vgf2p8mulb_v32qi(__gcc_v32qi, __gcc_v32qi)
__gcc_v16qi __builtin_ia32_vgf2p8mulb_v16qi(__gcc_v16qi, __gcc_v16qi)
void __builtin_ia32_storesh_mask(const _Float16 *, __gcc_v8hf, unsigned char)
__gcc_v16hi __builtin_ia32_cvtneps2bf16_v16sf_maskz(__gcc_v16sf, unsigned short)
__gcc_v8hi __builtin_ia32_vcvttph2w128_mask(__gcc_v8hf, __gcc_v8hi, unsigned char)
__gcc_v8hi __builtin_ia32_vcvttph2uw128_mask(__gcc_v8hf, __gcc_v8hi, unsigned char)
__gcc_v8si __builtin_ia32_vpdpbusd_v8si_mask(__gcc_v8si, __gcc_v8si, __gcc_v8si, unsigned char)
__gcc_v32hf __builtin_ia32_mulph512_mask(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned)
__gcc_v32hi __builtin_ia32_vpshld_v32hi(__gcc_v32hi, __gcc_v32hi, int)
__gcc_v32hf __builtin_ia32_vfnmsubph512_maskz(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned, int)
__gcc_v4sf __builtin_ia32_vcvtsh2ss_mask_round(__gcc_v8hf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__gcc_v8hf __builtin_ia32_minsh_mask(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
void __builtin_ia32_incsspq(unsigned long long int)
__gcc_v8si __builtin_ia32_vcvtph2dq256_mask(__gcc_v8hf, __gcc_v8si, unsigned char)
__gcc_v16hf __builtin_ia32_vfmaddph256_mask(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned short)
__gcc_v8hf __builtin_ia32_vcvtps2phx128_mask(__gcc_v4sf, __gcc_v8hf, unsigned char)
__gcc_v4di __builtin_ia32_vpshrdv_v4di_maskz(__gcc_v4di, __gcc_v4di, __gcc_v4di, unsigned char)
__gcc_v16qi __builtin_ia32_vaesenc_v16qi(__gcc_v16qi, __gcc_v16qi)
__gcc_v16hi __builtin_ia32_vpopcountw_v16hi_mask(__gcc_v16hi, __gcc_v16hi, unsigned short)
__gcc_v16hf __builtin_ia32_vfmsubph256_mask3(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned short)
__gcc_v8hf __builtin_ia32_addsh_mask_round(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char, int)
__gcc_v16si __builtin_ia32_vpshrd_v16si_mask(__gcc_v16si, __gcc_v16si, int, __gcc_v16si, int)
__gcc_v4si __builtin_ia32_vpshld_v4si_mask(__gcc_v4si, __gcc_v4si, int, __gcc_v4si, int)
__gcc_v32hf __builtin_ia32_vfcmaddcph512_maskz_round(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned short, int)
unsigned short __builtin_ia32_vpshufbitqmb128_mask(__gcc_v16qi, __gcc_v16qi, unsigned short)
__gcc_v8hf __builtin_ia32_vfnmaddph128_maskz(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v4sf __builtin_ia32_sqrtss_mask_round(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__gcc_v16hf __builtin_ia32_reduceph256_mask(__gcc_v16hf, int, __gcc_v16hf, unsigned short)
__gcc_v8hf __builtin_ia32_sqrtph128_mask(__gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v32hf __builtin_ia32_vfmaddsubph512_maskz(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned, int)
__gcc_v32hf __builtin_ia32_addph512_mask_round(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned, int)
__gcc_v16qi __builtin_ia32_vgf2p8affineqb_v16qi(__gcc_v16qi, __gcc_v16qi, int)
__gcc_v16hi __builtin_ia32_cvtneps2bf16_v16sf_mask(__gcc_v16sf, __gcc_v16hi, unsigned short)
__gcc_v32hf __builtin_ia32_vfmulcph512_mask_round(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned short, int)
__gcc_v2di __builtin_ia32_vpshld_v2di(__gcc_v2di, __gcc_v2di, int)
__gcc_v2df __builtin_ia32_addsd_mask_round(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__gcc_v8di __builtin_ia32_vpshldv_v8di_mask(__gcc_v8di, __gcc_v8di, __gcc_v8di, unsigned char)
__gcc_v4si __builtin_ia32_vpshrdv_v4si(__gcc_v4si, __gcc_v4si, __gcc_v4si)
__gcc_v8hf __builtin_ia32_vfmaddsubph128_maskz(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v2df __builtin_ia32_sqrtsd_mask_round(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__gcc_v4si __builtin_ia32_vpshrdv_v4si_mask(__gcc_v4si, __gcc_v4si, __gcc_v4si, unsigned char)
__gcc_v16hi __builtin_ia32_vpshrd_v16hi_mask(__gcc_v16hi, __gcc_v16hi, int, __gcc_v16hi, int)
__gcc_v16hf __builtin_ia32_sqrtph256_mask(__gcc_v16hf, __gcc_v16hf, unsigned short)
__gcc_v4sf __builtin_ia32_rcp28ss_mask_round(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__gcc_v2di __builtin_ia32_vpshrdv_v2di_mask(__gcc_v2di, __gcc_v2di, __gcc_v2di, unsigned char)
__gcc_v32hi __builtin_ia32_vpshldv_v32hi(__gcc_v32hi, __gcc_v32hi, __gcc_v32hi)
__gcc_v2di __builtin_ia32_vpshldv_v2di(__gcc_v2di, __gcc_v2di, __gcc_v2di)
__gcc_v8hf __builtin_ia32_vcvtqq2ph128_mask(__gcc_v2di, __gcc_v8hf, unsigned char)
__gcc_v4sf __builtin_ia32_rangess128_mask_round(__gcc_v4sf, __gcc_v4sf, int, __gcc_v4sf, unsigned char, int)
__gcc_v8hf __builtin_ia32_vfmaddsh3_mask3(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char, int)
__gcc_v8di __builtin_ia32_vcvttph2qq512_mask_round(__gcc_v8hf, __gcc_v8di, unsigned char, int)
int __builtin_ia32_vcvtsh2si32_round(__gcc_v8hf, int)
__gcc_v8df __builtin_ia32_vfmsubpd512_maskz(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int)
__gcc_v8hf __builtin_ia32_maxsh_mask(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v8si __builtin_ia32_vcvttph2dq256_mask(__gcc_v8hf, __gcc_v8si, unsigned char)
__gcc_v8hf __builtin_ia32_vcvtuqq2ph256_mask(__gcc_v4di, __gcc_v8hf, unsigned char)
__gcc_v2df __builtin_ia32_rndscalesd_mask_round(__gcc_v2df, __gcc_v2df, int, __gcc_v2df, unsigned char, int)
__gcc_v8si __builtin_ia32_vpdpbusd_v8si(__gcc_v8si, __gcc_v8si, __gcc_v8si)
__gcc_v16si __builtin_ia32_vpshld_v16si(__gcc_v16si, __gcc_v16si, int)
__gcc_v16hf __builtin_ia32_vcvtuw2ph256_mask(__gcc_v16hi, __gcc_v16hf, unsigned short)
__gcc_v4di __builtin_ia32_vcvtph2uqq256_mask(__gcc_v8hf, __gcc_v4di, unsigned char)
__gcc_v8hi __builtin_ia32_cvtneps2bf16_v4sf_mask(__gcc_v4sf, __gcc_v8hi, unsigned char)
__gcc_v8df __builtin_ia32_vfmsubpd512_mask(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int)
__gcc_v16si __builtin_ia32_vpdpbusds_v16si_maskz(__gcc_v16si, __gcc_v16si, __gcc_v16si, unsigned short)
__gcc_v16hf __builtin_ia32_vfmaddcph256_mask(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned char)
__gcc_v8hf __builtin_ia32_subsh_mask(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v16qi __builtin_ia32_vgf2p8affineqb_v16qi_mask(__gcc_v16qi, __gcc_v16qi, int, __gcc_v16qi, unsigned short)
unsigned char __builtin_ia32_addcarryx_u64(unsigned char, unsigned long long, unsigned long long, unsigned long long *)
__gcc_v16sf __builtin_ia32_dpbf16ps_v16sf(__gcc_v16sf, __gcc_v32hi, __gcc_v32hi)
__gcc_v8hf __builtin_ia32_vfmaddph128_maskz(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v8hf __builtin_ia32_rsqrtsh_mask(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v4sf __builtin_ia32_reducess_mask_round(__gcc_v4sf, __gcc_v4sf, int, __gcc_v4sf, unsigned char, int)
__gcc_v8sf __builtin_ia32_dpbf16ps_v8sf_maskz(__gcc_v8sf, __gcc_v16hi, __gcc_v16hi, unsigned char)
__gcc_v16hf __builtin_ia32_minph256_mask(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned short)
unsigned __builtin_ia32_vcvtsh2usi32_round(__gcc_v8hf, int)
__gcc_v16si __builtin_ia32_vcvtph2dq512_mask_round(__gcc_v16hf, __gcc_v16si, unsigned short, int)
__gcc_v16hf __builtin_ia32_vfmulcph256(__gcc_v16hf, __gcc_v16hf)
__gcc_v32hi __builtin_ia32_vcvttph2w512_mask_round(__gcc_v32hf, __gcc_v32hi, unsigned, int)
__gcc_v32hi __builtin_ia32_cvtne2ps2bf16_v32hi_maskz(__gcc_v16sf, __gcc_v16sf, unsigned)
__gcc_v4sf __builtin_ia32_maxss_mask_round(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__gcc_v8si __builtin_ia32_vpdpbusds_v8si_mask(__gcc_v8si, __gcc_v8si, __gcc_v8si, unsigned char)
__gcc_v32hf __builtin_ia32_rsqrtph512_mask(__gcc_v32hf, __gcc_v32hf, unsigned)
unsigned __builtin_ia32_vcvttsh2usi32_round(__gcc_v8hf, int)
__gcc_v16hf __builtin_ia32_vcvtw2ph256_mask(__gcc_v16hi, __gcc_v16hf, unsigned short)
__gcc_v8si __builtin_ia32_vpshrd_v8si_mask(__gcc_v8si, __gcc_v8si, int, __gcc_v8si, int)
__gcc_v16hf __builtin_ia32_subph256_mask(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned short)
__gcc_v8hf __builtin_ia32_sqrtsh_mask_round(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char, int)
__gcc_v4di __builtin_ia32_vpshrdv_v4di_mask(__gcc_v4di, __gcc_v4di, __gcc_v4di, unsigned char)
__gcc_v32qi __builtin_ia32_vgf2p8affineqb_v32qi_mask(__gcc_v32qi, __gcc_v32qi, int, __gcc_v32qi, unsigned)
__gcc_v16si __builtin_ia32_vpshldv_v16si_maskz(__gcc_v16si, __gcc_v16si, __gcc_v16si, unsigned short)
__gcc_v8hf __builtin_ia32_vfnmsubph128_mask3(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v4si __builtin_ia32_vpshldv_v4si_mask(__gcc_v4si, __gcc_v4si, __gcc_v4si, unsigned char)
__gcc_v16qi __builtin_ia32_vpopcountb_v16qi(__gcc_v16qi)
__gcc_v8hf __builtin_ia32_vfcmaddcph128_maskz(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v16hi __builtin_ia32_vpshrdv_v16hi_maskz(__gcc_v16hi, __gcc_v16hi, __gcc_v16hi, unsigned short)
__gcc_v32hi __builtin_ia32_cvtne2ps2bf16_v32hi_mask(__gcc_v16sf, __gcc_v16sf, __gcc_v32hi, unsigned)
__gcc_v4si __builtin_ia32_vpopcountd_v4si_mask(__gcc_v4si, __gcc_v4si, unsigned short)
__gcc_v2df __builtin_ia32_vfmaddsd3_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__gcc_v32hi __builtin_ia32_vpshldv_v32hi_mask(__gcc_v32hi, __gcc_v32hi, __gcc_v32hi, unsigned)
__gcc_v8hf __builtin_ia32_subph128_mask(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v8hf __builtin_ia32_vfcmaddcph128(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf)
__gcc_v4si __builtin_ia32_vpdpwssds_v4si(__gcc_v4si, __gcc_v4si, __gcc_v4si)
__gcc_v2df __builtin_ia32_vcvtsh2sd_mask_round(__gcc_v8hf, __gcc_v2df, __gcc_v2df, unsigned char, int)
void __builtin_ia32_wrssd(unsigned int, void *)
__gcc_v16hi __builtin_ia32_vcvttph2w256_mask(__gcc_v16hf, __gcc_v16hi, unsigned short)
__gcc_v32hi __builtin_ia32_vcvtph2w512_mask_round(__gcc_v32hf, __gcc_v32hi, unsigned, int)
__gcc_v32hf __builtin_ia32_vfnmsubph512_mask3(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned, int)
__gcc_v8hf __builtin_ia32_vcvtw2ph128_mask(__gcc_v8hi, __gcc_v8hf, unsigned char)
__gcc_v16hf __builtin_ia32_vfmsubph256_mask(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned short)
__gcc_v16hf __builtin_ia32_vfcmaddcph256_mask(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned char)
__gcc_v8hf __builtin_ia32_getexpsh_mask_round(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char, int)
__gcc_v8si __builtin_ia32_vpdpwssds_v8si_mask(__gcc_v8si, __gcc_v8si, __gcc_v8si, unsigned char)
__gcc_v4sf __builtin_ia32_rndscaless_mask_round(__gcc_v4sf, __gcc_v4sf, int, __gcc_v4sf, unsigned char, int)
long long __builtin_ia32_vcvtsh2si64_round(__gcc_v8hf, int)
unsigned char __builtin_ia32_cmpsh_mask_round(__gcc_v8hf, __gcc_v8hf, int, unsigned char, int)
char __builtin_ia32_fpclasssh_mask(__gcc_v8hf, int, unsigned char)
__gcc_v32hf __builtin_ia32_vfcmaddcph512_round(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, int)
__gcc_v8hi __builtin_ia32_cvtne2ps2bf16_v8hi_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v8hi, unsigned char)
__gcc_v16si __builtin_ia32_vpshrdv_v16si_maskz(__gcc_v16si, __gcc_v16si, __gcc_v16si, unsigned short)
__gcc_v2df __builtin_ia32_minsd_mask_round(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__gcc_v16sf __builtin_ia32_vcvtph2psx512_mask_round(__gcc_v16hf, __gcc_v16sf, unsigned short, int)
__gcc_v8hi __builtin_ia32_cvtneps2bf16_v8sf_mask(__gcc_v8sf, __gcc_v8hi, unsigned char)
__gcc_v4sf __builtin_ia32_mulss_mask_round(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__gcc_v8hf __builtin_ia32_vfnmaddsh3_mask3(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char, int)
__gcc_v32hf __builtin_ia32_reduceph512_mask_round(__gcc_v32hf, int, __gcc_v32hf, unsigned, int)
__gcc_v8hf __builtin_ia32_vmovsh_mask(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v32hf __builtin_ia32_vfmaddph512_mask3(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned, int)
void __builtin_ia32_setssbsy(void)
unsigned long long __builtin_ia32_vcvttsh2usi64_round(__gcc_v8hf, int)
__gcc_v8si __builtin_ia32_vpdpbusds_v8si(__gcc_v8si, __gcc_v8si, __gcc_v8si)
__gcc_v16hf __builtin_ia32_rcpph256_mask(__gcc_v16hf, __gcc_v16hf, unsigned short)
__gcc_v16si __builtin_ia32_vpdpwssds_v16si_maskz(__gcc_v16si, __gcc_v16si, __gcc_v16si, unsigned short)
__gcc_v8hf __builtin_ia32_vfcmulcph128_mask(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v8hf __builtin_ia32_reduceph128_mask(__gcc_v8hf, int, __gcc_v8hf, unsigned char)
__gcc_v8si __builtin_ia32_vpdpwssd_v8si(__gcc_v8si, __gcc_v8si, __gcc_v8si)
__gcc_v8hi __builtin_ia32_vpshrdv_v8hi_maskz(__gcc_v8hi, __gcc_v8hi, __gcc_v8hi, unsigned char)
__gcc_v2df __builtin_ia32_maxsd_mask_round(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__gcc_v16si __builtin_ia32_vpdpwssd_v16si_mask(__gcc_v16si, __gcc_v16si, __gcc_v16si, unsigned short)
__gcc_v16si __builtin_ia32_vpshrd_v16si(__gcc_v16si, __gcc_v16si, int)
__gcc_v16hf __builtin_ia32_vfnmsubph256_mask3(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned short)
__gcc_v32hi __builtin_ia32_vpopcountw_v32hi_mask(__gcc_v32hi, __gcc_v32hi, unsigned)
__gcc_v8hf __builtin_ia32_vcvtqq2ph256_mask(__gcc_v4di, __gcc_v8hf, unsigned char)
__gcc_v8hf __builtin_ia32_vcvtqq2ph512_mask_round(__gcc_v8di, __gcc_v8hf, unsigned char, int)
__gcc_v32qi __builtin_ia32_vgf2p8mulb_v32qi_mask(__gcc_v32qi, __gcc_v32qi, __gcc_v32qi, unsigned)
__gcc_v8hf __builtin_ia32_vcvtdq2ph128_mask(__gcc_v4si, __gcc_v8hf, unsigned char)
__gcc_v32hf __builtin_ia32_vfcmaddcph512_mask3_round(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned short, int)
__gcc_v8hi __builtin_ia32_vpshrd_v8hi(__gcc_v8hi, __gcc_v8hi, int)
__gcc_v8hi __builtin_ia32_vpshrd_v8hi_mask(__gcc_v8hi, __gcc_v8hi, int, __gcc_v8hi, int)
__gcc_v4si __builtin_ia32_vpshrd_v4si_mask(__gcc_v4si, __gcc_v4si, int, __gcc_v4si, int)
__gcc_v32hf __builtin_ia32_vfnmaddph512_mask3(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned, int)
__gcc_v4si __builtin_ia32_vpdpbusd_v4si(__gcc_v4si, __gcc_v4si, __gcc_v4si)
int __builtin_ia32_rdseed_si_step(unsigned int *)
__gcc_v16hf __builtin_ia32_vcvtdq2ph512_mask_round(__gcc_v16si, __gcc_v16hf, unsigned short, int)
int __builtin_ia32_rdseed_hi_step(unsigned short *)
__gcc_v16hf __builtin_ia32_vfmsubaddph256_mask3(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned short)
__gcc_v8si __builtin_ia32_vpshldv_v8si_mask(__gcc_v8si, __gcc_v8si, __gcc_v8si, unsigned char)
__gcc_v8di __builtin_ia32_vpshldv_v8di_maskz(__gcc_v8di, __gcc_v8di, __gcc_v8di, unsigned char)
__gcc_v8hf __builtin_ia32_vcvtsi2sh32_round(__gcc_v8hf, int, int)
__gcc_v8hf __builtin_ia32_vcvtudq2ph256_mask(__gcc_v8si, __gcc_v8hf, unsigned char)
__gcc_v8hf __builtin_ia32_vcvtpd2ph256_mask(__gcc_v4df, __gcc_v8hf, unsigned char)
int __builtin_ia32_rdseed_di_step(unsigned long long *)
__gcc_v16si __builtin_ia32_vcvttph2dq512_mask_round(__gcc_v16hf, __gcc_v16si, unsigned short, int)
__gcc_v2df __builtin_ia32_rangesd128_mask_round(__gcc_v2df, __gcc_v2df, int, __gcc_v2df, unsigned char, int)
__gcc_v4di __builtin_ia32_vcvttph2uqq256_mask(__gcc_v8hf, __gcc_v4di, unsigned char)
__gcc_v8hi __builtin_ia32_vpopcountw_v8hi_mask(__gcc_v8hi, __gcc_v8hi, unsigned char)
__gcc_v4di __builtin_ia32_vpshldv_v4di(__gcc_v4di, __gcc_v4di, __gcc_v4di)
__gcc_v16hf __builtin_ia32_scalefph256_mask(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned short)
__gcc_v16si __builtin_ia32_vpshrdv_v16si(__gcc_v16si, __gcc_v16si, __gcc_v16si)
__gcc_v4sf __builtin_ia32_scalefss_mask_round(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__gcc_v8hf __builtin_ia32_vfmulcsh_mask_round(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char, int)
__gcc_v4si __builtin_ia32_vpdpbusd_v4si_maskz(__gcc_v4si, __gcc_v4si, __gcc_v4si, unsigned char)
__gcc_v4sf __builtin_ia32_dpbf16ps_v4sf_mask(__gcc_v4sf, __gcc_v8hi, __gcc_v8hi, unsigned char)
__gcc_v32qi __builtin_ia32_vaesdeclast_v32qi(__gcc_v32qi, __gcc_v32qi)
__gcc_v32hf __builtin_ia32_subph512_mask_round(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned, int)
__gcc_v8si __builtin_ia32_vpdpwssds_v8si_maskz(__gcc_v8si, __gcc_v8si, __gcc_v8si, unsigned char)
__gcc_v32hi __builtin_ia32_vpshrdv_v32hi_mask(__gcc_v32hi, __gcc_v32hi, __gcc_v32hi, unsigned)
long long __builtin_ia32_vcvttsh2si64_round(__gcc_v8hf, int)
__gcc_v8hf __builtin_ia32_vfnmaddsh3_mask(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char, int)
__gcc_v64qi __builtin_ia32_vgf2p8affineinvqb_v64qi(__gcc_v64qi, __gcc_v64qi, int)
__gcc_v8hf __builtin_ia32_vfmaddsubph128_mask(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v16hi __builtin_ia32_cvtne2ps2bf16_v16hi(__gcc_v8sf, __gcc_v8sf)
__gcc_v4di __builtin_ia32_vpclmulqdq_v4di(__gcc_v4di, __gcc_v4di, int)
__gcc_v8di __builtin_ia32_vpclmulqdq_v8di(__gcc_v8di, __gcc_v8di, int)
__gcc_v16hf __builtin_ia32_vfcmaddcph256_mask3(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned char)
__gcc_v32qi __builtin_ia32_vgf2p8affineqb_v32qi(__gcc_v32qi, __gcc_v32qi, int)
__gcc_v4si __builtin_ia32_vpshrdv_v4si_maskz(__gcc_v4si, __gcc_v4si, __gcc_v4si, unsigned char)
__gcc_v16hi __builtin_ia32_vcvtph2w256_mask(__gcc_v16hf, __gcc_v16hi, unsigned short)
__gcc_v8di __builtin_ia32_vpshld_v8di(__gcc_v8di, __gcc_v8di, int)
__gcc_v8hf __builtin_ia32_vcvtpd2ph512_mask_round(__gcc_v8df, __gcc_v8hf, unsigned char, int)
__gcc_v16hf __builtin_ia32_vfmaddsubph256_mask(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned short)
unsigned long long __builtin_ia32_vpshufbitqmb512_mask(__gcc_v64qi, __gcc_v64qi, unsigned long long)
__gcc_v16hi __builtin_ia32_vpshldv_v16hi_mask(__gcc_v16hi, __gcc_v16hi, __gcc_v16hi, unsigned short)
__gcc_v16hf __builtin_ia32_vfmaddph256_maskz(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned short)
__gcc_v32qi __builtin_ia32_vaesdec_v32qi(__gcc_v32qi, __gcc_v32qi)
__gcc_v8hf __builtin_ia32_rndscalesh_mask_round(__gcc_v8hf, __gcc_v8hf, int, __gcc_v8hf, unsigned char, int)
__gcc_v16hi __builtin_ia32_vpshld_v16hi_mask(__gcc_v16hi, __gcc_v16hi, int, __gcc_v16hi, int)
__gcc_v32qi __builtin_ia32_vgf2p8affineinvqb_v32qi(__gcc_v32qi, __gcc_v32qi, int)
__gcc_v2di __builtin_ia32_vpshrdv_v2di(__gcc_v2di, __gcc_v2di, __gcc_v2di)
__gcc_v2df __builtin_ia32_vfmaddsd3_maskz(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__gcc_v32hi __builtin_ia32_vpshld_v32hi_mask(__gcc_v32hi, __gcc_v32hi, int, __gcc_v32hi, int)
__gcc_v8si __builtin_ia32_vpshldv_v8si_maskz(__gcc_v8si, __gcc_v8si, __gcc_v8si, unsigned char)
__gcc_v8di __builtin_ia32_vpshrdv_v8di(__gcc_v8di, __gcc_v8di, __gcc_v8di)
__gcc_v8di __builtin_ia32_vpshrdv_v8di_mask(__gcc_v8di, __gcc_v8di, __gcc_v8di, unsigned char)
__gcc_v2df __builtin_ia32_subsd_mask_round(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__gcc_v2df __builtin_ia32_scalefsd_mask_round(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__gcc_v8di __builtin_ia32_vpshrdv_v8di_maskz(__gcc_v8di, __gcc_v8di, __gcc_v8di, unsigned char)
__gcc_v16si __builtin_ia32_vpdpbusds_v16si(__gcc_v16si, __gcc_v16si, __gcc_v16si)
__gcc_v16hi __builtin_ia32_vpopcountw_v16hi(__gcc_v16hi)
__gcc_v4sf __builtin_ia32_addss_mask_round(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__gcc_v8si __builtin_ia32_vpdpwssds_v8si(__gcc_v8si, __gcc_v8si, __gcc_v8si)
__gcc_v8si __builtin_ia32_vpshrdv_v8si_maskz(__gcc_v8si, __gcc_v8si, __gcc_v8si, unsigned char)
__gcc_v16si __builtin_ia32_vpdpbusd_v16si_mask(__gcc_v16si, __gcc_v16si, __gcc_v16si, unsigned short)
__gcc_v16sf __builtin_ia32_dpbf16ps_v16sf_maskz(__gcc_v16sf, __gcc_v32hi, __gcc_v32hi, unsigned short)
__gcc_v32hf __builtin_ia32_addph512_mask(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned)
__gcc_v8hf __builtin_ia32_loadsh_mask(const _Float16 *, __gcc_v8hf, unsigned char)
__gcc_v8hf __builtin_ia32_vcvtss2sh_mask_round(__gcc_v4sf, __gcc_v8hf, __gcc_v8hf, unsigned char, int)
__gcc_v16qi __builtin_ia32_vgf2p8mulb_v16qi_mask(__gcc_v16qi, __gcc_v16qi, __gcc_v16qi, unsigned short)
__gcc_v32hf __builtin_ia32_vfmaddcph512_maskz_round(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned short, int)
__gcc_v2di __builtin_ia32_vpclmulqdq_v2di(__gcc_v2di, __gcc_v2di, int)
__gcc_v8hf __builtin_ia32_rndscaleph128_mask(__gcc_v8hf, int, __gcc_v8hf, unsigned char)
__gcc_v16si __builtin_ia32_vpshrdv_v16si_mask(__gcc_v16si, __gcc_v16si, __gcc_v16si, unsigned short)
__gcc_v16qi __builtin_ia32_vgf2p8affineinvqb_v16qi(__gcc_v16qi, __gcc_v16qi, int)
__gcc_v16qi __builtin_ia32_vaesdec_v16qi(__gcc_v16qi, __gcc_v16qi)
__gcc_v16hf __builtin_ia32_addph256_mask(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned short)
__gcc_v8hf __builtin_ia32_vfnmaddph128_mask3(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v8hf __builtin_ia32_vfcmulcsh_mask_round(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char, int)
__gcc_v8df __builtin_ia32_vfnmaddpd512_mask3(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int)
__gcc_v8sf __builtin_ia32_dpbf16ps_v8sf(__gcc_v8sf, __gcc_v16hi, __gcc_v16hi)
__gcc_v8hf __builtin_ia32_vcvtsi2sh64_round(__gcc_v8hf, long long, int)
__gcc_v4si __builtin_ia32_vpdpbusds_v4si(__gcc_v4si, __gcc_v4si, __gcc_v4si)
__gcc_v2di __builtin_ia32_vcvtph2qq128_mask(__gcc_v8hf, __gcc_v2di, unsigned char)
__gcc_v2di __builtin_ia32_vpopcountq_v2di(__gcc_v2di)
__gcc_v8hf __builtin_ia32_maxph128_mask(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v32hf __builtin_ia32_vfmsubaddph512_mask3(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned, int)
__gcc_v16hi __builtin_ia32_vpshrd_v16hi(__gcc_v16hi, __gcc_v16hi, int)
__gcc_v8di __builtin_ia32_vpshld_v8di_mask(__gcc_v8di, __gcc_v8di, int, __gcc_v8di, int)
__gcc_v32hf __builtin_ia32_vfmsubph512_mask3(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned, int)
__gcc_v2di __builtin_ia32_vpshrd_v2di(__gcc_v2di, __gcc_v2di, int)
__gcc_v64qi __builtin_ia32_vgf2p8affineqb_v64qi(__gcc_v64qi, __gcc_v64qi, int)
__gcc_v4sf __builtin_ia32_subss_mask_round(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__gcc_v32hf __builtin_ia32_subph512_mask(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned)
__gcc_v32hi __builtin_ia32_vpshrdv_v32hi(__gcc_v32hi, __gcc_v32hi, __gcc_v32hi)
__gcc_v32hf __builtin_ia32_vfmsubaddph512_maskz(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned, int)
__gcc_v32hf __builtin_ia32_maxph512_mask_round(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned, int)
void __builtin_ia32_wrssq(unsigned long long int, void *)
__gcc_v4si __builtin_ia32_vpdpbusd_v4si_mask(__gcc_v4si, __gcc_v4si, __gcc_v4si, unsigned char)
__gcc_v4si __builtin_ia32_vpdpwssd_v4si_mask(__gcc_v4si, __gcc_v4si, __gcc_v4si, unsigned char)
__gcc_v64qi __builtin_ia32_vgf2p8mulb_v64qi(__gcc_v64qi, __gcc_v64qi)
__gcc_v4si __builtin_ia32_vpdpwssds_v4si_maskz(__gcc_v4si, __gcc_v4si, __gcc_v4si, unsigned char)
__gcc_v32hi __builtin_ia32_vpshrdv_v32hi_maskz(__gcc_v32hi, __gcc_v32hi, __gcc_v32hi, unsigned)
__gcc_v16si __builtin_ia32_vpdpwssds_v16si_mask(__gcc_v16si, __gcc_v16si, __gcc_v16si, unsigned short)
__gcc_v16hf __builtin_ia32_vfnmaddph256_maskz(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned short)
__gcc_v32hf __builtin_ia32_vfcmulcph512_mask_round(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned short, int)
__gcc_v32hf __builtin_ia32_vfnmsubph512_mask(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned, int)
__gcc_v16si __builtin_ia32_vpshldv_v16si_mask(__gcc_v16si, __gcc_v16si, __gcc_v16si, unsigned short)
__gcc_v8hf __builtin_ia32_divsh_mask_round(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char, int)
unsigned char __builtin_ia32_umwait(unsigned,...)
unsigned int __builtin_ia32_rdsspd()
__gcc_v8hf __builtin_ia32_vfmsubaddph128_maskz(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v32hi __builtin_ia32_vpshrd_v32hi(__gcc_v32hi, __gcc_v32hi, int)
__gcc_v32hf __builtin_ia32_vfmsubaddph512_mask(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned, int)
__gcc_v8hf __builtin_ia32_vcvtps2phx256_mask(__gcc_v8sf, __gcc_v8hf, unsigned char)
__gcc_v16hi __builtin_ia32_vpshldv_v16hi_maskz(__gcc_v16hi, __gcc_v16hi, __gcc_v16hi, unsigned short)
__gcc_v32hf __builtin_ia32_vfmaddsubph512_mask(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned, int)
__gcc_v8hf __builtin_ia32_getexpph128_mask(__gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v32hf __builtin_ia32_vfmulcph512_round(__gcc_v32hf, __gcc_v32hf, int)
unsigned long long __builtin_ia32_vcvtsh2usi64_round(__gcc_v8hf, int)
__gcc_v64qi __builtin_ia32_vpopcountb_v64qi_mask(__gcc_v64qi, __gcc_v64qi, unsigned long long)
__gcc_v4di __builtin_ia32_vcvttph2qq256_mask(__gcc_v8hf, __gcc_v4di, unsigned char)
__gcc_v64qi __builtin_ia32_vaesdec_v64qi(__gcc_v64qi, __gcc_v64qi)
__gcc_v8hf __builtin_ia32_vfmaddcph128(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf)
__gcc_v16si __builtin_ia32_vpshldv_v16si(__gcc_v16si, __gcc_v16si, __gcc_v16si)
__gcc_v8hf __builtin_ia32_scalefsh_mask_round(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char, int)
__gcc_v16hf __builtin_ia32_vfmsubaddph256_mask(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned short)
__gcc_v32hi __builtin_ia32_vpshrd_v32hi_mask(__gcc_v32hi, __gcc_v32hi, int, __gcc_v32hi, int)
__gcc_v16si __builtin_ia32_vpdpwssds_v16si(__gcc_v16si, __gcc_v16si, __gcc_v16si)
__gcc_v4sf __builtin_ia32_rsqrt28ss_mask_round(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__gcc_v32qi __builtin_ia32_vpopcountb_v32qi(__gcc_v32qi)
__gcc_v2df __builtin_ia32_reducesd_mask_round(__gcc_v2df, __gcc_v2df, int, __gcc_v2df, unsigned char, int)
__gcc_v8si __builtin_ia32_vpdpwssd_v8si_maskz(__gcc_v8si, __gcc_v8si, __gcc_v8si, unsigned char)
__gcc_v8hf __builtin_ia32_vfmsubaddph128_mask(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v8hf __builtin_ia32_rsqrtph128_mask(__gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v32hf __builtin_ia32_scalefph512_mask_round(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned, int)
__gcc_v8si __builtin_ia32_vcvtph2udq256_mask(__gcc_v8hf, __gcc_v8si, unsigned char)
__gcc_v2df __builtin_ia32_divsd_mask_round(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__gcc_v16hi __builtin_ia32_vpshrdv_v16hi(__gcc_v16hi, __gcc_v16hi, __gcc_v16hi)
__gcc_v16si __builtin_ia32_vcvtph2udq512_mask_round(__gcc_v16hf, __gcc_v16si, unsigned short, int)
__gcc_v8hf __builtin_ia32_vfcmaddcsh_mask3_round(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char, int)
__gcc_v4sf __builtin_ia32_vfmaddss3_maskz(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__gcc_v4si __builtin_ia32_vpshldv_v4si_maskz(__gcc_v4si, __gcc_v4si, __gcc_v4si, unsigned char)
__gcc_v8hf __builtin_ia32_vfmaddph128_mask(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v32qi __builtin_ia32_vaesenclast_v32qi(__gcc_v32qi, __gcc_v32qi)
__gcc_v8hi __builtin_ia32_vpshrdv_v8hi_mask(__gcc_v8hi, __gcc_v8hi, __gcc_v8hi, unsigned char)
__gcc_v32hf __builtin_ia32_rcpph512_mask(__gcc_v32hf, __gcc_v32hf, unsigned)
__gcc_v8hi __builtin_ia32_cvtneps2bf16_v8sf_maskz(__gcc_v8sf, unsigned char)
__gcc_v64qi __builtin_ia32_vgf2p8mulb_v64qi_mask(__gcc_v64qi, __gcc_v64qi, __gcc_v64qi, unsigned long long)
__gcc_v16hf __builtin_ia32_vcvtudq2ph512_mask_round(__gcc_v16si, __gcc_v16hf, unsigned short, int)
__gcc_v8hf __builtin_ia32_vfmulcph128(__gcc_v8hf, __gcc_v8hf)
__gcc_v2df __builtin_ia32_getexpsd_mask_round(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__gcc_v16hf __builtin_ia32_getexpph256_mask(__gcc_v16hf, __gcc_v16hf, unsigned short)
__gcc_v8hi __builtin_ia32_vpshldv_v8hi_maskz(__gcc_v8hi, __gcc_v8hi, __gcc_v8hi, unsigned char)
__gcc_v8hf __builtin_ia32_vfmaddcsh_round(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, int)
__gcc_v8df __builtin_ia32_vfnmaddpd512_maskz(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int)
__gcc_v4sf __builtin_ia32_vfmaddss3_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__gcc_v8si __builtin_ia32_vpopcountd_v8si(__gcc_v8si)
__gcc_v4si __builtin_ia32_vpdpwssds_v4si_mask(__gcc_v4si, __gcc_v4si, __gcc_v4si, unsigned char)
__gcc_v8hf __builtin_ia32_vfnmsubph128_mask(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
void __builtin_ia32_wrussq(unsigned long long int, void *)
__gcc_v16sf __builtin_ia32_vfmsubps512_maskz(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, short, int)
__gcc_v8di __builtin_ia32_vcvttph2uqq512_mask_round(__gcc_v8hf, __gcc_v8di, unsigned char, int)
__gcc_v4di __builtin_ia32_vcvtph2qq256_mask(__gcc_v8hf, __gcc_v4di, unsigned char)
__gcc_v8hi __builtin_ia32_cvtne2ps2bf16_v8hi_maskz(__gcc_v4sf, __gcc_v4sf, unsigned char)
unsigned char __builtin_ia32_addcarryx_u32(unsigned char, unsigned int, unsigned int, unsigned int *)
__gcc_v32hi __builtin_ia32_vcvtph2uw512_mask_round(__gcc_v32hf, __gcc_v32hi, unsigned, int)
__gcc_v8hf __builtin_ia32_vfcmulcph128(__gcc_v8hf, __gcc_v8hf)
__gcc_v2di __builtin_ia32_vpshldv_v2di_mask(__gcc_v2di, __gcc_v2di, __gcc_v2di, unsigned char)
__gcc_v32hf __builtin_ia32_vcvtw2ph512_mask_round(__gcc_v32hi, __gcc_v32hf, unsigned, int)
__gcc_v8hf __builtin_ia32_mulph128_mask(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v8hi __builtin_ia32_vpshld_v8hi(__gcc_v8hi, __gcc_v8hi, int)
__gcc_v32hf __builtin_ia32_vfmsubph512_maskz(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned, int)
__gcc_v16sf __builtin_ia32_vfnmaddps512_maskz(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, short, int)
__gcc_v8hf __builtin_ia32_rcpsh_mask(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v8hi __builtin_ia32_vpshrdv_v8hi(__gcc_v8hi, __gcc_v8hi, __gcc_v8hi)
__gcc_v8hf __builtin_ia32_vfmaddcph128_mask3(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v8si __builtin_ia32_vpdpbusds_v8si_maskz(__gcc_v8si, __gcc_v8si, __gcc_v8si, unsigned char)
__gcc_v16hf __builtin_ia32_vfnmsubph256_maskz(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf, unsigned short)
__gcc_v4si __builtin_ia32_vpdpwssd_v4si(__gcc_v4si, __gcc_v4si, __gcc_v4si)
__gcc_v8hf __builtin_ia32_vfmulcph128_mask(__gcc_v8hf, __gcc_v8hf, __gcc_v8hf, unsigned char)
__gcc_v16hf __builtin_ia32_vfcmaddcph256(__gcc_v16hf, __gcc_v16hf, __gcc_v16hf)
__gcc_v32hf __builtin_ia32_maxph512_mask(__gcc_v32hf, __gcc_v32hf, __gcc_v32hf, unsigned)
__gcc_v8si __builtin_ia32_vcvttph2udq256_mask(__gcc_v8hf, __gcc_v8si, unsigned char)
__gcc_v16si __builtin_ia32_vpdpbusd_v16si_maskz(__gcc_v16si, __gcc_v16si, __gcc_v16si, unsigned short)