cprover
gcc_builtin_headers_ia32.h
Go to the documentation of this file.
1// clang-format off
2// from
3// http://gcc.gnu.org/onlinedocs/gcc-4.7.0/gcc/X86-Built_002din-Functions.html
4
5__CPROVER_Float128 __builtin_fabsq(__CPROVER_Float128);
6__CPROVER_Float128 __builtin_copysignq(__CPROVER_Float128, __CPROVER_Float128);
8__CPROVER_Float128 __builtin_infq(void);
9__CPROVER_Float128 __builtin_huge_valq(void);
10__gcc_v8qi __builtin_ia32_paddb(__gcc_v8qi, __gcc_v8qi);
11__gcc_v4hi __builtin_ia32_paddw(__gcc_v4hi, __gcc_v4hi);
12__gcc_v2si __builtin_ia32_paddd(__gcc_v2si, __gcc_v2si);
13__gcc_v8qi __builtin_ia32_psubb(__gcc_v8qi, __gcc_v8qi);
14__gcc_v4hi __builtin_ia32_psubw(__gcc_v4hi, __gcc_v4hi);
15__gcc_v2si __builtin_ia32_psubd(__gcc_v2si, __gcc_v2si);
16__gcc_v8qi __builtin_ia32_paddsb(__gcc_v8qi, __gcc_v8qi);
17__gcc_v4hi __builtin_ia32_paddsw(__gcc_v4hi, __gcc_v4hi);
18__gcc_v8qi __builtin_ia32_psubsb(__gcc_v8qi, __gcc_v8qi);
19__gcc_v4hi __builtin_ia32_psubsw(__gcc_v4hi, __gcc_v4hi);
20__gcc_v8qi __builtin_ia32_paddusb(__gcc_v8qi, __gcc_v8qi);
21__gcc_v4hi __builtin_ia32_paddusw(__gcc_v4hi, __gcc_v4hi);
22__gcc_v8qi __builtin_ia32_psubusb(__gcc_v8qi, __gcc_v8qi);
23__gcc_v4hi __builtin_ia32_psubusw(__gcc_v4hi, __gcc_v4hi);
24__gcc_v4hi __builtin_ia32_pmullw(__gcc_v4hi, __gcc_v4hi);
25__gcc_v4hi __builtin_ia32_pmulhw(__gcc_v4hi, __gcc_v4hi);
26
27__gcc_v1di __builtin_ia32_pand(__gcc_v1di, __gcc_v1di);
28__gcc_v1di __builtin_ia32_pandn(__gcc_v1di, __gcc_v1di);
29__gcc_v1di __builtin_ia32_por(__gcc_v1di, __gcc_v1di);
30__gcc_v1di __builtin_ia32_pxor(__gcc_v1di, __gcc_v1di);
31
32__gcc_v8qi __builtin_ia32_pcmpeqb(__gcc_v8qi, __gcc_v8qi);
33__gcc_v4hi __builtin_ia32_pcmpeqw(__gcc_v4hi, __gcc_v4hi);
34__gcc_v2si __builtin_ia32_pcmpeqd(__gcc_v2si, __gcc_v2si);
35__gcc_v8qi __builtin_ia32_pcmpgtb(__gcc_v8qi, __gcc_v8qi);
36__gcc_v4hi __builtin_ia32_pcmpgtw(__gcc_v4hi, __gcc_v4hi);
37__gcc_v2si __builtin_ia32_pcmpgtd(__gcc_v2si, __gcc_v2si);
38__gcc_v8qi __builtin_ia32_punpckhbw(__gcc_v8qi, __gcc_v8qi);
39__gcc_v4hi __builtin_ia32_punpckhwd(__gcc_v4hi, __gcc_v4hi);
40__gcc_v2si __builtin_ia32_punpckhdq(__gcc_v2si, __gcc_v2si);
41__gcc_v8qi __builtin_ia32_punpcklbw(__gcc_v8qi, __gcc_v8qi);
42__gcc_v4hi __builtin_ia32_punpcklwd(__gcc_v4hi, __gcc_v4hi);
43__gcc_v2si __builtin_ia32_punpckldq(__gcc_v2si, __gcc_v2si);
44__gcc_v8qi __builtin_ia32_packsswb(__gcc_v4hi, __gcc_v4hi);
45__gcc_v4hi __builtin_ia32_packssdw(__gcc_v2si, __gcc_v2si);
46__gcc_v8qi __builtin_ia32_packuswb(__gcc_v4hi, __gcc_v4hi);
47__gcc_v4hi __builtin_ia32_psllw(__gcc_v4hi, __gcc_v4hi);
48__gcc_v2si __builtin_ia32_pslld(__gcc_v2si, __gcc_v2si);
49__gcc_v1di __builtin_ia32_psllq(__gcc_v1di, __gcc_v1di);
50__gcc_v4hi __builtin_ia32_psrlw(__gcc_v4hi, __gcc_v4hi);
51__gcc_v2si __builtin_ia32_psrld(__gcc_v2si, __gcc_v2si);
52__gcc_v1di __builtin_ia32_psrlq(__gcc_v1di, __gcc_v1di);
53__gcc_v4hi __builtin_ia32_psraw(__gcc_v4hi, __gcc_v4hi);
54__gcc_v2si __builtin_ia32_psrad(__gcc_v2si, __gcc_v2si);
55__gcc_v4hi __builtin_ia32_psllwi(__gcc_v4hi, int);
56__gcc_v2si __builtin_ia32_pslldi(__gcc_v2si, int);
57__gcc_v1di __builtin_ia32_psllqi(__gcc_v1di, int);
58__gcc_v4hi __builtin_ia32_psrlwi(__gcc_v4hi, int);
59__gcc_v2si __builtin_ia32_psrldi(__gcc_v2si, int);
60__gcc_v1di __builtin_ia32_psrlqi(__gcc_v1di, int);
61__gcc_v4hi __builtin_ia32_psrawi(__gcc_v4hi, int);
62__gcc_v2si __builtin_ia32_psradi(__gcc_v2si, int);
63__gcc_v4hi __builtin_ia32_pmulhuw(__gcc_v4hi, __gcc_v4hi);
64__gcc_v8qi __builtin_ia32_pavgb(__gcc_v8qi, __gcc_v8qi);
65__gcc_v4hi __builtin_ia32_pavgw(__gcc_v4hi, __gcc_v4hi);
66__gcc_v1di __builtin_ia32_psadbw(__gcc_v8qi, __gcc_v8qi);
67__gcc_v8qi __builtin_ia32_pmaxub(__gcc_v8qi, __gcc_v8qi);
68__gcc_v4hi __builtin_ia32_pmaxsw(__gcc_v4hi, __gcc_v4hi);
69__gcc_v8qi __builtin_ia32_pminub(__gcc_v8qi, __gcc_v8qi);
70__gcc_v4hi __builtin_ia32_pminsw(__gcc_v4hi, __gcc_v4hi);
71int __builtin_ia32_pextrw(__gcc_v4hi, int);
72__gcc_v4hi __builtin_ia32_pinsrw(__gcc_v4hi, int, int);
74void __builtin_ia32_maskmovq(__gcc_v8qi, __gcc_v8qi, char*);
75
76// clang uses the following:
77// void __builtin_ia32_movntq(__gcc_v1di*, __gcc_v1di);
78 //
79 // GCC uses this:
80// void __builtin_ia32_movntq(__gcc_di*, __gcc_di);
81 //
82 // So, we use:
83void __builtin_ia32_movntq(void*, ...);
84
86int __builtin_ia32_comieq(__gcc_v4sf, __gcc_v4sf);
87int __builtin_ia32_comineq(__gcc_v4sf, __gcc_v4sf);
88int __builtin_ia32_comilt(__gcc_v4sf, __gcc_v4sf);
89int __builtin_ia32_comile(__gcc_v4sf, __gcc_v4sf);
90int __builtin_ia32_comigt(__gcc_v4sf, __gcc_v4sf);
91int __builtin_ia32_comige(__gcc_v4sf, __gcc_v4sf);
92int __builtin_ia32_ucomieq(__gcc_v4sf, __gcc_v4sf);
93int __builtin_ia32_ucomineq(__gcc_v4sf, __gcc_v4sf);
94int __builtin_ia32_ucomilt(__gcc_v4sf, __gcc_v4sf);
95int __builtin_ia32_ucomile(__gcc_v4sf, __gcc_v4sf);
96int __builtin_ia32_ucomigt(__gcc_v4sf, __gcc_v4sf);
97int __builtin_ia32_ucomige(__gcc_v4sf, __gcc_v4sf);
98__gcc_v4sf __builtin_ia32_addps(__gcc_v4sf, __gcc_v4sf);
99__gcc_v4sf __builtin_ia32_subps(__gcc_v4sf, __gcc_v4sf);
100__gcc_v4sf __builtin_ia32_mulps(__gcc_v4sf, __gcc_v4sf);
101__gcc_v4sf __builtin_ia32_divps(__gcc_v4sf, __gcc_v4sf);
102__gcc_v4sf __builtin_ia32_addss(__gcc_v4sf, __gcc_v4sf);
103__gcc_v4sf __builtin_ia32_subss(__gcc_v4sf, __gcc_v4sf);
104__gcc_v4sf __builtin_ia32_mulss(__gcc_v4sf, __gcc_v4sf);
105__gcc_v4sf __builtin_ia32_divss(__gcc_v4sf, __gcc_v4sf);
106__gcc_v4sf __builtin_ia32_cmpeqps(__gcc_v4sf, __gcc_v4sf);
107__gcc_v4sf __builtin_ia32_cmpltps(__gcc_v4sf, __gcc_v4sf);
108__gcc_v4sf __builtin_ia32_cmpleps(__gcc_v4sf, __gcc_v4sf);
109__gcc_v4sf __builtin_ia32_cmpgtps(__gcc_v4sf, __gcc_v4sf);
110__gcc_v4sf __builtin_ia32_cmpgeps(__gcc_v4sf, __gcc_v4sf);
111__gcc_v4sf __builtin_ia32_cmpunordps(__gcc_v4sf, __gcc_v4sf);
112__gcc_v4sf __builtin_ia32_cmpneqps(__gcc_v4sf, __gcc_v4sf);
113__gcc_v4sf __builtin_ia32_cmpnltps(__gcc_v4sf, __gcc_v4sf);
114__gcc_v4sf __builtin_ia32_cmpnleps(__gcc_v4sf, __gcc_v4sf);
115__gcc_v4sf __builtin_ia32_cmpngtps(__gcc_v4sf, __gcc_v4sf);
116__gcc_v4sf __builtin_ia32_cmpngeps(__gcc_v4sf, __gcc_v4sf);
117__gcc_v4sf __builtin_ia32_cmpordps(__gcc_v4sf, __gcc_v4sf);
118__gcc_v4sf __builtin_ia32_cmpeqss(__gcc_v4sf, __gcc_v4sf);
119__gcc_v4sf __builtin_ia32_cmpltss(__gcc_v4sf, __gcc_v4sf);
120__gcc_v4sf __builtin_ia32_cmpless(__gcc_v4sf, __gcc_v4sf);
121__gcc_v4sf __builtin_ia32_cmpunordss(__gcc_v4sf, __gcc_v4sf);
122__gcc_v4sf __builtin_ia32_cmpneqss(__gcc_v4sf, __gcc_v4sf);
123__gcc_v4sf __builtin_ia32_cmpnlts(__gcc_v4sf, __gcc_v4sf);
124__gcc_v4sf __builtin_ia32_cmpnless(__gcc_v4sf, __gcc_v4sf);
125__gcc_v4sf __builtin_ia32_cmpordss(__gcc_v4sf, __gcc_v4sf);
126__gcc_v4sf __builtin_ia32_maxps(__gcc_v4sf, __gcc_v4sf);
127__gcc_v4sf __builtin_ia32_maxss(__gcc_v4sf, __gcc_v4sf);
128__gcc_v4sf __builtin_ia32_minps(__gcc_v4sf, __gcc_v4sf);
129__gcc_v4sf __builtin_ia32_minss(__gcc_v4sf, __gcc_v4sf);
130__gcc_v4sf __builtin_ia32_andps(__gcc_v4sf, __gcc_v4sf);
131__gcc_v4sf __builtin_ia32_andnps(__gcc_v4sf, __gcc_v4sf);
132__gcc_v4sf __builtin_ia32_orps(__gcc_v4sf, __gcc_v4sf);
133__gcc_v4sf __builtin_ia32_xorps(__gcc_v4sf, __gcc_v4sf);
134__gcc_v4sf __builtin_ia32_movss(__gcc_v4sf, __gcc_v4sf);
135__gcc_v4sf __builtin_ia32_movhlps(__gcc_v4sf, __gcc_v4sf);
136__gcc_v4sf __builtin_ia32_movlhps(__gcc_v4sf, __gcc_v4sf);
137__gcc_v4sf __builtin_ia32_unpckhps(__gcc_v4sf, __gcc_v4sf);
138__gcc_v4sf __builtin_ia32_unpcklps(__gcc_v4sf, __gcc_v4sf);
139__gcc_v4sf __builtin_ia32_cvtpi2ps(__gcc_v4sf, __gcc_v2si);
140__gcc_v4sf __builtin_ia32_cvtsi2ss(__gcc_v4sf, int);
141__gcc_v2si __builtin_ia32_cvtps2pi(__gcc_v4sf);
143__gcc_v2si __builtin_ia32_cvttps2pi(__gcc_v4sf);
145__gcc_v4sf __builtin_ia32_rcpps(__gcc_v4sf);
146__gcc_v4sf __builtin_ia32_rsqrtps(__gcc_v4sf);
147__gcc_v4sf __builtin_ia32_sqrtps(__gcc_v4sf);
148__gcc_v4sf __builtin_ia32_rcpss(__gcc_v4sf);
149__gcc_v4sf __builtin_ia32_rsqrtss(__gcc_v4sf);
150__gcc_v4sf __builtin_ia32_sqrtss(__gcc_v4sf);
151__gcc_v4sf __builtin_ia32_shufps(__gcc_v4sf, __gcc_v4sf, int);
152void __builtin_ia32_movntps(float*, __gcc_v4sf);
154__gcc_v4sf __builtin_ia32_loadaps(float*);
155void __builtin_ia32_storeaps(float*, __gcc_v4sf);
156__gcc_v4sf __builtin_ia32_loadups(const float*);
157void __builtin_ia32_storeups(float*, __gcc_v4sf);
158__gcc_v4sf __builtin_ia32_loadsss(float*);
159void __builtin_ia32_storess(float*, __gcc_v4sf);
160
161// clang uses these:
162// __gcc_v4sf __builtin_ia32_loadhps(__gcc_v4sf, const __gcc_v2si*);
163// __gcc_v4sf __builtin_ia32_loadlps(__gcc_v4sf, const __gcc_v2si*);
164// void __builtin_ia32_storehps(__gcc_v2si*, __gcc_v4sf);
165// void __builtin_ia32_storelps(__gcc_v2si*, __gcc_v4sf);
166//
167// but GCC uses:
168// __gcc_v4sf __builtin_ia32_loadhps(__gcc_v4sf, const __gcc_v2sf*);
169// __gcc_v4sf __builtin_ia32_loadlps(__gcc_v4sf, const __gcc_v2sf*);
170// void __builtin_ia32_storehps(__gcc_v2sf*, __gcc_v4sf);
171// void __builtin_ia32_storelps(__gcc_v2sf*, __gcc_v4sf);
172//
173// So we use:
174__gcc_v4sf __builtin_ia32_loadhps(__gcc_v4sf, const void*);
175__gcc_v4sf __builtin_ia32_loadlps(__gcc_v4sf, const void*);
176void __builtin_ia32_storehps(void*, __gcc_v4sf);
177void __builtin_ia32_storelps(void*, __gcc_v4sf);
178
179__gcc_v4si __builtin_ia32_loadlv4si(const __gcc_v2si*);
180void __builtin_ia32_storelv4si(__gcc_v2si*, __gcc_v4si);
181__gcc_v4si __builtin_ia32_movqv4si(__gcc_v4si);
182
183int __builtin_ia32_comisdeq(__gcc_v2df, __gcc_v2df);
184int __builtin_ia32_comisdlt(__gcc_v2df, __gcc_v2df);
185int __builtin_ia32_comisdle(__gcc_v2df, __gcc_v2df);
186int __builtin_ia32_comisdgt(__gcc_v2df, __gcc_v2df);
187int __builtin_ia32_comisdge(__gcc_v2df, __gcc_v2df);
188int __builtin_ia32_comisdneq(__gcc_v2df, __gcc_v2df);
189int __builtin_ia32_ucomisdeq(__gcc_v2df, __gcc_v2df);
190int __builtin_ia32_ucomisdlt(__gcc_v2df, __gcc_v2df);
191int __builtin_ia32_ucomisdle(__gcc_v2df, __gcc_v2df);
192int __builtin_ia32_ucomisdgt(__gcc_v2df, __gcc_v2df);
193int __builtin_ia32_ucomisdge(__gcc_v2df, __gcc_v2df);
194int __builtin_ia32_ucomisdneq(__gcc_v2df, __gcc_v2df);
195__gcc_v2df __builtin_ia32_cmpeqpd(__gcc_v2df, __gcc_v2df);
196__gcc_v2df __builtin_ia32_cmpltpd(__gcc_v2df, __gcc_v2df);
197__gcc_v2df __builtin_ia32_cmplepd(__gcc_v2df, __gcc_v2df);
198__gcc_v2df __builtin_ia32_cmpgtpd(__gcc_v2df, __gcc_v2df);
199__gcc_v2df __builtin_ia32_cmpgepd(__gcc_v2df, __gcc_v2df);
200__gcc_v2df __builtin_ia32_cmpunordpd(__gcc_v2df, __gcc_v2df);
201__gcc_v2df __builtin_ia32_cmpneqpd(__gcc_v2df, __gcc_v2df);
202__gcc_v2df __builtin_ia32_cmpnltpd(__gcc_v2df, __gcc_v2df);
203__gcc_v2df __builtin_ia32_cmpnlepd(__gcc_v2df, __gcc_v2df);
204__gcc_v2df __builtin_ia32_cmpngtpd(__gcc_v2df, __gcc_v2df);
205__gcc_v2df __builtin_ia32_cmpngepd(__gcc_v2df, __gcc_v2df);
206__gcc_v2df __builtin_ia32_cmpordpd(__gcc_v2df, __gcc_v2df);
207__gcc_v2df __builtin_ia32_cmpeqsd(__gcc_v2df, __gcc_v2df);
208__gcc_v2df __builtin_ia32_cmpltsd(__gcc_v2df, __gcc_v2df);
209__gcc_v2df __builtin_ia32_cmplesd(__gcc_v2df, __gcc_v2df);
210__gcc_v2df __builtin_ia32_cmpunordsd(__gcc_v2df, __gcc_v2df);
211__gcc_v2df __builtin_ia32_cmpneqsd(__gcc_v2df, __gcc_v2df);
212__gcc_v2df __builtin_ia32_cmpnltsd(__gcc_v2df, __gcc_v2df);
213__gcc_v2df __builtin_ia32_cmpnlesd(__gcc_v2df, __gcc_v2df);
214__gcc_v2df __builtin_ia32_cmpordsd(__gcc_v2df, __gcc_v2df);
215__gcc_v1di __builtin_ia32_paddq(__gcc_v1di, __gcc_v1di);
216__gcc_v1di __builtin_ia32_psubq(__gcc_v1di, __gcc_v1di);
217__gcc_v2df __builtin_ia32_addpd(__gcc_v2df, __gcc_v2df);
218__gcc_v2df __builtin_ia32_subpd(__gcc_v2df, __gcc_v2df);
219__gcc_v2df __builtin_ia32_mulpd(__gcc_v2df, __gcc_v2df);
220__gcc_v2df __builtin_ia32_divpd(__gcc_v2df, __gcc_v2df);
221__gcc_v2df __builtin_ia32_addsd(__gcc_v2df, __gcc_v2df);
222__gcc_v2df __builtin_ia32_subsd(__gcc_v2df, __gcc_v2df);
223__gcc_v2df __builtin_ia32_mulsd(__gcc_v2df, __gcc_v2df);
224__gcc_v2df __builtin_ia32_divsd(__gcc_v2df, __gcc_v2df);
225__gcc_v2df __builtin_ia32_minpd(__gcc_v2df, __gcc_v2df);
226__gcc_v2df __builtin_ia32_maxpd(__gcc_v2df, __gcc_v2df);
227__gcc_v2df __builtin_ia32_minsd(__gcc_v2df, __gcc_v2df);
228__gcc_v2df __builtin_ia32_maxsd(__gcc_v2df, __gcc_v2df);
229__gcc_v2df __builtin_ia32_andpd(__gcc_v2df, __gcc_v2df);
230__gcc_v2df __builtin_ia32_andnpd(__gcc_v2df, __gcc_v2df);
231__gcc_v2df __builtin_ia32_orpd(__gcc_v2df, __gcc_v2df);
232__gcc_v2df __builtin_ia32_xorpd(__gcc_v2df, __gcc_v2df);
233__gcc_v2df __builtin_ia32_movsd(__gcc_v2df, __gcc_v2df);
234__gcc_v2df __builtin_ia32_unpckhpd(__gcc_v2df, __gcc_v2df);
235__gcc_v2df __builtin_ia32_unpcklpd(__gcc_v2df, __gcc_v2df);
236__gcc_v16qi __builtin_ia32_paddb128(__gcc_v16qi, __gcc_v16qi);
237__gcc_v8hi __builtin_ia32_paddw128(__gcc_v8hi, __gcc_v8hi);
238__gcc_v4si __builtin_ia32_paddd128(__gcc_v4si, __gcc_v4si);
239__gcc_v2di __builtin_ia32_paddq128(__gcc_v2di, __gcc_v2di);
240__gcc_v16qi __builtin_ia32_psubb128(__gcc_v16qi, __gcc_v16qi);
241__gcc_v8hi __builtin_ia32_psubw128(__gcc_v8hi, __gcc_v8hi);
242__gcc_v4si __builtin_ia32_psubd128(__gcc_v4si, __gcc_v4si);
243__gcc_v2di __builtin_ia32_psubq128(__gcc_v2di, __gcc_v2di);
244__gcc_v8hi __builtin_ia32_pmullw128(__gcc_v8hi, __gcc_v8hi);
245__gcc_v8hi __builtin_ia32_pmulhw128(__gcc_v8hi, __gcc_v8hi);
246__gcc_v2di __builtin_ia32_pand128(__gcc_v2di, __gcc_v2di);
247__gcc_v2di __builtin_ia32_pandn128(__gcc_v2di, __gcc_v2di);
248__gcc_v2di __builtin_ia32_por128(__gcc_v2di, __gcc_v2di);
249__gcc_v2di __builtin_ia32_pxor128(__gcc_v2di, __gcc_v2di);
250__gcc_v16qi __builtin_ia32_pavgb128(__gcc_v16qi, __gcc_v16qi);
251__gcc_v8hi __builtin_ia32_pavgw128(__gcc_v8hi, __gcc_v8hi);
252__gcc_v16qi __builtin_ia32_pcmpeqb128(__gcc_v16qi, __gcc_v16qi);
253__gcc_v8hi __builtin_ia32_pcmpeqw128(__gcc_v8hi, __gcc_v8hi);
254__gcc_v4si __builtin_ia32_pcmpeqd128(__gcc_v4si, __gcc_v4si);
255__gcc_v16qi __builtin_ia32_pcmpgtb128(__gcc_v16qi, __gcc_v16qi);
256__gcc_v8hi __builtin_ia32_pcmpgtw128(__gcc_v8hi, __gcc_v8hi);
257__gcc_v4si __builtin_ia32_pcmpgtd128(__gcc_v4si, __gcc_v4si);
258__gcc_v16qi __builtin_ia32_pmaxub128(__gcc_v16qi, __gcc_v16qi);
259__gcc_v8hi __builtin_ia32_pmaxsw128(__gcc_v8hi, __gcc_v8hi);
260__gcc_v16qi __builtin_ia32_pminub128(__gcc_v16qi, __gcc_v16qi);
261__gcc_v8hi __builtin_ia32_pminsw128(__gcc_v8hi, __gcc_v8hi);
262__gcc_v16qi __builtin_ia32_punpckhbw128(__gcc_v16qi, __gcc_v16qi);
263__gcc_v8hi __builtin_ia32_punpckhwd128(__gcc_v8hi, __gcc_v8hi);
264__gcc_v4si __builtin_ia32_punpckhdq128(__gcc_v4si, __gcc_v4si);
265__gcc_v2di __builtin_ia32_punpckhqdq128(__gcc_v2di, __gcc_v2di);
266__gcc_v16qi __builtin_ia32_punpcklbw128(__gcc_v16qi, __gcc_v16qi);
267__gcc_v8hi __builtin_ia32_punpcklwd128(__gcc_v8hi, __gcc_v8hi);
268__gcc_v4si __builtin_ia32_punpckldq128(__gcc_v4si, __gcc_v4si);
269__gcc_v2di __builtin_ia32_punpcklqdq128(__gcc_v2di, __gcc_v2di);
270__gcc_v16qi __builtin_ia32_packsswb128(__gcc_v8hi, __gcc_v8hi);
271__gcc_v8hi __builtin_ia32_packssdw128(__gcc_v4si, __gcc_v4si);
272__gcc_v16qi __builtin_ia32_packuswb128(__gcc_v8hi, __gcc_v8hi);
273__gcc_v8hi __builtin_ia32_pmulhuw128(__gcc_v8hi, __gcc_v8hi);
274void __builtin_ia32_maskmovdqu(__gcc_v16qi, __gcc_v16qi, char*);
275__gcc_v2df __builtin_ia32_loadupd(const double*);
276void __builtin_ia32_storeupd(double*, __gcc_v2df);
277__gcc_v2df __builtin_ia32_loadhpd(__gcc_v2df, const double*);
278__gcc_v2df __builtin_ia32_loadlpd(__gcc_v2df, const double*);
281void __builtin_ia32_movnti(int*, int);
282void __builtin_ia32_movnti64(long long*, long long);
283void __builtin_ia32_movntpd(double*, __gcc_v2df);
284void __builtin_ia32_movntdq(__gcc_v2di*, __gcc_v2di);
285__gcc_v4si __builtin_ia32_pshufd(__gcc_v4si, int);
286__gcc_v8hi __builtin_ia32_pshuflw(__gcc_v8hi, int);
287__gcc_v8hi __builtin_ia32_pshufhw(__gcc_v8hi, int);
288__gcc_v2di __builtin_ia32_psadbw128(__gcc_v16qi, __gcc_v16qi);
289__gcc_v2df __builtin_ia32_sqrtpd(__gcc_v2df);
290__gcc_v2df __builtin_ia32_sqrtsd(__gcc_v2df);
291__gcc_v2df __builtin_ia32_shufpd(__gcc_v2df, __gcc_v2df, int);
292__gcc_v2df __builtin_ia32_cvtdq2pd(__gcc_v4si);
293__gcc_v4sf __builtin_ia32_cvtdq2ps(__gcc_v4si);
294__gcc_v4si __builtin_ia32_cvtpd2dq(__gcc_v2df);
295__gcc_v2si __builtin_ia32_cvtpd2pi(__gcc_v2df);
296__gcc_v4sf __builtin_ia32_cvtpd2ps(__gcc_v2df);
297__gcc_v4si __builtin_ia32_cvttpd2dq(__gcc_v2df);
298__gcc_v2si __builtin_ia32_cvttpd2pi(__gcc_v2df);
299__gcc_v2df __builtin_ia32_cvtpi2pd(__gcc_v2si);
302long long __builtin_ia32_cvtsd2si64(__gcc_v2df);
303long long __builtin_ia32_cvttsd2si64(__gcc_v2df);
304__gcc_v4si __builtin_ia32_cvtps2dq(__gcc_v4sf);
305__gcc_v2df __builtin_ia32_cvtps2pd(__gcc_v4sf);
306__gcc_v4si __builtin_ia32_cvttps2dq(__gcc_v4sf);
307__gcc_v2df __builtin_ia32_cvtsi2sd(__gcc_v2df, int);
308__gcc_v2df __builtin_ia32_cvtsi642sd(__gcc_v2df, long long);
309__gcc_v4sf __builtin_ia32_cvtsd2ss(__gcc_v4sf, __gcc_v2df);
310__gcc_v2df __builtin_ia32_cvtss2sd(__gcc_v2df, __gcc_v4sf);
311void __builtin_ia32_clflush(const void*);
314__gcc_v16qi __builtin_ia32_loaddqu(const char*);
315void __builtin_ia32_storedqu(char*, __gcc_v16qi);
316__gcc_v1di __builtin_ia32_pmuludq(__gcc_v2si, __gcc_v2si);
317__gcc_v2di __builtin_ia32_pmuludq128(__gcc_v4si, __gcc_v4si);
318__gcc_v8hi __builtin_ia32_psllw128(__gcc_v8hi, __gcc_v8hi);
319__gcc_v4si __builtin_ia32_pslld128(__gcc_v4si, __gcc_v4si);
320__gcc_v2di __builtin_ia32_psllq128(__gcc_v2di, __gcc_v2di);
321__gcc_v8hi __builtin_ia32_psrlw128(__gcc_v8hi, __gcc_v8hi);
322__gcc_v4si __builtin_ia32_psrld128(__gcc_v4si, __gcc_v4si);
323__gcc_v2di __builtin_ia32_psrlq128(__gcc_v2di, __gcc_v2di);
324__gcc_v8hi __builtin_ia32_psraw128(__gcc_v8hi, __gcc_v8hi);
325__gcc_v4si __builtin_ia32_psrad128(__gcc_v4si, __gcc_v4si);
326__gcc_v2di __builtin_ia32_pslldqi128(__gcc_v2di, int);
327__gcc_v8hi __builtin_ia32_psllwi128(__gcc_v8hi, int);
328__gcc_v4si __builtin_ia32_pslldi128(__gcc_v4si, int);
329__gcc_v2di __builtin_ia32_psllqi128(__gcc_v2di, int);
330__gcc_v2di __builtin_ia32_psrldqi128(__gcc_v2di, int);
331__gcc_v8hi __builtin_ia32_psrlwi128(__gcc_v8hi, int);
332__gcc_v4si __builtin_ia32_psrldi128(__gcc_v4si, int);
333__gcc_v2di __builtin_ia32_psrlqi128(__gcc_v2di, int);
334__gcc_v8hi __builtin_ia32_psrawi128(__gcc_v8hi, int);
335__gcc_v4si __builtin_ia32_psradi128(__gcc_v4si, int);
336__gcc_v4si __builtin_ia32_pmaddwd128(__gcc_v8hi, __gcc_v8hi);
337__gcc_v2di __builtin_ia32_movq128(__gcc_v2di);
338__gcc_v2df __builtin_ia32_addsubpd(__gcc_v2df, __gcc_v2df);
339__gcc_v4sf __builtin_ia32_addsubps(__gcc_v4sf, __gcc_v4sf);
340__gcc_v2df __builtin_ia32_haddpd(__gcc_v2df, __gcc_v2df);
341__gcc_v4sf __builtin_ia32_haddps(__gcc_v4sf, __gcc_v4sf);
342__gcc_v2df __builtin_ia32_hsubpd(__gcc_v2df, __gcc_v2df);
343__gcc_v4sf __builtin_ia32_hsubps(__gcc_v4sf, __gcc_v4sf);
344__gcc_v16qi __builtin_ia32_lddqu(const char*);
345void __builtin_ia32_monitor(void*, unsigned int, unsigned int);
346__gcc_v2df __builtin_ia32_movddup(__gcc_v2df);
347__gcc_v4sf __builtin_ia32_movshdup(__gcc_v4sf);
348__gcc_v4sf __builtin_ia32_movsldup(__gcc_v4sf);
349void __builtin_ia32_mwait(unsigned int, unsigned int);
350__gcc_v2df __builtin_ia32_loadddup(double const*);
351__gcc_v2si __builtin_ia32_phaddd(__gcc_v2si, __gcc_v2si);
352__gcc_v4hi __builtin_ia32_phaddw(__gcc_v4hi, __gcc_v4hi);
353__gcc_v4hi __builtin_ia32_phaddsw(__gcc_v4hi, __gcc_v4hi);
354__gcc_v2si __builtin_ia32_phsubd(__gcc_v2si, __gcc_v2si);
355__gcc_v4hi __builtin_ia32_phsubw(__gcc_v4hi, __gcc_v4hi);
356__gcc_v4hi __builtin_ia32_phsubsw(__gcc_v4hi, __gcc_v4hi);
357__gcc_v4hi __builtin_ia32_pmaddubsw(__gcc_v8qi, __gcc_v8qi);
358__gcc_v4hi __builtin_ia32_pmulhrsw(__gcc_v4hi, __gcc_v4hi);
359__gcc_v8qi __builtin_ia32_pshufb(__gcc_v8qi, __gcc_v8qi);
360__gcc_v8qi __builtin_ia32_psignb(__gcc_v8qi, __gcc_v8qi);
361__gcc_v2si __builtin_ia32_psignd(__gcc_v2si, __gcc_v2si);
362__gcc_v4hi __builtin_ia32_psignw(__gcc_v4hi, __gcc_v4hi);
363__gcc_v1di __builtin_ia32_palignr(__gcc_v1di, __gcc_v1di, int);
364__gcc_v8qi __builtin_ia32_pabsb(__gcc_v8qi);
365__gcc_v2si __builtin_ia32_pabsd(__gcc_v2si);
366__gcc_v4hi __builtin_ia32_pabsw(__gcc_v4hi);
367__gcc_v4si __builtin_ia32_phaddd128(__gcc_v4si, __gcc_v4si);
368__gcc_v8hi __builtin_ia32_phaddw128(__gcc_v8hi, __gcc_v8hi);
369__gcc_v8hi __builtin_ia32_phaddsw128(__gcc_v8hi, __gcc_v8hi);
370__gcc_v4si __builtin_ia32_phsubd128(__gcc_v4si, __gcc_v4si);
371__gcc_v8hi __builtin_ia32_phsubw128(__gcc_v8hi, __gcc_v8hi);
372__gcc_v8hi __builtin_ia32_phsubsw128(__gcc_v8hi, __gcc_v8hi);
373__gcc_v8hi __builtin_ia32_pmaddubsw128(__gcc_v16qi, __gcc_v16qi);
374__gcc_v8hi __builtin_ia32_pmulhrsw128(__gcc_v8hi, __gcc_v8hi);
375__gcc_v16qi __builtin_ia32_pshufb128(__gcc_v16qi, __gcc_v16qi);
376__gcc_v16qi __builtin_ia32_psignb128(__gcc_v16qi, __gcc_v16qi);
377__gcc_v4si __builtin_ia32_psignd128(__gcc_v4si, __gcc_v4si);
378__gcc_v8hi __builtin_ia32_psignw128(__gcc_v8hi, __gcc_v8hi);
379__gcc_v2di __builtin_ia32_palignr128(__gcc_v2di, __gcc_v2di, int);
380__gcc_v16qi __builtin_ia32_pabsb128(__gcc_v16qi);
381__gcc_v4si __builtin_ia32_pabsd128(__gcc_v4si);
382__gcc_v8hi __builtin_ia32_pabsw128(__gcc_v8hi);
383__gcc_v2df __builtin_ia32_blendpd(__gcc_v2df, __gcc_v2df, int);
384__gcc_v4sf __builtin_ia32_blendps(__gcc_v4sf, __gcc_v4sf, int);
385__gcc_v2df __builtin_ia32_blendvpd(__gcc_v2df, __gcc_v2df, __gcc_v2df);
386__gcc_v4sf __builtin_ia32_blendvps(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf);
387__gcc_v2df __builtin_ia32_dppd(__gcc_v2df, __gcc_v2df, int);
388__gcc_v4sf __builtin_ia32_dpps(__gcc_v4sf, __gcc_v4sf, int);
389__gcc_v4sf __builtin_ia32_insertps128(__gcc_v4sf, __gcc_v4sf, int);
390__gcc_v2di __builtin_ia32_movntdqa(__gcc_v2di*);
391__gcc_v16qi __builtin_ia32_mpsadbw128(__gcc_v16qi, __gcc_v16qi, int);
392__gcc_v8hi __builtin_ia32_packusdw128(__gcc_v4si, __gcc_v4si);
393__gcc_v16qi __builtin_ia32_pblendvb128(__gcc_v16qi, __gcc_v16qi, __gcc_v16qi);
394__gcc_v8hi __builtin_ia32_pblendw128(__gcc_v8hi, __gcc_v8hi, int);
395__gcc_v2di __builtin_ia32_pcmpeqq(__gcc_v2di, __gcc_v2di);
396__gcc_v8hi __builtin_ia32_phminposuw128(__gcc_v8hi);
397__gcc_v16qi __builtin_ia32_pmaxsb128(__gcc_v16qi, __gcc_v16qi);
398__gcc_v4si __builtin_ia32_pmaxsd128(__gcc_v4si, __gcc_v4si);
399__gcc_v4si __builtin_ia32_pmaxud128(__gcc_v4si, __gcc_v4si);
400__gcc_v8hi __builtin_ia32_pmaxuw128(__gcc_v8hi, __gcc_v8hi);
401__gcc_v16qi __builtin_ia32_pminsb128(__gcc_v16qi, __gcc_v16qi);
402__gcc_v4si __builtin_ia32_pminsd128(__gcc_v4si, __gcc_v4si);
403__gcc_v4si __builtin_ia32_pminud128(__gcc_v4si, __gcc_v4si);
404__gcc_v8hi __builtin_ia32_pminuw128(__gcc_v8hi, __gcc_v8hi);
405__gcc_v4si __builtin_ia32_pmovsxbd128(__gcc_v16qi);
406__gcc_v2di __builtin_ia32_pmovsxbq128(__gcc_v16qi);
407__gcc_v8hi __builtin_ia32_pmovsxbw128(__gcc_v16qi);
408__gcc_v2di __builtin_ia32_pmovsxdq128(__gcc_v4si);
409__gcc_v4si __builtin_ia32_pmovsxwd128(__gcc_v8hi);
410__gcc_v2di __builtin_ia32_pmovsxwq128(__gcc_v8hi);
411__gcc_v4si __builtin_ia32_pmovzxbd128(__gcc_v16qi);
412__gcc_v2di __builtin_ia32_pmovzxbq128(__gcc_v16qi);
413__gcc_v8hi __builtin_ia32_pmovzxbw128(__gcc_v16qi);
414__gcc_v2di __builtin_ia32_pmovzxdq128(__gcc_v4si);
415__gcc_v4si __builtin_ia32_pmovzxwd128(__gcc_v8hi);
416__gcc_v2di __builtin_ia32_pmovzxwq128(__gcc_v8hi);
417__gcc_v2di __builtin_ia32_pmuldq128(__gcc_v4si, __gcc_v4si);
418__gcc_v4si __builtin_ia32_pmulld128(__gcc_v4si, __gcc_v4si);
419int __builtin_ia32_ptestc128(__gcc_v2di, __gcc_v2di);
420int __builtin_ia32_ptestnzc128(__gcc_v2di, __gcc_v2di);
421int __builtin_ia32_ptestz128(__gcc_v2di, __gcc_v2di);
422__gcc_v2df __builtin_ia32_roundpd(__gcc_v2df, int);
423__gcc_v4sf __builtin_ia32_roundps(__gcc_v4sf, int);
424__gcc_v2df __builtin_ia32_roundsd(__gcc_v2df, __gcc_v2df, int);
425__gcc_v4sf __builtin_ia32_roundss(__gcc_v4sf, __gcc_v4sf, int);
426int __builtin_ia32_vec_ext___gcc_v16qi(__gcc_v16qi, const int);
427float __builtin_ia32_vec_ext___gcc_v4sf(__gcc_v4sf, const int);
428int __builtin_ia32_vec_ext___gcc_v4si(__gcc_v4si, const int);
430__gcc_v16qi __builtin_ia32_pcmpestrm128(__gcc_v16qi, int, __gcc_v16qi, int, const int);
431int __builtin_ia32_pcmpestri128(__gcc_v16qi, int, __gcc_v16qi, int, const int);
432int __builtin_ia32_pcmpestria128(__gcc_v16qi, int, __gcc_v16qi, int, const int);
433int __builtin_ia32_pcmpestric128(__gcc_v16qi, int, __gcc_v16qi, int, const int);
434int __builtin_ia32_pcmpestrio128(__gcc_v16qi, int, __gcc_v16qi, int, const int);
435int __builtin_ia32_pcmpestris128(__gcc_v16qi, int, __gcc_v16qi, int, const int);
436int __builtin_ia32_pcmpestriz128(__gcc_v16qi, int, __gcc_v16qi, int, const int);
437__gcc_v16qi __builtin_ia32_pcmpistrm128(__gcc_v16qi, __gcc_v16qi, const int);
438int __builtin_ia32_pcmpistri128(__gcc_v16qi, __gcc_v16qi, const int);
439int __builtin_ia32_pcmpistria128(__gcc_v16qi, __gcc_v16qi, const int);
440int __builtin_ia32_pcmpistric128(__gcc_v16qi, __gcc_v16qi, const int);
441int __builtin_ia32_pcmpistrio128(__gcc_v16qi, __gcc_v16qi, const int);
442int __builtin_ia32_pcmpistris128(__gcc_v16qi, __gcc_v16qi, const int);
443int __builtin_ia32_pcmpistriz128(__gcc_v16qi, __gcc_v16qi, const int);
444__gcc_v2di __builtin_ia32_pcmpgtq(__gcc_v2di, __gcc_v2di);
445unsigned __builtin_ia32_crc32qi(unsigned, unsigned char);
446unsigned __builtin_ia32_crc32hi(unsigned, unsigned short);
447unsigned __builtin_ia32_crc32si(unsigned, unsigned);
448unsigned long long __builtin_ia32_crc32di(unsigned long long, unsigned long long);
449int __builtin_popcount(unsigned int);
450int __builtin_popcountl(unsigned long);
451int __builtin_popcountll(unsigned long long);
452__gcc_v4df __builtin_ia32_addpd256(__gcc_v4df, __gcc_v4df);
453__gcc_v8sf __builtin_ia32_addps256(__gcc_v8sf, __gcc_v8sf);
454__gcc_v4df __builtin_ia32_addsubpd256(__gcc_v4df, __gcc_v4df);
455__gcc_v8sf __builtin_ia32_addsubps256(__gcc_v8sf, __gcc_v8sf);
456__gcc_v4df __builtin_ia32_andnpd256(__gcc_v4df, __gcc_v4df);
457__gcc_v8sf __builtin_ia32_andnps256(__gcc_v8sf, __gcc_v8sf);
458__gcc_v4df __builtin_ia32_andpd256(__gcc_v4df, __gcc_v4df);
459__gcc_v8sf __builtin_ia32_andps256(__gcc_v8sf, __gcc_v8sf);
460__gcc_v4df __builtin_ia32_blendpd256(__gcc_v4df, __gcc_v4df, int);
461__gcc_v8sf __builtin_ia32_blendps256(__gcc_v8sf, __gcc_v8sf, int);
462__gcc_v4df __builtin_ia32_blendvpd256(__gcc_v4df, __gcc_v4df, __gcc_v4df);
463__gcc_v8sf __builtin_ia32_blendvps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf);
464__gcc_v2df __builtin_ia32_cmppd(__gcc_v2df, __gcc_v2df, int);
465__gcc_v4df __builtin_ia32_cmppd256(__gcc_v4df, __gcc_v4df, int);
466__gcc_v4sf __builtin_ia32_cmpps(__gcc_v4sf, __gcc_v4sf, int);
467__gcc_v8sf __builtin_ia32_cmpps256(__gcc_v8sf, __gcc_v8sf, int);
468__gcc_v2df __builtin_ia32_cmpsd(__gcc_v2df, __gcc_v2df, int);
469__gcc_v4sf __builtin_ia32_cmpss(__gcc_v4sf, __gcc_v4sf, int);
470__gcc_v4df __builtin_ia32_cvtdq2pd256(__gcc_v4si);
471__gcc_v8sf __builtin_ia32_cvtdq2ps256(__gcc_v8si);
472__gcc_v4si __builtin_ia32_cvtpd2dq256(__gcc_v4df);
473__gcc_v4sf __builtin_ia32_cvtpd2ps256(__gcc_v4df);
474__gcc_v8si __builtin_ia32_cvtps2dq256(__gcc_v8sf);
475__gcc_v4df __builtin_ia32_cvtps2pd256(__gcc_v4sf);
476__gcc_v4si __builtin_ia32_cvttpd2dq256(__gcc_v4df);
477__gcc_v8si __builtin_ia32_cvttps2dq256(__gcc_v8sf);
478__gcc_v4df __builtin_ia32_divpd256(__gcc_v4df, __gcc_v4df);
479__gcc_v8sf __builtin_ia32_divps256(__gcc_v8sf, __gcc_v8sf);
480__gcc_v8sf __builtin_ia32_dpps256(__gcc_v8sf, __gcc_v8sf, int);
481__gcc_v4df __builtin_ia32_haddpd256(__gcc_v4df, __gcc_v4df);
482__gcc_v8sf __builtin_ia32_haddps256(__gcc_v8sf, __gcc_v8sf);
483__gcc_v4df __builtin_ia32_hsubpd256(__gcc_v4df, __gcc_v4df);
484__gcc_v8sf __builtin_ia32_hsubps256(__gcc_v8sf, __gcc_v8sf);
485__gcc_v32qi __builtin_ia32_lddqu256(const char*);
486__gcc_v32qi __builtin_ia32_loaddqu256(const char*);
487__gcc_v4df __builtin_ia32_loadupd256(const double*);
488__gcc_v8sf __builtin_ia32_loadups256(const float*);
489__gcc_v2df __builtin_ia32_maskloadpd(const __gcc_v2df*, __gcc_v2di);
490__gcc_v4df __builtin_ia32_maskloadpd256(const __gcc_v4df*, __gcc_v4di);
491__gcc_v4sf __builtin_ia32_maskloadps(const __gcc_v4sf*, __gcc_v4si);
492__gcc_v8sf __builtin_ia32_maskloadps256(const __gcc_v8sf*, __gcc_v8si);
493void __builtin_ia32_maskstorepd(__gcc_v2df*, __gcc_v2di, __gcc_v2df);
494void __builtin_ia32_maskstorepd256(__gcc_v4df*, __gcc_v4di, __gcc_v4df);
495void __builtin_ia32_maskstoreps(__gcc_v4sf*, __gcc_v4si, __gcc_v4sf);
496void __builtin_ia32_maskstoreps256(__gcc_v8sf*, __gcc_v8si, __gcc_v8sf);
497__gcc_v4df __builtin_ia32_maxpd256(__gcc_v4df, __gcc_v4df);
498__gcc_v8sf __builtin_ia32_maxps256(__gcc_v8sf, __gcc_v8sf);
499__gcc_v4df __builtin_ia32_minpd256(__gcc_v4df, __gcc_v4df);
500__gcc_v8sf __builtin_ia32_minps256(__gcc_v8sf, __gcc_v8sf);
501__gcc_v4df __builtin_ia32_movddup256(__gcc_v4df);
504__gcc_v8sf __builtin_ia32_movshdup256(__gcc_v8sf);
505__gcc_v8sf __builtin_ia32_movsldup256(__gcc_v8sf);
506__gcc_v4df __builtin_ia32_mulpd256(__gcc_v4df, __gcc_v4df);
507__gcc_v8sf __builtin_ia32_mulps256(__gcc_v8sf, __gcc_v8sf);
508__gcc_v4df __builtin_ia32_orpd256(__gcc_v4df, __gcc_v4df);
509__gcc_v8sf __builtin_ia32_orps256(__gcc_v8sf, __gcc_v8sf);
510__gcc_v2df __builtin_ia32_pd_pd256(__gcc_v4df);
511__gcc_v4df __builtin_ia32_pd256_pd(__gcc_v2df);
512__gcc_v4sf __builtin_ia32_ps_ps256(__gcc_v8sf);
513__gcc_v8sf __builtin_ia32_ps256_ps(__gcc_v4sf);
514int __builtin_ia32_ptestc256(__gcc_v4di, __gcc_v4di);
515int __builtin_ia32_ptestnzc256(__gcc_v4di, __gcc_v4di);
516int __builtin_ia32_ptestz256(__gcc_v4di, __gcc_v4di);
517__gcc_v8sf __builtin_ia32_rcpps256(__gcc_v8sf);
518__gcc_v4df __builtin_ia32_roundpd256(__gcc_v4df, int);
519__gcc_v8sf __builtin_ia32_roundps256(__gcc_v8sf, int);
520__gcc_v8sf __builtin_ia32_rsqrtps_nr256(__gcc_v8sf);
521__gcc_v8sf __builtin_ia32_rsqrtps256(__gcc_v8sf);
522__gcc_v4df __builtin_ia32_shufpd256(__gcc_v4df, __gcc_v4df, int);
523__gcc_v8sf __builtin_ia32_shufps256(__gcc_v8sf, __gcc_v8sf, int);
524__gcc_v4si __builtin_ia32_si_si256(__gcc_v8si);
525__gcc_v8si __builtin_ia32_si256_si(__gcc_v4si);
526__gcc_v4df __builtin_ia32_sqrtpd256(__gcc_v4df);
527__gcc_v8sf __builtin_ia32_sqrtps_nr256(__gcc_v8sf);
528__gcc_v8sf __builtin_ia32_sqrtps256(__gcc_v8sf);
529void __builtin_ia32_storedqu256(char*, __gcc_v32qi);
530void __builtin_ia32_storeupd256(double*, __gcc_v4df);
531void __builtin_ia32_storeups256(float*, __gcc_v8sf);
532__gcc_v4df __builtin_ia32_subpd256(__gcc_v4df, __gcc_v4df);
533__gcc_v8sf __builtin_ia32_subps256(__gcc_v8sf, __gcc_v8sf);
534__gcc_v4df __builtin_ia32_unpckhpd256(__gcc_v4df, __gcc_v4df);
535__gcc_v8sf __builtin_ia32_unpckhps256(__gcc_v8sf, __gcc_v8sf);
536__gcc_v4df __builtin_ia32_unpcklpd256(__gcc_v4df, __gcc_v4df);
537__gcc_v8sf __builtin_ia32_unpcklps256(__gcc_v8sf, __gcc_v8sf);
538__gcc_v4df __builtin_ia32_vbroadcastf128_pd256(const __gcc_v2df*);
539__gcc_v8sf __builtin_ia32_vbroadcastf128_ps256(const __gcc_v4sf*);
540__gcc_v4df __builtin_ia32_vbroadcastsd256(const double*);
541__gcc_v4sf __builtin_ia32_vbroadcastss(const float*);
542__gcc_v8sf __builtin_ia32_vbroadcastss256(const float*);
543__gcc_v2df __builtin_ia32_vextractf128_pd256(__gcc_v4df, int);
544__gcc_v4sf __builtin_ia32_vextractf128_ps256(__gcc_v8sf, int);
545__gcc_v4si __builtin_ia32_vextractf128_si256(__gcc_v8si, int);
546__gcc_v4df __builtin_ia32_vinsertf128_pd256(__gcc_v4df, __gcc_v2df, int);
547__gcc_v8sf __builtin_ia32_vinsertf128_ps256(__gcc_v8sf, __gcc_v4sf, int);
548__gcc_v8si __builtin_ia32_vinsertf128_si256(__gcc_v8si, __gcc_v4si, int);
549__gcc_v4df __builtin_ia32_vperm2f128_pd256(__gcc_v4df, __gcc_v4df, int);
550__gcc_v8sf __builtin_ia32_vperm2f128_ps256(__gcc_v8sf, __gcc_v8sf, int);
551__gcc_v8si __builtin_ia32_vperm2f128_si256(__gcc_v8si, __gcc_v8si, int);
552__gcc_v2df __builtin_ia32_vpermil2pd(__gcc_v2df,__gcc_v2df,__gcc_v2di,int);
553__gcc_v4df __builtin_ia32_vpermil2pd256(__gcc_v4df,__gcc_v4df,__gcc_v4di,int);
554__gcc_v4sf __builtin_ia32_vpermil2ps(__gcc_v4sf,__gcc_v4sf,__gcc_v4si,int);
555__gcc_v8sf __builtin_ia32_vpermil2ps256(__gcc_v8sf,__gcc_v8sf,__gcc_v8si,int);
556__gcc_v2df __builtin_ia32_vpermilpd(__gcc_v2df, int);
557__gcc_v4df __builtin_ia32_vpermilpd256(__gcc_v4df, int);
558__gcc_v4sf __builtin_ia32_vpermilps(__gcc_v4sf, int);
559__gcc_v8sf __builtin_ia32_vpermilps256(__gcc_v8sf, int);
560__gcc_v2df __builtin_ia32_vpermilvarpd(__gcc_v2df, __gcc_v2di);
561__gcc_v4df __builtin_ia32_vpermilvarpd256(__gcc_v4df, __gcc_v4di);
562__gcc_v4sf __builtin_ia32_vpermilvarps(__gcc_v4sf, __gcc_v4si);
563__gcc_v8sf __builtin_ia32_vpermilvarps256(__gcc_v8sf, __gcc_v8si);
564int __builtin_ia32_vtestcpd(__gcc_v2df, __gcc_v2df);
565int __builtin_ia32_vtestcpd256(__gcc_v4df, __gcc_v4df);
566int __builtin_ia32_vtestcps(__gcc_v4sf, __gcc_v4sf);
567int __builtin_ia32_vtestcps256(__gcc_v8sf, __gcc_v8sf);
568int __builtin_ia32_vtestnzcpd(__gcc_v2df, __gcc_v2df);
569int __builtin_ia32_vtestnzcpd256(__gcc_v4df, __gcc_v4df);
570int __builtin_ia32_vtestnzcps(__gcc_v4sf, __gcc_v4sf);
571int __builtin_ia32_vtestnzcps256(__gcc_v8sf, __gcc_v8sf);
572int __builtin_ia32_vtestzpd(__gcc_v2df, __gcc_v2df);
573int __builtin_ia32_vtestzpd256(__gcc_v4df, __gcc_v4df);
574int __builtin_ia32_vtestzps(__gcc_v4sf, __gcc_v4sf);
575int __builtin_ia32_vtestzps256(__gcc_v8sf, __gcc_v8sf);
578__gcc_v4df __builtin_ia32_xorpd256(__gcc_v4df, __gcc_v4df);
579__gcc_v8sf __builtin_ia32_xorps256(__gcc_v8sf, __gcc_v8sf);
580__gcc_v32qi __builtin_ia32_mpsadbw256(__gcc_v32qi, __gcc_v32qi, int);
581__gcc_v32qi __builtin_ia32_pabsb256(__gcc_v32qi);
582__gcc_v16hi __builtin_ia32_pabsw256(__gcc_v16hi);
583__gcc_v8si __builtin_ia32_pabsd256(__gcc_v8si);
584__gcc_v16hi __builtin_ia32_packssdw256(__gcc_v8si, __gcc_v8si);
585__gcc_v32qi __builtin_ia32_packsswb256(__gcc_v16hi, __gcc_v16hi);
586__gcc_v16hi __builtin_ia32_packusdw256(__gcc_v8si, __gcc_v8si);
587__gcc_v32qi __builtin_ia32_packuswb256(__gcc_v16hi, __gcc_v16hi);
588__gcc_v32qi __builtin_ia32_paddb256(__gcc_v32qi, __gcc_v32qi);
589__gcc_v16hi __builtin_ia32_paddw256(__gcc_v16hi, __gcc_v16hi);
590__gcc_v8si __builtin_ia32_paddd256(__gcc_v8si, __gcc_v8si);
591__gcc_v4di __builtin_ia32_paddq256(__gcc_v4di, __gcc_v4di);
592__gcc_v32qi __builtin_ia32_paddsb256(__gcc_v32qi, __gcc_v32qi);
593__gcc_v16hi __builtin_ia32_paddsw256(__gcc_v16hi, __gcc_v16hi);
594__gcc_v32qi __builtin_ia32_paddusb256(__gcc_v32qi, __gcc_v32qi);
595__gcc_v16hi __builtin_ia32_paddusw256(__gcc_v16hi, __gcc_v16hi);
596__gcc_v4di __builtin_ia32_palignr256(__gcc_v4di, __gcc_v4di, int);
597__gcc_v4di __builtin_ia32_andsi256(__gcc_v4di, __gcc_v4di);
598__gcc_v4di __builtin_ia32_andnotsi256(__gcc_v4di, __gcc_v4di);
599__gcc_v32qi __builtin_ia32_pavgb256(__gcc_v32qi, __gcc_v32qi);
600__gcc_v16hi __builtin_ia32_pavgw256(__gcc_v16hi, __gcc_v16hi);
601__gcc_v32qi __builtin_ia32_pblendvb256(__gcc_v32qi, __gcc_v32qi, __gcc_v32qi);
602__gcc_v16hi __builtin_ia32_pblendw256(__gcc_v16hi, __gcc_v16hi, int);
603__gcc_v32qi __builtin_ia32_pcmpeqb256(__gcc_v32qi, __gcc_v32qi);
604__gcc_v16hi __builtin_ia32_pcmpeqw256(__gcc_v16hi, __gcc_v16hi);
605__gcc_v8si __builtin_ia32_pcmpeqd256(__gcc_v8si, __gcc_v8si);
606__gcc_v4di __builtin_ia32_pcmpeqq256(__gcc_v4di, __gcc_v4di);
607__gcc_v32qi __builtin_ia32_pcmpgtb256(__gcc_v32qi, __gcc_v32qi);
608__gcc_v16hi __builtin_ia32_pcmpgtw256(__gcc_v16hi, __gcc_v16hi);
609__gcc_v8si __builtin_ia32_pcmpgtd256(__gcc_v8si, __gcc_v8si);
610__gcc_v4di __builtin_ia32_pcmpgtq256(__gcc_v4di, __gcc_v4di);
611__gcc_v16hi __builtin_ia32_phaddw256(__gcc_v16hi, __gcc_v16hi);
612__gcc_v8si __builtin_ia32_phaddd256(__gcc_v8si, __gcc_v8si);
613__gcc_v16hi __builtin_ia32_phaddsw256(__gcc_v16hi, __gcc_v16hi);
614__gcc_v16hi __builtin_ia32_phsubw256(__gcc_v16hi, __gcc_v16hi);
615__gcc_v8si __builtin_ia32_phsubd256(__gcc_v8si, __gcc_v8si);
616__gcc_v16hi __builtin_ia32_phsubsw256(__gcc_v16hi, __gcc_v16hi);
617__gcc_v16hi __builtin_ia32_pmaddubsw256(__gcc_v32qi, __gcc_v32qi);
618__gcc_v8si __builtin_ia32_pmaddwd256(__gcc_v16hi, __gcc_v16hi);
619__gcc_v32qi __builtin_ia32_pmaxsb256(__gcc_v32qi, __gcc_v32qi);
620__gcc_v16hi __builtin_ia32_pmaxsw256(__gcc_v16hi, __gcc_v16hi);
621__gcc_v8si __builtin_ia32_pmaxsd256(__gcc_v8si, __gcc_v8si);
622__gcc_v32qi __builtin_ia32_pmaxub256(__gcc_v32qi, __gcc_v32qi);
623__gcc_v16hi __builtin_ia32_pmaxuw256(__gcc_v16hi, __gcc_v16hi);
624__gcc_v8si __builtin_ia32_pmaxud256(__gcc_v8si, __gcc_v8si);
625__gcc_v32qi __builtin_ia32_pminsb256(__gcc_v32qi, __gcc_v32qi);
626__gcc_v16hi __builtin_ia32_pminsw256(__gcc_v16hi, __gcc_v16hi);
627__gcc_v8si __builtin_ia32_pminsd256(__gcc_v8si, __gcc_v8si);
628__gcc_v32qi __builtin_ia32_pminub256(__gcc_v32qi, __gcc_v32qi);
629__gcc_v16hi __builtin_ia32_pminuw256(__gcc_v16hi, __gcc_v16hi);
630__gcc_v8si __builtin_ia32_pminud256(__gcc_v8si, __gcc_v8si);
632__gcc_v16hi __builtin_ia32_pmovsxbw256(__gcc_v16qi);
633__gcc_v8si __builtin_ia32_pmovsxbd256(__gcc_v16qi);
634__gcc_v4di __builtin_ia32_pmovsxbq256(__gcc_v16qi);
635__gcc_v8si __builtin_ia32_pmovsxwd256(__gcc_v8hi);
636__gcc_v4di __builtin_ia32_pmovsxwq256(__gcc_v8hi);
637__gcc_v4di __builtin_ia32_pmovsxdq256(__gcc_v4si);
638__gcc_v16hi __builtin_ia32_pmovzxbw256(__gcc_v16qi);
639__gcc_v8si __builtin_ia32_pmovzxbd256(__gcc_v16qi);
640__gcc_v4di __builtin_ia32_pmovzxbq256(__gcc_v16qi);
641__gcc_v8si __builtin_ia32_pmovzxwd256(__gcc_v8hi);
642__gcc_v4di __builtin_ia32_pmovzxwq256(__gcc_v8hi);
643__gcc_v4di __builtin_ia32_pmovzxdq256(__gcc_v4si);
644__gcc_v4di __builtin_ia32_pmuldq256(__gcc_v8si, __gcc_v8si);
645__gcc_v16hi __builtin_ia32_pmulhrsw256(__gcc_v16hi, __gcc_v16hi);
646__gcc_v16hi __builtin_ia32_pmulhuw256(__gcc_v16hi, __gcc_v16hi);
647__gcc_v16hi __builtin_ia32_pmulhw256(__gcc_v16hi, __gcc_v16hi);
648__gcc_v16hi __builtin_ia32_pmullw256(__gcc_v16hi, __gcc_v16hi);
649__gcc_v8si __builtin_ia32_pmulld256(__gcc_v8si, __gcc_v8si);
650__gcc_v4di __builtin_ia32_pmuludq256(__gcc_v8si, __gcc_v8si);
651__gcc_v4di __builtin_ia32_por256(__gcc_v4di, __gcc_v4di);
652__gcc_v16hi __builtin_ia32_psadbw256(__gcc_v32qi, __gcc_v32qi);
653__gcc_v32qi __builtin_ia32_pshufb256(__gcc_v32qi, __gcc_v32qi);
654__gcc_v8si __builtin_ia32_pshufd256(__gcc_v8si, int);
655__gcc_v16hi __builtin_ia32_pshufhw256(__gcc_v16hi, int);
656__gcc_v16hi __builtin_ia32_pshuflw256(__gcc_v16hi, int);
657__gcc_v32qi __builtin_ia32_psignb256(__gcc_v32qi, __gcc_v32qi);
658__gcc_v16hi __builtin_ia32_psignw256(__gcc_v16hi, __gcc_v16hi);
659__gcc_v8si __builtin_ia32_psignd256(__gcc_v8si, __gcc_v8si);
660__gcc_v4di __builtin_ia32_pslldqi256(__gcc_v4di, int);
661__gcc_v16hi __builtin_ia32_psllwi256(__gcc_v16hi, int);
662__gcc_v16hi __builtin_ia32_psllw256(__gcc_v16hi, __gcc_v8hi);
663__gcc_v8si __builtin_ia32_pslldi256(__gcc_v8si, int);
664__gcc_v8si __builtin_ia32_pslld256(__gcc_v8si, __gcc_v4si);
665__gcc_v4di __builtin_ia32_psllqi256(__gcc_v4di, int);
666__gcc_v4di __builtin_ia32_psllq256(__gcc_v4di, __gcc_v2di);
667__gcc_v16hi __builtin_ia32_psrawi256(__gcc_v16hi, int);
668__gcc_v16hi __builtin_ia32_psraw256(__gcc_v16hi, __gcc_v8hi);
669__gcc_v8si __builtin_ia32_psradi256(__gcc_v8si, int);
670__gcc_v8si __builtin_ia32_psrad256(__gcc_v8si, __gcc_v4si);
671__gcc_v4di __builtin_ia32_psrldqi256(__gcc_v4di, int);
672__gcc_v16hi __builtin_ia32_psrlwi256(__gcc_v16hi, int);
673__gcc_v16hi __builtin_ia32_psrlw256(__gcc_v16hi, __gcc_v8hi);
674__gcc_v8si __builtin_ia32_psrldi256(__gcc_v8si, int);
675__gcc_v8si __builtin_ia32_psrld256(__gcc_v8si, __gcc_v4si);
676__gcc_v4di __builtin_ia32_psrlqi256(__gcc_v4di, int);
677__gcc_v4di __builtin_ia32_psrlq256(__gcc_v4di, __gcc_v2di);
678__gcc_v32qi __builtin_ia32_psubb256(__gcc_v32qi, __gcc_v32qi);
679__gcc_v16hi __builtin_ia32_psubw256(__gcc_v16hi, __gcc_v16hi);
680__gcc_v8si __builtin_ia32_psubd256(__gcc_v8si, __gcc_v8si);
681__gcc_v4di __builtin_ia32_psubq256(__gcc_v4di, __gcc_v4di);
682__gcc_v32qi __builtin_ia32_psubsb256(__gcc_v32qi, __gcc_v32qi);
683__gcc_v16hi __builtin_ia32_psubsw256(__gcc_v16hi, __gcc_v16hi);
684__gcc_v32qi __builtin_ia32_psubusb256(__gcc_v32qi, __gcc_v32qi);
685__gcc_v16hi __builtin_ia32_psubusw256(__gcc_v16hi, __gcc_v16hi);
686__gcc_v32qi __builtin_ia32_punpckhbw256(__gcc_v32qi, __gcc_v32qi);
687__gcc_v16hi __builtin_ia32_punpckhwd256(__gcc_v16hi, __gcc_v16hi);
688__gcc_v8si __builtin_ia32_punpckhdq256(__gcc_v8si, __gcc_v8si);
689__gcc_v4di __builtin_ia32_punpckhqdq256(__gcc_v4di, __gcc_v4di);
690__gcc_v32qi __builtin_ia32_punpcklbw256(__gcc_v32qi, __gcc_v32qi);
691__gcc_v16hi __builtin_ia32_punpcklwd256(__gcc_v16hi, __gcc_v16hi);
692__gcc_v8si __builtin_ia32_punpckldq256(__gcc_v8si, __gcc_v8si);
693__gcc_v4di __builtin_ia32_punpcklqdq256(__gcc_v4di, __gcc_v4di);
694__gcc_v4di __builtin_ia32_pxor256(__gcc_v4di, __gcc_v4di);
695__gcc_v4di __builtin_ia32_movntdqa256(__gcc_v4di*);
696__gcc_v4sf __builtin_ia32_vbroadcastss_ps(__gcc_v4sf);
699__gcc_v4di __builtin_ia32_vbroadcastsi256(__gcc_v2di);
700__gcc_v4si __builtin_ia32_pblendd128(__gcc_v4si, __gcc_v4si, int);
701__gcc_v8si __builtin_ia32_pblendd256(__gcc_v8si, __gcc_v8si, int);
702__gcc_v32qi __builtin_ia32_pbroadcastb256(__gcc_v16qi);
703__gcc_v16hi __builtin_ia32_pbroadcastw256(__gcc_v8hi);
704__gcc_v8si __builtin_ia32_pbroadcastd256(__gcc_v4si);
705__gcc_v4di __builtin_ia32_pbroadcastq256(__gcc_v2di);
706__gcc_v16qi __builtin_ia32_pbroadcastb128(__gcc_v16qi);
707__gcc_v8hi __builtin_ia32_pbroadcastw128(__gcc_v8hi);
708__gcc_v4si __builtin_ia32_pbroadcastd128(__gcc_v4si);
709__gcc_v2di __builtin_ia32_pbroadcastq128(__gcc_v2di);
710__gcc_v8si __builtin_ia32_permvarsi256(__gcc_v8si, __gcc_v8si);
711__gcc_v4df __builtin_ia32_permdf256(__gcc_v4df, int);
712__gcc_v8sf __builtin_ia32_permvarsf256(__gcc_v8sf, __gcc_v8si);
713__gcc_v4di __builtin_ia32_permdi256(__gcc_v4di, int);
714__gcc_v4di __builtin_ia32_permti256(__gcc_v4di, __gcc_v4di, int);
715__gcc_v2di __builtin_ia32_extract128i256(__gcc_v4di, int);
716__gcc_v4di __builtin_ia32_insert128i256(__gcc_v4di, __gcc_v2di, int);
717__gcc_v8si __builtin_ia32_maskloadd256(const __gcc_v8si*, __gcc_v8si);
718__gcc_v4di __builtin_ia32_maskloadq256(const __gcc_v4di*, __gcc_v4di);
719__gcc_v4si __builtin_ia32_maskloadd(const __gcc_v4si*, __gcc_v4si);
720__gcc_v2di __builtin_ia32_maskloadq(const __gcc_v2di*, __gcc_v2di);
721void __builtin_ia32_maskstored256(__gcc_v8si*, __gcc_v8si, __gcc_v8si);
722void __builtin_ia32_maskstoreq256(__gcc_v4di*, __gcc_v4di, __gcc_v4di);
723void __builtin_ia32_maskstored(__gcc_v4si*, __gcc_v4si, __gcc_v4si);
724void __builtin_ia32_maskstoreq(__gcc_v2di*, __gcc_v2di, __gcc_v2di);
725__gcc_v8si __builtin_ia32_psll__gcc_v8si(__gcc_v8si,__gcc_v8si);
726__gcc_v4si __builtin_ia32_psll__gcc_v4si(__gcc_v4si,__gcc_v4si);
727__gcc_v4di __builtin_ia32_psll__gcc_v4di(__gcc_v4di,__gcc_v4di);
728__gcc_v2di __builtin_ia32_psll__gcc_v2di(__gcc_v2di,__gcc_v2di);
729__gcc_v8si __builtin_ia32_psra__gcc_v8si(__gcc_v8si,__gcc_v8si);
730__gcc_v4si __builtin_ia32_psra__gcc_v4si(__gcc_v4si,__gcc_v4si);
731__gcc_v8si __builtin_ia32_psrl__gcc_v8si(__gcc_v8si,__gcc_v8si);
732__gcc_v4si __builtin_ia32_psrl__gcc_v4si(__gcc_v4si,__gcc_v4si);
733__gcc_v4di __builtin_ia32_psrl__gcc_v4di(__gcc_v4di,__gcc_v4di);
734__gcc_v2di __builtin_ia32_psrl__gcc_v2di(__gcc_v2di,__gcc_v2di);
735__gcc_v2df __builtin_ia32_gathersi__gcc_v2df(__gcc_v2df, const double*,__gcc_v4si,__gcc_v2df,int);
736__gcc_v4df __builtin_ia32_gathersi__gcc_v4df(__gcc_v4df, const double*,__gcc_v4si,__gcc_v4df,int);
737__gcc_v2df __builtin_ia32_gatherdi__gcc_v2df(__gcc_v2df, const double*,__gcc_v2di,__gcc_v2df,int);
738__gcc_v4df __builtin_ia32_gatherdi__gcc_v4df(__gcc_v4df, const double*,__gcc_v4di,__gcc_v4df,int);
739__gcc_v4sf __builtin_ia32_gathersi__gcc_v4sf(__gcc_v4sf, const float*,__gcc_v4si,__gcc_v4sf,int);
740__gcc_v8sf __builtin_ia32_gathersi__gcc_v8sf(__gcc_v8sf, const float*,__gcc_v8si,__gcc_v8sf,int);
741__gcc_v4sf __builtin_ia32_gatherdi__gcc_v4sf(__gcc_v4sf, const float*,__gcc_v2di,__gcc_v4sf,int);
742__gcc_v4sf __builtin_ia32_gatherdi__gcc_v4sf256(__gcc_v4sf, const float*,__gcc_v4di,__gcc_v4sf,int);
743__gcc_v2di __builtin_ia32_gathersi__gcc_v2di(__gcc_v2di, const long long int*,__gcc_v4si,__gcc_v2di,int);
744__gcc_v4di __builtin_ia32_gathersi__gcc_v4di(__gcc_v4di, const long long int*,__gcc_v4si,__gcc_v4di,int);
745__gcc_v2di __builtin_ia32_gatherdi__gcc_v2di(__gcc_v2di, const long long int*,__gcc_v2di,__gcc_v2di,int);
746__gcc_v4di __builtin_ia32_gatherdi__gcc_v4di(__gcc_v4di, const long long int*,__gcc_v4di,__gcc_v4di,int);
747__gcc_v4si __builtin_ia32_gathersi__gcc_v4si(__gcc_v4si, const int*,__gcc_v4si,__gcc_v4si,int);
748__gcc_v8si __builtin_ia32_gathersi__gcc_v8si(__gcc_v8si, const int*,__gcc_v8si,__gcc_v8si,int);
749__gcc_v4si __builtin_ia32_gatherdi__gcc_v4si(__gcc_v4si, const int*,__gcc_v2di,__gcc_v4si,int);
750__gcc_v4si __builtin_ia32_gatherdi__gcc_v4si256(__gcc_v4si, const int*,__gcc_v4di,__gcc_v4si,int);
751__gcc_v2di __builtin_ia32_aesenc128(__gcc_v2di, __gcc_v2di);
752__gcc_v2di __builtin_ia32_aesenclast128(__gcc_v2di, __gcc_v2di);
753__gcc_v2di __builtin_ia32_aesdec128(__gcc_v2di, __gcc_v2di);
754__gcc_v2di __builtin_ia32_aesdeclast128(__gcc_v2di, __gcc_v2di);
755__gcc_v2di __builtin_ia32_aeskeygenassist128(__gcc_v2di, const int);
756__gcc_v2di __builtin_ia32_aesimc128(__gcc_v2di);
757__gcc_v2di __builtin_ia32_pclmulqdq128(__gcc_v2di, __gcc_v2di, const int);
759unsigned long long __builtin_ia32_rdfsbase64();
761unsigned long long __builtin_ia32_rdgsbase64();
762void _writefsbase_u32(unsigned int);
763void _writefsbase_u64(unsigned long long);
764void _writegsbase_u32(unsigned int);
765void _writegsbase_u64(unsigned long long);
766unsigned int __builtin_ia32_rdrand16_step(unsigned short*);
767unsigned int __builtin_ia32_rdrand32_step(unsigned int*);
768unsigned int __builtin_ia32_rdrand64_step(unsigned long long*);
769void __builtin_ia32_movntsd(double*, __gcc_v2df);
770void __builtin_ia32_movntss(float*, __gcc_v4sf);
771__gcc_v2di __builtin_ia32_extrq (__gcc_v2di, __gcc_v16qi);
772__gcc_v2di __builtin_ia32_extrqi(__gcc_v2di, unsigned, unsigned);
773__gcc_v2di __builtin_ia32_insertq(__gcc_v2di, __gcc_v2di);
774__gcc_v2di __builtin_ia32_insertqi(__gcc_v2di, __gcc_v2di, unsigned, unsigned);
775__gcc_v2df __builtin_ia32_vfrczpd(__gcc_v2df);
776__gcc_v4sf __builtin_ia32_vfrczps(__gcc_v4sf);
777__gcc_v2df __builtin_ia32_vfrczsd(__gcc_v2df);
778__gcc_v4sf __builtin_ia32_vfrczss(__gcc_v4sf);
779__gcc_v4df __builtin_ia32_vfrczpd256(__gcc_v4df);
780__gcc_v8sf __builtin_ia32_vfrczps256(__gcc_v8sf);
781__gcc_v2di __builtin_ia32_vpcmov(__gcc_v2di, __gcc_v2di, __gcc_v2di);
782__gcc_v2di __builtin_ia32_vpcmov_v2di(__gcc_v2di, __gcc_v2di, __gcc_v2di);
783__gcc_v4si __builtin_ia32_vpcmov_v4si(__gcc_v4si, __gcc_v4si, __gcc_v4si);
784__gcc_v8hi __builtin_ia32_vpcmov_v8hi(__gcc_v8hi, __gcc_v8hi, __gcc_v8hi);
785__gcc_v16qi __builtin_ia32_vpcmov_v16qi(__gcc_v16qi, __gcc_v16qi, __gcc_v16qi);
786__gcc_v2df __builtin_ia32_vpcmov_v2df(__gcc_v2df, __gcc_v2df, __gcc_v2df);
787__gcc_v4sf __builtin_ia32_vpcmov_v4sf(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf);
788__gcc_v4di __builtin_ia32_vpcmov_v4di256(__gcc_v4di, __gcc_v4di, __gcc_v4di);
789__gcc_v8si __builtin_ia32_vpcmov_v8si256(__gcc_v8si, __gcc_v8si, __gcc_v8si);
790__gcc_v16hi __builtin_ia32_vpcmov_v16hi256(__gcc_v16hi, __gcc_v16hi, __gcc_v16hi);
791__gcc_v32qi __builtin_ia32_vpcmov_v32qi256(__gcc_v32qi, __gcc_v32qi, __gcc_v32qi);
792__gcc_v4df __builtin_ia32_vpcmov___gcc_v4df256(__gcc_v4df, __gcc_v4df, __gcc_v4df);
793__gcc_v8sf __builtin_ia32_vpcmov___gcc_v8sf256(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf);
794__gcc_v16qi __builtin_ia32_vpcomeqb(__gcc_v16qi, __gcc_v16qi);
795__gcc_v8hi __builtin_ia32_vpcomeqw(__gcc_v8hi, __gcc_v8hi);
796__gcc_v4si __builtin_ia32_vpcomeqd(__gcc_v4si, __gcc_v4si);
797__gcc_v2di __builtin_ia32_vpcomeqq(__gcc_v2di, __gcc_v2di);
798__gcc_v16qi __builtin_ia32_vpcomequb(__gcc_v16qi, __gcc_v16qi);
799__gcc_v4si __builtin_ia32_vpcomequd(__gcc_v4si, __gcc_v4si);
800__gcc_v2di __builtin_ia32_vpcomequq(__gcc_v2di, __gcc_v2di);
801__gcc_v8hi __builtin_ia32_vpcomequw(__gcc_v8hi, __gcc_v8hi);
802__gcc_v8hi __builtin_ia32_vpcomeqw(__gcc_v8hi, __gcc_v8hi);
803__gcc_v16qi __builtin_ia32_vpcomfalseb(__gcc_v16qi, __gcc_v16qi);
804__gcc_v4si __builtin_ia32_vpcomfalsed(__gcc_v4si, __gcc_v4si);
805__gcc_v2di __builtin_ia32_vpcomfalseq(__gcc_v2di, __gcc_v2di);
806__gcc_v16qi __builtin_ia32_vpcomfalseub(__gcc_v16qi, __gcc_v16qi);
807__gcc_v4si __builtin_ia32_vpcomfalseud(__gcc_v4si, __gcc_v4si);
808__gcc_v2di __builtin_ia32_vpcomfalseuq(__gcc_v2di, __gcc_v2di);
809__gcc_v8hi __builtin_ia32_vpcomfalseuw(__gcc_v8hi, __gcc_v8hi);
810__gcc_v8hi __builtin_ia32_vpcomfalsew(__gcc_v8hi, __gcc_v8hi);
811__gcc_v16qi __builtin_ia32_vpcomgeb(__gcc_v16qi, __gcc_v16qi);
812__gcc_v4si __builtin_ia32_vpcomged(__gcc_v4si, __gcc_v4si);
813__gcc_v2di __builtin_ia32_vpcomgeq(__gcc_v2di, __gcc_v2di);
814__gcc_v16qi __builtin_ia32_vpcomgeub(__gcc_v16qi, __gcc_v16qi);
815__gcc_v4si __builtin_ia32_vpcomgeud(__gcc_v4si, __gcc_v4si);
816__gcc_v2di __builtin_ia32_vpcomgeuq(__gcc_v2di, __gcc_v2di);
817__gcc_v8hi __builtin_ia32_vpcomgeuw(__gcc_v8hi, __gcc_v8hi);
818__gcc_v8hi __builtin_ia32_vpcomgew(__gcc_v8hi, __gcc_v8hi);
819__gcc_v16qi __builtin_ia32_vpcomgtb(__gcc_v16qi, __gcc_v16qi);
820__gcc_v4si __builtin_ia32_vpcomgtd(__gcc_v4si, __gcc_v4si);
821__gcc_v2di __builtin_ia32_vpcomgtq(__gcc_v2di, __gcc_v2di);
822__gcc_v16qi __builtin_ia32_vpcomgtub(__gcc_v16qi, __gcc_v16qi);
823__gcc_v4si __builtin_ia32_vpcomgtud(__gcc_v4si, __gcc_v4si);
824__gcc_v2di __builtin_ia32_vpcomgtuq(__gcc_v2di, __gcc_v2di);
825__gcc_v8hi __builtin_ia32_vpcomgtuw(__gcc_v8hi, __gcc_v8hi);
826__gcc_v8hi __builtin_ia32_vpcomgtw(__gcc_v8hi, __gcc_v8hi);
827__gcc_v16qi __builtin_ia32_vpcomleb(__gcc_v16qi, __gcc_v16qi);
828__gcc_v4si __builtin_ia32_vpcomled(__gcc_v4si, __gcc_v4si);
829__gcc_v2di __builtin_ia32_vpcomleq(__gcc_v2di, __gcc_v2di);
830__gcc_v16qi __builtin_ia32_vpcomleub(__gcc_v16qi, __gcc_v16qi);
831__gcc_v4si __builtin_ia32_vpcomleud(__gcc_v4si, __gcc_v4si);
832__gcc_v2di __builtin_ia32_vpcomleuq(__gcc_v2di, __gcc_v2di);
833__gcc_v8hi __builtin_ia32_vpcomleuw(__gcc_v8hi, __gcc_v8hi);
834__gcc_v8hi __builtin_ia32_vpcomlew(__gcc_v8hi, __gcc_v8hi);
835__gcc_v16qi __builtin_ia32_vpcomltb(__gcc_v16qi, __gcc_v16qi);
836__gcc_v4si __builtin_ia32_vpcomltd(__gcc_v4si, __gcc_v4si);
837__gcc_v2di __builtin_ia32_vpcomltq(__gcc_v2di, __gcc_v2di);
838__gcc_v16qi __builtin_ia32_vpcomltub(__gcc_v16qi, __gcc_v16qi);
839__gcc_v4si __builtin_ia32_vpcomltud(__gcc_v4si, __gcc_v4si);
840__gcc_v2di __builtin_ia32_vpcomltuq(__gcc_v2di, __gcc_v2di);
841__gcc_v8hi __builtin_ia32_vpcomltuw(__gcc_v8hi, __gcc_v8hi);
842__gcc_v8hi __builtin_ia32_vpcomltw(__gcc_v8hi, __gcc_v8hi);
843__gcc_v16qi __builtin_ia32_vpcomneb(__gcc_v16qi, __gcc_v16qi);
844__gcc_v4si __builtin_ia32_vpcomned(__gcc_v4si, __gcc_v4si);
845__gcc_v2di __builtin_ia32_vpcomneq(__gcc_v2di, __gcc_v2di);
846__gcc_v16qi __builtin_ia32_vpcomneub(__gcc_v16qi, __gcc_v16qi);
847__gcc_v4si __builtin_ia32_vpcomneud(__gcc_v4si, __gcc_v4si);
848__gcc_v2di __builtin_ia32_vpcomneuq(__gcc_v2di, __gcc_v2di);
849__gcc_v8hi __builtin_ia32_vpcomneuw(__gcc_v8hi, __gcc_v8hi);
850__gcc_v8hi __builtin_ia32_vpcomnew(__gcc_v8hi, __gcc_v8hi);
851__gcc_v16qi __builtin_ia32_vpcomtrueb(__gcc_v16qi, __gcc_v16qi);
852__gcc_v4si __builtin_ia32_vpcomtrued(__gcc_v4si, __gcc_v4si);
853__gcc_v2di __builtin_ia32_vpcomtrueq(__gcc_v2di, __gcc_v2di);
854__gcc_v16qi __builtin_ia32_vpcomtrueub(__gcc_v16qi, __gcc_v16qi);
855__gcc_v4si __builtin_ia32_vpcomtrueud(__gcc_v4si, __gcc_v4si);
856__gcc_v2di __builtin_ia32_vpcomtrueuq(__gcc_v2di, __gcc_v2di);
857__gcc_v8hi __builtin_ia32_vpcomtrueuw(__gcc_v8hi, __gcc_v8hi);
858__gcc_v8hi __builtin_ia32_vpcomtruew(__gcc_v8hi, __gcc_v8hi);
859__gcc_v4si __builtin_ia32_vphaddbd(__gcc_v16qi);
860__gcc_v2di __builtin_ia32_vphaddbq(__gcc_v16qi);
861__gcc_v8hi __builtin_ia32_vphaddbw(__gcc_v16qi);
862__gcc_v2di __builtin_ia32_vphadddq(__gcc_v4si);
863__gcc_v4si __builtin_ia32_vphaddubd(__gcc_v16qi);
864__gcc_v2di __builtin_ia32_vphaddubq(__gcc_v16qi);
865__gcc_v8hi __builtin_ia32_vphaddubw(__gcc_v16qi);
866__gcc_v2di __builtin_ia32_vphaddudq(__gcc_v4si);
867__gcc_v4si __builtin_ia32_vphadduwd(__gcc_v8hi);
868__gcc_v2di __builtin_ia32_vphadduwq(__gcc_v8hi);
869__gcc_v4si __builtin_ia32_vphaddwd(__gcc_v8hi);
870__gcc_v2di __builtin_ia32_vphaddwq(__gcc_v8hi);
871__gcc_v8hi __builtin_ia32_vphsubbw(__gcc_v16qi);
872__gcc_v2di __builtin_ia32_vphsubdq(__gcc_v4si);
873__gcc_v4si __builtin_ia32_vphsubwd(__gcc_v8hi);
874__gcc_v4si __builtin_ia32_vpmacsdd(__gcc_v4si, __gcc_v4si, __gcc_v4si);
875__gcc_v2di __builtin_ia32_vpmacsdqh(__gcc_v4si, __gcc_v4si, __gcc_v2di);
876__gcc_v2di __builtin_ia32_vpmacsdql(__gcc_v4si, __gcc_v4si, __gcc_v2di);
877__gcc_v4si __builtin_ia32_vpmacssdd(__gcc_v4si, __gcc_v4si, __gcc_v4si);
878__gcc_v2di __builtin_ia32_vpmacssdqh(__gcc_v4si, __gcc_v4si, __gcc_v2di);
879__gcc_v2di __builtin_ia32_vpmacssdql(__gcc_v4si, __gcc_v4si, __gcc_v2di);
880__gcc_v4si __builtin_ia32_vpmacsswd(__gcc_v8hi, __gcc_v8hi, __gcc_v4si);
881__gcc_v8hi __builtin_ia32_vpmacssww(__gcc_v8hi, __gcc_v8hi, __gcc_v8hi);
882__gcc_v4si __builtin_ia32_vpmacswd(__gcc_v8hi, __gcc_v8hi, __gcc_v4si);
883__gcc_v8hi __builtin_ia32_vpmacsww(__gcc_v8hi, __gcc_v8hi, __gcc_v8hi);
884__gcc_v4si __builtin_ia32_vpmadcsswd(__gcc_v8hi, __gcc_v8hi, __gcc_v4si);
885__gcc_v4si __builtin_ia32_vpmadcswd(__gcc_v8hi, __gcc_v8hi, __gcc_v4si);
886__gcc_v16qi __builtin_ia32_vpperm(__gcc_v16qi, __gcc_v16qi, __gcc_v16qi);
887__gcc_v16qi __builtin_ia32_vprotb(__gcc_v16qi, __gcc_v16qi);
888__gcc_v4si __builtin_ia32_vprotd(__gcc_v4si, __gcc_v4si);
889__gcc_v2di __builtin_ia32_vprotq(__gcc_v2di, __gcc_v2di);
890__gcc_v8hi __builtin_ia32_vprotw(__gcc_v8hi, __gcc_v8hi);
891__gcc_v16qi __builtin_ia32_vpshab(__gcc_v16qi, __gcc_v16qi);
892__gcc_v4si __builtin_ia32_vpshad(__gcc_v4si, __gcc_v4si);
893__gcc_v2di __builtin_ia32_vpshaq(__gcc_v2di, __gcc_v2di);
894__gcc_v8hi __builtin_ia32_vpshaw(__gcc_v8hi, __gcc_v8hi);
895__gcc_v16qi __builtin_ia32_vpshlb(__gcc_v16qi, __gcc_v16qi);
896__gcc_v4si __builtin_ia32_vpshld(__gcc_v4si, __gcc_v4si);
897__gcc_v2di __builtin_ia32_vpshlq(__gcc_v2di, __gcc_v2di);
898__gcc_v8hi __builtin_ia32_vpshlw(__gcc_v8hi, __gcc_v8hi);
899__gcc_v2df __builtin_ia32_fmaddpd(__gcc_v2df, __gcc_v2df, __gcc_v2df);
900__gcc_v4sf __builtin_ia32_fmaddps(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf);
901__gcc_v2df __builtin_ia32_fmaddsd(__gcc_v2df, __gcc_v2df, __gcc_v2df);
902__gcc_v4sf __builtin_ia32_fmaddss(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf);
903__gcc_v2df __builtin_ia32_fmsubpd(__gcc_v2df, __gcc_v2df, __gcc_v2df);
904__gcc_v4sf __builtin_ia32_fmsubps(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf);
905__gcc_v2df __builtin_ia32_fmsubsd(__gcc_v2df, __gcc_v2df, __gcc_v2df);
906__gcc_v4sf __builtin_ia32_fmsubss(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf);
907__gcc_v2df __builtin_ia32_fnmaddpd(__gcc_v2df, __gcc_v2df, __gcc_v2df);
908__gcc_v4sf __builtin_ia32_fnmaddps(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf);
909__gcc_v2df __builtin_ia32_fnmaddsd(__gcc_v2df, __gcc_v2df, __gcc_v2df);
910__gcc_v4sf __builtin_ia32_fnmaddss(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf);
911__gcc_v2df __builtin_ia32_fnmsubpd(__gcc_v2df, __gcc_v2df, __gcc_v2df);
912__gcc_v4sf __builtin_ia32_fnmsubps(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf);
913__gcc_v2df __builtin_ia32_fnmsubsd(__gcc_v2df, __gcc_v2df, __gcc_v2df);
914__gcc_v4sf __builtin_ia32_fnmsubss(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf);
915__gcc_v2df __builtin_ia32_fmaddsubpd (__gcc_v2df, __gcc_v2df, __gcc_v2df);
916__gcc_v4sf __builtin_ia32_fmaddsubps (__gcc_v4sf, __gcc_v4sf, __gcc_v4sf);
917__gcc_v2df __builtin_ia32_fmsubaddpd (__gcc_v2df, __gcc_v2df, __gcc_v2df);
918__gcc_v4sf __builtin_ia32_fmsubaddps (__gcc_v4sf, __gcc_v4sf, __gcc_v4sf);
919__gcc_v4df __builtin_ia32_fmaddpd256(__gcc_v4df, __gcc_v4df, __gcc_v4df);
920__gcc_v8sf __builtin_ia32_fmaddps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf);
921__gcc_v4df __builtin_ia32_fmsubpd256(__gcc_v4df, __gcc_v4df, __gcc_v4df);
922__gcc_v8sf __builtin_ia32_fmsubps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf);
923__gcc_v4df __builtin_ia32_fnmaddpd256(__gcc_v4df, __gcc_v4df, __gcc_v4df);
924__gcc_v8sf __builtin_ia32_fnmaddps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf);
925__gcc_v4df __builtin_ia32_fnmsubpd256(__gcc_v4df, __gcc_v4df, __gcc_v4df);
926__gcc_v8sf __builtin_ia32_fnmsubps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf);
927__gcc_v4df __builtin_ia32_fmaddsubpd256(__gcc_v4df, __gcc_v4df, __gcc_v4df);
928__gcc_v8sf __builtin_ia32_fmaddsubps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf);
929__gcc_v4df __builtin_ia32_fmsubaddpd256(__gcc_v4df, __gcc_v4df, __gcc_v4df);
930__gcc_v8sf __builtin_ia32_fmsubaddps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf);
934//void* __builtin_ia32_llwpcb16(void);
935//void* __builtin_ia32_llwpcb32(void);
936//void* __builtin_ia32_llwpcb64(void);
937void __builtin_ia32_lwpval16(unsigned short, unsigned int, unsigned short);
938void __builtin_ia32_lwpval32(unsigned, unsigned, unsigned);
939void __builtin_ia32_lwpval64(unsigned long long, unsigned, unsigned);
940unsigned char __builtin_ia32_lwpins16(unsigned short, unsigned int, unsigned short);
941unsigned char __builtin_ia32_lwpins32(unsigned, unsigned, unsigned);
942unsigned char __builtin_ia32_lwpins64(unsigned long long, unsigned, unsigned);
943unsigned __builtin_ia32_bextr_u32(unsigned, unsigned);
944unsigned long long __builtin_ia32_bextr_u64(unsigned long long, unsigned long long);
945unsigned int _bzhi_u32(unsigned int, unsigned int);
946unsigned int _pdep_u32(unsigned int, unsigned int);
947unsigned int _pext_u32(unsigned int, unsigned int);
948unsigned long long _bzhi_u64(unsigned long long, unsigned long long);
949unsigned long long _pdep_u64(unsigned long long, unsigned long long);
950unsigned long long _pext_u64(unsigned long long, unsigned long long);
951unsigned short __builtin_ia32_lzcnt_16(unsigned short);
952unsigned __builtin_ia32_lzcnt_u32(unsigned);
953unsigned long long __builtin_ia32_lzcnt_u64(unsigned long long);
954unsigned __builtin_ia32_bextri_u32(unsigned, unsigned);
955unsigned long long __builtin_ia32_bextri_u64(unsigned long long, unsigned long long);
957__gcc_v8qi __builtin_ia32_pavgusb(__gcc_v8qi, __gcc_v8qi);
958__gcc_v2si __builtin_ia32_pf2id(__gcc_v2sf);
959__gcc_v2sf __builtin_ia32_pfacc(__gcc_v2sf, __gcc_v2sf);
960__gcc_v2sf __builtin_ia32_pfadd(__gcc_v2sf, __gcc_v2sf);
961__gcc_v2si __builtin_ia32_pfcmpeq(__gcc_v2sf, __gcc_v2sf);
962__gcc_v2si __builtin_ia32_pfcmpge(__gcc_v2sf, __gcc_v2sf);
963__gcc_v2si __builtin_ia32_pfcmpgt(__gcc_v2sf, __gcc_v2sf);
964__gcc_v2sf __builtin_ia32_pfmax(__gcc_v2sf, __gcc_v2sf);
965__gcc_v2sf __builtin_ia32_pfmin(__gcc_v2sf, __gcc_v2sf);
966__gcc_v2sf __builtin_ia32_pfmul(__gcc_v2sf, __gcc_v2sf);
967__gcc_v2sf __builtin_ia32_pfrcp(__gcc_v2sf);
968__gcc_v2sf __builtin_ia32_pfrcpit1(__gcc_v2sf, __gcc_v2sf);
969__gcc_v2sf __builtin_ia32_pfrcpit2(__gcc_v2sf, __gcc_v2sf);
970__gcc_v2sf __builtin_ia32_pfrsqrt(__gcc_v2sf);
971__gcc_v2sf __builtin_ia32_pfrsqrtit1(__gcc_v2sf, __gcc_v2sf);
972__gcc_v2sf __builtin_ia32_pfsub(__gcc_v2sf, __gcc_v2sf);
973__gcc_v2sf __builtin_ia32_pfsubr(__gcc_v2sf, __gcc_v2sf);
974__gcc_v2sf __builtin_ia32_pi2fd(__gcc_v2si);
975__gcc_v4hi __builtin_ia32_pmulhrw(__gcc_v4hi, __gcc_v4hi);
976__gcc_v2si __builtin_ia32_pf2iw(__gcc_v2sf);
977__gcc_v2sf __builtin_ia32_pfnacc(__gcc_v2sf, __gcc_v2sf);
978__gcc_v2sf __builtin_ia32_pfpnacc(__gcc_v2sf, __gcc_v2sf);
979__gcc_v2sf __builtin_ia32_pi2fw(__gcc_v2si);
980__gcc_v2sf __builtin_ia32_pswapdsf(__gcc_v2sf);
981__gcc_v2si __builtin_ia32_pswapdsi(__gcc_v2si);
982
983// unknown!
984
985__gcc_v4sf __builtin_ia32_cmpnltss(__gcc_v4sf, __gcc_v4sf);
1161double __builtin_ia32_vec_ext_v2df(__gcc_v2df, int);
1163float __builtin_ia32_vec_ext_v4sf(__gcc_v4sf, int);
1164int __builtin_ia32_vec_ext_v4si(__gcc_v4si, int);
1165// clang-format on
__gcc_v2df __builtin_ia32_gatherdi__gcc_v2df(__gcc_v2df, const double *, __gcc_v2di, __gcc_v2df, int)
__gcc_v2df __builtin_ia32_cmplepd(__gcc_v2df, __gcc_v2df)
__gcc_v2df __builtin_ia32_movddup(__gcc_v2df)
__gcc_v2di __builtin_ia32_vpcomgtuq(__gcc_v2di, __gcc_v2di)
__gcc_v2df __builtin_ia32_fnmsubsd(__gcc_v2df, __gcc_v2df, __gcc_v2df)
int __builtin_ia32_phsubbw()
__gcc_v4df __builtin_ia32_permdf256(__gcc_v4df, int)
__gcc_v4sf __builtin_ia32_sqrtss(__gcc_v4sf)
void __builtin_ia32_movntps(float *, __gcc_v4sf)
__gcc_v4di __builtin_ia32_psrlqi256(__gcc_v4di, int)
__gcc_v4di __builtin_ia32_psllqi256(__gcc_v4di, int)
__gcc_v4si __builtin_ia32_cvttpd2dq256(__gcc_v4df)
int __builtin_ia32_comueqss()
__gcc_v16hi __builtin_ia32_pmulhrsw256(__gcc_v16hi, __gcc_v16hi)
__gcc_v4sf __builtin_ia32_roundss(__gcc_v4sf, __gcc_v4sf, int)
__gcc_v4di __builtin_ia32_gathersi__gcc_v4di(__gcc_v4di, const long long int *, __gcc_v4si, __gcc_v4di, int)
int __builtin_ia32_protq()
__gcc_v2df __builtin_ia32_cvtpi2pd(__gcc_v2si)
__gcc_v2di __builtin_ia32_aesimc128(__gcc_v2di)
__gcc_v8hi __builtin_ia32_pminuw128(__gcc_v8hi, __gcc_v8hi)
__gcc_v2df __builtin_ia32_cmpngepd(__gcc_v2df, __gcc_v2df)
__gcc_v2df __builtin_ia32_fmaddsd(__gcc_v2df, __gcc_v2df, __gcc_v2df)
int __builtin_ia32_movmskpd256(__gcc_v4df)
__gcc_v32qi __builtin_ia32_paddb256(__gcc_v32qi, __gcc_v32qi)
int __builtin_ia32_pcomgeq()
__gcc_v2df __builtin_ia32_cmpneqsd(__gcc_v2df, __gcc_v2df)
void __builtin_ia32_mwait(unsigned int, unsigned int)
void __builtin_ia32_mfence(void)
__gcc_v4di __builtin_ia32_andsi256(__gcc_v4di, __gcc_v4di)
__gcc_v32qi __builtin_ia32_psubsb256(__gcc_v32qi, __gcc_v32qi)
float __builtin_ia32_vec_ext_v4sf(__gcc_v4sf, int)
__gcc_v8si __builtin_ia32_pmaxud256(__gcc_v8si, __gcc_v8si)
__gcc_v8sf __builtin_ia32_sqrtps256(__gcc_v8sf)
__gcc_v2di __builtin_ia32_pand128(__gcc_v2di, __gcc_v2di)
int __builtin_ia32_comltps()
__gcc_v8hi __builtin_ia32_vpcomtruew(__gcc_v8hi, __gcc_v8hi)
void __builtin_ia32_maskstoreq(__gcc_v2di *, __gcc_v2di, __gcc_v2di)
__gcc_v16hi __builtin_ia32_psadbw256(__gcc_v32qi, __gcc_v32qi)
int __builtin_ia32_pcomtrueq()
__gcc_v4si __builtin_ia32_vpmacsdd(__gcc_v4si, __gcc_v4si, __gcc_v4si)
__gcc_v16qi __builtin_ia32_psubb128(__gcc_v16qi, __gcc_v16qi)
__gcc_v8hi __builtin_ia32_vpcomgtuw(__gcc_v8hi, __gcc_v8hi)
__gcc_v4sf __builtin_ia32_cmpnleps(__gcc_v4sf, __gcc_v4sf)
__gcc_v4sf __builtin_ia32_orps(__gcc_v4sf, __gcc_v4sf)
void __builtin_ia32_clflush(const void *)
int __builtin_ia32_pcomgew()
__gcc_v4hi __builtin_ia32_psubsw(__gcc_v4hi, __gcc_v4hi)
__gcc_v32qi __builtin_ia32_packuswb256(__gcc_v16hi, __gcc_v16hi)
__gcc_v4hi __builtin_ia32_pminsw(__gcc_v4hi, __gcc_v4hi)
__gcc_v8qi __builtin_ia32_paddusb(__gcc_v8qi, __gcc_v8qi)
int __builtin_ia32_pcomleuq()
unsigned char __builtin_ia32_lwpins64(unsigned long long, unsigned, unsigned)
__gcc_v2di __builtin_ia32_maskloadq(const __gcc_v2di *, __gcc_v2di)
int __builtin_ia32_pcmpistric128(__gcc_v16qi, __gcc_v16qi, const int)
int __builtin_ia32_pcomleud()
__gcc_v4hi __builtin_ia32_psrawi(__gcc_v4hi, int)
int __builtin_ia32_comgtps()
int __builtin_ia32_frczss()
unsigned __builtin_ia32_rdgsbase32()
__gcc_v8qi __builtin_ia32_psubsb(__gcc_v8qi, __gcc_v8qi)
void __builtin_ia32_movntq(void *,...)
__gcc_v4di __builtin_ia32_pmuldq256(__gcc_v8si, __gcc_v8si)
__gcc_v8sf __builtin_ia32_ps256_ps(__gcc_v4sf)
__gcc_v16hi __builtin_ia32_phaddsw256(__gcc_v16hi, __gcc_v16hi)
__gcc_v4si __builtin_ia32_vpmadcswd(__gcc_v8hi, __gcc_v8hi, __gcc_v4si)
__gcc_v16qi __builtin_ia32_vpcomequb(__gcc_v16qi, __gcc_v16qi)
int __builtin_ia32_pmadcsswd()
unsigned long long __builtin_ia32_bextri_u64(unsigned long long, unsigned long long)
int __builtin_ia32_pcomgtuw()
__gcc_v4sf __builtin_ia32_cmpgeps(__gcc_v4sf, __gcc_v4sf)
__gcc_v4sf __builtin_ia32_ps_ps256(__gcc_v8sf)
void __builtin_ia32_movnti(int *, int)
int __builtin_ia32_ptestnzc128(__gcc_v2di, __gcc_v2di)
long long __builtin_ia32_cvttsd2si64(__gcc_v2df)
int __builtin_ia32_pcomtrueuw()
int __builtin_ia32_comleps()
__gcc_v4sf __builtin_ia32_movhlps(__gcc_v4sf, __gcc_v4sf)
__gcc_v4hi __builtin_ia32_psignw(__gcc_v4hi, __gcc_v4hi)
__gcc_v4si __builtin_ia32_vextractf128_si256(__gcc_v8si, int)
unsigned long long __builtin_ia32_rdgsbase64()
__gcc_v4df __builtin_ia32_cvtps2pd256(__gcc_v4sf)
__gcc_v2si __builtin_ia32_pfcmpge(__gcc_v2sf, __gcc_v2sf)
__gcc_v32qi __builtin_ia32_pcmpeqb256(__gcc_v32qi, __gcc_v32qi)
__gcc_v8si __builtin_ia32_psrl__gcc_v8si(__gcc_v8si, __gcc_v8si)
__gcc_v2sf __builtin_ia32_pi2fd(__gcc_v2si)
__gcc_v4df __builtin_ia32_orpd256(__gcc_v4df, __gcc_v4df)
__gcc_v16qi __builtin_ia32_mpsadbw128(__gcc_v16qi, __gcc_v16qi, int)
__gcc_v8hi __builtin_ia32_pmulhrsw128(__gcc_v8hi, __gcc_v8hi)
__gcc_v32qi __builtin_ia32_pmaxub256(__gcc_v32qi, __gcc_v32qi)
int __builtin_ia32_pcomltud()
int __builtin_ia32_comlepd()
int __builtin_ia32_pcomfalseub()
__gcc_v16hi __builtin_ia32_pcmpgtw256(__gcc_v16hi, __gcc_v16hi)
__gcc_v32qi __builtin_ia32_lddqu256(const char *)
__gcc_v4si __builtin_ia32_pmovzxwd128(__gcc_v8hi)
int __builtin_ia32_vtestzps(__gcc_v4sf, __gcc_v4sf)
int __builtin_ia32_pextrw(__gcc_v4hi, int)
int __builtin_ia32_pshab()
__gcc_v4di __builtin_ia32_psllq256(__gcc_v4di, __gcc_v2di)
void __builtin_ia32_movntss(float *, __gcc_v4sf)
__gcc_v4sf __builtin_ia32_movsldup(__gcc_v4sf)
int __builtin_ia32_pcomequd()
__gcc_v8sf __builtin_ia32_roundps256(__gcc_v8sf, int)
__gcc_v4sf __builtin_ia32_cvtpi2ps(__gcc_v4sf, __gcc_v2si)
__gcc_v4sf __builtin_ia32_gathersi__gcc_v4sf(__gcc_v4sf, const float *, __gcc_v4si, __gcc_v4sf, int)
int __builtin_ia32_pcmpistrio128(__gcc_v16qi, __gcc_v16qi, const int)
int __builtin_ia32_pcomnequb()
__gcc_v8si __builtin_ia32_psradi256(__gcc_v8si, int)
__gcc_v8hi __builtin_ia32_vpcomequw(__gcc_v8hi, __gcc_v8hi)
__gcc_v4df __builtin_ia32_vbroadcastsd_pd256(__gcc_v2df)
__gcc_v2si __builtin_ia32_pfcmpeq(__gcc_v2sf, __gcc_v2sf)
__gcc_v16qi __builtin_ia32_vpcomfalseub(__gcc_v16qi, __gcc_v16qi)
__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)
__gcc_v4hi __builtin_ia32_packssdw(__gcc_v2si, __gcc_v2si)
__gcc_v8sf __builtin_ia32_fnmaddps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf)
int __builtin_ia32_comneqps()
__gcc_v16qi __builtin_ia32_punpcklbw128(__gcc_v16qi, __gcc_v16qi)
__gcc_v4df __builtin_ia32_blendpd256(__gcc_v4df, __gcc_v4df, int)
__gcc_v8sf __builtin_ia32_movsldup256(__gcc_v8sf)
int __builtin_ia32_vtestzps256(__gcc_v8sf, __gcc_v8sf)
__gcc_v8sf __builtin_ia32_haddps256(__gcc_v8sf, __gcc_v8sf)
__gcc_v8si __builtin_ia32_psll__gcc_v8si(__gcc_v8si, __gcc_v8si)
__gcc_v4si __builtin_ia32_vphaddbd(__gcc_v16qi)
__gcc_v8qi __builtin_ia32_pabsb(__gcc_v8qi)
__gcc_v2sf __builtin_ia32_pfrcpit1(__gcc_v2sf, __gcc_v2sf)
__gcc_v2si __builtin_ia32_psubd(__gcc_v2si, __gcc_v2si)
__gcc_v16hi __builtin_ia32_pbroadcastw256(__gcc_v8hi)
__gcc_v4hi __builtin_ia32_psraw(__gcc_v4hi, __gcc_v4hi)
int __builtin_ia32_protd()
__gcc_v4si __builtin_ia32_vphadduwd(__gcc_v8hi)
__gcc_v16qi __builtin_ia32_vpcomgtb(__gcc_v16qi, __gcc_v16qi)
__gcc_v16hi __builtin_ia32_psrawi256(__gcc_v16hi, int)
__gcc_v8si __builtin_ia32_pmovsxbd256(__gcc_v16qi)
int __builtin_ia32_pcomeqd()
int __builtin_ia32_comisdge(__gcc_v2df, __gcc_v2df)
__gcc_v4si __builtin_ia32_gatherdi__gcc_v4si(__gcc_v4si, const int *, __gcc_v2di, __gcc_v4si, int)
__gcc_v2di __builtin_ia32_pmuldq128(__gcc_v4si, __gcc_v4si)
int __builtin_ia32_comordss()
__gcc_v16qi __builtin_ia32_vpcomneub(__gcc_v16qi, __gcc_v16qi)
int __builtin_ia32_ucomile(__gcc_v4sf, __gcc_v4sf)
__gcc_v2df __builtin_ia32_cmpeqpd(__gcc_v2df, __gcc_v2df)
__gcc_v2df __builtin_ia32_unpcklpd(__gcc_v2df, __gcc_v2df)
__gcc_v8qi __builtin_ia32_punpcklbw(__gcc_v8qi, __gcc_v8qi)
__gcc_v4si __builtin_ia32_pmovsxbd128(__gcc_v16qi)
__gcc_v2di __builtin_ia32_gatherdi__gcc_v2di(__gcc_v2di, const long long int *, __gcc_v2di, __gcc_v2di, int)
int __builtin_ia32_pmovmskb256(__gcc_v32qi)
__gcc_v2df __builtin_ia32_blendpd(__gcc_v2df, __gcc_v2df, int)
__gcc_v16qi __builtin_ia32_pshufb128(__gcc_v16qi, __gcc_v16qi)
void __builtin_ia32_maskstorepd(__gcc_v2df *, __gcc_v2di, __gcc_v2df)
__gcc_v32qi __builtin_ia32_pcmpgtb256(__gcc_v32qi, __gcc_v32qi)
__gcc_v16hi __builtin_ia32_paddsw256(__gcc_v16hi, __gcc_v16hi)
__gcc_v32qi __builtin_ia32_pbroadcastb256(__gcc_v16qi)
__gcc_v32qi __builtin_ia32_packsswb256(__gcc_v16hi, __gcc_v16hi)
__gcc_v2df __builtin_ia32_vpermilvarpd(__gcc_v2df, __gcc_v2di)
void __builtin_ia32_llwpcb16(void *)
void __builtin_ia32_pause()
__gcc_v4df __builtin_ia32_vpermilvarpd256(__gcc_v4df, __gcc_v4di)
int __builtin_ia32_comneqpd()
__gcc_v4si __builtin_ia32_vpcomneud(__gcc_v4si, __gcc_v4si)
__gcc_v2si __builtin_ia32_psrad(__gcc_v2si, __gcc_v2si)
__gcc_v4df __builtin_ia32_andnpd256(__gcc_v4df, __gcc_v4df)
int __builtin_ia32_comltsd()
__gcc_v4si __builtin_ia32_phsubd128(__gcc_v4si, __gcc_v4si)
__gcc_v4hi __builtin_ia32_pavgw(__gcc_v4hi, __gcc_v4hi)
__gcc_v4df __builtin_ia32_vbroadcastf128_pd256(const __gcc_v2df *)
__gcc_v4df __builtin_ia32_xorpd256(__gcc_v4df, __gcc_v4df)
__gcc_v4hi __builtin_ia32_punpcklwd(__gcc_v4hi, __gcc_v4hi)
int __builtin_ia32_vtestcps256(__gcc_v8sf, __gcc_v8sf)
int __builtin_ia32_comungesd()
__gcc_v4sf __builtin_ia32_vbroadcastss(const float *)
__gcc_v2si __builtin_ia32_pf2iw(__gcc_v2sf)
__gcc_v4sf __builtin_ia32_blendps(__gcc_v4sf, __gcc_v4sf, int)
__gcc_v8sf __builtin_ia32_fmsubaddps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf)
int __builtin_ia32_pcomgtuq()
__gcc_v16hi __builtin_ia32_punpcklwd256(__gcc_v16hi, __gcc_v16hi)
__gcc_v16hi __builtin_ia32_vpcmov_v16hi256(__gcc_v16hi, __gcc_v16hi, __gcc_v16hi)
__gcc_v2di __builtin_ia32_vphsubdq(__gcc_v4si)
__gcc_v8qi __builtin_ia32_packsswb(__gcc_v4hi, __gcc_v4hi)
int __builtin_ia32_comunltps()
double __builtin_ia32_vec_ext_v2df(__gcc_v2df, int)
int __builtin_ia32_comltss()
__gcc_v4sf __builtin_ia32_rsqrtps(__gcc_v4sf)
__gcc_v2df __builtin_ia32_cvtsi642sd(__gcc_v2df, long long)
__gcc_v4si __builtin_ia32_pbroadcastd128(__gcc_v4si)
int __builtin_ia32_comunltpd()
int __builtin_ia32_pcomneqb()
unsigned __builtin_ia32_crc32qi(unsigned, unsigned char)
int __builtin_ia32_comfalseps()
__gcc_v2sf __builtin_ia32_pfrcp(__gcc_v2sf)
__gcc_v2si __builtin_ia32_psrld(__gcc_v2si, __gcc_v2si)
__gcc_v4df __builtin_ia32_vinsertf128_pd256(__gcc_v4df, __gcc_v2df, int)
int __builtin_ia32_vtestnzcpd256(__gcc_v4df, __gcc_v4df)
__gcc_v4df __builtin_ia32_subpd256(__gcc_v4df, __gcc_v4df)
__gcc_v8sf __builtin_ia32_rsqrtps256(__gcc_v8sf)
void __builtin_ia32_femms()
__gcc_v4si __builtin_ia32_loadlv4si(const __gcc_v2si *)
__gcc_v2si __builtin_ia32_punpckhdq(__gcc_v2si, __gcc_v2si)
int __builtin_ia32_comgtss()
__gcc_v4sf __builtin_ia32_cmpngeps(__gcc_v4sf, __gcc_v4sf)
__gcc_v4si __builtin_ia32_gathersi__gcc_v4si(__gcc_v4si, const int *, __gcc_v4si, __gcc_v4si, int)
__gcc_v2di __builtin_ia32_por128(__gcc_v2di, __gcc_v2di)
int __builtin_ia32_phaddubd()
__gcc_v4sf __builtin_ia32_maxss(__gcc_v4sf, __gcc_v4sf)
__gcc_v16hi __builtin_ia32_pabsw256(__gcc_v16hi)
__gcc_v2si __builtin_ia32_pcmpeqd(__gcc_v2si, __gcc_v2si)
int __builtin_ia32_comieq(__gcc_v4sf, __gcc_v4sf)
int __builtin_ia32_ptestc256(__gcc_v4di, __gcc_v4di)
__gcc_v16hi __builtin_ia32_psrlwi256(__gcc_v16hi, int)
__gcc_v8si __builtin_ia32_psubd256(__gcc_v8si, __gcc_v8si)
__gcc_v8sf __builtin_ia32_divps256(__gcc_v8sf, __gcc_v8sf)
__gcc_v4di __builtin_ia32_gatherdi__gcc_v4di(__gcc_v4di, const long long int *, __gcc_v4di, __gcc_v4di, int)
__gcc_v16qi __builtin_ia32_pavgb128(__gcc_v16qi, __gcc_v16qi)
__gcc_v2df __builtin_ia32_maskloadpd(const __gcc_v2df *, __gcc_v2di)
__gcc_v8hi __builtin_ia32_vpcomnew(__gcc_v8hi, __gcc_v8hi)
__gcc_v2df __builtin_ia32_fmsubsd(__gcc_v2df, __gcc_v2df, __gcc_v2df)
__gcc_v2sf __builtin_ia32_pfadd(__gcc_v2sf, __gcc_v2sf)
__gcc_v16hi __builtin_ia32_phsubw256(__gcc_v16hi, __gcc_v16hi)
void __builtin_ia32_maskstorepd256(__gcc_v4df *, __gcc_v4di, __gcc_v4df)
__gcc_v8hi __builtin_ia32_vpcomfalseuw(__gcc_v8hi, __gcc_v8hi)
__gcc_v4df __builtin_ia32_unpcklpd256(__gcc_v4df, __gcc_v4df)
__gcc_v2df __builtin_ia32_cmpunordsd(__gcc_v2df, __gcc_v2df)
__gcc_v4sf __builtin_ia32_vextractf128_ps256(__gcc_v8sf, int)
__gcc_v2si __builtin_ia32_psrldi(__gcc_v2si, int)
__gcc_v16hi __builtin_ia32_psubsw256(__gcc_v16hi, __gcc_v16hi)
__gcc_v4sf __builtin_ia32_xorps(__gcc_v4sf, __gcc_v4sf)
__gcc_v2df __builtin_ia32_cmpordsd(__gcc_v2df, __gcc_v2df)
__gcc_v16hi __builtin_ia32_pmulhuw256(__gcc_v16hi, __gcc_v16hi)
__gcc_v2df __builtin_ia32_addsd(__gcc_v2df, __gcc_v2df)
__gcc_v16hi __builtin_ia32_psignw256(__gcc_v16hi, __gcc_v16hi)
int __builtin_ia32_comuneqps()
__gcc_v2df __builtin_ia32_loadlpd(__gcc_v2df, const double *)
int __builtin_ia32_cvtss2si(__gcc_v4sf)
__gcc_v16qi __builtin_ia32_vpcomgeub(__gcc_v16qi, __gcc_v16qi)
__gcc_v8si __builtin_ia32_paddd256(__gcc_v8si, __gcc_v8si)
__gcc_v4sf __builtin_ia32_cmpps(__gcc_v4sf, __gcc_v4sf, int)
__gcc_v2si __builtin_ia32_pabsd(__gcc_v2si)
__gcc_v8hi __builtin_ia32_pcmpeqw128(__gcc_v8hi, __gcc_v8hi)
__gcc_v8sf __builtin_ia32_andnps256(__gcc_v8sf, __gcc_v8sf)
__gcc_v4sf __builtin_ia32_cmpeqss(__gcc_v4sf, __gcc_v4sf)
int __builtin_ia32_pcomgtb()
__gcc_v4di __builtin_ia32_permti256(__gcc_v4di, __gcc_v4di, int)
__gcc_v8sf __builtin_ia32_cmpps256(__gcc_v8sf, __gcc_v8sf, int)
__gcc_v8hi __builtin_ia32_psrlw128(__gcc_v8hi, __gcc_v8hi)
__gcc_v4si __builtin_ia32_vpcomleud(__gcc_v4si, __gcc_v4si)
__gcc_v16hi __builtin_ia32_pmaxuw256(__gcc_v16hi, __gcc_v16hi)
__gcc_v8sf __builtin_ia32_unpckhps256(__gcc_v8sf, __gcc_v8sf)
__gcc_v16qi __builtin_ia32_vpcomtrueb(__gcc_v16qi, __gcc_v16qi)
long long __builtin_ia32_cvtsd2si64(__gcc_v2df)
int __builtin_ia32_pshaq()
__gcc_v8hi __builtin_ia32_phsubw128(__gcc_v8hi, __gcc_v8hi)
int __builtin_ia32_movmskps256(__gcc_v8sf)
__gcc_v2df __builtin_ia32_cmpgtpd(__gcc_v2df, __gcc_v2df)
__gcc_v2si __builtin_ia32_phsubd(__gcc_v2si, __gcc_v2si)
__gcc_v4sf __builtin_ia32_sqrtps(__gcc_v4sf)
__gcc_v4di __builtin_ia32_pcmpeqq256(__gcc_v4di, __gcc_v4di)
__gcc_v4si __builtin_ia32_cvtps2dq(__gcc_v4sf)
__gcc_v8hi __builtin_ia32_vpmacssww(__gcc_v8hi, __gcc_v8hi, __gcc_v8hi)
__gcc_v4df __builtin_ia32_gathersi__gcc_v4df(__gcc_v4df, const double *, __gcc_v4si, __gcc_v4df, int)
int __builtin_ia32_pshlw()
unsigned __builtin_ia32_bextri_u32(unsigned, unsigned)
__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)
__gcc_v4sf __builtin_ia32_loadlps(__gcc_v4sf, const void *)
int __builtin_ia32_comuneqss()
int __builtin_ia32_ptestc128(__gcc_v2di, __gcc_v2di)
int __builtin_ia32_pcomnequq()
__gcc_v4df __builtin_ia32_mulpd256(__gcc_v4df, __gcc_v4df)
__gcc_v8sf __builtin_ia32_andps256(__gcc_v8sf, __gcc_v8sf)
__gcc_v16qi __builtin_ia32_pminub128(__gcc_v16qi, __gcc_v16qi)
void __builtin_ia32_maskstoreq256(__gcc_v4di *, __gcc_v4di, __gcc_v4di)
__gcc_v4sf __builtin_ia32_fnmaddps(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf)
__gcc_v8sf __builtin_ia32_permvarsf256(__gcc_v8sf, __gcc_v8si)
int __builtin_ia32_pcmpistria128(__gcc_v16qi, __gcc_v16qi, const int)
__gcc_v8si __builtin_ia32_pslldi256(__gcc_v8si, int)
int __builtin_ia32_comtrueps()
__gcc_v4sf __builtin_ia32_cmpordss(__gcc_v4sf, __gcc_v4sf)
int __builtin_ia32_comordpd()
unsigned short __builtin_ia32_lzcnt_16(unsigned short)
__gcc_v16hi __builtin_ia32_pminuw256(__gcc_v16hi, __gcc_v16hi)
__gcc_v32qi __builtin_ia32_pblendvb256(__gcc_v32qi, __gcc_v32qi, __gcc_v32qi)
__gcc_v4sf __builtin_ia32_minps(__gcc_v4sf, __gcc_v4sf)
__gcc_v8sf __builtin_ia32_gathersi__gcc_v8sf(__gcc_v8sf, const float *, __gcc_v8si, __gcc_v8sf, int)
__gcc_v2di __builtin_ia32_vpshlq(__gcc_v2di, __gcc_v2di)
__gcc_v2di __builtin_ia32_insertqi(__gcc_v2di, __gcc_v2di, unsigned, unsigned)
__gcc_v4hi __builtin_ia32_phaddsw(__gcc_v4hi, __gcc_v4hi)
__gcc_v8sf __builtin_ia32_addsubps256(__gcc_v8sf, __gcc_v8sf)
__gcc_v8hi __builtin_ia32_phaddw128(__gcc_v8hi, __gcc_v8hi)
__gcc_v8si __builtin_ia32_pmovzxwd256(__gcc_v8hi)
void __builtin_ia32_movntsd(double *, __gcc_v2df)
__gcc_v2di __builtin_ia32_vphaddubq(__gcc_v16qi)
int __builtin_ia32_comungtss()
int __builtin_ia32_pcomltb()
__gcc_v4sf __builtin_ia32_addss(__gcc_v4sf, __gcc_v4sf)
int __builtin_ia32_ucomige(__gcc_v4sf, __gcc_v4sf)
int __builtin_ia32_comungeps()
int __builtin_ia32_pcmpestriz128(__gcc_v16qi, int, __gcc_v16qi, int, const int)
__gcc_v1di __builtin_ia32_pand(__gcc_v1di, __gcc_v1di)
int __builtin_ia32_comfalsepd()
__gcc_v2di __builtin_ia32_vphadddq(__gcc_v4si)
__gcc_v8si __builtin_ia32_pslld256(__gcc_v8si, __gcc_v4si)
void __builtin_ia32_storeups256(float *, __gcc_v8sf)
void __builtin_ia32_monitor(void *, unsigned int, unsigned int)
int __builtin_ia32_comunordps()
int __builtin_ia32_comless()
__gcc_v2di __builtin_ia32_pmovsxbq128(__gcc_v16qi)
__gcc_v1di __builtin_ia32_palignr(__gcc_v1di, __gcc_v1di, int)
__gcc_v2df __builtin_ia32_roundpd(__gcc_v2df, int)
__gcc_v2di __builtin_ia32_punpckhqdq128(__gcc_v2di, __gcc_v2di)
__gcc_v4hi __builtin_ia32_paddusw(__gcc_v4hi, __gcc_v4hi)
__gcc_v4si __builtin_ia32_pcmpgtd128(__gcc_v4si, __gcc_v4si)
__gcc_v4sf __builtin_ia32_fmsubaddps(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf)
int __builtin_ia32_vtestzpd(__gcc_v2df, __gcc_v2df)
__gcc_v1di __builtin_ia32_pandn(__gcc_v1di, __gcc_v1di)
__gcc_v8si __builtin_ia32_phsubd256(__gcc_v8si, __gcc_v8si)
__gcc_v8sf __builtin_ia32_vfrczps256(__gcc_v8sf)
__gcc_v4df __builtin_ia32_loadupd256(const double *)
unsigned int _pext_u32(unsigned int, unsigned int)
int __builtin_ia32_phadduwq()
__gcc_v4sf __builtin_ia32_cmpunordss(__gcc_v4sf, __gcc_v4sf)
__gcc_v8sf __builtin_ia32_vbroadcastf128_ps256(const __gcc_v4sf *)
__gcc_v16qi __builtin_ia32_pcmpestrm128(__gcc_v16qi, int, __gcc_v16qi, int, const int)
__gcc_v2df __builtin_ia32_cmpngtpd(__gcc_v2df, __gcc_v2df)
void __builtin_ia32_maskstored(__gcc_v4si *, __gcc_v4si, __gcc_v4si)
__gcc_v4df __builtin_ia32_fmaddpd256(__gcc_v4df, __gcc_v4df, __gcc_v4df)
__gcc_v8sf __builtin_ia32_fmaddsubps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf)
__gcc_v8hi __builtin_ia32_vpcmov_v8hi(__gcc_v8hi, __gcc_v8hi, __gcc_v8hi)
int __builtin_ia32_pmacsswd()
int __builtin_ia32_pmacsdql()
int __builtin_ia32_comueqps()
int __builtin_ia32_ptestnzc256(__gcc_v4di, __gcc_v4di)
__gcc_v8hi __builtin_ia32_pmovsxbw128(__gcc_v16qi)
__gcc_v2di __builtin_ia32_vpcomleq(__gcc_v2di, __gcc_v2di)
__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)
__gcc_v2df __builtin_ia32_andpd(__gcc_v2df, __gcc_v2df)
__gcc_v4df __builtin_ia32_cmppd256(__gcc_v4df, __gcc_v4df, int)
__gcc_v4di __builtin_ia32_pcmpgtq256(__gcc_v4di, __gcc_v4di)
int __builtin_ia32_pcomgeuq()
__gcc_v2sf __builtin_ia32_pfpnacc(__gcc_v2sf, __gcc_v2sf)
int __builtin_ia32_phadddq()
__CPROVER_Float128 __builtin_infq(void)
__gcc_v8si __builtin_ia32_vinsertf128_si256(__gcc_v8si, __gcc_v4si, int)
__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_pmuludq128(__gcc_v4si, __gcc_v4si)
__gcc_v4df __builtin_ia32_roundpd256(__gcc_v4df, int)
__gcc_v8qi __builtin_ia32_pmaxub(__gcc_v8qi, __gcc_v8qi)
__gcc_v2df __builtin_ia32_minsd(__gcc_v2df, __gcc_v2df)
int __builtin_ia32_pcomequb()
void __builtin_ia32_lfence()
__gcc_v8hi __builtin_ia32_pmaxuw128(__gcc_v8hi, __gcc_v8hi)
__gcc_v2df __builtin_ia32_cmpordpd(__gcc_v2df, __gcc_v2df)
__gcc_v16qi __builtin_ia32_vpcomgeb(__gcc_v16qi, __gcc_v16qi)
void __builtin_ia32_maskmovq(__gcc_v8qi, __gcc_v8qi, char *)
__gcc_v4sf __builtin_ia32_mulss(__gcc_v4sf, __gcc_v4sf)
__gcc_v2di __builtin_ia32_vpcomneuq(__gcc_v2di, __gcc_v2di)
__gcc_v2sf __builtin_ia32_pi2fw(__gcc_v2si)
int __builtin_ia32_ucomilt(__gcc_v4sf, __gcc_v4sf)
__gcc_v8sf __builtin_ia32_orps256(__gcc_v8sf, __gcc_v8sf)
__gcc_v4sf __builtin_ia32_fmaddsubps(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf)
__gcc_v1di __builtin_ia32_por(__gcc_v1di, __gcc_v1di)
__gcc_v2df __builtin_ia32_sqrtsd(__gcc_v2df)
__gcc_v8hi __builtin_ia32_phminposuw128(__gcc_v8hi)
__gcc_v4di __builtin_ia32_pbroadcastq256(__gcc_v2di)
__gcc_v4sf __builtin_ia32_minss(__gcc_v4sf, __gcc_v4sf)
int __builtin_ia32_cvttsd2si(__gcc_v2df)
__gcc_v8sf __builtin_ia32_unpcklps256(__gcc_v8sf, __gcc_v8sf)
__gcc_v2df __builtin_ia32_movsd(__gcc_v2df, __gcc_v2df)
__gcc_v4si __builtin_ia32_punpckhdq128(__gcc_v4si, __gcc_v4si)
__gcc_v4si __builtin_ia32_pcmpeqd128(__gcc_v4si, __gcc_v4si)
int __builtin_ia32_comisdneq(__gcc_v2df, __gcc_v2df)
__gcc_v2di __builtin_ia32_vpcomgeq(__gcc_v2di, __gcc_v2di)
__gcc_v8sf __builtin_ia32_maxps256(__gcc_v8sf, __gcc_v8sf)
__gcc_v16qi __builtin_ia32_punpckhbw128(__gcc_v16qi, __gcc_v16qi)
__gcc_v4df __builtin_ia32_vfrczpd256(__gcc_v4df)
__gcc_v16qi __builtin_ia32_pblendvb128(__gcc_v16qi, __gcc_v16qi, __gcc_v16qi)
__gcc_v8si __builtin_ia32_pshufd256(__gcc_v8si, int)
int __builtin_ia32_comtruess()
__gcc_v8sf __builtin_ia32_shufps256(__gcc_v8sf, __gcc_v8sf, int)
__gcc_v1di __builtin_ia32_psllq(__gcc_v1di, __gcc_v1di)
__gcc_v2df __builtin_ia32_vpermilpd(__gcc_v2df, int)
__gcc_v8qi __builtin_ia32_psubb(__gcc_v8qi, __gcc_v8qi)
__gcc_v2di __builtin_ia32_vphaddbq(__gcc_v16qi)
__gcc_v8si __builtin_ia32_pmovsxwd256(__gcc_v8hi)
__gcc_v32qi __builtin_ia32_pmaxsb256(__gcc_v32qi, __gcc_v32qi)
int __builtin_ia32_pmacssww()
__gcc_v4si __builtin_ia32_cvtpd2dq256(__gcc_v4df)
unsigned __builtin_ia32_rdfsbase32()
int __builtin_ia32_pcomleq()
__gcc_v4di __builtin_ia32_pmovsxdq256(__gcc_v4si)
__gcc_v2di __builtin_ia32_pmovzxbq128(__gcc_v16qi)
unsigned int _bzhi_u32(unsigned int, unsigned int)
int __builtin_ia32_pcomltw()
__gcc_v4df __builtin_ia32_fnmaddpd256(__gcc_v4df, __gcc_v4df, __gcc_v4df)
int __builtin_ia32_pmacswd()
__gcc_v4sf __builtin_ia32_cvtsi2ss(__gcc_v4sf, int)
__gcc_v4sf __builtin_ia32_fmsubss(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf)
void __builtin_ia32_storeupd(double *, __gcc_v2df)
__gcc_v16qi __builtin_ia32_vpcomgtub(__gcc_v16qi, __gcc_v16qi)
__gcc_v8si __builtin_ia32_psrad256(__gcc_v8si, __gcc_v4si)
__gcc_di __builtin_ia32_vec_ext___gcc_v2di(__gcc_v2di, const int)
int __builtin_ia32_pcomgtw()
__gcc_v16qi __builtin_ia32_pminsb128(__gcc_v16qi, __gcc_v16qi)
int __builtin_ia32_pcomgeud()
int __builtin_ia32_pcomgeuw()
__gcc_v2di __builtin_ia32_vpcomtrueq(__gcc_v2di, __gcc_v2di)
__gcc_v8sf __builtin_ia32_hsubps256(__gcc_v8sf, __gcc_v8sf)
__gcc_v4sf __builtin_ia32_cmpeqps(__gcc_v4sf, __gcc_v4sf)
__gcc_v4sf __builtin_ia32_vfrczps(__gcc_v4sf)
int __builtin_ia32_pcomlew()
__gcc_v2di __builtin_ia32_vpcomleuq(__gcc_v2di, __gcc_v2di)
int __builtin_ia32_pcmpestric128(__gcc_v16qi, int, __gcc_v16qi, int, const int)
__gcc_v2di __builtin_ia32_extrqi(__gcc_v2di, unsigned, unsigned)
__gcc_v8sf __builtin_ia32_blendps256(__gcc_v8sf, __gcc_v8sf, int)
int __builtin_ia32_comige(__gcc_v4sf, __gcc_v4sf)
__gcc_v8hi __builtin_ia32_vpcomneuw(__gcc_v8hi, __gcc_v8hi)
int __builtin_ia32_comunordpd()
__gcc_v2sf __builtin_ia32_pfrcpit2(__gcc_v2sf, __gcc_v2sf)
__gcc_v2df __builtin_ia32_mulpd(__gcc_v2df, __gcc_v2df)
__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)
__gcc_v8si __builtin_ia32_vpcmov_v8si256(__gcc_v8si, __gcc_v8si, __gcc_v8si)
__gcc_v2df __builtin_ia32_vpermil2pd(__gcc_v2df, __gcc_v2df, __gcc_v2di, int)
__gcc_v16qi __builtin_ia32_pbroadcastb128(__gcc_v16qi)
__gcc_v16qi __builtin_ia32_vpcomeqb(__gcc_v16qi, __gcc_v16qi)
__gcc_v8hi __builtin_ia32_vpcomtrueuw(__gcc_v8hi, __gcc_v8hi)
__gcc_v4hi __builtin_ia32_pabsw(__gcc_v4hi)
__gcc_v4sf __builtin_ia32_movss(__gcc_v4sf, __gcc_v4sf)
__gcc_v16qi __builtin_ia32_vpcomfalseb(__gcc_v16qi, __gcc_v16qi)
__gcc_v4di __builtin_ia32_vbroadcastsi256(__gcc_v2di)
__gcc_v32qi __builtin_ia32_paddsb256(__gcc_v32qi, __gcc_v32qi)
int __builtin_ia32_pcmpestris128(__gcc_v16qi, int, __gcc_v16qi, int, const int)
__gcc_v4di __builtin_ia32_pmovsxbq256(__gcc_v16qi)
__gcc_v32qi __builtin_ia32_vpcmov_v32qi256(__gcc_v32qi, __gcc_v32qi, __gcc_v32qi)
__gcc_v2di __builtin_ia32_aesenclast128(__gcc_v2di, __gcc_v2di)
__gcc_v4sf __builtin_ia32_vpermilvarps(__gcc_v4sf, __gcc_v4si)
__gcc_v16hi __builtin_ia32_paddusw256(__gcc_v16hi, __gcc_v16hi)
__gcc_v4hi __builtin_ia32_pmulhrsw(__gcc_v4hi, __gcc_v4hi)
void __builtin_ia32_sfence()
int __builtin_ia32_pcomfalseuw()
__gcc_v32qi __builtin_ia32_punpckhbw256(__gcc_v32qi, __gcc_v32qi)
__gcc_v8si __builtin_ia32_psra__gcc_v8si(__gcc_v8si, __gcc_v8si)
__gcc_v2di __builtin_ia32_vpmacssdqh(__gcc_v4si, __gcc_v4si, __gcc_v2di)
__gcc_v8hi __builtin_ia32_vpcomgtw(__gcc_v8hi, __gcc_v8hi)
__gcc_v8hi __builtin_ia32_psignw128(__gcc_v8hi, __gcc_v8hi)
__gcc_v4di __builtin_ia32_punpckhqdq256(__gcc_v4di, __gcc_v4di)
__gcc_v4si __builtin_ia32_gatherdi__gcc_v4si256(__gcc_v4si, const int *, __gcc_v4di, __gcc_v4si, int)
__gcc_v16qi __builtin_ia32_vprotb(__gcc_v16qi, __gcc_v16qi)
__gcc_v8hi __builtin_ia32_punpcklwd128(__gcc_v8hi, __gcc_v8hi)
__gcc_v4sf __builtin_ia32_vpermilps(__gcc_v4sf, int)
int __builtin_ia32_pcomequq()
int __builtin_ia32_ucomisdeq(__gcc_v2df, __gcc_v2df)
__gcc_v8sf __builtin_ia32_vperm2f128_ps256(__gcc_v8sf, __gcc_v8sf, int)
__gcc_v8qi __builtin_ia32_paddsb(__gcc_v8qi, __gcc_v8qi)
int __builtin_ia32_frczsd()
int __builtin_ia32_comungtps()
__gcc_v16qi __builtin_ia32_vpcomleb(__gcc_v16qi, __gcc_v16qi)
__gcc_v1di __builtin_ia32_pmuludq(__gcc_v2si, __gcc_v2si)
__gcc_v8sf __builtin_ia32_dpps256(__gcc_v8sf, __gcc_v8sf, int)
int __builtin_ia32_pcomleub()
__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_v8hi __builtin_ia32_paddw128(__gcc_v8hi, __gcc_v8hi)
__gcc_v8hi __builtin_ia32_pabsw128(__gcc_v8hi)
int __builtin_popcountll(unsigned long long)
__gcc_v4si __builtin_ia32_vpmacsswd(__gcc_v8hi, __gcc_v8hi, __gcc_v4si)
__gcc_v8sf __builtin_ia32_blendvps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf)
__gcc_v16qi __builtin_ia32_pabsb128(__gcc_v16qi)
__gcc_v2sf __builtin_ia32_pfnacc(__gcc_v2sf, __gcc_v2sf)
__gcc_v2df __builtin_ia32_fmaddpd(__gcc_v2df, __gcc_v2df, __gcc_v2df)
__gcc_v2df __builtin_ia32_minpd(__gcc_v2df, __gcc_v2df)
__gcc_v2di __builtin_ia32_vpcomltuq(__gcc_v2di, __gcc_v2di)
int __builtin_ia32_phaddubq()
__gcc_v16hi __builtin_ia32_pcmpeqw256(__gcc_v16hi, __gcc_v16hi)
void __builtin_ia32_lwpval32(unsigned, unsigned, unsigned)
__gcc_v4si __builtin_ia32_pmulld128(__gcc_v4si, __gcc_v4si)
__gcc_v8hi __builtin_ia32_pcmpgtw128(__gcc_v8hi, __gcc_v8hi)
__gcc_v4di __builtin_ia32_psll__gcc_v4di(__gcc_v4di, __gcc_v4di)
int __builtin_ia32_comungess()
__gcc_v4di __builtin_ia32_palignr256(__gcc_v4di, __gcc_v4di, int)
__gcc_v2df __builtin_ia32_mulsd(__gcc_v2df, __gcc_v2df)
int __builtin_ia32_vec_ext_v4si(__gcc_v4si, int)
__gcc_v4si __builtin_ia32_vpcomfalseud(__gcc_v4si, __gcc_v4si)
void __builtin_ia32_maskstoreps256(__gcc_v8sf *, __gcc_v8si, __gcc_v8sf)
int __builtin_ia32_pmacssdqh()
int __builtin_ia32_comgesd()
int __builtin_ia32_pcomtrued()
__gcc_v4si __builtin_ia32_pminud128(__gcc_v4si, __gcc_v4si)
__gcc_v2df __builtin_ia32_cmpnltsd(__gcc_v2df, __gcc_v2df)
float __builtin_ia32_vec_ext___gcc_v4sf(__gcc_v4sf, const int)
__gcc_v2si __builtin_ia32_pslld(__gcc_v2si, __gcc_v2si)
__CPROVER_Float128 __builtin_fabsq(__CPROVER_Float128)
__gcc_v2si __builtin_ia32_pf2id(__gcc_v2sf)
int __builtin_ia32_pcomnequd()
__gcc_v8hi __builtin_ia32_psrawi128(__gcc_v8hi, int)
__gcc_v4si __builtin_ia32_vpcomged(__gcc_v4si, __gcc_v4si)
__gcc_v8si __builtin_ia32_gathersi__gcc_v8si(__gcc_v8si, const int *, __gcc_v8si, __gcc_v8si, int)
__gcc_v8sf __builtin_ia32_fmaddps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf)
unsigned long long __builtin_ia32_rdfsbase64()
int __builtin_ia32_permps()
__gcc_v8qi __builtin_ia32_pminub(__gcc_v8qi, __gcc_v8qi)
__gcc_v1di __builtin_ia32_pxor(__gcc_v1di, __gcc_v1di)
int __builtin_ia32_phaddbd()
__gcc_v4sf __builtin_ia32_subss(__gcc_v4sf, __gcc_v4sf)
int __builtin_ia32_phaddwq()
__gcc_v2di __builtin_ia32_psll__gcc_v2di(__gcc_v2di, __gcc_v2di)
__gcc_v4sf __builtin_ia32_cvtpd2ps256(__gcc_v4df)
int __builtin_ia32_pshad()
int __builtin_ia32_vtestnzcps256(__gcc_v8sf, __gcc_v8sf)
__gcc_v4df __builtin_ia32_fmsubaddpd256(__gcc_v4df, __gcc_v4df, __gcc_v4df)
int __builtin_ia32_phaddudq()
__gcc_v4sf __builtin_ia32_cmpltss(__gcc_v4sf, __gcc_v4sf)
int __builtin_ia32_vtestcpd256(__gcc_v4df, __gcc_v4df)
__gcc_v8hi __builtin_ia32_pmulhuw128(__gcc_v8hi, __gcc_v8hi)
__gcc_v2di __builtin_ia32_aesdeclast128(__gcc_v2di, __gcc_v2di)
__gcc_v4di __builtin_ia32_psubq256(__gcc_v4di, __gcc_v4di)
__gcc_v2si __builtin_ia32_phaddd(__gcc_v2si, __gcc_v2si)
__gcc_v4si __builtin_ia32_vpcomled(__gcc_v4si, __gcc_v4si)
int __builtin_ia32_ucomisdneq(__gcc_v2df, __gcc_v2df)
__gcc_v2di __builtin_ia32_psubq128(__gcc_v2di, __gcc_v2di)
__gcc_v32qi __builtin_ia32_psubusb256(__gcc_v32qi, __gcc_v32qi)
__gcc_v2df __builtin_ia32_cmpltsd(__gcc_v2df, __gcc_v2df)
int __builtin_ia32_comungepd()
__gcc_v16qi __builtin_ia32_pmaxsb128(__gcc_v16qi, __gcc_v16qi)
__gcc_v4df __builtin_ia32_blendvpd256(__gcc_v4df, __gcc_v4df, __gcc_v4df)
__gcc_v4si __builtin_ia32_pslldi128(__gcc_v4si, int)
__gcc_v4sf __builtin_ia32_rcpps(__gcc_v4sf)
__gcc_v2df __builtin_ia32_cvtps2pd(__gcc_v4sf)
__gcc_v4sf __builtin_ia32_blendvps(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf)
__gcc_v8si __builtin_ia32_maskloadd256(const __gcc_v8si *, __gcc_v8si)
int __builtin_ia32_comungtpd()
__gcc_v8hi __builtin_ia32_vpcomlew(__gcc_v8hi, __gcc_v8hi)
__gcc_v4di __builtin_ia32_pslldqi256(__gcc_v4di, int)
__gcc_v8si __builtin_ia32_pminud256(__gcc_v8si, __gcc_v8si)
__gcc_v2df __builtin_ia32_vfrczpd(__gcc_v2df)
__gcc_v4sf __builtin_ia32_insertps128(__gcc_v4sf, __gcc_v4sf, int)
int __builtin_ia32_phaddbw()
int __builtin_ia32_pcomeqw()
__gcc_v2di __builtin_ia32_pmovsxdq128(__gcc_v4si)
void __builtin_ia32_vzeroupper()
__gcc_v4hi __builtin_ia32_psllw(__gcc_v4hi, __gcc_v4hi)
__gcc_v4sf __builtin_ia32_hsubps(__gcc_v4sf, __gcc_v4sf)
__gcc_v2di __builtin_ia32_vpcomtrueuq(__gcc_v2di, __gcc_v2di)
int __builtin_ia32_pmacsdd()
__gcc_v2df __builtin_ia32_subsd(__gcc_v2df, __gcc_v2df)
__gcc_v4sf __builtin_ia32_cvtsd2ss(__gcc_v4sf, __gcc_v2df)
__gcc_v4hi __builtin_ia32_pmullw(__gcc_v4hi, __gcc_v4hi)
void _writefsbase_u64(unsigned long long)
__gcc_v2di __builtin_ia32_pclmulqdq128(__gcc_v2di, __gcc_v2di, const int)
__gcc_v4di __builtin_ia32_permdi256(__gcc_v4di, int)
__gcc_v8si __builtin_ia32_psrldi256(__gcc_v8si, int)
__gcc_v4si __builtin_ia32_cvttps2dq(__gcc_v4sf)
__gcc_v8sf __builtin_ia32_vpermilps256(__gcc_v8sf, int)
__gcc_v4si __builtin_ia32_psrad128(__gcc_v4si, __gcc_v4si)
__gcc_v4df __builtin_ia32_minpd256(__gcc_v4df, __gcc_v4df)
int __builtin_ia32_phadduwd()
__gcc_v8sf __builtin_ia32_rsqrtps_nr256(__gcc_v8sf)
__gcc_v4di __builtin_ia32_pmuludq256(__gcc_v8si, __gcc_v8si)
__gcc_v2di __builtin_ia32_vpmacsdql(__gcc_v4si, __gcc_v4si, __gcc_v2di)
void __builtin_ia32_storelv4si(__gcc_v2si *, __gcc_v4si)
__gcc_v4si __builtin_ia32_vpmacswd(__gcc_v8hi, __gcc_v8hi, __gcc_v4si)
__gcc_v2di __builtin_ia32_gathersi__gcc_v2di(__gcc_v2di, const long long int *, __gcc_v4si, __gcc_v2di, int)
__gcc_v2di __builtin_ia32_pcmpeqq(__gcc_v2di, __gcc_v2di)
__gcc_v4sf __builtin_ia32_fmaddps(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf)
__gcc_v16hi __builtin_ia32_paddw256(__gcc_v16hi, __gcc_v16hi)
__gcc_v16qi __builtin_ia32_loaddqu(const char *)
unsigned long long _bzhi_u64(unsigned long long, unsigned long long)
void __builtin_ia32_storeaps(float *, __gcc_v4sf)
__gcc_v16qi __builtin_ia32_vpshlb(__gcc_v16qi, __gcc_v16qi)
__gcc_v2di __builtin_ia32_extrq(__gcc_v2di, __gcc_v16qi)
__gcc_v16qi __builtin_ia32_packuswb128(__gcc_v8hi, __gcc_v8hi)
__gcc_v4sf __builtin_ia32_fnmsubps(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf)
__gcc_v16qi __builtin_ia32_pcmpgtb128(__gcc_v16qi, __gcc_v16qi)
int __builtin_ia32_pcomeqq()
__gcc_v4hi __builtin_ia32_pmulhrw(__gcc_v4hi, __gcc_v4hi)
__gcc_v2di __builtin_ia32_vphaddudq(__gcc_v4si)
__gcc_v2si __builtin_ia32_pcmpgtd(__gcc_v2si, __gcc_v2si)
__gcc_v8sf __builtin_ia32_maskloadps256(const __gcc_v8sf *, __gcc_v8si)
__gcc_v8sf __builtin_ia32_fnmsubps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf)
__gcc_v8si __builtin_ia32_pmaxsd256(__gcc_v8si, __gcc_v8si)
int __builtin_ia32_comunltss()
__gcc_v8sf __builtin_ia32_vinsertf128_ps256(__gcc_v8sf, __gcc_v4sf, int)
int __builtin_ia32_comgtsd()
__gcc_v4si __builtin_ia32_psradi128(__gcc_v4si, int)
__gcc_v8hi __builtin_ia32_pmaxsw128(__gcc_v8hi, __gcc_v8hi)
int __builtin_ia32_ucomisdge(__gcc_v2df, __gcc_v2df)
__gcc_v16hi __builtin_ia32_pshufhw256(__gcc_v16hi, int)
__gcc_v8hi __builtin_ia32_phaddsw128(__gcc_v8hi, __gcc_v8hi)
__gcc_v8sf __builtin_ia32_vbroadcastss256(const float *)
__gcc_v4si __builtin_ia32_vphsubwd(__gcc_v8hi)
int __builtin_ia32_comunleps()
int __builtin_ia32_pcomgeb()
__gcc_v2di __builtin_ia32_vprotq(__gcc_v2di, __gcc_v2di)
int __builtin_ia32_pcmov()
__gcc_v1di __builtin_ia32_paddq(__gcc_v1di, __gcc_v1di)
__gcc_v2di __builtin_ia32_vpcomeqq(__gcc_v2di, __gcc_v2di)
__gcc_v4si __builtin_ia32_si_si256(__gcc_v8si)
unsigned long long _pext_u64(unsigned long long, unsigned long long)
__gcc_v8qi __builtin_ia32_pcmpgtb(__gcc_v8qi, __gcc_v8qi)
__gcc_v1di __builtin_ia32_psrlqi(__gcc_v1di, int)
unsigned int _pdep_u32(unsigned int, unsigned int)
unsigned int __builtin_ia32_rdrand64_step(unsigned long long *)
__gcc_v4di __builtin_ia32_vpcmov_v4di256(__gcc_v4di, __gcc_v4di, __gcc_v4di)
int __builtin_ia32_comunltsd()
__gcc_v4hi __builtin_ia32_pmulhuw(__gcc_v4hi, __gcc_v4hi)
__gcc_v8hi __builtin_ia32_phsubsw128(__gcc_v8hi, __gcc_v8hi)
__gcc_v4df __builtin_ia32_maxpd256(__gcc_v4df, __gcc_v4df)
__gcc_v4sf __builtin_ia32_fmsubps(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf)
__gcc_v2sf __builtin_ia32_pfacc(__gcc_v2sf, __gcc_v2sf)
unsigned __builtin_ia32_crc32hi(unsigned, unsigned short)
__gcc_v2df __builtin_ia32_cmpsd(__gcc_v2df, __gcc_v2df, int)
__gcc_v4sf __builtin_ia32_cmpless(__gcc_v4sf, __gcc_v4sf)
__gcc_v4sf __builtin_ia32_cvtdq2ps(__gcc_v4si)
__gcc_v16hi __builtin_ia32_pmulhw256(__gcc_v16hi, __gcc_v16hi)
__gcc_v2df __builtin_ia32_andnpd(__gcc_v2df, __gcc_v2df)
int __builtin_ia32_pshlq()
__gcc_v8hi __builtin_ia32_vpcomleuw(__gcc_v8hi, __gcc_v8hi)
__gcc_v8si __builtin_ia32_pcmpgtd256(__gcc_v8si, __gcc_v8si)
__gcc_v4sf __builtin_ia32_loadups(const float *)
__gcc_v8si __builtin_ia32_psrld256(__gcc_v8si, __gcc_v4si)
__gcc_v2df __builtin_ia32_dppd(__gcc_v2df, __gcc_v2df, int)
__gcc_v16hi __builtin_ia32_psraw256(__gcc_v16hi, __gcc_v8hi)
__gcc_v2df __builtin_ia32_fmaddsubpd(__gcc_v2df, __gcc_v2df, __gcc_v2df)
__gcc_v32qi __builtin_ia32_pavgb256(__gcc_v32qi, __gcc_v32qi)
__gcc_v32qi __builtin_ia32_loaddqu256(const char *)
__gcc_v4sf __builtin_ia32_cmpnltss(__gcc_v4sf, __gcc_v4sf)
__gcc_v8hi __builtin_ia32_packusdw128(__gcc_v4si, __gcc_v4si)
int __builtin_ia32_pcomfalseq()
__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_comfalsess()
int __builtin_ia32_pcomltd()
__gcc_v4df __builtin_ia32_vbroadcastsd256(const double *)
__gcc_v4si __builtin_ia32_vpcomltud(__gcc_v4si, __gcc_v4si)
__gcc_v4si __builtin_ia32_vpcomeqd(__gcc_v4si, __gcc_v4si)
__gcc_v8sf __builtin_ia32_addps256(__gcc_v8sf, __gcc_v8sf)
__CPROVER_Float128 __builtin_copysignq(__CPROVER_Float128, __CPROVER_Float128)
__gcc_v2di __builtin_ia32_vpcomneq(__gcc_v2di, __gcc_v2di)
__gcc_v8si __builtin_ia32_psignd256(__gcc_v8si, __gcc_v8si)
__gcc_v4sf __builtin_ia32_gatherdi__gcc_v4sf(__gcc_v4sf, const float *, __gcc_v2di, __gcc_v4sf, int)
int __builtin_ia32_pcomtrueuq()
__gcc_v16hi __builtin_ia32_psllwi256(__gcc_v16hi, int)
int __builtin_ia32_ucomisdgt(__gcc_v2df, __gcc_v2df)
int __builtin_ia32_comfalsesd()
int __builtin_ia32_comtruesd()
__gcc_v8qi __builtin_ia32_pavgusb(__gcc_v8qi, __gcc_v8qi)
__gcc_v4df __builtin_ia32_vpermilpd256(__gcc_v4df, int)
__gcc_v4sf __builtin_ia32_cmpss(__gcc_v4sf, __gcc_v4sf, int)
__gcc_v32qi __builtin_ia32_pminsb256(__gcc_v32qi, __gcc_v32qi)
__gcc_v2di __builtin_ia32_pmovzxwq128(__gcc_v8hi)
int __builtin_ia32_pcomtrueb()
__gcc_v4hi __builtin_ia32_paddsw(__gcc_v4hi, __gcc_v4hi)
__gcc_v4si __builtin_ia32_psra__gcc_v4si(__gcc_v4si, __gcc_v4si)
__gcc_v8hi __builtin_ia32_vphsubbw(__gcc_v16qi)
__gcc_v8hi __builtin_ia32_vphaddubw(__gcc_v16qi)
int __builtin_ia32_pcmpistris128(__gcc_v16qi, __gcc_v16qi, const int)
__gcc_v16qi __builtin_ia32_vpcomtrueub(__gcc_v16qi, __gcc_v16qi)
int __builtin_ia32_pcomgeub()
__gcc_v2di __builtin_ia32_vpcomgtq(__gcc_v2di, __gcc_v2di)
int __builtin_ia32_vtestnzcps(__gcc_v4sf, __gcc_v4sf)
__gcc_v4hi __builtin_ia32_pcmpgtw(__gcc_v4hi, __gcc_v4hi)
int __builtin_popcountl(unsigned long)
__gcc_v4di __builtin_ia32_psrlq256(__gcc_v4di, __gcc_v2di)
int __builtin_ia32_comgtpd()
__gcc_v4sf __builtin_ia32_andps(__gcc_v4sf, __gcc_v4sf)
__gcc_v4df __builtin_ia32_andpd256(__gcc_v4df, __gcc_v4df)
int __builtin_ia32_phsubdq()
__gcc_v4si __builtin_ia32_psrldi128(__gcc_v4si, int)
__gcc_v16hi __builtin_ia32_psubusw256(__gcc_v16hi, __gcc_v16hi)
void _writegsbase_u32(unsigned int)
int __builtin_ia32_comneqsd()
void __builtin_ia32_storelps(void *, __gcc_v4sf)
__gcc_v2di __builtin_ia32_vpcmov(__gcc_v2di, __gcc_v2di, __gcc_v2di)
int __builtin_ia32_cvttss2si(__gcc_v4sf)
__gcc_v4sf __builtin_ia32_vbroadcastss_ps(__gcc_v4sf)
__gcc_v16hi __builtin_ia32_packssdw256(__gcc_v8si, __gcc_v8si)
int __builtin_ia32_movmskps(__gcc_v4sf)
__gcc_v2df __builtin_ia32_haddpd(__gcc_v2df, __gcc_v2df)
__gcc_v4sf __builtin_ia32_movlhps(__gcc_v4sf, __gcc_v4sf)
int __builtin_ia32_pmacssdql()
__gcc_v16qi __builtin_ia32_vpcomleub(__gcc_v16qi, __gcc_v16qi)
int __builtin_ia32_pcomtruew()
__gcc_v4df __builtin_ia32_addpd256(__gcc_v4df, __gcc_v4df)
__gcc_v8hi __builtin_ia32_vpcomltuw(__gcc_v8hi, __gcc_v8hi)
__gcc_v2df __builtin_ia32_maxpd(__gcc_v2df, __gcc_v2df)
__gcc_v4sf __builtin_ia32_loadaps(float *)
__gcc_v2di __builtin_ia32_vphaddwq(__gcc_v8hi)
__gcc_v16hi __builtin_ia32_packusdw256(__gcc_v8si, __gcc_v8si)
unsigned __builtin_ia32_lzcnt_u32(unsigned)
__gcc_v8sf __builtin_ia32_cvtdq2ps256(__gcc_v8si)
__gcc_v4si __builtin_ia32_pmaxud128(__gcc_v4si, __gcc_v4si)
int __builtin_ia32_comgess()
__gcc_v8si __builtin_ia32_pmaddwd256(__gcc_v16hi, __gcc_v16hi)
__gcc_v4sf __builtin_ia32_divss(__gcc_v4sf, __gcc_v4sf)
__gcc_v8sf __builtin_ia32_vpermil2ps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8si, int)
__gcc_v8hi __builtin_ia32_vpcomltw(__gcc_v8hi, __gcc_v8hi)
__gcc_v4si __builtin_ia32_pmaddwd128(__gcc_v8hi, __gcc_v8hi)
int __builtin_ia32_comunordss()
int __builtin_ia32_vtestzpd256(__gcc_v4df, __gcc_v4df)
int __builtin_ia32_pshaw()
__gcc_v16hi __builtin_ia32_pmaddubsw256(__gcc_v32qi, __gcc_v32qi)
__gcc_v32qi __builtin_ia32_mpsadbw256(__gcc_v32qi, __gcc_v32qi, int)
__gcc_v8si __builtin_ia32_pabsd256(__gcc_v8si)
int __builtin_ia32_comueqpd()
__gcc_v4si __builtin_ia32_cvtpd2dq(__gcc_v2df)
__gcc_v4si __builtin_ia32_pmaxsd128(__gcc_v4si, __gcc_v4si)
int __builtin_ia32_comueqsd()
__gcc_v2di __builtin_ia32_pcmpgtq(__gcc_v2di, __gcc_v2di)
int __builtin_ia32_pcmpestrio128(__gcc_v16qi, int, __gcc_v16qi, int, const int)
__gcc_v4sf __builtin_ia32_andnps(__gcc_v4sf, __gcc_v4sf)
__gcc_v4df __builtin_ia32_movddup256(__gcc_v4df)
__gcc_v2df __builtin_ia32_vpcmov_v2df(__gcc_v2df, __gcc_v2df, __gcc_v2df)
__gcc_v4si __builtin_ia32_vpcomtrued(__gcc_v4si, __gcc_v4si)
__gcc_v4sf __builtin_ia32_haddps(__gcc_v4sf, __gcc_v4sf)
__gcc_v8si __builtin_ia32_permvarsi256(__gcc_v8si, __gcc_v8si)
__gcc_v16hi __builtin_ia32_punpckhwd256(__gcc_v16hi, __gcc_v16hi)
__gcc_v8qi __builtin_ia32_punpckhbw(__gcc_v8qi, __gcc_v8qi)
int __builtin_ia32_comunlesd()
__gcc_v4df __builtin_ia32_vpcmov___gcc_v4df256(__gcc_v4df, __gcc_v4df, __gcc_v4df)
int __builtin_ia32_pcomgtq()
__gcc_v8sf __builtin_ia32_vpcmov___gcc_v8sf256(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf)
int __builtin_ia32_movmskpd(__gcc_v2df)
__gcc_di __builtin_ia32_vec_ext_v2di(__gcc_v2di, int)
__gcc_v2df __builtin_ia32_cmpeqsd(__gcc_v2df, __gcc_v2df)
__gcc_v4df __builtin_ia32_hsubpd256(__gcc_v4df, __gcc_v4df)
__gcc_v4sf __builtin_ia32_loadsss(float *)
__gcc_v2di __builtin_ia32_vpcomfalseuq(__gcc_v2di, __gcc_v2di)
__gcc_v16hi __builtin_ia32_pmullw256(__gcc_v16hi, __gcc_v16hi)
__gcc_v8si __builtin_ia32_pblendd256(__gcc_v8si, __gcc_v8si, int)
__gcc_v2di __builtin_ia32_psllq128(__gcc_v2di, __gcc_v2di)
__gcc_v4di __builtin_ia32_pmovzxbq256(__gcc_v16qi)
__gcc_v2df __builtin_ia32_fnmsubpd(__gcc_v2df, __gcc_v2df, __gcc_v2df)
__gcc_v4sf __builtin_ia32_unpcklps(__gcc_v4sf, __gcc_v4sf)
__gcc_v8hi __builtin_ia32_pavgw128(__gcc_v8hi, __gcc_v8hi)
__gcc_v2df __builtin_ia32_shufpd(__gcc_v2df, __gcc_v2df, int)
int __builtin_ia32_comordsd()
__gcc_v4di __builtin_ia32_psrldqi256(__gcc_v4di, int)
__gcc_v4sf __builtin_ia32_cmpngtps(__gcc_v4sf, __gcc_v4sf)
__gcc_v8si __builtin_ia32_pmovzxbd256(__gcc_v16qi)
int __builtin_ia32_pmovmskb128(__gcc_v16qi)
int __builtin_ia32_comisdle(__gcc_v2df, __gcc_v2df)
int __builtin_ia32_comungtsd()
int __builtin_ia32_pcomfalsew()
__gcc_v4hi __builtin_ia32_psrlwi(__gcc_v4hi, int)
__gcc_v2df __builtin_ia32_cvtsi2sd(__gcc_v2df, int)
int __builtin_ia32_pcmpistri128(__gcc_v16qi, __gcc_v16qi, const int)
__gcc_v2sf __builtin_ia32_pfmin(__gcc_v2sf, __gcc_v2sf)
__gcc_v4sf __builtin_ia32_addsubps(__gcc_v4sf, __gcc_v4sf)
__gcc_v2df __builtin_ia32_cvtdq2pd(__gcc_v4si)
__gcc_v4sf __builtin_ia32_fmaddss(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf)
__gcc_v4si __builtin_ia32_vpmadcsswd(__gcc_v8hi, __gcc_v8hi, __gcc_v4si)
int __builtin_ia32_pcomgtub()
__gcc_v8hi __builtin_ia32_vpcomeqw(__gcc_v8hi, __gcc_v8hi)
int __builtin_ia32_comneqss()
__gcc_v2df __builtin_ia32_loadhpd(__gcc_v2df, const double *)
__gcc_v4si __builtin_ia32_vpshld(__gcc_v4si, __gcc_v4si)
void __builtin_ia32_movnti64(long long *, long long)
__gcc_v4si __builtin_ia32_vpcomgtud(__gcc_v4si, __gcc_v4si)
__gcc_v2df __builtin_ia32_cmpunordpd(__gcc_v2df, __gcc_v2df)
__gcc_v2di __builtin_ia32_pxor128(__gcc_v2di, __gcc_v2di)
__gcc_v4df __builtin_ia32_vpermil2pd256(__gcc_v4df, __gcc_v4df, __gcc_v4di, int)
__gcc_v4sf __builtin_ia32_vpcmov_v4sf(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf)
__gcc_v4df __builtin_ia32_addsubpd256(__gcc_v4df, __gcc_v4df)
__gcc_v32qi __builtin_ia32_psignb256(__gcc_v32qi, __gcc_v32qi)
int __builtin_ia32_comuneqsd()
int __builtin_ia32_pcomeqb()
__gcc_v4si __builtin_ia32_phaddd128(__gcc_v4si, __gcc_v4si)
void __builtin_ia32_storedqu256(char *, __gcc_v32qi)
__gcc_v4si __builtin_ia32_vpcomfalsed(__gcc_v4si, __gcc_v4si)
__gcc_v2df __builtin_ia32_addpd(__gcc_v2df, __gcc_v2df)
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_v4di __builtin_ia32_psrl__gcc_v4di(__gcc_v4di, __gcc_v4di)
__gcc_v2df __builtin_ia32_divpd(__gcc_v2df, __gcc_v2df)
int __builtin_ia32_pcmpistriz128(__gcc_v16qi, __gcc_v16qi, const int)
__gcc_v4sf __builtin_ia32_fnmsubss(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf)
__gcc_v2si __builtin_ia32_pfcmpgt(__gcc_v2sf, __gcc_v2sf)
int __builtin_ia32_ptestz128(__gcc_v2di, __gcc_v2di)
__gcc_v4hi __builtin_ia32_punpckhwd(__gcc_v4hi, __gcc_v4hi)
__gcc_v2sf __builtin_ia32_pfmax(__gcc_v2sf, __gcc_v2sf)
__gcc_v2df __builtin_ia32_sqrtpd(__gcc_v2df)
__gcc_v4hi __builtin_ia32_pcmpeqw(__gcc_v4hi, __gcc_v4hi)
int __builtin_ia32_pcomltub()
void __builtin_ia32_storehps(void *, __gcc_v4sf)
int __builtin_ia32_pcomltuw()
int __builtin_ia32_pcmpestri128(__gcc_v16qi, int, __gcc_v16qi, int, const int)
__gcc_v4sf __builtin_ia32_cmpgtps(__gcc_v4sf, __gcc_v4sf)
int __builtin_ia32_pcomled()
__gcc_v4df __builtin_ia32_gatherdi__gcc_v4df(__gcc_v4df, const double *, __gcc_v4di, __gcc_v4df, int)
__gcc_v2di __builtin_ia32_vpcomltq(__gcc_v2di, __gcc_v2di)
__gcc_v2df __builtin_ia32_gathersi__gcc_v2df(__gcc_v2df, const double *, __gcc_v4si, __gcc_v2df, int)
__gcc_v4si __builtin_ia32_vphaddwd(__gcc_v8hi)
int __builtin_ia32_pmadcswd()
int __builtin_ia32_phaddwd()
__gcc_v8sf __builtin_ia32_fmsubps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf)
unsigned __builtin_ia32_crc32si(unsigned, unsigned)
__gcc_v2si __builtin_ia32_cvttps2pi(__gcc_v4sf)
int __builtin_ia32_vtestnzcpd(__gcc_v2df, __gcc_v2df)
__gcc_v8sf __builtin_ia32_rcpps256(__gcc_v8sf)
__gcc_v4df __builtin_ia32_sqrtpd256(__gcc_v4df)
__gcc_v2di __builtin_ia32_aesenc128(__gcc_v2di, __gcc_v2di)
int __builtin_ia32_pcomgtd()
__gcc_v4hi __builtin_ia32_pmaxsw(__gcc_v4hi, __gcc_v4hi)
int __builtin_ia32_pcomneqd()
__gcc_v8hi __builtin_ia32_pbroadcastw128(__gcc_v8hi)
__gcc_v8hi __builtin_ia32_pshuflw(__gcc_v8hi, int)
int __builtin_ia32_comineq(__gcc_v4sf, __gcc_v4sf)
int __builtin_ia32_comeqss()
void __builtin_ia32_storeupd256(double *, __gcc_v4df)
__gcc_v4hi __builtin_ia32_psllwi(__gcc_v4hi, int)
__gcc_v16qi __builtin_ia32_pmaxub128(__gcc_v16qi, __gcc_v16qi)
int __builtin_ia32_pcomgtud()
void __builtin_ia32_movntpd(double *, __gcc_v2df)
int __builtin_ia32_comtruepd()
__gcc_v4sf __builtin_ia32_roundps(__gcc_v4sf, int)
__gcc_v8sf __builtin_ia32_sqrtps_nr256(__gcc_v8sf)
__gcc_v4sf __builtin_ia32_vfrczss(__gcc_v4sf)
unsigned __builtin_ia32_bextr_u32(unsigned, unsigned)
__gcc_v2df __builtin_ia32_addsubpd(__gcc_v2df, __gcc_v2df)
__gcc_v4sf __builtin_ia32_dpps(__gcc_v4sf, __gcc_v4sf, int)
__gcc_v8hi __builtin_ia32_vphaddbw(__gcc_v16qi)
__gcc_v8qi __builtin_ia32_paddb(__gcc_v8qi, __gcc_v8qi)
unsigned char __builtin_ia32_lwpins32(unsigned, unsigned, unsigned)
int __builtin_ia32_pcomneqw()
__gcc_v8hi __builtin_ia32_psraw128(__gcc_v8hi, __gcc_v8hi)
int __builtin_ia32_phsubwd()
__gcc_v2si __builtin_ia32_cvttpd2pi(__gcc_v2df)
__gcc_v8si __builtin_ia32_vperm2f128_si256(__gcc_v8si, __gcc_v8si, int)
__gcc_v8sf __builtin_ia32_subps256(__gcc_v8sf, __gcc_v8sf)
int __builtin_ia32_comlesd()
__gcc_v8hi __builtin_ia32_pshufhw(__gcc_v8hi, int)
__gcc_v2df __builtin_ia32_roundsd(__gcc_v2df, __gcc_v2df, int)
int __builtin_ia32_pmacsww()
__gcc_v32qi __builtin_ia32_pshufb256(__gcc_v32qi, __gcc_v32qi)
int __builtin_ia32_ucomisdle(__gcc_v2df, __gcc_v2df)
__gcc_v4si __builtin_ia32_punpckldq128(__gcc_v4si, __gcc_v4si)
void __builtin_ia32_storedqu(char *, __gcc_v16qi)
__gcc_v4di __builtin_ia32_maskloadq256(const __gcc_v4di *, __gcc_v4di)
__gcc_v4di __builtin_ia32_punpcklqdq256(__gcc_v4di, __gcc_v4di)
void __builtin_ia32_lwpval16(unsigned short, unsigned int, unsigned short)
__gcc_v4hi __builtin_ia32_phsubsw(__gcc_v4hi, __gcc_v4hi)
__gcc_v4si __builtin_ia32_psrld128(__gcc_v4si, __gcc_v4si)
unsigned int __builtin_ia32_rdrand16_step(unsigned short *)
__gcc_v2sf __builtin_ia32_pswapdsf(__gcc_v2sf)
__gcc_v4sf __builtin_ia32_cmpnltps(__gcc_v4sf, __gcc_v4sf)
__gcc_v4si __builtin_ia32_vpcmov_v4si(__gcc_v4si, __gcc_v4si, __gcc_v4si)
int __builtin_ia32_pshlb()
__gcc_v2di __builtin_ia32_psrlqi128(__gcc_v2di, int)
__gcc_v2sf __builtin_ia32_pfmul(__gcc_v2sf, __gcc_v2sf)
__gcc_v4si __builtin_ia32_pshufd(__gcc_v4si, int)
__gcc_v2df __builtin_ia32_loadddup(double const *)
__gcc_v4si __builtin_ia32_pminsd128(__gcc_v4si, __gcc_v4si)
__gcc_v16hi __builtin_ia32_pshuflw256(__gcc_v16hi, int)
__gcc_v2di __builtin_ia32_psrldqi128(__gcc_v2di, int)
__gcc_v2df __builtin_ia32_loadupd(const double *)
__gcc_v2di __builtin_ia32_psrl__gcc_v2di(__gcc_v2di, __gcc_v2di)
int __builtin_ia32_frczpd()
__gcc_v2di __builtin_ia32_vphadduwq(__gcc_v8hi)
__gcc_v16hi __builtin_ia32_psrlw256(__gcc_v16hi, __gcc_v8hi)
int __builtin_ia32_comuneqpd()
__gcc_v2df __builtin_ia32_cmpgepd(__gcc_v2df, __gcc_v2df)
__gcc_v4sf __builtin_ia32_cmpnless(__gcc_v4sf, __gcc_v4sf)
__gcc_v2di __builtin_ia32_pbroadcastq128(__gcc_v2di)
__gcc_v1di __builtin_ia32_psubq(__gcc_v1di, __gcc_v1di)
__gcc_v4hi __builtin_ia32_pinsrw(__gcc_v4hi, int, int)
__gcc_v4si __builtin_ia32_vpcomned(__gcc_v4si, __gcc_v4si)
void _writegsbase_u64(unsigned long long)
int __builtin_ia32_comunlepd()
__gcc_v8hi __builtin_ia32_vprotw(__gcc_v8hi, __gcc_v8hi)
__gcc_v8sf __builtin_ia32_vbroadcastss_ps256(__gcc_v4sf)
int __builtin_ia32_protb()
__gcc_v1di __builtin_ia32_psllqi(__gcc_v1di, int)
__gcc_v2di __builtin_ia32_extract128i256(__gcc_v4di, int)
__gcc_v16hi __builtin_ia32_pmovsxbw256(__gcc_v16qi)
__gcc_v8qi __builtin_ia32_pshufb(__gcc_v8qi, __gcc_v8qi)
__gcc_v4sf __builtin_ia32_cmpneqss(__gcc_v4sf, __gcc_v4sf)
int __builtin_ia32_phaddbq()
__gcc_v16qi __builtin_ia32_psignb128(__gcc_v16qi, __gcc_v16qi)
void __builtin_ia32_llwpcb32(void *)
int __builtin_ia32_pcomleb()
__gcc_v16qi __builtin_ia32_pcmpeqb128(__gcc_v16qi, __gcc_v16qi)
__gcc_v16hi __builtin_ia32_phsubsw256(__gcc_v16hi, __gcc_v16hi)
__gcc_v4di __builtin_ia32_movntdqa256(__gcc_v4di *)
__gcc_v8hi __builtin_ia32_packssdw128(__gcc_v4si, __gcc_v4si)
__gcc_v4di __builtin_ia32_pmovzxdq256(__gcc_v4si)
__gcc_v2di __builtin_ia32_pandn128(__gcc_v2di, __gcc_v2di)
__gcc_v4si __builtin_ia32_vphaddubd(__gcc_v16qi)
__gcc_v4hi __builtin_ia32_pmaddubsw(__gcc_v8qi, __gcc_v8qi)
__gcc_v8si __builtin_ia32_punpckhdq256(__gcc_v8si, __gcc_v8si)
__gcc_v4sf __builtin_ia32_mulps(__gcc_v4sf, __gcc_v4sf)
__gcc_v2di __builtin_ia32_vpmacsdqh(__gcc_v4si, __gcc_v4si, __gcc_v2di)
__gcc_v4di __builtin_ia32_paddq256(__gcc_v4di, __gcc_v4di)
__gcc_v8si __builtin_ia32_pminsd256(__gcc_v8si, __gcc_v8si)
__gcc_v2di __builtin_ia32_pmovzxdq128(__gcc_v4si)
__gcc_v2di __builtin_ia32_vpcomgeuq(__gcc_v2di, __gcc_v2di)
__gcc_v2di __builtin_ia32_vpcomfalseq(__gcc_v2di, __gcc_v2di)
__gcc_v2df __builtin_ia32_vfrczsd(__gcc_v2df)
int __builtin_ia32_comeqsd()
__gcc_v2si __builtin_ia32_paddd(__gcc_v2si, __gcc_v2si)
__gcc_v16hi __builtin_ia32_psubw256(__gcc_v16hi, __gcc_v16hi)
__gcc_v4si __builtin_ia32_paddd128(__gcc_v4si, __gcc_v4si)
__gcc_v2si __builtin_ia32_psignd(__gcc_v2si, __gcc_v2si)
int __builtin_ia32_pcomltq()
int __builtin_ia32_vtestcps(__gcc_v4sf, __gcc_v4sf)
int __builtin_ia32_pmacssdd()
__gcc_v4si __builtin_ia32_vpcomtrueud(__gcc_v4si, __gcc_v4si)
__gcc_v8sf __builtin_ia32_vpermilvarps256(__gcc_v8sf, __gcc_v8si)
__gcc_v2di __builtin_ia32_pmovsxwq128(__gcc_v8hi)
__gcc_v8hi __builtin_ia32_vpshaw(__gcc_v8hi, __gcc_v8hi)
__gcc_v4si __builtin_ia32_vpcomltd(__gcc_v4si, __gcc_v4si)
__gcc_v4df __builtin_ia32_cvtdq2pd256(__gcc_v4si)
__gcc_v4hi __builtin_ia32_psrlw(__gcc_v4hi, __gcc_v4hi)
__gcc_v8qi __builtin_ia32_psubusb(__gcc_v8qi, __gcc_v8qi)
int __builtin_ia32_comgepd()
int __builtin_ia32_cvtsd2si(__gcc_v2df)
__gcc_v4sf __builtin_ia32_cmpunordps(__gcc_v4sf, __gcc_v4sf)
__gcc_v8si __builtin_ia32_pcmpeqd256(__gcc_v8si, __gcc_v8si)
__gcc_v4sf __builtin_ia32_divps(__gcc_v4sf, __gcc_v4sf)
__gcc_v4sf __builtin_ia32_shufps(__gcc_v4sf, __gcc_v4sf, int)
__gcc_v4hi __builtin_ia32_psubusw(__gcc_v4hi, __gcc_v4hi)
__gcc_v2sf __builtin_ia32_pfrsqrtit1(__gcc_v2sf, __gcc_v2sf)
__gcc_v2df __builtin_ia32_cmpnlesd(__gcc_v2df, __gcc_v2df)
int __builtin_ia32_vec_ext___gcc_v4si(__gcc_v4si, const int)
int __builtin_ia32_comeqps()
__gcc_v2df __builtin_ia32_fmsubpd(__gcc_v2df, __gcc_v2df, __gcc_v2df)
int __builtin_ia32_comunless()
void __builtin_ia32_movntdq(__gcc_v2di *, __gcc_v2di)
__gcc_v2df __builtin_ia32_maxsd(__gcc_v2df, __gcc_v2df)
void _writefsbase_u32(unsigned int)
__gcc_v4si __builtin_ia32_pmovsxwd128(__gcc_v8hi)
__gcc_v2di __builtin_ia32_psrlq128(__gcc_v2di, __gcc_v2di)
__gcc_v2di __builtin_ia32_palignr128(__gcc_v2di, __gcc_v2di, int)
__gcc_v2si __builtin_ia32_pswapdsi(__gcc_v2si)
int __builtin_ia32_comunordsd()
__gcc_v8sf __builtin_ia32_movshdup256(__gcc_v8sf)
int __builtin_ia32_ptestz256(__gcc_v4di, __gcc_v4di)
__gcc_v2di __builtin_ia32_movntdqa(__gcc_v2di *)
__gcc_v8hi __builtin_ia32_vpcomgew(__gcc_v8hi, __gcc_v8hi)
__gcc_v4df __builtin_ia32_divpd256(__gcc_v4df, __gcc_v4df)
int __builtin_ia32_comeqpd()
__gcc_v8hi __builtin_ia32_vpcomgeuw(__gcc_v8hi, __gcc_v8hi)
__gcc_v16qi __builtin_ia32_paddb128(__gcc_v16qi, __gcc_v16qi)
void __builtin_ia32_maskstoreps(__gcc_v4sf *, __gcc_v4si, __gcc_v4sf)
__gcc_v4si __builtin_ia32_vpcomequd(__gcc_v4si, __gcc_v4si)
int __builtin_ia32_pcomnequw()
int __builtin_ia32_comilt(__gcc_v4sf, __gcc_v4sf)
__gcc_v16hi __builtin_ia32_phaddw256(__gcc_v16hi, __gcc_v16hi)
int __builtin_ia32_protw()
__gcc_v32qi __builtin_ia32_pabsb256(__gcc_v32qi)
__gcc_v4di __builtin_ia32_pmovzxwq256(__gcc_v8hi)
__gcc_v2df __builtin_ia32_unpckhpd(__gcc_v2df, __gcc_v2df)
__gcc_v4di __builtin_ia32_andnotsi256(__gcc_v4di, __gcc_v4di)
__gcc_v8hi __builtin_ia32_pmaddubsw128(__gcc_v16qi, __gcc_v16qi)
__gcc_v4sf __builtin_ia32_gatherdi__gcc_v4sf256(__gcc_v4sf, const float *, __gcc_v4di, __gcc_v4sf, int)
__gcc_v4sf __builtin_ia32_cmpnlts(__gcc_v4sf, __gcc_v4sf)
__CPROVER_Float128 __builtin_huge_valq(void)
__gcc_v4df __builtin_ia32_pd256_pd(__gcc_v2df)
__gcc_v2df __builtin_ia32_xorpd(__gcc_v2df, __gcc_v2df)
__gcc_v8hi __builtin_ia32_psrlwi128(__gcc_v8hi, int)
__gcc_v2df __builtin_ia32_fnmaddsd(__gcc_v2df, __gcc_v2df, __gcc_v2df)
int __builtin_ia32_pmacsdqh()
__gcc_v4si __builtin_ia32_psubd128(__gcc_v4si, __gcc_v4si)
__gcc_v16qi __builtin_ia32_vpcomltb(__gcc_v16qi, __gcc_v16qi)
__gcc_v16hi __builtin_ia32_pblendw256(__gcc_v16hi, __gcc_v16hi, int)
__gcc_v2di __builtin_ia32_paddq128(__gcc_v2di, __gcc_v2di)
__gcc_v8sf __builtin_ia32_minps256(__gcc_v8sf, __gcc_v8sf)
__gcc_v8si __builtin_ia32_pbroadcastd256(__gcc_v4si)
int __builtin_ia32_pcomfalsed()
__gcc_v4hi __builtin_ia32_paddw(__gcc_v4hi, __gcc_v4hi)
__gcc_v4si __builtin_ia32_pmovzxbd128(__gcc_v16qi)
void __builtin_ia32_vzeroall()
int __builtin_ia32_comltpd()
__gcc_v8hi __builtin_ia32_psubw128(__gcc_v8hi, __gcc_v8hi)
__gcc_v8hi __builtin_ia32_psllwi128(__gcc_v8hi, int)
__gcc_v16qi __builtin_ia32_vpcomneb(__gcc_v16qi, __gcc_v16qi)
__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_v4si __builtin_ia32_vpcomgeud(__gcc_v4si, __gcc_v4si)
__gcc_v2df __builtin_ia32_hsubpd(__gcc_v2df, __gcc_v2df)
__gcc_v16qi __builtin_ia32_pcmpistrm128(__gcc_v16qi, __gcc_v16qi, const int)
__gcc_v1di __builtin_ia32_psadbw(__gcc_v8qi, __gcc_v8qi)
__gcc_v2df __builtin_ia32_fnmaddpd(__gcc_v2df, __gcc_v2df, __gcc_v2df)
__gcc_v2di __builtin_ia32_punpcklqdq128(__gcc_v2di, __gcc_v2di)
__gcc_v2sf __builtin_ia32_pfrsqrt(__gcc_v2sf)
unsigned long long __builtin_ia32_lzcnt_u64(unsigned long long)
void __builtin_ia32_storess(float *, __gcc_v4sf)
__gcc_v4si __builtin_ia32_vpcomgtd(__gcc_v4si, __gcc_v4si)
__gcc_v4sf __builtin_ia32_subps(__gcc_v4sf, __gcc_v4sf)
__gcc_v2di __builtin_ia32_vpcomequq(__gcc_v2di, __gcc_v2di)
__gcc_v4sf __builtin_ia32_movshdup(__gcc_v4sf)
__gcc_v4di __builtin_ia32_insert128i256(__gcc_v4di, __gcc_v2di, int)
int __builtin_ia32_comigt(__gcc_v4sf, __gcc_v4sf)
__gcc_v32qi __builtin_ia32_pminub256(__gcc_v32qi, __gcc_v32qi)
__gcc_v8hi __builtin_ia32_pmullw128(__gcc_v8hi, __gcc_v8hi)
__gcc_v8qi __builtin_ia32_packuswb(__gcc_v4hi, __gcc_v4hi)
unsigned char __builtin_ia32_lwpins16(unsigned short, unsigned int, unsigned short)
__gcc_v2df __builtin_ia32_pd_pd256(__gcc_v4df)
__gcc_v2si __builtin_ia32_pslldi(__gcc_v2si, int)
__gcc_v4df __builtin_ia32_unpckhpd256(__gcc_v4df, __gcc_v4df)
int __builtin_ia32_pcomfalseuq()
int __builtin_ia32_pcomfalseud()
__gcc_v8hi __builtin_ia32_pmovzxbw128(__gcc_v16qi)
int __builtin_ia32_pcomged()
void __builtin_ia32_maskstored256(__gcc_v8si *, __gcc_v8si, __gcc_v8si)
__gcc_v8hi __builtin_ia32_vpcomfalsew(__gcc_v8hi, __gcc_v8hi)
__gcc_v8sf __builtin_ia32_mulps256(__gcc_v8sf, __gcc_v8sf)
__gcc_v16qi __builtin_ia32_vpshab(__gcc_v16qi, __gcc_v16qi)
__gcc_v32qi __builtin_ia32_punpcklbw256(__gcc_v32qi, __gcc_v32qi)
void __builtin_ia32_storeups(float *, __gcc_v4sf)
__gcc_v4sf __builtin_ia32_addps(__gcc_v4sf, __gcc_v4sf)
__gcc_v2di __builtin_ia32_pslldqi128(__gcc_v2di, int)
__gcc_v2di __builtin_ia32_vpcmov_v2di(__gcc_v2di, __gcc_v2di, __gcc_v2di)
int __builtin_ia32_pcmpestria128(__gcc_v16qi, int, __gcc_v16qi, int, const int)
__gcc_v4sf __builtin_ia32_cmpordps(__gcc_v4sf, __gcc_v4sf)
int __builtin_ia32_comisdlt(__gcc_v2df, __gcc_v2df)
__gcc_v2df __builtin_ia32_cmppd(__gcc_v2df, __gcc_v2df, int)
__gcc_v4di __builtin_ia32_pmovsxwq256(__gcc_v8hi)
int __builtin_ia32_pcomleuw()
__gcc_v2di __builtin_ia32_psllqi128(__gcc_v2di, int)
int __builtin_ia32_pcomltuq()
__gcc_v8hi __builtin_ia32_pminsw128(__gcc_v8hi, __gcc_v8hi)
__gcc_v2sf __builtin_ia32_pfsub(__gcc_v2sf, __gcc_v2sf)
__gcc_v8sf __builtin_ia32_loadups256(const float *)
__gcc_v2df __builtin_ia32_cmpnlepd(__gcc_v2df, __gcc_v2df)
__gcc_v8si __builtin_ia32_punpckldq256(__gcc_v8si, __gcc_v8si)
__gcc_v32qi __builtin_ia32_psubb256(__gcc_v32qi, __gcc_v32qi)
__gcc_v8sf __builtin_ia32_xorps256(__gcc_v8sf, __gcc_v8sf)
int __builtin_ia32_pcomequw()
__gcc_v2df __builtin_ia32_fmsubaddpd(__gcc_v2df, __gcc_v2df, __gcc_v2df)
__gcc_v2di __builtin_ia32_aeskeygenassist128(__gcc_v2di, const int)
int __builtin_ia32_pcomtrueub()
__gcc_v2si __builtin_ia32_cvtps2pi(__gcc_v4sf)
int __builtin_ia32_pcomtrueud()
__gcc_v16hi __builtin_ia32_pmovzxbw256(__gcc_v16qi)
__gcc_v2di __builtin_ia32_vpshaq(__gcc_v2di, __gcc_v2di)
__gcc_v4di __builtin_ia32_por256(__gcc_v4di, __gcc_v4di)
int __builtin_ia32_pmovmskb(__gcc_v8qi)
void __builtin_ia32_llwpcb64(void *)
__gcc_v2df __builtin_ia32_divsd(__gcc_v2df, __gcc_v2df)
int __builtin_ia32_comisdeq(__gcc_v2df, __gcc_v2df)
__gcc_v8si __builtin_ia32_cvttps2dq256(__gcc_v8sf)
__gcc_v8si __builtin_ia32_si256_si(__gcc_v4si)
__gcc_v4si __builtin_ia32_pabsd128(__gcc_v4si)
__gcc_v4sf __builtin_ia32_unpckhps(__gcc_v4sf, __gcc_v4sf)
__gcc_v2df __builtin_ia32_orpd(__gcc_v2df, __gcc_v2df)
unsigned int __builtin_ia32_rdrand32_step(unsigned int *)
__gcc_v2sf __builtin_ia32_pfsubr(__gcc_v2sf, __gcc_v2sf)
__gcc_v4df __builtin_ia32_fmsubpd256(__gcc_v4df, __gcc_v4df, __gcc_v4df)
__gcc_v4si __builtin_ia32_psrl__gcc_v4si(__gcc_v4si, __gcc_v4si)
unsigned long long __builtin_ia32_bextr_u64(unsigned long long, unsigned long long)
unsigned long long _pdep_u64(unsigned long long, unsigned long long)
__gcc_v4sf __builtin_ia32_maskloadps(const __gcc_v4sf *, __gcc_v4si)
int __builtin_ia32_ucomineq(__gcc_v4sf, __gcc_v4sf)
__gcc_v1di __builtin_ia32_psrlq(__gcc_v1di, __gcc_v1di)
int __builtin_ia32_phaddubw()
__gcc_v8si __builtin_ia32_phaddd256(__gcc_v8si, __gcc_v8si)
__gcc_v2df __builtin_ia32_cmpltpd(__gcc_v2df, __gcc_v2df)
__gcc_v4sf __builtin_ia32_fnmaddss(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf)
__gcc_v4df __builtin_ia32_fnmsubpd256(__gcc_v4df, __gcc_v4df, __gcc_v4df)
__gcc_v4si __builtin_ia32_movqv4si(__gcc_v4si)
__gcc_v2df __builtin_ia32_cvtss2sd(__gcc_v2df, __gcc_v4sf)
__gcc_v4sf __builtin_ia32_rsqrtss(__gcc_v4sf)
int __builtin_ia32_pperm()
__gcc_v16hi __builtin_ia32_pminsw256(__gcc_v16hi, __gcc_v16hi)
__gcc_v8si __builtin_ia32_pmulld256(__gcc_v8si, __gcc_v8si)
unsigned long long __builtin_ia32_crc32di(unsigned long long, unsigned long long)
__gcc_v4df __builtin_ia32_maskloadpd256(const __gcc_v4df *, __gcc_v4di)
int __builtin_ia32_comordps()
__gcc_v8hi __builtin_ia32_punpckhwd128(__gcc_v8hi, __gcc_v8hi)
__gcc_v2di __builtin_ia32_movq128(__gcc_v2di)
__gcc_v8qi __builtin_ia32_pavgb(__gcc_v8qi, __gcc_v8qi)
int __builtin_ia32_permpd()
int __builtin_ia32_frczps()
int __builtin_ia32_comgeps()
__gcc_v4si __builtin_ia32_maskloadd(const __gcc_v4si *, __gcc_v4si)
__gcc_v4sf __builtin_ia32_cmpltps(__gcc_v4sf, __gcc_v4sf)
__gcc_v8si __builtin_ia32_cvtps2dq256(__gcc_v8sf)
__gcc_v4si __builtin_ia32_pblendd128(__gcc_v4si, __gcc_v4si, int)
__gcc_v4df __builtin_ia32_shufpd256(__gcc_v4df, __gcc_v4df, int)
__gcc_v16hi __builtin_ia32_pavgw256(__gcc_v16hi, __gcc_v16hi)
int __builtin_ia32_pshld()
__gcc_v16qi __builtin_ia32_lddqu(const char *)
__gcc_v4di __builtin_ia32_pxor256(__gcc_v4di, __gcc_v4di)
int __builtin_ia32_pcomfalseb()
int __builtin_ia32_vec_ext___gcc_v16qi(__gcc_v16qi, const int)
__gcc_v16qi __builtin_ia32_vpperm(__gcc_v16qi, __gcc_v16qi, __gcc_v16qi)
__gcc_v32qi __builtin_ia32_paddusb256(__gcc_v32qi, __gcc_v32qi)
int __builtin_ia32_ucomigt(__gcc_v4sf, __gcc_v4sf)
__gcc_v2di __builtin_ia32_aesdec128(__gcc_v2di, __gcc_v2di)
__gcc_v2si __builtin_ia32_cvtpd2pi(__gcc_v2df)
__gcc_v16qi __builtin_ia32_vpcomltub(__gcc_v16qi, __gcc_v16qi)
__gcc_v4si __builtin_ia32_psll__gcc_v4si(__gcc_v4si, __gcc_v4si)
__gcc_v4df __builtin_ia32_vperm2f128_pd256(__gcc_v4df, __gcc_v4df, int)
__gcc_v4si __builtin_ia32_psignd128(__gcc_v4si, __gcc_v4si)
int __builtin_ia32_pcomneqq()
__gcc_v4sf __builtin_ia32_rcpss(__gcc_v4sf)
__gcc_v4sf __builtin_ia32_loadhps(__gcc_v4sf, const void *)
__gcc_v16qi __builtin_ia32_packsswb128(__gcc_v8hi, __gcc_v8hi)
__gcc_v16hi __builtin_ia32_pmaxsw256(__gcc_v16hi, __gcc_v16hi)
__gcc_v2df __builtin_ia32_vextractf128_pd256(__gcc_v4df, int)
__gcc_v8hi __builtin_ia32_pmulhw128(__gcc_v8hi, __gcc_v8hi)
int __builtin_popcount(unsigned int)
__gcc_v4df __builtin_ia32_fmaddsubpd256(__gcc_v4df, __gcc_v4df, __gcc_v4df)
__gcc_v4sf __builtin_ia32_vpermil2ps(__gcc_v4sf, __gcc_v4sf, __gcc_v4si, int)
__gcc_v4hi __builtin_ia32_phaddw(__gcc_v4hi, __gcc_v4hi)
void __builtin_ia32_lwpval64(unsigned long long, unsigned, unsigned)
__gcc_v4df __builtin_ia32_haddpd256(__gcc_v4df, __gcc_v4df)
int __builtin_ia32_ucomieq(__gcc_v4sf, __gcc_v4sf)
__gcc_v2df __builtin_ia32_subpd(__gcc_v2df, __gcc_v2df)
__gcc_v16qi __builtin_ia32_vpcmov_v16qi(__gcc_v16qi, __gcc_v16qi, __gcc_v16qi)
__gcc_v16hi __builtin_ia32_psllw256(__gcc_v16hi, __gcc_v8hi)
int __builtin_ia32_vtestcpd(__gcc_v2df, __gcc_v2df)
unsigned long long __gcc_di