cprover
Loading...
Searching...
No Matches
gcc_builtin_headers_ia32-7.h
Go to the documentation of this file.
1// clang-format off
2// 3dnow
4__gcc_v8qi __builtin_ia32_pavgusb(__gcc_v8qi, __gcc_v8qi);
5__gcc_v2si __builtin_ia32_pf2id(__gcc_v2sf);
6__gcc_v2sf __builtin_ia32_pfacc(__gcc_v2sf, __gcc_v2sf);
7__gcc_v2sf __builtin_ia32_pfadd(__gcc_v2sf, __gcc_v2sf);
8__gcc_v2si __builtin_ia32_pfcmpeq(__gcc_v2sf, __gcc_v2sf);
9__gcc_v2si __builtin_ia32_pfcmpge(__gcc_v2sf, __gcc_v2sf);
10__gcc_v2si __builtin_ia32_pfcmpgt(__gcc_v2sf, __gcc_v2sf);
11__gcc_v2sf __builtin_ia32_pfmax(__gcc_v2sf, __gcc_v2sf);
12__gcc_v2sf __builtin_ia32_pfmin(__gcc_v2sf, __gcc_v2sf);
13__gcc_v2sf __builtin_ia32_pfmul(__gcc_v2sf, __gcc_v2sf);
14__gcc_v2sf __builtin_ia32_pfrcp(__gcc_v2sf);
15__gcc_v2sf __builtin_ia32_pfrcpit1(__gcc_v2sf, __gcc_v2sf);
16__gcc_v2sf __builtin_ia32_pfrcpit2(__gcc_v2sf, __gcc_v2sf);
17__gcc_v2sf __builtin_ia32_pfrsqit1(__gcc_v2sf, __gcc_v2sf);
18__gcc_v2sf __builtin_ia32_pfrsqrt(__gcc_v2sf);
19__gcc_v2sf __builtin_ia32_pfsub(__gcc_v2sf, __gcc_v2sf);
20__gcc_v2sf __builtin_ia32_pfsubr(__gcc_v2sf, __gcc_v2sf);
21__gcc_v2sf __builtin_ia32_pi2fd(__gcc_v2si);
22__gcc_v4hi __builtin_ia32_pmulhrw(__gcc_v4hi, __gcc_v4hi);
23// 3dnowa
24__gcc_v2si __builtin_ia32_pf2iw(__gcc_v2sf);
25__gcc_v2sf __builtin_ia32_pfnacc(__gcc_v2sf, __gcc_v2sf);
26__gcc_v2sf __builtin_ia32_pfpnacc(__gcc_v2sf, __gcc_v2sf);
27__gcc_v2sf __builtin_ia32_pi2fw(__gcc_v2si);
28__gcc_v2sf __builtin_ia32_pswapdsf(__gcc_v2sf);
29__gcc_v2si __builtin_ia32_pswapdsi(__gcc_v2si);
30// aes
31__gcc_v2di __builtin_ia32_aesdec128(__gcc_v2di, __gcc_v2di);
32__gcc_v2di __builtin_ia32_aesdeclast128(__gcc_v2di, __gcc_v2di);
33__gcc_v2di __builtin_ia32_aesenc128(__gcc_v2di, __gcc_v2di);
34__gcc_v2di __builtin_ia32_aesenclast128(__gcc_v2di, __gcc_v2di);
35__gcc_v2di __builtin_ia32_aesimc128(__gcc_v2di);
36__gcc_v2di __builtin_ia32_aeskeygenassist128(__gcc_v2di, char);
37// amx-bf16
38void __builtin_ia32_tdpbf16ps(unsigned char, unsigned char, unsigned char);
39__gcc_v256si __builtin_ia32_tdpbf16ps_internal(unsigned short, unsigned short, unsigned short, __gcc_v256si, __gcc_v256si, __gcc_v256si);
40// amx-complex
41void __builtin_ia32_tcmmimfp16ps(unsigned char, unsigned char, unsigned char);
42__gcc_v256si __builtin_ia32_tcmmimfp16ps_internal(unsigned short, unsigned short, unsigned short, __gcc_v256si, __gcc_v256si, __gcc_v256si);
43void __builtin_ia32_tcmmrlfp16ps(unsigned char, unsigned char, unsigned char);
44__gcc_v256si __builtin_ia32_tcmmrlfp16ps_internal(unsigned short, unsigned short, unsigned short, __gcc_v256si, __gcc_v256si, __gcc_v256si);
45// amx-fp16
46void __builtin_ia32_tdpfp16ps(unsigned char, unsigned char, unsigned char);
47__gcc_v256si __builtin_ia32_tdpfp16ps_internal(unsigned short, unsigned short, unsigned short, __gcc_v256si, __gcc_v256si, __gcc_v256si);
48// amx-int8
49void __builtin_ia32_tdpbssd(unsigned char, unsigned char, unsigned char);
50__gcc_v256si __builtin_ia32_tdpbssd_internal(unsigned short, unsigned short, unsigned short, __gcc_v256si, __gcc_v256si, __gcc_v256si);
51void __builtin_ia32_tdpbsud(unsigned char, unsigned char, unsigned char);
52__gcc_v256si __builtin_ia32_tdpbsud_internal(unsigned short, unsigned short, unsigned short, __gcc_v256si, __gcc_v256si, __gcc_v256si);
53void __builtin_ia32_tdpbusd(unsigned char, unsigned char, unsigned char);
54__gcc_v256si __builtin_ia32_tdpbusd_internal(unsigned short, unsigned short, unsigned short, __gcc_v256si, __gcc_v256si, __gcc_v256si);
55void __builtin_ia32_tdpbuud(unsigned char, unsigned char, unsigned char);
56__gcc_v256si __builtin_ia32_tdpbuud_internal(unsigned short, unsigned short, unsigned short, __gcc_v256si, __gcc_v256si, __gcc_v256si);
57// amx-tile
61void __builtin_ia32_tileloadd64(unsigned char, const void *, __CPROVER_size_t);
62__gcc_v256si __builtin_ia32_tileloadd64_internal(unsigned short, unsigned short, const void *, __CPROVER_size_t);
63void __builtin_ia32_tileloaddt164(unsigned char, const void *, __CPROVER_size_t);
64__gcc_v256si __builtin_ia32_tileloaddt164_internal(unsigned short, unsigned short, const void *, __CPROVER_size_t);
66void __builtin_ia32_tilestored64(unsigned char, void *, __CPROVER_size_t);
67void __builtin_ia32_tilestored64_internal(unsigned short, unsigned short, void *, __CPROVER_size_t, __gcc_v256si);
68void __builtin_ia32_tilezero(unsigned char);
69__gcc_v256si __builtin_ia32_tilezero_internal(unsigned short, unsigned short);
70// avx
71__gcc_v4df __builtin_ia32_addsubpd256(__gcc_v4df, __gcc_v4df);
72__gcc_v8sf __builtin_ia32_addsubps256(__gcc_v8sf, __gcc_v8sf);
73__gcc_v4df __builtin_ia32_blendpd256(__gcc_v4df, __gcc_v4df, int);
74__gcc_v8sf __builtin_ia32_blendps256(__gcc_v8sf, __gcc_v8sf, int);
75__gcc_v4df __builtin_ia32_blendvpd256(__gcc_v4df, __gcc_v4df, __gcc_v4df);
76__gcc_v8sf __builtin_ia32_blendvps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf);
77__gcc_v4df __builtin_ia32_cmppd256(__gcc_v4df, __gcc_v4df, char);
78__gcc_v8sf __builtin_ia32_cmpps256(__gcc_v8sf, __gcc_v8sf, char);
79__gcc_v4si __builtin_ia32_cvtpd2dq256(__gcc_v4df);
80__gcc_v4sf __builtin_ia32_cvtpd2ps256(__gcc_v4df);
81__gcc_v8si __builtin_ia32_cvtps2dq256(__gcc_v8sf);
82__gcc_v4si __builtin_ia32_cvttpd2dq256(__gcc_v4df);
83__gcc_v8si __builtin_ia32_cvttps2dq256(__gcc_v8sf);
84__gcc_v8sf __builtin_ia32_dpps256(__gcc_v8sf, __gcc_v8sf, char);
85__gcc_v4df __builtin_ia32_haddpd256(__gcc_v4df, __gcc_v4df);
86__gcc_v8sf __builtin_ia32_haddps256(__gcc_v8sf, __gcc_v8sf);
87__gcc_v4df __builtin_ia32_hsubpd256(__gcc_v4df, __gcc_v4df);
88__gcc_v8sf __builtin_ia32_hsubps256(__gcc_v8sf, __gcc_v8sf);
89__gcc_v32qi __builtin_ia32_lddqu256(const char *);
90__gcc_v2df __builtin_ia32_maskloadpd(const __gcc_v2df *, __gcc_v2di);
91__gcc_v4df __builtin_ia32_maskloadpd256(const __gcc_v4df *, __gcc_v4di);
92__gcc_v4sf __builtin_ia32_maskloadps(const __gcc_v4sf *, __gcc_v4si);
93__gcc_v8sf __builtin_ia32_maskloadps256(const __gcc_v8sf *, __gcc_v8si);
94void __builtin_ia32_maskstorepd(__gcc_v2df *, __gcc_v2di, __gcc_v2df);
95void __builtin_ia32_maskstorepd256(__gcc_v4df *, __gcc_v4di, __gcc_v4df);
96void __builtin_ia32_maskstoreps(__gcc_v4sf *, __gcc_v4si, __gcc_v4sf);
97void __builtin_ia32_maskstoreps256(__gcc_v8sf *, __gcc_v8si, __gcc_v8sf);
98__gcc_v4df __builtin_ia32_maxpd256(__gcc_v4df, __gcc_v4df);
99__gcc_v8sf __builtin_ia32_maxps256(__gcc_v8sf, __gcc_v8sf);
100__gcc_v4df __builtin_ia32_minpd256(__gcc_v4df, __gcc_v4df);
101__gcc_v8sf __builtin_ia32_minps256(__gcc_v8sf, __gcc_v8sf);
104int __builtin_ia32_ptestc256(__gcc_v4di, __gcc_v4di);
105int __builtin_ia32_ptestnzc256(__gcc_v4di, __gcc_v4di);
106int __builtin_ia32_ptestz256(__gcc_v4di, __gcc_v4di);
107__gcc_v8sf __builtin_ia32_rcpps256(__gcc_v8sf);
108__gcc_v4df __builtin_ia32_roundpd256(__gcc_v4df, int);
109__gcc_v8sf __builtin_ia32_roundps256(__gcc_v8sf, int);
110__gcc_v8sf __builtin_ia32_rsqrtps256(__gcc_v8sf);
111__gcc_v4df __builtin_ia32_shufpd256(__gcc_v4df, __gcc_v4df, int);
112__gcc_v8sf __builtin_ia32_shufps256(__gcc_v8sf, __gcc_v8sf, int);
113__gcc_v4df __builtin_ia32_sqrtpd256(__gcc_v4df);
114__gcc_v8sf __builtin_ia32_sqrtps256(__gcc_v8sf);
115short __builtin_ia32_vec_ext_v16hi(__gcc_v16hi, int);
116char __builtin_ia32_vec_ext_v32qi(__gcc_v32qi, int);
117long long int __builtin_ia32_vec_ext_v4di(__gcc_v4di, int);
118int __builtin_ia32_vec_ext_v8si(__gcc_v8si, int);
119__gcc_v16hi __builtin_ia32_vec_set_v16hi(__gcc_v16hi, short, int);
120__gcc_v32qi __builtin_ia32_vec_set_v32qi(__gcc_v32qi, char, int);
121__gcc_v4di __builtin_ia32_vec_set_v4di(__gcc_v4di, long long int, int);
122__gcc_v8si __builtin_ia32_vec_set_v8si(__gcc_v8si, int, int);
123__gcc_v2df __builtin_ia32_vextractf128_pd256(__gcc_v4df, int);
124__gcc_v4sf __builtin_ia32_vextractf128_ps256(__gcc_v8sf, int);
125__gcc_v4si __builtin_ia32_vextractf128_si256(__gcc_v8si, int);
126__gcc_v4df __builtin_ia32_vinsertf128_pd256(__gcc_v4df, __gcc_v2df, int);
127__gcc_v8sf __builtin_ia32_vinsertf128_ps256(__gcc_v8sf, __gcc_v4sf, int);
128__gcc_v8si __builtin_ia32_vinsertf128_si256(__gcc_v8si, __gcc_v4si, int);
129__gcc_v4df __builtin_ia32_vperm2f128_pd256(__gcc_v4df, __gcc_v4df, int);
130__gcc_v8sf __builtin_ia32_vperm2f128_ps256(__gcc_v8sf, __gcc_v8sf, int);
131__gcc_v8si __builtin_ia32_vperm2f128_si256(__gcc_v8si, __gcc_v8si, int);
132__gcc_v2df __builtin_ia32_vpermilpd(__gcc_v2df, int);
133__gcc_v4df __builtin_ia32_vpermilpd256(__gcc_v4df, int);
134__gcc_v4sf __builtin_ia32_vpermilps(__gcc_v4sf, int);
135__gcc_v8sf __builtin_ia32_vpermilps256(__gcc_v8sf, int);
136__gcc_v2df __builtin_ia32_vpermilvarpd(__gcc_v2df, __gcc_v2di);
137__gcc_v4df __builtin_ia32_vpermilvarpd256(__gcc_v4df, __gcc_v4di);
138__gcc_v4sf __builtin_ia32_vpermilvarps(__gcc_v4sf, __gcc_v4si);
139__gcc_v8sf __builtin_ia32_vpermilvarps256(__gcc_v8sf, __gcc_v8si);
140int __builtin_ia32_vtestcpd(__gcc_v2df, __gcc_v2df);
141int __builtin_ia32_vtestcpd256(__gcc_v4df, __gcc_v4df);
142int __builtin_ia32_vtestcps(__gcc_v4sf, __gcc_v4sf);
143int __builtin_ia32_vtestcps256(__gcc_v8sf, __gcc_v8sf);
144int __builtin_ia32_vtestnzcpd(__gcc_v2df, __gcc_v2df);
145int __builtin_ia32_vtestnzcpd256(__gcc_v4df, __gcc_v4df);
146int __builtin_ia32_vtestnzcps(__gcc_v4sf, __gcc_v4sf);
147int __builtin_ia32_vtestnzcps256(__gcc_v8sf, __gcc_v8sf);
148int __builtin_ia32_vtestzpd(__gcc_v2df, __gcc_v2df);
149int __builtin_ia32_vtestzpd256(__gcc_v4df, __gcc_v4df);
150int __builtin_ia32_vtestzps(__gcc_v4sf, __gcc_v4sf);
151int __builtin_ia32_vtestzps256(__gcc_v8sf, __gcc_v8sf);
154// avx,gfni
155__gcc_v32qi __builtin_ia32_vgf2p8affineinvqb_v32qi(__gcc_v32qi, __gcc_v32qi, char);
156__gcc_v32qi __builtin_ia32_vgf2p8affineqb_v32qi(__gcc_v32qi, __gcc_v32qi, char);
157__gcc_v32qi __builtin_ia32_vgf2p8mulb_v32qi(__gcc_v32qi, __gcc_v32qi);
158// avx2
159__gcc_v2di __builtin_ia32_extract128i256(__gcc_v4di, int);
160__gcc_v4si __builtin_ia32_gatherd_d(__gcc_v4si, const int *, __gcc_v4si, __gcc_v4si, char);
161__gcc_v8si __builtin_ia32_gatherd_d256(__gcc_v8si, const int *, __gcc_v8si, __gcc_v8si, char);
162__gcc_v2df __builtin_ia32_gatherd_pd(__gcc_v2df, const double *, __gcc_v4si, __gcc_v2df, char);
163__gcc_v4df __builtin_ia32_gatherd_pd256(__gcc_v4df, const double *, __gcc_v4si, __gcc_v4df, char);
164__gcc_v4sf __builtin_ia32_gatherd_ps(__gcc_v4sf, const float *, __gcc_v4si, __gcc_v4sf, char);
165__gcc_v8sf __builtin_ia32_gatherd_ps256(__gcc_v8sf, const float *, __gcc_v8si, __gcc_v8sf, char);
166__gcc_v2di __builtin_ia32_gatherd_q(__gcc_v2di, const long long int *, __gcc_v4si, __gcc_v2di, char);
167__gcc_v4di __builtin_ia32_gatherd_q256(__gcc_v4di, const long long int *, __gcc_v4si, __gcc_v4di, char);
168__gcc_v4si __builtin_ia32_gatherq_d(__gcc_v4si, const int *, __gcc_v2di, __gcc_v4si, char);
169__gcc_v4si __builtin_ia32_gatherq_d256(__gcc_v4si, const int *, __gcc_v4di, __gcc_v4si, char);
170__gcc_v2df __builtin_ia32_gatherq_pd(__gcc_v2df, const double *, __gcc_v2di, __gcc_v2df, char);
171__gcc_v4df __builtin_ia32_gatherq_pd256(__gcc_v4df, const double *, __gcc_v4di, __gcc_v4df, char);
172__gcc_v4sf __builtin_ia32_gatherq_ps(__gcc_v4sf, const float *, __gcc_v2di, __gcc_v4sf, char);
173__gcc_v4sf __builtin_ia32_gatherq_ps256(__gcc_v4sf, const float *, __gcc_v4di, __gcc_v4sf, char);
174__gcc_v2di __builtin_ia32_gatherq_q(__gcc_v2di, const long long int *, __gcc_v2di, __gcc_v2di, char);
175__gcc_v4di __builtin_ia32_gatherq_q256(__gcc_v4di, const long long int *, __gcc_v4di, __gcc_v4di, char);
176__gcc_v4di __builtin_ia32_insert128i256(__gcc_v4di, __gcc_v2di, int);
177__gcc_v4si __builtin_ia32_maskloadd(const __gcc_v4si *, __gcc_v4si);
178__gcc_v8si __builtin_ia32_maskloadd256(const __gcc_v8si *, __gcc_v8si);
179__gcc_v2di __builtin_ia32_maskloadq(const __gcc_v2di *, __gcc_v2di);
180__gcc_v4di __builtin_ia32_maskloadq256(const __gcc_v4di *, __gcc_v4di);
181void __builtin_ia32_maskstored(__gcc_v4si *, __gcc_v4si, __gcc_v4si);
182void __builtin_ia32_maskstored256(__gcc_v8si *, __gcc_v8si, __gcc_v8si);
183void __builtin_ia32_maskstoreq(__gcc_v2di *, __gcc_v2di, __gcc_v2di);
184void __builtin_ia32_maskstoreq256(__gcc_v4di *, __gcc_v4di, __gcc_v4di);
185__gcc_v32qi __builtin_ia32_mpsadbw256(__gcc_v32qi, __gcc_v32qi, char);
186__gcc_v16hi __builtin_ia32_packssdw256(__gcc_v8si, __gcc_v8si);
187__gcc_v32qi __builtin_ia32_packsswb256(__gcc_v16hi, __gcc_v16hi);
188__gcc_v16hi __builtin_ia32_packusdw256(__gcc_v8si, __gcc_v8si);
189__gcc_v32qi __builtin_ia32_packuswb256(__gcc_v16hi, __gcc_v16hi);
190__gcc_v32qi __builtin_ia32_palignr256(__gcc_v32qi, __gcc_v32qi, int);
191__gcc_v32qi __builtin_ia32_pavgb256(__gcc_v32qi, __gcc_v32qi);
192__gcc_v16hi __builtin_ia32_pavgw256(__gcc_v16hi, __gcc_v16hi);
193__gcc_v4si __builtin_ia32_pblendd128(__gcc_v4si, __gcc_v4si, int);
194__gcc_v8si __builtin_ia32_pblendd256(__gcc_v8si, __gcc_v8si, int);
195__gcc_v32qi __builtin_ia32_pblendvb256(__gcc_v32qi, __gcc_v32qi, __gcc_v32qi);
196__gcc_v16hi __builtin_ia32_pblendw256(__gcc_v16hi, __gcc_v16hi, int);
197__gcc_v4df __builtin_ia32_permdf256(__gcc_v4df, int);
198__gcc_v4di __builtin_ia32_permdi256(__gcc_v4di, int);
199__gcc_v4di __builtin_ia32_permti256(__gcc_v4di, __gcc_v4di, int);
200__gcc_v8sf __builtin_ia32_permvarsf256(__gcc_v8sf, __gcc_v8si);
201__gcc_v8si __builtin_ia32_permvarsi256(__gcc_v8si, __gcc_v8si);
202__gcc_v8si __builtin_ia32_phaddd256(__gcc_v8si, __gcc_v8si);
203__gcc_v16hi __builtin_ia32_phaddsw256(__gcc_v16hi, __gcc_v16hi);
204__gcc_v16hi __builtin_ia32_phaddw256(__gcc_v16hi, __gcc_v16hi);
205__gcc_v8si __builtin_ia32_phsubd256(__gcc_v8si, __gcc_v8si);
206__gcc_v16hi __builtin_ia32_phsubsw256(__gcc_v16hi, __gcc_v16hi);
207__gcc_v16hi __builtin_ia32_phsubw256(__gcc_v16hi, __gcc_v16hi);
208__gcc_v16hi __builtin_ia32_pmaddubsw256(__gcc_v32qi, __gcc_v32qi);
209__gcc_v8si __builtin_ia32_pmaddwd256(__gcc_v16hi, __gcc_v16hi);
211__gcc_v4di __builtin_ia32_pmuldq256(__gcc_v8si, __gcc_v8si);
212__gcc_v16hi __builtin_ia32_pmulhrsw256(__gcc_v16hi, __gcc_v16hi);
213__gcc_v16hi __builtin_ia32_pmulhuw256(__gcc_v16hi, __gcc_v16hi);
214__gcc_v16hi __builtin_ia32_pmulhw256(__gcc_v16hi, __gcc_v16hi);
215__gcc_v4di __builtin_ia32_pmuludq256(__gcc_v8si, __gcc_v8si);
216__gcc_v4di __builtin_ia32_psadbw256(__gcc_v32qi, __gcc_v32qi);
217__gcc_v32qi __builtin_ia32_pshufb256(__gcc_v32qi, __gcc_v32qi);
218__gcc_v8si __builtin_ia32_pshufd256(__gcc_v8si, int);
219__gcc_v16hi __builtin_ia32_pshufhw256(__gcc_v16hi, int);
220__gcc_v16hi __builtin_ia32_pshuflw256(__gcc_v16hi, int);
221__gcc_v32qi __builtin_ia32_psignb256(__gcc_v32qi, __gcc_v32qi);
222__gcc_v8si __builtin_ia32_psignd256(__gcc_v8si, __gcc_v8si);
223__gcc_v16hi __builtin_ia32_psignw256(__gcc_v16hi, __gcc_v16hi);
224__gcc_v8si __builtin_ia32_pslld256(__gcc_v8si, __gcc_v4si);
225__gcc_v8si __builtin_ia32_pslldi256(__gcc_v8si, int);
226__gcc_v4di __builtin_ia32_pslldqi256_byteshift(__gcc_v4di, int);
227__gcc_v4di __builtin_ia32_psllq256(__gcc_v4di, __gcc_v2di);
228__gcc_v4di __builtin_ia32_psllqi256(__gcc_v4di, int);
229__gcc_v2di __builtin_ia32_psllv2di(__gcc_v2di, __gcc_v2di);
230__gcc_v4di __builtin_ia32_psllv4di(__gcc_v4di, __gcc_v4di);
231__gcc_v4si __builtin_ia32_psllv4si(__gcc_v4si, __gcc_v4si);
232__gcc_v8si __builtin_ia32_psllv8si(__gcc_v8si, __gcc_v8si);
233__gcc_v16hi __builtin_ia32_psllw256(__gcc_v16hi, __gcc_v8hi);
234__gcc_v16hi __builtin_ia32_psllwi256(__gcc_v16hi, int);
235__gcc_v8si __builtin_ia32_psrad256(__gcc_v8si, __gcc_v4si);
236__gcc_v8si __builtin_ia32_psradi256(__gcc_v8si, int);
237__gcc_v4si __builtin_ia32_psrav4si(__gcc_v4si, __gcc_v4si);
238__gcc_v8si __builtin_ia32_psrav8si(__gcc_v8si, __gcc_v8si);
239__gcc_v16hi __builtin_ia32_psraw256(__gcc_v16hi, __gcc_v8hi);
240__gcc_v16hi __builtin_ia32_psrawi256(__gcc_v16hi, int);
241__gcc_v8si __builtin_ia32_psrld256(__gcc_v8si, __gcc_v4si);
242__gcc_v8si __builtin_ia32_psrldi256(__gcc_v8si, int);
243__gcc_v4di __builtin_ia32_psrldqi256_byteshift(__gcc_v4di, int);
244__gcc_v4di __builtin_ia32_psrlq256(__gcc_v4di, __gcc_v2di);
245__gcc_v4di __builtin_ia32_psrlqi256(__gcc_v4di, int);
246__gcc_v2di __builtin_ia32_psrlv2di(__gcc_v2di, __gcc_v2di);
247__gcc_v4di __builtin_ia32_psrlv4di(__gcc_v4di, __gcc_v4di);
248__gcc_v4si __builtin_ia32_psrlv4si(__gcc_v4si, __gcc_v4si);
249__gcc_v8si __builtin_ia32_psrlv8si(__gcc_v8si, __gcc_v8si);
250__gcc_v16hi __builtin_ia32_psrlw256(__gcc_v16hi, __gcc_v8hi);
251__gcc_v16hi __builtin_ia32_psrlwi256(__gcc_v16hi, int);
252// avx512bf16
254__gcc_v8hf __builtin_ia32_selectsbf_128(unsigned char, __gcc_v8hf, __gcc_v8hf);
255// avx512bf16,avx512vl
256__gcc_v8hf __builtin_ia32_cvtne2ps2bf16_128(__gcc_v4sf, __gcc_v4sf);
257__gcc_v16hf __builtin_ia32_cvtne2ps2bf16_256(__gcc_v8sf, __gcc_v8sf);
258__gcc_v8hf __builtin_ia32_cvtneps2bf16_128_mask(__gcc_v4sf, __gcc_v8hf, unsigned char);
259__gcc_v8hf __builtin_ia32_cvtneps2bf16_256_mask(__gcc_v8sf, __gcc_v8hf, unsigned char);
260__gcc_v4sf __builtin_ia32_dpbf16ps_128(__gcc_v4sf, __gcc_v8hf, __gcc_v8hf);
261__gcc_v8sf __builtin_ia32_dpbf16ps_256(__gcc_v8sf, __gcc_v16hf, __gcc_v16hf);
262__gcc_v8hf __builtin_ia32_selectpbf_128(unsigned char, __gcc_v8hf, __gcc_v8hf);
263__gcc_v16hf __builtin_ia32_selectpbf_256(unsigned short, __gcc_v16hf, __gcc_v16hf);
264// avx512bf16,avx512vl|avxneconvert
265__gcc_v8hf __builtin_ia32_vcvtneps2bf16128(__gcc_v4sf);
266__gcc_v8hf __builtin_ia32_vcvtneps2bf16256(__gcc_v8sf);
267// avx512bf16,evex512
268__gcc_v32hf __builtin_ia32_cvtne2ps2bf16_512(__gcc_v16sf, __gcc_v16sf);
269__gcc_v16hf __builtin_ia32_cvtneps2bf16_512_mask(__gcc_v16sf, __gcc_v16hf, unsigned short);
270__gcc_v16sf __builtin_ia32_dpbf16ps_512(__gcc_v16sf, __gcc_v32hf, __gcc_v32hf);
271__gcc_v32hf __builtin_ia32_selectpbf_512(unsigned int, __gcc_v32hf, __gcc_v32hf);
272// avx512bitalg,evex512
273__gcc_v64qi __builtin_ia32_vpopcntb_512(__gcc_v64qi);
274__gcc_v32hi __builtin_ia32_vpopcntw_512(__gcc_v32hi);
275unsigned long long int __builtin_ia32_vpshufbitqmb512_mask(__gcc_v64qi, __gcc_v64qi, unsigned long long int);
276// avx512bw
277unsigned long long int __builtin_ia32_kadddi(unsigned long long int, unsigned long long int);
278unsigned int __builtin_ia32_kaddsi(unsigned int, unsigned int);
279unsigned long long int __builtin_ia32_kanddi(unsigned long long int, unsigned long long int);
280unsigned long long int __builtin_ia32_kandndi(unsigned long long int, unsigned long long int);
281unsigned int __builtin_ia32_kandnsi(unsigned int, unsigned int);
282unsigned int __builtin_ia32_kandsi(unsigned int, unsigned int);
283unsigned int __builtin_ia32_kmovd(unsigned int);
284unsigned long long int __builtin_ia32_kmovq(unsigned long long int);
285unsigned long long int __builtin_ia32_knotdi(unsigned long long int);
286unsigned int __builtin_ia32_knotsi(unsigned int);
287unsigned long long int __builtin_ia32_kordi(unsigned long long int, unsigned long long int);
288unsigned int __builtin_ia32_korsi(unsigned int, unsigned int);
289int __builtin_ia32_kortestcdi(unsigned long long int, unsigned long long int);
290int __builtin_ia32_kortestcsi(unsigned int, unsigned int);
291int __builtin_ia32_kortestzdi(unsigned long long int, unsigned long long int);
292int __builtin_ia32_kortestzsi(unsigned int, unsigned int);
293unsigned long long int __builtin_ia32_kshiftlidi(unsigned long long int, unsigned int);
294unsigned int __builtin_ia32_kshiftlisi(unsigned int, unsigned int);
295unsigned long long int __builtin_ia32_kshiftridi(unsigned long long int, unsigned int);
296unsigned int __builtin_ia32_kshiftrisi(unsigned int, unsigned int);
297int __builtin_ia32_ktestcdi(unsigned long long int, unsigned long long int);
298int __builtin_ia32_ktestcsi(unsigned int, unsigned int);
299int __builtin_ia32_ktestzdi(unsigned long long int, unsigned long long int);
300int __builtin_ia32_ktestzsi(unsigned int, unsigned int);
301unsigned long long int __builtin_ia32_kunpckdi(unsigned long long int, unsigned long long int);
302unsigned int __builtin_ia32_kunpcksi(unsigned int, unsigned int);
303unsigned long long int __builtin_ia32_kxnordi(unsigned long long int, unsigned long long int);
304unsigned int __builtin_ia32_kxnorsi(unsigned int, unsigned int);
305unsigned long long int __builtin_ia32_kxordi(unsigned long long int, unsigned long long int);
306unsigned int __builtin_ia32_kxorsi(unsigned int, unsigned int);
307// avx512bw,avx512vl
308unsigned short __builtin_ia32_cvtb2mask128(__gcc_v16qi);
309unsigned int __builtin_ia32_cvtb2mask256(__gcc_v32qi);
310__gcc_v16qi __builtin_ia32_cvtmask2b128(unsigned short);
311__gcc_v32qi __builtin_ia32_cvtmask2b256(unsigned int);
312__gcc_v8hi __builtin_ia32_cvtmask2w128(unsigned char);
313__gcc_v16hi __builtin_ia32_cvtmask2w256(unsigned short);
314unsigned char __builtin_ia32_cvtw2mask128(__gcc_v8hi);
315unsigned short __builtin_ia32_cvtw2mask256(__gcc_v16hi);
316__gcc_v8hi __builtin_ia32_dbpsadbw128(__gcc_v16qi, __gcc_v16qi, int);
317__gcc_v16hi __builtin_ia32_dbpsadbw256(__gcc_v32qi, __gcc_v32qi, int);
318__gcc_v8hi __builtin_ia32_loaddquhi128_mask(const __gcc_v8hi *, __gcc_v8hi, unsigned char);
319__gcc_v16hi __builtin_ia32_loaddquhi256_mask(const __gcc_v16hi *, __gcc_v16hi, unsigned short);
320__gcc_v16qi __builtin_ia32_loaddquqi128_mask(const __gcc_v16qi *, __gcc_v16qi, unsigned short);
321__gcc_v32qi __builtin_ia32_loaddquqi256_mask(const __gcc_v32qi *, __gcc_v32qi, unsigned int);
322__gcc_v8hi __builtin_ia32_permvarhi128(__gcc_v8hi, __gcc_v8hi);
323__gcc_v16hi __builtin_ia32_permvarhi256(__gcc_v16hi, __gcc_v16hi);
324__gcc_v16hi __builtin_ia32_psllv16hi(__gcc_v16hi, __gcc_v16hi);
325__gcc_v8hi __builtin_ia32_psllv8hi(__gcc_v8hi, __gcc_v8hi);
326__gcc_v16hi __builtin_ia32_psrav16hi(__gcc_v16hi, __gcc_v16hi);
327__gcc_v8hi __builtin_ia32_psrav8hi(__gcc_v8hi, __gcc_v8hi);
328__gcc_v16hi __builtin_ia32_psrlv16hi(__gcc_v16hi, __gcc_v16hi);
329__gcc_v8hi __builtin_ia32_psrlv8hi(__gcc_v8hi, __gcc_v8hi);
330__gcc_v16qi __builtin_ia32_selectb_128(unsigned short, __gcc_v16qi, __gcc_v16qi);
331__gcc_v32qi __builtin_ia32_selectb_256(unsigned int, __gcc_v32qi, __gcc_v32qi);
332__gcc_v8hi __builtin_ia32_selectw_128(unsigned char, __gcc_v8hi, __gcc_v8hi);
333__gcc_v16hi __builtin_ia32_selectw_256(unsigned short, __gcc_v16hi, __gcc_v16hi);
334// avx512bw,evex512
335unsigned long long int __builtin_ia32_cmpb512_mask(__gcc_v64qi, __gcc_v64qi, int, unsigned long long int);
336unsigned int __builtin_ia32_cmpw512_mask(__gcc_v32hi, __gcc_v32hi, int, unsigned int);
337unsigned long long int __builtin_ia32_cvtb2mask512(__gcc_v64qi);
338__gcc_v64qi __builtin_ia32_cvtmask2b512(unsigned long long int);
339__gcc_v32hi __builtin_ia32_cvtmask2w512(unsigned int);
340unsigned int __builtin_ia32_cvtw2mask512(__gcc_v32hi);
341__gcc_v32hi __builtin_ia32_dbpsadbw512(__gcc_v64qi, __gcc_v64qi, int);
342__gcc_v32hi __builtin_ia32_loaddquhi512_mask(const __gcc_v32hi *, __gcc_v32hi, unsigned int);
343__gcc_v64qi __builtin_ia32_loaddquqi512_mask(const __gcc_v64qi *, __gcc_v64qi, unsigned long long int);
344__gcc_v32hi __builtin_ia32_packssdw512(__gcc_v16si, __gcc_v16si);
345__gcc_v64qi __builtin_ia32_packsswb512(__gcc_v32hi, __gcc_v32hi);
346__gcc_v32hi __builtin_ia32_packusdw512(__gcc_v16si, __gcc_v16si);
347__gcc_v64qi __builtin_ia32_packuswb512(__gcc_v32hi, __gcc_v32hi);
348__gcc_v64qi __builtin_ia32_palignr512(__gcc_v64qi, __gcc_v64qi, int);
349__gcc_v64qi __builtin_ia32_pavgb512(__gcc_v64qi, __gcc_v64qi);
350__gcc_v32hi __builtin_ia32_pavgw512(__gcc_v32hi, __gcc_v32hi);
351__gcc_v32hi __builtin_ia32_permvarhi512(__gcc_v32hi, __gcc_v32hi);
352__gcc_v32hi __builtin_ia32_pmaddubsw512(__gcc_v64qi, __gcc_v64qi);
353__gcc_v16si __builtin_ia32_pmaddwd512(__gcc_v32hi, __gcc_v32hi);
354__gcc_v32qi __builtin_ia32_pmovswb512_mask(__gcc_v32hi, __gcc_v32qi, unsigned int);
355void __builtin_ia32_pmovswb512mem_mask(__gcc_v32qi *, __gcc_v32hi, unsigned int);
356__gcc_v32qi __builtin_ia32_pmovuswb512_mask(__gcc_v32hi, __gcc_v32qi, unsigned int);
357void __builtin_ia32_pmovuswb512mem_mask(__gcc_v32qi *, __gcc_v32hi, unsigned int);
358__gcc_v32qi __builtin_ia32_pmovwb512_mask(__gcc_v32hi, __gcc_v32qi, unsigned int);
359void __builtin_ia32_pmovwb512mem_mask(__gcc_v32qi *, __gcc_v32hi, unsigned int);
360__gcc_v32hi __builtin_ia32_pmulhrsw512(__gcc_v32hi, __gcc_v32hi);
361__gcc_v32hi __builtin_ia32_pmulhuw512(__gcc_v32hi, __gcc_v32hi);
362__gcc_v32hi __builtin_ia32_pmulhw512(__gcc_v32hi, __gcc_v32hi);
363__gcc_v8di __builtin_ia32_psadbw512(__gcc_v64qi, __gcc_v64qi);
364__gcc_v64qi __builtin_ia32_pshufb512(__gcc_v64qi, __gcc_v64qi);
365__gcc_v32hi __builtin_ia32_pshufhw512(__gcc_v32hi, int);
366__gcc_v32hi __builtin_ia32_pshuflw512(__gcc_v32hi, int);
367__gcc_v8di __builtin_ia32_pslldqi512_byteshift(__gcc_v8di, int);
368__gcc_v32hi __builtin_ia32_psllv32hi(__gcc_v32hi, __gcc_v32hi);
369__gcc_v32hi __builtin_ia32_psllw512(__gcc_v32hi, __gcc_v8hi);
370__gcc_v32hi __builtin_ia32_psllwi512(__gcc_v32hi, int);
371__gcc_v32hi __builtin_ia32_psrav32hi(__gcc_v32hi, __gcc_v32hi);
372__gcc_v32hi __builtin_ia32_psraw512(__gcc_v32hi, __gcc_v8hi);
373__gcc_v32hi __builtin_ia32_psrawi512(__gcc_v32hi, int);
374__gcc_v8di __builtin_ia32_psrldqi512_byteshift(__gcc_v8di, int);
375__gcc_v32hi __builtin_ia32_psrlv32hi(__gcc_v32hi, __gcc_v32hi);
376__gcc_v32hi __builtin_ia32_psrlw512(__gcc_v32hi, __gcc_v8hi);
377__gcc_v32hi __builtin_ia32_psrlwi512(__gcc_v32hi, int);
378__gcc_v64qi __builtin_ia32_selectb_512(unsigned long long int, __gcc_v64qi, __gcc_v64qi);
379__gcc_v32hi __builtin_ia32_selectw_512(unsigned int, __gcc_v32hi, __gcc_v32hi);
380void __builtin_ia32_storedquhi512_mask(__gcc_v32hi *, __gcc_v32hi, unsigned int);
381void __builtin_ia32_storedquqi512_mask(__gcc_v64qi *, __gcc_v64qi, unsigned long long int);
382unsigned long long int __builtin_ia32_ucmpb512_mask(__gcc_v64qi, __gcc_v64qi, int, unsigned long long int);
383unsigned int __builtin_ia32_ucmpw512_mask(__gcc_v32hi, __gcc_v32hi, int, unsigned int);
384__gcc_v32hi __builtin_ia32_vpermi2varhi512(__gcc_v32hi, __gcc_v32hi, __gcc_v32hi);
385// avx512cd,avx512vl
386__gcc_v2di __builtin_ia32_vpconflictdi_128(__gcc_v2di);
387__gcc_v4di __builtin_ia32_vpconflictdi_256(__gcc_v4di);
388__gcc_v4si __builtin_ia32_vpconflictsi_128(__gcc_v4si);
389__gcc_v8si __builtin_ia32_vpconflictsi_256(__gcc_v8si);
390__gcc_v4si __builtin_ia32_vplzcntd_128(__gcc_v4si);
391__gcc_v8si __builtin_ia32_vplzcntd_256(__gcc_v8si);
392__gcc_v2di __builtin_ia32_vplzcntq_128(__gcc_v2di);
393__gcc_v4di __builtin_ia32_vplzcntq_256(__gcc_v4di);
394// avx512cd,evex512
395__gcc_v8di __builtin_ia32_vpconflictdi_512(__gcc_v8di);
396__gcc_v16si __builtin_ia32_vpconflictsi_512(__gcc_v16si);
397__gcc_v16si __builtin_ia32_vplzcntd_512(__gcc_v16si);
398__gcc_v8di __builtin_ia32_vplzcntq_512(__gcc_v8di);
399// avx512dq
400unsigned char __builtin_ia32_fpclasssd_mask(__gcc_v2df, int, unsigned char);
401unsigned char __builtin_ia32_fpclassss_mask(__gcc_v4sf, int, unsigned char);
402unsigned short __builtin_ia32_kaddhi(unsigned short, unsigned short);
403unsigned char __builtin_ia32_kaddqi(unsigned char, unsigned char);
404unsigned char __builtin_ia32_kandnqi(unsigned char, unsigned char);
405unsigned char __builtin_ia32_kandqi(unsigned char, unsigned char);
406unsigned char __builtin_ia32_kmovb(unsigned char);
407unsigned char __builtin_ia32_knotqi(unsigned char);
408unsigned char __builtin_ia32_korqi(unsigned char, unsigned char);
409int __builtin_ia32_kortestcqi(unsigned char, unsigned char);
410int __builtin_ia32_kortestzqi(unsigned char, unsigned char);
411unsigned char __builtin_ia32_kshiftliqi(unsigned char, unsigned int);
412unsigned char __builtin_ia32_kshiftriqi(unsigned char, unsigned int);
413int __builtin_ia32_ktestchi(unsigned short, unsigned short);
414int __builtin_ia32_ktestcqi(unsigned char, unsigned char);
415int __builtin_ia32_ktestzhi(unsigned short, unsigned short);
416int __builtin_ia32_ktestzqi(unsigned char, unsigned char);
417unsigned char __builtin_ia32_kxnorqi(unsigned char, unsigned char);
418unsigned char __builtin_ia32_kxorqi(unsigned char, unsigned char);
419__gcc_v2df __builtin_ia32_rangesd128_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int, int);
420__gcc_v4sf __builtin_ia32_rangess128_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int, int);
421__gcc_v2df __builtin_ia32_reducesd_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int, int);
422__gcc_v4sf __builtin_ia32_reducess_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int, int);
423// avx512dq,avx512vl
424unsigned char __builtin_ia32_cvtd2mask128(__gcc_v4si);
425unsigned char __builtin_ia32_cvtd2mask256(__gcc_v8si);
426__gcc_v4si __builtin_ia32_cvtmask2d128(unsigned char);
427__gcc_v8si __builtin_ia32_cvtmask2d256(unsigned char);
428__gcc_v2di __builtin_ia32_cvtmask2q128(unsigned char);
429__gcc_v4di __builtin_ia32_cvtmask2q256(unsigned char);
430unsigned char __builtin_ia32_cvtq2mask128(__gcc_v2di);
431unsigned char __builtin_ia32_cvtq2mask256(__gcc_v4di);
432__gcc_v2df __builtin_ia32_extractf64x2_256_mask(__gcc_v4df, int, __gcc_v2df, unsigned char);
433__gcc_v2di __builtin_ia32_extracti64x2_256_mask(__gcc_v4di, int, __gcc_v2di, unsigned char);
434unsigned char __builtin_ia32_fpclasspd128_mask(__gcc_v2df, int, unsigned char);
435unsigned char __builtin_ia32_fpclasspd256_mask(__gcc_v4df, int, unsigned char);
436unsigned char __builtin_ia32_fpclassps128_mask(__gcc_v4sf, int, unsigned char);
437unsigned char __builtin_ia32_fpclassps256_mask(__gcc_v8sf, int, unsigned char);
438__gcc_v4df __builtin_ia32_insertf64x2_256(__gcc_v4df, __gcc_v2df, int);
439__gcc_v4di __builtin_ia32_inserti64x2_256(__gcc_v4di, __gcc_v2di, int);
440// avx512dq,evex512
441unsigned short __builtin_ia32_cvtd2mask512(__gcc_v16si);
442__gcc_v16si __builtin_ia32_cvtmask2d512(unsigned short);
443__gcc_v8di __builtin_ia32_cvtmask2q512(unsigned char);
444__gcc_v8di __builtin_ia32_cvtpd2qq512_mask(__gcc_v8df, __gcc_v8di, unsigned char, int);
445__gcc_v8di __builtin_ia32_cvtpd2uqq512_mask(__gcc_v8df, __gcc_v8di, unsigned char, int);
446__gcc_v8di __builtin_ia32_cvtps2qq512_mask(__gcc_v8sf, __gcc_v8di, unsigned char, int);
447__gcc_v8di __builtin_ia32_cvtps2uqq512_mask(__gcc_v8sf, __gcc_v8di, unsigned char, int);
448unsigned char __builtin_ia32_cvtq2mask512(__gcc_v8di);
449__gcc_v8df __builtin_ia32_cvtqq2pd512_mask(__gcc_v8di, __gcc_v8df, unsigned char, int);
450__gcc_v8sf __builtin_ia32_cvtqq2ps512_mask(__gcc_v8di, __gcc_v8sf, unsigned char, int);
451__gcc_v8di __builtin_ia32_cvttpd2qq512_mask(__gcc_v8df, __gcc_v8di, unsigned char, int);
452__gcc_v8di __builtin_ia32_cvttpd2uqq512_mask(__gcc_v8df, __gcc_v8di, unsigned char, int);
453__gcc_v8di __builtin_ia32_cvttps2qq512_mask(__gcc_v8sf, __gcc_v8di, unsigned char, int);
454__gcc_v8di __builtin_ia32_cvttps2uqq512_mask(__gcc_v8sf, __gcc_v8di, unsigned char, int);
455__gcc_v8df __builtin_ia32_cvtuqq2pd512_mask(__gcc_v8di, __gcc_v8df, unsigned char, int);
456__gcc_v8sf __builtin_ia32_cvtuqq2ps512_mask(__gcc_v8di, __gcc_v8sf, unsigned char, int);
457__gcc_v8sf __builtin_ia32_extractf32x8_mask(__gcc_v16sf, int, __gcc_v8sf, unsigned char);
458__gcc_v2df __builtin_ia32_extractf64x2_512_mask(__gcc_v8df, int, __gcc_v2df, unsigned char);
459__gcc_v8si __builtin_ia32_extracti32x8_mask(__gcc_v16si, int, __gcc_v8si, unsigned char);
460__gcc_v2di __builtin_ia32_extracti64x2_512_mask(__gcc_v8di, int, __gcc_v2di, unsigned char);
461unsigned char __builtin_ia32_fpclasspd512_mask(__gcc_v8df, int, unsigned char);
462unsigned short __builtin_ia32_fpclassps512_mask(__gcc_v16sf, int, unsigned short);
463__gcc_v16sf __builtin_ia32_insertf32x8(__gcc_v16sf, __gcc_v8sf, int);
464__gcc_v8df __builtin_ia32_insertf64x2_512(__gcc_v8df, __gcc_v2df, int);
465__gcc_v16si __builtin_ia32_inserti32x8(__gcc_v16si, __gcc_v8si, int);
466__gcc_v8di __builtin_ia32_inserti64x2_512(__gcc_v8di, __gcc_v2di, int);
467__gcc_v8df __builtin_ia32_rangepd512_mask(__gcc_v8df, __gcc_v8df, int, __gcc_v8df, unsigned char, int);
468__gcc_v16sf __builtin_ia32_rangeps512_mask(__gcc_v16sf, __gcc_v16sf, int, __gcc_v16sf, unsigned short, int);
469__gcc_v8df __builtin_ia32_reducepd512_mask(__gcc_v8df, int, __gcc_v8df, unsigned char, int);
470__gcc_v16sf __builtin_ia32_reduceps512_mask(__gcc_v16sf, int, __gcc_v16sf, unsigned short, int);
471// avx512f
472__gcc_v2df __builtin_ia32_addsd_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int);
473__gcc_v4sf __builtin_ia32_addss_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int);
474unsigned char __builtin_ia32_cmpsd_mask(__gcc_v2df, __gcc_v2df, int, unsigned char, int);
475unsigned char __builtin_ia32_cmpss_mask(__gcc_v4sf, __gcc_v4sf, int, unsigned char, int);
476__gcc_v4sf __builtin_ia32_cvtsd2ss_round_mask(__gcc_v4sf, __gcc_v2df, __gcc_v4sf, unsigned char, int);
477__gcc_v2df __builtin_ia32_cvtsi2sd64(__gcc_v2df, long long int, int);
478__gcc_v4sf __builtin_ia32_cvtsi2ss32(__gcc_v4sf, int, int);
479__gcc_v4sf __builtin_ia32_cvtsi2ss64(__gcc_v4sf, long long int, int);
480__gcc_v2df __builtin_ia32_cvtss2sd_round_mask(__gcc_v2df, __gcc_v4sf, __gcc_v2df, unsigned char, int);
481__gcc_v2df __builtin_ia32_cvtusi2sd64(__gcc_v2df, unsigned long long int, int);
482__gcc_v4sf __builtin_ia32_cvtusi2ss32(__gcc_v4sf, unsigned int, int);
483__gcc_v4sf __builtin_ia32_cvtusi2ss64(__gcc_v4sf, unsigned long long int, int);
484__gcc_v2df __builtin_ia32_divsd_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int);
485__gcc_v4sf __builtin_ia32_divss_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int);
486__gcc_v2df __builtin_ia32_fixupimmsd_mask(__gcc_v2df, __gcc_v2df, __gcc_v2di, int, unsigned char, int);
487__gcc_v2df __builtin_ia32_fixupimmsd_maskz(__gcc_v2df, __gcc_v2df, __gcc_v2di, int, unsigned char, int);
488__gcc_v4sf __builtin_ia32_fixupimmss_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4si, int, unsigned char, int);
489__gcc_v4sf __builtin_ia32_fixupimmss_maskz(__gcc_v4sf, __gcc_v4sf, __gcc_v4si, int, unsigned char, int);
490__gcc_v2df __builtin_ia32_getexpsd128_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int);
491__gcc_v4sf __builtin_ia32_getexpss128_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int);
492__gcc_v2df __builtin_ia32_getmantsd_round_mask(__gcc_v2df, __gcc_v2df, int, __gcc_v2df, unsigned char, int);
493__gcc_v4sf __builtin_ia32_getmantss_round_mask(__gcc_v4sf, __gcc_v4sf, int, __gcc_v4sf, unsigned char, int);
494unsigned short __builtin_ia32_kandhi(unsigned short, unsigned short);
495unsigned short __builtin_ia32_kandnhi(unsigned short, unsigned short);
496unsigned short __builtin_ia32_kmovw(unsigned short);
497unsigned short __builtin_ia32_knothi(unsigned short);
498unsigned short __builtin_ia32_korhi(unsigned short, unsigned short);
499int __builtin_ia32_kortestchi(unsigned short, unsigned short);
500int __builtin_ia32_kortestzhi(unsigned short, unsigned short);
501unsigned short __builtin_ia32_kshiftlihi(unsigned short, unsigned int);
502unsigned short __builtin_ia32_kshiftrihi(unsigned short, unsigned int);
503unsigned short __builtin_ia32_kunpckhi(unsigned short, unsigned short);
504unsigned short __builtin_ia32_kxnorhi(unsigned short, unsigned short);
505unsigned short __builtin_ia32_kxorhi(unsigned short, unsigned short);
506__gcc_v2df __builtin_ia32_loadsd128_mask(const __gcc_v2df *, __gcc_v2df, unsigned char);
507__gcc_v4sf __builtin_ia32_loadss128_mask(const __gcc_v4sf *, __gcc_v4sf, unsigned char);
508__gcc_v2df __builtin_ia32_maxsd_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int);
509__gcc_v4sf __builtin_ia32_maxss_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int);
510__gcc_v2df __builtin_ia32_minsd_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int);
511__gcc_v4sf __builtin_ia32_minss_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int);
512__gcc_v2df __builtin_ia32_mulsd_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int);
513__gcc_v4sf __builtin_ia32_mulss_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int);
514__gcc_v2df __builtin_ia32_rcp14sd_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char);
515__gcc_v4sf __builtin_ia32_rcp14ss_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char);
516__gcc_v2df __builtin_ia32_rndscalesd_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int, int);
517__gcc_v4sf __builtin_ia32_rndscaless_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int, int);
518__gcc_v2df __builtin_ia32_rsqrt14sd_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char);
519__gcc_v4sf __builtin_ia32_rsqrt14ss_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char);
520__gcc_v2df __builtin_ia32_scalefsd_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int);
521__gcc_v4sf __builtin_ia32_scalefss_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int);
522__gcc_v2df __builtin_ia32_selectsd_128(unsigned char, __gcc_v2df, __gcc_v2df);
523__gcc_v4sf __builtin_ia32_selectss_128(unsigned char, __gcc_v4sf, __gcc_v4sf);
524__gcc_v2df __builtin_ia32_sqrtsd_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int);
525__gcc_v4sf __builtin_ia32_sqrtss_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int);
526void __builtin_ia32_storesd128_mask(__gcc_v2df *, __gcc_v2df, unsigned char);
527void __builtin_ia32_storess128_mask(__gcc_v4sf *, __gcc_v4sf, unsigned char);
528__gcc_v2df __builtin_ia32_subsd_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int);
529__gcc_v4sf __builtin_ia32_subss_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int);
530int __builtin_ia32_vcomisd(__gcc_v2df, __gcc_v2df, int, int);
531int __builtin_ia32_vcomiss(__gcc_v4sf, __gcc_v4sf, int, int);
532int __builtin_ia32_vcvtsd2si32(__gcc_v2df, int);
533long long int __builtin_ia32_vcvtsd2si64(__gcc_v2df, int);
534unsigned int __builtin_ia32_vcvtsd2usi32(__gcc_v2df, int);
535unsigned long long int __builtin_ia32_vcvtsd2usi64(__gcc_v2df, int);
536int __builtin_ia32_vcvtss2si32(__gcc_v4sf, int);
537long long int __builtin_ia32_vcvtss2si64(__gcc_v4sf, int);
538unsigned int __builtin_ia32_vcvtss2usi32(__gcc_v4sf, int);
539unsigned long long int __builtin_ia32_vcvtss2usi64(__gcc_v4sf, int);
540int __builtin_ia32_vcvttsd2si32(__gcc_v2df, int);
541long long int __builtin_ia32_vcvttsd2si64(__gcc_v2df, int);
542unsigned int __builtin_ia32_vcvttsd2usi32(__gcc_v2df, int);
543unsigned long long int __builtin_ia32_vcvttsd2usi64(__gcc_v2df, int);
544int __builtin_ia32_vcvttss2si32(__gcc_v4sf, int);
545long long int __builtin_ia32_vcvttss2si64(__gcc_v4sf, int);
546unsigned int __builtin_ia32_vcvttss2usi32(__gcc_v4sf, int);
547unsigned long long int __builtin_ia32_vcvttss2usi64(__gcc_v4sf, int);
548__gcc_v2df __builtin_ia32_vfmaddsd3_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int);
549__gcc_v2df __builtin_ia32_vfmaddsd3_mask3(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int);
550__gcc_v2df __builtin_ia32_vfmaddsd3_maskz(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int);
551__gcc_v4sf __builtin_ia32_vfmaddss3_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int);
552__gcc_v4sf __builtin_ia32_vfmaddss3_mask3(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int);
553__gcc_v4sf __builtin_ia32_vfmaddss3_maskz(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int);
554__gcc_v2df __builtin_ia32_vfmsubsd3_mask3(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int);
555__gcc_v4sf __builtin_ia32_vfmsubss3_mask3(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int);
556// avx512f,evex512
557__gcc_v8df __builtin_ia32_addpd512(__gcc_v8df, __gcc_v8df, int);
558__gcc_v16sf __builtin_ia32_addps512(__gcc_v16sf, __gcc_v16sf, int);
559__gcc_v16si __builtin_ia32_alignd512(__gcc_v16si, __gcc_v16si, int);
560__gcc_v8di __builtin_ia32_alignq512(__gcc_v8di, __gcc_v8di, int);
561unsigned short __builtin_ia32_cmpd512_mask(__gcc_v16si, __gcc_v16si, int, unsigned short);
562unsigned char __builtin_ia32_cmppd512_mask(__gcc_v8df, __gcc_v8df, int, unsigned char, int);
563unsigned short __builtin_ia32_cmpps512_mask(__gcc_v16sf, __gcc_v16sf, int, unsigned short, int);
564unsigned char __builtin_ia32_cmpq512_mask(__gcc_v8di, __gcc_v8di, int, unsigned char);
565__gcc_v8df __builtin_ia32_compressdf512_mask(__gcc_v8df, __gcc_v8df, unsigned char);
566__gcc_v8di __builtin_ia32_compressdi512_mask(__gcc_v8di, __gcc_v8di, unsigned char);
567__gcc_v16sf __builtin_ia32_compresssf512_mask(__gcc_v16sf, __gcc_v16sf, unsigned short);
568__gcc_v16si __builtin_ia32_compresssi512_mask(__gcc_v16si, __gcc_v16si, unsigned short);
569void __builtin_ia32_compressstoredf512_mask(__gcc_v8df *, __gcc_v8df, unsigned char);
570void __builtin_ia32_compressstoredi512_mask(__gcc_v8di *, __gcc_v8di, unsigned char);
571void __builtin_ia32_compressstoresf512_mask(__gcc_v16sf *, __gcc_v16sf, unsigned short);
572void __builtin_ia32_compressstoresi512_mask(__gcc_v16si *, __gcc_v16si, unsigned short);
573__gcc_v16sf __builtin_ia32_cvtdq2ps512_mask(__gcc_v16si, __gcc_v16sf, unsigned short, int);
574__gcc_v8si __builtin_ia32_cvtpd2dq512_mask(__gcc_v8df, __gcc_v8si, unsigned char, int);
575__gcc_v8sf __builtin_ia32_cvtpd2ps512_mask(__gcc_v8df, __gcc_v8sf, unsigned char, int);
576__gcc_v8si __builtin_ia32_cvtpd2udq512_mask(__gcc_v8df, __gcc_v8si, unsigned char, int);
577__gcc_v16si __builtin_ia32_cvtps2dq512_mask(__gcc_v16sf, __gcc_v16si, unsigned short, int);
578__gcc_v8df __builtin_ia32_cvtps2pd512_mask(__gcc_v8sf, __gcc_v8df, unsigned char, int);
579__gcc_v16si __builtin_ia32_cvtps2udq512_mask(__gcc_v16sf, __gcc_v16si, unsigned short, int);
580__gcc_v8si __builtin_ia32_cvttpd2dq512_mask(__gcc_v8df, __gcc_v8si, unsigned char, int);
581__gcc_v8si __builtin_ia32_cvttpd2udq512_mask(__gcc_v8df, __gcc_v8si, unsigned char, int);
582__gcc_v16si __builtin_ia32_cvttps2dq512_mask(__gcc_v16sf, __gcc_v16si, unsigned short, int);
583__gcc_v16si __builtin_ia32_cvttps2udq512_mask(__gcc_v16sf, __gcc_v16si, unsigned short, int);
584__gcc_v16sf __builtin_ia32_cvtudq2ps512_mask(__gcc_v16si, __gcc_v16sf, unsigned short, int);
585__gcc_v8df __builtin_ia32_divpd512(__gcc_v8df, __gcc_v8df, int);
586__gcc_v16sf __builtin_ia32_divps512(__gcc_v16sf, __gcc_v16sf, int);
587__gcc_v8df __builtin_ia32_expanddf512_mask(__gcc_v8df, __gcc_v8df, unsigned char);
588__gcc_v8di __builtin_ia32_expanddi512_mask(__gcc_v8di, __gcc_v8di, unsigned char);
589__gcc_v8df __builtin_ia32_expandloaddf512_mask(const __gcc_v8df *, __gcc_v8df, unsigned char);
590__gcc_v8di __builtin_ia32_expandloaddi512_mask(const __gcc_v8di *, __gcc_v8di, unsigned char);
591__gcc_v16sf __builtin_ia32_expandloadsf512_mask(const __gcc_v16sf *, __gcc_v16sf, unsigned short);
592__gcc_v16si __builtin_ia32_expandloadsi512_mask(const __gcc_v16si *, __gcc_v16si, unsigned short);
593__gcc_v16sf __builtin_ia32_expandsf512_mask(__gcc_v16sf, __gcc_v16sf, unsigned short);
594__gcc_v16si __builtin_ia32_expandsi512_mask(__gcc_v16si, __gcc_v16si, unsigned short);
595__gcc_v4sf __builtin_ia32_extractf32x4_mask(__gcc_v16sf, int, __gcc_v4sf, unsigned char);
596__gcc_v4df __builtin_ia32_extractf64x4_mask(__gcc_v8df, int, __gcc_v4df, unsigned char);
597__gcc_v4si __builtin_ia32_extracti32x4_mask(__gcc_v16si, int, __gcc_v4si, unsigned char);
598__gcc_v4di __builtin_ia32_extracti64x4_mask(__gcc_v8di, int, __gcc_v4di, unsigned char);
599__gcc_v8df __builtin_ia32_fixupimmpd512_mask(__gcc_v8df, __gcc_v8df, __gcc_v8di, int, unsigned char, int);
600__gcc_v8df __builtin_ia32_fixupimmpd512_maskz(__gcc_v8df, __gcc_v8df, __gcc_v8di, int, unsigned char, int);
601__gcc_v16sf __builtin_ia32_fixupimmps512_mask(__gcc_v16sf, __gcc_v16sf, __gcc_v16si, int, unsigned short, int);
602__gcc_v16sf __builtin_ia32_fixupimmps512_maskz(__gcc_v16sf, __gcc_v16sf, __gcc_v16si, int, unsigned short, int);
603__gcc_v8sf __builtin_ia32_gatherdiv16sf(__gcc_v8sf, const void *, __gcc_v8di, unsigned char, int);
604__gcc_v8si __builtin_ia32_gatherdiv16si(__gcc_v8si, const void *, __gcc_v8di, unsigned char, int);
605__gcc_v8df __builtin_ia32_gatherdiv8df(__gcc_v8df, const void *, __gcc_v8di, unsigned char, int);
606__gcc_v8di __builtin_ia32_gatherdiv8di(__gcc_v8di, const void *, __gcc_v8di, unsigned char, int);
607__gcc_v16sf __builtin_ia32_gathersiv16sf(__gcc_v16sf, const void *, __gcc_v16si, unsigned short, int);
608__gcc_v16si __builtin_ia32_gathersiv16si(__gcc_v16si, const void *, __gcc_v16si, unsigned short, int);
609__gcc_v8df __builtin_ia32_gathersiv8df(__gcc_v8df, const void *, __gcc_v8si, unsigned char, int);
610__gcc_v8di __builtin_ia32_gathersiv8di(__gcc_v8di, const void *, __gcc_v8si, unsigned char, int);
611__gcc_v8df __builtin_ia32_getexppd512_mask(__gcc_v8df, __gcc_v8df, unsigned char, int);
612__gcc_v16sf __builtin_ia32_getexpps512_mask(__gcc_v16sf, __gcc_v16sf, unsigned short, int);
613__gcc_v8df __builtin_ia32_getmantpd512_mask(__gcc_v8df, int, __gcc_v8df, unsigned char, int);
614__gcc_v16sf __builtin_ia32_getmantps512_mask(__gcc_v16sf, int, __gcc_v16sf, unsigned short, int);
615__gcc_v16sf __builtin_ia32_insertf32x4(__gcc_v16sf, __gcc_v4sf, int);
616__gcc_v8df __builtin_ia32_insertf64x4(__gcc_v8df, __gcc_v4df, int);
617__gcc_v16si __builtin_ia32_inserti32x4(__gcc_v16si, __gcc_v4si, int);
618__gcc_v8di __builtin_ia32_inserti64x4(__gcc_v8di, __gcc_v4di, int);
619__gcc_v8df __builtin_ia32_loadapd512_mask(const __gcc_v8df *, __gcc_v8df, unsigned char);
620__gcc_v16sf __builtin_ia32_loadaps512_mask(const __gcc_v16sf *, __gcc_v16sf, unsigned short);
621__gcc_v8di __builtin_ia32_loaddqudi512_mask(const long long int *, __gcc_v8di, unsigned char);
622__gcc_v16si __builtin_ia32_loaddqusi512_mask(const int *, __gcc_v16si, unsigned short);
623__gcc_v8df __builtin_ia32_loadupd512_mask(const double *, __gcc_v8df, unsigned char);
624__gcc_v16sf __builtin_ia32_loadups512_mask(const float *, __gcc_v16sf, unsigned short);
625__gcc_v8df __builtin_ia32_maxpd512(__gcc_v8df, __gcc_v8df, int);
626__gcc_v16sf __builtin_ia32_maxps512(__gcc_v16sf, __gcc_v16sf, int);
627__gcc_v8df __builtin_ia32_minpd512(__gcc_v8df, __gcc_v8df, int);
628__gcc_v16sf __builtin_ia32_minps512(__gcc_v16sf, __gcc_v16sf, int);
629__gcc_v16si __builtin_ia32_movdqa32load512_mask(const __gcc_v16si *, __gcc_v16si, unsigned short);
630void __builtin_ia32_movdqa32store512_mask(__gcc_v16si *, __gcc_v16si, unsigned short);
631__gcc_v8di __builtin_ia32_movdqa64load512_mask(const __gcc_v8di *, __gcc_v8di, unsigned char);
632void __builtin_ia32_movdqa64store512_mask(__gcc_v8di *, __gcc_v8di, unsigned char);
633__gcc_v8df __builtin_ia32_mulpd512(__gcc_v8df, __gcc_v8df, int);
634__gcc_v16sf __builtin_ia32_mulps512(__gcc_v16sf, __gcc_v16sf, int);
635__gcc_v8df __builtin_ia32_permdf512(__gcc_v8df, int);
636__gcc_v8di __builtin_ia32_permdi512(__gcc_v8di, int);
637__gcc_v8df __builtin_ia32_permvardf512(__gcc_v8df, __gcc_v8di);
638__gcc_v8di __builtin_ia32_permvardi512(__gcc_v8di, __gcc_v8di);
639__gcc_v16sf __builtin_ia32_permvarsf512(__gcc_v16sf, __gcc_v16si);
640__gcc_v16si __builtin_ia32_permvarsi512(__gcc_v16si, __gcc_v16si);
641__gcc_v16qi __builtin_ia32_pmovdb512_mask(__gcc_v16si, __gcc_v16qi, unsigned short);
642void __builtin_ia32_pmovdb512mem_mask(__gcc_v16qi *, __gcc_v16si, unsigned short);
643__gcc_v16hi __builtin_ia32_pmovdw512_mask(__gcc_v16si, __gcc_v16hi, unsigned short);
644void __builtin_ia32_pmovdw512mem_mask(__gcc_v16hi *, __gcc_v16si, unsigned short);
645__gcc_v16qi __builtin_ia32_pmovqb512_mask(__gcc_v8di, __gcc_v16qi, unsigned char);
646void __builtin_ia32_pmovqb512mem_mask(__gcc_v16qi *, __gcc_v8di, unsigned char);
647__gcc_v8si __builtin_ia32_pmovqd512_mask(__gcc_v8di, __gcc_v8si, unsigned char);
648void __builtin_ia32_pmovqd512mem_mask(__gcc_v8si *, __gcc_v8di, unsigned char);
649__gcc_v8hi __builtin_ia32_pmovqw512_mask(__gcc_v8di, __gcc_v8hi, unsigned char);
650void __builtin_ia32_pmovqw512mem_mask(__gcc_v8hi *, __gcc_v8di, unsigned char);
651__gcc_v16qi __builtin_ia32_pmovsdb512_mask(__gcc_v16si, __gcc_v16qi, unsigned short);
652void __builtin_ia32_pmovsdb512mem_mask(__gcc_v16qi *, __gcc_v16si, unsigned short);
653__gcc_v16hi __builtin_ia32_pmovsdw512_mask(__gcc_v16si, __gcc_v16hi, unsigned short);
654void __builtin_ia32_pmovsdw512mem_mask(__gcc_v16hi *, __gcc_v16si, unsigned short);
655__gcc_v16qi __builtin_ia32_pmovsqb512_mask(__gcc_v8di, __gcc_v16qi, unsigned char);
656void __builtin_ia32_pmovsqb512mem_mask(__gcc_v16qi *, __gcc_v8di, unsigned char);
657__gcc_v8si __builtin_ia32_pmovsqd512_mask(__gcc_v8di, __gcc_v8si, unsigned char);
658void __builtin_ia32_pmovsqd512mem_mask(__gcc_v8si *, __gcc_v8di, unsigned char);
659__gcc_v8hi __builtin_ia32_pmovsqw512_mask(__gcc_v8di, __gcc_v8hi, unsigned char);
660void __builtin_ia32_pmovsqw512mem_mask(__gcc_v8hi *, __gcc_v8di, unsigned char);
661__gcc_v16qi __builtin_ia32_pmovusdb512_mask(__gcc_v16si, __gcc_v16qi, unsigned short);
662void __builtin_ia32_pmovusdb512mem_mask(__gcc_v16qi *, __gcc_v16si, unsigned short);
663__gcc_v16hi __builtin_ia32_pmovusdw512_mask(__gcc_v16si, __gcc_v16hi, unsigned short);
664void __builtin_ia32_pmovusdw512mem_mask(__gcc_v16hi *, __gcc_v16si, unsigned short);
665__gcc_v16qi __builtin_ia32_pmovusqb512_mask(__gcc_v8di, __gcc_v16qi, unsigned char);
666void __builtin_ia32_pmovusqb512mem_mask(__gcc_v16qi *, __gcc_v8di, unsigned char);
667__gcc_v8si __builtin_ia32_pmovusqd512_mask(__gcc_v8di, __gcc_v8si, unsigned char);
668void __builtin_ia32_pmovusqd512mem_mask(__gcc_v8si *, __gcc_v8di, unsigned char);
669__gcc_v8hi __builtin_ia32_pmovusqw512_mask(__gcc_v8di, __gcc_v8hi, unsigned char);
670void __builtin_ia32_pmovusqw512mem_mask(__gcc_v8hi *, __gcc_v8di, unsigned char);
671__gcc_v8di __builtin_ia32_pmuldq512(__gcc_v16si, __gcc_v16si);
672__gcc_v8di __builtin_ia32_pmuludq512(__gcc_v16si, __gcc_v16si);
673__gcc_v16si __builtin_ia32_prold512(__gcc_v16si, int);
674__gcc_v8di __builtin_ia32_prolq512(__gcc_v8di, int);
675__gcc_v16si __builtin_ia32_prolvd512(__gcc_v16si, __gcc_v16si);
676__gcc_v8di __builtin_ia32_prolvq512(__gcc_v8di, __gcc_v8di);
677__gcc_v16si __builtin_ia32_prord512(__gcc_v16si, int);
678__gcc_v8di __builtin_ia32_prorq512(__gcc_v8di, int);
679__gcc_v16si __builtin_ia32_prorvd512(__gcc_v16si, __gcc_v16si);
680__gcc_v8di __builtin_ia32_prorvq512(__gcc_v8di, __gcc_v8di);
681__gcc_v16si __builtin_ia32_pshufd512(__gcc_v16si, int);
682__gcc_v16si __builtin_ia32_pslld512(__gcc_v16si, __gcc_v4si);
683__gcc_v16si __builtin_ia32_pslldi512(__gcc_v16si, int);
684__gcc_v8di __builtin_ia32_psllq512(__gcc_v8di, __gcc_v2di);
685__gcc_v8di __builtin_ia32_psllqi512(__gcc_v8di, int);
686__gcc_v16si __builtin_ia32_psllv16si(__gcc_v16si, __gcc_v16si);
687__gcc_v8di __builtin_ia32_psllv8di(__gcc_v8di, __gcc_v8di);
688__gcc_v16si __builtin_ia32_psrad512(__gcc_v16si, __gcc_v4si);
689__gcc_v16si __builtin_ia32_psradi512(__gcc_v16si, int);
690__gcc_v8di __builtin_ia32_psraq512(__gcc_v8di, __gcc_v2di);
691__gcc_v8di __builtin_ia32_psraqi512(__gcc_v8di, int);
692__gcc_v16si __builtin_ia32_psrav16si(__gcc_v16si, __gcc_v16si);
693__gcc_v8di __builtin_ia32_psrav8di(__gcc_v8di, __gcc_v8di);
694__gcc_v16si __builtin_ia32_psrld512(__gcc_v16si, __gcc_v4si);
695__gcc_v16si __builtin_ia32_psrldi512(__gcc_v16si, int);
696__gcc_v8di __builtin_ia32_psrlq512(__gcc_v8di, __gcc_v2di);
697__gcc_v8di __builtin_ia32_psrlqi512(__gcc_v8di, int);
698__gcc_v16si __builtin_ia32_psrlv16si(__gcc_v16si, __gcc_v16si);
699__gcc_v8di __builtin_ia32_psrlv8di(__gcc_v8di, __gcc_v8di);
700__gcc_v16si __builtin_ia32_pternlogd512_mask(__gcc_v16si, __gcc_v16si, __gcc_v16si, int, unsigned short);
701__gcc_v16si __builtin_ia32_pternlogd512_maskz(__gcc_v16si, __gcc_v16si, __gcc_v16si, int, unsigned short);
702__gcc_v8di __builtin_ia32_pternlogq512_mask(__gcc_v8di, __gcc_v8di, __gcc_v8di, int, unsigned char);
703__gcc_v8di __builtin_ia32_pternlogq512_maskz(__gcc_v8di, __gcc_v8di, __gcc_v8di, int, unsigned char);
704__gcc_v8df __builtin_ia32_rcp14pd512_mask(__gcc_v8df, __gcc_v8df, unsigned char);
705__gcc_v16sf __builtin_ia32_rcp14ps512_mask(__gcc_v16sf, __gcc_v16sf, unsigned short);
706double __builtin_ia32_reduce_fadd_pd512(double, __gcc_v8df);
707float __builtin_ia32_reduce_fadd_ps512(float, __gcc_v16sf);
712double __builtin_ia32_reduce_fmul_pd512(double, __gcc_v8df);
713float __builtin_ia32_reduce_fmul_ps512(float, __gcc_v16sf);
714__gcc_v8df __builtin_ia32_rndscalepd_mask(__gcc_v8df, int, __gcc_v8df, unsigned char, int);
715__gcc_v16sf __builtin_ia32_rndscaleps_mask(__gcc_v16sf, int, __gcc_v16sf, unsigned short, int);
716__gcc_v8df __builtin_ia32_rsqrt14pd512_mask(__gcc_v8df, __gcc_v8df, unsigned char);
717__gcc_v16sf __builtin_ia32_rsqrt14ps512_mask(__gcc_v16sf, __gcc_v16sf, unsigned short);
718__gcc_v8df __builtin_ia32_scalefpd512_mask(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int);
719__gcc_v16sf __builtin_ia32_scalefps512_mask(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, unsigned short, int);
720void __builtin_ia32_scatterdiv16sf(void *, unsigned char, __gcc_v8di, __gcc_v8sf, int);
721void __builtin_ia32_scatterdiv16si(void *, unsigned char, __gcc_v8di, __gcc_v8si, int);
722void __builtin_ia32_scatterdiv8df(void *, unsigned char, __gcc_v8di, __gcc_v8df, int);
723void __builtin_ia32_scatterdiv8di(void *, unsigned char, __gcc_v8di, __gcc_v8di, int);
724void __builtin_ia32_scattersiv16sf(void *, unsigned short, __gcc_v16si, __gcc_v16sf, int);
725void __builtin_ia32_scattersiv16si(void *, unsigned short, __gcc_v16si, __gcc_v16si, int);
726void __builtin_ia32_scattersiv8df(void *, unsigned char, __gcc_v8si, __gcc_v8df, int);
727void __builtin_ia32_scattersiv8di(void *, unsigned char, __gcc_v8si, __gcc_v8di, int);
728__gcc_v16si __builtin_ia32_selectd_512(unsigned short, __gcc_v16si, __gcc_v16si);
729__gcc_v8df __builtin_ia32_selectpd_512(unsigned char, __gcc_v8df, __gcc_v8df);
730__gcc_v16sf __builtin_ia32_selectps_512(unsigned short, __gcc_v16sf, __gcc_v16sf);
731__gcc_v8di __builtin_ia32_selectq_512(unsigned char, __gcc_v8di, __gcc_v8di);
732__gcc_v16sf __builtin_ia32_shuf_f32x4(__gcc_v16sf, __gcc_v16sf, int);
733__gcc_v8df __builtin_ia32_shuf_f64x2(__gcc_v8df, __gcc_v8df, int);
734__gcc_v16si __builtin_ia32_shuf_i32x4(__gcc_v16si, __gcc_v16si, int);
735__gcc_v8di __builtin_ia32_shuf_i64x2(__gcc_v8di, __gcc_v8di, int);
736__gcc_v8df __builtin_ia32_shufpd512(__gcc_v8df, __gcc_v8df, int);
737__gcc_v16sf __builtin_ia32_shufps512(__gcc_v16sf, __gcc_v16sf, int);
738__gcc_v8df __builtin_ia32_sqrtpd512(__gcc_v8df, int);
739__gcc_v16sf __builtin_ia32_sqrtps512(__gcc_v16sf, int);
740void __builtin_ia32_storeapd512_mask(__gcc_v8df *, __gcc_v8df, unsigned char);
741void __builtin_ia32_storeaps512_mask(__gcc_v16sf *, __gcc_v16sf, unsigned short);
742void __builtin_ia32_storedqudi512_mask(long long int *, __gcc_v8di, unsigned char);
743void __builtin_ia32_storedqusi512_mask(int *, __gcc_v16si, unsigned short);
744void __builtin_ia32_storeupd512_mask(double *, __gcc_v8df, unsigned char);
745void __builtin_ia32_storeups512_mask(float *, __gcc_v16sf, unsigned short);
746__gcc_v8df __builtin_ia32_subpd512(__gcc_v8df, __gcc_v8df, int);
747__gcc_v16sf __builtin_ia32_subps512(__gcc_v16sf, __gcc_v16sf, int);
748unsigned short __builtin_ia32_ucmpd512_mask(__gcc_v16si, __gcc_v16si, int, unsigned short);
749unsigned char __builtin_ia32_ucmpq512_mask(__gcc_v8di, __gcc_v8di, int, unsigned char);
750__gcc_v16sf __builtin_ia32_vcvtph2ps512_mask(__gcc_v16hi, __gcc_v16sf, unsigned short, int);
751__gcc_v16hi __builtin_ia32_vcvtps2ph512_mask(__gcc_v16sf, int, __gcc_v16hi, unsigned short);
752__gcc_v8df __builtin_ia32_vfmaddpd512_mask(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int);
753__gcc_v8df __builtin_ia32_vfmaddpd512_mask3(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int);
754__gcc_v8df __builtin_ia32_vfmaddpd512_maskz(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int);
755__gcc_v16sf __builtin_ia32_vfmaddps512_mask(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, unsigned short, int);
756__gcc_v16sf __builtin_ia32_vfmaddps512_mask3(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, unsigned short, int);
757__gcc_v16sf __builtin_ia32_vfmaddps512_maskz(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, unsigned short, int);
758__gcc_v8df __builtin_ia32_vfmaddsubpd512_mask(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int);
759__gcc_v8df __builtin_ia32_vfmaddsubpd512_mask3(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int);
760__gcc_v8df __builtin_ia32_vfmaddsubpd512_maskz(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int);
761__gcc_v16sf __builtin_ia32_vfmaddsubps512_mask(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, unsigned short, int);
762__gcc_v16sf __builtin_ia32_vfmaddsubps512_mask3(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, unsigned short, int);
763__gcc_v16sf __builtin_ia32_vfmaddsubps512_maskz(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, unsigned short, int);
764__gcc_v8df __builtin_ia32_vfmsubaddpd512_mask3(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int);
765__gcc_v16sf __builtin_ia32_vfmsubaddps512_mask3(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, unsigned short, int);
766__gcc_v8df __builtin_ia32_vfmsubpd512_mask3(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int);
767__gcc_v16sf __builtin_ia32_vfmsubps512_mask3(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, unsigned short, int);
768__gcc_v16si __builtin_ia32_vpermi2vard512(__gcc_v16si, __gcc_v16si, __gcc_v16si);
769__gcc_v8df __builtin_ia32_vpermi2varpd512(__gcc_v8df, __gcc_v8di, __gcc_v8df);
770__gcc_v16sf __builtin_ia32_vpermi2varps512(__gcc_v16sf, __gcc_v16si, __gcc_v16sf);
771__gcc_v8di __builtin_ia32_vpermi2varq512(__gcc_v8di, __gcc_v8di, __gcc_v8di);
772__gcc_v8df __builtin_ia32_vpermilpd512(__gcc_v8df, int);
773__gcc_v16sf __builtin_ia32_vpermilps512(__gcc_v16sf, int);
774__gcc_v8df __builtin_ia32_vpermilvarpd512(__gcc_v8df, __gcc_v8di);
775__gcc_v16sf __builtin_ia32_vpermilvarps512(__gcc_v16sf, __gcc_v16si);
776// avx512f,evex512,gfni
777__gcc_v64qi __builtin_ia32_vgf2p8affineinvqb_v64qi(__gcc_v64qi, __gcc_v64qi, char);
778__gcc_v64qi __builtin_ia32_vgf2p8affineqb_v64qi(__gcc_v64qi, __gcc_v64qi, char);
779__gcc_v64qi __builtin_ia32_vgf2p8mulb_v64qi(__gcc_v64qi, __gcc_v64qi);
780// avx512f,evex512,vaes
781__gcc_v8di __builtin_ia32_aesdec512(__gcc_v8di, __gcc_v8di);
782__gcc_v8di __builtin_ia32_aesdeclast512(__gcc_v8di, __gcc_v8di);
783__gcc_v8di __builtin_ia32_aesenc512(__gcc_v8di, __gcc_v8di);
784__gcc_v8di __builtin_ia32_aesenclast512(__gcc_v8di, __gcc_v8di);
785// avx512f,evex512,vpclmulqdq
786__gcc_v8di __builtin_ia32_pclmulqdq512(__gcc_v8di, __gcc_v8di, char);
787// clang-format on
void __builtin_ia32_tcmmimfp16ps(unsigned char, unsigned char, unsigned char)
__gcc_v8df __builtin_ia32_insertf64x4(__gcc_v8df, __gcc_v4df, int)
__gcc_v4sf __builtin_ia32_sqrtss_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__gcc_v16sf __builtin_ia32_cvtdq2ps512_mask(__gcc_v16si, __gcc_v16sf, unsigned short, int)
__gcc_v8di __builtin_ia32_aesdec512(__gcc_v8di, __gcc_v8di)
unsigned short __builtin_ia32_kmovw(unsigned short)
__gcc_v16hi __builtin_ia32_loaddquhi256_mask(const __gcc_v16hi *, __gcc_v16hi, unsigned short)
unsigned char __builtin_ia32_cmpss_mask(__gcc_v4sf, __gcc_v4sf, int, unsigned char, int)
__gcc_v4df __builtin_ia32_permdf256(__gcc_v4df, int)
void __builtin_ia32_scattersiv8di(void *, unsigned char, __gcc_v8si, __gcc_v8di, int)
__gcc_v4di __builtin_ia32_psrlqi256(__gcc_v4di, int)
int __builtin_ia32_kortestzdi(unsigned long long int, unsigned long long int)
int __builtin_ia32_ktestzqi(unsigned char, unsigned char)
__gcc_v4di __builtin_ia32_psllqi256(__gcc_v4di, int)
__gcc_v4si __builtin_ia32_cvttpd2dq256(__gcc_v4df)
__gcc_v16hi __builtin_ia32_pmulhrsw256(__gcc_v16hi, __gcc_v16hi)
__gcc_v16sf __builtin_ia32_sqrtps512(__gcc_v16sf, int)
unsigned long long int __builtin_ia32_vcvtss2usi64(__gcc_v4sf, int)
__gcc_v2di __builtin_ia32_aesimc128(__gcc_v2di)
__gcc_v4di __builtin_ia32_inserti64x2_256(__gcc_v4di, __gcc_v2di, int)
float __builtin_ia32_reduce_fadd_ps512(float, __gcc_v16sf)
__gcc_v4si __builtin_ia32_cvtmask2d128(unsigned char)
unsigned long long int __builtin_ia32_vpshufbitqmb512_mask(__gcc_v64qi, __gcc_v64qi, unsigned long long int)
__gcc_v2df __builtin_ia32_fixupimmsd_maskz(__gcc_v2df, __gcc_v2df, __gcc_v2di, int, unsigned char, int)
__gcc_v256si __builtin_ia32_tcmmrlfp16ps_internal(unsigned short, unsigned short, unsigned short, __gcc_v256si, __gcc_v256si, __gcc_v256si)
__gcc_v8di __builtin_ia32_cvtpd2uqq512_mask(__gcc_v8df, __gcc_v8di, unsigned char, int)
unsigned char __builtin_ia32_kaddqi(unsigned char, unsigned char)
__gcc_v4sf __builtin_ia32_gatherq_ps(__gcc_v4sf, const float *, __gcc_v2di, __gcc_v4sf, char)
int __builtin_ia32_movmskpd256(__gcc_v4df)
unsigned char __builtin_ia32_kshiftliqi(unsigned char, unsigned int)
__gcc_v2df __builtin_ia32_rsqrt14sd_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char)
__gcc_v8sf __builtin_ia32_sqrtps256(__gcc_v8sf)
__gcc_v32hi __builtin_ia32_selectw_512(unsigned int, __gcc_v32hi, __gcc_v32hi)
void __builtin_ia32_storess128_mask(__gcc_v4sf *, __gcc_v4sf, unsigned char)
__gcc_v8si __builtin_ia32_gatherdiv16si(__gcc_v8si, const void *, __gcc_v8di, unsigned char, int)
void __builtin_ia32_maskstoreq(__gcc_v2di *, __gcc_v2di, __gcc_v2di)
__gcc_v8di __builtin_ia32_cvtpd2qq512_mask(__gcc_v8df, __gcc_v8di, unsigned char, int)
__gcc_v256si __builtin_ia32_tdpbf16ps_internal(unsigned short, unsigned short, unsigned short, __gcc_v256si, __gcc_v256si, __gcc_v256si)
__gcc_v64qi __builtin_ia32_vgf2p8affineqb_v64qi(__gcc_v64qi, __gcc_v64qi, char)
unsigned short __builtin_ia32_kxorhi(unsigned short, unsigned short)
__gcc_v256si __builtin_ia32_tcmmimfp16ps_internal(unsigned short, unsigned short, unsigned short, __gcc_v256si, __gcc_v256si, __gcc_v256si)
int __builtin_ia32_vec_ext_v8si(__gcc_v8si, int)
__gcc_v2di __builtin_ia32_psllv2di(__gcc_v2di, __gcc_v2di)
__gcc_v4di __builtin_ia32_psrldqi256_byteshift(__gcc_v4di, int)
__gcc_v32qi __builtin_ia32_packuswb256(__gcc_v16hi, __gcc_v16hi)
__gcc_v8df __builtin_ia32_rsqrt14pd512_mask(__gcc_v8df, __gcc_v8df, unsigned char)
__gcc_v2df __builtin_ia32_cvtss2sd_round_mask(__gcc_v2df, __gcc_v4sf, __gcc_v2df, unsigned char, int)
__gcc_v4sf __builtin_ia32_cvtsd2ss_round_mask(__gcc_v4sf, __gcc_v2df, __gcc_v4sf, unsigned char, int)
__gcc_v4sf __builtin_ia32_mulss_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
unsigned int __builtin_ia32_cvtw2mask512(__gcc_v32hi)
void __builtin_ia32_tdpbssd(unsigned char, unsigned char, unsigned char)
void __builtin_ia32_storedqudi512_mask(long long int *, __gcc_v8di, unsigned char)
unsigned long long int __builtin_ia32_kunpckdi(unsigned long long int, unsigned long long int)
__gcc_v8df __builtin_ia32_cvtqq2pd512_mask(__gcc_v8di, __gcc_v8df, unsigned char, int)
__gcc_v2di __builtin_ia32_maskloadq(const __gcc_v2di *, __gcc_v2di)
__gcc_v8di __builtin_ia32_compressdi512_mask(__gcc_v8di, __gcc_v8di, unsigned char)
unsigned long long int __builtin_ia32_kxnordi(unsigned long long int, unsigned long long int)
unsigned char __builtin_ia32_cvtq2mask128(__gcc_v2di)
__gcc_v2df __builtin_ia32_addsd_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
unsigned int __builtin_ia32_vcvtsd2usi32(__gcc_v2df, int)
unsigned short __builtin_ia32_fpclassps512_mask(__gcc_v16sf, int, unsigned short)
__gcc_v4di __builtin_ia32_pmuldq256(__gcc_v8si, __gcc_v8si)
__gcc_v16hi __builtin_ia32_phaddsw256(__gcc_v16hi, __gcc_v16hi)
__gcc_v16qi __builtin_ia32_pmovusqb512_mask(__gcc_v8di, __gcc_v16qi, unsigned char)
int __builtin_ia32_vcvttss2si32(__gcc_v4sf, int)
__gcc_v8hf __builtin_ia32_vcvtneps2bf16256(__gcc_v8sf)
void __builtin_ia32_pmovsqb512mem_mask(__gcc_v16qi *, __gcc_v8di, unsigned char)
void __builtin_ia32_tilestored64_internal(unsigned short, unsigned short, void *, __CPROVER_size_t, __gcc_v256si)
__gcc_v4df __builtin_ia32_insertf64x2_256(__gcc_v4df, __gcc_v2df, int)
__gcc_v16sf __builtin_ia32_scalefps512_mask(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, unsigned short, int)
unsigned char __builtin_ia32_korqi(unsigned char, unsigned char)
__gcc_v8hi __builtin_ia32_psrav8hi(__gcc_v8hi, __gcc_v8hi)
__gcc_v32hi __builtin_ia32_psllv32hi(__gcc_v32hi, __gcc_v32hi)
__gcc_v4sf __builtin_ia32_getexpss128_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
void __builtin_ia32_tilezero(unsigned char)
__gcc_v4si __builtin_ia32_vextractf128_si256(__gcc_v8si, int)
__gcc_v2si __builtin_ia32_pfcmpge(__gcc_v2sf, __gcc_v2sf)
__gcc_v2sf __builtin_ia32_pi2fd(__gcc_v2si)
unsigned short __builtin_ia32_kandnhi(unsigned short, unsigned short)
double __builtin_ia32_reduce_fmax_pd512(__gcc_v8df)
__gcc_v16si __builtin_ia32_pmaddwd512(__gcc_v32hi, __gcc_v32hi)
__gcc_v32qi __builtin_ia32_lddqu256(const char *)
__gcc_v8di __builtin_ia32_inserti64x4(__gcc_v8di, __gcc_v4di, int)
__gcc_v16si __builtin_ia32_gathersiv16si(__gcc_v16si, const void *, __gcc_v16si, unsigned short, int)
__gcc_v2df __builtin_ia32_vfmaddsd3_mask3(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
unsigned int __builtin_ia32_kxnorsi(unsigned int, unsigned int)
__gcc_v64qi __builtin_ia32_palignr512(__gcc_v64qi, __gcc_v64qi, int)
int __builtin_ia32_vtestzps(__gcc_v4sf, __gcc_v4sf)
__gcc_v4di __builtin_ia32_psllq256(__gcc_v4di, __gcc_v2di)
int __builtin_ia32_vcomisd(__gcc_v2df, __gcc_v2df, int, int)
unsigned short __builtin_ia32_cmpps512_mask(__gcc_v16sf, __gcc_v16sf, int, unsigned short, int)
__gcc_v8sf __builtin_ia32_roundps256(__gcc_v8sf, int)
unsigned short __builtin_ia32_kshiftrihi(unsigned short, unsigned int)
__gcc_v4sf __builtin_ia32_rcp14ss_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char)
void __builtin_ia32_pmovsdw512mem_mask(__gcc_v16hi *, __gcc_v16si, unsigned short)
__gcc_v2df __builtin_ia32_cvtsi2sd64(__gcc_v2df, long long int, int)
__gcc_v8si __builtin_ia32_psradi256(__gcc_v8si, int)
__gcc_v2si __builtin_ia32_pfcmpeq(__gcc_v2sf, __gcc_v2sf)
__gcc_v16si __builtin_ia32_psllv16si(__gcc_v16si, __gcc_v16si)
void __builtin_ia32_compressstoresi512_mask(__gcc_v16si *, __gcc_v16si, unsigned short)
__gcc_v2df __builtin_ia32_rcp14sd_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char)
__gcc_v8hi __builtin_ia32_loaddquhi128_mask(const __gcc_v8hi *, __gcc_v8hi, unsigned char)
__gcc_v4df __builtin_ia32_blendpd256(__gcc_v4df, __gcc_v4df, int)
int __builtin_ia32_vtestzps256(__gcc_v8sf, __gcc_v8sf)
__gcc_v8sf __builtin_ia32_haddps256(__gcc_v8sf, __gcc_v8sf)
void __builtin_ia32_tdpbusd(unsigned char, unsigned char, unsigned char)
double __builtin_ia32_reduce_fadd_pd512(double, __gcc_v8df)
__gcc_v2sf __builtin_ia32_pfrcpit1(__gcc_v2sf, __gcc_v2sf)
void __builtin_ia32_pmovdb512mem_mask(__gcc_v16qi *, __gcc_v16si, unsigned short)
__gcc_v32qi __builtin_ia32_mpsadbw256(__gcc_v32qi, __gcc_v32qi, char)
__gcc_v16hi __builtin_ia32_psrawi256(__gcc_v16hi, int)
__gcc_v8hi __builtin_ia32_cvtmask2w128(unsigned char)
__gcc_v256si __builtin_ia32_tdpbuud_internal(unsigned short, unsigned short, unsigned short, __gcc_v256si, __gcc_v256si, __gcc_v256si)
__gcc_v2df __builtin_ia32_cvtusi2sd64(__gcc_v2df, unsigned long long int, int)
void __builtin_ia32_pmovqb512mem_mask(__gcc_v16qi *, __gcc_v8di, unsigned char)
__gcc_v8di __builtin_ia32_pternlogq512_maskz(__gcc_v8di, __gcc_v8di, __gcc_v8di, int, unsigned char)
__gcc_v16hf __builtin_ia32_cvtneps2bf16_512_mask(__gcc_v16sf, __gcc_v16hf, unsigned short)
int __builtin_ia32_pmovmskb256(__gcc_v32qi)
void __builtin_ia32_maskstorepd(__gcc_v2df *, __gcc_v2di, __gcc_v2df)
__gcc_v32qi __builtin_ia32_packsswb256(__gcc_v16hi, __gcc_v16hi)
__gcc_v2df __builtin_ia32_vpermilvarpd(__gcc_v2df, __gcc_v2di)
__gcc_v4si __builtin_ia32_gatherd_d(__gcc_v4si, const int *, __gcc_v4si, __gcc_v4si, char)
__gcc_v4df __builtin_ia32_vpermilvarpd256(__gcc_v4df, __gcc_v4di)
void __builtin_ia32_tilerelease(void)
__gcc_v2di __builtin_ia32_aeskeygenassist128(__gcc_v2di, char)
__gcc_v4sf __builtin_ia32_maxss_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
unsigned short __builtin_ia32_knothi(unsigned short)
__gcc_v8sf __builtin_ia32_gatherdiv16sf(__gcc_v8sf, const void *, __gcc_v8di, unsigned char, int)
int __builtin_ia32_vtestcps256(__gcc_v8sf, __gcc_v8sf)
unsigned char __builtin_ia32_kmovb(unsigned char)
__gcc_v2si __builtin_ia32_pf2iw(__gcc_v2sf)
unsigned char __builtin_ia32_cvtq2mask512(__gcc_v8di)
__gcc_v8di __builtin_ia32_alignq512(__gcc_v8di, __gcc_v8di, int)
int __builtin_ia32_vcvttsd2si32(__gcc_v2df, int)
__gcc_v4sf __builtin_ia32_vfmsubss3_mask3(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__gcc_v8di __builtin_ia32_psrldqi512_byteshift(__gcc_v8di, int)
__gcc_v256si __builtin_ia32_tdpbssd_internal(unsigned short, unsigned short, unsigned short, __gcc_v256si, __gcc_v256si, __gcc_v256si)
unsigned int __builtin_ia32_kaddsi(unsigned int, unsigned int)
__gcc_v8sf __builtin_ia32_extractf32x8_mask(__gcc_v16sf, int, __gcc_v8sf, unsigned char)
void __builtin_ia32_tcmmrlfp16ps(unsigned char, unsigned char, unsigned char)
__gcc_v8si __builtin_ia32_pmovsqd512_mask(__gcc_v8di, __gcc_v8si, unsigned char)
__gcc_v2sf __builtin_ia32_pfrcp(__gcc_v2sf)
__gcc_v8di __builtin_ia32_psllq512(__gcc_v8di, __gcc_v2di)
__gcc_v4df __builtin_ia32_vinsertf128_pd256(__gcc_v4df, __gcc_v2df, int)
int __builtin_ia32_vtestnzcpd256(__gcc_v4df, __gcc_v4df)
__gcc_v16sf __builtin_ia32_insertf32x4(__gcc_v16sf, __gcc_v4sf, int)
__gcc_v8sf __builtin_ia32_rsqrtps256(__gcc_v8sf)
void __builtin_ia32_pmovusdw512mem_mask(__gcc_v16hi *, __gcc_v16si, unsigned short)
void __builtin_ia32_storeapd512_mask(__gcc_v8df *, __gcc_v8df, unsigned char)
__gcc_v8hi __builtin_ia32_psllv8hi(__gcc_v8hi, __gcc_v8hi)
__gcc_v2df __builtin_ia32_mulsd_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
unsigned char __builtin_ia32_fpclassss_mask(__gcc_v4sf, int, unsigned char)
unsigned int __builtin_ia32_vcvttss2usi32(__gcc_v4sf, int)
void __builtin_ia32_scatterdiv8di(void *, unsigned char, __gcc_v8di, __gcc_v8di, int)
__gcc_v2di __builtin_ia32_vplzcntq_128(__gcc_v2di)
int __builtin_ia32_ptestc256(__gcc_v4di, __gcc_v4di)
__gcc_v16hi __builtin_ia32_psrlwi256(__gcc_v16hi, int)
__gcc_v16sf __builtin_ia32_vfmaddsubps512_maskz(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, unsigned short, int)
unsigned int __builtin_ia32_cmpw512_mask(__gcc_v32hi, __gcc_v32hi, int, unsigned int)
__gcc_v16sf __builtin_ia32_selectps_512(unsigned short, __gcc_v16sf, __gcc_v16sf)
__gcc_v2df __builtin_ia32_maskloadpd(const __gcc_v2df *, __gcc_v2di)
void __builtin_ia32_pmovqd512mem_mask(__gcc_v8si *, __gcc_v8di, unsigned char)
__gcc_v4df __builtin_ia32_gatherq_pd256(__gcc_v4df, const double *, __gcc_v4di, __gcc_v4df, char)
__gcc_v2sf __builtin_ia32_pfadd(__gcc_v2sf, __gcc_v2sf)
__gcc_v16sf __builtin_ia32_shufps512(__gcc_v16sf, __gcc_v16sf, int)
__gcc_v16sf __builtin_ia32_rsqrt14ps512_mask(__gcc_v16sf, __gcc_v16sf, unsigned short)
__gcc_v4di __builtin_ia32_psllv4di(__gcc_v4di, __gcc_v4di)
__gcc_v16hi __builtin_ia32_phsubw256(__gcc_v16hi, __gcc_v16hi)
void __builtin_ia32_maskstorepd256(__gcc_v4df *, __gcc_v4di, __gcc_v4df)
__gcc_v16sf __builtin_ia32_vfmaddsubps512_mask(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, unsigned short, int)
__gcc_v16sf __builtin_ia32_vpermi2varps512(__gcc_v16sf, __gcc_v16si, __gcc_v16sf)
__gcc_v4sf __builtin_ia32_vextractf128_ps256(__gcc_v8sf, int)
__gcc_v16sf __builtin_ia32_vfmaddps512_mask(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, unsigned short, int)
__gcc_v8di __builtin_ia32_aesenclast512(__gcc_v8di, __gcc_v8di)
__gcc_v16hi __builtin_ia32_pmulhuw256(__gcc_v16hi, __gcc_v16hi)
__gcc_v16si __builtin_ia32_vpconflictsi_512(__gcc_v16si)
__gcc_v16hi __builtin_ia32_psignw256(__gcc_v16hi, __gcc_v16hi)
__gcc_v16qi __builtin_ia32_pmovusdb512_mask(__gcc_v16si, __gcc_v16qi, unsigned short)
__gcc_v2df __builtin_ia32_vfmsubsd3_mask3(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__gcc_v2df __builtin_ia32_reducesd_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int, int)
__gcc_v4df __builtin_ia32_extractf64x4_mask(__gcc_v8df, int, __gcc_v4df, unsigned char)
__gcc_v32hi __builtin_ia32_psllw512(__gcc_v32hi, __gcc_v8hi)
double __builtin_ia32_reduce_fmin_pd512(__gcc_v8df)
__gcc_v4di __builtin_ia32_vplzcntq_256(__gcc_v4di)
long long int __builtin_ia32_vec_ext_v4di(__gcc_v4di, int)
__gcc_v4di __builtin_ia32_permti256(__gcc_v4di, __gcc_v4di, int)
__gcc_v32hi __builtin_ia32_psrlwi512(__gcc_v32hi, int)
unsigned int __builtin_ia32_knotsi(unsigned int)
unsigned long long int __builtin_ia32_kordi(unsigned long long int, unsigned long long int)
__gcc_v8di __builtin_ia32_loaddqudi512_mask(const long long int *, __gcc_v8di, unsigned char)
__gcc_v16qi __builtin_ia32_pmovdb512_mask(__gcc_v16si, __gcc_v16qi, unsigned short)
unsigned char __builtin_ia32_kxorqi(unsigned char, unsigned char)
__gcc_v8di __builtin_ia32_expandloaddi512_mask(const __gcc_v8di *, __gcc_v8di, unsigned char)
int __builtin_ia32_movmskps256(__gcc_v8sf)
__gcc_v64qi __builtin_ia32_packsswb512(__gcc_v32hi, __gcc_v32hi)
float __builtin_ia32_cvtsbf162ss_32(__bf16)
__gcc_v4di __builtin_ia32_psadbw256(__gcc_v32qi, __gcc_v32qi)
__gcc_v8di __builtin_ia32_selectq_512(unsigned char, __gcc_v8di, __gcc_v8di)
void __builtin_ia32_scattersiv16sf(void *, unsigned short, __gcc_v16si, __gcc_v16sf, int)
__gcc_v32hi __builtin_ia32_pmaddubsw512(__gcc_v64qi, __gcc_v64qi)
void __builtin_ia32_maskstoreq256(__gcc_v4di *, __gcc_v4di, __gcc_v4di)
__gcc_v8sf __builtin_ia32_permvarsf256(__gcc_v8sf, __gcc_v8si)
__gcc_v8si __builtin_ia32_pslldi256(__gcc_v8si, int)
unsigned short __builtin_ia32_kxnorhi(unsigned short, unsigned short)
__gcc_v32qi __builtin_ia32_pblendvb256(__gcc_v32qi, __gcc_v32qi, __gcc_v32qi)
__gcc_v8df __builtin_ia32_vpermilpd512(__gcc_v8df, int)
__gcc_v8si __builtin_ia32_vplzcntd_256(__gcc_v8si)
__gcc_v4sf __builtin_ia32_cvtusi2ss32(__gcc_v4sf, unsigned int, int)
__gcc_v2di __builtin_ia32_extracti64x2_256_mask(__gcc_v4di, int, __gcc_v2di, unsigned char)
__gcc_v8sf __builtin_ia32_addsubps256(__gcc_v8sf, __gcc_v8sf)
__gcc_v4di __builtin_ia32_cvtmask2q256(unsigned char)
__gcc_v4di __builtin_ia32_extracti64x4_mask(__gcc_v8di, int, __gcc_v4di, unsigned char)
unsigned long long int __builtin_ia32_kxordi(unsigned long long int, unsigned long long int)
unsigned char __builtin_ia32_fpclasspd128_mask(__gcc_v2df, int, unsigned char)
char __builtin_ia32_vec_ext_v32qi(__gcc_v32qi, int)
__gcc_v256si __builtin_ia32_tileloadd64_internal(unsigned short, unsigned short, const void *, __CPROVER_size_t)
__gcc_v8si __builtin_ia32_pslld256(__gcc_v8si, __gcc_v4si)
__gcc_v16sf __builtin_ia32_getmantps512_mask(__gcc_v16sf, int, __gcc_v16sf, unsigned short, int)
__gcc_v4sf __builtin_ia32_dpbf16ps_128(__gcc_v4sf, __gcc_v8hf, __gcc_v8hf)
__gcc_v4si __builtin_ia32_gatherq_d(__gcc_v4si, const int *, __gcc_v2di, __gcc_v4si, char)
__gcc_v16si __builtin_ia32_loaddqusi512_mask(const int *, __gcc_v16si, unsigned short)
__gcc_v8hf __builtin_ia32_cvtneps2bf16_128_mask(__gcc_v4sf, __gcc_v8hf, unsigned char)
int __builtin_ia32_vtestzpd(__gcc_v2df, __gcc_v2df)
__gcc_v16sf __builtin_ia32_divps512(__gcc_v16sf, __gcc_v16sf, int)
__gcc_v8si __builtin_ia32_phsubd256(__gcc_v8si, __gcc_v8si)
__gcc_v2df __builtin_ia32_rangesd128_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int, int)
void __builtin_ia32_pmovsqw512mem_mask(__gcc_v8hi *, __gcc_v8di, unsigned char)
unsigned short __builtin_ia32_kunpckhi(unsigned short, unsigned short)
__gcc_v16hi __builtin_ia32_permvarhi256(__gcc_v16hi, __gcc_v16hi)
__gcc_v4sf __builtin_ia32_fixupimmss_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4si, int, unsigned char, int)
void __builtin_ia32_maskstored(__gcc_v4si *, __gcc_v4si, __gcc_v4si)
__gcc_v8df __builtin_ia32_vfmaddpd512_mask3(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int)
__gcc_v8hi __builtin_ia32_pmovsqw512_mask(__gcc_v8di, __gcc_v8hi, unsigned char)
int __builtin_ia32_ptestnzc256(__gcc_v4di, __gcc_v4di)
__gcc_v32hi __builtin_ia32_pmulhuw512(__gcc_v32hi, __gcc_v32hi)
__gcc_v8df __builtin_ia32_vfmaddpd512_mask(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int)
__gcc_v16sf __builtin_ia32_rangeps512_mask(__gcc_v16sf, __gcc_v16sf, int, __gcc_v16sf, unsigned short, int)
__gcc_v8di __builtin_ia32_psrav8di(__gcc_v8di, __gcc_v8di)
__gcc_v4sf __builtin_ia32_extractf32x4_mask(__gcc_v16sf, int, __gcc_v4sf, unsigned char)
__gcc_v4sf __builtin_ia32_selectss_128(unsigned char, __gcc_v4sf, __gcc_v4sf)
unsigned char __builtin_ia32_cvtq2mask256(__gcc_v4di)
__gcc_v2di __builtin_ia32_psrlv2di(__gcc_v2di, __gcc_v2di)
__gcc_v32qi __builtin_ia32_pmovwb512_mask(__gcc_v32hi, __gcc_v32qi, unsigned int)
__gcc_v16sf __builtin_ia32_permvarsf512(__gcc_v16sf, __gcc_v16si)
__gcc_v16sf __builtin_ia32_dpbf16ps_512(__gcc_v16sf, __gcc_v32hf, __gcc_v32hf)
__gcc_v2df __builtin_ia32_getmantsd_round_mask(__gcc_v2df, __gcc_v2df, int, __gcc_v2df, unsigned char, int)
void __builtin_ia32_pmovusqb512mem_mask(__gcc_v16qi *, __gcc_v8di, unsigned char)
void __builtin_ia32_compressstoredi512_mask(__gcc_v8di *, __gcc_v8di, unsigned char)
unsigned long long int __builtin_ia32_kmovq(unsigned long long int)
__gcc_v2sf __builtin_ia32_pfpnacc(__gcc_v2sf, __gcc_v2sf)
__gcc_v8si __builtin_ia32_vinsertf128_si256(__gcc_v8si, __gcc_v4si, int)
__gcc_v32hi __builtin_ia32_pshuflw512(__gcc_v32hi, int)
__gcc_v2df __builtin_ia32_rndscalesd_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int, int)
__gcc_v8di __builtin_ia32_vpermi2varq512(__gcc_v8di, __gcc_v8di, __gcc_v8di)
unsigned int __builtin_ia32_kshiftlisi(unsigned int, unsigned int)
__gcc_v4df __builtin_ia32_roundpd256(__gcc_v4df, int)
__gcc_v16sf __builtin_ia32_vfmaddsubps512_mask3(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, unsigned short, int)
__gcc_v8df __builtin_ia32_expandloaddf512_mask(const __gcc_v8df *, __gcc_v8df, unsigned char)
__gcc_v4di __builtin_ia32_gatherq_q256(__gcc_v4di, const long long int *, __gcc_v4di, __gcc_v4di, char)
__gcc_v4df __builtin_ia32_gatherd_pd256(__gcc_v4df, const double *, __gcc_v4si, __gcc_v4df, char)
__gcc_v2sf __builtin_ia32_pi2fw(__gcc_v2si)
__gcc_v8hi __builtin_ia32_pmovqw512_mask(__gcc_v8di, __gcc_v8hi, unsigned char)
int __builtin_ia32_kortestzhi(unsigned short, unsigned short)
void __builtin_ia32_tile_loadconfig_internal(const void *)
int __builtin_ia32_ktestzhi(unsigned short, unsigned short)
__gcc_v64qi __builtin_ia32_loaddquqi512_mask(const __gcc_v64qi *, __gcc_v64qi, unsigned long long int)
unsigned int __builtin_ia32_kandnsi(unsigned int, unsigned int)
void __builtin_ia32_tdpfp16ps(unsigned char, unsigned char, unsigned char)
__gcc_v4di __builtin_ia32_gatherd_q256(__gcc_v4di, const long long int *, __gcc_v4si, __gcc_v4di, char)
__gcc_v16sf __builtin_ia32_addps512(__gcc_v16sf, __gcc_v16sf, int)
__gcc_v8sf __builtin_ia32_maxps256(__gcc_v8sf, __gcc_v8sf)
__gcc_v8hf __builtin_ia32_selectpbf_128(unsigned char, __gcc_v8hf, __gcc_v8hf)
unsigned int __builtin_ia32_vcvtss2usi32(__gcc_v4sf, int)
__gcc_v32qi __builtin_ia32_pmovswb512_mask(__gcc_v32hi, __gcc_v32qi, unsigned int)
__gcc_v8si __builtin_ia32_pshufd256(__gcc_v8si, int)
__gcc_v16qi __builtin_ia32_loaddquqi128_mask(const __gcc_v16qi *, __gcc_v16qi, unsigned short)
__gcc_v8sf __builtin_ia32_shufps256(__gcc_v8sf, __gcc_v8sf, int)
void __builtin_ia32_pmovsdb512mem_mask(__gcc_v16qi *, __gcc_v16si, unsigned short)
__gcc_v8di __builtin_ia32_gathersiv8di(__gcc_v8di, const void *, __gcc_v8si, unsigned char, int)
__gcc_v2df __builtin_ia32_vpermilpd(__gcc_v2df, int)
__gcc_v16sf __builtin_ia32_vpermilps512(__gcc_v16sf, int)
__gcc_v8df __builtin_ia32_expanddf512_mask(__gcc_v8df, __gcc_v8df, unsigned char)
__gcc_v4si __builtin_ia32_cvtpd2dq256(__gcc_v4df)
__gcc_v8df __builtin_ia32_getmantpd512_mask(__gcc_v8df, int, __gcc_v8df, unsigned char, int)
unsigned long long int __builtin_ia32_vcvttss2usi64(__gcc_v4sf, int)
__gcc_v64qi __builtin_ia32_vpopcntb_512(__gcc_v64qi)
__gcc_v32hi __builtin_ia32_psrlw512(__gcc_v32hi, __gcc_v8hi)
__gcc_v2di __builtin_ia32_vpconflictdi_128(__gcc_v2di)
__gcc_v8si __builtin_ia32_psrad256(__gcc_v8si, __gcc_v4si)
__gcc_v16si __builtin_ia32_pternlogd512_mask(__gcc_v16si, __gcc_v16si, __gcc_v16si, int, unsigned short)
__gcc_v4df __builtin_ia32_cmppd256(__gcc_v4df, __gcc_v4df, char)
__gcc_v16sf __builtin_ia32_vfmaddps512_mask3(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, unsigned short, int)
unsigned char __builtin_ia32_fpclasspd256_mask(__gcc_v4df, int, unsigned char)
__gcc_v4sf __builtin_ia32_gatherd_ps(__gcc_v4sf, const float *, __gcc_v4si, __gcc_v4sf, char)
unsigned int __builtin_ia32_cvtb2mask256(__gcc_v32qi)
void __builtin_ia32_movdqa32store512_mask(__gcc_v16si *, __gcc_v16si, unsigned short)
__gcc_v8di __builtin_ia32_prorq512(__gcc_v8di, int)
__gcc_v8sf __builtin_ia32_hsubps256(__gcc_v8sf, __gcc_v8sf)
void __builtin_ia32_storedquqi512_mask(__gcc_v64qi *, __gcc_v64qi, unsigned long long int)
__gcc_v8sf __builtin_ia32_blendps256(__gcc_v8sf, __gcc_v8sf, int)
float __builtin_ia32_reduce_fmul_ps512(float, __gcc_v16sf)
__gcc_v8di __builtin_ia32_cvttpd2uqq512_mask(__gcc_v8df, __gcc_v8di, unsigned char, int)
__gcc_v2sf __builtin_ia32_pfrcpit2(__gcc_v2sf, __gcc_v2sf)
__gcc_v8df __builtin_ia32_minpd512(__gcc_v8df, __gcc_v8df, int)
__gcc_v16hf __builtin_ia32_selectpbf_256(unsigned short, __gcc_v16hf, __gcc_v16hf)
long long int __builtin_ia32_vcvtss2si64(__gcc_v4sf, int)
unsigned char __builtin_ia32_kshiftriqi(unsigned char, unsigned int)
__gcc_v4sf __builtin_ia32_rangess128_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int, int)
__gcc_v64qi __builtin_ia32_pshufb512(__gcc_v64qi, __gcc_v64qi)
void __builtin_ia32_pmovwb512mem_mask(__gcc_v32qi *, __gcc_v32hi, unsigned int)
unsigned char __builtin_ia32_fpclasspd512_mask(__gcc_v8df, int, unsigned char)
void __builtin_ia32_vzeroupper(void)
__gcc_v4sf __builtin_ia32_cvtusi2ss64(__gcc_v4sf, unsigned long long int, int)
__gcc_v32hi __builtin_ia32_psllwi512(__gcc_v32hi, int)
__gcc_v16si __builtin_ia32_compresssi512_mask(__gcc_v16si, __gcc_v16si, unsigned short)
__gcc_v4sf __builtin_ia32_vfmaddss3_mask3(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__gcc_v64qi __builtin_ia32_selectb_512(unsigned long long int, __gcc_v64qi, __gcc_v64qi)
__gcc_v2di __builtin_ia32_aesenclast128(__gcc_v2di, __gcc_v2di)
__gcc_v4sf __builtin_ia32_vpermilvarps(__gcc_v4sf, __gcc_v4si)
__gcc_v8hi __builtin_ia32_permvarhi128(__gcc_v8hi, __gcc_v8hi)
__gcc_v32hi __builtin_ia32_pshufhw512(__gcc_v32hi, int)
__gcc_v32qi __builtin_ia32_vgf2p8mulb_v32qi(__gcc_v32qi, __gcc_v32qi)
__gcc_v16si __builtin_ia32_pternlogd512_maskz(__gcc_v16si, __gcc_v16si, __gcc_v16si, int, unsigned short)
void __builtin_ia32_vzeroall(void)
__gcc_v4sf __builtin_ia32_subss_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
void __builtin_ia32_pmovusqw512mem_mask(__gcc_v8hi *, __gcc_v8di, unsigned char)
void __builtin_ia32_tile_storeconfig(const void *)
void __builtin_ia32_compressstoresf512_mask(__gcc_v16sf *, __gcc_v16sf, unsigned short)
__gcc_v4sf __builtin_ia32_vpermilps(__gcc_v4sf, int)
__gcc_v8sf __builtin_ia32_vperm2f128_ps256(__gcc_v8sf, __gcc_v8sf, int)
void __builtin_ia32_pmovusdb512mem_mask(__gcc_v16qi *, __gcc_v16si, unsigned short)
long long int __builtin_ia32_vcvttss2si64(__gcc_v4sf, int)
float __builtin_ia32_reduce_fmax_ps512(__gcc_v16sf)
__gcc_v4di __builtin_ia32_vpconflictdi_256(__gcc_v4di)
__gcc_v8si __builtin_ia32_psrlv8si(__gcc_v8si, __gcc_v8si)
__gcc_v8df __builtin_ia32_compressdf512_mask(__gcc_v8df, __gcc_v8df, unsigned char)
__gcc_v8di __builtin_ia32_pternlogq512_mask(__gcc_v8di, __gcc_v8di, __gcc_v8di, int, unsigned char)
__gcc_v32hi __builtin_ia32_psrav32hi(__gcc_v32hi, __gcc_v32hi)
__gcc_v16sf __builtin_ia32_vcvtph2ps512_mask(__gcc_v16hi, __gcc_v16sf, unsigned short, int)
__gcc_v16sf __builtin_ia32_shuf_f32x4(__gcc_v16sf, __gcc_v16sf, int)
__gcc_v16sf __builtin_ia32_loadaps512_mask(const __gcc_v16sf *, __gcc_v16sf, unsigned short)
__gcc_v8sf __builtin_ia32_blendvps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf)
__gcc_v2sf __builtin_ia32_pfnacc(__gcc_v2sf, __gcc_v2sf)
__gcc_v16si __builtin_ia32_inserti32x4(__gcc_v16si, __gcc_v4si, int)
__gcc_v8df __builtin_ia32_permvardf512(__gcc_v8df, __gcc_v8di)
__gcc_v8di __builtin_ia32_gatherdiv8di(__gcc_v8di, const void *, __gcc_v8di, unsigned char, int)
unsigned short __builtin_ia32_cvtb2mask128(__gcc_v16qi)
__gcc_v2df __builtin_ia32_scalefsd_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
void __builtin_ia32_tdpbuud(unsigned char, unsigned char, unsigned char)
unsigned long long int __builtin_ia32_vcvtsd2usi64(__gcc_v2df, int)
void __builtin_ia32_maskstoreps256(__gcc_v8sf *, __gcc_v8si, __gcc_v8sf)
__gcc_v8di __builtin_ia32_aesenc512(__gcc_v8di, __gcc_v8di)
__gcc_v16si __builtin_ia32_vplzcntd_512(__gcc_v16si)
unsigned char __builtin_ia32_cmppd512_mask(__gcc_v8df, __gcc_v8df, int, unsigned char, int)
__gcc_v16si __builtin_ia32_pslldi512(__gcc_v16si, int)
__gcc_v8sf __builtin_ia32_cvtqq2ps512_mask(__gcc_v8di, __gcc_v8sf, unsigned char, int)
__gcc_v256si __builtin_ia32_tdpbsud_internal(unsigned short, unsigned short, unsigned short, __gcc_v256si, __gcc_v256si, __gcc_v256si)
unsigned long long int __builtin_ia32_cvtb2mask512(__gcc_v64qi)
__gcc_v8hf __builtin_ia32_selectsbf_128(unsigned char, __gcc_v8hf, __gcc_v8hf)
__gcc_v2si __builtin_ia32_pf2id(__gcc_v2sf)
unsigned int __builtin_ia32_ucmpw512_mask(__gcc_v32hi, __gcc_v32hi, int, unsigned int)
__gcc_v32hi __builtin_ia32_pmulhrsw512(__gcc_v32hi, __gcc_v32hi)
__gcc_v256si __builtin_ia32_tdpfp16ps_internal(unsigned short, unsigned short, unsigned short, __gcc_v256si, __gcc_v256si, __gcc_v256si)
__gcc_v2di __builtin_ia32_extracti64x2_512_mask(__gcc_v8di, int, __gcc_v2di, unsigned char)
unsigned char __builtin_ia32_cmpsd_mask(__gcc_v2df, __gcc_v2df, int, unsigned char, int)
__gcc_v8si __builtin_ia32_cvttpd2udq512_mask(__gcc_v8df, __gcc_v8si, unsigned char, int)
__gcc_v8hf __builtin_ia32_vcvtneps2bf16128(__gcc_v4sf)
__gcc_v4sf __builtin_ia32_cvtpd2ps256(__gcc_v4df)
__gcc_v8di __builtin_ia32_vplzcntq_512(__gcc_v8di)
int __builtin_ia32_vtestnzcps256(__gcc_v8sf, __gcc_v8sf)
int __builtin_ia32_vtestcpd256(__gcc_v4df, __gcc_v4df)
__gcc_v8di __builtin_ia32_psadbw512(__gcc_v64qi, __gcc_v64qi)
__gcc_v16sf __builtin_ia32_compresssf512_mask(__gcc_v16sf, __gcc_v16sf, unsigned short)
__gcc_v2di __builtin_ia32_aesdeclast128(__gcc_v2di, __gcc_v2di)
__gcc_v8hf __builtin_ia32_cvtneps2bf16_256_mask(__gcc_v8sf, __gcc_v8hf, unsigned char)
void __builtin_ia32_pmovsqd512mem_mask(__gcc_v8si *, __gcc_v8di, unsigned char)
__gcc_v8si __builtin_ia32_psllv8si(__gcc_v8si, __gcc_v8si)
__gcc_v4df __builtin_ia32_blendvpd256(__gcc_v4df, __gcc_v4df, __gcc_v4df)
__gcc_v8df __builtin_ia32_cvtps2pd512_mask(__gcc_v8sf, __gcc_v8df, unsigned char, int)
unsigned int __builtin_ia32_kunpcksi(unsigned int, unsigned int)
__gcc_v8si __builtin_ia32_maskloadd256(const __gcc_v8si *, __gcc_v8si)
__gcc_v8df __builtin_ia32_vfmaddpd512_maskz(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int)
__gcc_v4si __builtin_ia32_psllv4si(__gcc_v4si, __gcc_v4si)
__gcc_v8si __builtin_ia32_cvtpd2udq512_mask(__gcc_v8df, __gcc_v8si, unsigned char, int)
__gcc_v8si __builtin_ia32_pmovusqd512_mask(__gcc_v8di, __gcc_v8si, unsigned char)
__gcc_v16si __builtin_ia32_movdqa32load512_mask(const __gcc_v16si *, __gcc_v16si, unsigned short)
__gcc_v4di __builtin_ia32_permdi256(__gcc_v4di, int)
__gcc_v8df __builtin_ia32_loadupd512_mask(const double *, __gcc_v8df, unsigned char)
__gcc_v8di __builtin_ia32_aesdeclast512(__gcc_v8di, __gcc_v8di)
__gcc_v16si __builtin_ia32_alignd512(__gcc_v16si, __gcc_v16si, int)
__gcc_v8si __builtin_ia32_psrldi256(__gcc_v8si, int)
__gcc_v8sf __builtin_ia32_vpermilps256(__gcc_v8sf, int)
__gcc_v8df __builtin_ia32_subpd512(__gcc_v8df, __gcc_v8df, int)
__gcc_v16hf __builtin_ia32_cvtne2ps2bf16_256(__gcc_v8sf, __gcc_v8sf)
void __builtin_ia32_storeupd512_mask(double *, __gcc_v8df, unsigned char)
__gcc_v4df __builtin_ia32_minpd256(__gcc_v4df, __gcc_v4df)
__gcc_v16si __builtin_ia32_psrav16si(__gcc_v16si, __gcc_v16si)
__gcc_v4di __builtin_ia32_pmuludq256(__gcc_v8si, __gcc_v8si)
__gcc_v32qi __builtin_ia32_selectb_256(unsigned int, __gcc_v32qi, __gcc_v32qi)
void __builtin_ia32_scatterdiv16sf(void *, unsigned char, __gcc_v8di, __gcc_v8sf, int)
__gcc_v8df __builtin_ia32_gatherdiv8df(__gcc_v8df, const void *, __gcc_v8di, unsigned char, int)
int __builtin_ia32_ktestcsi(unsigned int, unsigned int)
__gcc_v16hi __builtin_ia32_pmovusdw512_mask(__gcc_v16si, __gcc_v16hi, unsigned short)
int __builtin_ia32_vcvtsd2si32(__gcc_v2df, int)
__gcc_v16hi __builtin_ia32_psrlv16hi(__gcc_v16hi, __gcc_v16hi)
__gcc_v8si __builtin_ia32_cvtpd2dq512_mask(__gcc_v8df, __gcc_v8si, unsigned char, int)
__gcc_v4sf __builtin_ia32_reducess_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int, int)
__gcc_v4si __builtin_ia32_extracti32x4_mask(__gcc_v16si, int, __gcc_v4si, unsigned char)
void __builtin_ia32_tile_loadconfig(const void *)
__gcc_v2df __builtin_ia32_fixupimmsd_mask(__gcc_v2df, __gcc_v2df, __gcc_v2di, int, unsigned char, int)
int __builtin_ia32_vcomiss(__gcc_v4sf, __gcc_v4sf, int, int)
__gcc_v4hi __builtin_ia32_pmulhrw(__gcc_v4hi, __gcc_v4hi)
__gcc_v4sf __builtin_ia32_divss_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__gcc_v8si __builtin_ia32_psrav8si(__gcc_v8si, __gcc_v8si)
__gcc_v4sf __builtin_ia32_minss_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__gcc_v16si __builtin_ia32_psradi512(__gcc_v16si, int)
void __builtin_ia32_tileloaddt164(unsigned char, const void *, __CPROVER_size_t)
__gcc_v8df __builtin_ia32_permdf512(__gcc_v8df, int)
__gcc_v16sf __builtin_ia32_vfmsubaddps512_mask3(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, unsigned short, int)
__gcc_v8sf __builtin_ia32_maskloadps256(const __gcc_v8sf *, __gcc_v8si)
__gcc_v8sf __builtin_ia32_vinsertf128_ps256(__gcc_v8sf, __gcc_v4sf, int)
__gcc_v8df __builtin_ia32_maxpd512(__gcc_v8df, __gcc_v8df, int)
__gcc_v16hi __builtin_ia32_pshufhw256(__gcc_v16hi, int)
__gcc_v32hi __builtin_ia32_loaddquhi512_mask(const __gcc_v32hi *, __gcc_v32hi, unsigned int)
__gcc_v8di __builtin_ia32_psrlv8di(__gcc_v8di, __gcc_v8di)
__gcc_v8df __builtin_ia32_addpd512(__gcc_v8df, __gcc_v8df, int)
long long int __builtin_ia32_vcvttsd2si64(__gcc_v2df, int)
__gcc_v256si __builtin_ia32_tileloaddt164_internal(unsigned short, unsigned short, const void *, __CPROVER_size_t)
__gcc_v16sf __builtin_ia32_maxps512(__gcc_v16sf, __gcc_v16sf, int)
__gcc_v2df __builtin_ia32_loadsd128_mask(const __gcc_v2df *, __gcc_v2df, unsigned char)
void __builtin_ia32_pmovuswb512mem_mask(__gcc_v32qi *, __gcc_v32hi, unsigned int)
__gcc_v8di __builtin_ia32_cvtmask2q512(unsigned char)
void __builtin_ia32_tdpbf16ps(unsigned char, unsigned char, unsigned char)
__gcc_v2di __builtin_ia32_gatherd_q(__gcc_v2di, const long long int *, __gcc_v4si, __gcc_v2di, char)
__gcc_v4df __builtin_ia32_maxpd256(__gcc_v4df, __gcc_v4df)
__gcc_v8df __builtin_ia32_fixupimmpd512_maskz(__gcc_v8df, __gcc_v8df, __gcc_v8di, int, unsigned char, int)
__gcc_v2sf __builtin_ia32_pfacc(__gcc_v2sf, __gcc_v2sf)
__gcc_v16sf __builtin_ia32_gathersiv16sf(__gcc_v16sf, const void *, __gcc_v16si, unsigned short, int)
__gcc_v16hi __builtin_ia32_pmulhw256(__gcc_v16hi, __gcc_v16hi)
__gcc_v4sf __builtin_ia32_gatherq_ps256(__gcc_v4sf, const float *, __gcc_v4di, __gcc_v4sf, char)
__gcc_v32qi __builtin_ia32_vec_set_v32qi(__gcc_v32qi, char, int)
__gcc_v8si __builtin_ia32_psrld256(__gcc_v8si, __gcc_v4si)
__gcc_v16hi __builtin_ia32_psraw256(__gcc_v16hi, __gcc_v8hi)
__gcc_v32qi __builtin_ia32_pavgb256(__gcc_v32qi, __gcc_v32qi)
__gcc_v8di __builtin_ia32_permdi512(__gcc_v8di, int)
__gcc_v32hf __builtin_ia32_cvtne2ps2bf16_512(__gcc_v16sf, __gcc_v16sf)
__gcc_v8si __builtin_ia32_psignd256(__gcc_v8si, __gcc_v8si)
__gcc_v16hi __builtin_ia32_psllwi256(__gcc_v16hi, int)
__gcc_v8qi __builtin_ia32_pavgusb(__gcc_v8qi, __gcc_v8qi)
__gcc_v4df __builtin_ia32_vpermilpd256(__gcc_v4df, int)
__gcc_v8di __builtin_ia32_prolq512(__gcc_v8di, int)
unsigned char __builtin_ia32_ucmpq512_mask(__gcc_v8di, __gcc_v8di, int, unsigned char)
__gcc_v64qi __builtin_ia32_cvtmask2b512(unsigned long long int)
int __builtin_ia32_vtestnzcps(__gcc_v4sf, __gcc_v4sf)
__gcc_v16hi __builtin_ia32_pmovdw512_mask(__gcc_v16si, __gcc_v16hi, unsigned short)
__gcc_v2df __builtin_ia32_vfmaddsd3_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
unsigned short __builtin_ia32_kandhi(unsigned short, unsigned short)
unsigned short __builtin_ia32_korhi(unsigned short, unsigned short)
__gcc_v4di __builtin_ia32_psrlq256(__gcc_v4di, __gcc_v2di)
__gcc_v8hi __builtin_ia32_psrlv8hi(__gcc_v8hi, __gcc_v8hi)
__gcc_v8di __builtin_ia32_pslldqi512_byteshift(__gcc_v8di, int)
__gcc_v8si __builtin_ia32_cvttpd2dq512_mask(__gcc_v8df, __gcc_v8si, unsigned char, int)
__gcc_v2df __builtin_ia32_selectsd_128(unsigned char, __gcc_v2df, __gcc_v2df)
void __builtin_ia32_pmovdw512mem_mask(__gcc_v16hi *, __gcc_v16si, unsigned short)
__gcc_v2df __builtin_ia32_extractf64x2_256_mask(__gcc_v4df, int, __gcc_v2df, unsigned char)
__gcc_v16hi __builtin_ia32_packssdw256(__gcc_v8si, __gcc_v8si)
unsigned char __builtin_ia32_kandqi(unsigned char, unsigned char)
__gcc_v16qi __builtin_ia32_cvtmask2b128(unsigned short)
int __builtin_ia32_ktestzdi(unsigned long long int, unsigned long long int)
__gcc_v16hi __builtin_ia32_packusdw256(__gcc_v8si, __gcc_v8si)
__gcc_v32hi __builtin_ia32_cvtmask2w512(unsigned int)
__gcc_v16hi __builtin_ia32_psrav16hi(__gcc_v16hi, __gcc_v16hi)
__gcc_v8di __builtin_ia32_vpconflictdi_512(__gcc_v8di)
void __builtin_ia32_scatterdiv16si(void *, unsigned char, __gcc_v8di, __gcc_v8si, int)
__gcc_v32hf __builtin_ia32_selectpbf_512(unsigned int, __gcc_v32hf, __gcc_v32hf)
float __builtin_ia32_reduce_fmin_ps512(__gcc_v16sf)
__gcc_v8si __builtin_ia32_pmaddwd256(__gcc_v16hi, __gcc_v16hi)
__gcc_v8di __builtin_ia32_psllv8di(__gcc_v8di, __gcc_v8di)
__gcc_v16sf __builtin_ia32_cvtudq2ps512_mask(__gcc_v16si, __gcc_v16sf, unsigned short, int)
int __builtin_ia32_kortestzqi(unsigned char, unsigned char)
int __builtin_ia32_vtestzpd256(__gcc_v4df, __gcc_v4df)
int __builtin_ia32_ktestcdi(unsigned long long int, unsigned long long int)
unsigned long long int __builtin_ia32_cmpb512_mask(__gcc_v64qi, __gcc_v64qi, int, unsigned long long int)
__gcc_v8si __builtin_ia32_vpconflictsi_256(__gcc_v8si)
__gcc_v32hi __builtin_ia32_pmulhw512(__gcc_v32hi, __gcc_v32hi)
__gcc_v16hi __builtin_ia32_cvtmask2w256(unsigned short)
__gcc_v16hi __builtin_ia32_pmaddubsw256(__gcc_v32qi, __gcc_v32qi)
void __builtin_ia32_pmovswb512mem_mask(__gcc_v32qi *, __gcc_v32hi, unsigned int)
__gcc_v8si __builtin_ia32_permvarsi256(__gcc_v8si, __gcc_v8si)
__gcc_v8df __builtin_ia32_vfmaddsubpd512_maskz(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int)
unsigned char __builtin_ia32_cmpq512_mask(__gcc_v8di, __gcc_v8di, int, unsigned char)
void __builtin_ia32_compressstoredf512_mask(__gcc_v8df *, __gcc_v8df, unsigned char)
short __builtin_ia32_vec_ext_v16hi(__gcc_v16hi, int)
__gcc_v4df __builtin_ia32_hsubpd256(__gcc_v4df, __gcc_v4df)
__gcc_v8hf __builtin_ia32_cvtne2ps2bf16_128(__gcc_v4sf, __gcc_v4sf)
__gcc_v32hi __builtin_ia32_permvarhi512(__gcc_v32hi, __gcc_v32hi)
__gcc_v8si __builtin_ia32_pblendd256(__gcc_v8si, __gcc_v8si, int)
__gcc_v8df __builtin_ia32_loadapd512_mask(const __gcc_v8df *, __gcc_v8df, unsigned char)
__gcc_v8di __builtin_ia32_permvardi512(__gcc_v8di, __gcc_v8di)
__gcc_v16sf __builtin_ia32_fixupimmps512_maskz(__gcc_v16sf, __gcc_v16sf, __gcc_v16si, int, unsigned short, int)
__gcc_v8df __builtin_ia32_rcp14pd512_mask(__gcc_v8df, __gcc_v8df, unsigned char)
__gcc_v64qi __builtin_ia32_vgf2p8affineinvqb_v64qi(__gcc_v64qi, __gcc_v64qi, char)
__gcc_v4si __builtin_ia32_gatherq_d256(__gcc_v4si, const int *, __gcc_v4di, __gcc_v4si, char)
__gcc_v8di __builtin_ia32_psraqi512(__gcc_v8di, int)
__gcc_v8df __builtin_ia32_fixupimmpd512_mask(__gcc_v8df, __gcc_v8df, __gcc_v8di, int, unsigned char, int)
__gcc_v16qi __builtin_ia32_pmovsqb512_mask(__gcc_v8di, __gcc_v16qi, unsigned char)
__gcc_v2sf __builtin_ia32_pfmin(__gcc_v2sf, __gcc_v2sf)
__gcc_v16sf __builtin_ia32_subps512(__gcc_v16sf, __gcc_v16sf, int)
unsigned char __builtin_ia32_kxnorqi(unsigned char, unsigned char)
__gcc_v4sf __builtin_ia32_cvtsi2ss32(__gcc_v4sf, int, int)
__gcc_v2df __builtin_ia32_getexpsd128_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__gcc_v2di __builtin_ia32_cvtmask2q128(unsigned char)
__gcc_v4si __builtin_ia32_vpconflictsi_128(__gcc_v4si)
__gcc_v8df __builtin_ia32_vfmsubpd512_mask3(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int)
__gcc_v8df __builtin_ia32_cvtuqq2pd512_mask(__gcc_v8di, __gcc_v8df, unsigned char, int)
__gcc_v8df __builtin_ia32_getexppd512_mask(__gcc_v8df, __gcc_v8df, unsigned char, int)
__gcc_v8df __builtin_ia32_rndscalepd_mask(__gcc_v8df, int, __gcc_v8df, unsigned char, int)
__gcc_v8di __builtin_ia32_expanddi512_mask(__gcc_v8di, __gcc_v8di, unsigned char)
__gcc_v4df __builtin_ia32_addsubpd256(__gcc_v4df, __gcc_v4df)
__gcc_v32qi __builtin_ia32_psignb256(__gcc_v32qi, __gcc_v32qi)
__gcc_v16si __builtin_ia32_psrad512(__gcc_v16si, __gcc_v4si)
__gcc_v32hi __builtin_ia32_packssdw512(__gcc_v16si, __gcc_v16si)
__gcc_v8di __builtin_ia32_cvttps2uqq512_mask(__gcc_v8sf, __gcc_v8di, unsigned char, int)
__gcc_v16sf __builtin_ia32_expandloadsf512_mask(const __gcc_v16sf *, __gcc_v16sf, unsigned short)
__gcc_v8sf __builtin_ia32_gatherd_ps256(__gcc_v8sf, const float *, __gcc_v8si, __gcc_v8sf, char)
__gcc_v64qi __builtin_ia32_pavgb512(__gcc_v64qi, __gcc_v64qi)
unsigned char __builtin_ia32_kandnqi(unsigned char, unsigned char)
__gcc_v8di __builtin_ia32_cvtps2uqq512_mask(__gcc_v8sf, __gcc_v8di, unsigned char, int)
__gcc_v8df __builtin_ia32_divpd512(__gcc_v8df, __gcc_v8df, int)
__gcc_v2df __builtin_ia32_divsd_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__gcc_v8sf __builtin_ia32_cvtpd2ps512_mask(__gcc_v8df, __gcc_v8sf, unsigned char, int)
unsigned char __builtin_ia32_cvtd2mask256(__gcc_v8si)
__gcc_v4di __builtin_ia32_vec_set_v4di(__gcc_v4di, long long int, int)
__gcc_v2df __builtin_ia32_minsd_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__gcc_v16sf __builtin_ia32_reduceps512_mask(__gcc_v16sf, int, __gcc_v16sf, unsigned short, int)
__gcc_v2si __builtin_ia32_pfcmpgt(__gcc_v2sf, __gcc_v2sf)
__gcc_v2sf __builtin_ia32_pfmax(__gcc_v2sf, __gcc_v2sf)
__gcc_v8di __builtin_ia32_inserti64x2_512(__gcc_v8di, __gcc_v2di, int)
__gcc_v16si __builtin_ia32_cvtmask2d512(unsigned short)
__gcc_v16sf __builtin_ia32_rcp14ps512_mask(__gcc_v16sf, __gcc_v16sf, unsigned short)
__gcc_v8di __builtin_ia32_psllqi512(__gcc_v8di, int)
int __builtin_ia32_ktestchi(unsigned short, unsigned short)
__gcc_v32qi __builtin_ia32_cvtmask2b256(unsigned int)
__gcc_v2df __builtin_ia32_extractf64x2_512_mask(__gcc_v8df, int, __gcc_v2df, unsigned char)
__gcc_v8di __builtin_ia32_prolvq512(__gcc_v8di, __gcc_v8di)
int __builtin_ia32_vtestnzcpd(__gcc_v2df, __gcc_v2df)
__gcc_v8sf __builtin_ia32_rcpps256(__gcc_v8sf)
__gcc_v4df __builtin_ia32_sqrtpd256(__gcc_v4df)
__gcc_v2di __builtin_ia32_aesenc128(__gcc_v2di, __gcc_v2di)
unsigned short __builtin_ia32_kaddhi(unsigned short, unsigned short)
__gcc_v16sf __builtin_ia32_minps512(__gcc_v16sf, __gcc_v16sf, int)
__gcc_v16si __builtin_ia32_inserti32x8(__gcc_v16si, __gcc_v8si, int)
__gcc_v32hi __builtin_ia32_packusdw512(__gcc_v16si, __gcc_v16si)
__gcc_v8df __builtin_ia32_gathersiv8df(__gcc_v8df, const void *, __gcc_v8si, unsigned char, int)
__gcc_v2df __builtin_ia32_gatherq_pd(__gcc_v2df, const double *, __gcc_v2di, __gcc_v2df, char)
void __builtin_ia32_storeups512_mask(float *, __gcc_v16sf, unsigned short)
void __builtin_ia32_femms(void)
__gcc_v32hi __builtin_ia32_psrlv32hi(__gcc_v32hi, __gcc_v32hi)
__gcc_v8si __builtin_ia32_pmovqd512_mask(__gcc_v8di, __gcc_v8si, unsigned char)
__gcc_v8si __builtin_ia32_vperm2f128_si256(__gcc_v8si, __gcc_v8si, int)
__gcc_v8df __builtin_ia32_vfmaddsubpd512_mask(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int)
__gcc_v16si __builtin_ia32_psrlv16si(__gcc_v16si, __gcc_v16si)
__gcc_v8df __builtin_ia32_reducepd512_mask(__gcc_v8df, int, __gcc_v8df, unsigned char, int)
__gcc_v2df __builtin_ia32_maxsd_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__gcc_v32hi __builtin_ia32_dbpsadbw512(__gcc_v64qi, __gcc_v64qi, int)
__gcc_v8df __builtin_ia32_insertf64x2_512(__gcc_v8df, __gcc_v2df, int)
__gcc_v32qi __builtin_ia32_pshufb256(__gcc_v32qi, __gcc_v32qi)
__gcc_v16si __builtin_ia32_prold512(__gcc_v16si, int)
__gcc_v8df __builtin_ia32_vpermilvarpd512(__gcc_v8df, __gcc_v8di)
__gcc_v16si __builtin_ia32_expandsi512_mask(__gcc_v16si, __gcc_v16si, unsigned short)
__gcc_v4di __builtin_ia32_maskloadq256(const __gcc_v4di *, __gcc_v4di)
int __builtin_ia32_vcvtss2si32(__gcc_v4sf, int)
int __builtin_ia32_kortestcqi(unsigned char, unsigned char)
__gcc_v4sf __builtin_ia32_fixupimmss_maskz(__gcc_v4sf, __gcc_v4sf, __gcc_v4si, int, unsigned char, int)
void __builtin_ia32_pmovusqd512mem_mask(__gcc_v8si *, __gcc_v8di, unsigned char)
__gcc_v32hi __builtin_ia32_psrawi512(__gcc_v32hi, int)
__gcc_v2sf __builtin_ia32_pswapdsf(__gcc_v2sf)
__gcc_v2sf __builtin_ia32_pfmul(__gcc_v2sf, __gcc_v2sf)
void __builtin_ia32_tdpbsud(unsigned char, unsigned char, unsigned char)
__gcc_v16hi __builtin_ia32_pshuflw256(__gcc_v16hi, int)
unsigned int __builtin_ia32_kxorsi(unsigned int, unsigned int)
__gcc_v64qi __builtin_ia32_packuswb512(__gcc_v32hi, __gcc_v32hi)
__gcc_v16hi __builtin_ia32_psrlw256(__gcc_v16hi, __gcc_v8hi)
__gcc_v16si __builtin_ia32_expandloadsi512_mask(const __gcc_v16si *, __gcc_v16si, unsigned short)
__gcc_v16sf __builtin_ia32_vpermilvarps512(__gcc_v16sf, __gcc_v16si)
__gcc_v8sf __builtin_ia32_dpps256(__gcc_v8sf, __gcc_v8sf, char)
__gcc_v8sf __builtin_ia32_cmpps256(__gcc_v8sf, __gcc_v8sf, char)
__gcc_v16hi __builtin_ia32_vec_set_v16hi(__gcc_v16hi, short, int)
__gcc_v8df __builtin_ia32_shufpd512(__gcc_v8df, __gcc_v8df, int)
__gcc_v4sf __builtin_ia32_rndscaless_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int, int)
unsigned char __builtin_ia32_cvtd2mask128(__gcc_v4si)
__gcc_v4si __builtin_ia32_vplzcntd_128(__gcc_v4si)
int __builtin_ia32_kortestzsi(unsigned int, unsigned int)
__gcc_v2di __builtin_ia32_extract128i256(__gcc_v4di, int)
__gcc_v4sf __builtin_ia32_rsqrt14ss_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char)
__gcc_v16si __builtin_ia32_cvttps2dq512_mask(__gcc_v16sf, __gcc_v16si, unsigned short, int)
__gcc_v16si __builtin_ia32_psrld512(__gcc_v16si, __gcc_v4si)
__gcc_v8hi __builtin_ia32_dbpsadbw128(__gcc_v16qi, __gcc_v16qi, int)
__gcc_v16sf __builtin_ia32_loadups512_mask(const float *, __gcc_v16sf, unsigned short)
unsigned char __builtin_ia32_fpclasssd_mask(__gcc_v2df, int, unsigned char)
__gcc_v16hi __builtin_ia32_phsubsw256(__gcc_v16hi, __gcc_v16hi)
int __builtin_ia32_ktestzsi(unsigned int, unsigned int)
__gcc_v4sf __builtin_ia32_loadss128_mask(const __gcc_v4sf *, __gcc_v4sf, unsigned char)
__gcc_v8df __builtin_ia32_selectpd_512(unsigned char, __gcc_v8df, __gcc_v8df)
__gcc_v2df __builtin_ia32_vfmaddsd3_maskz(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
unsigned int __builtin_ia32_korsi(unsigned int, unsigned int)
unsigned char __builtin_ia32_cvtw2mask128(__gcc_v8hi)
__gcc_v8sf __builtin_ia32_dpbf16ps_256(__gcc_v8sf, __gcc_v16hf, __gcc_v16hf)
__gcc_v16si __builtin_ia32_pshufd512(__gcc_v16si, int)
__gcc_v16hi __builtin_ia32_vcvtps2ph512_mask(__gcc_v16sf, int, __gcc_v16hi, unsigned short)
__gcc_v16sf __builtin_ia32_insertf32x8(__gcc_v16sf, __gcc_v8sf, int)
__gcc_v8di __builtin_ia32_psraq512(__gcc_v8di, __gcc_v2di)
int __builtin_ia32_vtestcps(__gcc_v4sf, __gcc_v4sf)
unsigned short __builtin_ia32_cvtd2mask512(__gcc_v16si)
__gcc_v16sf __builtin_ia32_getexpps512_mask(__gcc_v16sf, __gcc_v16sf, unsigned short, int)
__gcc_v8sf __builtin_ia32_vpermilvarps256(__gcc_v8sf, __gcc_v8si)
__gcc_v32qi __builtin_ia32_palignr256(__gcc_v32qi, __gcc_v32qi, int)
__gcc_v16si __builtin_ia32_cvttps2udq512_mask(__gcc_v16sf, __gcc_v16si, unsigned short, int)
unsigned short __builtin_ia32_cvtw2mask256(__gcc_v16hi)
__gcc_v4di __builtin_ia32_psrlv4di(__gcc_v4di, __gcc_v4di)
long long int __builtin_ia32_vcvtsd2si64(__gcc_v2df, int)
int __builtin_ia32_kortestchi(unsigned short, unsigned short)
__gcc_v8di __builtin_ia32_pmuludq512(__gcc_v16si, __gcc_v16si)
void __builtin_ia32_tilestored64(unsigned char, void *, __CPROVER_size_t)
__gcc_v16sf __builtin_ia32_expandsf512_mask(__gcc_v16sf, __gcc_v16sf, unsigned short)
void __builtin_ia32_storeaps512_mask(__gcc_v16sf *, __gcc_v16sf, unsigned short)
void __builtin_ia32_scatterdiv8df(void *, unsigned char, __gcc_v8di, __gcc_v8df, int)
__gcc_v2sf __builtin_ia32_pfrsqit1(__gcc_v2sf, __gcc_v2sf)
__gcc_v8di __builtin_ia32_cvtps2qq512_mask(__gcc_v8sf, __gcc_v8di, unsigned char, int)
__gcc_v2di __builtin_ia32_gatherq_q(__gcc_v2di, const long long int *, __gcc_v2di, __gcc_v2di, char)
void __builtin_ia32_tileloadd64(unsigned char, const void *, __CPROVER_size_t)
__gcc_v8di __builtin_ia32_cvttpd2qq512_mask(__gcc_v8df, __gcc_v8di, unsigned char, int)
__gcc_v16hi __builtin_ia32_selectw_256(unsigned short, __gcc_v16hi, __gcc_v16hi)
__gcc_v4sf __builtin_ia32_cvtsi2ss64(__gcc_v4sf, long long int, int)
__gcc_v2si __builtin_ia32_pswapdsi(__gcc_v2si)
unsigned long long int __builtin_ia32_kadddi(unsigned long long int, unsigned long long int)
void __builtin_ia32_storedqusi512_mask(int *, __gcc_v16si, unsigned short)
__gcc_v8hi __builtin_ia32_pmovusqw512_mask(__gcc_v8di, __gcc_v8hi, unsigned char)
__gcc_v32hi __builtin_ia32_psraw512(__gcc_v32hi, __gcc_v8hi)
__gcc_v8di __builtin_ia32_psrlqi512(__gcc_v8di, int)
__gcc_v8di __builtin_ia32_psrlq512(__gcc_v8di, __gcc_v2di)
__gcc_v4sf __builtin_ia32_addss_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
int __builtin_ia32_ptestz256(__gcc_v4di, __gcc_v4di)
__gcc_v16qi __builtin_ia32_pmovqb512_mask(__gcc_v8di, __gcc_v16qi, unsigned char)
void __builtin_ia32_movdqa64store512_mask(__gcc_v8di *, __gcc_v8di, unsigned char)
__gcc_v8hi __builtin_ia32_selectw_128(unsigned char, __gcc_v8hi, __gcc_v8hi)
__gcc_v256si __builtin_ia32_tilezero_internal(unsigned short, unsigned short)
double __builtin_ia32_reduce_fmul_pd512(double, __gcc_v8df)
unsigned short __builtin_ia32_kshiftlihi(unsigned short, unsigned int)
__gcc_v4sf __builtin_ia32_getmantss_round_mask(__gcc_v4sf, __gcc_v4sf, int, __gcc_v4sf, unsigned char, int)
void __builtin_ia32_maskstoreps(__gcc_v4sf *, __gcc_v4si, __gcc_v4sf)
__gcc_v8df __builtin_ia32_shuf_f64x2(__gcc_v8df, __gcc_v8df, int)
unsigned long long int __builtin_ia32_kshiftlidi(unsigned long long int, unsigned int)
__gcc_v16sf __builtin_ia32_vfmsubps512_mask3(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, unsigned short, int)
__gcc_v16hi __builtin_ia32_phaddw256(__gcc_v16hi, __gcc_v16hi)
__gcc_v4sf __builtin_ia32_scalefss_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__gcc_v8di __builtin_ia32_shuf_i64x2(__gcc_v8di, __gcc_v8di, int)
__gcc_v16si __builtin_ia32_permvarsi512(__gcc_v16si, __gcc_v16si)
unsigned int __builtin_ia32_kandsi(unsigned int, unsigned int)
__gcc_v16si __builtin_ia32_psrldi512(__gcc_v16si, int)
void __builtin_ia32_pmovqw512mem_mask(__gcc_v8hi *, __gcc_v8di, unsigned char)
__gcc_v16hi __builtin_ia32_pblendw256(__gcc_v16hi, __gcc_v16hi, int)
__gcc_v8sf __builtin_ia32_minps256(__gcc_v8sf, __gcc_v8sf)
__gcc_v16si __builtin_ia32_cvtps2udq512_mask(__gcc_v16sf, __gcc_v16si, unsigned short, int)
__gcc_v8si __builtin_ia32_extracti32x8_mask(__gcc_v16si, int, __gcc_v8si, unsigned char)
__gcc_v8di __builtin_ia32_prorvq512(__gcc_v8di, __gcc_v8di)
__gcc_v8df __builtin_ia32_scalefpd512_mask(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int)
unsigned int __builtin_ia32_kmovd(unsigned int)
__gcc_v32qi __builtin_ia32_vgf2p8affineqb_v32qi(__gcc_v32qi, __gcc_v32qi, char)
__gcc_v32qi __builtin_ia32_pmovuswb512_mask(__gcc_v32hi, __gcc_v32qi, unsigned int)
unsigned short __builtin_ia32_ucmpd512_mask(__gcc_v16si, __gcc_v16si, int, unsigned short)
__gcc_v16sf __builtin_ia32_rndscaleps_mask(__gcc_v16sf, int, __gcc_v16sf, unsigned short, int)
void __builtin_ia32_storedquhi512_mask(__gcc_v32hi *, __gcc_v32hi, unsigned int)
unsigned int __builtin_ia32_kshiftrisi(unsigned int, unsigned int)
__gcc_v64qi __builtin_ia32_vgf2p8mulb_v64qi(__gcc_v64qi, __gcc_v64qi)
__gcc_v4si __builtin_ia32_psrav4si(__gcc_v4si, __gcc_v4si)
__gcc_v256si __builtin_ia32_tdpbusd_internal(unsigned short, unsigned short, unsigned short, __gcc_v256si, __gcc_v256si, __gcc_v256si)
__gcc_v32qi __builtin_ia32_loaddquqi256_mask(const __gcc_v32qi *, __gcc_v32qi, unsigned int)
__gcc_v16si __builtin_ia32_pslld512(__gcc_v16si, __gcc_v4si)
__gcc_v2sf __builtin_ia32_pfrsqrt(__gcc_v2sf)
__gcc_v4di __builtin_ia32_insert128i256(__gcc_v4di, __gcc_v2di, int)
void __builtin_ia32_scattersiv8df(void *, unsigned char, __gcc_v8si, __gcc_v8df, int)
int __builtin_ia32_kortestcsi(unsigned int, unsigned int)
__gcc_v2df __builtin_ia32_subsd_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__gcc_v16si __builtin_ia32_prord512(__gcc_v16si, int)
__gcc_v8si __builtin_ia32_cvtmask2d256(unsigned char)
__gcc_v8di __builtin_ia32_pmuldq512(__gcc_v16si, __gcc_v16si)
void __builtin_ia32_scattersiv16si(void *, unsigned short, __gcc_v16si, __gcc_v16si, int)
__gcc_v4si __builtin_ia32_psrlv4si(__gcc_v4si, __gcc_v4si)
void __builtin_ia32_maskstored256(__gcc_v8si *, __gcc_v8si, __gcc_v8si)
__gcc_v8df __builtin_ia32_vfmaddsubpd512_mask3(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int)
__gcc_v8di __builtin_ia32_movdqa64load512_mask(const __gcc_v8di *, __gcc_v8di, unsigned char)
unsigned int __builtin_ia32_vcvttsd2usi32(__gcc_v2df, int)
unsigned long long int __builtin_ia32_knotdi(unsigned long long int)
__gcc_v16hi __builtin_ia32_dbpsadbw256(__gcc_v32qi, __gcc_v32qi, int)
__gcc_v8df __builtin_ia32_mulpd512(__gcc_v8df, __gcc_v8df, int)
__gcc_v2sf __builtin_ia32_pfsub(__gcc_v2sf, __gcc_v2sf)
unsigned long long int __builtin_ia32_kshiftridi(unsigned long long int, unsigned int)
__gcc_v4di __builtin_ia32_pslldqi256_byteshift(__gcc_v4di, int)
__gcc_v32qi __builtin_ia32_vgf2p8affineinvqb_v32qi(__gcc_v32qi, __gcc_v32qi, char)
__gcc_v16qi __builtin_ia32_pmovsdb512_mask(__gcc_v16si, __gcc_v16qi, unsigned short)
__gcc_v32hi __builtin_ia32_pavgw512(__gcc_v32hi, __gcc_v32hi)
__gcc_v8sf __builtin_ia32_cvtuqq2ps512_mask(__gcc_v8di, __gcc_v8sf, unsigned char, int)
__gcc_v16si __builtin_ia32_vpermi2vard512(__gcc_v16si, __gcc_v16si, __gcc_v16si)
__gcc_v16hi __builtin_ia32_pmovsdw512_mask(__gcc_v16si, __gcc_v16hi, unsigned short)
void __builtin_ia32_storesd128_mask(__gcc_v2df *, __gcc_v2df, unsigned char)
__gcc_v16si __builtin_ia32_shuf_i32x4(__gcc_v16si, __gcc_v16si, int)
__gcc_v32hi __builtin_ia32_vpermi2varhi512(__gcc_v32hi, __gcc_v32hi, __gcc_v32hi)
__gcc_v8si __builtin_ia32_cvttps2dq256(__gcc_v8sf)
int __builtin_ia32_kortestcdi(unsigned long long int, unsigned long long int)
unsigned long long int __builtin_ia32_kanddi(unsigned long long int, unsigned long long int)
unsigned long long int __builtin_ia32_kandndi(unsigned long long int, unsigned long long int)
__gcc_v16si __builtin_ia32_prorvd512(__gcc_v16si, __gcc_v16si)
__gcc_v8di __builtin_ia32_cvttps2qq512_mask(__gcc_v8sf, __gcc_v8di, unsigned char, int)
unsigned char __builtin_ia32_knotqi(unsigned char)
unsigned short __builtin_ia32_cmpd512_mask(__gcc_v16si, __gcc_v16si, int, unsigned short)
__gcc_v2sf __builtin_ia32_pfsubr(__gcc_v2sf, __gcc_v2sf)
__gcc_v16si __builtin_ia32_selectd_512(unsigned short, __gcc_v16si, __gcc_v16si)
__gcc_v16qi __builtin_ia32_selectb_128(unsigned short, __gcc_v16qi, __gcc_v16qi)
__gcc_v4sf __builtin_ia32_vfmaddss3_maskz(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__gcc_v8df __builtin_ia32_rangepd512_mask(__gcc_v8df, __gcc_v8df, int, __gcc_v8df, unsigned char, int)
__gcc_v4sf __builtin_ia32_maskloadps(const __gcc_v4sf *, __gcc_v4si)
__gcc_v32hi __builtin_ia32_vpopcntw_512(__gcc_v32hi)
__gcc_v16sf __builtin_ia32_vfmaddps512_maskz(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, unsigned short, int)
__gcc_v8si __builtin_ia32_phaddd256(__gcc_v8si, __gcc_v8si)
__gcc_v8si __builtin_ia32_vec_set_v8si(__gcc_v8si, int, int)
__gcc_v4df __builtin_ia32_maskloadpd256(const __gcc_v4df *, __gcc_v4di)
int __builtin_ia32_ktestcqi(unsigned char, unsigned char)
__gcc_v4si __builtin_ia32_maskloadd(const __gcc_v4si *, __gcc_v4si)
__gcc_v4sf __builtin_ia32_vfmaddss3_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__gcc_v8si __builtin_ia32_cvtps2dq256(__gcc_v8sf)
__gcc_v4si __builtin_ia32_pblendd128(__gcc_v4si, __gcc_v4si, int)
__gcc_v16si __builtin_ia32_cvtps2dq512_mask(__gcc_v16sf, __gcc_v16si, unsigned short, int)
__gcc_v16sf __builtin_ia32_fixupimmps512_mask(__gcc_v16sf, __gcc_v16sf, __gcc_v16si, int, unsigned short, int)
__gcc_v4df __builtin_ia32_shufpd256(__gcc_v4df, __gcc_v4df, int)
__gcc_v16hi __builtin_ia32_psllv16hi(__gcc_v16hi, __gcc_v16hi)
__gcc_v16hi __builtin_ia32_pavgw256(__gcc_v16hi, __gcc_v16hi)
__gcc_v8df __builtin_ia32_vpermi2varpd512(__gcc_v8df, __gcc_v8di, __gcc_v8df)
unsigned long long int __builtin_ia32_vcvttsd2usi64(__gcc_v2df, int)
__gcc_v2df __builtin_ia32_sqrtsd_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__gcc_v2di __builtin_ia32_aesdec128(__gcc_v2di, __gcc_v2di)
__gcc_v4df __builtin_ia32_vperm2f128_pd256(__gcc_v4df, __gcc_v4df, int)
__gcc_v2df __builtin_ia32_vextractf128_pd256(__gcc_v4df, int)
__gcc_v8si __builtin_ia32_gatherd_d256(__gcc_v8si, const int *, __gcc_v8si, __gcc_v8si, char)
unsigned char __builtin_ia32_fpclassps128_mask(__gcc_v4sf, int, unsigned char)
__gcc_v16si __builtin_ia32_prolvd512(__gcc_v16si, __gcc_v16si)
__gcc_v4df __builtin_ia32_haddpd256(__gcc_v4df, __gcc_v4df)
__gcc_v8df __builtin_ia32_sqrtpd512(__gcc_v8df, int)
__gcc_v8df __builtin_ia32_vfmsubaddpd512_mask3(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int)
__gcc_v2df __builtin_ia32_gatherd_pd(__gcc_v2df, const double *, __gcc_v4si, __gcc_v2df, char)
__gcc_v8di __builtin_ia32_pclmulqdq512(__gcc_v8di, __gcc_v8di, char)
unsigned long long int __builtin_ia32_ucmpb512_mask(__gcc_v64qi, __gcc_v64qi, int, unsigned long long int)
__gcc_v16sf __builtin_ia32_mulps512(__gcc_v16sf, __gcc_v16sf, int)
__gcc_v16hi __builtin_ia32_psllw256(__gcc_v16hi, __gcc_v8hi)
int __builtin_ia32_vtestcpd(__gcc_v2df, __gcc_v2df)
unsigned char __builtin_ia32_fpclassps256_mask(__gcc_v8sf, int, unsigned char)