CBMC
gcc_builtin_headers_ia32-9.h
Go to the documentation of this file.
1 // clang-format off
2 // mmx
3 void __builtin_ia32_emms(void);
4 void __builtin_ia32_maskmovq(__gcc_v8qi, __gcc_v8qi, char *);
5 void __builtin_ia32_movntq(__gcc_v1di *, __gcc_v1di);
6 __gcc_v4hi __builtin_ia32_packssdw(__gcc_v2si, __gcc_v2si);
7 __gcc_v8qi __builtin_ia32_packsswb(__gcc_v4hi, __gcc_v4hi);
8 __gcc_v8qi __builtin_ia32_packuswb(__gcc_v4hi, __gcc_v4hi);
9 __gcc_v8qi __builtin_ia32_paddb(__gcc_v8qi, __gcc_v8qi);
10 __gcc_v2si __builtin_ia32_paddd(__gcc_v2si, __gcc_v2si);
11 __gcc_v8qi __builtin_ia32_paddsb(__gcc_v8qi, __gcc_v8qi);
12 __gcc_v4hi __builtin_ia32_paddsw(__gcc_v4hi, __gcc_v4hi);
13 __gcc_v8qi __builtin_ia32_paddusb(__gcc_v8qi, __gcc_v8qi);
14 __gcc_v4hi __builtin_ia32_paddusw(__gcc_v4hi, __gcc_v4hi);
15 __gcc_v4hi __builtin_ia32_paddw(__gcc_v4hi, __gcc_v4hi);
16 __gcc_v1di __builtin_ia32_pand(__gcc_v1di, __gcc_v1di);
17 __gcc_v1di __builtin_ia32_pandn(__gcc_v1di, __gcc_v1di);
18 __gcc_v8qi __builtin_ia32_pcmpeqb(__gcc_v8qi, __gcc_v8qi);
19 __gcc_v2si __builtin_ia32_pcmpeqd(__gcc_v2si, __gcc_v2si);
20 __gcc_v4hi __builtin_ia32_pcmpeqw(__gcc_v4hi, __gcc_v4hi);
21 __gcc_v8qi __builtin_ia32_pcmpgtb(__gcc_v8qi, __gcc_v8qi);
22 __gcc_v2si __builtin_ia32_pcmpgtd(__gcc_v2si, __gcc_v2si);
23 __gcc_v4hi __builtin_ia32_pcmpgtw(__gcc_v4hi, __gcc_v4hi);
24 __gcc_v2si __builtin_ia32_pmaddwd(__gcc_v4hi, __gcc_v4hi);
25 __gcc_v4hi __builtin_ia32_pmulhw(__gcc_v4hi, __gcc_v4hi);
26 __gcc_v4hi __builtin_ia32_pmullw(__gcc_v4hi, __gcc_v4hi);
27 __gcc_v1di __builtin_ia32_por(__gcc_v1di, __gcc_v1di);
28 __gcc_v2si __builtin_ia32_pslld(__gcc_v2si, __gcc_v1di);
29 __gcc_v2si __builtin_ia32_pslldi(__gcc_v2si, int);
30 __gcc_v1di __builtin_ia32_psllq(__gcc_v1di, __gcc_v1di);
31 __gcc_v1di __builtin_ia32_psllqi(__gcc_v1di, int);
32 __gcc_v4hi __builtin_ia32_psllw(__gcc_v4hi, __gcc_v1di);
33 __gcc_v4hi __builtin_ia32_psllwi(__gcc_v4hi, int);
34 __gcc_v2si __builtin_ia32_psrad(__gcc_v2si, __gcc_v1di);
35 __gcc_v2si __builtin_ia32_psradi(__gcc_v2si, int);
36 __gcc_v4hi __builtin_ia32_psraw(__gcc_v4hi, __gcc_v1di);
37 __gcc_v4hi __builtin_ia32_psrawi(__gcc_v4hi, int);
38 __gcc_v2si __builtin_ia32_psrld(__gcc_v2si, __gcc_v1di);
39 __gcc_v2si __builtin_ia32_psrldi(__gcc_v2si, int);
40 __gcc_v1di __builtin_ia32_psrlq(__gcc_v1di, __gcc_v1di);
41 __gcc_v1di __builtin_ia32_psrlqi(__gcc_v1di, int);
42 __gcc_v4hi __builtin_ia32_psrlw(__gcc_v4hi, __gcc_v1di);
43 __gcc_v4hi __builtin_ia32_psrlwi(__gcc_v4hi, int);
44 __gcc_v8qi __builtin_ia32_psubb(__gcc_v8qi, __gcc_v8qi);
45 __gcc_v2si __builtin_ia32_psubd(__gcc_v2si, __gcc_v2si);
46 __gcc_v8qi __builtin_ia32_psubsb(__gcc_v8qi, __gcc_v8qi);
47 __gcc_v4hi __builtin_ia32_psubsw(__gcc_v4hi, __gcc_v4hi);
48 __gcc_v8qi __builtin_ia32_psubusb(__gcc_v8qi, __gcc_v8qi);
49 __gcc_v4hi __builtin_ia32_psubusw(__gcc_v4hi, __gcc_v4hi);
50 __gcc_v4hi __builtin_ia32_psubw(__gcc_v4hi, __gcc_v4hi);
51 __gcc_v8qi __builtin_ia32_punpckhbw(__gcc_v8qi, __gcc_v8qi);
52 __gcc_v2si __builtin_ia32_punpckhdq(__gcc_v2si, __gcc_v2si);
53 __gcc_v4hi __builtin_ia32_punpckhwd(__gcc_v4hi, __gcc_v4hi);
54 __gcc_v8qi __builtin_ia32_punpcklbw(__gcc_v8qi, __gcc_v8qi);
55 __gcc_v2si __builtin_ia32_punpckldq(__gcc_v2si, __gcc_v2si);
56 __gcc_v4hi __builtin_ia32_punpcklwd(__gcc_v4hi, __gcc_v4hi);
57 __gcc_v1di __builtin_ia32_pxor(__gcc_v1di, __gcc_v1di);
58 int __builtin_ia32_vec_ext_v2si(__gcc_v2si, int);
59 __gcc_v2si __builtin_ia32_vec_init_v2si(int, int);
60 __gcc_v4hi __builtin_ia32_vec_init_v4hi(short, short, short, short);
61 __gcc_v8qi __builtin_ia32_vec_init_v8qi(char, char, char, char, char, char, char, char);
62 void _mm_prefetch(const char *, int);
63 // mmx,sse
64 __gcc_v4sf __builtin_ia32_cvtpi2ps(__gcc_v4sf, __gcc_v2si);
65 __gcc_v2si __builtin_ia32_cvtps2pi(__gcc_v4sf);
66 __gcc_v2si __builtin_ia32_cvttps2pi(__gcc_v4sf);
67 __gcc_v8qi __builtin_ia32_pavgb(__gcc_v8qi, __gcc_v8qi);
68 __gcc_v4hi __builtin_ia32_pavgw(__gcc_v4hi, __gcc_v4hi);
69 __gcc_v4hi __builtin_ia32_pmaxsw(__gcc_v4hi, __gcc_v4hi);
70 __gcc_v8qi __builtin_ia32_pmaxub(__gcc_v8qi, __gcc_v8qi);
71 __gcc_v4hi __builtin_ia32_pminsw(__gcc_v4hi, __gcc_v4hi);
72 __gcc_v8qi __builtin_ia32_pminub(__gcc_v8qi, __gcc_v8qi);
73 int __builtin_ia32_pmovmskb(__gcc_v8qi);
74 __gcc_v4hi __builtin_ia32_pmulhuw(__gcc_v4hi, __gcc_v4hi);
75 __gcc_v4hi __builtin_ia32_psadbw(__gcc_v8qi, __gcc_v8qi);
76 __gcc_v4hi __builtin_ia32_pshufw(__gcc_v4hi, char);
77 int __builtin_ia32_vec_ext_v4hi(__gcc_v4hi, int);
78 __gcc_v4hi __builtin_ia32_vec_set_v4hi(__gcc_v4hi, int, int);
79 // mmx,sse2
80 __gcc_v2si __builtin_ia32_cvtpd2pi(__gcc_v2df);
81 __gcc_v2df __builtin_ia32_cvtpi2pd(__gcc_v2si);
82 __gcc_v2si __builtin_ia32_cvttpd2pi(__gcc_v2df);
83 __gcc_v1di __builtin_ia32_paddq(__gcc_v1di, __gcc_v1di);
84 __gcc_v1di __builtin_ia32_pmuludq(__gcc_v2si, __gcc_v2si);
85 __gcc_v1di __builtin_ia32_psubq(__gcc_v1di, __gcc_v1di);
86 // mmx,ssse3
87 __gcc_v8qi __builtin_ia32_pabsb(__gcc_v8qi);
88 __gcc_v2si __builtin_ia32_pabsd(__gcc_v2si);
89 __gcc_v4hi __builtin_ia32_pabsw(__gcc_v4hi);
90 __gcc_v8qi __builtin_ia32_palignr(__gcc_v8qi, __gcc_v8qi, char);
91 __gcc_v2si __builtin_ia32_phaddd(__gcc_v2si, __gcc_v2si);
92 __gcc_v4hi __builtin_ia32_phaddsw(__gcc_v4hi, __gcc_v4hi);
93 __gcc_v4hi __builtin_ia32_phaddw(__gcc_v4hi, __gcc_v4hi);
94 __gcc_v2si __builtin_ia32_phsubd(__gcc_v2si, __gcc_v2si);
95 __gcc_v4hi __builtin_ia32_phsubsw(__gcc_v4hi, __gcc_v4hi);
96 __gcc_v4hi __builtin_ia32_phsubw(__gcc_v4hi, __gcc_v4hi);
97 __gcc_v8qi __builtin_ia32_pmaddubsw(__gcc_v8qi, __gcc_v8qi);
98 __gcc_v4hi __builtin_ia32_pmulhrsw(__gcc_v4hi, __gcc_v4hi);
99 __gcc_v8qi __builtin_ia32_pshufb(__gcc_v8qi, __gcc_v8qi);
100 __gcc_v8qi __builtin_ia32_psignb(__gcc_v8qi, __gcc_v8qi);
101 __gcc_v2si __builtin_ia32_psignd(__gcc_v2si, __gcc_v2si);
102 __gcc_v4hi __builtin_ia32_psignw(__gcc_v4hi, __gcc_v4hi);
103 // movdir64b
104 void __builtin_ia32_movdir64b(void *, const void *);
105 // movdiri
106 void __builtin_ia32_directstore_u32(unsigned int *, unsigned int);
107 void __builtin_ia32_directstore_u64(unsigned long int *, unsigned long int);
108 // mwaitx
109 void __builtin_ia32_monitorx(const void *, unsigned int, unsigned int);
110 void __builtin_ia32_mwaitx(unsigned int, unsigned int, unsigned int);
111 // pclmul
112 __gcc_v2di __builtin_ia32_pclmulqdq128(__gcc_v2di, __gcc_v2di, char);
113 // pku
114 unsigned int __builtin_ia32_rdpkru(void);
115 void __builtin_ia32_wrpkru(unsigned int);
116 // prefetchi
117 void __builtin_ia32_prefetchi(const void *, unsigned int);
118 // ptwrite
119 void __builtin_ia32_ptwrite32(unsigned int);
120 void __builtin_ia32_ptwrite64(unsigned long long int);
121 // raoint
122 void __builtin_ia32_aadd32(void *, signed int);
123 void __builtin_ia32_aadd64(void *, signed long long int);
124 void __builtin_ia32_aand32(void *, signed int);
125 void __builtin_ia32_aand64(void *, signed long long int);
126 void __builtin_ia32_aor32(void *, signed int);
127 void __builtin_ia32_aor64(void *, signed long long int);
128 void __builtin_ia32_axor32(void *, signed int);
129 void __builtin_ia32_axor64(void *, signed long long int);
130 // rdpid
131 unsigned int __builtin_ia32_rdpid(void);
132 // rdpru
133 unsigned long long int __builtin_ia32_rdpru(int);
134 // rdrnd
135 unsigned int __builtin_ia32_rdrand16_step(unsigned short *);
136 unsigned int __builtin_ia32_rdrand32_step(unsigned int *);
137 unsigned int __builtin_ia32_rdrand64_step(unsigned long long int *);
138 // rdseed
139 unsigned int __builtin_ia32_rdseed16_step(unsigned short *);
140 unsigned int __builtin_ia32_rdseed32_step(unsigned int *);
141 unsigned int __builtin_ia32_rdseed64_step(unsigned long long int *);
142 // rtm
147 // serialize
149 // sha
150 __gcc_v4si __builtin_ia32_sha1msg1(__gcc_v4si, __gcc_v4si);
151 __gcc_v4si __builtin_ia32_sha1msg2(__gcc_v4si, __gcc_v4si);
152 __gcc_v4si __builtin_ia32_sha1nexte(__gcc_v4si, __gcc_v4si);
153 __gcc_v4si __builtin_ia32_sha1rnds4(__gcc_v4si, __gcc_v4si, char);
154 __gcc_v4si __builtin_ia32_sha256msg1(__gcc_v4si, __gcc_v4si);
155 __gcc_v4si __builtin_ia32_sha256msg2(__gcc_v4si, __gcc_v4si);
156 __gcc_v4si __builtin_ia32_sha256rnds2(__gcc_v4si, __gcc_v4si, __gcc_v4si);
157 // sha512
158 __gcc_v4udi __builtin_ia32_vsha512msg1(__gcc_v4udi, __gcc_v2udi);
159 __gcc_v4udi __builtin_ia32_vsha512msg2(__gcc_v4udi, __gcc_v4udi);
160 __gcc_v4udi __builtin_ia32_vsha512rnds2(__gcc_v4udi, __gcc_v4udi, __gcc_v2udi);
161 // shstk
163 void __builtin_ia32_incsspd(unsigned int);
164 void __builtin_ia32_incsspq(unsigned long long int);
165 unsigned int __builtin_ia32_rdsspd(unsigned int);
166 unsigned long long int __builtin_ia32_rdsspq(unsigned long long int);
170 void __builtin_ia32_wrssd(unsigned int, void *);
171 void __builtin_ia32_wrssq(unsigned long long int, void *);
172 void __builtin_ia32_wrussd(unsigned int, void *);
173 void __builtin_ia32_wrussq(unsigned long long int, void *);
174 // sm3
175 __gcc_v4usi __builtin_ia32_vsm3msg1(__gcc_v4usi, __gcc_v4usi, __gcc_v4usi);
176 __gcc_v4usi __builtin_ia32_vsm3msg2(__gcc_v4usi, __gcc_v4usi, __gcc_v4usi);
177 __gcc_v4usi __builtin_ia32_vsm3rnds2(__gcc_v4usi, __gcc_v4usi, __gcc_v4usi, unsigned int);
178 // sm4
179 __gcc_v4usi __builtin_ia32_vsm4key4128(__gcc_v4usi, __gcc_v4usi);
180 __gcc_v8usi __builtin_ia32_vsm4key4256(__gcc_v8usi, __gcc_v8usi);
181 __gcc_v4usi __builtin_ia32_vsm4rnds4128(__gcc_v4usi, __gcc_v4usi);
182 __gcc_v8usi __builtin_ia32_vsm4rnds4256(__gcc_v8usi, __gcc_v8usi);
183 // sse
184 __gcc_v4sf __builtin_ia32_cmpeqps(__gcc_v4sf, __gcc_v4sf);
185 __gcc_v4sf __builtin_ia32_cmpeqss(__gcc_v4sf, __gcc_v4sf);
186 __gcc_v4sf __builtin_ia32_cmpleps(__gcc_v4sf, __gcc_v4sf);
187 __gcc_v4sf __builtin_ia32_cmpless(__gcc_v4sf, __gcc_v4sf);
188 __gcc_v4sf __builtin_ia32_cmpltps(__gcc_v4sf, __gcc_v4sf);
189 __gcc_v4sf __builtin_ia32_cmpltss(__gcc_v4sf, __gcc_v4sf);
190 __gcc_v4sf __builtin_ia32_cmpneqps(__gcc_v4sf, __gcc_v4sf);
191 __gcc_v4sf __builtin_ia32_cmpneqss(__gcc_v4sf, __gcc_v4sf);
192 __gcc_v4sf __builtin_ia32_cmpnleps(__gcc_v4sf, __gcc_v4sf);
193 __gcc_v4sf __builtin_ia32_cmpnless(__gcc_v4sf, __gcc_v4sf);
194 __gcc_v4sf __builtin_ia32_cmpnltps(__gcc_v4sf, __gcc_v4sf);
195 __gcc_v4sf __builtin_ia32_cmpnltss(__gcc_v4sf, __gcc_v4sf);
196 __gcc_v4sf __builtin_ia32_cmpordps(__gcc_v4sf, __gcc_v4sf);
197 __gcc_v4sf __builtin_ia32_cmpordss(__gcc_v4sf, __gcc_v4sf);
198 __gcc_v4sf __builtin_ia32_cmpps(__gcc_v4sf, __gcc_v4sf, char);
199 __gcc_v4sf __builtin_ia32_cmpss(__gcc_v4sf, __gcc_v4sf, char);
200 __gcc_v4sf __builtin_ia32_cmpunordps(__gcc_v4sf, __gcc_v4sf);
201 __gcc_v4sf __builtin_ia32_cmpunordss(__gcc_v4sf, __gcc_v4sf);
202 int __builtin_ia32_comieq(__gcc_v4sf, __gcc_v4sf);
203 int __builtin_ia32_comige(__gcc_v4sf, __gcc_v4sf);
204 int __builtin_ia32_comigt(__gcc_v4sf, __gcc_v4sf);
205 int __builtin_ia32_comile(__gcc_v4sf, __gcc_v4sf);
206 int __builtin_ia32_comilt(__gcc_v4sf, __gcc_v4sf);
207 int __builtin_ia32_comineq(__gcc_v4sf, __gcc_v4sf);
208 int __builtin_ia32_cvtss2si(__gcc_v4sf);
209 long long int __builtin_ia32_cvtss2si64(__gcc_v4sf);
210 int __builtin_ia32_cvttss2si(__gcc_v4sf);
211 long long int __builtin_ia32_cvttss2si64(__gcc_v4sf);
212 void __builtin_ia32_ldmxcsr(unsigned int);
213 __gcc_v4sf __builtin_ia32_maxps(__gcc_v4sf, __gcc_v4sf);
214 __gcc_v4sf __builtin_ia32_maxss(__gcc_v4sf, __gcc_v4sf);
215 __gcc_v4sf __builtin_ia32_minps(__gcc_v4sf, __gcc_v4sf);
216 __gcc_v4sf __builtin_ia32_minss(__gcc_v4sf, __gcc_v4sf);
217 int __builtin_ia32_movmskps(__gcc_v4sf);
218 __gcc_v4sf __builtin_ia32_rcpps(__gcc_v4sf);
219 __gcc_v4sf __builtin_ia32_rcpss(__gcc_v4sf);
220 __gcc_v4sf __builtin_ia32_rsqrtps(__gcc_v4sf);
221 __gcc_v4sf __builtin_ia32_rsqrtss(__gcc_v4sf);
223 __gcc_v4sf __builtin_ia32_shufps(__gcc_v4sf, __gcc_v4sf, int);
224 __gcc_v4sf __builtin_ia32_sqrtps(__gcc_v4sf);
225 __gcc_v4sf __builtin_ia32_sqrtss(__gcc_v4sf);
226 unsigned int __builtin_ia32_stmxcsr(void);
227 int __builtin_ia32_ucomieq(__gcc_v4sf, __gcc_v4sf);
228 int __builtin_ia32_ucomige(__gcc_v4sf, __gcc_v4sf);
229 int __builtin_ia32_ucomigt(__gcc_v4sf, __gcc_v4sf);
230 int __builtin_ia32_ucomile(__gcc_v4sf, __gcc_v4sf);
231 int __builtin_ia32_ucomilt(__gcc_v4sf, __gcc_v4sf);
232 int __builtin_ia32_ucomineq(__gcc_v4sf, __gcc_v4sf);
233 // sse2
234 void __builtin_ia32_clflush(const void *);
235 __gcc_v2df __builtin_ia32_cmpeqpd(__gcc_v2df, __gcc_v2df);
236 __gcc_v2df __builtin_ia32_cmpeqsd(__gcc_v2df, __gcc_v2df);
237 __gcc_v2df __builtin_ia32_cmplepd(__gcc_v2df, __gcc_v2df);
238 __gcc_v2df __builtin_ia32_cmplesd(__gcc_v2df, __gcc_v2df);
239 __gcc_v2df __builtin_ia32_cmpltpd(__gcc_v2df, __gcc_v2df);
240 __gcc_v2df __builtin_ia32_cmpltsd(__gcc_v2df, __gcc_v2df);
241 __gcc_v2df __builtin_ia32_cmpneqpd(__gcc_v2df, __gcc_v2df);
242 __gcc_v2df __builtin_ia32_cmpneqsd(__gcc_v2df, __gcc_v2df);
243 __gcc_v2df __builtin_ia32_cmpnlepd(__gcc_v2df, __gcc_v2df);
244 __gcc_v2df __builtin_ia32_cmpnlesd(__gcc_v2df, __gcc_v2df);
245 __gcc_v2df __builtin_ia32_cmpnltpd(__gcc_v2df, __gcc_v2df);
246 __gcc_v2df __builtin_ia32_cmpnltsd(__gcc_v2df, __gcc_v2df);
247 __gcc_v2df __builtin_ia32_cmpordpd(__gcc_v2df, __gcc_v2df);
248 __gcc_v2df __builtin_ia32_cmpordsd(__gcc_v2df, __gcc_v2df);
249 __gcc_v2df __builtin_ia32_cmppd(__gcc_v2df, __gcc_v2df, char);
250 __gcc_v2df __builtin_ia32_cmpsd(__gcc_v2df, __gcc_v2df, char);
251 __gcc_v2df __builtin_ia32_cmpunordpd(__gcc_v2df, __gcc_v2df);
252 __gcc_v2df __builtin_ia32_cmpunordsd(__gcc_v2df, __gcc_v2df);
253 int __builtin_ia32_comisdeq(__gcc_v2df, __gcc_v2df);
254 int __builtin_ia32_comisdge(__gcc_v2df, __gcc_v2df);
255 int __builtin_ia32_comisdgt(__gcc_v2df, __gcc_v2df);
256 int __builtin_ia32_comisdle(__gcc_v2df, __gcc_v2df);
257 int __builtin_ia32_comisdlt(__gcc_v2df, __gcc_v2df);
258 int __builtin_ia32_comisdneq(__gcc_v2df, __gcc_v2df);
259 __gcc_v2di __builtin_ia32_cvtpd2dq(__gcc_v2df);
260 __gcc_v4sf __builtin_ia32_cvtpd2ps(__gcc_v2df);
261 __gcc_v4si __builtin_ia32_cvtps2dq(__gcc_v4sf);
262 int __builtin_ia32_cvtsd2si(__gcc_v2df);
263 long long int __builtin_ia32_cvtsd2si64(__gcc_v2df);
264 __gcc_v4sf __builtin_ia32_cvtsd2ss(__gcc_v4sf, __gcc_v2df);
265 __gcc_v4si __builtin_ia32_cvttpd2dq(__gcc_v2df);
266 __gcc_v4si __builtin_ia32_cvttps2dq(__gcc_v4sf);
267 int __builtin_ia32_cvttsd2si(__gcc_v2df);
268 long long int __builtin_ia32_cvttsd2si64(__gcc_v2df);
270 void __builtin_ia32_maskmovdqu(__gcc_v16qi, __gcc_v16qi, char *);
271 __gcc_v2df __builtin_ia32_maxpd(__gcc_v2df, __gcc_v2df);
272 __gcc_v2df __builtin_ia32_maxsd(__gcc_v2df, __gcc_v2df);
274 __gcc_v2df __builtin_ia32_minpd(__gcc_v2df, __gcc_v2df);
275 __gcc_v2df __builtin_ia32_minsd(__gcc_v2df, __gcc_v2df);
276 int __builtin_ia32_movmskpd(__gcc_v2df);
277 void __builtin_ia32_movnti(int *, int);
278 void __builtin_ia32_movnti64(long long int *, long long int);
279 __gcc_v8hi __builtin_ia32_packssdw128(__gcc_v4si, __gcc_v4si);
280 __gcc_v16qi __builtin_ia32_packsswb128(__gcc_v8hi, __gcc_v8hi);
281 __gcc_v16qi __builtin_ia32_packuswb128(__gcc_v8hi, __gcc_v8hi);
282 __gcc_v16qi __builtin_ia32_pavgb128(__gcc_v16qi, __gcc_v16qi);
283 __gcc_v8hi __builtin_ia32_pavgw128(__gcc_v8hi, __gcc_v8hi);
284 __gcc_v4si __builtin_ia32_pmaddwd128(__gcc_v8hi, __gcc_v8hi);
285 int __builtin_ia32_pmovmskb128(__gcc_v16qi);
286 __gcc_v8hi __builtin_ia32_pmulhuw128(__gcc_v8hi, __gcc_v8hi);
287 __gcc_v8hi __builtin_ia32_pmulhw128(__gcc_v8hi, __gcc_v8hi);
288 __gcc_v2di __builtin_ia32_pmuludq128(__gcc_v4si, __gcc_v4si);
289 __gcc_v2di __builtin_ia32_psadbw128(__gcc_v16qi, __gcc_v16qi);
290 __gcc_v4si __builtin_ia32_pshufd(__gcc_v4si, int);
291 __gcc_v8hi __builtin_ia32_pshufhw(__gcc_v8hi, int);
292 __gcc_v8hi __builtin_ia32_pshuflw(__gcc_v8hi, int);
293 __gcc_v4si __builtin_ia32_pslld128(__gcc_v4si, __gcc_v4si);
294 __gcc_v4si __builtin_ia32_pslldi128(__gcc_v4si, int);
295 __gcc_v2di __builtin_ia32_pslldqi128_byteshift(__gcc_v2di, int);
296 __gcc_v2di __builtin_ia32_psllq128(__gcc_v2di, __gcc_v2di);
297 __gcc_v2di __builtin_ia32_psllqi128(__gcc_v2di, int);
298 __gcc_v8hi __builtin_ia32_psllw128(__gcc_v8hi, __gcc_v8hi);
299 __gcc_v8hi __builtin_ia32_psllwi128(__gcc_v8hi, int);
300 __gcc_v4si __builtin_ia32_psrad128(__gcc_v4si, __gcc_v4si);
301 __gcc_v4si __builtin_ia32_psradi128(__gcc_v4si, int);
302 __gcc_v8hi __builtin_ia32_psraw128(__gcc_v8hi, __gcc_v8hi);
303 __gcc_v8hi __builtin_ia32_psrawi128(__gcc_v8hi, int);
304 __gcc_v4si __builtin_ia32_psrld128(__gcc_v4si, __gcc_v4si);
305 __gcc_v4si __builtin_ia32_psrldi128(__gcc_v4si, int);
306 __gcc_v2di __builtin_ia32_psrldqi128_byteshift(__gcc_v2di, int);
307 __gcc_v2di __builtin_ia32_psrlq128(__gcc_v2di, __gcc_v2di);
308 __gcc_v2di __builtin_ia32_psrlqi128(__gcc_v2di, int);
309 __gcc_v8hi __builtin_ia32_psrlw128(__gcc_v8hi, __gcc_v8hi);
310 __gcc_v8hi __builtin_ia32_psrlwi128(__gcc_v8hi, int);
311 __gcc_v2df __builtin_ia32_shufpd(__gcc_v2df, __gcc_v2df, int);
312 __gcc_v2df __builtin_ia32_sqrtpd(__gcc_v2df);
313 __gcc_v2df __builtin_ia32_sqrtsd(__gcc_v2df);
314 int __builtin_ia32_ucomisdeq(__gcc_v2df, __gcc_v2df);
315 int __builtin_ia32_ucomisdge(__gcc_v2df, __gcc_v2df);
316 int __builtin_ia32_ucomisdgt(__gcc_v2df, __gcc_v2df);
317 int __builtin_ia32_ucomisdle(__gcc_v2df, __gcc_v2df);
318 int __builtin_ia32_ucomisdlt(__gcc_v2df, __gcc_v2df);
319 int __builtin_ia32_ucomisdneq(__gcc_v2df, __gcc_v2df);
320 long long int __builtin_ia32_vec_ext_v2di(__gcc_v2di, int);
321 float __builtin_ia32_vec_ext_v4sf(__gcc_v4sf, int);
322 int __builtin_ia32_vec_ext_v4si(__gcc_v4si, int);
323 short __builtin_ia32_vec_ext_v8hi(__gcc_v8hi, int);
324 __gcc_v8hi __builtin_ia32_vec_set_v8hi(__gcc_v8hi, short, int);
325 // sse3
326 __gcc_v2df __builtin_ia32_addsubpd(__gcc_v2df, __gcc_v2df);
327 __gcc_v4sf __builtin_ia32_addsubps(__gcc_v4sf, __gcc_v4sf);
328 __gcc_v2df __builtin_ia32_haddpd(__gcc_v2df, __gcc_v2df);
329 __gcc_v4sf __builtin_ia32_haddps(__gcc_v4sf, __gcc_v4sf);
330 __gcc_v2df __builtin_ia32_hsubpd(__gcc_v2df, __gcc_v2df);
331 __gcc_v4sf __builtin_ia32_hsubps(__gcc_v4sf, __gcc_v4sf);
332 __gcc_v16qi __builtin_ia32_lddqu(const char *);
333 void __builtin_ia32_monitor(const void *, unsigned int, unsigned int);
334 void __builtin_ia32_mwait(unsigned int, unsigned int);
335 // sse4.1
336 __gcc_v2df __builtin_ia32_blendpd(__gcc_v2df, __gcc_v2df, int);
337 __gcc_v4sf __builtin_ia32_blendps(__gcc_v4sf, __gcc_v4sf, int);
338 __gcc_v2df __builtin_ia32_blendvpd(__gcc_v2df, __gcc_v2df, __gcc_v2df);
339 __gcc_v4sf __builtin_ia32_blendvps(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf);
340 __gcc_v2df __builtin_ia32_dppd(__gcc_v2df, __gcc_v2df, char);
341 __gcc_v4sf __builtin_ia32_dpps(__gcc_v4sf, __gcc_v4sf, char);
342 __gcc_v4sf __builtin_ia32_insertps128(__gcc_v4sf, __gcc_v4sf, char);
343 __gcc_v16qi __builtin_ia32_mpsadbw128(__gcc_v16qi, __gcc_v16qi, char);
344 __gcc_v8hi __builtin_ia32_packusdw128(__gcc_v4si, __gcc_v4si);
345 __gcc_v16qi __builtin_ia32_pblendvb128(__gcc_v16qi, __gcc_v16qi, __gcc_v16qi);
346 __gcc_v8hi __builtin_ia32_pblendw128(__gcc_v8hi, __gcc_v8hi, int);
347 __gcc_v8hi __builtin_ia32_phminposuw128(__gcc_v8hi);
348 __gcc_v2di __builtin_ia32_pmuldq128(__gcc_v4si, __gcc_v4si);
349 int __builtin_ia32_ptestc128(__gcc_v2di, __gcc_v2di);
350 int __builtin_ia32_ptestnzc128(__gcc_v2di, __gcc_v2di);
351 int __builtin_ia32_ptestz128(__gcc_v2di, __gcc_v2di);
352 __gcc_v2df __builtin_ia32_roundpd(__gcc_v2df, int);
353 __gcc_v4sf __builtin_ia32_roundps(__gcc_v4sf, int);
354 __gcc_v2df __builtin_ia32_roundsd(__gcc_v2df, __gcc_v2df, int);
355 __gcc_v4sf __builtin_ia32_roundss(__gcc_v4sf, __gcc_v4sf, int);
356 char __builtin_ia32_vec_ext_v16qi(__gcc_v16qi, int);
357 __gcc_v16qi __builtin_ia32_vec_set_v16qi(__gcc_v16qi, char, int);
358 __gcc_v2di __builtin_ia32_vec_set_v2di(__gcc_v2di, long long int, int);
359 __gcc_v4si __builtin_ia32_vec_set_v4si(__gcc_v4si, int, int);
360 // sse4.2
361 int __builtin_ia32_pcmpestri128(__gcc_v16qi, int, __gcc_v16qi, int, char);
362 int __builtin_ia32_pcmpestria128(__gcc_v16qi, int, __gcc_v16qi, int, char);
363 int __builtin_ia32_pcmpestric128(__gcc_v16qi, int, __gcc_v16qi, int, char);
364 int __builtin_ia32_pcmpestrio128(__gcc_v16qi, int, __gcc_v16qi, int, char);
365 int __builtin_ia32_pcmpestris128(__gcc_v16qi, int, __gcc_v16qi, int, char);
366 int __builtin_ia32_pcmpestriz128(__gcc_v16qi, int, __gcc_v16qi, int, char);
367 __gcc_v16qi __builtin_ia32_pcmpestrm128(__gcc_v16qi, int, __gcc_v16qi, int, char);
368 int __builtin_ia32_pcmpistri128(__gcc_v16qi, __gcc_v16qi, char);
369 int __builtin_ia32_pcmpistria128(__gcc_v16qi, __gcc_v16qi, char);
370 int __builtin_ia32_pcmpistric128(__gcc_v16qi, __gcc_v16qi, char);
371 int __builtin_ia32_pcmpistrio128(__gcc_v16qi, __gcc_v16qi, char);
372 int __builtin_ia32_pcmpistris128(__gcc_v16qi, __gcc_v16qi, char);
373 int __builtin_ia32_pcmpistriz128(__gcc_v16qi, __gcc_v16qi, char);
374 __gcc_v16qi __builtin_ia32_pcmpistrm128(__gcc_v16qi, __gcc_v16qi, char);
375 // sse4a
376 __gcc_v2di __builtin_ia32_extrq(__gcc_v2di, __gcc_v16qi);
377 __gcc_v2di __builtin_ia32_extrqi(__gcc_v2di, char, char);
378 __gcc_v2di __builtin_ia32_insertq(__gcc_v2di, __gcc_v2di);
379 __gcc_v2di __builtin_ia32_insertqi(__gcc_v2di, __gcc_v2di, char, char);
380 void __builtin_ia32_movntsd(double *, __gcc_v2df);
381 void __builtin_ia32_movntss(float *, __gcc_v4sf);
382 // ssse3
383 __gcc_v16qi __builtin_ia32_palignr128(__gcc_v16qi, __gcc_v16qi, int);
384 __gcc_v4si __builtin_ia32_phaddd128(__gcc_v4si, __gcc_v4si);
385 __gcc_v8hi __builtin_ia32_phaddsw128(__gcc_v8hi, __gcc_v8hi);
386 __gcc_v8hi __builtin_ia32_phaddw128(__gcc_v8hi, __gcc_v8hi);
387 __gcc_v4si __builtin_ia32_phsubd128(__gcc_v4si, __gcc_v4si);
388 __gcc_v8hi __builtin_ia32_phsubsw128(__gcc_v8hi, __gcc_v8hi);
389 __gcc_v8hi __builtin_ia32_phsubw128(__gcc_v8hi, __gcc_v8hi);
390 __gcc_v8hi __builtin_ia32_pmaddubsw128(__gcc_v16qi, __gcc_v16qi);
391 __gcc_v8hi __builtin_ia32_pmulhrsw128(__gcc_v8hi, __gcc_v8hi);
392 __gcc_v16qi __builtin_ia32_pshufb128(__gcc_v16qi, __gcc_v16qi);
393 __gcc_v16qi __builtin_ia32_psignb128(__gcc_v16qi, __gcc_v16qi);
394 __gcc_v4si __builtin_ia32_psignd128(__gcc_v4si, __gcc_v4si);
395 __gcc_v8hi __builtin_ia32_psignw128(__gcc_v8hi, __gcc_v8hi);
396 // tbm
397 unsigned int __builtin_ia32_bextri_u32(unsigned int, unsigned int);
398 unsigned long long int __builtin_ia32_bextri_u64(unsigned long long int, unsigned long long int);
399 // tsxldtrk
402 // uintr
404 void __builtin_ia32_senduipi(unsigned int64_t);
406 unsigned char __builtin_ia32_testui(void);
407 // usermsr
408 unsigned long long int __builtin_ia32_urdmsr(unsigned long long int);
409 void __builtin_ia32_uwrmsr(unsigned long long int, unsigned long long int);
410 // vaes
411 __gcc_v4di __builtin_ia32_aesdec256(__gcc_v4di, __gcc_v4di);
412 __gcc_v4di __builtin_ia32_aesdeclast256(__gcc_v4di, __gcc_v4di);
413 __gcc_v4di __builtin_ia32_aesenc256(__gcc_v4di, __gcc_v4di);
414 __gcc_v4di __builtin_ia32_aesenclast256(__gcc_v4di, __gcc_v4di);
415 // vpclmulqdq
416 __gcc_v4di __builtin_ia32_pclmulqdq256(__gcc_v4di, __gcc_v4di, char);
417 // waitpkg
418 unsigned char __builtin_ia32_tpause(unsigned int, unsigned int, unsigned int);
419 void __builtin_ia32_umonitor(const void *);
420 unsigned char __builtin_ia32_umwait(unsigned int, unsigned int, unsigned int);
421 // wbnoinvd
423 // xop
424 __gcc_v2df __builtin_ia32_vfrczpd(__gcc_v2df);
425 __gcc_v4df __builtin_ia32_vfrczpd256(__gcc_v4df);
426 __gcc_v4sf __builtin_ia32_vfrczps(__gcc_v4sf);
427 __gcc_v8sf __builtin_ia32_vfrczps256(__gcc_v8sf);
428 __gcc_v2df __builtin_ia32_vfrczsd(__gcc_v2df);
429 __gcc_v4sf __builtin_ia32_vfrczss(__gcc_v4sf);
430 __gcc_v16qi __builtin_ia32_vpcomb(__gcc_v16qi, __gcc_v16qi, char);
431 __gcc_v4si __builtin_ia32_vpcomd(__gcc_v4si, __gcc_v4si, char);
432 __gcc_v2di __builtin_ia32_vpcomq(__gcc_v2di, __gcc_v2di, char);
433 __gcc_v16qi __builtin_ia32_vpcomub(__gcc_v16qi, __gcc_v16qi, char);
434 __gcc_v4si __builtin_ia32_vpcomud(__gcc_v4si, __gcc_v4si, char);
435 __gcc_v2di __builtin_ia32_vpcomuq(__gcc_v2di, __gcc_v2di, char);
436 __gcc_v8hi __builtin_ia32_vpcomuw(__gcc_v8hi, __gcc_v8hi, char);
437 __gcc_v8hi __builtin_ia32_vpcomw(__gcc_v8hi, __gcc_v8hi, char);
438 __gcc_v2df __builtin_ia32_vpermil2pd(__gcc_v2df, __gcc_v2df, __gcc_v2di, char);
439 __gcc_v4df __builtin_ia32_vpermil2pd256(__gcc_v4df, __gcc_v4df, __gcc_v4di, char);
440 __gcc_v4sf __builtin_ia32_vpermil2ps(__gcc_v4sf, __gcc_v4sf, __gcc_v4si, char);
441 __gcc_v8sf __builtin_ia32_vpermil2ps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8si, char);
442 __gcc_v4si __builtin_ia32_vphaddbd(__gcc_v16qi);
443 __gcc_v2di __builtin_ia32_vphaddbq(__gcc_v16qi);
444 __gcc_v8hi __builtin_ia32_vphaddbw(__gcc_v16qi);
445 __gcc_v2di __builtin_ia32_vphadddq(__gcc_v4si);
446 __gcc_v4si __builtin_ia32_vphaddubd(__gcc_v16qi);
447 __gcc_v2di __builtin_ia32_vphaddubq(__gcc_v16qi);
448 __gcc_v8hi __builtin_ia32_vphaddubw(__gcc_v16qi);
449 __gcc_v2di __builtin_ia32_vphaddudq(__gcc_v4si);
450 __gcc_v4si __builtin_ia32_vphadduwd(__gcc_v8hi);
451 __gcc_v2di __builtin_ia32_vphadduwq(__gcc_v8hi);
452 __gcc_v4si __builtin_ia32_vphaddwd(__gcc_v8hi);
453 __gcc_v2di __builtin_ia32_vphaddwq(__gcc_v8hi);
454 __gcc_v8hi __builtin_ia32_vphsubbw(__gcc_v16qi);
455 __gcc_v2di __builtin_ia32_vphsubdq(__gcc_v4si);
456 __gcc_v4si __builtin_ia32_vphsubwd(__gcc_v8hi);
457 __gcc_v4si __builtin_ia32_vpmacsdd(__gcc_v4si, __gcc_v4si, __gcc_v4si);
458 __gcc_v2di __builtin_ia32_vpmacsdqh(__gcc_v4si, __gcc_v4si, __gcc_v2di);
459 __gcc_v2di __builtin_ia32_vpmacsdql(__gcc_v4si, __gcc_v4si, __gcc_v2di);
460 __gcc_v4si __builtin_ia32_vpmacssdd(__gcc_v4si, __gcc_v4si, __gcc_v4si);
461 __gcc_v2di __builtin_ia32_vpmacssdqh(__gcc_v4si, __gcc_v4si, __gcc_v2di);
462 __gcc_v2di __builtin_ia32_vpmacssdql(__gcc_v4si, __gcc_v4si, __gcc_v2di);
463 __gcc_v4si __builtin_ia32_vpmacsswd(__gcc_v8hi, __gcc_v8hi, __gcc_v4si);
464 __gcc_v8hi __builtin_ia32_vpmacssww(__gcc_v8hi, __gcc_v8hi, __gcc_v8hi);
465 __gcc_v4si __builtin_ia32_vpmacswd(__gcc_v8hi, __gcc_v8hi, __gcc_v4si);
466 __gcc_v8hi __builtin_ia32_vpmacsww(__gcc_v8hi, __gcc_v8hi, __gcc_v8hi);
467 __gcc_v4si __builtin_ia32_vpmadcsswd(__gcc_v8hi, __gcc_v8hi, __gcc_v4si);
468 __gcc_v4si __builtin_ia32_vpmadcswd(__gcc_v8hi, __gcc_v8hi, __gcc_v4si);
469 __gcc_v16qi __builtin_ia32_vpperm(__gcc_v16qi, __gcc_v16qi, __gcc_v16qi);
470 __gcc_v16qi __builtin_ia32_vprotb(__gcc_v16qi, __gcc_v16qi);
471 __gcc_v16qi __builtin_ia32_vprotbi(__gcc_v16qi, char);
472 __gcc_v4si __builtin_ia32_vprotd(__gcc_v4si, __gcc_v4si);
473 __gcc_v4si __builtin_ia32_vprotdi(__gcc_v4si, char);
474 __gcc_v2di __builtin_ia32_vprotq(__gcc_v2di, __gcc_v2di);
475 __gcc_v2di __builtin_ia32_vprotqi(__gcc_v2di, char);
476 __gcc_v8hi __builtin_ia32_vprotw(__gcc_v8hi, __gcc_v8hi);
477 __gcc_v8hi __builtin_ia32_vprotwi(__gcc_v8hi, char);
478 __gcc_v16qi __builtin_ia32_vpshab(__gcc_v16qi, __gcc_v16qi);
479 __gcc_v4si __builtin_ia32_vpshad(__gcc_v4si, __gcc_v4si);
480 __gcc_v2di __builtin_ia32_vpshaq(__gcc_v2di, __gcc_v2di);
481 __gcc_v8hi __builtin_ia32_vpshaw(__gcc_v8hi, __gcc_v8hi);
482 __gcc_v16qi __builtin_ia32_vpshlb(__gcc_v16qi, __gcc_v16qi);
483 __gcc_v4si __builtin_ia32_vpshld(__gcc_v4si, __gcc_v4si);
484 __gcc_v2di __builtin_ia32_vpshlq(__gcc_v2di, __gcc_v2di);
485 __gcc_v8hi __builtin_ia32_vpshlw(__gcc_v8hi, __gcc_v8hi);
486 // xsave
487 unsigned long long int __builtin_ia32_xgetbv(unsigned int);
488 void __builtin_ia32_xrstor(void *, unsigned long long int);
489 void __builtin_ia32_xrstor64(void *, unsigned long long int);
490 void __builtin_ia32_xsave(void *, unsigned long long int);
491 void __builtin_ia32_xsave64(void *, unsigned long long int);
492 void __builtin_ia32_xsetbv(unsigned int, unsigned long long int);
493 // xsavec
494 void __builtin_ia32_xsavec(void *, unsigned long long int);
495 void __builtin_ia32_xsavec64(void *, unsigned long long int);
496 // xsaveopt
497 void __builtin_ia32_xsaveopt(void *, unsigned long long int);
498 void __builtin_ia32_xsaveopt64(void *, unsigned long long int);
499 // xsaves
500 void __builtin_ia32_xrstors(void *, unsigned long long int);
501 void __builtin_ia32_xrstors64(void *, unsigned long long int);
502 void __builtin_ia32_xsaves(void *, unsigned long long int);
503 void __builtin_ia32_xsaves64(void *, unsigned long long int);
504 // clang-format on
__gcc_v2df __builtin_ia32_cmplepd(__gcc_v2df, __gcc_v2df)
void __builtin_ia32_xabort(char)
__gcc_v16qi __builtin_ia32_pcmpestrm128(__gcc_v16qi, int, __gcc_v16qi, int, char)
__gcc_v4sf __builtin_ia32_sqrtss(__gcc_v4sf)
__gcc_v4sf __builtin_ia32_roundss(__gcc_v4sf, __gcc_v4sf, int)
__gcc_v2df __builtin_ia32_cvtpi2pd(__gcc_v2si)
int __builtin_ia32_vec_ext_v2si(__gcc_v2si, int)
long long int __builtin_ia32_vec_ext_v2di(__gcc_v2di, int)
Definition: gcc.c:187
__gcc_v2df __builtin_ia32_cmpneqsd(__gcc_v2df, __gcc_v2df)
void __builtin_ia32_mwait(unsigned int, unsigned int)
__gcc_v16qi __builtin_ia32_vec_set_v16qi(__gcc_v16qi, char, int)
void __builtin_ia32_mfence(void)
__gcc_v2di __builtin_ia32_vprotqi(__gcc_v2di, char)
float __builtin_ia32_vec_ext_v4sf(__gcc_v4sf, int)
Definition: gcc.c:205
__gcc_v4si __builtin_ia32_sha256rnds2(__gcc_v4si, __gcc_v4si, __gcc_v4si)
unsigned long long int __builtin_ia32_xgetbv(unsigned int)
__gcc_v4si __builtin_ia32_vpmacsdd(__gcc_v4si, __gcc_v4si, __gcc_v4si)
__gcc_v4sf __builtin_ia32_cmpnleps(__gcc_v4sf, __gcc_v4sf)
void __builtin_ia32_clflush(const void *)
__gcc_v4hi __builtin_ia32_psubsw(__gcc_v4hi, __gcc_v4hi)
Definition: gcc.c:262
__gcc_v4hi __builtin_ia32_pminsw(__gcc_v4hi, __gcc_v4hi)
__gcc_v2df __builtin_ia32_dppd(__gcc_v2df, __gcc_v2df, char)
__gcc_v2di __builtin_ia32_psrldqi128_byteshift(__gcc_v2di, int)
__gcc_v8qi __builtin_ia32_paddusb(__gcc_v8qi, __gcc_v8qi)
unsigned char __builtin_ia32_testui(void)
__gcc_v4hi __builtin_ia32_psrawi(__gcc_v4hi, int)
__gcc_v8qi __builtin_ia32_psubsb(__gcc_v8qi, __gcc_v8qi)
__gcc_v4si __builtin_ia32_vpmadcswd(__gcc_v8hi, __gcc_v8hi, __gcc_v4si)
__gcc_v8qi __builtin_ia32_vec_init_v8qi(char, char, char, char, char, char, char, char)
int __builtin_ia32_xbegin(void)
void __builtin_ia32_movnti(int *, int)
int __builtin_ia32_ptestnzc128(__gcc_v2di, __gcc_v2di)
__gcc_v4hi __builtin_ia32_psignw(__gcc_v4hi, __gcc_v4hi)
__gcc_v4sf __builtin_ia32_cmpps(__gcc_v4sf, __gcc_v4sf, char)
__gcc_v2df __builtin_ia32_cmppd(__gcc_v2df, __gcc_v2df, char)
__gcc_v8hi __builtin_ia32_pmulhrsw128(__gcc_v8hi, __gcc_v8hi)
void __builtin_ia32_xrstors(void *, unsigned long long int)
__gcc_v2df __builtin_ia32_cmpsd(__gcc_v2df, __gcc_v2df, char)
void __builtin_ia32_movntss(float *, __gcc_v4sf)
__gcc_v4sf __builtin_ia32_cvtpi2ps(__gcc_v4sf, __gcc_v2si)
__gcc_v4si __builtin_ia32_vprotdi(__gcc_v4si, char)
__gcc_v2df __builtin_ia32_cmplesd(__gcc_v2df, __gcc_v2df)
__gcc_v2si __builtin_ia32_punpckldq(__gcc_v2si, __gcc_v2si)
__gcc_v4si __builtin_ia32_vpmacssdd(__gcc_v4si, __gcc_v4si, __gcc_v4si)
int __builtin_ia32_ucomisdlt(__gcc_v2df, __gcc_v2df)
void __builtin_ia32_xsetbv(unsigned int, unsigned long long int)
__gcc_v4hi __builtin_ia32_packssdw(__gcc_v2si, __gcc_v2si)
__gcc_v4si __builtin_ia32_vphaddbd(__gcc_v16qi)
__gcc_v8qi __builtin_ia32_pabsb(__gcc_v8qi)
__gcc_v2si __builtin_ia32_psubd(__gcc_v2si, __gcc_v2si)
void __builtin_ia32_movdir64b(void *, const void *)
__gcc_v4si __builtin_ia32_vphadduwd(__gcc_v8hi)
int __builtin_ia32_comisdge(__gcc_v2df, __gcc_v2df)
void __builtin_ia32_clui(void)
__gcc_v2di __builtin_ia32_pmuldq128(__gcc_v4si, __gcc_v4si)
__gcc_v8sf __builtin_ia32_vpermil2ps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8si, char)
int __builtin_ia32_ucomile(__gcc_v4sf, __gcc_v4sf)
__gcc_v2df __builtin_ia32_cmpeqpd(__gcc_v2df, __gcc_v2df)
__gcc_v8qi __builtin_ia32_punpcklbw(__gcc_v8qi, __gcc_v8qi)
unsigned char __builtin_ia32_umwait(unsigned int, unsigned int, unsigned int)
__gcc_v4udi __builtin_ia32_vsha512msg2(__gcc_v4udi, __gcc_v4udi)
__gcc_v2df __builtin_ia32_blendpd(__gcc_v2df, __gcc_v2df, int)
__gcc_v16qi __builtin_ia32_pshufb128(__gcc_v16qi, __gcc_v16qi)
unsigned long long int __builtin_ia32_bextri_u64(unsigned long long int, unsigned long long int)
void __builtin_ia32_incsspd(unsigned int)
void __builtin_ia32_sfence(void)
__gcc_v16qi __builtin_ia32_palignr128(__gcc_v16qi, __gcc_v16qi, int)
__gcc_v4si __builtin_ia32_phsubd128(__gcc_v4si, __gcc_v4si)
__gcc_v4hi __builtin_ia32_pavgw(__gcc_v4hi, __gcc_v4hi)
__gcc_v4hi __builtin_ia32_punpcklwd(__gcc_v4hi, __gcc_v4hi)
__gcc_v4sf __builtin_ia32_blendps(__gcc_v4sf, __gcc_v4sf, int)
__gcc_v2di __builtin_ia32_vphsubdq(__gcc_v4si)
__gcc_v8qi __builtin_ia32_packsswb(__gcc_v4hi, __gcc_v4hi)
__gcc_v8usi __builtin_ia32_vsm4rnds4256(__gcc_v8usi, __gcc_v8usi)
__gcc_v4sf __builtin_ia32_rsqrtps(__gcc_v4sf)
void __builtin_ia32_senduipi(unsigned int64_t)
__gcc_v2si __builtin_ia32_punpckhdq(__gcc_v2si, __gcc_v2si)
__gcc_v4sf __builtin_ia32_maxss(__gcc_v4sf, __gcc_v4sf)
__gcc_v2si __builtin_ia32_pcmpeqd(__gcc_v2si, __gcc_v2si)
int __builtin_ia32_comieq(__gcc_v4sf, __gcc_v4sf)
__gcc_v16qi __builtin_ia32_pavgb128(__gcc_v16qi, __gcc_v16qi)
void __builtin_ia32_xrstor(void *, unsigned long long int)
__gcc_v2df __builtin_ia32_cmpunordsd(__gcc_v2df, __gcc_v2df)
__gcc_v2si __builtin_ia32_psrldi(__gcc_v2si, int)
__gcc_v2df __builtin_ia32_cmpordsd(__gcc_v2df, __gcc_v2df)
void __builtin_ia32_rstorssp(void *)
void __builtin_ia32_xsaveopt(void *, unsigned long long int)
int __builtin_ia32_cvtss2si(__gcc_v4sf)
__gcc_v2si __builtin_ia32_pabsd(__gcc_v2si)
__gcc_v4sf __builtin_ia32_cmpeqss(__gcc_v4sf, __gcc_v4sf)
void __builtin_ia32_xsave(void *, unsigned long long int)
__gcc_v8hi __builtin_ia32_psrlw128(__gcc_v8hi, __gcc_v8hi)
__gcc_v4sf __builtin_ia32_cmpss(__gcc_v4sf, __gcc_v4sf, char)
__gcc_v8hi __builtin_ia32_phsubw128(__gcc_v8hi, __gcc_v8hi)
void __builtin_ia32_wrussd(unsigned int, void *)
__gcc_v4di __builtin_ia32_aesdec256(__gcc_v4di, __gcc_v4di)
long long int __builtin_ia32_cvtss2si64(__gcc_v4sf)
__gcc_v2si __builtin_ia32_phsubd(__gcc_v2si, __gcc_v2si)
__gcc_v4sf __builtin_ia32_sqrtps(__gcc_v4sf)
__gcc_v4si __builtin_ia32_cvtps2dq(__gcc_v4sf)
__gcc_v8hi __builtin_ia32_vpmacssww(__gcc_v8hi, __gcc_v8hi, __gcc_v8hi)
__gcc_v2di __builtin_ia32_vpmacssdql(__gcc_v4si, __gcc_v4si, __gcc_v2di)
__gcc_v2di __builtin_ia32_insertq(__gcc_v2di, __gcc_v2di)
__gcc_v2si __builtin_ia32_psradi(__gcc_v2si, int)
int __builtin_ia32_ptestc128(__gcc_v2di, __gcc_v2di)
__gcc_v4sf __builtin_ia32_cmpordss(__gcc_v4sf, __gcc_v4sf)
__gcc_v4sf __builtin_ia32_minps(__gcc_v4sf, __gcc_v4sf)
__gcc_v2di __builtin_ia32_vpshlq(__gcc_v2di, __gcc_v2di)
__gcc_v8qi __builtin_ia32_palignr(__gcc_v8qi, __gcc_v8qi, char)
__gcc_v4hi __builtin_ia32_phaddsw(__gcc_v4hi, __gcc_v4hi)
__gcc_v8hi __builtin_ia32_phaddw128(__gcc_v8hi, __gcc_v8hi)
void __builtin_ia32_movntsd(double *, __gcc_v2df)
__gcc_v2di __builtin_ia32_vphaddubq(__gcc_v16qi)
int __builtin_ia32_ucomige(__gcc_v4sf, __gcc_v4sf)
__gcc_v1di __builtin_ia32_pand(__gcc_v1di, __gcc_v1di)
__gcc_v2di __builtin_ia32_vphadddq(__gcc_v4si)
__gcc_v2df __builtin_ia32_roundpd(__gcc_v2df, int)
int __builtin_ia32_pcmpestrio128(__gcc_v16qi, int, __gcc_v16qi, int, char)
void __builtin_ia32_monitorx(const void *, unsigned int, unsigned int)
__gcc_v4hi __builtin_ia32_paddusw(__gcc_v4hi, __gcc_v4hi)
__gcc_v1di __builtin_ia32_pandn(__gcc_v1di, __gcc_v1di)
__gcc_v8sf __builtin_ia32_vfrczps256(__gcc_v8sf)
__gcc_v4si __builtin_ia32_vpcomd(__gcc_v4si, __gcc_v4si, char)
__gcc_v4sf __builtin_ia32_cmpunordss(__gcc_v4sf, __gcc_v4sf)
void __builtin_ia32_aand64(void *, signed long long int)
__gcc_v8hi __builtin_ia32_vprotwi(__gcc_v8hi, char)
__gcc_v2df __builtin_ia32_blendvpd(__gcc_v2df, __gcc_v2df, __gcc_v2df)
__gcc_v4si __builtin_ia32_cvttpd2dq(__gcc_v2df)
__gcc_v4sf __builtin_ia32_cvtpd2ps(__gcc_v2df)
void __builtin_ia32_aadd32(void *, signed int)
__gcc_v4si __builtin_ia32_vec_set_v4si(__gcc_v4si, int, int)
unsigned int __builtin_ia32_rdseed16_step(unsigned short *)
void __builtin_ia32_clrssbsy(void *)
__gcc_v2si __builtin_ia32_psrad(__gcc_v2si, __gcc_v1di)
__gcc_v4sf __builtin_ia32_cmpneqps(__gcc_v4sf, __gcc_v4sf)
__gcc_v4hi __builtin_ia32_pmulhw(__gcc_v4hi, __gcc_v4hi)
__gcc_v8qi __builtin_ia32_pcmpeqb(__gcc_v8qi, __gcc_v8qi)
__gcc_v2di __builtin_ia32_vec_set_v2di(__gcc_v2di, long long int, int)
__gcc_v2di __builtin_ia32_pmuludq128(__gcc_v4si, __gcc_v4si)
unsigned int __builtin_ia32_bextri_u32(unsigned int, unsigned int)
__gcc_v8qi __builtin_ia32_pmaxub(__gcc_v8qi, __gcc_v8qi)
__gcc_v2df __builtin_ia32_minsd(__gcc_v2df, __gcc_v2df)
__gcc_v4di __builtin_ia32_aesdeclast256(__gcc_v4di, __gcc_v4di)
__gcc_v2df __builtin_ia32_cmpordpd(__gcc_v2df, __gcc_v2df)
void _mm_prefetch(const char *, int)
void __builtin_ia32_maskmovq(__gcc_v8qi, __gcc_v8qi, char *)
int __builtin_ia32_ucomilt(__gcc_v4sf, __gcc_v4sf)
__gcc_v2si __builtin_ia32_pslld(__gcc_v2si, __gcc_v1di)
__gcc_v1di __builtin_ia32_por(__gcc_v1di, __gcc_v1di)
__gcc_v2df __builtin_ia32_sqrtsd(__gcc_v2df)
__gcc_v8hi __builtin_ia32_phminposuw128(__gcc_v8hi)
__gcc_v4sf __builtin_ia32_minss(__gcc_v4sf, __gcc_v4sf)
int __builtin_ia32_cvttsd2si(__gcc_v2df)
int __builtin_ia32_comisdneq(__gcc_v2df, __gcc_v2df)
__gcc_v4df __builtin_ia32_vfrczpd256(__gcc_v4df)
__gcc_v16qi __builtin_ia32_pblendvb128(__gcc_v16qi, __gcc_v16qi, __gcc_v16qi)
__gcc_v1di __builtin_ia32_psllq(__gcc_v1di, __gcc_v1di)
void __builtin_ia32_aand32(void *, signed int)
int __builtin_ia32_pcmpistria128(__gcc_v16qi, __gcc_v16qi, char)
__gcc_v8qi __builtin_ia32_psubb(__gcc_v8qi, __gcc_v8qi)
__gcc_v2di __builtin_ia32_vphaddbq(__gcc_v16qi)
void __builtin_ia32_saveprevssp(void)
__gcc_v4sf __builtin_ia32_cmpeqps(__gcc_v4sf, __gcc_v4sf)
int __builtin_ia32_pcmpistriz128(__gcc_v16qi, __gcc_v16qi, char)
__gcc_v4sf __builtin_ia32_vfrczps(__gcc_v4sf)
__gcc_v16qi __builtin_ia32_pcmpistrm128(__gcc_v16qi, __gcc_v16qi, char)
void __builtin_ia32_xsaves64(void *, unsigned long long int)
int __builtin_ia32_comige(__gcc_v4sf, __gcc_v4sf)
__gcc_v2di __builtin_ia32_psadbw128(__gcc_v16qi, __gcc_v16qi)
__gcc_v4sf __builtin_ia32_cmpleps(__gcc_v4sf, __gcc_v4sf)
__gcc_v8hi __builtin_ia32_vpmacsww(__gcc_v8hi, __gcc_v8hi, __gcc_v8hi)
__gcc_v4si __builtin_ia32_vpshad(__gcc_v4si, __gcc_v4si)
void __builtin_ia32_serialize(void)
unsigned int __builtin_ia32_rdrand64_step(unsigned long long int *)
__gcc_v4hi __builtin_ia32_pabsw(__gcc_v4hi)
__gcc_v4si __builtin_ia32_sha1msg2(__gcc_v4si, __gcc_v4si)
__gcc_v4hi __builtin_ia32_pmulhrsw(__gcc_v4hi, __gcc_v4hi)
__gcc_v2di __builtin_ia32_vpmacssdqh(__gcc_v4si, __gcc_v4si, __gcc_v2di)
__gcc_v8hi __builtin_ia32_psignw128(__gcc_v8hi, __gcc_v8hi)
__gcc_v16qi __builtin_ia32_vprotb(__gcc_v16qi, __gcc_v16qi)
int __builtin_ia32_pcmpestris128(__gcc_v16qi, int, __gcc_v16qi, int, char)
int __builtin_ia32_ucomisdeq(__gcc_v2df, __gcc_v2df)
__gcc_v8qi __builtin_ia32_paddsb(__gcc_v8qi, __gcc_v8qi)
__gcc_v4hi __builtin_ia32_psrlw(__gcc_v4hi, __gcc_v1di)
__gcc_v1di __builtin_ia32_pmuludq(__gcc_v2si, __gcc_v2si)
void __builtin_ia32_movntq(__gcc_v1di *, __gcc_v1di)
__gcc_v4si __builtin_ia32_vprotd(__gcc_v4si, __gcc_v4si)
__gcc_v4hi __builtin_ia32_psubw(__gcc_v4hi, __gcc_v4hi)
__gcc_v4si __builtin_ia32_pslld128(__gcc_v4si, __gcc_v4si)
__gcc_v4si __builtin_ia32_vpmacsswd(__gcc_v8hi, __gcc_v8hi, __gcc_v4si)
void __builtin_ia32_incsspq(unsigned long long int)
__gcc_v4si __builtin_ia32_sha1msg1(__gcc_v4si, __gcc_v4si)
__gcc_v4usi __builtin_ia32_vsm3rnds2(__gcc_v4usi, __gcc_v4usi, __gcc_v4usi, unsigned int)
__gcc_v16qi __builtin_ia32_vprotbi(__gcc_v16qi, char)
__gcc_v2df __builtin_ia32_minpd(__gcc_v2df, __gcc_v2df)
void __builtin_ia32_ptwrite32(unsigned int)
__gcc_v4sf __builtin_ia32_insertps128(__gcc_v4sf, __gcc_v4sf, char)
__gcc_v8hi __builtin_ia32_vpcomw(__gcc_v8hi, __gcc_v8hi, char)
int __builtin_ia32_vec_ext_v4si(__gcc_v4si, int)
Definition: gcc.c:178
void __builtin_ia32_uwrmsr(unsigned long long int, unsigned long long int)
void __builtin_ia32_ldmxcsr(unsigned int)
__gcc_v2df __builtin_ia32_cmpnltsd(__gcc_v2df, __gcc_v2df)
__gcc_v8hi __builtin_ia32_psrawi128(__gcc_v8hi, int)
void __builtin_ia32_xsaves(void *, unsigned long long int)
__gcc_v8qi __builtin_ia32_pminub(__gcc_v8qi, __gcc_v8qi)
__gcc_v1di __builtin_ia32_pxor(__gcc_v1di, __gcc_v1di)
char __builtin_ia32_vec_ext_v16qi(__gcc_v16qi, int)
Definition: gcc.c:196
__gcc_v8hi __builtin_ia32_vec_set_v8hi(__gcc_v8hi, short, int)
__gcc_v4si __builtin_ia32_sha256msg2(__gcc_v4si, __gcc_v4si)
__gcc_v4sf __builtin_ia32_cmpltss(__gcc_v4sf, __gcc_v4sf)
__gcc_v8hi __builtin_ia32_pmulhuw128(__gcc_v8hi, __gcc_v8hi)
__gcc_v2si __builtin_ia32_phaddd(__gcc_v2si, __gcc_v2si)
int __builtin_ia32_ucomisdneq(__gcc_v2df, __gcc_v2df)
__gcc_v4si __builtin_ia32_vpcomud(__gcc_v4si, __gcc_v4si, char)
__gcc_v2df __builtin_ia32_cmpltsd(__gcc_v2df, __gcc_v2df)
int __builtin_ia32_pcmpestri128(__gcc_v16qi, int, __gcc_v16qi, int, char)
__gcc_v16qi __builtin_ia32_vpcomb(__gcc_v16qi, __gcc_v16qi, char)
__gcc_v4si __builtin_ia32_pslldi128(__gcc_v4si, int)
__gcc_v4sf __builtin_ia32_rcpps(__gcc_v4sf)
__gcc_v4sf __builtin_ia32_blendvps(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf)
__gcc_v4hi __builtin_ia32_psraw(__gcc_v4hi, __gcc_v1di)
__gcc_v2df __builtin_ia32_vfrczpd(__gcc_v2df)
__gcc_v4sf __builtin_ia32_hsubps(__gcc_v4sf, __gcc_v4sf)
__gcc_v4sf __builtin_ia32_cvtsd2ss(__gcc_v4sf, __gcc_v2df)
__gcc_v4hi __builtin_ia32_pmullw(__gcc_v4hi, __gcc_v4hi)
void __builtin_ia32_monitor(const void *, unsigned int, unsigned int)
__gcc_v4si __builtin_ia32_cvttps2dq(__gcc_v4sf)
__gcc_v4si __builtin_ia32_psrad128(__gcc_v4si, __gcc_v4si)
__gcc_v2di __builtin_ia32_vpmacsdql(__gcc_v4si, __gcc_v4si, __gcc_v2di)
__gcc_v2si __builtin_ia32_vec_init_v2si(int, int)
__gcc_v2di __builtin_ia32_pclmulqdq128(__gcc_v2di, __gcc_v2di, char)
__gcc_v4si __builtin_ia32_vpmacswd(__gcc_v8hi, __gcc_v8hi, __gcc_v4si)
int __builtin_ia32_pcmpistrio128(__gcc_v16qi, __gcc_v16qi, char)
__gcc_v16qi __builtin_ia32_vpcomub(__gcc_v16qi, __gcc_v16qi, char)
__gcc_v16qi __builtin_ia32_vpshlb(__gcc_v16qi, __gcc_v16qi)
void __builtin_ia32_aor32(void *, signed int)
__gcc_v2di __builtin_ia32_extrq(__gcc_v2di, __gcc_v16qi)
__gcc_v16qi __builtin_ia32_packuswb128(__gcc_v8hi, __gcc_v8hi)
__gcc_v2di __builtin_ia32_vphaddudq(__gcc_v4si)
__gcc_v2si __builtin_ia32_pcmpgtd(__gcc_v2si, __gcc_v2si)
void __builtin_ia32_xsavec(void *, unsigned long long int)
__gcc_v4si __builtin_ia32_psradi128(__gcc_v4si, int)
void __builtin_ia32_emms(void)
int __builtin_ia32_ucomisdge(__gcc_v2df, __gcc_v2df)
__gcc_v8hi __builtin_ia32_phaddsw128(__gcc_v8hi, __gcc_v8hi)
__gcc_v4si __builtin_ia32_vphsubwd(__gcc_v8hi)
__gcc_v2di __builtin_ia32_vprotq(__gcc_v2di, __gcc_v2di)
__gcc_v1di __builtin_ia32_paddq(__gcc_v1di, __gcc_v1di)
__gcc_v8qi __builtin_ia32_pcmpgtb(__gcc_v8qi, __gcc_v8qi)
__gcc_v1di __builtin_ia32_psrlqi(__gcc_v1di, int)
__gcc_v4usi __builtin_ia32_vsm4rnds4128(__gcc_v4usi, __gcc_v4usi)
__gcc_v4hi __builtin_ia32_pmulhuw(__gcc_v4hi, __gcc_v4hi)
__gcc_v8hi __builtin_ia32_phsubsw128(__gcc_v8hi, __gcc_v8hi)
__gcc_v4sf __builtin_ia32_cmpless(__gcc_v4sf, __gcc_v4sf)
void __builtin_ia32_aadd64(void *, signed long long int)
__gcc_v2si __builtin_ia32_pmaddwd(__gcc_v4hi, __gcc_v4hi)
__gcc_v4sf __builtin_ia32_cmpnltss(__gcc_v4sf, __gcc_v4sf)
__gcc_v8hi __builtin_ia32_packusdw128(__gcc_v4si, __gcc_v4si)
__gcc_v4usi __builtin_ia32_vsm3msg1(__gcc_v4usi, __gcc_v4usi, __gcc_v4usi)
__gcc_v8hi __builtin_ia32_psllw128(__gcc_v8hi, __gcc_v8hi)
__gcc_v2df __builtin_ia32_cmpneqpd(__gcc_v2df, __gcc_v2df)
__gcc_v8hi __builtin_ia32_pblendw128(__gcc_v8hi, __gcc_v8hi, int)
int __builtin_ia32_pcmpestric128(__gcc_v16qi, int, __gcc_v16qi, int, char)
int __builtin_ia32_ucomisdgt(__gcc_v2df, __gcc_v2df)
__gcc_v8qi __builtin_ia32_pmaddubsw(__gcc_v8qi, __gcc_v8qi)
unsigned int __builtin_ia32_rdseed32_step(unsigned int *)
__gcc_v4hi __builtin_ia32_paddsw(__gcc_v4hi, __gcc_v4hi)
Definition: gcc.c:247
__gcc_v2si __builtin_ia32_psrld(__gcc_v2si, __gcc_v1di)
__gcc_v8hi __builtin_ia32_vphsubbw(__gcc_v16qi)
__gcc_v8hi __builtin_ia32_vphaddubw(__gcc_v16qi)
__gcc_v4hi __builtin_ia32_pcmpgtw(__gcc_v4hi, __gcc_v4hi)
__gcc_v4si __builtin_ia32_psrldi128(__gcc_v4si, int)
void __builtin_ia32_wrssd(unsigned int, void *)
__gcc_v4hi __builtin_ia32_psllw(__gcc_v4hi, __gcc_v1di)
void __builtin_ia32_xrstor64(void *, unsigned long long int)
long long int __builtin_ia32_cvttss2si64(__gcc_v4sf)
__gcc_v4hi __builtin_ia32_vec_init_v4hi(short, short, short, short)
Definition: gcc.c:277
__gcc_v2di __builtin_ia32_vpcomq(__gcc_v2di, __gcc_v2di, char)
int __builtin_ia32_cvttss2si(__gcc_v4sf)
int __builtin_ia32_movmskps(__gcc_v4sf)
__gcc_v2df __builtin_ia32_haddpd(__gcc_v2df, __gcc_v2df)
__gcc_v4usi __builtin_ia32_vsm4key4128(__gcc_v4usi, __gcc_v4usi)
__gcc_v2df __builtin_ia32_maxpd(__gcc_v2df, __gcc_v2df)
void __builtin_ia32_xend(void)
void __builtin_ia32_xsave64(void *, unsigned long long int)
unsigned int __builtin_ia32_rdseed64_step(unsigned long long int *)
__gcc_v2di __builtin_ia32_vphaddwq(__gcc_v8hi)
__gcc_v2di __builtin_ia32_extrqi(__gcc_v2di, char, char)
__gcc_v4si __builtin_ia32_pmaddwd128(__gcc_v8hi, __gcc_v8hi)
__gcc_v4si __builtin_ia32_sha1rnds4(__gcc_v4si, __gcc_v4si, char)
__gcc_v4sf __builtin_ia32_haddps(__gcc_v4sf, __gcc_v4sf)
__gcc_v8qi __builtin_ia32_punpckhbw(__gcc_v8qi, __gcc_v8qi)
int __builtin_ia32_movmskpd(__gcc_v2df)
__gcc_v2df __builtin_ia32_cmpeqsd(__gcc_v2df, __gcc_v2df)
void __builtin_ia32_setssbsy(void)
void __builtin_ia32_movnti64(long long int *, long long int)
void __builtin_ia32_xsaveopt64(void *, unsigned long long int)
__gcc_v2di __builtin_ia32_psllq128(__gcc_v2di, __gcc_v2di)
__gcc_v8hi __builtin_ia32_pavgw128(__gcc_v8hi, __gcc_v8hi)
__gcc_v2df __builtin_ia32_shufpd(__gcc_v2df, __gcc_v2df, int)
unsigned long long int __builtin_ia32_rdsspq(unsigned long long int)
int __builtin_ia32_pmovmskb128(__gcc_v16qi)
int __builtin_ia32_comisdle(__gcc_v2df, __gcc_v2df)
void __builtin_ia32_xsusldtrk(void)
__gcc_v4hi __builtin_ia32_psrlwi(__gcc_v4hi, int)
__gcc_v4sf __builtin_ia32_addsubps(__gcc_v4sf, __gcc_v4sf)
__gcc_v4si __builtin_ia32_vpmadcsswd(__gcc_v8hi, __gcc_v8hi, __gcc_v4si)
int __builtin_ia32_pcmpestria128(__gcc_v16qi, int, __gcc_v16qi, int, char)
__gcc_v4si __builtin_ia32_vpshld(__gcc_v4si, __gcc_v4si)
void __builtin_ia32_stui(void)
__gcc_v2df __builtin_ia32_cmpunordpd(__gcc_v2df, __gcc_v2df)
__gcc_v4si __builtin_ia32_phaddd128(__gcc_v4si, __gcc_v4si)
void __builtin_ia32_wrpkru(unsigned int)
void __builtin_ia32_maskmovdqu(__gcc_v16qi, __gcc_v16qi, char *)
__gcc_v2df __builtin_ia32_cmpnltpd(__gcc_v2df, __gcc_v2df)
int __builtin_ia32_comisdgt(__gcc_v2df, __gcc_v2df)
int __builtin_ia32_comile(__gcc_v4sf, __gcc_v4sf)
__gcc_v8hi __builtin_ia32_vpshlw(__gcc_v8hi, __gcc_v8hi)
__gcc_v4si __builtin_ia32_sha256msg1(__gcc_v4si, __gcc_v4si)
short __builtin_ia32_vec_ext_v8hi(__gcc_v8hi, int)
Definition: gcc.c:169
int __builtin_ia32_ptestz128(__gcc_v2di, __gcc_v2di)
__gcc_v4hi __builtin_ia32_punpckhwd(__gcc_v4hi, __gcc_v4hi)
__gcc_v2df __builtin_ia32_sqrtpd(__gcc_v2df)
__gcc_v4hi __builtin_ia32_pcmpeqw(__gcc_v4hi, __gcc_v4hi)
__gcc_v4sf __builtin_ia32_vpermil2ps(__gcc_v4sf, __gcc_v4sf, __gcc_v4si, char)
__gcc_v4si __builtin_ia32_vphaddwd(__gcc_v8hi)
__gcc_v2si __builtin_ia32_cvttps2pi(__gcc_v4sf)
unsigned int __builtin_ia32_stmxcsr(void)
__gcc_v4hi __builtin_ia32_pmaxsw(__gcc_v4hi, __gcc_v4hi)
__gcc_v8hi __builtin_ia32_pshuflw(__gcc_v8hi, int)
int __builtin_ia32_comineq(__gcc_v4sf, __gcc_v4sf)
unsigned int __builtin_ia32_rdpkru(void)
__gcc_v4hi __builtin_ia32_psllwi(__gcc_v4hi, int)
__gcc_v4sf __builtin_ia32_roundps(__gcc_v4sf, int)
__gcc_v4sf __builtin_ia32_vfrczss(__gcc_v4sf)
__gcc_v2df __builtin_ia32_addsubpd(__gcc_v2df, __gcc_v2df)
__gcc_v8hi __builtin_ia32_vphaddbw(__gcc_v16qi)
__gcc_v8qi __builtin_ia32_paddb(__gcc_v8qi, __gcc_v8qi)
unsigned long long int __builtin_ia32_rdpru(int)
__gcc_v8hi __builtin_ia32_psraw128(__gcc_v8hi, __gcc_v8hi)
__gcc_v2si __builtin_ia32_cvttpd2pi(__gcc_v2df)
__gcc_v16qi __builtin_ia32_mpsadbw128(__gcc_v16qi, __gcc_v16qi, char)
void __builtin_ia32_directstore_u64(unsigned long int *, unsigned long int)
__gcc_v8hi __builtin_ia32_pshufhw(__gcc_v8hi, int)
__gcc_v2df __builtin_ia32_roundsd(__gcc_v2df, __gcc_v2df, int)
int __builtin_ia32_ucomisdle(__gcc_v2df, __gcc_v2df)
int __builtin_ia32_pcmpistri128(__gcc_v16qi, __gcc_v16qi, char)
__gcc_v2di __builtin_ia32_vpcomuq(__gcc_v2di, __gcc_v2di, char)
void __builtin_ia32_xrstors64(void *, unsigned long long int)
__gcc_v4hi __builtin_ia32_phsubsw(__gcc_v4hi, __gcc_v4hi)
__gcc_v2di __builtin_ia32_pslldqi128_byteshift(__gcc_v2di, int)
__gcc_v4si __builtin_ia32_psrld128(__gcc_v4si, __gcc_v4si)
unsigned int __builtin_ia32_rdrand16_step(unsigned short *)
void __builtin_ia32_lfence(void)
__gcc_v4sf __builtin_ia32_cmpnltps(__gcc_v4sf, __gcc_v4sf)
void __builtin_ia32_umonitor(const void *)
__gcc_v2di __builtin_ia32_psrlqi128(__gcc_v2di, int)
__gcc_v4si __builtin_ia32_pshufd(__gcc_v4si, int)
long long int __builtin_ia32_cvttsd2si64(__gcc_v2df)
void __builtin_ia32_ptwrite64(unsigned long long int)
void __builtin_ia32_xresldtrk(void)
__gcc_v4hi __builtin_ia32_psadbw(__gcc_v8qi, __gcc_v8qi)
__gcc_v2di __builtin_ia32_vphadduwq(__gcc_v8hi)
__gcc_v4sf __builtin_ia32_cmpnless(__gcc_v4sf, __gcc_v4sf)
__gcc_v1di __builtin_ia32_psubq(__gcc_v1di, __gcc_v1di)
__gcc_v8hi __builtin_ia32_vprotw(__gcc_v8hi, __gcc_v8hi)
__gcc_v1di __builtin_ia32_psllqi(__gcc_v1di, int)
__gcc_v8qi __builtin_ia32_pshufb(__gcc_v8qi, __gcc_v8qi)
__gcc_v4sf __builtin_ia32_cmpneqss(__gcc_v4sf, __gcc_v4sf)
__gcc_v16qi __builtin_ia32_psignb128(__gcc_v16qi, __gcc_v16qi)
__gcc_v8hi __builtin_ia32_packssdw128(__gcc_v4si, __gcc_v4si)
__gcc_v4si __builtin_ia32_vphaddubd(__gcc_v16qi)
__gcc_v2df __builtin_ia32_vpermil2pd(__gcc_v2df, __gcc_v2df, __gcc_v2di, char)
__gcc_v2di __builtin_ia32_vpmacsdqh(__gcc_v4si, __gcc_v4si, __gcc_v2di)
int __builtin_ia32_xtest(void)
__gcc_v4df __builtin_ia32_vpermil2pd256(__gcc_v4df, __gcc_v4df, __gcc_v4di, char)
__gcc_v2df __builtin_ia32_vfrczsd(__gcc_v2df)
__gcc_v2si __builtin_ia32_paddd(__gcc_v2si, __gcc_v2si)
unsigned long long int __builtin_ia32_urdmsr(unsigned long long int)
__gcc_v2si __builtin_ia32_psignd(__gcc_v2si, __gcc_v2si)
__gcc_v8hi __builtin_ia32_vpshaw(__gcc_v8hi, __gcc_v8hi)
__gcc_v4di __builtin_ia32_aesenc256(__gcc_v4di, __gcc_v4di)
__gcc_v4usi __builtin_ia32_vsm3msg2(__gcc_v4usi, __gcc_v4usi, __gcc_v4usi)
__gcc_v8qi __builtin_ia32_psubusb(__gcc_v8qi, __gcc_v8qi)
int __builtin_ia32_cvtsd2si(__gcc_v2df)
__gcc_v8usi __builtin_ia32_vsm4key4256(__gcc_v8usi, __gcc_v8usi)
__gcc_v4sf __builtin_ia32_cmpunordps(__gcc_v4sf, __gcc_v4sf)
unsigned int __builtin_ia32_rdpid(void)
void __builtin_ia32_aor64(void *, signed long long int)
__gcc_v4sf __builtin_ia32_shufps(__gcc_v4sf, __gcc_v4sf, int)
__gcc_v4hi __builtin_ia32_psubusw(__gcc_v4hi, __gcc_v4hi)
__gcc_v2df __builtin_ia32_cmpnlesd(__gcc_v2df, __gcc_v2df)
int __builtin_ia32_pcmpestriz128(__gcc_v16qi, int, __gcc_v16qi, int, char)
__gcc_v2df __builtin_ia32_maxsd(__gcc_v2df, __gcc_v2df)
__gcc_v2di __builtin_ia32_psrlq128(__gcc_v2di, __gcc_v2di)
long long int __builtin_ia32_cvtsd2si64(__gcc_v2df)
__gcc_v8hi __builtin_ia32_vpcomuw(__gcc_v8hi, __gcc_v8hi, char)
int __builtin_ia32_comilt(__gcc_v4sf, __gcc_v4sf)
int __builtin_ia32_pcmpistric128(__gcc_v16qi, __gcc_v16qi, char)
__gcc_v8hi __builtin_ia32_pmaddubsw128(__gcc_v16qi, __gcc_v16qi)
void __builtin_ia32_mwaitx(unsigned int, unsigned int, unsigned int)
__gcc_v8hi __builtin_ia32_psrlwi128(__gcc_v8hi, int)
__gcc_v4hi __builtin_ia32_pshufw(__gcc_v4hi, char)
__gcc_v4hi __builtin_ia32_paddw(__gcc_v4hi, __gcc_v4hi)
void __builtin_ia32_wrssq(unsigned long long int, void *)
__gcc_v2di __builtin_ia32_insertqi(__gcc_v2di, __gcc_v2di, char, char)
__gcc_v4udi __builtin_ia32_vsha512msg1(__gcc_v4udi, __gcc_v2udi)
void __builtin_ia32_xsavec64(void *, unsigned long long int)
__gcc_v8hi __builtin_ia32_psllwi128(__gcc_v8hi, int)
__gcc_v4hi __builtin_ia32_phsubw(__gcc_v4hi, __gcc_v4hi)
__gcc_v8qi __builtin_ia32_psignb(__gcc_v8qi, __gcc_v8qi)
__gcc_v4sf __builtin_ia32_maxps(__gcc_v4sf, __gcc_v4sf)
__gcc_v2df __builtin_ia32_hsubpd(__gcc_v2df, __gcc_v2df)
void __builtin_ia32_wbnoinvd(void)
int __builtin_ia32_comigt(__gcc_v4sf, __gcc_v4sf)
__gcc_v8qi __builtin_ia32_packuswb(__gcc_v4hi, __gcc_v4hi)
__gcc_v2si __builtin_ia32_pslldi(__gcc_v2si, int)
__gcc_v16qi __builtin_ia32_vpshab(__gcc_v16qi, __gcc_v16qi)
__gcc_v4sf __builtin_ia32_cmpordps(__gcc_v4sf, __gcc_v4sf)
int __builtin_ia32_comisdlt(__gcc_v2df, __gcc_v2df)
__gcc_v2di __builtin_ia32_psllqi128(__gcc_v2di, int)
__gcc_v2di __builtin_ia32_cvtpd2dq(__gcc_v2df)
__gcc_v2df __builtin_ia32_cmpnlepd(__gcc_v2df, __gcc_v2df)
__gcc_v4di __builtin_ia32_pclmulqdq256(__gcc_v4di, __gcc_v4di, char)
__gcc_v4udi __builtin_ia32_vsha512rnds2(__gcc_v4udi, __gcc_v4udi, __gcc_v2udi)
__gcc_v2si __builtin_ia32_cvtps2pi(__gcc_v4sf)
unsigned int __builtin_ia32_rdsspd(unsigned int)
__gcc_v2di __builtin_ia32_vpshaq(__gcc_v2di, __gcc_v2di)
int __builtin_ia32_vec_ext_v4hi(__gcc_v4hi, int)
Definition: gcc.c:160
int __builtin_ia32_pmovmskb(__gcc_v8qi)
int __builtin_ia32_comisdeq(__gcc_v2df, __gcc_v2df)
void __builtin_ia32_axor32(void *, signed int)
unsigned int __builtin_ia32_rdrand32_step(unsigned int *)
void __builtin_ia32_directstore_u32(unsigned int *, unsigned int)
__gcc_v4di __builtin_ia32_aesenclast256(__gcc_v4di, __gcc_v4di)
int __builtin_ia32_ucomineq(__gcc_v4sf, __gcc_v4sf)
__gcc_v1di __builtin_ia32_psrlq(__gcc_v1di, __gcc_v1di)
__gcc_v2df __builtin_ia32_cmpltpd(__gcc_v2df, __gcc_v2df)
__gcc_v4sf __builtin_ia32_rsqrtss(__gcc_v4sf)
__gcc_v4hi __builtin_ia32_vec_set_v4hi(__gcc_v4hi, int, int)
unsigned char __builtin_ia32_tpause(unsigned int, unsigned int, unsigned int)
__gcc_v8qi __builtin_ia32_pavgb(__gcc_v8qi, __gcc_v8qi)
void __builtin_ia32_prefetchi(const void *, unsigned int)
__gcc_v4sf __builtin_ia32_cmpltps(__gcc_v4sf, __gcc_v4sf)
void __builtin_ia32_wrussq(unsigned long long int, void *)
__gcc_v4si __builtin_ia32_sha1nexte(__gcc_v4si, __gcc_v4si)
__gcc_v16qi __builtin_ia32_lddqu(const char *)
__gcc_v16qi __builtin_ia32_vpperm(__gcc_v16qi, __gcc_v16qi, __gcc_v16qi)
int __builtin_ia32_ucomigt(__gcc_v4sf, __gcc_v4sf)
__gcc_v2si __builtin_ia32_cvtpd2pi(__gcc_v2df)
__gcc_v4si __builtin_ia32_psignd128(__gcc_v4si, __gcc_v4si)
__gcc_v4sf __builtin_ia32_rcpss(__gcc_v4sf)
__gcc_v16qi __builtin_ia32_packsswb128(__gcc_v8hi, __gcc_v8hi)
__gcc_v8hi __builtin_ia32_pmulhw128(__gcc_v8hi, __gcc_v8hi)
__gcc_v4hi __builtin_ia32_phaddw(__gcc_v4hi, __gcc_v4hi)
int __builtin_ia32_pcmpistris128(__gcc_v16qi, __gcc_v16qi, char)
int __builtin_ia32_ucomieq(__gcc_v4sf, __gcc_v4sf)
__gcc_v4sf __builtin_ia32_dpps(__gcc_v4sf, __gcc_v4sf, char)
void __builtin_ia32_axor64(void *, signed long long int)