CBMC
gcc_builtin_headers_ia32-7.h
Go to the documentation of this file.
1 // clang-format off
2 // 3dnow
3 void __builtin_ia32_femms(void);
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
38 void __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
41 void __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);
43 void __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
46 void __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
49 void __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);
51 void __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);
53 void __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);
55 void __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
58 void __builtin_ia32_tile_loadconfig(const void *);
59 void __builtin_ia32_tile_loadconfig_internal(const void *);
60 void __builtin_ia32_tile_storeconfig(const void *);
61 void __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);
63 void __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);
65 void __builtin_ia32_tilerelease(void);
66 void __builtin_ia32_tilestored64(unsigned char, void *, __CPROVER_size_t);
67 void __builtin_ia32_tilestored64_internal(unsigned short, unsigned short, void *, __CPROVER_size_t, __gcc_v256si);
68 void __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);
94 void __builtin_ia32_maskstorepd(__gcc_v2df *, __gcc_v2di, __gcc_v2df);
95 void __builtin_ia32_maskstorepd256(__gcc_v4df *, __gcc_v4di, __gcc_v4df);
96 void __builtin_ia32_maskstoreps(__gcc_v4sf *, __gcc_v4si, __gcc_v4sf);
97 void __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);
102 int __builtin_ia32_movmskpd256(__gcc_v4df);
103 int __builtin_ia32_movmskps256(__gcc_v8sf);
104 int __builtin_ia32_ptestc256(__gcc_v4di, __gcc_v4di);
105 int __builtin_ia32_ptestnzc256(__gcc_v4di, __gcc_v4di);
106 int __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);
115 short __builtin_ia32_vec_ext_v16hi(__gcc_v16hi, int);
116 char __builtin_ia32_vec_ext_v32qi(__gcc_v32qi, int);
117 long long int __builtin_ia32_vec_ext_v4di(__gcc_v4di, int);
118 int __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);
140 int __builtin_ia32_vtestcpd(__gcc_v2df, __gcc_v2df);
141 int __builtin_ia32_vtestcpd256(__gcc_v4df, __gcc_v4df);
142 int __builtin_ia32_vtestcps(__gcc_v4sf, __gcc_v4sf);
143 int __builtin_ia32_vtestcps256(__gcc_v8sf, __gcc_v8sf);
144 int __builtin_ia32_vtestnzcpd(__gcc_v2df, __gcc_v2df);
145 int __builtin_ia32_vtestnzcpd256(__gcc_v4df, __gcc_v4df);
146 int __builtin_ia32_vtestnzcps(__gcc_v4sf, __gcc_v4sf);
147 int __builtin_ia32_vtestnzcps256(__gcc_v8sf, __gcc_v8sf);
148 int __builtin_ia32_vtestzpd(__gcc_v2df, __gcc_v2df);
149 int __builtin_ia32_vtestzpd256(__gcc_v4df, __gcc_v4df);
150 int __builtin_ia32_vtestzps(__gcc_v4sf, __gcc_v4sf);
151 int __builtin_ia32_vtestzps256(__gcc_v8sf, __gcc_v8sf);
152 void __builtin_ia32_vzeroall(void);
153 void __builtin_ia32_vzeroupper(void);
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);
181 void __builtin_ia32_maskstored(__gcc_v4si *, __gcc_v4si, __gcc_v4si);
182 void __builtin_ia32_maskstored256(__gcc_v8si *, __gcc_v8si, __gcc_v8si);
183 void __builtin_ia32_maskstoreq(__gcc_v2di *, __gcc_v2di, __gcc_v2di);
184 void __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);
210 int __builtin_ia32_pmovmskb256(__gcc_v32qi);
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
253 float __builtin_ia32_cvtsbf162ss_32(__bf16);
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);
275 unsigned long long int __builtin_ia32_vpshufbitqmb512_mask(__gcc_v64qi, __gcc_v64qi, unsigned long long int);
276 // avx512bw
277 unsigned long long int __builtin_ia32_kadddi(unsigned long long int, unsigned long long int);
278 unsigned int __builtin_ia32_kaddsi(unsigned int, unsigned int);
279 unsigned long long int __builtin_ia32_kanddi(unsigned long long int, unsigned long long int);
280 unsigned long long int __builtin_ia32_kandndi(unsigned long long int, unsigned long long int);
281 unsigned int __builtin_ia32_kandnsi(unsigned int, unsigned int);
282 unsigned int __builtin_ia32_kandsi(unsigned int, unsigned int);
283 unsigned int __builtin_ia32_kmovd(unsigned int);
284 unsigned long long int __builtin_ia32_kmovq(unsigned long long int);
285 unsigned long long int __builtin_ia32_knotdi(unsigned long long int);
286 unsigned int __builtin_ia32_knotsi(unsigned int);
287 unsigned long long int __builtin_ia32_kordi(unsigned long long int, unsigned long long int);
288 unsigned int __builtin_ia32_korsi(unsigned int, unsigned int);
289 int __builtin_ia32_kortestcdi(unsigned long long int, unsigned long long int);
290 int __builtin_ia32_kortestcsi(unsigned int, unsigned int);
291 int __builtin_ia32_kortestzdi(unsigned long long int, unsigned long long int);
292 int __builtin_ia32_kortestzsi(unsigned int, unsigned int);
293 unsigned long long int __builtin_ia32_kshiftlidi(unsigned long long int, unsigned int);
294 unsigned int __builtin_ia32_kshiftlisi(unsigned int, unsigned int);
295 unsigned long long int __builtin_ia32_kshiftridi(unsigned long long int, unsigned int);
296 unsigned int __builtin_ia32_kshiftrisi(unsigned int, unsigned int);
297 int __builtin_ia32_ktestcdi(unsigned long long int, unsigned long long int);
298 int __builtin_ia32_ktestcsi(unsigned int, unsigned int);
299 int __builtin_ia32_ktestzdi(unsigned long long int, unsigned long long int);
300 int __builtin_ia32_ktestzsi(unsigned int, unsigned int);
301 unsigned long long int __builtin_ia32_kunpckdi(unsigned long long int, unsigned long long int);
302 unsigned int __builtin_ia32_kunpcksi(unsigned int, unsigned int);
303 unsigned long long int __builtin_ia32_kxnordi(unsigned long long int, unsigned long long int);
304 unsigned int __builtin_ia32_kxnorsi(unsigned int, unsigned int);
305 unsigned long long int __builtin_ia32_kxordi(unsigned long long int, unsigned long long int);
306 unsigned int __builtin_ia32_kxorsi(unsigned int, unsigned int);
307 // avx512bw,avx512vl
308 unsigned short __builtin_ia32_cvtb2mask128(__gcc_v16qi);
309 unsigned 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);
314 unsigned char __builtin_ia32_cvtw2mask128(__gcc_v8hi);
315 unsigned 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
335 unsigned long long int __builtin_ia32_cmpb512_mask(__gcc_v64qi, __gcc_v64qi, int, unsigned long long int);
336 unsigned int __builtin_ia32_cmpw512_mask(__gcc_v32hi, __gcc_v32hi, int, unsigned int);
337 unsigned 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);
340 unsigned 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);
355 void __builtin_ia32_pmovswb512mem_mask(__gcc_v32qi *, __gcc_v32hi, unsigned int);
356 __gcc_v32qi __builtin_ia32_pmovuswb512_mask(__gcc_v32hi, __gcc_v32qi, unsigned int);
357 void __builtin_ia32_pmovuswb512mem_mask(__gcc_v32qi *, __gcc_v32hi, unsigned int);
358 __gcc_v32qi __builtin_ia32_pmovwb512_mask(__gcc_v32hi, __gcc_v32qi, unsigned int);
359 void __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);
380 void __builtin_ia32_storedquhi512_mask(__gcc_v32hi *, __gcc_v32hi, unsigned int);
381 void __builtin_ia32_storedquqi512_mask(__gcc_v64qi *, __gcc_v64qi, unsigned long long int);
382 unsigned long long int __builtin_ia32_ucmpb512_mask(__gcc_v64qi, __gcc_v64qi, int, unsigned long long int);
383 unsigned 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
400 unsigned char __builtin_ia32_fpclasssd_mask(__gcc_v2df, int, unsigned char);
401 unsigned char __builtin_ia32_fpclassss_mask(__gcc_v4sf, int, unsigned char);
402 unsigned short __builtin_ia32_kaddhi(unsigned short, unsigned short);
403 unsigned char __builtin_ia32_kaddqi(unsigned char, unsigned char);
404 unsigned char __builtin_ia32_kandnqi(unsigned char, unsigned char);
405 unsigned char __builtin_ia32_kandqi(unsigned char, unsigned char);
406 unsigned char __builtin_ia32_kmovb(unsigned char);
407 unsigned char __builtin_ia32_knotqi(unsigned char);
408 unsigned char __builtin_ia32_korqi(unsigned char, unsigned char);
409 int __builtin_ia32_kortestcqi(unsigned char, unsigned char);
410 int __builtin_ia32_kortestzqi(unsigned char, unsigned char);
411 unsigned char __builtin_ia32_kshiftliqi(unsigned char, unsigned int);
412 unsigned char __builtin_ia32_kshiftriqi(unsigned char, unsigned int);
413 int __builtin_ia32_ktestchi(unsigned short, unsigned short);
414 int __builtin_ia32_ktestcqi(unsigned char, unsigned char);
415 int __builtin_ia32_ktestzhi(unsigned short, unsigned short);
416 int __builtin_ia32_ktestzqi(unsigned char, unsigned char);
417 unsigned char __builtin_ia32_kxnorqi(unsigned char, unsigned char);
418 unsigned 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
424 unsigned char __builtin_ia32_cvtd2mask128(__gcc_v4si);
425 unsigned 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);
430 unsigned char __builtin_ia32_cvtq2mask128(__gcc_v2di);
431 unsigned 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);
434 unsigned char __builtin_ia32_fpclasspd128_mask(__gcc_v2df, int, unsigned char);
435 unsigned char __builtin_ia32_fpclasspd256_mask(__gcc_v4df, int, unsigned char);
436 unsigned char __builtin_ia32_fpclassps128_mask(__gcc_v4sf, int, unsigned char);
437 unsigned 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
441 unsigned 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);
448 unsigned 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);
461 unsigned char __builtin_ia32_fpclasspd512_mask(__gcc_v8df, int, unsigned char);
462 unsigned 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);
474 unsigned char __builtin_ia32_cmpsd_mask(__gcc_v2df, __gcc_v2df, int, unsigned char, int);
475 unsigned 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);
494 unsigned short __builtin_ia32_kandhi(unsigned short, unsigned short);
495 unsigned short __builtin_ia32_kandnhi(unsigned short, unsigned short);
496 unsigned short __builtin_ia32_kmovw(unsigned short);
497 unsigned short __builtin_ia32_knothi(unsigned short);
498 unsigned short __builtin_ia32_korhi(unsigned short, unsigned short);
499 int __builtin_ia32_kortestchi(unsigned short, unsigned short);
500 int __builtin_ia32_kortestzhi(unsigned short, unsigned short);
501 unsigned short __builtin_ia32_kshiftlihi(unsigned short, unsigned int);
502 unsigned short __builtin_ia32_kshiftrihi(unsigned short, unsigned int);
503 unsigned short __builtin_ia32_kunpckhi(unsigned short, unsigned short);
504 unsigned short __builtin_ia32_kxnorhi(unsigned short, unsigned short);
505 unsigned 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);
526 void __builtin_ia32_storesd128_mask(__gcc_v2df *, __gcc_v2df, unsigned char);
527 void __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);
530 int __builtin_ia32_vcomisd(__gcc_v2df, __gcc_v2df, int, int);
531 int __builtin_ia32_vcomiss(__gcc_v4sf, __gcc_v4sf, int, int);
532 int __builtin_ia32_vcvtsd2si32(__gcc_v2df, int);
533 long long int __builtin_ia32_vcvtsd2si64(__gcc_v2df, int);
534 unsigned int __builtin_ia32_vcvtsd2usi32(__gcc_v2df, int);
535 unsigned long long int __builtin_ia32_vcvtsd2usi64(__gcc_v2df, int);
536 int __builtin_ia32_vcvtss2si32(__gcc_v4sf, int);
537 long long int __builtin_ia32_vcvtss2si64(__gcc_v4sf, int);
538 unsigned int __builtin_ia32_vcvtss2usi32(__gcc_v4sf, int);
539 unsigned long long int __builtin_ia32_vcvtss2usi64(__gcc_v4sf, int);
540 int __builtin_ia32_vcvttsd2si32(__gcc_v2df, int);
541 long long int __builtin_ia32_vcvttsd2si64(__gcc_v2df, int);
542 unsigned int __builtin_ia32_vcvttsd2usi32(__gcc_v2df, int);
543 unsigned long long int __builtin_ia32_vcvttsd2usi64(__gcc_v2df, int);
544 int __builtin_ia32_vcvttss2si32(__gcc_v4sf, int);
545 long long int __builtin_ia32_vcvttss2si64(__gcc_v4sf, int);
546 unsigned int __builtin_ia32_vcvttss2usi32(__gcc_v4sf, int);
547 unsigned 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);
561 unsigned short __builtin_ia32_cmpd512_mask(__gcc_v16si, __gcc_v16si, int, unsigned short);
562 unsigned char __builtin_ia32_cmppd512_mask(__gcc_v8df, __gcc_v8df, int, unsigned char, int);
563 unsigned short __builtin_ia32_cmpps512_mask(__gcc_v16sf, __gcc_v16sf, int, unsigned short, int);
564 unsigned 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);
569 void __builtin_ia32_compressstoredf512_mask(__gcc_v8df *, __gcc_v8df, unsigned char);
570 void __builtin_ia32_compressstoredi512_mask(__gcc_v8di *, __gcc_v8di, unsigned char);
571 void __builtin_ia32_compressstoresf512_mask(__gcc_v16sf *, __gcc_v16sf, unsigned short);
572 void __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);
630 void __builtin_ia32_movdqa32store512_mask(__gcc_v16si *, __gcc_v16si, unsigned short);
631 __gcc_v8di __builtin_ia32_movdqa64load512_mask(const __gcc_v8di *, __gcc_v8di, unsigned char);
632 void __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);
642 void __builtin_ia32_pmovdb512mem_mask(__gcc_v16qi *, __gcc_v16si, unsigned short);
643 __gcc_v16hi __builtin_ia32_pmovdw512_mask(__gcc_v16si, __gcc_v16hi, unsigned short);
644 void __builtin_ia32_pmovdw512mem_mask(__gcc_v16hi *, __gcc_v16si, unsigned short);
645 __gcc_v16qi __builtin_ia32_pmovqb512_mask(__gcc_v8di, __gcc_v16qi, unsigned char);
646 void __builtin_ia32_pmovqb512mem_mask(__gcc_v16qi *, __gcc_v8di, unsigned char);
647 __gcc_v8si __builtin_ia32_pmovqd512_mask(__gcc_v8di, __gcc_v8si, unsigned char);
648 void __builtin_ia32_pmovqd512mem_mask(__gcc_v8si *, __gcc_v8di, unsigned char);
649 __gcc_v8hi __builtin_ia32_pmovqw512_mask(__gcc_v8di, __gcc_v8hi, unsigned char);
650 void __builtin_ia32_pmovqw512mem_mask(__gcc_v8hi *, __gcc_v8di, unsigned char);
651 __gcc_v16qi __builtin_ia32_pmovsdb512_mask(__gcc_v16si, __gcc_v16qi, unsigned short);
652 void __builtin_ia32_pmovsdb512mem_mask(__gcc_v16qi *, __gcc_v16si, unsigned short);
653 __gcc_v16hi __builtin_ia32_pmovsdw512_mask(__gcc_v16si, __gcc_v16hi, unsigned short);
654 void __builtin_ia32_pmovsdw512mem_mask(__gcc_v16hi *, __gcc_v16si, unsigned short);
655 __gcc_v16qi __builtin_ia32_pmovsqb512_mask(__gcc_v8di, __gcc_v16qi, unsigned char);
656 void __builtin_ia32_pmovsqb512mem_mask(__gcc_v16qi *, __gcc_v8di, unsigned char);
657 __gcc_v8si __builtin_ia32_pmovsqd512_mask(__gcc_v8di, __gcc_v8si, unsigned char);
658 void __builtin_ia32_pmovsqd512mem_mask(__gcc_v8si *, __gcc_v8di, unsigned char);
659 __gcc_v8hi __builtin_ia32_pmovsqw512_mask(__gcc_v8di, __gcc_v8hi, unsigned char);
660 void __builtin_ia32_pmovsqw512mem_mask(__gcc_v8hi *, __gcc_v8di, unsigned char);
661 __gcc_v16qi __builtin_ia32_pmovusdb512_mask(__gcc_v16si, __gcc_v16qi, unsigned short);
662 void __builtin_ia32_pmovusdb512mem_mask(__gcc_v16qi *, __gcc_v16si, unsigned short);
663 __gcc_v16hi __builtin_ia32_pmovusdw512_mask(__gcc_v16si, __gcc_v16hi, unsigned short);
664 void __builtin_ia32_pmovusdw512mem_mask(__gcc_v16hi *, __gcc_v16si, unsigned short);
665 __gcc_v16qi __builtin_ia32_pmovusqb512_mask(__gcc_v8di, __gcc_v16qi, unsigned char);
666 void __builtin_ia32_pmovusqb512mem_mask(__gcc_v16qi *, __gcc_v8di, unsigned char);
667 __gcc_v8si __builtin_ia32_pmovusqd512_mask(__gcc_v8di, __gcc_v8si, unsigned char);
668 void __builtin_ia32_pmovusqd512mem_mask(__gcc_v8si *, __gcc_v8di, unsigned char);
669 __gcc_v8hi __builtin_ia32_pmovusqw512_mask(__gcc_v8di, __gcc_v8hi, unsigned char);
670 void __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);
706 double __builtin_ia32_reduce_fadd_pd512(double, __gcc_v8df);
707 float __builtin_ia32_reduce_fadd_ps512(float, __gcc_v16sf);
708 double __builtin_ia32_reduce_fmax_pd512(__gcc_v8df);
709 float __builtin_ia32_reduce_fmax_ps512(__gcc_v16sf);
710 double __builtin_ia32_reduce_fmin_pd512(__gcc_v8df);
711 float __builtin_ia32_reduce_fmin_ps512(__gcc_v16sf);
712 double __builtin_ia32_reduce_fmul_pd512(double, __gcc_v8df);
713 float __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);
720 void __builtin_ia32_scatterdiv16sf(void *, unsigned char, __gcc_v8di, __gcc_v8sf, int);
721 void __builtin_ia32_scatterdiv16si(void *, unsigned char, __gcc_v8di, __gcc_v8si, int);
722 void __builtin_ia32_scatterdiv8df(void *, unsigned char, __gcc_v8di, __gcc_v8df, int);
723 void __builtin_ia32_scatterdiv8di(void *, unsigned char, __gcc_v8di, __gcc_v8di, int);
724 void __builtin_ia32_scattersiv16sf(void *, unsigned short, __gcc_v16si, __gcc_v16sf, int);
725 void __builtin_ia32_scattersiv16si(void *, unsigned short, __gcc_v16si, __gcc_v16si, int);
726 void __builtin_ia32_scattersiv8df(void *, unsigned char, __gcc_v8si, __gcc_v8df, int);
727 void __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);
740 void __builtin_ia32_storeapd512_mask(__gcc_v8df *, __gcc_v8df, unsigned char);
741 void __builtin_ia32_storeaps512_mask(__gcc_v16sf *, __gcc_v16sf, unsigned short);
742 void __builtin_ia32_storedqudi512_mask(long long int *, __gcc_v8di, unsigned char);
743 void __builtin_ia32_storedqusi512_mask(int *, __gcc_v16si, unsigned short);
744 void __builtin_ia32_storeupd512_mask(double *, __gcc_v8df, unsigned char);
745 void __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);
748 unsigned short __builtin_ia32_ucmpd512_mask(__gcc_v16si, __gcc_v16si, int, unsigned short);
749 unsigned 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
__builtin_ia32_tcmmimfp16ps
void __builtin_ia32_tcmmimfp16ps(unsigned char, unsigned char, unsigned char)
__builtin_ia32_insertf64x4
__gcc_v8df __builtin_ia32_insertf64x4(__gcc_v8df, __gcc_v4df, int)
__builtin_ia32_sqrtss_round_mask
__gcc_v4sf __builtin_ia32_sqrtss_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__builtin_ia32_cvtdq2ps512_mask
__gcc_v16sf __builtin_ia32_cvtdq2ps512_mask(__gcc_v16si, __gcc_v16sf, unsigned short, int)
__builtin_ia32_aesdec512
__gcc_v8di __builtin_ia32_aesdec512(__gcc_v8di, __gcc_v8di)
__builtin_ia32_kmovw
unsigned short __builtin_ia32_kmovw(unsigned short)
__builtin_ia32_loaddquhi256_mask
__gcc_v16hi __builtin_ia32_loaddquhi256_mask(const __gcc_v16hi *, __gcc_v16hi, unsigned short)
__builtin_ia32_cmpss_mask
unsigned char __builtin_ia32_cmpss_mask(__gcc_v4sf, __gcc_v4sf, int, unsigned char, int)
__builtin_ia32_permdf256
__gcc_v4df __builtin_ia32_permdf256(__gcc_v4df, int)
__builtin_ia32_scattersiv8di
void __builtin_ia32_scattersiv8di(void *, unsigned char, __gcc_v8si, __gcc_v8di, int)
__builtin_ia32_psrlqi256
__gcc_v4di __builtin_ia32_psrlqi256(__gcc_v4di, int)
__builtin_ia32_kortestzdi
int __builtin_ia32_kortestzdi(unsigned long long int, unsigned long long int)
__builtin_ia32_ktestzqi
int __builtin_ia32_ktestzqi(unsigned char, unsigned char)
__builtin_ia32_psllqi256
__gcc_v4di __builtin_ia32_psllqi256(__gcc_v4di, int)
__builtin_ia32_cvttpd2dq256
__gcc_v4si __builtin_ia32_cvttpd2dq256(__gcc_v4df)
__builtin_ia32_pmulhrsw256
__gcc_v16hi __builtin_ia32_pmulhrsw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_sqrtps512
__gcc_v16sf __builtin_ia32_sqrtps512(__gcc_v16sf, int)
__builtin_ia32_vcvtss2usi64
unsigned long long int __builtin_ia32_vcvtss2usi64(__gcc_v4sf, int)
__builtin_ia32_aesimc128
__gcc_v2di __builtin_ia32_aesimc128(__gcc_v2di)
__builtin_ia32_inserti64x2_256
__gcc_v4di __builtin_ia32_inserti64x2_256(__gcc_v4di, __gcc_v2di, int)
__builtin_ia32_reduce_fadd_ps512
float __builtin_ia32_reduce_fadd_ps512(float, __gcc_v16sf)
__builtin_ia32_cvtmask2d128
__gcc_v4si __builtin_ia32_cvtmask2d128(unsigned char)
__builtin_ia32_vpshufbitqmb512_mask
unsigned long long int __builtin_ia32_vpshufbitqmb512_mask(__gcc_v64qi, __gcc_v64qi, unsigned long long int)
__builtin_ia32_fixupimmsd_maskz
__gcc_v2df __builtin_ia32_fixupimmsd_maskz(__gcc_v2df, __gcc_v2df, __gcc_v2di, int, unsigned char, int)
__builtin_ia32_tcmmrlfp16ps_internal
__gcc_v256si __builtin_ia32_tcmmrlfp16ps_internal(unsigned short, unsigned short, unsigned short, __gcc_v256si, __gcc_v256si, __gcc_v256si)
__builtin_ia32_cvtpd2uqq512_mask
__gcc_v8di __builtin_ia32_cvtpd2uqq512_mask(__gcc_v8df, __gcc_v8di, unsigned char, int)
__builtin_ia32_kaddqi
unsigned char __builtin_ia32_kaddqi(unsigned char, unsigned char)
__builtin_ia32_gatherq_ps
__gcc_v4sf __builtin_ia32_gatherq_ps(__gcc_v4sf, const float *, __gcc_v2di, __gcc_v4sf, char)
__builtin_ia32_movmskpd256
int __builtin_ia32_movmskpd256(__gcc_v4df)
__builtin_ia32_kshiftliqi
unsigned char __builtin_ia32_kshiftliqi(unsigned char, unsigned int)
__builtin_ia32_rsqrt14sd_mask
__gcc_v2df __builtin_ia32_rsqrt14sd_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char)
__builtin_ia32_sqrtps256
__gcc_v8sf __builtin_ia32_sqrtps256(__gcc_v8sf)
__builtin_ia32_selectw_512
__gcc_v32hi __builtin_ia32_selectw_512(unsigned int, __gcc_v32hi, __gcc_v32hi)
__builtin_ia32_storess128_mask
void __builtin_ia32_storess128_mask(__gcc_v4sf *, __gcc_v4sf, unsigned char)
__builtin_ia32_gatherdiv16si
__gcc_v8si __builtin_ia32_gatherdiv16si(__gcc_v8si, const void *, __gcc_v8di, unsigned char, int)
__builtin_ia32_maskstoreq
void __builtin_ia32_maskstoreq(__gcc_v2di *, __gcc_v2di, __gcc_v2di)
__builtin_ia32_cvtpd2qq512_mask
__gcc_v8di __builtin_ia32_cvtpd2qq512_mask(__gcc_v8df, __gcc_v8di, unsigned char, int)
__builtin_ia32_tdpbf16ps_internal
__gcc_v256si __builtin_ia32_tdpbf16ps_internal(unsigned short, unsigned short, unsigned short, __gcc_v256si, __gcc_v256si, __gcc_v256si)
__builtin_ia32_vgf2p8affineqb_v64qi
__gcc_v64qi __builtin_ia32_vgf2p8affineqb_v64qi(__gcc_v64qi, __gcc_v64qi, char)
__builtin_ia32_kxorhi
unsigned short __builtin_ia32_kxorhi(unsigned short, unsigned short)
__builtin_ia32_tcmmimfp16ps_internal
__gcc_v256si __builtin_ia32_tcmmimfp16ps_internal(unsigned short, unsigned short, unsigned short, __gcc_v256si, __gcc_v256si, __gcc_v256si)
__builtin_ia32_vec_ext_v8si
int __builtin_ia32_vec_ext_v8si(__gcc_v8si, int)
__builtin_ia32_psllv2di
__gcc_v2di __builtin_ia32_psllv2di(__gcc_v2di, __gcc_v2di)
__builtin_ia32_psrldqi256_byteshift
__gcc_v4di __builtin_ia32_psrldqi256_byteshift(__gcc_v4di, int)
__builtin_ia32_packuswb256
__gcc_v32qi __builtin_ia32_packuswb256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_rsqrt14pd512_mask
__gcc_v8df __builtin_ia32_rsqrt14pd512_mask(__gcc_v8df, __gcc_v8df, unsigned char)
__builtin_ia32_cvtss2sd_round_mask
__gcc_v2df __builtin_ia32_cvtss2sd_round_mask(__gcc_v2df, __gcc_v4sf, __gcc_v2df, unsigned char, int)
__builtin_ia32_cvtsd2ss_round_mask
__gcc_v4sf __builtin_ia32_cvtsd2ss_round_mask(__gcc_v4sf, __gcc_v2df, __gcc_v4sf, unsigned char, int)
__builtin_ia32_mulss_round_mask
__gcc_v4sf __builtin_ia32_mulss_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__builtin_ia32_cvtw2mask512
unsigned int __builtin_ia32_cvtw2mask512(__gcc_v32hi)
__builtin_ia32_tdpbssd
void __builtin_ia32_tdpbssd(unsigned char, unsigned char, unsigned char)
__builtin_ia32_storedqudi512_mask
void __builtin_ia32_storedqudi512_mask(long long int *, __gcc_v8di, unsigned char)
__builtin_ia32_kunpckdi
unsigned long long int __builtin_ia32_kunpckdi(unsigned long long int, unsigned long long int)
__builtin_ia32_cvtqq2pd512_mask
__gcc_v8df __builtin_ia32_cvtqq2pd512_mask(__gcc_v8di, __gcc_v8df, unsigned char, int)
__builtin_ia32_maskloadq
__gcc_v2di __builtin_ia32_maskloadq(const __gcc_v2di *, __gcc_v2di)
__builtin_ia32_compressdi512_mask
__gcc_v8di __builtin_ia32_compressdi512_mask(__gcc_v8di, __gcc_v8di, unsigned char)
__builtin_ia32_kxnordi
unsigned long long int __builtin_ia32_kxnordi(unsigned long long int, unsigned long long int)
__builtin_ia32_cvtq2mask128
unsigned char __builtin_ia32_cvtq2mask128(__gcc_v2di)
__builtin_ia32_addsd_round_mask
__gcc_v2df __builtin_ia32_addsd_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__builtin_ia32_vcvtsd2usi32
unsigned int __builtin_ia32_vcvtsd2usi32(__gcc_v2df, int)
__builtin_ia32_fpclassps512_mask
unsigned short __builtin_ia32_fpclassps512_mask(__gcc_v16sf, int, unsigned short)
__builtin_ia32_pmuldq256
__gcc_v4di __builtin_ia32_pmuldq256(__gcc_v8si, __gcc_v8si)
__builtin_ia32_phaddsw256
__gcc_v16hi __builtin_ia32_phaddsw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_pmovusqb512_mask
__gcc_v16qi __builtin_ia32_pmovusqb512_mask(__gcc_v8di, __gcc_v16qi, unsigned char)
__builtin_ia32_vcvttss2si32
int __builtin_ia32_vcvttss2si32(__gcc_v4sf, int)
__builtin_ia32_vcvtneps2bf16256
__gcc_v8hf __builtin_ia32_vcvtneps2bf16256(__gcc_v8sf)
__builtin_ia32_pmovsqb512mem_mask
void __builtin_ia32_pmovsqb512mem_mask(__gcc_v16qi *, __gcc_v8di, unsigned char)
__builtin_ia32_tilestored64_internal
void __builtin_ia32_tilestored64_internal(unsigned short, unsigned short, void *, __CPROVER_size_t, __gcc_v256si)
__builtin_ia32_insertf64x2_256
__gcc_v4df __builtin_ia32_insertf64x2_256(__gcc_v4df, __gcc_v2df, int)
__builtin_ia32_scalefps512_mask
__gcc_v16sf __builtin_ia32_scalefps512_mask(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, unsigned short, int)
__builtin_ia32_korqi
unsigned char __builtin_ia32_korqi(unsigned char, unsigned char)
__builtin_ia32_psrav8hi
__gcc_v8hi __builtin_ia32_psrav8hi(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_psllv32hi
__gcc_v32hi __builtin_ia32_psllv32hi(__gcc_v32hi, __gcc_v32hi)
__builtin_ia32_getexpss128_round_mask
__gcc_v4sf __builtin_ia32_getexpss128_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__builtin_ia32_tilezero
void __builtin_ia32_tilezero(unsigned char)
__builtin_ia32_vextractf128_si256
__gcc_v4si __builtin_ia32_vextractf128_si256(__gcc_v8si, int)
__builtin_ia32_pfcmpge
__gcc_v2si __builtin_ia32_pfcmpge(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_pi2fd
__gcc_v2sf __builtin_ia32_pi2fd(__gcc_v2si)
__builtin_ia32_kandnhi
unsigned short __builtin_ia32_kandnhi(unsigned short, unsigned short)
__builtin_ia32_reduce_fmax_pd512
double __builtin_ia32_reduce_fmax_pd512(__gcc_v8df)
__builtin_ia32_pmaddwd512
__gcc_v16si __builtin_ia32_pmaddwd512(__gcc_v32hi, __gcc_v32hi)
__builtin_ia32_lddqu256
__gcc_v32qi __builtin_ia32_lddqu256(const char *)
__builtin_ia32_inserti64x4
__gcc_v8di __builtin_ia32_inserti64x4(__gcc_v8di, __gcc_v4di, int)
__builtin_ia32_gathersiv16si
__gcc_v16si __builtin_ia32_gathersiv16si(__gcc_v16si, const void *, __gcc_v16si, unsigned short, int)
__builtin_ia32_vfmaddsd3_mask3
__gcc_v2df __builtin_ia32_vfmaddsd3_mask3(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__builtin_ia32_kxnorsi
unsigned int __builtin_ia32_kxnorsi(unsigned int, unsigned int)
__builtin_ia32_palignr512
__gcc_v64qi __builtin_ia32_palignr512(__gcc_v64qi, __gcc_v64qi, int)
__builtin_ia32_vtestzps
int __builtin_ia32_vtestzps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_psllq256
__gcc_v4di __builtin_ia32_psllq256(__gcc_v4di, __gcc_v2di)
__builtin_ia32_vcomisd
int __builtin_ia32_vcomisd(__gcc_v2df, __gcc_v2df, int, int)
__builtin_ia32_cmpps512_mask
unsigned short __builtin_ia32_cmpps512_mask(__gcc_v16sf, __gcc_v16sf, int, unsigned short, int)
__builtin_ia32_roundps256
__gcc_v8sf __builtin_ia32_roundps256(__gcc_v8sf, int)
__builtin_ia32_kshiftrihi
unsigned short __builtin_ia32_kshiftrihi(unsigned short, unsigned int)
__builtin_ia32_rcp14ss_mask
__gcc_v4sf __builtin_ia32_rcp14ss_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char)
__builtin_ia32_pmovsdw512mem_mask
void __builtin_ia32_pmovsdw512mem_mask(__gcc_v16hi *, __gcc_v16si, unsigned short)
__builtin_ia32_cvtsi2sd64
__gcc_v2df __builtin_ia32_cvtsi2sd64(__gcc_v2df, long long int, int)
__builtin_ia32_psradi256
__gcc_v8si __builtin_ia32_psradi256(__gcc_v8si, int)
__builtin_ia32_pfcmpeq
__gcc_v2si __builtin_ia32_pfcmpeq(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_psllv16si
__gcc_v16si __builtin_ia32_psllv16si(__gcc_v16si, __gcc_v16si)
__builtin_ia32_compressstoresi512_mask
void __builtin_ia32_compressstoresi512_mask(__gcc_v16si *, __gcc_v16si, unsigned short)
__builtin_ia32_rcp14sd_mask
__gcc_v2df __builtin_ia32_rcp14sd_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char)
__builtin_ia32_loaddquhi128_mask
__gcc_v8hi __builtin_ia32_loaddquhi128_mask(const __gcc_v8hi *, __gcc_v8hi, unsigned char)
__builtin_ia32_blendpd256
__gcc_v4df __builtin_ia32_blendpd256(__gcc_v4df, __gcc_v4df, int)
__builtin_ia32_vtestzps256
int __builtin_ia32_vtestzps256(__gcc_v8sf, __gcc_v8sf)
__builtin_ia32_haddps256
__gcc_v8sf __builtin_ia32_haddps256(__gcc_v8sf, __gcc_v8sf)
__builtin_ia32_tdpbusd
void __builtin_ia32_tdpbusd(unsigned char, unsigned char, unsigned char)
__builtin_ia32_reduce_fadd_pd512
double __builtin_ia32_reduce_fadd_pd512(double, __gcc_v8df)
__builtin_ia32_pfrcpit1
__gcc_v2sf __builtin_ia32_pfrcpit1(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_pmovdb512mem_mask
void __builtin_ia32_pmovdb512mem_mask(__gcc_v16qi *, __gcc_v16si, unsigned short)
__builtin_ia32_mpsadbw256
__gcc_v32qi __builtin_ia32_mpsadbw256(__gcc_v32qi, __gcc_v32qi, char)
__builtin_ia32_psrawi256
__gcc_v16hi __builtin_ia32_psrawi256(__gcc_v16hi, int)
__builtin_ia32_cvtmask2w128
__gcc_v8hi __builtin_ia32_cvtmask2w128(unsigned char)
__builtin_ia32_tdpbuud_internal
__gcc_v256si __builtin_ia32_tdpbuud_internal(unsigned short, unsigned short, unsigned short, __gcc_v256si, __gcc_v256si, __gcc_v256si)
__builtin_ia32_cvtusi2sd64
__gcc_v2df __builtin_ia32_cvtusi2sd64(__gcc_v2df, unsigned long long int, int)
__builtin_ia32_pmovqb512mem_mask
void __builtin_ia32_pmovqb512mem_mask(__gcc_v16qi *, __gcc_v8di, unsigned char)
__builtin_ia32_pternlogq512_maskz
__gcc_v8di __builtin_ia32_pternlogq512_maskz(__gcc_v8di, __gcc_v8di, __gcc_v8di, int, unsigned char)
__builtin_ia32_cvtneps2bf16_512_mask
__gcc_v16hf __builtin_ia32_cvtneps2bf16_512_mask(__gcc_v16sf, __gcc_v16hf, unsigned short)
__builtin_ia32_pmovmskb256
int __builtin_ia32_pmovmskb256(__gcc_v32qi)
__builtin_ia32_maskstorepd
void __builtin_ia32_maskstorepd(__gcc_v2df *, __gcc_v2di, __gcc_v2df)
__builtin_ia32_packsswb256
__gcc_v32qi __builtin_ia32_packsswb256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_vpermilvarpd
__gcc_v2df __builtin_ia32_vpermilvarpd(__gcc_v2df, __gcc_v2di)
__builtin_ia32_gatherd_d
__gcc_v4si __builtin_ia32_gatherd_d(__gcc_v4si, const int *, __gcc_v4si, __gcc_v4si, char)
__builtin_ia32_vpermilvarpd256
__gcc_v4df __builtin_ia32_vpermilvarpd256(__gcc_v4df, __gcc_v4di)
__builtin_ia32_tilerelease
void __builtin_ia32_tilerelease(void)
__builtin_ia32_aeskeygenassist128
__gcc_v2di __builtin_ia32_aeskeygenassist128(__gcc_v2di, char)
__builtin_ia32_maxss_round_mask
__gcc_v4sf __builtin_ia32_maxss_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__builtin_ia32_knothi
unsigned short __builtin_ia32_knothi(unsigned short)
__builtin_ia32_gatherdiv16sf
__gcc_v8sf __builtin_ia32_gatherdiv16sf(__gcc_v8sf, const void *, __gcc_v8di, unsigned char, int)
__builtin_ia32_vtestcps256
int __builtin_ia32_vtestcps256(__gcc_v8sf, __gcc_v8sf)
__builtin_ia32_kmovb
unsigned char __builtin_ia32_kmovb(unsigned char)
__builtin_ia32_pf2iw
__gcc_v2si __builtin_ia32_pf2iw(__gcc_v2sf)
__builtin_ia32_cvtq2mask512
unsigned char __builtin_ia32_cvtq2mask512(__gcc_v8di)
__builtin_ia32_alignq512
__gcc_v8di __builtin_ia32_alignq512(__gcc_v8di, __gcc_v8di, int)
__builtin_ia32_vcvttsd2si32
int __builtin_ia32_vcvttsd2si32(__gcc_v2df, int)
__builtin_ia32_vfmsubss3_mask3
__gcc_v4sf __builtin_ia32_vfmsubss3_mask3(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__builtin_ia32_psrldqi512_byteshift
__gcc_v8di __builtin_ia32_psrldqi512_byteshift(__gcc_v8di, int)
__builtin_ia32_tdpbssd_internal
__gcc_v256si __builtin_ia32_tdpbssd_internal(unsigned short, unsigned short, unsigned short, __gcc_v256si, __gcc_v256si, __gcc_v256si)
__builtin_ia32_kaddsi
unsigned int __builtin_ia32_kaddsi(unsigned int, unsigned int)
__builtin_ia32_extractf32x8_mask
__gcc_v8sf __builtin_ia32_extractf32x8_mask(__gcc_v16sf, int, __gcc_v8sf, unsigned char)
__builtin_ia32_tcmmrlfp16ps
void __builtin_ia32_tcmmrlfp16ps(unsigned char, unsigned char, unsigned char)
__builtin_ia32_pmovsqd512_mask
__gcc_v8si __builtin_ia32_pmovsqd512_mask(__gcc_v8di, __gcc_v8si, unsigned char)
__builtin_ia32_pfrcp
__gcc_v2sf __builtin_ia32_pfrcp(__gcc_v2sf)
__builtin_ia32_psllq512
__gcc_v8di __builtin_ia32_psllq512(__gcc_v8di, __gcc_v2di)
__builtin_ia32_vinsertf128_pd256
__gcc_v4df __builtin_ia32_vinsertf128_pd256(__gcc_v4df, __gcc_v2df, int)
__builtin_ia32_vtestnzcpd256
int __builtin_ia32_vtestnzcpd256(__gcc_v4df, __gcc_v4df)
__builtin_ia32_insertf32x4
__gcc_v16sf __builtin_ia32_insertf32x4(__gcc_v16sf, __gcc_v4sf, int)
__builtin_ia32_rsqrtps256
__gcc_v8sf __builtin_ia32_rsqrtps256(__gcc_v8sf)
__builtin_ia32_pmovusdw512mem_mask
void __builtin_ia32_pmovusdw512mem_mask(__gcc_v16hi *, __gcc_v16si, unsigned short)
__builtin_ia32_storeapd512_mask
void __builtin_ia32_storeapd512_mask(__gcc_v8df *, __gcc_v8df, unsigned char)
__builtin_ia32_psllv8hi
__gcc_v8hi __builtin_ia32_psllv8hi(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_mulsd_round_mask
__gcc_v2df __builtin_ia32_mulsd_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__builtin_ia32_fpclassss_mask
unsigned char __builtin_ia32_fpclassss_mask(__gcc_v4sf, int, unsigned char)
__builtin_ia32_vcvttss2usi32
unsigned int __builtin_ia32_vcvttss2usi32(__gcc_v4sf, int)
__builtin_ia32_scatterdiv8di
void __builtin_ia32_scatterdiv8di(void *, unsigned char, __gcc_v8di, __gcc_v8di, int)
__builtin_ia32_vplzcntq_128
__gcc_v2di __builtin_ia32_vplzcntq_128(__gcc_v2di)
__builtin_ia32_ptestc256
int __builtin_ia32_ptestc256(__gcc_v4di, __gcc_v4di)
__builtin_ia32_psrlwi256
__gcc_v16hi __builtin_ia32_psrlwi256(__gcc_v16hi, int)
__builtin_ia32_vfmaddsubps512_maskz
__gcc_v16sf __builtin_ia32_vfmaddsubps512_maskz(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, unsigned short, int)
__builtin_ia32_cmpw512_mask
unsigned int __builtin_ia32_cmpw512_mask(__gcc_v32hi, __gcc_v32hi, int, unsigned int)
__builtin_ia32_selectps_512
__gcc_v16sf __builtin_ia32_selectps_512(unsigned short, __gcc_v16sf, __gcc_v16sf)
__builtin_ia32_maskloadpd
__gcc_v2df __builtin_ia32_maskloadpd(const __gcc_v2df *, __gcc_v2di)
__builtin_ia32_pmovqd512mem_mask
void __builtin_ia32_pmovqd512mem_mask(__gcc_v8si *, __gcc_v8di, unsigned char)
__builtin_ia32_gatherq_pd256
__gcc_v4df __builtin_ia32_gatherq_pd256(__gcc_v4df, const double *, __gcc_v4di, __gcc_v4df, char)
__builtin_ia32_pfadd
__gcc_v2sf __builtin_ia32_pfadd(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_shufps512
__gcc_v16sf __builtin_ia32_shufps512(__gcc_v16sf, __gcc_v16sf, int)
__builtin_ia32_rsqrt14ps512_mask
__gcc_v16sf __builtin_ia32_rsqrt14ps512_mask(__gcc_v16sf, __gcc_v16sf, unsigned short)
__builtin_ia32_psllv4di
__gcc_v4di __builtin_ia32_psllv4di(__gcc_v4di, __gcc_v4di)
__builtin_ia32_phsubw256
__gcc_v16hi __builtin_ia32_phsubw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_maskstorepd256
void __builtin_ia32_maskstorepd256(__gcc_v4df *, __gcc_v4di, __gcc_v4df)
__builtin_ia32_vfmaddsubps512_mask
__gcc_v16sf __builtin_ia32_vfmaddsubps512_mask(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, unsigned short, int)
__builtin_ia32_vpermi2varps512
__gcc_v16sf __builtin_ia32_vpermi2varps512(__gcc_v16sf, __gcc_v16si, __gcc_v16sf)
__builtin_ia32_vextractf128_ps256
__gcc_v4sf __builtin_ia32_vextractf128_ps256(__gcc_v8sf, int)
__builtin_ia32_vfmaddps512_mask
__gcc_v16sf __builtin_ia32_vfmaddps512_mask(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, unsigned short, int)
__builtin_ia32_aesenclast512
__gcc_v8di __builtin_ia32_aesenclast512(__gcc_v8di, __gcc_v8di)
__builtin_ia32_pmulhuw256
__gcc_v16hi __builtin_ia32_pmulhuw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_vpconflictsi_512
__gcc_v16si __builtin_ia32_vpconflictsi_512(__gcc_v16si)
__builtin_ia32_psignw256
__gcc_v16hi __builtin_ia32_psignw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_pmovusdb512_mask
__gcc_v16qi __builtin_ia32_pmovusdb512_mask(__gcc_v16si, __gcc_v16qi, unsigned short)
__builtin_ia32_vfmsubsd3_mask3
__gcc_v2df __builtin_ia32_vfmsubsd3_mask3(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__builtin_ia32_reducesd_mask
__gcc_v2df __builtin_ia32_reducesd_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int, int)
__builtin_ia32_extractf64x4_mask
__gcc_v4df __builtin_ia32_extractf64x4_mask(__gcc_v8df, int, __gcc_v4df, unsigned char)
__builtin_ia32_psllw512
__gcc_v32hi __builtin_ia32_psllw512(__gcc_v32hi, __gcc_v8hi)
__builtin_ia32_reduce_fmin_pd512
double __builtin_ia32_reduce_fmin_pd512(__gcc_v8df)
__builtin_ia32_vplzcntq_256
__gcc_v4di __builtin_ia32_vplzcntq_256(__gcc_v4di)
__builtin_ia32_vec_ext_v4di
long long int __builtin_ia32_vec_ext_v4di(__gcc_v4di, int)
__builtin_ia32_permti256
__gcc_v4di __builtin_ia32_permti256(__gcc_v4di, __gcc_v4di, int)
__builtin_ia32_psrlwi512
__gcc_v32hi __builtin_ia32_psrlwi512(__gcc_v32hi, int)
__builtin_ia32_knotsi
unsigned int __builtin_ia32_knotsi(unsigned int)
__builtin_ia32_kordi
unsigned long long int __builtin_ia32_kordi(unsigned long long int, unsigned long long int)
__builtin_ia32_loaddqudi512_mask
__gcc_v8di __builtin_ia32_loaddqudi512_mask(const long long int *, __gcc_v8di, unsigned char)
__builtin_ia32_pmovdb512_mask
__gcc_v16qi __builtin_ia32_pmovdb512_mask(__gcc_v16si, __gcc_v16qi, unsigned short)
__builtin_ia32_kxorqi
unsigned char __builtin_ia32_kxorqi(unsigned char, unsigned char)
__builtin_ia32_expandloaddi512_mask
__gcc_v8di __builtin_ia32_expandloaddi512_mask(const __gcc_v8di *, __gcc_v8di, unsigned char)
__builtin_ia32_movmskps256
int __builtin_ia32_movmskps256(__gcc_v8sf)
__builtin_ia32_packsswb512
__gcc_v64qi __builtin_ia32_packsswb512(__gcc_v32hi, __gcc_v32hi)
__builtin_ia32_cvtsbf162ss_32
float __builtin_ia32_cvtsbf162ss_32(__bf16)
__builtin_ia32_psadbw256
__gcc_v4di __builtin_ia32_psadbw256(__gcc_v32qi, __gcc_v32qi)
__builtin_ia32_selectq_512
__gcc_v8di __builtin_ia32_selectq_512(unsigned char, __gcc_v8di, __gcc_v8di)
__builtin_ia32_scattersiv16sf
void __builtin_ia32_scattersiv16sf(void *, unsigned short, __gcc_v16si, __gcc_v16sf, int)
__builtin_ia32_pmaddubsw512
__gcc_v32hi __builtin_ia32_pmaddubsw512(__gcc_v64qi, __gcc_v64qi)
__builtin_ia32_maskstoreq256
void __builtin_ia32_maskstoreq256(__gcc_v4di *, __gcc_v4di, __gcc_v4di)
__builtin_ia32_permvarsf256
__gcc_v8sf __builtin_ia32_permvarsf256(__gcc_v8sf, __gcc_v8si)
__builtin_ia32_pslldi256
__gcc_v8si __builtin_ia32_pslldi256(__gcc_v8si, int)
__builtin_ia32_kxnorhi
unsigned short __builtin_ia32_kxnorhi(unsigned short, unsigned short)
__builtin_ia32_pblendvb256
__gcc_v32qi __builtin_ia32_pblendvb256(__gcc_v32qi, __gcc_v32qi, __gcc_v32qi)
__builtin_ia32_vpermilpd512
__gcc_v8df __builtin_ia32_vpermilpd512(__gcc_v8df, int)
__builtin_ia32_vplzcntd_256
__gcc_v8si __builtin_ia32_vplzcntd_256(__gcc_v8si)
__builtin_ia32_cvtusi2ss32
__gcc_v4sf __builtin_ia32_cvtusi2ss32(__gcc_v4sf, unsigned int, int)
__builtin_ia32_extracti64x2_256_mask
__gcc_v2di __builtin_ia32_extracti64x2_256_mask(__gcc_v4di, int, __gcc_v2di, unsigned char)
__builtin_ia32_addsubps256
__gcc_v8sf __builtin_ia32_addsubps256(__gcc_v8sf, __gcc_v8sf)
__builtin_ia32_cvtmask2q256
__gcc_v4di __builtin_ia32_cvtmask2q256(unsigned char)
__builtin_ia32_extracti64x4_mask
__gcc_v4di __builtin_ia32_extracti64x4_mask(__gcc_v8di, int, __gcc_v4di, unsigned char)
__builtin_ia32_kxordi
unsigned long long int __builtin_ia32_kxordi(unsigned long long int, unsigned long long int)
__builtin_ia32_fpclasspd128_mask
unsigned char __builtin_ia32_fpclasspd128_mask(__gcc_v2df, int, unsigned char)
__builtin_ia32_vec_ext_v32qi
char __builtin_ia32_vec_ext_v32qi(__gcc_v32qi, int)
__builtin_ia32_tileloadd64_internal
__gcc_v256si __builtin_ia32_tileloadd64_internal(unsigned short, unsigned short, const void *, __CPROVER_size_t)
__builtin_ia32_pslld256
__gcc_v8si __builtin_ia32_pslld256(__gcc_v8si, __gcc_v4si)
__builtin_ia32_getmantps512_mask
__gcc_v16sf __builtin_ia32_getmantps512_mask(__gcc_v16sf, int, __gcc_v16sf, unsigned short, int)
__builtin_ia32_dpbf16ps_128
__gcc_v4sf __builtin_ia32_dpbf16ps_128(__gcc_v4sf, __gcc_v8hf, __gcc_v8hf)
__builtin_ia32_gatherq_d
__gcc_v4si __builtin_ia32_gatherq_d(__gcc_v4si, const int *, __gcc_v2di, __gcc_v4si, char)
__builtin_ia32_loaddqusi512_mask
__gcc_v16si __builtin_ia32_loaddqusi512_mask(const int *, __gcc_v16si, unsigned short)
__builtin_ia32_cvtneps2bf16_128_mask
__gcc_v8hf __builtin_ia32_cvtneps2bf16_128_mask(__gcc_v4sf, __gcc_v8hf, unsigned char)
__builtin_ia32_vtestzpd
int __builtin_ia32_vtestzpd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_divps512
__gcc_v16sf __builtin_ia32_divps512(__gcc_v16sf, __gcc_v16sf, int)
__builtin_ia32_phsubd256
__gcc_v8si __builtin_ia32_phsubd256(__gcc_v8si, __gcc_v8si)
__builtin_ia32_rangesd128_round_mask
__gcc_v2df __builtin_ia32_rangesd128_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int, int)
__builtin_ia32_pmovsqw512mem_mask
void __builtin_ia32_pmovsqw512mem_mask(__gcc_v8hi *, __gcc_v8di, unsigned char)
__builtin_ia32_kunpckhi
unsigned short __builtin_ia32_kunpckhi(unsigned short, unsigned short)
__builtin_ia32_permvarhi256
__gcc_v16hi __builtin_ia32_permvarhi256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_fixupimmss_mask
__gcc_v4sf __builtin_ia32_fixupimmss_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4si, int, unsigned char, int)
__builtin_ia32_maskstored
void __builtin_ia32_maskstored(__gcc_v4si *, __gcc_v4si, __gcc_v4si)
__builtin_ia32_vfmaddpd512_mask3
__gcc_v8df __builtin_ia32_vfmaddpd512_mask3(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int)
__builtin_ia32_pmovsqw512_mask
__gcc_v8hi __builtin_ia32_pmovsqw512_mask(__gcc_v8di, __gcc_v8hi, unsigned char)
__builtin_ia32_ptestnzc256
int __builtin_ia32_ptestnzc256(__gcc_v4di, __gcc_v4di)
__builtin_ia32_pmulhuw512
__gcc_v32hi __builtin_ia32_pmulhuw512(__gcc_v32hi, __gcc_v32hi)
__builtin_ia32_vfmaddpd512_mask
__gcc_v8df __builtin_ia32_vfmaddpd512_mask(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int)
__builtin_ia32_rangeps512_mask
__gcc_v16sf __builtin_ia32_rangeps512_mask(__gcc_v16sf, __gcc_v16sf, int, __gcc_v16sf, unsigned short, int)
__builtin_ia32_psrav8di
__gcc_v8di __builtin_ia32_psrav8di(__gcc_v8di, __gcc_v8di)
__builtin_ia32_extractf32x4_mask
__gcc_v4sf __builtin_ia32_extractf32x4_mask(__gcc_v16sf, int, __gcc_v4sf, unsigned char)
__builtin_ia32_selectss_128
__gcc_v4sf __builtin_ia32_selectss_128(unsigned char, __gcc_v4sf, __gcc_v4sf)
__builtin_ia32_cvtq2mask256
unsigned char __builtin_ia32_cvtq2mask256(__gcc_v4di)
__builtin_ia32_psrlv2di
__gcc_v2di __builtin_ia32_psrlv2di(__gcc_v2di, __gcc_v2di)
__builtin_ia32_pmovwb512_mask
__gcc_v32qi __builtin_ia32_pmovwb512_mask(__gcc_v32hi, __gcc_v32qi, unsigned int)
__builtin_ia32_permvarsf512
__gcc_v16sf __builtin_ia32_permvarsf512(__gcc_v16sf, __gcc_v16si)
__builtin_ia32_dpbf16ps_512
__gcc_v16sf __builtin_ia32_dpbf16ps_512(__gcc_v16sf, __gcc_v32hf, __gcc_v32hf)
__builtin_ia32_getmantsd_round_mask
__gcc_v2df __builtin_ia32_getmantsd_round_mask(__gcc_v2df, __gcc_v2df, int, __gcc_v2df, unsigned char, int)
__builtin_ia32_pmovusqb512mem_mask
void __builtin_ia32_pmovusqb512mem_mask(__gcc_v16qi *, __gcc_v8di, unsigned char)
__builtin_ia32_compressstoredi512_mask
void __builtin_ia32_compressstoredi512_mask(__gcc_v8di *, __gcc_v8di, unsigned char)
__builtin_ia32_kmovq
unsigned long long int __builtin_ia32_kmovq(unsigned long long int)
__builtin_ia32_pfpnacc
__gcc_v2sf __builtin_ia32_pfpnacc(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_vinsertf128_si256
__gcc_v8si __builtin_ia32_vinsertf128_si256(__gcc_v8si, __gcc_v4si, int)
__builtin_ia32_pshuflw512
__gcc_v32hi __builtin_ia32_pshuflw512(__gcc_v32hi, int)
__builtin_ia32_rndscalesd_round_mask
__gcc_v2df __builtin_ia32_rndscalesd_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int, int)
__builtin_ia32_vpermi2varq512
__gcc_v8di __builtin_ia32_vpermi2varq512(__gcc_v8di, __gcc_v8di, __gcc_v8di)
__builtin_ia32_kshiftlisi
unsigned int __builtin_ia32_kshiftlisi(unsigned int, unsigned int)
__builtin_ia32_roundpd256
__gcc_v4df __builtin_ia32_roundpd256(__gcc_v4df, int)
__builtin_ia32_vfmaddsubps512_mask3
__gcc_v16sf __builtin_ia32_vfmaddsubps512_mask3(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, unsigned short, int)
__builtin_ia32_expandloaddf512_mask
__gcc_v8df __builtin_ia32_expandloaddf512_mask(const __gcc_v8df *, __gcc_v8df, unsigned char)
__builtin_ia32_gatherq_q256
__gcc_v4di __builtin_ia32_gatherq_q256(__gcc_v4di, const long long int *, __gcc_v4di, __gcc_v4di, char)
__builtin_ia32_gatherd_pd256
__gcc_v4df __builtin_ia32_gatherd_pd256(__gcc_v4df, const double *, __gcc_v4si, __gcc_v4df, char)
__builtin_ia32_pi2fw
__gcc_v2sf __builtin_ia32_pi2fw(__gcc_v2si)
__builtin_ia32_pmovqw512_mask
__gcc_v8hi __builtin_ia32_pmovqw512_mask(__gcc_v8di, __gcc_v8hi, unsigned char)
__builtin_ia32_kortestzhi
int __builtin_ia32_kortestzhi(unsigned short, unsigned short)
__builtin_ia32_tile_loadconfig_internal
void __builtin_ia32_tile_loadconfig_internal(const void *)
__builtin_ia32_ktestzhi
int __builtin_ia32_ktestzhi(unsigned short, unsigned short)
__builtin_ia32_loaddquqi512_mask
__gcc_v64qi __builtin_ia32_loaddquqi512_mask(const __gcc_v64qi *, __gcc_v64qi, unsigned long long int)
__builtin_ia32_kandnsi
unsigned int __builtin_ia32_kandnsi(unsigned int, unsigned int)
__builtin_ia32_tdpfp16ps
void __builtin_ia32_tdpfp16ps(unsigned char, unsigned char, unsigned char)
__builtin_ia32_gatherd_q256
__gcc_v4di __builtin_ia32_gatherd_q256(__gcc_v4di, const long long int *, __gcc_v4si, __gcc_v4di, char)
__builtin_ia32_addps512
__gcc_v16sf __builtin_ia32_addps512(__gcc_v16sf, __gcc_v16sf, int)
__builtin_ia32_maxps256
__gcc_v8sf __builtin_ia32_maxps256(__gcc_v8sf, __gcc_v8sf)
__builtin_ia32_selectpbf_128
__gcc_v8hf __builtin_ia32_selectpbf_128(unsigned char, __gcc_v8hf, __gcc_v8hf)
__builtin_ia32_vcvtss2usi32
unsigned int __builtin_ia32_vcvtss2usi32(__gcc_v4sf, int)
__builtin_ia32_pmovswb512_mask
__gcc_v32qi __builtin_ia32_pmovswb512_mask(__gcc_v32hi, __gcc_v32qi, unsigned int)
__builtin_ia32_pshufd256
__gcc_v8si __builtin_ia32_pshufd256(__gcc_v8si, int)
__builtin_ia32_loaddquqi128_mask
__gcc_v16qi __builtin_ia32_loaddquqi128_mask(const __gcc_v16qi *, __gcc_v16qi, unsigned short)
__builtin_ia32_shufps256
__gcc_v8sf __builtin_ia32_shufps256(__gcc_v8sf, __gcc_v8sf, int)
__builtin_ia32_pmovsdb512mem_mask
void __builtin_ia32_pmovsdb512mem_mask(__gcc_v16qi *, __gcc_v16si, unsigned short)
__builtin_ia32_gathersiv8di
__gcc_v8di __builtin_ia32_gathersiv8di(__gcc_v8di, const void *, __gcc_v8si, unsigned char, int)
__builtin_ia32_vpermilpd
__gcc_v2df __builtin_ia32_vpermilpd(__gcc_v2df, int)
__builtin_ia32_vpermilps512
__gcc_v16sf __builtin_ia32_vpermilps512(__gcc_v16sf, int)
__builtin_ia32_expanddf512_mask
__gcc_v8df __builtin_ia32_expanddf512_mask(__gcc_v8df, __gcc_v8df, unsigned char)
__builtin_ia32_cvtpd2dq256
__gcc_v4si __builtin_ia32_cvtpd2dq256(__gcc_v4df)
__builtin_ia32_getmantpd512_mask
__gcc_v8df __builtin_ia32_getmantpd512_mask(__gcc_v8df, int, __gcc_v8df, unsigned char, int)
__builtin_ia32_vcvttss2usi64
unsigned long long int __builtin_ia32_vcvttss2usi64(__gcc_v4sf, int)
__builtin_ia32_vpopcntb_512
__gcc_v64qi __builtin_ia32_vpopcntb_512(__gcc_v64qi)
__builtin_ia32_psrlw512
__gcc_v32hi __builtin_ia32_psrlw512(__gcc_v32hi, __gcc_v8hi)
__builtin_ia32_vpconflictdi_128
__gcc_v2di __builtin_ia32_vpconflictdi_128(__gcc_v2di)
__builtin_ia32_psrad256
__gcc_v8si __builtin_ia32_psrad256(__gcc_v8si, __gcc_v4si)
__builtin_ia32_pternlogd512_mask
__gcc_v16si __builtin_ia32_pternlogd512_mask(__gcc_v16si, __gcc_v16si, __gcc_v16si, int, unsigned short)
__builtin_ia32_cmppd256
__gcc_v4df __builtin_ia32_cmppd256(__gcc_v4df, __gcc_v4df, char)
__builtin_ia32_vfmaddps512_mask3
__gcc_v16sf __builtin_ia32_vfmaddps512_mask3(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, unsigned short, int)
__builtin_ia32_fpclasspd256_mask
unsigned char __builtin_ia32_fpclasspd256_mask(__gcc_v4df, int, unsigned char)
__builtin_ia32_gatherd_ps
__gcc_v4sf __builtin_ia32_gatherd_ps(__gcc_v4sf, const float *, __gcc_v4si, __gcc_v4sf, char)
__builtin_ia32_cvtb2mask256
unsigned int __builtin_ia32_cvtb2mask256(__gcc_v32qi)
__builtin_ia32_movdqa32store512_mask
void __builtin_ia32_movdqa32store512_mask(__gcc_v16si *, __gcc_v16si, unsigned short)
__builtin_ia32_prorq512
__gcc_v8di __builtin_ia32_prorq512(__gcc_v8di, int)
__builtin_ia32_hsubps256
__gcc_v8sf __builtin_ia32_hsubps256(__gcc_v8sf, __gcc_v8sf)
__builtin_ia32_storedquqi512_mask
void __builtin_ia32_storedquqi512_mask(__gcc_v64qi *, __gcc_v64qi, unsigned long long int)
__builtin_ia32_blendps256
__gcc_v8sf __builtin_ia32_blendps256(__gcc_v8sf, __gcc_v8sf, int)
__builtin_ia32_reduce_fmul_ps512
float __builtin_ia32_reduce_fmul_ps512(float, __gcc_v16sf)
__builtin_ia32_cvttpd2uqq512_mask
__gcc_v8di __builtin_ia32_cvttpd2uqq512_mask(__gcc_v8df, __gcc_v8di, unsigned char, int)
__builtin_ia32_pfrcpit2
__gcc_v2sf __builtin_ia32_pfrcpit2(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_minpd512
__gcc_v8df __builtin_ia32_minpd512(__gcc_v8df, __gcc_v8df, int)
__builtin_ia32_selectpbf_256
__gcc_v16hf __builtin_ia32_selectpbf_256(unsigned short, __gcc_v16hf, __gcc_v16hf)
__builtin_ia32_vcvtss2si64
long long int __builtin_ia32_vcvtss2si64(__gcc_v4sf, int)
__builtin_ia32_kshiftriqi
unsigned char __builtin_ia32_kshiftriqi(unsigned char, unsigned int)
__builtin_ia32_rangess128_round_mask
__gcc_v4sf __builtin_ia32_rangess128_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int, int)
__builtin_ia32_pshufb512
__gcc_v64qi __builtin_ia32_pshufb512(__gcc_v64qi, __gcc_v64qi)
__builtin_ia32_pmovwb512mem_mask
void __builtin_ia32_pmovwb512mem_mask(__gcc_v32qi *, __gcc_v32hi, unsigned int)
__builtin_ia32_fpclasspd512_mask
unsigned char __builtin_ia32_fpclasspd512_mask(__gcc_v8df, int, unsigned char)
__builtin_ia32_vzeroupper
void __builtin_ia32_vzeroupper(void)
__builtin_ia32_cvtusi2ss64
__gcc_v4sf __builtin_ia32_cvtusi2ss64(__gcc_v4sf, unsigned long long int, int)
__builtin_ia32_psllwi512
__gcc_v32hi __builtin_ia32_psllwi512(__gcc_v32hi, int)
__builtin_ia32_compresssi512_mask
__gcc_v16si __builtin_ia32_compresssi512_mask(__gcc_v16si, __gcc_v16si, unsigned short)
__builtin_ia32_vfmaddss3_mask3
__gcc_v4sf __builtin_ia32_vfmaddss3_mask3(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__builtin_ia32_selectb_512
__gcc_v64qi __builtin_ia32_selectb_512(unsigned long long int, __gcc_v64qi, __gcc_v64qi)
__builtin_ia32_aesenclast128
__gcc_v2di __builtin_ia32_aesenclast128(__gcc_v2di, __gcc_v2di)
__builtin_ia32_vpermilvarps
__gcc_v4sf __builtin_ia32_vpermilvarps(__gcc_v4sf, __gcc_v4si)
__builtin_ia32_permvarhi128
__gcc_v8hi __builtin_ia32_permvarhi128(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_pshufhw512
__gcc_v32hi __builtin_ia32_pshufhw512(__gcc_v32hi, int)
__builtin_ia32_vgf2p8mulb_v32qi
__gcc_v32qi __builtin_ia32_vgf2p8mulb_v32qi(__gcc_v32qi, __gcc_v32qi)
__builtin_ia32_pternlogd512_maskz
__gcc_v16si __builtin_ia32_pternlogd512_maskz(__gcc_v16si, __gcc_v16si, __gcc_v16si, int, unsigned short)
__builtin_ia32_vzeroall
void __builtin_ia32_vzeroall(void)
__builtin_ia32_subss_round_mask
__gcc_v4sf __builtin_ia32_subss_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__builtin_ia32_pmovusqw512mem_mask
void __builtin_ia32_pmovusqw512mem_mask(__gcc_v8hi *, __gcc_v8di, unsigned char)
__builtin_ia32_tile_storeconfig
void __builtin_ia32_tile_storeconfig(const void *)
__builtin_ia32_compressstoresf512_mask
void __builtin_ia32_compressstoresf512_mask(__gcc_v16sf *, __gcc_v16sf, unsigned short)
__builtin_ia32_vpermilps
__gcc_v4sf __builtin_ia32_vpermilps(__gcc_v4sf, int)
__builtin_ia32_vperm2f128_ps256
__gcc_v8sf __builtin_ia32_vperm2f128_ps256(__gcc_v8sf, __gcc_v8sf, int)
__builtin_ia32_pmovusdb512mem_mask
void __builtin_ia32_pmovusdb512mem_mask(__gcc_v16qi *, __gcc_v16si, unsigned short)
__builtin_ia32_vcvttss2si64
long long int __builtin_ia32_vcvttss2si64(__gcc_v4sf, int)
__builtin_ia32_reduce_fmax_ps512
float __builtin_ia32_reduce_fmax_ps512(__gcc_v16sf)
__builtin_ia32_vpconflictdi_256
__gcc_v4di __builtin_ia32_vpconflictdi_256(__gcc_v4di)
__builtin_ia32_psrlv8si
__gcc_v8si __builtin_ia32_psrlv8si(__gcc_v8si, __gcc_v8si)
__builtin_ia32_compressdf512_mask
__gcc_v8df __builtin_ia32_compressdf512_mask(__gcc_v8df, __gcc_v8df, unsigned char)
__builtin_ia32_pternlogq512_mask
__gcc_v8di __builtin_ia32_pternlogq512_mask(__gcc_v8di, __gcc_v8di, __gcc_v8di, int, unsigned char)
__builtin_ia32_psrav32hi
__gcc_v32hi __builtin_ia32_psrav32hi(__gcc_v32hi, __gcc_v32hi)
__builtin_ia32_vcvtph2ps512_mask
__gcc_v16sf __builtin_ia32_vcvtph2ps512_mask(__gcc_v16hi, __gcc_v16sf, unsigned short, int)
__builtin_ia32_shuf_f32x4
__gcc_v16sf __builtin_ia32_shuf_f32x4(__gcc_v16sf, __gcc_v16sf, int)
__builtin_ia32_loadaps512_mask
__gcc_v16sf __builtin_ia32_loadaps512_mask(const __gcc_v16sf *, __gcc_v16sf, unsigned short)
__builtin_ia32_blendvps256
__gcc_v8sf __builtin_ia32_blendvps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf)
__builtin_ia32_pfnacc
__gcc_v2sf __builtin_ia32_pfnacc(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_inserti32x4
__gcc_v16si __builtin_ia32_inserti32x4(__gcc_v16si, __gcc_v4si, int)
__builtin_ia32_permvardf512
__gcc_v8df __builtin_ia32_permvardf512(__gcc_v8df, __gcc_v8di)
__builtin_ia32_gatherdiv8di
__gcc_v8di __builtin_ia32_gatherdiv8di(__gcc_v8di, const void *, __gcc_v8di, unsigned char, int)
__builtin_ia32_cvtb2mask128
unsigned short __builtin_ia32_cvtb2mask128(__gcc_v16qi)
__builtin_ia32_scalefsd_round_mask
__gcc_v2df __builtin_ia32_scalefsd_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__builtin_ia32_tdpbuud
void __builtin_ia32_tdpbuud(unsigned char, unsigned char, unsigned char)
__builtin_ia32_vcvtsd2usi64
unsigned long long int __builtin_ia32_vcvtsd2usi64(__gcc_v2df, int)
__builtin_ia32_maskstoreps256
void __builtin_ia32_maskstoreps256(__gcc_v8sf *, __gcc_v8si, __gcc_v8sf)
__builtin_ia32_aesenc512
__gcc_v8di __builtin_ia32_aesenc512(__gcc_v8di, __gcc_v8di)
__builtin_ia32_vplzcntd_512
__gcc_v16si __builtin_ia32_vplzcntd_512(__gcc_v16si)
__builtin_ia32_cmppd512_mask
unsigned char __builtin_ia32_cmppd512_mask(__gcc_v8df, __gcc_v8df, int, unsigned char, int)
__builtin_ia32_pslldi512
__gcc_v16si __builtin_ia32_pslldi512(__gcc_v16si, int)
__builtin_ia32_cvtqq2ps512_mask
__gcc_v8sf __builtin_ia32_cvtqq2ps512_mask(__gcc_v8di, __gcc_v8sf, unsigned char, int)
__builtin_ia32_tdpbsud_internal
__gcc_v256si __builtin_ia32_tdpbsud_internal(unsigned short, unsigned short, unsigned short, __gcc_v256si, __gcc_v256si, __gcc_v256si)
__builtin_ia32_cvtb2mask512
unsigned long long int __builtin_ia32_cvtb2mask512(__gcc_v64qi)
__builtin_ia32_selectsbf_128
__gcc_v8hf __builtin_ia32_selectsbf_128(unsigned char, __gcc_v8hf, __gcc_v8hf)
__builtin_ia32_pf2id
__gcc_v2si __builtin_ia32_pf2id(__gcc_v2sf)
__builtin_ia32_ucmpw512_mask
unsigned int __builtin_ia32_ucmpw512_mask(__gcc_v32hi, __gcc_v32hi, int, unsigned int)
__builtin_ia32_pmulhrsw512
__gcc_v32hi __builtin_ia32_pmulhrsw512(__gcc_v32hi, __gcc_v32hi)
__builtin_ia32_tdpfp16ps_internal
__gcc_v256si __builtin_ia32_tdpfp16ps_internal(unsigned short, unsigned short, unsigned short, __gcc_v256si, __gcc_v256si, __gcc_v256si)
__builtin_ia32_extracti64x2_512_mask
__gcc_v2di __builtin_ia32_extracti64x2_512_mask(__gcc_v8di, int, __gcc_v2di, unsigned char)
__builtin_ia32_cmpsd_mask
unsigned char __builtin_ia32_cmpsd_mask(__gcc_v2df, __gcc_v2df, int, unsigned char, int)
__builtin_ia32_cvttpd2udq512_mask
__gcc_v8si __builtin_ia32_cvttpd2udq512_mask(__gcc_v8df, __gcc_v8si, unsigned char, int)
__builtin_ia32_vcvtneps2bf16128
__gcc_v8hf __builtin_ia32_vcvtneps2bf16128(__gcc_v4sf)
__builtin_ia32_cvtpd2ps256
__gcc_v4sf __builtin_ia32_cvtpd2ps256(__gcc_v4df)
__builtin_ia32_vplzcntq_512
__gcc_v8di __builtin_ia32_vplzcntq_512(__gcc_v8di)
__builtin_ia32_vtestnzcps256
int __builtin_ia32_vtestnzcps256(__gcc_v8sf, __gcc_v8sf)
__builtin_ia32_vtestcpd256
int __builtin_ia32_vtestcpd256(__gcc_v4df, __gcc_v4df)
__builtin_ia32_psadbw512
__gcc_v8di __builtin_ia32_psadbw512(__gcc_v64qi, __gcc_v64qi)
__builtin_ia32_compresssf512_mask
__gcc_v16sf __builtin_ia32_compresssf512_mask(__gcc_v16sf, __gcc_v16sf, unsigned short)
__builtin_ia32_aesdeclast128
__gcc_v2di __builtin_ia32_aesdeclast128(__gcc_v2di, __gcc_v2di)
__builtin_ia32_cvtneps2bf16_256_mask
__gcc_v8hf __builtin_ia32_cvtneps2bf16_256_mask(__gcc_v8sf, __gcc_v8hf, unsigned char)
__builtin_ia32_pmovsqd512mem_mask
void __builtin_ia32_pmovsqd512mem_mask(__gcc_v8si *, __gcc_v8di, unsigned char)
__builtin_ia32_psllv8si
__gcc_v8si __builtin_ia32_psllv8si(__gcc_v8si, __gcc_v8si)
__builtin_ia32_blendvpd256
__gcc_v4df __builtin_ia32_blendvpd256(__gcc_v4df, __gcc_v4df, __gcc_v4df)
__builtin_ia32_cvtps2pd512_mask
__gcc_v8df __builtin_ia32_cvtps2pd512_mask(__gcc_v8sf, __gcc_v8df, unsigned char, int)
__builtin_ia32_kunpcksi
unsigned int __builtin_ia32_kunpcksi(unsigned int, unsigned int)
__builtin_ia32_maskloadd256
__gcc_v8si __builtin_ia32_maskloadd256(const __gcc_v8si *, __gcc_v8si)
__builtin_ia32_vfmaddpd512_maskz
__gcc_v8df __builtin_ia32_vfmaddpd512_maskz(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int)
__builtin_ia32_psllv4si
__gcc_v4si __builtin_ia32_psllv4si(__gcc_v4si, __gcc_v4si)
__builtin_ia32_cvtpd2udq512_mask
__gcc_v8si __builtin_ia32_cvtpd2udq512_mask(__gcc_v8df, __gcc_v8si, unsigned char, int)
__builtin_ia32_pmovusqd512_mask
__gcc_v8si __builtin_ia32_pmovusqd512_mask(__gcc_v8di, __gcc_v8si, unsigned char)
__builtin_ia32_movdqa32load512_mask
__gcc_v16si __builtin_ia32_movdqa32load512_mask(const __gcc_v16si *, __gcc_v16si, unsigned short)
__builtin_ia32_permdi256
__gcc_v4di __builtin_ia32_permdi256(__gcc_v4di, int)
__builtin_ia32_loadupd512_mask
__gcc_v8df __builtin_ia32_loadupd512_mask(const double *, __gcc_v8df, unsigned char)
__builtin_ia32_aesdeclast512
__gcc_v8di __builtin_ia32_aesdeclast512(__gcc_v8di, __gcc_v8di)
__builtin_ia32_alignd512
__gcc_v16si __builtin_ia32_alignd512(__gcc_v16si, __gcc_v16si, int)
__builtin_ia32_psrldi256
__gcc_v8si __builtin_ia32_psrldi256(__gcc_v8si, int)
__builtin_ia32_vpermilps256
__gcc_v8sf __builtin_ia32_vpermilps256(__gcc_v8sf, int)
__builtin_ia32_subpd512
__gcc_v8df __builtin_ia32_subpd512(__gcc_v8df, __gcc_v8df, int)
__builtin_ia32_cvtne2ps2bf16_256
__gcc_v16hf __builtin_ia32_cvtne2ps2bf16_256(__gcc_v8sf, __gcc_v8sf)
__builtin_ia32_storeupd512_mask
void __builtin_ia32_storeupd512_mask(double *, __gcc_v8df, unsigned char)
__builtin_ia32_minpd256
__gcc_v4df __builtin_ia32_minpd256(__gcc_v4df, __gcc_v4df)
__builtin_ia32_psrav16si
__gcc_v16si __builtin_ia32_psrav16si(__gcc_v16si, __gcc_v16si)
__builtin_ia32_pmuludq256
__gcc_v4di __builtin_ia32_pmuludq256(__gcc_v8si, __gcc_v8si)
__builtin_ia32_selectb_256
__gcc_v32qi __builtin_ia32_selectb_256(unsigned int, __gcc_v32qi, __gcc_v32qi)
__builtin_ia32_scatterdiv16sf
void __builtin_ia32_scatterdiv16sf(void *, unsigned char, __gcc_v8di, __gcc_v8sf, int)
__builtin_ia32_gatherdiv8df
__gcc_v8df __builtin_ia32_gatherdiv8df(__gcc_v8df, const void *, __gcc_v8di, unsigned char, int)
__builtin_ia32_ktestcsi
int __builtin_ia32_ktestcsi(unsigned int, unsigned int)
__builtin_ia32_pmovusdw512_mask
__gcc_v16hi __builtin_ia32_pmovusdw512_mask(__gcc_v16si, __gcc_v16hi, unsigned short)
__builtin_ia32_vcvtsd2si32
int __builtin_ia32_vcvtsd2si32(__gcc_v2df, int)
__builtin_ia32_psrlv16hi
__gcc_v16hi __builtin_ia32_psrlv16hi(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_cvtpd2dq512_mask
__gcc_v8si __builtin_ia32_cvtpd2dq512_mask(__gcc_v8df, __gcc_v8si, unsigned char, int)
__builtin_ia32_reducess_mask
__gcc_v4sf __builtin_ia32_reducess_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int, int)
__builtin_ia32_extracti32x4_mask
__gcc_v4si __builtin_ia32_extracti32x4_mask(__gcc_v16si, int, __gcc_v4si, unsigned char)
__builtin_ia32_tile_loadconfig
void __builtin_ia32_tile_loadconfig(const void *)
__builtin_ia32_fixupimmsd_mask
__gcc_v2df __builtin_ia32_fixupimmsd_mask(__gcc_v2df, __gcc_v2df, __gcc_v2di, int, unsigned char, int)
__builtin_ia32_vcomiss
int __builtin_ia32_vcomiss(__gcc_v4sf, __gcc_v4sf, int, int)
__builtin_ia32_pmulhrw
__gcc_v4hi __builtin_ia32_pmulhrw(__gcc_v4hi, __gcc_v4hi)
__builtin_ia32_divss_round_mask
__gcc_v4sf __builtin_ia32_divss_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__builtin_ia32_psrav8si
__gcc_v8si __builtin_ia32_psrav8si(__gcc_v8si, __gcc_v8si)
__builtin_ia32_minss_round_mask
__gcc_v4sf __builtin_ia32_minss_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__builtin_ia32_psradi512
__gcc_v16si __builtin_ia32_psradi512(__gcc_v16si, int)
__builtin_ia32_tileloaddt164
void __builtin_ia32_tileloaddt164(unsigned char, const void *, __CPROVER_size_t)
__builtin_ia32_permdf512
__gcc_v8df __builtin_ia32_permdf512(__gcc_v8df, int)
__builtin_ia32_vfmsubaddps512_mask3
__gcc_v16sf __builtin_ia32_vfmsubaddps512_mask3(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, unsigned short, int)
__builtin_ia32_maskloadps256
__gcc_v8sf __builtin_ia32_maskloadps256(const __gcc_v8sf *, __gcc_v8si)
__builtin_ia32_vinsertf128_ps256
__gcc_v8sf __builtin_ia32_vinsertf128_ps256(__gcc_v8sf, __gcc_v4sf, int)
__builtin_ia32_maxpd512
__gcc_v8df __builtin_ia32_maxpd512(__gcc_v8df, __gcc_v8df, int)
__builtin_ia32_pshufhw256
__gcc_v16hi __builtin_ia32_pshufhw256(__gcc_v16hi, int)
__builtin_ia32_loaddquhi512_mask
__gcc_v32hi __builtin_ia32_loaddquhi512_mask(const __gcc_v32hi *, __gcc_v32hi, unsigned int)
__builtin_ia32_psrlv8di
__gcc_v8di __builtin_ia32_psrlv8di(__gcc_v8di, __gcc_v8di)
__builtin_ia32_addpd512
__gcc_v8df __builtin_ia32_addpd512(__gcc_v8df, __gcc_v8df, int)
__builtin_ia32_vcvttsd2si64
long long int __builtin_ia32_vcvttsd2si64(__gcc_v2df, int)
__builtin_ia32_tileloaddt164_internal
__gcc_v256si __builtin_ia32_tileloaddt164_internal(unsigned short, unsigned short, const void *, __CPROVER_size_t)
__builtin_ia32_maxps512
__gcc_v16sf __builtin_ia32_maxps512(__gcc_v16sf, __gcc_v16sf, int)
__builtin_ia32_loadsd128_mask
__gcc_v2df __builtin_ia32_loadsd128_mask(const __gcc_v2df *, __gcc_v2df, unsigned char)
__builtin_ia32_pmovuswb512mem_mask
void __builtin_ia32_pmovuswb512mem_mask(__gcc_v32qi *, __gcc_v32hi, unsigned int)
__builtin_ia32_cvtmask2q512
__gcc_v8di __builtin_ia32_cvtmask2q512(unsigned char)
__builtin_ia32_tdpbf16ps
void __builtin_ia32_tdpbf16ps(unsigned char, unsigned char, unsigned char)
__builtin_ia32_gatherd_q
__gcc_v2di __builtin_ia32_gatherd_q(__gcc_v2di, const long long int *, __gcc_v4si, __gcc_v2di, char)
__builtin_ia32_maxpd256
__gcc_v4df __builtin_ia32_maxpd256(__gcc_v4df, __gcc_v4df)
__builtin_ia32_fixupimmpd512_maskz
__gcc_v8df __builtin_ia32_fixupimmpd512_maskz(__gcc_v8df, __gcc_v8df, __gcc_v8di, int, unsigned char, int)
__builtin_ia32_pfacc
__gcc_v2sf __builtin_ia32_pfacc(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_gathersiv16sf
__gcc_v16sf __builtin_ia32_gathersiv16sf(__gcc_v16sf, const void *, __gcc_v16si, unsigned short, int)
__builtin_ia32_pmulhw256
__gcc_v16hi __builtin_ia32_pmulhw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_gatherq_ps256
__gcc_v4sf __builtin_ia32_gatherq_ps256(__gcc_v4sf, const float *, __gcc_v4di, __gcc_v4sf, char)
__builtin_ia32_vec_set_v32qi
__gcc_v32qi __builtin_ia32_vec_set_v32qi(__gcc_v32qi, char, int)
__builtin_ia32_psrld256
__gcc_v8si __builtin_ia32_psrld256(__gcc_v8si, __gcc_v4si)
__builtin_ia32_psraw256
__gcc_v16hi __builtin_ia32_psraw256(__gcc_v16hi, __gcc_v8hi)
__builtin_ia32_pavgb256
__gcc_v32qi __builtin_ia32_pavgb256(__gcc_v32qi, __gcc_v32qi)
__builtin_ia32_permdi512
__gcc_v8di __builtin_ia32_permdi512(__gcc_v8di, int)
__builtin_ia32_cvtne2ps2bf16_512
__gcc_v32hf __builtin_ia32_cvtne2ps2bf16_512(__gcc_v16sf, __gcc_v16sf)
__builtin_ia32_psignd256
__gcc_v8si __builtin_ia32_psignd256(__gcc_v8si, __gcc_v8si)
__builtin_ia32_psllwi256
__gcc_v16hi __builtin_ia32_psllwi256(__gcc_v16hi, int)
__builtin_ia32_pavgusb
__gcc_v8qi __builtin_ia32_pavgusb(__gcc_v8qi, __gcc_v8qi)
__builtin_ia32_vpermilpd256
__gcc_v4df __builtin_ia32_vpermilpd256(__gcc_v4df, int)
__builtin_ia32_prolq512
__gcc_v8di __builtin_ia32_prolq512(__gcc_v8di, int)
__builtin_ia32_ucmpq512_mask
unsigned char __builtin_ia32_ucmpq512_mask(__gcc_v8di, __gcc_v8di, int, unsigned char)
__builtin_ia32_cvtmask2b512
__gcc_v64qi __builtin_ia32_cvtmask2b512(unsigned long long int)
__builtin_ia32_vtestnzcps
int __builtin_ia32_vtestnzcps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_pmovdw512_mask
__gcc_v16hi __builtin_ia32_pmovdw512_mask(__gcc_v16si, __gcc_v16hi, unsigned short)
__builtin_ia32_vfmaddsd3_mask
__gcc_v2df __builtin_ia32_vfmaddsd3_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__builtin_ia32_kandhi
unsigned short __builtin_ia32_kandhi(unsigned short, unsigned short)
__builtin_ia32_korhi
unsigned short __builtin_ia32_korhi(unsigned short, unsigned short)
__builtin_ia32_psrlq256
__gcc_v4di __builtin_ia32_psrlq256(__gcc_v4di, __gcc_v2di)
__builtin_ia32_psrlv8hi
__gcc_v8hi __builtin_ia32_psrlv8hi(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_pslldqi512_byteshift
__gcc_v8di __builtin_ia32_pslldqi512_byteshift(__gcc_v8di, int)
__builtin_ia32_cvttpd2dq512_mask
__gcc_v8si __builtin_ia32_cvttpd2dq512_mask(__gcc_v8df, __gcc_v8si, unsigned char, int)
__builtin_ia32_selectsd_128
__gcc_v2df __builtin_ia32_selectsd_128(unsigned char, __gcc_v2df, __gcc_v2df)
__builtin_ia32_pmovdw512mem_mask
void __builtin_ia32_pmovdw512mem_mask(__gcc_v16hi *, __gcc_v16si, unsigned short)
__builtin_ia32_extractf64x2_256_mask
__gcc_v2df __builtin_ia32_extractf64x2_256_mask(__gcc_v4df, int, __gcc_v2df, unsigned char)
__builtin_ia32_packssdw256
__gcc_v16hi __builtin_ia32_packssdw256(__gcc_v8si, __gcc_v8si)
__builtin_ia32_kandqi
unsigned char __builtin_ia32_kandqi(unsigned char, unsigned char)
__builtin_ia32_cvtmask2b128
__gcc_v16qi __builtin_ia32_cvtmask2b128(unsigned short)
__builtin_ia32_ktestzdi
int __builtin_ia32_ktestzdi(unsigned long long int, unsigned long long int)
__builtin_ia32_packusdw256
__gcc_v16hi __builtin_ia32_packusdw256(__gcc_v8si, __gcc_v8si)
__builtin_ia32_cvtmask2w512
__gcc_v32hi __builtin_ia32_cvtmask2w512(unsigned int)
__builtin_ia32_psrav16hi
__gcc_v16hi __builtin_ia32_psrav16hi(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_vpconflictdi_512
__gcc_v8di __builtin_ia32_vpconflictdi_512(__gcc_v8di)
__builtin_ia32_scatterdiv16si
void __builtin_ia32_scatterdiv16si(void *, unsigned char, __gcc_v8di, __gcc_v8si, int)
__builtin_ia32_selectpbf_512
__gcc_v32hf __builtin_ia32_selectpbf_512(unsigned int, __gcc_v32hf, __gcc_v32hf)
__builtin_ia32_reduce_fmin_ps512
float __builtin_ia32_reduce_fmin_ps512(__gcc_v16sf)
__builtin_ia32_pmaddwd256
__gcc_v8si __builtin_ia32_pmaddwd256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_psllv8di
__gcc_v8di __builtin_ia32_psllv8di(__gcc_v8di, __gcc_v8di)
__builtin_ia32_cvtudq2ps512_mask
__gcc_v16sf __builtin_ia32_cvtudq2ps512_mask(__gcc_v16si, __gcc_v16sf, unsigned short, int)
__builtin_ia32_kortestzqi
int __builtin_ia32_kortestzqi(unsigned char, unsigned char)
__builtin_ia32_vtestzpd256
int __builtin_ia32_vtestzpd256(__gcc_v4df, __gcc_v4df)
__builtin_ia32_ktestcdi
int __builtin_ia32_ktestcdi(unsigned long long int, unsigned long long int)
__builtin_ia32_cmpb512_mask
unsigned long long int __builtin_ia32_cmpb512_mask(__gcc_v64qi, __gcc_v64qi, int, unsigned long long int)
__builtin_ia32_vpconflictsi_256
__gcc_v8si __builtin_ia32_vpconflictsi_256(__gcc_v8si)
__builtin_ia32_pmulhw512
__gcc_v32hi __builtin_ia32_pmulhw512(__gcc_v32hi, __gcc_v32hi)
__builtin_ia32_cvtmask2w256
__gcc_v16hi __builtin_ia32_cvtmask2w256(unsigned short)
__builtin_ia32_pmaddubsw256
__gcc_v16hi __builtin_ia32_pmaddubsw256(__gcc_v32qi, __gcc_v32qi)
__builtin_ia32_pmovswb512mem_mask
void __builtin_ia32_pmovswb512mem_mask(__gcc_v32qi *, __gcc_v32hi, unsigned int)
__builtin_ia32_permvarsi256
__gcc_v8si __builtin_ia32_permvarsi256(__gcc_v8si, __gcc_v8si)
__builtin_ia32_vfmaddsubpd512_maskz
__gcc_v8df __builtin_ia32_vfmaddsubpd512_maskz(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int)
__builtin_ia32_cmpq512_mask
unsigned char __builtin_ia32_cmpq512_mask(__gcc_v8di, __gcc_v8di, int, unsigned char)
__builtin_ia32_compressstoredf512_mask
void __builtin_ia32_compressstoredf512_mask(__gcc_v8df *, __gcc_v8df, unsigned char)
__builtin_ia32_vec_ext_v16hi
short __builtin_ia32_vec_ext_v16hi(__gcc_v16hi, int)
__builtin_ia32_hsubpd256
__gcc_v4df __builtin_ia32_hsubpd256(__gcc_v4df, __gcc_v4df)
__builtin_ia32_cvtne2ps2bf16_128
__gcc_v8hf __builtin_ia32_cvtne2ps2bf16_128(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_permvarhi512
__gcc_v32hi __builtin_ia32_permvarhi512(__gcc_v32hi, __gcc_v32hi)
__builtin_ia32_pblendd256
__gcc_v8si __builtin_ia32_pblendd256(__gcc_v8si, __gcc_v8si, int)
__builtin_ia32_loadapd512_mask
__gcc_v8df __builtin_ia32_loadapd512_mask(const __gcc_v8df *, __gcc_v8df, unsigned char)
__builtin_ia32_permvardi512
__gcc_v8di __builtin_ia32_permvardi512(__gcc_v8di, __gcc_v8di)
__builtin_ia32_fixupimmps512_maskz
__gcc_v16sf __builtin_ia32_fixupimmps512_maskz(__gcc_v16sf, __gcc_v16sf, __gcc_v16si, int, unsigned short, int)
__builtin_ia32_rcp14pd512_mask
__gcc_v8df __builtin_ia32_rcp14pd512_mask(__gcc_v8df, __gcc_v8df, unsigned char)
__builtin_ia32_vgf2p8affineinvqb_v64qi
__gcc_v64qi __builtin_ia32_vgf2p8affineinvqb_v64qi(__gcc_v64qi, __gcc_v64qi, char)
__builtin_ia32_gatherq_d256
__gcc_v4si __builtin_ia32_gatherq_d256(__gcc_v4si, const int *, __gcc_v4di, __gcc_v4si, char)
__builtin_ia32_psraqi512
__gcc_v8di __builtin_ia32_psraqi512(__gcc_v8di, int)
__builtin_ia32_fixupimmpd512_mask
__gcc_v8df __builtin_ia32_fixupimmpd512_mask(__gcc_v8df, __gcc_v8df, __gcc_v8di, int, unsigned char, int)
__builtin_ia32_pmovsqb512_mask
__gcc_v16qi __builtin_ia32_pmovsqb512_mask(__gcc_v8di, __gcc_v16qi, unsigned char)
__builtin_ia32_pfmin
__gcc_v2sf __builtin_ia32_pfmin(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_subps512
__gcc_v16sf __builtin_ia32_subps512(__gcc_v16sf, __gcc_v16sf, int)
__builtin_ia32_kxnorqi
unsigned char __builtin_ia32_kxnorqi(unsigned char, unsigned char)
__builtin_ia32_cvtsi2ss32
__gcc_v4sf __builtin_ia32_cvtsi2ss32(__gcc_v4sf, int, int)
__builtin_ia32_getexpsd128_round_mask
__gcc_v2df __builtin_ia32_getexpsd128_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__builtin_ia32_cvtmask2q128
__gcc_v2di __builtin_ia32_cvtmask2q128(unsigned char)
__builtin_ia32_vpconflictsi_128
__gcc_v4si __builtin_ia32_vpconflictsi_128(__gcc_v4si)
__builtin_ia32_vfmsubpd512_mask3
__gcc_v8df __builtin_ia32_vfmsubpd512_mask3(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int)
__builtin_ia32_cvtuqq2pd512_mask
__gcc_v8df __builtin_ia32_cvtuqq2pd512_mask(__gcc_v8di, __gcc_v8df, unsigned char, int)
__builtin_ia32_getexppd512_mask
__gcc_v8df __builtin_ia32_getexppd512_mask(__gcc_v8df, __gcc_v8df, unsigned char, int)
__builtin_ia32_rndscalepd_mask
__gcc_v8df __builtin_ia32_rndscalepd_mask(__gcc_v8df, int, __gcc_v8df, unsigned char, int)
__builtin_ia32_expanddi512_mask
__gcc_v8di __builtin_ia32_expanddi512_mask(__gcc_v8di, __gcc_v8di, unsigned char)
__builtin_ia32_addsubpd256
__gcc_v4df __builtin_ia32_addsubpd256(__gcc_v4df, __gcc_v4df)
__builtin_ia32_psignb256
__gcc_v32qi __builtin_ia32_psignb256(__gcc_v32qi, __gcc_v32qi)
__builtin_ia32_psrad512
__gcc_v16si __builtin_ia32_psrad512(__gcc_v16si, __gcc_v4si)
__builtin_ia32_packssdw512
__gcc_v32hi __builtin_ia32_packssdw512(__gcc_v16si, __gcc_v16si)
__builtin_ia32_cvttps2uqq512_mask
__gcc_v8di __builtin_ia32_cvttps2uqq512_mask(__gcc_v8sf, __gcc_v8di, unsigned char, int)
__builtin_ia32_expandloadsf512_mask
__gcc_v16sf __builtin_ia32_expandloadsf512_mask(const __gcc_v16sf *, __gcc_v16sf, unsigned short)
__builtin_ia32_gatherd_ps256
__gcc_v8sf __builtin_ia32_gatherd_ps256(__gcc_v8sf, const float *, __gcc_v8si, __gcc_v8sf, char)
__builtin_ia32_pavgb512
__gcc_v64qi __builtin_ia32_pavgb512(__gcc_v64qi, __gcc_v64qi)
__builtin_ia32_kandnqi
unsigned char __builtin_ia32_kandnqi(unsigned char, unsigned char)
__builtin_ia32_cvtps2uqq512_mask
__gcc_v8di __builtin_ia32_cvtps2uqq512_mask(__gcc_v8sf, __gcc_v8di, unsigned char, int)
__builtin_ia32_divpd512
__gcc_v8df __builtin_ia32_divpd512(__gcc_v8df, __gcc_v8df, int)
__builtin_ia32_divsd_round_mask
__gcc_v2df __builtin_ia32_divsd_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__builtin_ia32_cvtpd2ps512_mask
__gcc_v8sf __builtin_ia32_cvtpd2ps512_mask(__gcc_v8df, __gcc_v8sf, unsigned char, int)
__builtin_ia32_cvtd2mask256
unsigned char __builtin_ia32_cvtd2mask256(__gcc_v8si)
__builtin_ia32_vec_set_v4di
__gcc_v4di __builtin_ia32_vec_set_v4di(__gcc_v4di, long long int, int)
__builtin_ia32_minsd_round_mask
__gcc_v2df __builtin_ia32_minsd_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__builtin_ia32_reduceps512_mask
__gcc_v16sf __builtin_ia32_reduceps512_mask(__gcc_v16sf, int, __gcc_v16sf, unsigned short, int)
__builtin_ia32_pfcmpgt
__gcc_v2si __builtin_ia32_pfcmpgt(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_pfmax
__gcc_v2sf __builtin_ia32_pfmax(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_inserti64x2_512
__gcc_v8di __builtin_ia32_inserti64x2_512(__gcc_v8di, __gcc_v2di, int)
__builtin_ia32_cvtmask2d512
__gcc_v16si __builtin_ia32_cvtmask2d512(unsigned short)
__builtin_ia32_rcp14ps512_mask
__gcc_v16sf __builtin_ia32_rcp14ps512_mask(__gcc_v16sf, __gcc_v16sf, unsigned short)
__builtin_ia32_psllqi512
__gcc_v8di __builtin_ia32_psllqi512(__gcc_v8di, int)
__builtin_ia32_ktestchi
int __builtin_ia32_ktestchi(unsigned short, unsigned short)
__builtin_ia32_cvtmask2b256
__gcc_v32qi __builtin_ia32_cvtmask2b256(unsigned int)
__builtin_ia32_extractf64x2_512_mask
__gcc_v2df __builtin_ia32_extractf64x2_512_mask(__gcc_v8df, int, __gcc_v2df, unsigned char)
__builtin_ia32_prolvq512
__gcc_v8di __builtin_ia32_prolvq512(__gcc_v8di, __gcc_v8di)
__builtin_ia32_vtestnzcpd
int __builtin_ia32_vtestnzcpd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_rcpps256
__gcc_v8sf __builtin_ia32_rcpps256(__gcc_v8sf)
__builtin_ia32_sqrtpd256
__gcc_v4df __builtin_ia32_sqrtpd256(__gcc_v4df)
__builtin_ia32_aesenc128
__gcc_v2di __builtin_ia32_aesenc128(__gcc_v2di, __gcc_v2di)
__builtin_ia32_kaddhi
unsigned short __builtin_ia32_kaddhi(unsigned short, unsigned short)
__builtin_ia32_minps512
__gcc_v16sf __builtin_ia32_minps512(__gcc_v16sf, __gcc_v16sf, int)
__builtin_ia32_inserti32x8
__gcc_v16si __builtin_ia32_inserti32x8(__gcc_v16si, __gcc_v8si, int)
__builtin_ia32_packusdw512
__gcc_v32hi __builtin_ia32_packusdw512(__gcc_v16si, __gcc_v16si)
__builtin_ia32_gathersiv8df
__gcc_v8df __builtin_ia32_gathersiv8df(__gcc_v8df, const void *, __gcc_v8si, unsigned char, int)
__builtin_ia32_gatherq_pd
__gcc_v2df __builtin_ia32_gatherq_pd(__gcc_v2df, const double *, __gcc_v2di, __gcc_v2df, char)
__builtin_ia32_storeups512_mask
void __builtin_ia32_storeups512_mask(float *, __gcc_v16sf, unsigned short)
__builtin_ia32_femms
void __builtin_ia32_femms(void)
__builtin_ia32_psrlv32hi
__gcc_v32hi __builtin_ia32_psrlv32hi(__gcc_v32hi, __gcc_v32hi)
__builtin_ia32_pmovqd512_mask
__gcc_v8si __builtin_ia32_pmovqd512_mask(__gcc_v8di, __gcc_v8si, unsigned char)
__builtin_ia32_vperm2f128_si256
__gcc_v8si __builtin_ia32_vperm2f128_si256(__gcc_v8si, __gcc_v8si, int)
__builtin_ia32_vfmaddsubpd512_mask
__gcc_v8df __builtin_ia32_vfmaddsubpd512_mask(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int)
__builtin_ia32_psrlv16si
__gcc_v16si __builtin_ia32_psrlv16si(__gcc_v16si, __gcc_v16si)
__builtin_ia32_reducepd512_mask
__gcc_v8df __builtin_ia32_reducepd512_mask(__gcc_v8df, int, __gcc_v8df, unsigned char, int)
__builtin_ia32_maxsd_round_mask
__gcc_v2df __builtin_ia32_maxsd_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__builtin_ia32_dbpsadbw512
__gcc_v32hi __builtin_ia32_dbpsadbw512(__gcc_v64qi, __gcc_v64qi, int)
__builtin_ia32_insertf64x2_512
__gcc_v8df __builtin_ia32_insertf64x2_512(__gcc_v8df, __gcc_v2df, int)
__builtin_ia32_pshufb256
__gcc_v32qi __builtin_ia32_pshufb256(__gcc_v32qi, __gcc_v32qi)
__builtin_ia32_prold512
__gcc_v16si __builtin_ia32_prold512(__gcc_v16si, int)
__builtin_ia32_vpermilvarpd512
__gcc_v8df __builtin_ia32_vpermilvarpd512(__gcc_v8df, __gcc_v8di)
__builtin_ia32_expandsi512_mask
__gcc_v16si __builtin_ia32_expandsi512_mask(__gcc_v16si, __gcc_v16si, unsigned short)
__builtin_ia32_maskloadq256
__gcc_v4di __builtin_ia32_maskloadq256(const __gcc_v4di *, __gcc_v4di)
__builtin_ia32_vcvtss2si32
int __builtin_ia32_vcvtss2si32(__gcc_v4sf, int)
__builtin_ia32_kortestcqi
int __builtin_ia32_kortestcqi(unsigned char, unsigned char)
__builtin_ia32_fixupimmss_maskz
__gcc_v4sf __builtin_ia32_fixupimmss_maskz(__gcc_v4sf, __gcc_v4sf, __gcc_v4si, int, unsigned char, int)
__builtin_ia32_pmovusqd512mem_mask
void __builtin_ia32_pmovusqd512mem_mask(__gcc_v8si *, __gcc_v8di, unsigned char)
__builtin_ia32_psrawi512
__gcc_v32hi __builtin_ia32_psrawi512(__gcc_v32hi, int)
__builtin_ia32_pswapdsf
__gcc_v2sf __builtin_ia32_pswapdsf(__gcc_v2sf)
__builtin_ia32_pfmul
__gcc_v2sf __builtin_ia32_pfmul(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_tdpbsud
void __builtin_ia32_tdpbsud(unsigned char, unsigned char, unsigned char)
__builtin_ia32_pshuflw256
__gcc_v16hi __builtin_ia32_pshuflw256(__gcc_v16hi, int)
__builtin_ia32_kxorsi
unsigned int __builtin_ia32_kxorsi(unsigned int, unsigned int)
__builtin_ia32_packuswb512
__gcc_v64qi __builtin_ia32_packuswb512(__gcc_v32hi, __gcc_v32hi)
__builtin_ia32_psrlw256
__gcc_v16hi __builtin_ia32_psrlw256(__gcc_v16hi, __gcc_v8hi)
__builtin_ia32_expandloadsi512_mask
__gcc_v16si __builtin_ia32_expandloadsi512_mask(const __gcc_v16si *, __gcc_v16si, unsigned short)
__builtin_ia32_vpermilvarps512
__gcc_v16sf __builtin_ia32_vpermilvarps512(__gcc_v16sf, __gcc_v16si)
__builtin_ia32_dpps256
__gcc_v8sf __builtin_ia32_dpps256(__gcc_v8sf, __gcc_v8sf, char)
__builtin_ia32_cmpps256
__gcc_v8sf __builtin_ia32_cmpps256(__gcc_v8sf, __gcc_v8sf, char)
__builtin_ia32_vec_set_v16hi
__gcc_v16hi __builtin_ia32_vec_set_v16hi(__gcc_v16hi, short, int)
__builtin_ia32_shufpd512
__gcc_v8df __builtin_ia32_shufpd512(__gcc_v8df, __gcc_v8df, int)
__builtin_ia32_rndscaless_round_mask
__gcc_v4sf __builtin_ia32_rndscaless_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int, int)
__builtin_ia32_cvtd2mask128
unsigned char __builtin_ia32_cvtd2mask128(__gcc_v4si)
__builtin_ia32_vplzcntd_128
__gcc_v4si __builtin_ia32_vplzcntd_128(__gcc_v4si)
__builtin_ia32_kortestzsi
int __builtin_ia32_kortestzsi(unsigned int, unsigned int)
__builtin_ia32_extract128i256
__gcc_v2di __builtin_ia32_extract128i256(__gcc_v4di, int)
__builtin_ia32_rsqrt14ss_mask
__gcc_v4sf __builtin_ia32_rsqrt14ss_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char)
__builtin_ia32_cvttps2dq512_mask
__gcc_v16si __builtin_ia32_cvttps2dq512_mask(__gcc_v16sf, __gcc_v16si, unsigned short, int)
__builtin_ia32_psrld512
__gcc_v16si __builtin_ia32_psrld512(__gcc_v16si, __gcc_v4si)
__builtin_ia32_dbpsadbw128
__gcc_v8hi __builtin_ia32_dbpsadbw128(__gcc_v16qi, __gcc_v16qi, int)
__builtin_ia32_loadups512_mask
__gcc_v16sf __builtin_ia32_loadups512_mask(const float *, __gcc_v16sf, unsigned short)
__builtin_ia32_fpclasssd_mask
unsigned char __builtin_ia32_fpclasssd_mask(__gcc_v2df, int, unsigned char)
__builtin_ia32_phsubsw256
__gcc_v16hi __builtin_ia32_phsubsw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_ktestzsi
int __builtin_ia32_ktestzsi(unsigned int, unsigned int)
__builtin_ia32_loadss128_mask
__gcc_v4sf __builtin_ia32_loadss128_mask(const __gcc_v4sf *, __gcc_v4sf, unsigned char)
__builtin_ia32_selectpd_512
__gcc_v8df __builtin_ia32_selectpd_512(unsigned char, __gcc_v8df, __gcc_v8df)
__builtin_ia32_vfmaddsd3_maskz
__gcc_v2df __builtin_ia32_vfmaddsd3_maskz(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__builtin_ia32_korsi
unsigned int __builtin_ia32_korsi(unsigned int, unsigned int)
__builtin_ia32_cvtw2mask128
unsigned char __builtin_ia32_cvtw2mask128(__gcc_v8hi)
__builtin_ia32_dpbf16ps_256
__gcc_v8sf __builtin_ia32_dpbf16ps_256(__gcc_v8sf, __gcc_v16hf, __gcc_v16hf)
__builtin_ia32_pshufd512
__gcc_v16si __builtin_ia32_pshufd512(__gcc_v16si, int)
__builtin_ia32_vcvtps2ph512_mask
__gcc_v16hi __builtin_ia32_vcvtps2ph512_mask(__gcc_v16sf, int, __gcc_v16hi, unsigned short)
__builtin_ia32_insertf32x8
__gcc_v16sf __builtin_ia32_insertf32x8(__gcc_v16sf, __gcc_v8sf, int)
__builtin_ia32_psraq512
__gcc_v8di __builtin_ia32_psraq512(__gcc_v8di, __gcc_v2di)
__builtin_ia32_vtestcps
int __builtin_ia32_vtestcps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_cvtd2mask512
unsigned short __builtin_ia32_cvtd2mask512(__gcc_v16si)
__builtin_ia32_getexpps512_mask
__gcc_v16sf __builtin_ia32_getexpps512_mask(__gcc_v16sf, __gcc_v16sf, unsigned short, int)
__builtin_ia32_vpermilvarps256
__gcc_v8sf __builtin_ia32_vpermilvarps256(__gcc_v8sf, __gcc_v8si)
__builtin_ia32_palignr256
__gcc_v32qi __builtin_ia32_palignr256(__gcc_v32qi, __gcc_v32qi, int)
__builtin_ia32_cvttps2udq512_mask
__gcc_v16si __builtin_ia32_cvttps2udq512_mask(__gcc_v16sf, __gcc_v16si, unsigned short, int)
__builtin_ia32_cvtw2mask256
unsigned short __builtin_ia32_cvtw2mask256(__gcc_v16hi)
__builtin_ia32_psrlv4di
__gcc_v4di __builtin_ia32_psrlv4di(__gcc_v4di, __gcc_v4di)
__builtin_ia32_vcvtsd2si64
long long int __builtin_ia32_vcvtsd2si64(__gcc_v2df, int)
__builtin_ia32_kortestchi
int __builtin_ia32_kortestchi(unsigned short, unsigned short)
__builtin_ia32_pmuludq512
__gcc_v8di __builtin_ia32_pmuludq512(__gcc_v16si, __gcc_v16si)
__builtin_ia32_tilestored64
void __builtin_ia32_tilestored64(unsigned char, void *, __CPROVER_size_t)
__builtin_ia32_expandsf512_mask
__gcc_v16sf __builtin_ia32_expandsf512_mask(__gcc_v16sf, __gcc_v16sf, unsigned short)
__builtin_ia32_storeaps512_mask
void __builtin_ia32_storeaps512_mask(__gcc_v16sf *, __gcc_v16sf, unsigned short)
__builtin_ia32_scatterdiv8df
void __builtin_ia32_scatterdiv8df(void *, unsigned char, __gcc_v8di, __gcc_v8df, int)
__builtin_ia32_pfrsqit1
__gcc_v2sf __builtin_ia32_pfrsqit1(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_cvtps2qq512_mask
__gcc_v8di __builtin_ia32_cvtps2qq512_mask(__gcc_v8sf, __gcc_v8di, unsigned char, int)
__builtin_ia32_gatherq_q
__gcc_v2di __builtin_ia32_gatherq_q(__gcc_v2di, const long long int *, __gcc_v2di, __gcc_v2di, char)
__builtin_ia32_tileloadd64
void __builtin_ia32_tileloadd64(unsigned char, const void *, __CPROVER_size_t)
__builtin_ia32_cvttpd2qq512_mask
__gcc_v8di __builtin_ia32_cvttpd2qq512_mask(__gcc_v8df, __gcc_v8di, unsigned char, int)
__builtin_ia32_selectw_256
__gcc_v16hi __builtin_ia32_selectw_256(unsigned short, __gcc_v16hi, __gcc_v16hi)
__builtin_ia32_cvtsi2ss64
__gcc_v4sf __builtin_ia32_cvtsi2ss64(__gcc_v4sf, long long int, int)
__builtin_ia32_pswapdsi
__gcc_v2si __builtin_ia32_pswapdsi(__gcc_v2si)
__builtin_ia32_kadddi
unsigned long long int __builtin_ia32_kadddi(unsigned long long int, unsigned long long int)
__builtin_ia32_storedqusi512_mask
void __builtin_ia32_storedqusi512_mask(int *, __gcc_v16si, unsigned short)
__builtin_ia32_pmovusqw512_mask
__gcc_v8hi __builtin_ia32_pmovusqw512_mask(__gcc_v8di, __gcc_v8hi, unsigned char)
__builtin_ia32_psraw512
__gcc_v32hi __builtin_ia32_psraw512(__gcc_v32hi, __gcc_v8hi)
__builtin_ia32_psrlqi512
__gcc_v8di __builtin_ia32_psrlqi512(__gcc_v8di, int)
__builtin_ia32_psrlq512
__gcc_v8di __builtin_ia32_psrlq512(__gcc_v8di, __gcc_v2di)
__builtin_ia32_addss_round_mask
__gcc_v4sf __builtin_ia32_addss_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__builtin_ia32_ptestz256
int __builtin_ia32_ptestz256(__gcc_v4di, __gcc_v4di)
__builtin_ia32_pmovqb512_mask
__gcc_v16qi __builtin_ia32_pmovqb512_mask(__gcc_v8di, __gcc_v16qi, unsigned char)
__builtin_ia32_movdqa64store512_mask
void __builtin_ia32_movdqa64store512_mask(__gcc_v8di *, __gcc_v8di, unsigned char)
__builtin_ia32_selectw_128
__gcc_v8hi __builtin_ia32_selectw_128(unsigned char, __gcc_v8hi, __gcc_v8hi)
__builtin_ia32_tilezero_internal
__gcc_v256si __builtin_ia32_tilezero_internal(unsigned short, unsigned short)
__builtin_ia32_reduce_fmul_pd512
double __builtin_ia32_reduce_fmul_pd512(double, __gcc_v8df)
__builtin_ia32_kshiftlihi
unsigned short __builtin_ia32_kshiftlihi(unsigned short, unsigned int)
__builtin_ia32_getmantss_round_mask
__gcc_v4sf __builtin_ia32_getmantss_round_mask(__gcc_v4sf, __gcc_v4sf, int, __gcc_v4sf, unsigned char, int)
__builtin_ia32_maskstoreps
void __builtin_ia32_maskstoreps(__gcc_v4sf *, __gcc_v4si, __gcc_v4sf)
__builtin_ia32_shuf_f64x2
__gcc_v8df __builtin_ia32_shuf_f64x2(__gcc_v8df, __gcc_v8df, int)
__builtin_ia32_kshiftlidi
unsigned long long int __builtin_ia32_kshiftlidi(unsigned long long int, unsigned int)
__builtin_ia32_vfmsubps512_mask3
__gcc_v16sf __builtin_ia32_vfmsubps512_mask3(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, unsigned short, int)
__builtin_ia32_phaddw256
__gcc_v16hi __builtin_ia32_phaddw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_scalefss_round_mask
__gcc_v4sf __builtin_ia32_scalefss_round_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__builtin_ia32_shuf_i64x2
__gcc_v8di __builtin_ia32_shuf_i64x2(__gcc_v8di, __gcc_v8di, int)
__builtin_ia32_permvarsi512
__gcc_v16si __builtin_ia32_permvarsi512(__gcc_v16si, __gcc_v16si)
__builtin_ia32_kandsi
unsigned int __builtin_ia32_kandsi(unsigned int, unsigned int)
__builtin_ia32_psrldi512
__gcc_v16si __builtin_ia32_psrldi512(__gcc_v16si, int)
__builtin_ia32_pmovqw512mem_mask
void __builtin_ia32_pmovqw512mem_mask(__gcc_v8hi *, __gcc_v8di, unsigned char)
__builtin_ia32_pblendw256
__gcc_v16hi __builtin_ia32_pblendw256(__gcc_v16hi, __gcc_v16hi, int)
__builtin_ia32_minps256
__gcc_v8sf __builtin_ia32_minps256(__gcc_v8sf, __gcc_v8sf)
__builtin_ia32_cvtps2udq512_mask
__gcc_v16si __builtin_ia32_cvtps2udq512_mask(__gcc_v16sf, __gcc_v16si, unsigned short, int)
__builtin_ia32_extracti32x8_mask
__gcc_v8si __builtin_ia32_extracti32x8_mask(__gcc_v16si, int, __gcc_v8si, unsigned char)
__builtin_ia32_prorvq512
__gcc_v8di __builtin_ia32_prorvq512(__gcc_v8di, __gcc_v8di)
__builtin_ia32_scalefpd512_mask
__gcc_v8df __builtin_ia32_scalefpd512_mask(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int)
__builtin_ia32_kmovd
unsigned int __builtin_ia32_kmovd(unsigned int)
__builtin_ia32_vgf2p8affineqb_v32qi
__gcc_v32qi __builtin_ia32_vgf2p8affineqb_v32qi(__gcc_v32qi, __gcc_v32qi, char)
__builtin_ia32_pmovuswb512_mask
__gcc_v32qi __builtin_ia32_pmovuswb512_mask(__gcc_v32hi, __gcc_v32qi, unsigned int)
__builtin_ia32_ucmpd512_mask
unsigned short __builtin_ia32_ucmpd512_mask(__gcc_v16si, __gcc_v16si, int, unsigned short)
__builtin_ia32_rndscaleps_mask
__gcc_v16sf __builtin_ia32_rndscaleps_mask(__gcc_v16sf, int, __gcc_v16sf, unsigned short, int)
__builtin_ia32_storedquhi512_mask
void __builtin_ia32_storedquhi512_mask(__gcc_v32hi *, __gcc_v32hi, unsigned int)
__builtin_ia32_kshiftrisi
unsigned int __builtin_ia32_kshiftrisi(unsigned int, unsigned int)
__builtin_ia32_vgf2p8mulb_v64qi
__gcc_v64qi __builtin_ia32_vgf2p8mulb_v64qi(__gcc_v64qi, __gcc_v64qi)
__builtin_ia32_psrav4si
__gcc_v4si __builtin_ia32_psrav4si(__gcc_v4si, __gcc_v4si)
__builtin_ia32_tdpbusd_internal
__gcc_v256si __builtin_ia32_tdpbusd_internal(unsigned short, unsigned short, unsigned short, __gcc_v256si, __gcc_v256si, __gcc_v256si)
__builtin_ia32_loaddquqi256_mask
__gcc_v32qi __builtin_ia32_loaddquqi256_mask(const __gcc_v32qi *, __gcc_v32qi, unsigned int)
__builtin_ia32_pslld512
__gcc_v16si __builtin_ia32_pslld512(__gcc_v16si, __gcc_v4si)
__builtin_ia32_pfrsqrt
__gcc_v2sf __builtin_ia32_pfrsqrt(__gcc_v2sf)
__builtin_ia32_insert128i256
__gcc_v4di __builtin_ia32_insert128i256(__gcc_v4di, __gcc_v2di, int)
__builtin_ia32_scattersiv8df
void __builtin_ia32_scattersiv8df(void *, unsigned char, __gcc_v8si, __gcc_v8df, int)
__builtin_ia32_kortestcsi
int __builtin_ia32_kortestcsi(unsigned int, unsigned int)
__builtin_ia32_subsd_round_mask
__gcc_v2df __builtin_ia32_subsd_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__builtin_ia32_prord512
__gcc_v16si __builtin_ia32_prord512(__gcc_v16si, int)
__builtin_ia32_cvtmask2d256
__gcc_v8si __builtin_ia32_cvtmask2d256(unsigned char)
__builtin_ia32_pmuldq512
__gcc_v8di __builtin_ia32_pmuldq512(__gcc_v16si, __gcc_v16si)
__builtin_ia32_scattersiv16si
void __builtin_ia32_scattersiv16si(void *, unsigned short, __gcc_v16si, __gcc_v16si, int)
__builtin_ia32_psrlv4si
__gcc_v4si __builtin_ia32_psrlv4si(__gcc_v4si, __gcc_v4si)
__builtin_ia32_maskstored256
void __builtin_ia32_maskstored256(__gcc_v8si *, __gcc_v8si, __gcc_v8si)
__builtin_ia32_vfmaddsubpd512_mask3
__gcc_v8df __builtin_ia32_vfmaddsubpd512_mask3(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int)
__builtin_ia32_movdqa64load512_mask
__gcc_v8di __builtin_ia32_movdqa64load512_mask(const __gcc_v8di *, __gcc_v8di, unsigned char)
__builtin_ia32_vcvttsd2usi32
unsigned int __builtin_ia32_vcvttsd2usi32(__gcc_v2df, int)
__builtin_ia32_knotdi
unsigned long long int __builtin_ia32_knotdi(unsigned long long int)
__builtin_ia32_dbpsadbw256
__gcc_v16hi __builtin_ia32_dbpsadbw256(__gcc_v32qi, __gcc_v32qi, int)
__builtin_ia32_mulpd512
__gcc_v8df __builtin_ia32_mulpd512(__gcc_v8df, __gcc_v8df, int)
__builtin_ia32_pfsub
__gcc_v2sf __builtin_ia32_pfsub(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_kshiftridi
unsigned long long int __builtin_ia32_kshiftridi(unsigned long long int, unsigned int)
__builtin_ia32_pslldqi256_byteshift
__gcc_v4di __builtin_ia32_pslldqi256_byteshift(__gcc_v4di, int)
__builtin_ia32_vgf2p8affineinvqb_v32qi
__gcc_v32qi __builtin_ia32_vgf2p8affineinvqb_v32qi(__gcc_v32qi, __gcc_v32qi, char)
__builtin_ia32_pmovsdb512_mask
__gcc_v16qi __builtin_ia32_pmovsdb512_mask(__gcc_v16si, __gcc_v16qi, unsigned short)
__builtin_ia32_pavgw512
__gcc_v32hi __builtin_ia32_pavgw512(__gcc_v32hi, __gcc_v32hi)
__builtin_ia32_cvtuqq2ps512_mask
__gcc_v8sf __builtin_ia32_cvtuqq2ps512_mask(__gcc_v8di, __gcc_v8sf, unsigned char, int)
__builtin_ia32_vpermi2vard512
__gcc_v16si __builtin_ia32_vpermi2vard512(__gcc_v16si, __gcc_v16si, __gcc_v16si)
__builtin_ia32_pmovsdw512_mask
__gcc_v16hi __builtin_ia32_pmovsdw512_mask(__gcc_v16si, __gcc_v16hi, unsigned short)
__builtin_ia32_storesd128_mask
void __builtin_ia32_storesd128_mask(__gcc_v2df *, __gcc_v2df, unsigned char)
__builtin_ia32_shuf_i32x4
__gcc_v16si __builtin_ia32_shuf_i32x4(__gcc_v16si, __gcc_v16si, int)
__builtin_ia32_vpermi2varhi512
__gcc_v32hi __builtin_ia32_vpermi2varhi512(__gcc_v32hi, __gcc_v32hi, __gcc_v32hi)
__builtin_ia32_cvttps2dq256
__gcc_v8si __builtin_ia32_cvttps2dq256(__gcc_v8sf)
__builtin_ia32_kortestcdi
int __builtin_ia32_kortestcdi(unsigned long long int, unsigned long long int)
__builtin_ia32_kanddi
unsigned long long int __builtin_ia32_kanddi(unsigned long long int, unsigned long long int)
__builtin_ia32_kandndi
unsigned long long int __builtin_ia32_kandndi(unsigned long long int, unsigned long long int)
__builtin_ia32_prorvd512
__gcc_v16si __builtin_ia32_prorvd512(__gcc_v16si, __gcc_v16si)
__builtin_ia32_cvttps2qq512_mask
__gcc_v8di __builtin_ia32_cvttps2qq512_mask(__gcc_v8sf, __gcc_v8di, unsigned char, int)
__builtin_ia32_knotqi
unsigned char __builtin_ia32_knotqi(unsigned char)
__builtin_ia32_cmpd512_mask
unsigned short __builtin_ia32_cmpd512_mask(__gcc_v16si, __gcc_v16si, int, unsigned short)
__builtin_ia32_pfsubr
__gcc_v2sf __builtin_ia32_pfsubr(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_selectd_512
__gcc_v16si __builtin_ia32_selectd_512(unsigned short, __gcc_v16si, __gcc_v16si)
__builtin_ia32_selectb_128
__gcc_v16qi __builtin_ia32_selectb_128(unsigned short, __gcc_v16qi, __gcc_v16qi)
__builtin_ia32_vfmaddss3_maskz
__gcc_v4sf __builtin_ia32_vfmaddss3_maskz(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__builtin_ia32_rangepd512_mask
__gcc_v8df __builtin_ia32_rangepd512_mask(__gcc_v8df, __gcc_v8df, int, __gcc_v8df, unsigned char, int)
__builtin_ia32_maskloadps
__gcc_v4sf __builtin_ia32_maskloadps(const __gcc_v4sf *, __gcc_v4si)
__builtin_ia32_vpopcntw_512
__gcc_v32hi __builtin_ia32_vpopcntw_512(__gcc_v32hi)
__builtin_ia32_vfmaddps512_maskz
__gcc_v16sf __builtin_ia32_vfmaddps512_maskz(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, unsigned short, int)
__builtin_ia32_phaddd256
__gcc_v8si __builtin_ia32_phaddd256(__gcc_v8si, __gcc_v8si)
__builtin_ia32_vec_set_v8si
__gcc_v8si __builtin_ia32_vec_set_v8si(__gcc_v8si, int, int)
__builtin_ia32_maskloadpd256
__gcc_v4df __builtin_ia32_maskloadpd256(const __gcc_v4df *, __gcc_v4di)
__builtin_ia32_ktestcqi
int __builtin_ia32_ktestcqi(unsigned char, unsigned char)
__builtin_ia32_maskloadd
__gcc_v4si __builtin_ia32_maskloadd(const __gcc_v4si *, __gcc_v4si)
__builtin_ia32_vfmaddss3_mask
__gcc_v4sf __builtin_ia32_vfmaddss3_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int)
__builtin_ia32_cvtps2dq256
__gcc_v8si __builtin_ia32_cvtps2dq256(__gcc_v8sf)
__builtin_ia32_pblendd128
__gcc_v4si __builtin_ia32_pblendd128(__gcc_v4si, __gcc_v4si, int)
__builtin_ia32_cvtps2dq512_mask
__gcc_v16si __builtin_ia32_cvtps2dq512_mask(__gcc_v16sf, __gcc_v16si, unsigned short, int)
__builtin_ia32_fixupimmps512_mask
__gcc_v16sf __builtin_ia32_fixupimmps512_mask(__gcc_v16sf, __gcc_v16sf, __gcc_v16si, int, unsigned short, int)
__builtin_ia32_shufpd256
__gcc_v4df __builtin_ia32_shufpd256(__gcc_v4df, __gcc_v4df, int)
__builtin_ia32_psllv16hi
__gcc_v16hi __builtin_ia32_psllv16hi(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_pavgw256
__gcc_v16hi __builtin_ia32_pavgw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_vpermi2varpd512
__gcc_v8df __builtin_ia32_vpermi2varpd512(__gcc_v8df, __gcc_v8di, __gcc_v8df)
__builtin_ia32_vcvttsd2usi64
unsigned long long int __builtin_ia32_vcvttsd2usi64(__gcc_v2df, int)
__builtin_ia32_sqrtsd_round_mask
__gcc_v2df __builtin_ia32_sqrtsd_round_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int)
__builtin_ia32_aesdec128
__gcc_v2di __builtin_ia32_aesdec128(__gcc_v2di, __gcc_v2di)
__builtin_ia32_vperm2f128_pd256
__gcc_v4df __builtin_ia32_vperm2f128_pd256(__gcc_v4df, __gcc_v4df, int)
__builtin_ia32_vextractf128_pd256
__gcc_v2df __builtin_ia32_vextractf128_pd256(__gcc_v4df, int)
__builtin_ia32_gatherd_d256
__gcc_v8si __builtin_ia32_gatherd_d256(__gcc_v8si, const int *, __gcc_v8si, __gcc_v8si, char)
__builtin_ia32_fpclassps128_mask
unsigned char __builtin_ia32_fpclassps128_mask(__gcc_v4sf, int, unsigned char)
__builtin_ia32_prolvd512
__gcc_v16si __builtin_ia32_prolvd512(__gcc_v16si, __gcc_v16si)
__builtin_ia32_haddpd256
__gcc_v4df __builtin_ia32_haddpd256(__gcc_v4df, __gcc_v4df)
__builtin_ia32_sqrtpd512
__gcc_v8df __builtin_ia32_sqrtpd512(__gcc_v8df, int)
__builtin_ia32_vfmsubaddpd512_mask3
__gcc_v8df __builtin_ia32_vfmsubaddpd512_mask3(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int)
__builtin_ia32_gatherd_pd
__gcc_v2df __builtin_ia32_gatherd_pd(__gcc_v2df, const double *, __gcc_v4si, __gcc_v2df, char)
__builtin_ia32_pclmulqdq512
__gcc_v8di __builtin_ia32_pclmulqdq512(__gcc_v8di, __gcc_v8di, char)
__builtin_ia32_ucmpb512_mask
unsigned long long int __builtin_ia32_ucmpb512_mask(__gcc_v64qi, __gcc_v64qi, int, unsigned long long int)
__builtin_ia32_mulps512
__gcc_v16sf __builtin_ia32_mulps512(__gcc_v16sf, __gcc_v16sf, int)
__builtin_ia32_psllw256
__gcc_v16hi __builtin_ia32_psllw256(__gcc_v16hi, __gcc_v8hi)
__builtin_ia32_vtestcpd
int __builtin_ia32_vtestcpd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_fpclassps256_mask
unsigned char __builtin_ia32_fpclassps256_mask(__gcc_v8sf, int, unsigned char)