CBMC
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);
7 void __builtin_ia32_pause();
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);
71 int __builtin_ia32_pextrw(__gcc_v4hi, int);
72 __gcc_v4hi __builtin_ia32_pinsrw(__gcc_v4hi, int, int);
73 int __builtin_ia32_pmovmskb(__gcc_v8qi);
74 void __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:
83 void __builtin_ia32_movntq(void*, ...);
84 
85 void __builtin_ia32_sfence();
86 int __builtin_ia32_comieq(__gcc_v4sf, __gcc_v4sf);
87 int __builtin_ia32_comineq(__gcc_v4sf, __gcc_v4sf);
88 int __builtin_ia32_comilt(__gcc_v4sf, __gcc_v4sf);
89 int __builtin_ia32_comile(__gcc_v4sf, __gcc_v4sf);
90 int __builtin_ia32_comigt(__gcc_v4sf, __gcc_v4sf);
91 int __builtin_ia32_comige(__gcc_v4sf, __gcc_v4sf);
92 int __builtin_ia32_ucomieq(__gcc_v4sf, __gcc_v4sf);
93 int __builtin_ia32_ucomineq(__gcc_v4sf, __gcc_v4sf);
94 int __builtin_ia32_ucomilt(__gcc_v4sf, __gcc_v4sf);
95 int __builtin_ia32_ucomile(__gcc_v4sf, __gcc_v4sf);
96 int __builtin_ia32_ucomigt(__gcc_v4sf, __gcc_v4sf);
97 int __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);
142 int __builtin_ia32_cvtss2si(__gcc_v4sf);
143 __gcc_v2si __builtin_ia32_cvttps2pi(__gcc_v4sf);
144 int __builtin_ia32_cvttss2si(__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);
152 void __builtin_ia32_movntps(float*, __gcc_v4sf);
153 int __builtin_ia32_movmskps(__gcc_v4sf);
154 __gcc_v4sf __builtin_ia32_loadaps(float*);
155 void __builtin_ia32_storeaps(float*, __gcc_v4sf);
156 __gcc_v4sf __builtin_ia32_loadups(const float*);
157 void __builtin_ia32_storeups(float*, __gcc_v4sf);
158 __gcc_v4sf __builtin_ia32_loadsss(float*);
159 void __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*);
176 void __builtin_ia32_storehps(void*, __gcc_v4sf);
177 void __builtin_ia32_storelps(void*, __gcc_v4sf);
178 
179 __gcc_v4si __builtin_ia32_loadlv4si(const __gcc_v2si*);
180 void __builtin_ia32_storelv4si(__gcc_v2si*, __gcc_v4si);
181 __gcc_v4si __builtin_ia32_movqv4si(__gcc_v4si);
182 
183 int __builtin_ia32_comisdeq(__gcc_v2df, __gcc_v2df);
184 int __builtin_ia32_comisdlt(__gcc_v2df, __gcc_v2df);
185 int __builtin_ia32_comisdle(__gcc_v2df, __gcc_v2df);
186 int __builtin_ia32_comisdgt(__gcc_v2df, __gcc_v2df);
187 int __builtin_ia32_comisdge(__gcc_v2df, __gcc_v2df);
188 int __builtin_ia32_comisdneq(__gcc_v2df, __gcc_v2df);
189 int __builtin_ia32_ucomisdeq(__gcc_v2df, __gcc_v2df);
190 int __builtin_ia32_ucomisdlt(__gcc_v2df, __gcc_v2df);
191 int __builtin_ia32_ucomisdle(__gcc_v2df, __gcc_v2df);
192 int __builtin_ia32_ucomisdgt(__gcc_v2df, __gcc_v2df);
193 int __builtin_ia32_ucomisdge(__gcc_v2df, __gcc_v2df);
194 int __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);
274 void __builtin_ia32_maskmovdqu(__gcc_v16qi, __gcc_v16qi, char*);
275 __gcc_v2df __builtin_ia32_loadupd(const double*);
276 void __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*);
279 int __builtin_ia32_movmskpd(__gcc_v2df);
280 int __builtin_ia32_pmovmskb128(__gcc_v16qi);
281 void __builtin_ia32_movnti(int*, int);
282 void __builtin_ia32_movnti64(long long*, long long);
283 void __builtin_ia32_movntpd(double*, __gcc_v2df);
284 void __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);
300 int __builtin_ia32_cvtsd2si(__gcc_v2df);
301 int __builtin_ia32_cvttsd2si(__gcc_v2df);
302 long long __builtin_ia32_cvtsd2si64(__gcc_v2df);
303 long 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);
311 void __builtin_ia32_clflush(const void*);
312 void __builtin_ia32_lfence();
313 void __builtin_ia32_mfence(void);
314 __gcc_v16qi __builtin_ia32_loaddqu(const char*);
315 void __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*);
345 void __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);
349 void __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);
419 int __builtin_ia32_ptestc128(__gcc_v2di, __gcc_v2di);
420 int __builtin_ia32_ptestnzc128(__gcc_v2di, __gcc_v2di);
421 int __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);
426 int __builtin_ia32_vec_ext___gcc_v16qi(__gcc_v16qi, const int);
427 float __builtin_ia32_vec_ext___gcc_v4sf(__gcc_v4sf, const int);
428 int __builtin_ia32_vec_ext___gcc_v4si(__gcc_v4si, const int);
429 __gcc_di __builtin_ia32_vec_ext___gcc_v2di(__gcc_v2di, const int);
430 __gcc_v16qi __builtin_ia32_pcmpestrm128(__gcc_v16qi, int, __gcc_v16qi, int, const int);
431 int __builtin_ia32_pcmpestri128(__gcc_v16qi, int, __gcc_v16qi, int, const int);
432 int __builtin_ia32_pcmpestria128(__gcc_v16qi, int, __gcc_v16qi, int, const int);
433 int __builtin_ia32_pcmpestric128(__gcc_v16qi, int, __gcc_v16qi, int, const int);
434 int __builtin_ia32_pcmpestrio128(__gcc_v16qi, int, __gcc_v16qi, int, const int);
435 int __builtin_ia32_pcmpestris128(__gcc_v16qi, int, __gcc_v16qi, int, const int);
436 int __builtin_ia32_pcmpestriz128(__gcc_v16qi, int, __gcc_v16qi, int, const int);
437 __gcc_v16qi __builtin_ia32_pcmpistrm128(__gcc_v16qi, __gcc_v16qi, const int);
438 int __builtin_ia32_pcmpistri128(__gcc_v16qi, __gcc_v16qi, const int);
439 int __builtin_ia32_pcmpistria128(__gcc_v16qi, __gcc_v16qi, const int);
440 int __builtin_ia32_pcmpistric128(__gcc_v16qi, __gcc_v16qi, const int);
441 int __builtin_ia32_pcmpistrio128(__gcc_v16qi, __gcc_v16qi, const int);
442 int __builtin_ia32_pcmpistris128(__gcc_v16qi, __gcc_v16qi, const int);
443 int __builtin_ia32_pcmpistriz128(__gcc_v16qi, __gcc_v16qi, const int);
444 __gcc_v2di __builtin_ia32_pcmpgtq(__gcc_v2di, __gcc_v2di);
445 unsigned __builtin_ia32_crc32qi(unsigned, unsigned char);
446 unsigned __builtin_ia32_crc32hi(unsigned, unsigned short);
447 unsigned __builtin_ia32_crc32si(unsigned, unsigned);
448 unsigned long long __builtin_ia32_crc32di(unsigned long long, unsigned long long);
449 int __builtin_popcount(unsigned int);
450 int __builtin_popcountl(unsigned long);
451 int __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);
493 void __builtin_ia32_maskstorepd(__gcc_v2df*, __gcc_v2di, __gcc_v2df);
494 void __builtin_ia32_maskstorepd256(__gcc_v4df*, __gcc_v4di, __gcc_v4df);
495 void __builtin_ia32_maskstoreps(__gcc_v4sf*, __gcc_v4si, __gcc_v4sf);
496 void __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);
502 int __builtin_ia32_movmskpd256(__gcc_v4df);
503 int __builtin_ia32_movmskps256(__gcc_v8sf);
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);
514 int __builtin_ia32_ptestc256(__gcc_v4di, __gcc_v4di);
515 int __builtin_ia32_ptestnzc256(__gcc_v4di, __gcc_v4di);
516 int __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);
529 void __builtin_ia32_storedqu256(char*, __gcc_v32qi);
530 void __builtin_ia32_storeupd256(double*, __gcc_v4df);
531 void __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);
564 int __builtin_ia32_vtestcpd(__gcc_v2df, __gcc_v2df);
565 int __builtin_ia32_vtestcpd256(__gcc_v4df, __gcc_v4df);
566 int __builtin_ia32_vtestcps(__gcc_v4sf, __gcc_v4sf);
567 int __builtin_ia32_vtestcps256(__gcc_v8sf, __gcc_v8sf);
568 int __builtin_ia32_vtestnzcpd(__gcc_v2df, __gcc_v2df);
569 int __builtin_ia32_vtestnzcpd256(__gcc_v4df, __gcc_v4df);
570 int __builtin_ia32_vtestnzcps(__gcc_v4sf, __gcc_v4sf);
571 int __builtin_ia32_vtestnzcps256(__gcc_v8sf, __gcc_v8sf);
572 int __builtin_ia32_vtestzpd(__gcc_v2df, __gcc_v2df);
573 int __builtin_ia32_vtestzpd256(__gcc_v4df, __gcc_v4df);
574 int __builtin_ia32_vtestzps(__gcc_v4sf, __gcc_v4sf);
575 int __builtin_ia32_vtestzps256(__gcc_v8sf, __gcc_v8sf);
576 void __builtin_ia32_vzeroall();
577 void __builtin_ia32_vzeroupper();
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);
631 int __builtin_ia32_pmovmskb256(__gcc_v32qi);
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);
697 __gcc_v8sf __builtin_ia32_vbroadcastss_ps256(__gcc_v4sf);
698 __gcc_v4df __builtin_ia32_vbroadcastsd_pd256(__gcc_v2df);
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);
721 void __builtin_ia32_maskstored256(__gcc_v8si*, __gcc_v8si, __gcc_v8si);
722 void __builtin_ia32_maskstoreq256(__gcc_v4di*, __gcc_v4di, __gcc_v4di);
723 void __builtin_ia32_maskstored(__gcc_v4si*, __gcc_v4si, __gcc_v4si);
724 void __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);
758 unsigned __builtin_ia32_rdfsbase32();
759 unsigned long long __builtin_ia32_rdfsbase64();
760 unsigned __builtin_ia32_rdgsbase32();
761 unsigned long long __builtin_ia32_rdgsbase64();
762 void _writefsbase_u32(unsigned int);
763 void _writefsbase_u64(unsigned long long);
764 void _writegsbase_u32(unsigned int);
765 void _writegsbase_u64(unsigned long long);
766 unsigned int __builtin_ia32_rdrand16_step(unsigned short*);
767 unsigned int __builtin_ia32_rdrand32_step(unsigned int*);
768 unsigned int __builtin_ia32_rdrand64_step(unsigned long long*);
769 void __builtin_ia32_movntsd(double*, __gcc_v2df);
770 void __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);
931 void __builtin_ia32_llwpcb16(void*);
932 void __builtin_ia32_llwpcb32(void*);
933 void __builtin_ia32_llwpcb64(void*);
934 //void* __builtin_ia32_llwpcb16(void);
935 //void* __builtin_ia32_llwpcb32(void);
936 //void* __builtin_ia32_llwpcb64(void);
937 void __builtin_ia32_lwpval16(unsigned short, unsigned int, unsigned short);
938 void __builtin_ia32_lwpval32(unsigned, unsigned, unsigned);
939 void __builtin_ia32_lwpval64(unsigned long long, unsigned, unsigned);
940 unsigned char __builtin_ia32_lwpins16(unsigned short, unsigned int, unsigned short);
941 unsigned char __builtin_ia32_lwpins32(unsigned, unsigned, unsigned);
942 unsigned char __builtin_ia32_lwpins64(unsigned long long, unsigned, unsigned);
943 unsigned __builtin_ia32_bextr_u32(unsigned, unsigned);
944 unsigned long long __builtin_ia32_bextr_u64(unsigned long long, unsigned long long);
945 unsigned int _bzhi_u32(unsigned int, unsigned int);
946 unsigned int _pdep_u32(unsigned int, unsigned int);
947 unsigned int _pext_u32(unsigned int, unsigned int);
948 unsigned long long _bzhi_u64(unsigned long long, unsigned long long);
949 unsigned long long _pdep_u64(unsigned long long, unsigned long long);
950 unsigned long long _pext_u64(unsigned long long, unsigned long long);
951 unsigned short __builtin_ia32_lzcnt_16(unsigned short);
952 unsigned __builtin_ia32_lzcnt_u32(unsigned);
953 unsigned long long __builtin_ia32_lzcnt_u64(unsigned long long);
954 unsigned __builtin_ia32_bextri_u32(unsigned, unsigned);
955 unsigned long long __builtin_ia32_bextri_u64(unsigned long long, unsigned long long);
956 void __builtin_ia32_femms();
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);
986 int __builtin_ia32_comeqpd();
987 int __builtin_ia32_comeqps();
988 int __builtin_ia32_comeqsd();
989 int __builtin_ia32_comeqss();
990 int __builtin_ia32_comfalsepd();
991 int __builtin_ia32_comfalseps();
992 int __builtin_ia32_comfalsesd();
993 int __builtin_ia32_comfalsess();
994 int __builtin_ia32_comgepd();
995 int __builtin_ia32_comgeps();
996 int __builtin_ia32_comgesd();
997 int __builtin_ia32_comgess();
998 int __builtin_ia32_comgtpd();
999 int __builtin_ia32_comgtps();
1000 int __builtin_ia32_comgtsd();
1001 int __builtin_ia32_comgtss();
1002 int __builtin_ia32_comlepd();
1003 int __builtin_ia32_comleps();
1004 int __builtin_ia32_comlesd();
1005 int __builtin_ia32_comless();
1006 int __builtin_ia32_comltpd();
1007 int __builtin_ia32_comltps();
1008 int __builtin_ia32_comltsd();
1009 int __builtin_ia32_comltss();
1010 int __builtin_ia32_comneqpd();
1011 int __builtin_ia32_comneqps();
1012 int __builtin_ia32_comneqsd();
1013 int __builtin_ia32_comneqss();
1014 int __builtin_ia32_comordpd();
1015 int __builtin_ia32_comordps();
1016 int __builtin_ia32_comordsd();
1017 int __builtin_ia32_comordss();
1018 int __builtin_ia32_comtruepd();
1019 int __builtin_ia32_comtrueps();
1020 int __builtin_ia32_comtruesd();
1021 int __builtin_ia32_comtruess();
1022 int __builtin_ia32_comueqpd();
1023 int __builtin_ia32_comueqps();
1024 int __builtin_ia32_comueqsd();
1025 int __builtin_ia32_comueqss();
1026 int __builtin_ia32_comuneqpd();
1027 int __builtin_ia32_comuneqps();
1028 int __builtin_ia32_comuneqsd();
1029 int __builtin_ia32_comuneqss();
1030 int __builtin_ia32_comungepd();
1031 int __builtin_ia32_comungeps();
1032 int __builtin_ia32_comungesd();
1033 int __builtin_ia32_comungess();
1034 int __builtin_ia32_comungtpd();
1035 int __builtin_ia32_comungtps();
1036 int __builtin_ia32_comungtsd();
1037 int __builtin_ia32_comungtss();
1038 int __builtin_ia32_comunlepd();
1039 int __builtin_ia32_comunleps();
1040 int __builtin_ia32_comunlesd();
1041 int __builtin_ia32_comunless();
1042 int __builtin_ia32_comunltpd();
1043 int __builtin_ia32_comunltps();
1044 int __builtin_ia32_comunltsd();
1045 int __builtin_ia32_comunltss();
1046 int __builtin_ia32_comunordpd();
1047 int __builtin_ia32_comunordps();
1048 int __builtin_ia32_comunordsd();
1049 int __builtin_ia32_comunordss();
1050 int __builtin_ia32_frczpd();
1051 int __builtin_ia32_frczps();
1052 int __builtin_ia32_frczsd();
1053 int __builtin_ia32_frczss();
1054 int __builtin_ia32_pcmov();
1055 int __builtin_ia32_pcomeqb();
1056 int __builtin_ia32_pcomeqd();
1057 int __builtin_ia32_pcomeqq();
1058 int __builtin_ia32_pcomequb();
1059 int __builtin_ia32_pcomequd();
1060 int __builtin_ia32_pcomequq();
1061 int __builtin_ia32_pcomequw();
1062 int __builtin_ia32_pcomeqw();
1063 int __builtin_ia32_pcomfalseb();
1064 int __builtin_ia32_pcomfalsed();
1065 int __builtin_ia32_pcomfalseq();
1066 int __builtin_ia32_pcomfalseub();
1067 int __builtin_ia32_pcomfalseud();
1068 int __builtin_ia32_pcomfalseuq();
1069 int __builtin_ia32_pcomfalseuw();
1070 int __builtin_ia32_pcomfalsew();
1071 int __builtin_ia32_pcomgeb();
1072 int __builtin_ia32_pcomged();
1073 int __builtin_ia32_pcomgeq();
1074 int __builtin_ia32_pcomgeub();
1075 int __builtin_ia32_pcomgeud();
1076 int __builtin_ia32_pcomgeuq();
1077 int __builtin_ia32_pcomgeuw();
1078 int __builtin_ia32_pcomgew();
1079 int __builtin_ia32_pcomgtb();
1080 int __builtin_ia32_pcomgtd();
1081 int __builtin_ia32_pcomgtq();
1082 int __builtin_ia32_pcomgtub();
1083 int __builtin_ia32_pcomgtud();
1084 int __builtin_ia32_pcomgtuq();
1085 int __builtin_ia32_pcomgtuw();
1086 int __builtin_ia32_pcomgtw();
1087 int __builtin_ia32_pcomleb();
1088 int __builtin_ia32_pcomled();
1089 int __builtin_ia32_pcomleq();
1090 int __builtin_ia32_pcomleub();
1091 int __builtin_ia32_pcomleud();
1092 int __builtin_ia32_pcomleuq();
1093 int __builtin_ia32_pcomleuw();
1094 int __builtin_ia32_pcomlew();
1095 int __builtin_ia32_pcomltb();
1096 int __builtin_ia32_pcomltd();
1097 int __builtin_ia32_pcomltq();
1098 int __builtin_ia32_pcomltub();
1099 int __builtin_ia32_pcomltud();
1100 int __builtin_ia32_pcomltuq();
1101 int __builtin_ia32_pcomltuw();
1102 int __builtin_ia32_pcomltw();
1103 int __builtin_ia32_pcomneqb();
1104 int __builtin_ia32_pcomneqd();
1105 int __builtin_ia32_pcomneqq();
1106 int __builtin_ia32_pcomnequb();
1107 int __builtin_ia32_pcomnequd();
1108 int __builtin_ia32_pcomnequq();
1109 int __builtin_ia32_pcomnequw();
1110 int __builtin_ia32_pcomneqw();
1111 int __builtin_ia32_pcomtrueb();
1112 int __builtin_ia32_pcomtrued();
1113 int __builtin_ia32_pcomtrueq();
1114 int __builtin_ia32_pcomtrueub();
1115 int __builtin_ia32_pcomtrueud();
1116 int __builtin_ia32_pcomtrueuq();
1117 int __builtin_ia32_pcomtrueuw();
1118 int __builtin_ia32_pcomtruew();
1119 int __builtin_ia32_permpd();
1120 int __builtin_ia32_permps();
1121 int __builtin_ia32_phaddbd();
1122 int __builtin_ia32_phaddbq();
1123 int __builtin_ia32_phaddbw();
1124 int __builtin_ia32_phadddq();
1125 int __builtin_ia32_phaddubd();
1126 int __builtin_ia32_phaddubq();
1127 int __builtin_ia32_phaddubw();
1128 int __builtin_ia32_phaddudq();
1129 int __builtin_ia32_phadduwd();
1130 int __builtin_ia32_phadduwq();
1131 int __builtin_ia32_phaddwd();
1132 int __builtin_ia32_phaddwq();
1133 int __builtin_ia32_phsubbw();
1134 int __builtin_ia32_phsubdq();
1135 int __builtin_ia32_phsubwd();
1136 int __builtin_ia32_pmacsdd();
1137 int __builtin_ia32_pmacsdqh();
1138 int __builtin_ia32_pmacsdql();
1139 int __builtin_ia32_pmacssdd();
1140 int __builtin_ia32_pmacssdqh();
1141 int __builtin_ia32_pmacssdql();
1142 int __builtin_ia32_pmacsswd();
1143 int __builtin_ia32_pmacssww();
1144 int __builtin_ia32_pmacswd();
1145 int __builtin_ia32_pmacsww();
1146 int __builtin_ia32_pmadcsswd();
1147 int __builtin_ia32_pmadcswd();
1148 int __builtin_ia32_pperm();
1149 int __builtin_ia32_protb();
1150 int __builtin_ia32_protd();
1151 int __builtin_ia32_protq();
1152 int __builtin_ia32_protw();
1153 int __builtin_ia32_pshab();
1154 int __builtin_ia32_pshad();
1155 int __builtin_ia32_pshaq();
1156 int __builtin_ia32_pshaw();
1157 int __builtin_ia32_pshlb();
1158 int __builtin_ia32_pshld();
1159 int __builtin_ia32_pshlq();
1160 int __builtin_ia32_pshlw();
1161 double __builtin_ia32_vec_ext_v2df(__gcc_v2df, int);
1162 __gcc_di __builtin_ia32_vec_ext_v2di(__gcc_v2di, int);
1163 float __builtin_ia32_vec_ext_v4sf(__gcc_v4sf, int);
1164 int __builtin_ia32_vec_ext_v4si(__gcc_v4si, int);
1165 // clang-format on
__builtin_ia32_vpcomgtub
__gcc_v16qi __builtin_ia32_vpcomgtub(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_psrawi128
__gcc_v8hi __builtin_ia32_psrawi128(__gcc_v8hi, int)
__builtin_ia32_pminsd128
__gcc_v4si __builtin_ia32_pminsd128(__gcc_v4si, __gcc_v4si)
__builtin_ia32_psllq128
__gcc_v2di __builtin_ia32_psllq128(__gcc_v2di, __gcc_v2di)
__builtin_ia32_mulps256
__gcc_v8sf __builtin_ia32_mulps256(__gcc_v8sf, __gcc_v8sf)
__builtin_ia32_pfrcpit1
__gcc_v2sf __builtin_ia32_pfrcpit1(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_vpcomltw
__gcc_v8hi __builtin_ia32_vpcomltw(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_hsubps
__gcc_v4sf __builtin_ia32_hsubps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_divpd256
__gcc_v4df __builtin_ia32_divpd256(__gcc_v4df, __gcc_v4df)
__builtin_ia32_pcmpgtb256
__gcc_v32qi __builtin_ia32_pcmpgtb256(__gcc_v32qi, __gcc_v32qi)
__builtin_ia32_sqrtps256
__gcc_v8sf __builtin_ia32_sqrtps256(__gcc_v8sf)
__builtin_ia32_mulps
__gcc_v4sf __builtin_ia32_mulps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_lwpins32
unsigned char __builtin_ia32_lwpins32(unsigned, unsigned, unsigned)
__builtin_ia32_pcomgeud
int __builtin_ia32_pcomgeud()
__builtin_ia32_lwpins16
unsigned char __builtin_ia32_lwpins16(unsigned short, unsigned int, unsigned short)
__builtin_ia32_mpsadbw128
__gcc_v16qi __builtin_ia32_mpsadbw128(__gcc_v16qi, __gcc_v16qi, int)
__builtin_ia32_monitor
void __builtin_ia32_monitor(void *, unsigned int, unsigned int)
__builtin_ia32_pcomltub
int __builtin_ia32_pcomltub()
__builtin_ia32_fnmsubps256
__gcc_v8sf __builtin_ia32_fnmsubps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf)
__builtin_ia32_vpcomgew
__gcc_v8hi __builtin_ia32_vpcomgew(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_pmulhuw128
__gcc_v8hi __builtin_ia32_pmulhuw128(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_fmsubaddpd256
__gcc_v4df __builtin_ia32_fmsubaddpd256(__gcc_v4df, __gcc_v4df, __gcc_v4df)
__builtin_ia32_cmpordpd
__gcc_v2df __builtin_ia32_cmpordpd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_pause
void __builtin_ia32_pause()
__builtin_ia32_aesenclast128
__gcc_v2di __builtin_ia32_aesenclast128(__gcc_v2di, __gcc_v2di)
__builtin_ia32_pcomfalseq
int __builtin_ia32_pcomfalseq()
__builtin_ia32_unpcklps256
__gcc_v8sf __builtin_ia32_unpcklps256(__gcc_v8sf, __gcc_v8sf)
__builtin_ia32_loadups
__gcc_v4sf __builtin_ia32_loadups(const float *)
__builtin_ia32_pfrsqrt
__gcc_v2sf __builtin_ia32_pfrsqrt(__gcc_v2sf)
__builtin_ia32_pcmpestris128
int __builtin_ia32_pcmpestris128(__gcc_v16qi, int, __gcc_v16qi, int, const int)
__builtin_ia32_vpcomleub
__gcc_v16qi __builtin_ia32_vpcomleub(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_psrl__gcc_v4di
__gcc_v4di __builtin_ia32_psrl__gcc_v4di(__gcc_v4di, __gcc_v4di)
__builtin_ia32_cmpnlepd
__gcc_v2df __builtin_ia32_cmpnlepd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_pcmpistria128
int __builtin_ia32_pcmpistria128(__gcc_v16qi, __gcc_v16qi, const int)
__builtin_ia32_psrldi256
__gcc_v8si __builtin_ia32_psrldi256(__gcc_v8si, int)
__builtin_ia32_pcmpgtb
__gcc_v8qi __builtin_ia32_pcmpgtb(__gcc_v8qi, __gcc_v8qi)
__builtin_ia32_cmpneqss
__gcc_v4sf __builtin_ia32_cmpneqss(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_pfmin
__gcc_v2sf __builtin_ia32_pfmin(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_cmpsd
__gcc_v2df __builtin_ia32_cmpsd(__gcc_v2df, __gcc_v2df, int)
__builtin_ia32_cmpgtps
__gcc_v4sf __builtin_ia32_cmpgtps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_pshufb256
__gcc_v32qi __builtin_ia32_pshufb256(__gcc_v32qi, __gcc_v32qi)
__builtin_ia32_vpermilps256
__gcc_v8sf __builtin_ia32_vpermilps256(__gcc_v8sf, int)
__builtin_ia32_gatherdi__gcc_v2di
__gcc_v2di __builtin_ia32_gatherdi__gcc_v2di(__gcc_v2di, const long long int *, __gcc_v2di, __gcc_v2di, int)
__builtin_ia32_pmullw256
__gcc_v16hi __builtin_ia32_pmullw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_maxpd256
__gcc_v4df __builtin_ia32_maxpd256(__gcc_v4df, __gcc_v4df)
__builtin_ia32_pblendw256
__gcc_v16hi __builtin_ia32_pblendw256(__gcc_v16hi, __gcc_v16hi, int)
__builtin_ia32_pmovsxbw256
__gcc_v16hi __builtin_ia32_pmovsxbw256(__gcc_v16qi)
__builtin_ia32_pcomtrueub
int __builtin_ia32_pcomtrueub()
__builtin_ia32_vpcmov_v8si256
__gcc_v8si __builtin_ia32_vpcmov_v8si256(__gcc_v8si, __gcc_v8si, __gcc_v8si)
__builtin_ia32_paddusb
__gcc_v8qi __builtin_ia32_paddusb(__gcc_v8qi, __gcc_v8qi)
__builtin_ia32_pcomeqq
int __builtin_ia32_pcomeqq()
__builtin_ia32_comungesd
int __builtin_ia32_comungesd()
__builtin_ia32_roundss
__gcc_v4sf __builtin_ia32_roundss(__gcc_v4sf, __gcc_v4sf, int)
__builtin_ia32_andps256
__gcc_v8sf __builtin_ia32_andps256(__gcc_v8sf, __gcc_v8sf)
__builtin_ia32_pswapdsf
__gcc_v2sf __builtin_ia32_pswapdsf(__gcc_v2sf)
__builtin_ia32_phaddwq
int __builtin_ia32_phaddwq()
__builtin_ia32_vpshaw
__gcc_v8hi __builtin_ia32_vpshaw(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_fmsubsd
__gcc_v2df __builtin_ia32_fmsubsd(__gcc_v2df, __gcc_v2df, __gcc_v2df)
_bzhi_u32
unsigned int _bzhi_u32(unsigned int, unsigned int)
__builtin_ia32_psllwi256
__gcc_v16hi __builtin_ia32_psllwi256(__gcc_v16hi, int)
__builtin_ia32_subps256
__gcc_v8sf __builtin_ia32_subps256(__gcc_v8sf, __gcc_v8sf)
__builtin_ia32_vec_ext_v2di
__gcc_di __builtin_ia32_vec_ext_v2di(__gcc_v2di, int)
__builtin_ia32_unpcklpd
__gcc_v2df __builtin_ia32_unpcklpd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_psrld256
__gcc_v8si __builtin_ia32_psrld256(__gcc_v8si, __gcc_v4si)
__builtin_ia32_pcmpeqb128
__gcc_v16qi __builtin_ia32_pcmpeqb128(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_vphaddbd
__gcc_v4si __builtin_ia32_vphaddbd(__gcc_v16qi)
__builtin_ia32_pcomleub
int __builtin_ia32_pcomleub()
__builtin_ia32_phsubd256
__gcc_v8si __builtin_ia32_phsubd256(__gcc_v8si, __gcc_v8si)
_bzhi_u64
unsigned long long _bzhi_u64(unsigned long long, unsigned long long)
__builtin_ia32_haddps256
__gcc_v8sf __builtin_ia32_haddps256(__gcc_v8sf, __gcc_v8sf)
__builtin_ia32_vpcmov_v4sf
__gcc_v4sf __builtin_ia32_vpcmov_v4sf(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf)
__builtin_ia32_gatherdi__gcc_v4df
__gcc_v4df __builtin_ia32_gatherdi__gcc_v4df(__gcc_v4df, const double *, __gcc_v4di, __gcc_v4df, int)
__builtin_ia32_sqrtps_nr256
__gcc_v8sf __builtin_ia32_sqrtps_nr256(__gcc_v8sf)
__builtin_ia32_rcpss
__gcc_v4sf __builtin_ia32_rcpss(__gcc_v4sf)
__builtin_ia32_pfpnacc
__gcc_v2sf __builtin_ia32_pfpnacc(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_pshlb
int __builtin_ia32_pshlb()
__builtin_ia32_vpcomeqw
__gcc_v8hi __builtin_ia32_vpcomeqw(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_pcomfalseb
int __builtin_ia32_pcomfalseb()
__builtin_ia32_comueqps
int __builtin_ia32_comueqps()
__builtin_ia32_psrlqi
__gcc_v1di __builtin_ia32_psrlqi(__gcc_v1di, int)
__builtin_ia32_psignw
__gcc_v4hi __builtin_ia32_psignw(__gcc_v4hi, __gcc_v4hi)
__builtin_ia32_pfadd
__gcc_v2sf __builtin_ia32_pfadd(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_rcpps
__gcc_v4sf __builtin_ia32_rcpps(__gcc_v4sf)
__builtin_ia32_cvtpd2dq256
__gcc_v4si __builtin_ia32_cvtpd2dq256(__gcc_v4df)
__builtin_ia32_maskloadps256
__gcc_v8sf __builtin_ia32_maskloadps256(const __gcc_v8sf *, __gcc_v8si)
__builtin_ia32_pmulld128
__gcc_v4si __builtin_ia32_pmulld128(__gcc_v4si, __gcc_v4si)
__builtin_ia32_pmulhrsw256
__gcc_v16hi __builtin_ia32_pmulhrsw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_cmpnltss
__gcc_v4sf __builtin_ia32_cmpnltss(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_pmuludq
__gcc_v1di __builtin_ia32_pmuludq(__gcc_v2si, __gcc_v2si)
__builtin_ia32_pcmpeqw128
__gcc_v8hi __builtin_ia32_pcmpeqw128(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_pmaddubsw128
__gcc_v8hi __builtin_ia32_pmaddubsw128(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_addsubps256
__gcc_v8sf __builtin_ia32_addsubps256(__gcc_v8sf, __gcc_v8sf)
__builtin_ia32_vpcomged
__gcc_v4si __builtin_ia32_vpcomged(__gcc_v4si, __gcc_v4si)
__builtin_ia32_comlepd
int __builtin_ia32_comlepd()
__builtin_ia32_pcomequw
int __builtin_ia32_pcomequw()
__builtin_ia32_pminud128
__gcc_v4si __builtin_ia32_pminud128(__gcc_v4si, __gcc_v4si)
__builtin_ia32_permdi256
__gcc_v4di __builtin_ia32_permdi256(__gcc_v4di, int)
__builtin_ia32_comgesd
int __builtin_ia32_comgesd()
__builtin_ia32_psll__gcc_v2di
__gcc_v2di __builtin_ia32_psll__gcc_v2di(__gcc_v2di, __gcc_v2di)
__builtin_ia32_pmovsxdq256
__gcc_v4di __builtin_ia32_pmovsxdq256(__gcc_v4si)
__builtin_ia32_fnmaddss
__gcc_v4sf __builtin_ia32_fnmaddss(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf)
__builtin_ia32_vpcomtrueuw
__gcc_v8hi __builtin_ia32_vpcomtrueuw(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_permti256
__gcc_v4di __builtin_ia32_permti256(__gcc_v4di, __gcc_v4di, int)
__builtin_ia32_vbroadcastsd_pd256
__gcc_v4df __builtin_ia32_vbroadcastsd_pd256(__gcc_v2df)
__builtin_ia32_ucomilt
int __builtin_ia32_ucomilt(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_protq
int __builtin_ia32_protq()
__builtin_ia32_psllwi128
__gcc_v8hi __builtin_ia32_psllwi128(__gcc_v8hi, int)
__builtin_ia32_pmovsxbd256
__gcc_v8si __builtin_ia32_pmovsxbd256(__gcc_v16qi)
__builtin_ia32_si256_si
__gcc_v8si __builtin_ia32_si256_si(__gcc_v4si)
__builtin_ia32_psubb128
__gcc_v16qi __builtin_ia32_psubb128(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_vpcomeqd
__gcc_v4si __builtin_ia32_vpcomeqd(__gcc_v4si, __gcc_v4si)
__builtin_ia32_pshaw
int __builtin_ia32_pshaw()
__builtin_ia32_vtestzpd
int __builtin_ia32_vtestzpd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_maxss
__gcc_v4sf __builtin_ia32_maxss(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_pmovzxwd128
__gcc_v4si __builtin_ia32_pmovzxwd128(__gcc_v8hi)
__builtin_ia32_addsd
__gcc_v2df __builtin_ia32_addsd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_vtestcpd256
int __builtin_ia32_vtestcpd256(__gcc_v4df, __gcc_v4df)
_writegsbase_u32
void _writegsbase_u32(unsigned int)
__builtin_ia32_palignr
__gcc_v1di __builtin_ia32_palignr(__gcc_v1di, __gcc_v1di, int)
__builtin_ia32_psubw256
__gcc_v16hi __builtin_ia32_psubw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_insertq
__gcc_v2di __builtin_ia32_insertq(__gcc_v2di, __gcc_v2di)
__builtin_ia32_psubusw
__gcc_v4hi __builtin_ia32_psubusw(__gcc_v4hi, __gcc_v4hi)
__builtin_ia32_pcmpgtd128
__gcc_v4si __builtin_ia32_pcmpgtd128(__gcc_v4si, __gcc_v4si)
__builtin_ia32_rsqrtps
__gcc_v4sf __builtin_ia32_rsqrtps(__gcc_v4sf)
__builtin_ia32_pmovzxbw128
__gcc_v8hi __builtin_ia32_pmovzxbw128(__gcc_v16qi)
__builtin_ia32_haddpd256
__gcc_v4df __builtin_ia32_haddpd256(__gcc_v4df, __gcc_v4df)
__builtin_ia32_phaddd
__gcc_v2si __builtin_ia32_phaddd(__gcc_v2si, __gcc_v2si)
__builtin_ia32_vpermilpd256
__gcc_v4df __builtin_ia32_vpermilpd256(__gcc_v4df, int)
__builtin_ia32_cmpgtpd
__gcc_v2df __builtin_ia32_cmpgtpd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_shufpd256
__gcc_v4df __builtin_ia32_shufpd256(__gcc_v4df, __gcc_v4df, int)
__builtin_ia32_cvtpd2ps
__gcc_v4sf __builtin_ia32_cvtpd2ps(__gcc_v2df)
__builtin_ia32_ptestz128
int __builtin_ia32_ptestz128(__gcc_v2di, __gcc_v2di)
__builtin_ia32_pmovsxwq256
__gcc_v4di __builtin_ia32_pmovsxwq256(__gcc_v8hi)
__builtin_ia32_cmpps256
__gcc_v8sf __builtin_ia32_cmpps256(__gcc_v8sf, __gcc_v8sf, int)
__builtin_ia32_phaddubd
int __builtin_ia32_phaddubd()
__builtin_ia32_lwpval32
void __builtin_ia32_lwpval32(unsigned, unsigned, unsigned)
__builtin_ia32_pi2fw
__gcc_v2sf __builtin_ia32_pi2fw(__gcc_v2si)
__builtin_ia32_comisdeq
int __builtin_ia32_comisdeq(__gcc_v2df, __gcc_v2df)
__builtin_ia32_pcomgtuw
int __builtin_ia32_pcomgtuw()
__builtin_ia32_vpmacssdqh
__gcc_v2di __builtin_ia32_vpmacssdqh(__gcc_v4si, __gcc_v4si, __gcc_v2di)
__builtin_ia32_pcmpistrm128
__gcc_v16qi __builtin_ia32_pcmpistrm128(__gcc_v16qi, __gcc_v16qi, const int)
__builtin_ia32_vbroadcastss_ps256
__gcc_v8sf __builtin_ia32_vbroadcastss_ps256(__gcc_v4sf)
__builtin_ia32_cmpngtpd
__gcc_v2df __builtin_ia32_cmpngtpd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_vpmacssdd
__gcc_v4si __builtin_ia32_vpmacssdd(__gcc_v4si, __gcc_v4si, __gcc_v4si)
__builtin_ia32_vpcmov_v4si
__gcc_v4si __builtin_ia32_vpcmov_v4si(__gcc_v4si, __gcc_v4si, __gcc_v4si)
_writefsbase_u32
void _writefsbase_u32(unsigned int)
__builtin_ia32_frczsd
int __builtin_ia32_frczsd()
__builtin_ia32_vpcmov_v32qi256
__gcc_v32qi __builtin_ia32_vpcmov_v32qi256(__gcc_v32qi, __gcc_v32qi, __gcc_v32qi)
__builtin_ia32_pcomgtub
int __builtin_ia32_pcomgtub()
__builtin_ia32_paddusb256
__gcc_v32qi __builtin_ia32_paddusb256(__gcc_v32qi, __gcc_v32qi)
__builtin_ia32_gatherdi__gcc_v4di
__gcc_v4di __builtin_ia32_gatherdi__gcc_v4di(__gcc_v4di, const long long int *, __gcc_v4di, __gcc_v4di, int)
__builtin_ia32_unpckhpd256
__gcc_v4df __builtin_ia32_unpckhpd256(__gcc_v4df, __gcc_v4df)
__builtin_ia32_psubsb
__gcc_v8qi __builtin_ia32_psubsb(__gcc_v8qi, __gcc_v8qi)
__builtin_ia32_andnps256
__gcc_v8sf __builtin_ia32_andnps256(__gcc_v8sf, __gcc_v8sf)
__builtin_ia32_phsubsw256
__gcc_v16hi __builtin_ia32_phsubsw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_psignb
__gcc_v8qi __builtin_ia32_psignb(__gcc_v8qi, __gcc_v8qi)
__builtin_ia32_ptestnzc128
int __builtin_ia32_ptestnzc128(__gcc_v2di, __gcc_v2di)
__builtin_ia32_fmaddsubpd256
__gcc_v4df __builtin_ia32_fmaddsubpd256(__gcc_v4df, __gcc_v4df, __gcc_v4df)
__builtin_ia32_vpcomnew
__gcc_v8hi __builtin_ia32_vpcomnew(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_vextractf128_pd256
__gcc_v2df __builtin_ia32_vextractf128_pd256(__gcc_v4df, int)
__builtin_ia32_phsubwd
int __builtin_ia32_phsubwd()
__builtin_ia32_cmpnlesd
__gcc_v2df __builtin_ia32_cmpnlesd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_roundpd256
__gcc_v4df __builtin_ia32_roundpd256(__gcc_v4df, int)
__builtin_ia32_vbroadcastss256
__gcc_v8sf __builtin_ia32_vbroadcastss256(const float *)
__builtin_ia32_pfacc
__gcc_v2sf __builtin_ia32_pfacc(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_cmpnltpd
__gcc_v2df __builtin_ia32_cmpnltpd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_pcomtrueuq
int __builtin_ia32_pcomtrueuq()
__builtin_ia32_dpps
__gcc_v4sf __builtin_ia32_dpps(__gcc_v4sf, __gcc_v4sf, int)
__builtin_ia32_vpcomfalsew
__gcc_v8hi __builtin_ia32_vpcomfalsew(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_pmaxub
__gcc_v8qi __builtin_ia32_pmaxub(__gcc_v8qi, __gcc_v8qi)
__builtin_ia32_pmovsxbq128
__gcc_v2di __builtin_ia32_pmovsxbq128(__gcc_v16qi)
__builtin_ia32_pfsub
__gcc_v2sf __builtin_ia32_pfsub(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_pcmpeqd256
__gcc_v8si __builtin_ia32_pcmpeqd256(__gcc_v8si, __gcc_v8si)
__builtin_ia32_psubsb256
__gcc_v32qi __builtin_ia32_psubsb256(__gcc_v32qi, __gcc_v32qi)
__builtin_ia32_bextr_u32
unsigned __builtin_ia32_bextr_u32(unsigned, unsigned)
__builtin_ia32_comtruesd
int __builtin_ia32_comtruesd()
__builtin_ia32_vprotq
__gcc_v2di __builtin_ia32_vprotq(__gcc_v2di, __gcc_v2di)
__builtin_ia32_vphsubdq
__gcc_v2di __builtin_ia32_vphsubdq(__gcc_v4si)
__builtin_ia32_psubd256
__gcc_v8si __builtin_ia32_psubd256(__gcc_v8si, __gcc_v8si)
__builtin_ia32_ps_ps256
__gcc_v4sf __builtin_ia32_ps_ps256(__gcc_v8sf)
__builtin_ia32_permpd
int __builtin_ia32_permpd()
__builtin_ia32_pavgb256
__gcc_v32qi __builtin_ia32_pavgb256(__gcc_v32qi, __gcc_v32qi)
__builtin_ia32_movnti
void __builtin_ia32_movnti(int *, int)
__builtin_ia32_vbroadcastf128_pd256
__gcc_v4df __builtin_ia32_vbroadcastf128_pd256(const __gcc_v2df *)
__builtin_ia32_pand
__gcc_v1di __builtin_ia32_pand(__gcc_v1di, __gcc_v1di)
__builtin_ia32_cmpunordsd
__gcc_v2df __builtin_ia32_cmpunordsd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_hsubpd256
__gcc_v4df __builtin_ia32_hsubpd256(__gcc_v4df, __gcc_v4df)
__builtin_ia32_phsubd128
__gcc_v4si __builtin_ia32_phsubd128(__gcc_v4si, __gcc_v4si)
__builtin_ia32_gathersi__gcc_v4si
__gcc_v4si __builtin_ia32_gathersi__gcc_v4si(__gcc_v4si, const int *, __gcc_v4si, __gcc_v4si, int)
__builtin_ia32_pcomgeb
int __builtin_ia32_pcomgeb()
__builtin_ia32_comfalseps
int __builtin_ia32_comfalseps()
__builtin_ia32_por256
__gcc_v4di __builtin_ia32_por256(__gcc_v4di, __gcc_v4di)
__builtin_ia32_pcmpistri128
int __builtin_ia32_pcmpistri128(__gcc_v16qi, __gcc_v16qi, const int)
__builtin_ia32_cmpnltsd
__gcc_v2df __builtin_ia32_cmpnltsd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_pmaxsd128
__gcc_v4si __builtin_ia32_pmaxsd128(__gcc_v4si, __gcc_v4si)
__builtin_ia32_pmulhw256
__gcc_v16hi __builtin_ia32_pmulhw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_movntdqa
__gcc_v2di __builtin_ia32_movntdqa(__gcc_v2di *)
__builtin_ia32_blendvps256
__gcc_v8sf __builtin_ia32_blendvps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf)
__builtin_ia32_pcmpgtw
__gcc_v4hi __builtin_ia32_pcmpgtw(__gcc_v4hi, __gcc_v4hi)
__builtin_ia32_pcomfalseub
int __builtin_ia32_pcomfalseub()
__builtin_ia32_cvttpd2pi
__gcc_v2si __builtin_ia32_cvttpd2pi(__gcc_v2df)
__builtin_ia32_cmpunordpd
__gcc_v2df __builtin_ia32_cmpunordpd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_pcomneqd
int __builtin_ia32_pcomneqd()
__builtin_ia32_loadups256
__gcc_v8sf __builtin_ia32_loadups256(const float *)
__builtin_ia32_fmsubaddpd
__gcc_v2df __builtin_ia32_fmsubaddpd(__gcc_v2df, __gcc_v2df, __gcc_v2df)
__builtin_ia32_punpckhbw
__gcc_v8qi __builtin_ia32_punpckhbw(__gcc_v8qi, __gcc_v8qi)
__builtin_ia32_pslldi
__gcc_v2si __builtin_ia32_pslldi(__gcc_v2si, int)
__builtin_ia32_storelv4si
void __builtin_ia32_storelv4si(__gcc_v2si *, __gcc_v4si)
__builtin_ia32_pcomneqw
int __builtin_ia32_pcomneqw()
__builtin_ia32_vinsertf128_ps256
__gcc_v8sf __builtin_ia32_vinsertf128_ps256(__gcc_v8sf, __gcc_v4sf, int)
__builtin_ia32_fmaddps
__gcc_v4sf __builtin_ia32_fmaddps(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf)
__builtin_ia32_pmovsxwd256
__gcc_v8si __builtin_ia32_pmovsxwd256(__gcc_v8hi)
__builtin_ia32_vperm2f128_pd256
__gcc_v4df __builtin_ia32_vperm2f128_pd256(__gcc_v4df, __gcc_v4df, int)
__builtin_ia32_loadlps
__gcc_v4sf __builtin_ia32_loadlps(__gcc_v4sf, const void *)
__builtin_ia32_divps
__gcc_v4sf __builtin_ia32_divps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_pcomled
int __builtin_ia32_pcomled()
__builtin_ia32_phsubd
__gcc_v2si __builtin_ia32_phsubd(__gcc_v2si, __gcc_v2si)
__builtin_ia32_comneqps
int __builtin_ia32_comneqps()
__builtin_ia32_maskstored
void __builtin_ia32_maskstored(__gcc_v4si *, __gcc_v4si, __gcc_v4si)
__builtin_ia32_pmaxsb128
__gcc_v16qi __builtin_ia32_pmaxsb128(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_roundps256
__gcc_v8sf __builtin_ia32_roundps256(__gcc_v8sf, int)
__builtin_ia32_psrlq128
__gcc_v2di __builtin_ia32_psrlq128(__gcc_v2di, __gcc_v2di)
__builtin_ia32_pandn
__gcc_v1di __builtin_ia32_pandn(__gcc_v1di, __gcc_v1di)
__builtin_ia32_vpmadcswd
__gcc_v4si __builtin_ia32_vpmadcswd(__gcc_v8hi, __gcc_v8hi, __gcc_v4si)
__builtin_ia32_pcomleb
int __builtin_ia32_pcomleb()
__builtin_ia32_fmaddsubps256
__gcc_v8sf __builtin_ia32_fmaddsubps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf)
__builtin_ia32_comungess
int __builtin_ia32_comungess()
__builtin_ia32_vtestcps256
int __builtin_ia32_vtestcps256(__gcc_v8sf, __gcc_v8sf)
__builtin_ia32_vpcomneub
__gcc_v16qi __builtin_ia32_vpcomneub(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_comueqss
int __builtin_ia32_comueqss()
__builtin_ia32_phadduwq
int __builtin_ia32_phadduwq()
__builtin_ia32_vpermil2pd
__gcc_v2df __builtin_ia32_vpermil2pd(__gcc_v2df, __gcc_v2df, __gcc_v2di, int)
__builtin_ia32_vpcomtrued
__gcc_v4si __builtin_ia32_vpcomtrued(__gcc_v4si, __gcc_v4si)
__builtin_ia32_paddb
__gcc_v8qi __builtin_ia32_paddb(__gcc_v8qi, __gcc_v8qi)
__builtin_ia32_vphadddq
__gcc_v2di __builtin_ia32_vphadddq(__gcc_v4si)
__builtin_ia32_pshufb128
__gcc_v16qi __builtin_ia32_pshufb128(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_psllq256
__gcc_v4di __builtin_ia32_psllq256(__gcc_v4di, __gcc_v2di)
__builtin_ia32_pfnacc
__gcc_v2sf __builtin_ia32_pfnacc(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_loadlpd
__gcc_v2df __builtin_ia32_loadlpd(__gcc_v2df, const double *)
__builtin_ia32_dpps256
__gcc_v8sf __builtin_ia32_dpps256(__gcc_v8sf, __gcc_v8sf, int)
__builtin_ia32_pmaxud256
__gcc_v8si __builtin_ia32_pmaxud256(__gcc_v8si, __gcc_v8si)
__builtin_ia32_psignd128
__gcc_v4si __builtin_ia32_psignd128(__gcc_v4si, __gcc_v4si)
__builtin_ia32_cmpordps
__gcc_v4sf __builtin_ia32_cmpordps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_vpcomneuw
__gcc_v8hi __builtin_ia32_vpcomneuw(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_comunordpd
int __builtin_ia32_comunordpd()
__builtin_ia32_vpcomneuq
__gcc_v2di __builtin_ia32_vpcomneuq(__gcc_v2di, __gcc_v2di)
__builtin_ia32_phaddd256
__gcc_v8si __builtin_ia32_phaddd256(__gcc_v8si, __gcc_v8si)
__builtin_ia32_vpcomeqb
__gcc_v16qi __builtin_ia32_vpcomeqb(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_comunlesd
int __builtin_ia32_comunlesd()
__builtin_ia32_pcomeqd
int __builtin_ia32_pcomeqd()
__builtin_ia32_pabsw128
__gcc_v8hi __builtin_ia32_pabsw128(__gcc_v8hi)
__builtin_ia32_pcmpgtq256
__gcc_v4di __builtin_ia32_pcmpgtq256(__gcc_v4di, __gcc_v4di)
__builtin_ia32_roundpd
__gcc_v2df __builtin_ia32_roundpd(__gcc_v2df, int)
__builtin_ia32_gathersi__gcc_v4df
__gcc_v4df __builtin_ia32_gathersi__gcc_v4df(__gcc_v4df, const double *, __gcc_v4si, __gcc_v4df, int)
__builtin_ia32_comless
int __builtin_ia32_comless()
__builtin_ia32_blendpd256
__gcc_v4df __builtin_ia32_blendpd256(__gcc_v4df, __gcc_v4df, int)
__builtin_ia32_vextractf128_ps256
__gcc_v4sf __builtin_ia32_vextractf128_ps256(__gcc_v8sf, int)
__builtin_ia32_movntps
void __builtin_ia32_movntps(float *, __gcc_v4sf)
__builtin_ia32_pcmpeqq256
__gcc_v4di __builtin_ia32_pcmpeqq256(__gcc_v4di, __gcc_v4di)
__builtin_ia32_psignb256
__gcc_v32qi __builtin_ia32_psignb256(__gcc_v32qi, __gcc_v32qi)
__builtin_ia32_movntpd
void __builtin_ia32_movntpd(double *, __gcc_v2df)
__builtin_ia32_phaddsw128
__gcc_v8hi __builtin_ia32_phaddsw128(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_lzcnt_u64
unsigned long long __builtin_ia32_lzcnt_u64(unsigned long long)
__builtin_ia32_psrl__gcc_v8si
__gcc_v8si __builtin_ia32_psrl__gcc_v8si(__gcc_v8si, __gcc_v8si)
__builtin_ia32_cmpunordss
__gcc_v4sf __builtin_ia32_cmpunordss(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_vinsertf128_si256
__gcc_v8si __builtin_ia32_vinsertf128_si256(__gcc_v8si, __gcc_v4si, int)
__builtin_ia32_psraw
__gcc_v4hi __builtin_ia32_psraw(__gcc_v4hi, __gcc_v4hi)
__builtin_ia32_pcomequq
int __builtin_ia32_pcomequq()
__builtin_ia32_ptestnzc256
int __builtin_ia32_ptestnzc256(__gcc_v4di, __gcc_v4di)
__builtin_ia32_pminsb128
__gcc_v16qi __builtin_ia32_pminsb128(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_vpcomneb
__gcc_v16qi __builtin_ia32_vpcomneb(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_pcomgtd
int __builtin_ia32_pcomgtd()
__builtin_ia32_psubq128
__gcc_v2di __builtin_ia32_psubq128(__gcc_v2di, __gcc_v2di)
__builtin_ia32_comunordsd
int __builtin_ia32_comunordsd()
__builtin_ia32_storeupd256
void __builtin_ia32_storeupd256(double *, __gcc_v4df)
__builtin_ia32_paddsb
__gcc_v8qi __builtin_ia32_paddsb(__gcc_v8qi, __gcc_v8qi)
__builtin_ia32_psignd
__gcc_v2si __builtin_ia32_psignd(__gcc_v2si, __gcc_v2si)
__builtin_ia32_comisdneq
int __builtin_ia32_comisdneq(__gcc_v2df, __gcc_v2df)
_pdep_u32
unsigned int _pdep_u32(unsigned int, unsigned int)
__builtin_ia32_ucomigt
int __builtin_ia32_ucomigt(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_andnpd256
__gcc_v4df __builtin_ia32_andnpd256(__gcc_v4df, __gcc_v4df)
__builtin_ia32_cmpltss
__gcc_v4sf __builtin_ia32_cmpltss(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_cmpgepd
__gcc_v2df __builtin_ia32_cmpgepd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_psrldi
__gcc_v2si __builtin_ia32_psrldi(__gcc_v2si, int)
__builtin_ia32_shufps256
__gcc_v8sf __builtin_ia32_shufps256(__gcc_v8sf, __gcc_v8sf, int)
__builtin_fabsq
__CPROVER_Float128 __builtin_fabsq(__CPROVER_Float128)
__builtin_ia32_shufpd
__gcc_v2df __builtin_ia32_shufpd(__gcc_v2df, __gcc_v2df, int)
__builtin_ia32_vec_ext___gcc_v16qi
int __builtin_ia32_vec_ext___gcc_v16qi(__gcc_v16qi, const int)
__builtin_ia32_addsubpd
__gcc_v2df __builtin_ia32_addsubpd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_comunless
int __builtin_ia32_comunless()
__builtin_ia32_pclmulqdq128
__gcc_v2di __builtin_ia32_pclmulqdq128(__gcc_v2di, __gcc_v2di, const int)
__builtin_ia32_vpcomequb
__gcc_v16qi __builtin_ia32_vpcomequb(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_comordps
int __builtin_ia32_comordps()
__builtin_ia32_pcmpestric128
int __builtin_ia32_pcmpestric128(__gcc_v16qi, int, __gcc_v16qi, int, const int)
__builtin_ia32_pcmpeqd
__gcc_v2si __builtin_ia32_pcmpeqd(__gcc_v2si, __gcc_v2si)
__builtin_ia32_pcmpgtq
__gcc_v2di __builtin_ia32_pcmpgtq(__gcc_v2di, __gcc_v2di)
_writegsbase_u64
void _writegsbase_u64(unsigned long long)
__builtin_ia32_aesimc128
__gcc_v2di __builtin_ia32_aesimc128(__gcc_v2di)
__builtin_ia32_ucomisdge
int __builtin_ia32_ucomisdge(__gcc_v2df, __gcc_v2df)
__builtin_ia32_vpcomled
__gcc_v4si __builtin_ia32_vpcomled(__gcc_v4si, __gcc_v4si)
__builtin_ia32_maskstorepd256
void __builtin_ia32_maskstorepd256(__gcc_v4df *, __gcc_v4di, __gcc_v4df)
__builtin_ia32_pmuludq256
__gcc_v4di __builtin_ia32_pmuludq256(__gcc_v8si, __gcc_v8si)
__builtin_ia32_pmaxub128
__gcc_v16qi __builtin_ia32_pmaxub128(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_vpcomgtb
__gcc_v16qi __builtin_ia32_vpcomgtb(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_storehps
void __builtin_ia32_storehps(void *, __gcc_v4sf)
__builtin_ia32_fnmsubpd256
__gcc_v4df __builtin_ia32_fnmsubpd256(__gcc_v4df, __gcc_v4df, __gcc_v4df)
__builtin_ia32_fmaddsubpd
__gcc_v2df __builtin_ia32_fmaddsubpd(__gcc_v2df, __gcc_v2df, __gcc_v2df)
__builtin_ia32_vfrczpd256
__gcc_v4df __builtin_ia32_vfrczpd256(__gcc_v4df)
__builtin_ia32_loadupd
__gcc_v2df __builtin_ia32_loadupd(const double *)
__builtin_ia32_vpcomltuq
__gcc_v2di __builtin_ia32_vpcomltuq(__gcc_v2di, __gcc_v2di)
__builtin_ia32_pcmov
int __builtin_ia32_pcmov()
__builtin_ia32_pand128
__gcc_v2di __builtin_ia32_pand128(__gcc_v2di, __gcc_v2di)
__builtin_ia32_maskstorepd
void __builtin_ia32_maskstorepd(__gcc_v2df *, __gcc_v2di, __gcc_v2df)
__builtin_ia32_divss
__gcc_v4sf __builtin_ia32_divss(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_pmacsdqh
int __builtin_ia32_pmacsdqh()
__builtin_ia32_pshufhw
__gcc_v8hi __builtin_ia32_pshufhw(__gcc_v8hi, int)
__builtin_ia32_vpcomgtuq
__gcc_v2di __builtin_ia32_vpcomgtuq(__gcc_v2di, __gcc_v2di)
__builtin_ia32_cvtpi2pd
__gcc_v2df __builtin_ia32_cvtpi2pd(__gcc_v2si)
__builtin_ia32_cvtps2dq256
__gcc_v8si __builtin_ia32_cvtps2dq256(__gcc_v8sf)
__builtin_ia32_loaddqu256
__gcc_v32qi __builtin_ia32_loaddqu256(const char *)
__builtin_ia32_pcmpestriz128
int __builtin_ia32_pcmpestriz128(__gcc_v16qi, int, __gcc_v16qi, int, const int)
__builtin_ia32_vphaddbw
__gcc_v8hi __builtin_ia32_vphaddbw(__gcc_v16qi)
__builtin_ia32_psadbw
__gcc_v1di __builtin_ia32_psadbw(__gcc_v8qi, __gcc_v8qi)
__builtin_ia32_si_si256
__gcc_v4si __builtin_ia32_si_si256(__gcc_v8si)
__builtin_ia32_psll__gcc_v4di
__gcc_v4di __builtin_ia32_psll__gcc_v4di(__gcc_v4di, __gcc_v4di)
__builtin_ia32_andnps
__gcc_v4sf __builtin_ia32_andnps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_pcomeqw
int __builtin_ia32_pcomeqw()
__builtin_ia32_pmaxub256
__gcc_v32qi __builtin_ia32_pmaxub256(__gcc_v32qi, __gcc_v32qi)
__builtin_ia32_pabsw256
__gcc_v16hi __builtin_ia32_pabsw256(__gcc_v16hi)
__builtin_ia32_vinsertf128_pd256
__gcc_v4df __builtin_ia32_vinsertf128_pd256(__gcc_v4df, __gcc_v2df, int)
__builtin_ia32_phsubdq
int __builtin_ia32_phsubdq()
__builtin_ia32_punpcklqdq256
__gcc_v4di __builtin_ia32_punpcklqdq256(__gcc_v4di, __gcc_v4di)
__builtin_ia32_cvtdq2ps
__gcc_v4sf __builtin_ia32_cvtdq2ps(__gcc_v4si)
__builtin_ia32_phaddbd
int __builtin_ia32_phaddbd()
__builtin_ia32_addpd
__gcc_v2df __builtin_ia32_addpd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_movddup
__gcc_v2df __builtin_ia32_movddup(__gcc_v2df)
__builtin_ia32_pcmpeqw256
__gcc_v16hi __builtin_ia32_pcmpeqw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_storess
void __builtin_ia32_storess(float *, __gcc_v4sf)
__builtin_ia32_aeskeygenassist128
__gcc_v2di __builtin_ia32_aeskeygenassist128(__gcc_v2di, const int)
__builtin_ia32_fmaddss
__gcc_v4sf __builtin_ia32_fmaddss(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf)
__builtin_ia32_ucomile
int __builtin_ia32_ucomile(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_vpcomleud
__gcc_v4si __builtin_ia32_vpcomleud(__gcc_v4si, __gcc_v4si)
__builtin_ia32_vphadduwq
__gcc_v2di __builtin_ia32_vphadduwq(__gcc_v8hi)
__builtin_ia32_unpckhpd
__gcc_v2df __builtin_ia32_unpckhpd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_storeupd
void __builtin_ia32_storeupd(double *, __gcc_v2df)
__builtin_ia32_pfcmpeq
__gcc_v2si __builtin_ia32_pfcmpeq(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_movsldup256
__gcc_v8sf __builtin_ia32_movsldup256(__gcc_v8sf)
__builtin_ia32_rdrand16_step
unsigned int __builtin_ia32_rdrand16_step(unsigned short *)
__builtin_ia32_cvtss2si
int __builtin_ia32_cvtss2si(__gcc_v4sf)
__builtin_ia32_vtestcpd
int __builtin_ia32_vtestcpd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_comordsd
int __builtin_ia32_comordsd()
__builtin_ia32_pfcmpgt
__gcc_v2si __builtin_ia32_pfcmpgt(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_cvtpd2ps256
__gcc_v4sf __builtin_ia32_cvtpd2ps256(__gcc_v4df)
__builtin_ia32_pcmpistris128
int __builtin_ia32_pcmpistris128(__gcc_v16qi, __gcc_v16qi, const int)
__builtin_ia32_maxps
__gcc_v4sf __builtin_ia32_maxps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_cmpltps
__gcc_v4sf __builtin_ia32_cmpltps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_pcomgtb
int __builtin_ia32_pcomgtb()
__builtin_ia32_fnmsubpd
__gcc_v2df __builtin_ia32_fnmsubpd(__gcc_v2df, __gcc_v2df, __gcc_v2df)
__builtin_ia32_maskstored256
void __builtin_ia32_maskstored256(__gcc_v8si *, __gcc_v8si, __gcc_v8si)
__builtin_ia32_gatherdi__gcc_v4sf256
__gcc_v4sf __builtin_ia32_gatherdi__gcc_v4sf256(__gcc_v4sf, const float *, __gcc_v4di, __gcc_v4sf, int)
__gcc_di
unsigned long long __gcc_di
Definition: gcc_builtin_headers_types.h:31
__builtin_ia32_comtrueps
int __builtin_ia32_comtrueps()
__builtin_ia32_pfmax
__gcc_v2sf __builtin_ia32_pfmax(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_psrlq256
__gcc_v4di __builtin_ia32_psrlq256(__gcc_v4di, __gcc_v2di)
__builtin_ia32_movmskpd
int __builtin_ia32_movmskpd(__gcc_v2df)
__builtin_ia32_psllq
__gcc_v1di __builtin_ia32_psllq(__gcc_v1di, __gcc_v1di)
__builtin_ia32_phaddsw256
__gcc_v16hi __builtin_ia32_phaddsw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_paddq
__gcc_v1di __builtin_ia32_paddq(__gcc_v1di, __gcc_v1di)
__builtin_ia32_pcomleuq
int __builtin_ia32_pcomleuq()
__builtin_ia32_psrlw128
__gcc_v8hi __builtin_ia32_psrlw128(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_vpcomtruew
__gcc_v8hi __builtin_ia32_vpcomtruew(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_fnmsubss
__gcc_v4sf __builtin_ia32_fnmsubss(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf)
__builtin_ia32_pcomleq
int __builtin_ia32_pcomleq()
__builtin_ia32_storedqu
void __builtin_ia32_storedqu(char *, __gcc_v16qi)
__builtin_ia32_pmacswd
int __builtin_ia32_pmacswd()
__builtin_ia32_pcomtrueuw
int __builtin_ia32_pcomtrueuw()
_pext_u32
unsigned int _pext_u32(unsigned int, unsigned int)
__builtin_ia32_vpcomfalseuw
__gcc_v8hi __builtin_ia32_vpcomfalseuw(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_pcomgeuq
int __builtin_ia32_pcomgeuq()
__builtin_ia32_loadlv4si
__gcc_v4si __builtin_ia32_loadlv4si(const __gcc_v2si *)
__builtin_ia32_pmovzxwd256
__gcc_v8si __builtin_ia32_pmovzxwd256(__gcc_v8hi)
__builtin_ia32_vpcomgeub
__gcc_v16qi __builtin_ia32_vpcomgeub(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_maskmovdqu
void __builtin_ia32_maskmovdqu(__gcc_v16qi, __gcc_v16qi, char *)
__builtin_ia32_packsswb128
__gcc_v16qi __builtin_ia32_packsswb128(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_pcomtrueud
int __builtin_ia32_pcomtrueud()
__builtin_ia32_vpermilvarps256
__gcc_v8sf __builtin_ia32_vpermilvarps256(__gcc_v8sf, __gcc_v8si)
__builtin_ia32_cmpnlts
__gcc_v4sf __builtin_ia32_cmpnlts(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_pcomfalseud
int __builtin_ia32_pcomfalseud()
__builtin_ia32_pcmpeqb
__gcc_v8qi __builtin_ia32_pcmpeqb(__gcc_v8qi, __gcc_v8qi)
__builtin_ia32_pmaxuw128
__gcc_v8hi __builtin_ia32_pmaxuw128(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_cmppd256
__gcc_v4df __builtin_ia32_cmppd256(__gcc_v4df, __gcc_v4df, int)
__builtin_ia32_cmpnltps
__gcc_v4sf __builtin_ia32_cmpnltps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_storeups
void __builtin_ia32_storeups(float *, __gcc_v4sf)
__builtin_ia32_movntsd
void __builtin_ia32_movntsd(double *, __gcc_v2df)
__builtin_ia32_psraw256
__gcc_v16hi __builtin_ia32_psraw256(__gcc_v16hi, __gcc_v8hi)
__builtin_ia32_movq128
__gcc_v2di __builtin_ia32_movq128(__gcc_v2di)
__builtin_ia32_comgtss
int __builtin_ia32_comgtss()
__builtin_ia32_pfrcp
__gcc_v2sf __builtin_ia32_pfrcp(__gcc_v2sf)
__builtin_ia32_frczps
int __builtin_ia32_frczps()
__builtin_ia32_bextri_u64
unsigned long long __builtin_ia32_bextri_u64(unsigned long long, unsigned long long)
__builtin_ia32_pshld
int __builtin_ia32_pshld()
__builtin_ia32_movmskps
int __builtin_ia32_movmskps(__gcc_v4sf)
__builtin_ia32_psradi
__gcc_v2si __builtin_ia32_psradi(__gcc_v2si, int)
__builtin_ia32_psrl__gcc_v4si
__gcc_v4si __builtin_ia32_psrl__gcc_v4si(__gcc_v4si, __gcc_v4si)
__builtin_ia32_andpd
__gcc_v2df __builtin_ia32_andpd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_pcmpeqw
__gcc_v4hi __builtin_ia32_pcmpeqw(__gcc_v4hi, __gcc_v4hi)
__builtin_ia32_vpcomgeuw
__gcc_v8hi __builtin_ia32_vpcomgeuw(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_vpcmov_v16qi
__gcc_v16qi __builtin_ia32_vpcmov_v16qi(__gcc_v16qi, __gcc_v16qi, __gcc_v16qi)
__builtin_ia32_rdrand32_step
unsigned int __builtin_ia32_rdrand32_step(unsigned int *)
__builtin_ia32_movntq
void __builtin_ia32_movntq(void *,...)
__builtin_ia32_comfalsess
int __builtin_ia32_comfalsess()
__builtin_ia32_pcmpestri128
int __builtin_ia32_pcmpestri128(__gcc_v16qi, int, __gcc_v16qi, int, const int)
__builtin_ia32_pbroadcastb128
__gcc_v16qi __builtin_ia32_pbroadcastb128(__gcc_v16qi)
__builtin_ia32_lfence
void __builtin_ia32_lfence()
__builtin_ia32_storedqu256
void __builtin_ia32_storedqu256(char *, __gcc_v32qi)
__builtin_ia32_cmpless
__gcc_v4sf __builtin_ia32_cmpless(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_psrldi128
__gcc_v4si __builtin_ia32_psrldi128(__gcc_v4si, int)
__builtin_ia32_aesdec128
__gcc_v2di __builtin_ia32_aesdec128(__gcc_v2di, __gcc_v2di)
__builtin_ia32_vpcomleq
__gcc_v2di __builtin_ia32_vpcomleq(__gcc_v2di, __gcc_v2di)
__builtin_ia32_cmpleps
__gcc_v4sf __builtin_ia32_cmpleps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_vec_ext_v2df
double __builtin_ia32_vec_ext_v2df(__gcc_v2df, int)
__builtin_ia32_vphsubwd
__gcc_v4si __builtin_ia32_vphsubwd(__gcc_v8hi)
__builtin_ia32_psrad128
__gcc_v4si __builtin_ia32_psrad128(__gcc_v4si, __gcc_v4si)
__builtin_ia32_pmovsxbq256
__gcc_v4di __builtin_ia32_pmovsxbq256(__gcc_v16qi)
__builtin_ia32_vphaddbq
__gcc_v2di __builtin_ia32_vphaddbq(__gcc_v16qi)
__builtin_ia32_vpcomtrueb
__gcc_v16qi __builtin_ia32_vpcomtrueb(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_vpcomfalseuq
__gcc_v2di __builtin_ia32_vpcomfalseuq(__gcc_v2di, __gcc_v2di)
__builtin_ia32_xorps256
__gcc_v8sf __builtin_ia32_xorps256(__gcc_v8sf, __gcc_v8sf)
__builtin_ia32_phaddsw
__gcc_v4hi __builtin_ia32_phaddsw(__gcc_v4hi, __gcc_v4hi)
__builtin_ia32_pslldi256
__gcc_v8si __builtin_ia32_pslldi256(__gcc_v8si, int)
__builtin_ia32_pmulhuw
__gcc_v4hi __builtin_ia32_pmulhuw(__gcc_v4hi, __gcc_v4hi)
__builtin_popcountll
int __builtin_popcountll(unsigned long long)
__builtin_ia32_vpshaq
__gcc_v2di __builtin_ia32_vpshaq(__gcc_v2di, __gcc_v2di)
__builtin_ia32_pcomfalseuw
int __builtin_ia32_pcomfalseuw()
__builtin_ia32_psllqi128
__gcc_v2di __builtin_ia32_psllqi128(__gcc_v2di, int)
__builtin_ia32_lddqu
__gcc_v16qi __builtin_ia32_lddqu(const char *)
__builtin_ia32_pandn128
__gcc_v2di __builtin_ia32_pandn128(__gcc_v2di, __gcc_v2di)
__builtin_ia32_vpcmov_v16hi256
__gcc_v16hi __builtin_ia32_vpcmov_v16hi256(__gcc_v16hi, __gcc_v16hi, __gcc_v16hi)
__builtin_ia32_comtruess
int __builtin_ia32_comtruess()
__builtin_ia32_comungtsd
int __builtin_ia32_comungtsd()
__builtin_ia32_pcomnequw
int __builtin_ia32_pcomnequw()
__builtin_ia32_psubusw256
__gcc_v16hi __builtin_ia32_psubusw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_hsubps256
__gcc_v8sf __builtin_ia32_hsubps256(__gcc_v8sf, __gcc_v8sf)
__builtin_ia32_pmuludq128
__gcc_v2di __builtin_ia32_pmuludq128(__gcc_v4si, __gcc_v4si)
__builtin_ia32_vtestnzcpd256
int __builtin_ia32_vtestnzcpd256(__gcc_v4df, __gcc_v4df)
__builtin_infq
__CPROVER_Float128 __builtin_infq(void)
__builtin_ia32_crc32si
unsigned __builtin_ia32_crc32si(unsigned, unsigned)
__builtin_ia32_packssdw128
__gcc_v8hi __builtin_ia32_packssdw128(__gcc_v4si, __gcc_v4si)
__builtin_ia32_vfrczps256
__gcc_v8sf __builtin_ia32_vfrczps256(__gcc_v8sf)
__builtin_ia32_llwpcb16
void __builtin_ia32_llwpcb16(void *)
__builtin_ia32_addps
__gcc_v4sf __builtin_ia32_addps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_pmuldq128
__gcc_v2di __builtin_ia32_pmuldq128(__gcc_v4si, __gcc_v4si)
__builtin_ia32_comltss
int __builtin_ia32_comltss()
__builtin_ia32_pcomnequd
int __builtin_ia32_pcomnequd()
__builtin_ia32_vpermilvarpd256
__gcc_v4df __builtin_ia32_vpermilvarpd256(__gcc_v4df, __gcc_v4di)
__builtin_ia32_minps
__gcc_v4sf __builtin_ia32_minps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_loadupd256
__gcc_v4df __builtin_ia32_loadupd256(const double *)
__builtin_ia32_cvtsi2sd
__gcc_v2df __builtin_ia32_cvtsi2sd(__gcc_v2df, int)
__builtin_ia32_vzeroall
void __builtin_ia32_vzeroall()
__builtin_ia32_subpd256
__gcc_v4df __builtin_ia32_subpd256(__gcc_v4df, __gcc_v4df)
__builtin_ia32_movsldup
__gcc_v4sf __builtin_ia32_movsldup(__gcc_v4sf)
__builtin_ia32_vbroadcastss
__gcc_v4sf __builtin_ia32_vbroadcastss(const float *)
__builtin_ia32_psrld128
__gcc_v4si __builtin_ia32_psrld128(__gcc_v4si, __gcc_v4si)
__builtin_ia32_pabsw
__gcc_v4hi __builtin_ia32_pabsw(__gcc_v4hi)
__builtin_ia32_pmovmskb128
int __builtin_ia32_pmovmskb128(__gcc_v16qi)
__builtin_ia32_vpermilvarpd
__gcc_v2df __builtin_ia32_vpermilvarpd(__gcc_v2df, __gcc_v2di)
__builtin_ia32_packusdw128
__gcc_v8hi __builtin_ia32_packusdw128(__gcc_v4si, __gcc_v4si)
__builtin_ia32_pfcmpge
__gcc_v2si __builtin_ia32_pfcmpge(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_psubusb
__gcc_v8qi __builtin_ia32_psubusb(__gcc_v8qi, __gcc_v8qi)
__builtin_ia32_movntdqa256
__gcc_v4di __builtin_ia32_movntdqa256(__gcc_v4di *)
__builtin_ia32_pmacsdql
int __builtin_ia32_pmacsdql()
__builtin_ia32_orps256
__gcc_v8sf __builtin_ia32_orps256(__gcc_v8sf, __gcc_v8sf)
__builtin_ia32_cvtps2dq
__gcc_v4si __builtin_ia32_cvtps2dq(__gcc_v4sf)
__builtin_ia32_pavgusb
__gcc_v8qi __builtin_ia32_pavgusb(__gcc_v8qi, __gcc_v8qi)
__builtin_ia32_paddsw256
__gcc_v16hi __builtin_ia32_paddsw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_vphaddubw
__gcc_v8hi __builtin_ia32_vphaddubw(__gcc_v16qi)
__builtin_ia32_cvttpd2dq256
__gcc_v4si __builtin_ia32_cvttpd2dq256(__gcc_v4df)
__builtin_ia32_movshdup
__gcc_v4sf __builtin_ia32_movshdup(__gcc_v4sf)
__builtin_ia32_addss
__gcc_v4sf __builtin_ia32_addss(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_comeqss
int __builtin_ia32_comeqss()
__builtin_ia32_psllwi
__gcc_v4hi __builtin_ia32_psllwi(__gcc_v4hi, int)
__builtin_ia32_vpcomgtq
__gcc_v2di __builtin_ia32_vpcomgtq(__gcc_v2di, __gcc_v2di)
__builtin_ia32_pcmpistriz128
int __builtin_ia32_pcmpistriz128(__gcc_v16qi, __gcc_v16qi, const int)
__builtin_ia32_fmsubps
__gcc_v4sf __builtin_ia32_fmsubps(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf)
__builtin_ia32_vpshlw
__gcc_v8hi __builtin_ia32_vpshlw(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_vfrczss
__gcc_v4sf __builtin_ia32_vfrczss(__gcc_v4sf)
__builtin_ia32_pslldqi128
__gcc_v2di __builtin_ia32_pslldqi128(__gcc_v2di, int)
__builtin_ia32_comisdge
int __builtin_ia32_comisdge(__gcc_v2df, __gcc_v2df)
__builtin_ia32_mulpd256
__gcc_v4df __builtin_ia32_mulpd256(__gcc_v4df, __gcc_v4df)
__builtin_ia32_gathersi__gcc_v4di
__gcc_v4di __builtin_ia32_gathersi__gcc_v4di(__gcc_v4di, const long long int *, __gcc_v4si, __gcc_v4di, int)
__builtin_ia32_pcomtruew
int __builtin_ia32_pcomtruew()
__builtin_ia32_bextr_u64
unsigned long long __builtin_ia32_bextr_u64(unsigned long long, unsigned long long)
__builtin_ia32_pperm
int __builtin_ia32_pperm()
__builtin_ia32_vphaddudq
__gcc_v2di __builtin_ia32_vphaddudq(__gcc_v4si)
__builtin_ia32_vbroadcastsi256
__gcc_v4di __builtin_ia32_vbroadcastsi256(__gcc_v2di)
__builtin_ia32_psubd128
__gcc_v4si __builtin_ia32_psubd128(__gcc_v4si, __gcc_v4si)
__builtin_ia32_psubw128
__gcc_v8hi __builtin_ia32_psubw128(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_pcmpgtw256
__gcc_v16hi __builtin_ia32_pcmpgtw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_pcmpeqb256
__gcc_v32qi __builtin_ia32_pcmpeqb256(__gcc_v32qi, __gcc_v32qi)
__builtin_ia32_vtestcps
int __builtin_ia32_vtestcps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_ucomieq
int __builtin_ia32_ucomieq(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_sqrtps
__gcc_v4sf __builtin_ia32_sqrtps(__gcc_v4sf)
__builtin_ia32_orps
__gcc_v4sf __builtin_ia32_orps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_packusdw256
__gcc_v16hi __builtin_ia32_packusdw256(__gcc_v8si, __gcc_v8si)
__builtin_ia32_protd
int __builtin_ia32_protd()
__builtin_ia32_orpd
__gcc_v2df __builtin_ia32_orpd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_comgtsd
int __builtin_ia32_comgtsd()
__builtin_ia32_vpcomleuq
__gcc_v2di __builtin_ia32_vpcomleuq(__gcc_v2di, __gcc_v2di)
__builtin_ia32_comneqsd
int __builtin_ia32_comneqsd()
__builtin_ia32_pmovmskb
int __builtin_ia32_pmovmskb(__gcc_v8qi)
__builtin_ia32_sqrtsd
__gcc_v2df __builtin_ia32_sqrtsd(__gcc_v2df)
__builtin_ia32_pminub128
__gcc_v16qi __builtin_ia32_pminub128(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_crc32hi
unsigned __builtin_ia32_crc32hi(unsigned, unsigned short)
__builtin_ia32_extrqi
__gcc_v2di __builtin_ia32_extrqi(__gcc_v2di, unsigned, unsigned)
__builtin_ia32_pcmpgtw128
__gcc_v8hi __builtin_ia32_pcmpgtw128(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_cvtss2sd
__gcc_v2df __builtin_ia32_cvtss2sd(__gcc_v2df, __gcc_v4sf)
__builtin_ia32_punpckhqdq256
__gcc_v4di __builtin_ia32_punpckhqdq256(__gcc_v4di, __gcc_v4di)
__builtin_ia32_pshaq
int __builtin_ia32_pshaq()
__builtin_ia32_andnotsi256
__gcc_v4di __builtin_ia32_andnotsi256(__gcc_v4di, __gcc_v4di)
__builtin_ia32_vpcmov___gcc_v4df256
__gcc_v4df __builtin_ia32_vpcmov___gcc_v4df256(__gcc_v4df, __gcc_v4df, __gcc_v4df)
__builtin_ia32_phadduwd
int __builtin_ia32_phadduwd()
__builtin_ia32_pcomneqb
int __builtin_ia32_pcomneqb()
__builtin_ia32_pmacssdd
int __builtin_ia32_pmacssdd()
__builtin_ia32_pminsw256
__gcc_v16hi __builtin_ia32_pminsw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_loadddup
__gcc_v2df __builtin_ia32_loadddup(double const *)
__builtin_ia32_pmovsxwq128
__gcc_v2di __builtin_ia32_pmovsxwq128(__gcc_v8hi)
__builtin_ia32_vpmadcsswd
__gcc_v4si __builtin_ia32_vpmadcsswd(__gcc_v8hi, __gcc_v8hi, __gcc_v4si)
__builtin_ia32_fmsubpd
__gcc_v2df __builtin_ia32_fmsubpd(__gcc_v2df, __gcc_v2df, __gcc_v2df)
__builtin_ia32_punpckldq
__gcc_v2si __builtin_ia32_punpckldq(__gcc_v2si, __gcc_v2si)
__builtin_ia32_punpcklbw128
__gcc_v16qi __builtin_ia32_punpcklbw128(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_pfsubr
__gcc_v2sf __builtin_ia32_pfsubr(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_comungtps
int __builtin_ia32_comungtps()
__builtin_ia32_frczss
int __builtin_ia32_frczss()
__builtin_ia32_pcmpistrio128
int __builtin_ia32_pcmpistrio128(__gcc_v16qi, __gcc_v16qi, const int)
__builtin_ia32_movqv4si
__gcc_v4si __builtin_ia32_movqv4si(__gcc_v4si)
__builtin_ia32_pblendd256
__gcc_v8si __builtin_ia32_pblendd256(__gcc_v8si, __gcc_v8si, int)
__builtin_ia32_vpcomleb
__gcc_v16qi __builtin_ia32_vpcomleb(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_vtestzpd256
int __builtin_ia32_vtestzpd256(__gcc_v4df, __gcc_v4df)
__builtin_ia32_pabsd128
__gcc_v4si __builtin_ia32_pabsd128(__gcc_v4si)
__builtin_ia32_gathersi__gcc_v2di
__gcc_v2di __builtin_ia32_gathersi__gcc_v2di(__gcc_v2di, const long long int *, __gcc_v4si, __gcc_v2di, int)
__builtin_ia32_rdfsbase64
unsigned long long __builtin_ia32_rdfsbase64()
__builtin_ia32_vtestnzcps
int __builtin_ia32_vtestnzcps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_maskloadpd256
__gcc_v4df __builtin_ia32_maskloadpd256(const __gcc_v4df *, __gcc_v4di)
__builtin_ia32_phsubw256
__gcc_v16hi __builtin_ia32_phsubw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_pmovsxdq128
__gcc_v2di __builtin_ia32_pmovsxdq128(__gcc_v4si)
__builtin_ia32_vec_ext___gcc_v4sf
float __builtin_ia32_vec_ext___gcc_v4sf(__gcc_v4sf, const int)
__builtin_ia32_unpcklps
__gcc_v4sf __builtin_ia32_unpcklps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_pavgb128
__gcc_v16qi __builtin_ia32_pavgb128(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_comunltsd
int __builtin_ia32_comunltsd()
__builtin_ia32_mpsadbw256
__gcc_v32qi __builtin_ia32_mpsadbw256(__gcc_v32qi, __gcc_v32qi, int)
__builtin_ia32_pblendd128
__gcc_v4si __builtin_ia32_pblendd128(__gcc_v4si, __gcc_v4si, int)
__builtin_ia32_blendps256
__gcc_v8sf __builtin_ia32_blendps256(__gcc_v8sf, __gcc_v8sf, int)
__builtin_ia32_ptestc128
int __builtin_ia32_ptestc128(__gcc_v2di, __gcc_v2di)
__builtin_ia32_pcmpestrio128
int __builtin_ia32_pcmpestrio128(__gcc_v16qi, int, __gcc_v16qi, int, const int)
__builtin_ia32_comisdle
int __builtin_ia32_comisdle(__gcc_v2df, __gcc_v2df)
__builtin_ia32_pmaddwd128
__gcc_v4si __builtin_ia32_pmaddwd128(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_pabsd256
__gcc_v8si __builtin_ia32_pabsd256(__gcc_v8si)
__builtin_ia32_pbroadcastq128
__gcc_v2di __builtin_ia32_pbroadcastq128(__gcc_v2di)
__builtin_ia32_pmaddubsw256
__gcc_v16hi __builtin_ia32_pmaddubsw256(__gcc_v32qi, __gcc_v32qi)
__builtin_ia32_vpcomlew
__gcc_v8hi __builtin_ia32_vpcomlew(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_pmulhrw
__gcc_v4hi __builtin_ia32_pmulhrw(__gcc_v4hi, __gcc_v4hi)
__builtin_ia32_minps256
__gcc_v8sf __builtin_ia32_minps256(__gcc_v8sf, __gcc_v8sf)
__builtin_ia32_vtestnzcps256
int __builtin_ia32_vtestnzcps256(__gcc_v8sf, __gcc_v8sf)
__builtin_ia32_ptestc256
int __builtin_ia32_ptestc256(__gcc_v4di, __gcc_v4di)
__builtin_ia32_cvtdq2ps256
__gcc_v8sf __builtin_ia32_cvtdq2ps256(__gcc_v8si)
__builtin_ia32_permdf256
__gcc_v4df __builtin_ia32_permdf256(__gcc_v4df, int)
__builtin_ia32_pmaddubsw
__gcc_v4hi __builtin_ia32_pmaddubsw(__gcc_v8qi, __gcc_v8qi)
__builtin_ia32_bextri_u32
unsigned __builtin_ia32_bextri_u32(unsigned, unsigned)
__builtin_ia32_pcomequb
int __builtin_ia32_pcomequb()
__builtin_ia32_pabsb256
__gcc_v32qi __builtin_ia32_pabsb256(__gcc_v32qi)
__builtin_ia32_vec_ext___gcc_v4si
int __builtin_ia32_vec_ext___gcc_v4si(__gcc_v4si, const int)
__builtin_ia32_phaddubq
int __builtin_ia32_phaddubq()
__builtin_ia32_fnmsubsd
__gcc_v2df __builtin_ia32_fnmsubsd(__gcc_v2df, __gcc_v2df, __gcc_v2df)
__builtin_ia32_pmovsxbw128
__gcc_v8hi __builtin_ia32_pmovsxbw128(__gcc_v16qi)
__builtin_ia32_psubq256
__gcc_v4di __builtin_ia32_psubq256(__gcc_v4di, __gcc_v4di)
__builtin_ia32_pmadcswd
int __builtin_ia32_pmadcswd()
__builtin_ia32_comuneqsd
int __builtin_ia32_comuneqsd()
__builtin_ia32_minpd
__gcc_v2df __builtin_ia32_minpd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_pd_pd256
__gcc_v2df __builtin_ia32_pd_pd256(__gcc_v4df)
__builtin_ia32_vpcomgeuq
__gcc_v2di __builtin_ia32_vpcomgeuq(__gcc_v2di, __gcc_v2di)
__builtin_ia32_psrlqi128
__gcc_v2di __builtin_ia32_psrlqi128(__gcc_v2di, int)
__builtin_ia32_punpckldq128
__gcc_v4si __builtin_ia32_punpckldq128(__gcc_v4si, __gcc_v4si)
__builtin_ia32_storelps
void __builtin_ia32_storelps(void *, __gcc_v4sf)
__builtin_ia32_pcomged
int __builtin_ia32_pcomged()
__builtin_ia32_vpshld
__gcc_v4si __builtin_ia32_vpshld(__gcc_v4si, __gcc_v4si)
__builtin_ia32_cmpordss
__gcc_v4sf __builtin_ia32_cmpordss(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_pmuldq256
__gcc_v4di __builtin_ia32_pmuldq256(__gcc_v8si, __gcc_v8si)
__builtin_ia32_vpcomgtd
__gcc_v4si __builtin_ia32_vpcomgtd(__gcc_v4si, __gcc_v4si)
__builtin_ia32_cmpeqsd
__gcc_v2df __builtin_ia32_cmpeqsd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_cvtpi2ps
__gcc_v4sf __builtin_ia32_cvtpi2ps(__gcc_v4sf, __gcc_v2si)
__builtin_ia32_comfalsesd
int __builtin_ia32_comfalsesd()
__builtin_ia32_comuneqpd
int __builtin_ia32_comuneqpd()
__builtin_ia32_gathersi__gcc_v8si
__gcc_v8si __builtin_ia32_gathersi__gcc_v8si(__gcc_v8si, const int *, __gcc_v8si, __gcc_v8si, int)
__builtin_ia32_psubq
__gcc_v1di __builtin_ia32_psubq(__gcc_v1di, __gcc_v1di)
__builtin_ia32_cmpunordps
__gcc_v4sf __builtin_ia32_cmpunordps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_rdfsbase32
unsigned __builtin_ia32_rdfsbase32()
__builtin_ia32_sqrtpd
__gcc_v2df __builtin_ia32_sqrtpd(__gcc_v2df)
__builtin_ia32_vpcomgtud
__gcc_v4si __builtin_ia32_vpcomgtud(__gcc_v4si, __gcc_v4si)
__builtin_ia32_cvttps2pi
__gcc_v2si __builtin_ia32_cvttps2pi(__gcc_v4sf)
__builtin_ia32_loadhps
__gcc_v4sf __builtin_ia32_loadhps(__gcc_v4sf, const void *)
__builtin_ia32_unpckhps
__gcc_v4sf __builtin_ia32_unpckhps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_aesenc128
__gcc_v2di __builtin_ia32_aesenc128(__gcc_v2di, __gcc_v2di)
__builtin_ia32_vpcomeqq
__gcc_v2di __builtin_ia32_vpcomeqq(__gcc_v2di, __gcc_v2di)
__builtin_ia32_comueqsd
int __builtin_ia32_comueqsd()
__builtin_ia32_pf2iw
__gcc_v2si __builtin_ia32_pf2iw(__gcc_v2sf)
__builtin_ia32_maskloadq256
__gcc_v4di __builtin_ia32_maskloadq256(const __gcc_v4di *, __gcc_v4di)
__builtin_ia32_vbroadcastsd256
__gcc_v4df __builtin_ia32_vbroadcastsd256(const double *)
__builtin_ia32_cvtpd2dq
__gcc_v4si __builtin_ia32_cvtpd2dq(__gcc_v2df)
__builtin_ia32_pbroadcastd128
__gcc_v4si __builtin_ia32_pbroadcastd128(__gcc_v4si)
__builtin_ia32_pextrw
int __builtin_ia32_pextrw(__gcc_v4hi, int)
__builtin_ia32_psrawi
__gcc_v4hi __builtin_ia32_psrawi(__gcc_v4hi, int)
__builtin_ia32_pabsb
__gcc_v8qi __builtin_ia32_pabsb(__gcc_v8qi)
__builtin_ia32_psraw128
__gcc_v8hi __builtin_ia32_psraw128(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_pcomlew
int __builtin_ia32_pcomlew()
__builtin_ia32_maskloadd256
__gcc_v8si __builtin_ia32_maskloadd256(const __gcc_v8si *, __gcc_v8si)
__builtin_ia32_fmsubaddps256
__gcc_v8sf __builtin_ia32_fmsubaddps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf)
__builtin_ia32_pcmpgtd
__gcc_v2si __builtin_ia32_pcmpgtd(__gcc_v2si, __gcc_v2si)
__builtin_ia32_vpcomtrueuq
__gcc_v2di __builtin_ia32_vpcomtrueuq(__gcc_v2di, __gcc_v2di)
__builtin_ia32_phaddw128
__gcc_v8hi __builtin_ia32_phaddw128(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_comfalsepd
int __builtin_ia32_comfalsepd()
__builtin_ia32_psradi128
__gcc_v4si __builtin_ia32_psradi128(__gcc_v4si, int)
__builtin_ia32_phaddw256
__gcc_v16hi __builtin_ia32_phaddw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_blendpd
__gcc_v2df __builtin_ia32_blendpd(__gcc_v2df, __gcc_v2df, int)
__builtin_ia32_protb
int __builtin_ia32_protb()
__builtin_ia32_pshab
int __builtin_ia32_pshab()
__builtin_ia32_comgtps
int __builtin_ia32_comgtps()
__builtin_ia32_pminuw128
__gcc_v8hi __builtin_ia32_pminuw128(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_fmaddps256
__gcc_v8sf __builtin_ia32_fmaddps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf)
__builtin_ia32_psrawi256
__gcc_v16hi __builtin_ia32_psrawi256(__gcc_v16hi, int)
__builtin_ia32_por
__gcc_v1di __builtin_ia32_por(__gcc_v1di, __gcc_v1di)
__builtin_ia32_vpermilps
__gcc_v4sf __builtin_ia32_vpermilps(__gcc_v4sf, int)
__builtin_ia32_cvttps2dq256
__gcc_v8si __builtin_ia32_cvttps2dq256(__gcc_v8sf)
__builtin_ia32_vpmacsdqh
__gcc_v2di __builtin_ia32_vpmacsdqh(__gcc_v4si, __gcc_v4si, __gcc_v2di)
__builtin_ia32_punpckldq256
__gcc_v8si __builtin_ia32_punpckldq256(__gcc_v8si, __gcc_v8si)
__builtin_ia32_packssdw
__gcc_v4hi __builtin_ia32_packssdw(__gcc_v2si, __gcc_v2si)
__builtin_ia32_cmpps
__gcc_v4sf __builtin_ia32_cmpps(__gcc_v4sf, __gcc_v4sf, int)
__builtin_ia32_pshufd256
__gcc_v8si __builtin_ia32_pshufd256(__gcc_v8si, int)
__builtin_ia32_pbroadcastw128
__gcc_v8hi __builtin_ia32_pbroadcastw128(__gcc_v8hi)
__builtin_ia32_lwpval64
void __builtin_ia32_lwpval64(unsigned long long, unsigned, unsigned)
__builtin_ia32_pmacsswd
int __builtin_ia32_pmacsswd()
__builtin_ia32_addsubps
__gcc_v4sf __builtin_ia32_addsubps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_punpcklwd
__gcc_v4hi __builtin_ia32_punpcklwd(__gcc_v4hi, __gcc_v4hi)
__builtin_ia32_rdgsbase64
unsigned long long __builtin_ia32_rdgsbase64()
__builtin_ia32_divsd
__gcc_v2df __builtin_ia32_divsd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_comunltss
int __builtin_ia32_comunltss()
__builtin_ia32_pfrcpit2
__gcc_v2sf __builtin_ia32_pfrcpit2(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_extract128i256
__gcc_v2di __builtin_ia32_extract128i256(__gcc_v4di, int)
__builtin_ia32_movddup256
__gcc_v4df __builtin_ia32_movddup256(__gcc_v4df)
__builtin_ia32_vphaddwd
__gcc_v4si __builtin_ia32_vphaddwd(__gcc_v8hi)
__builtin_ia32_maxsd
__gcc_v2df __builtin_ia32_maxsd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_pabsb128
__gcc_v16qi __builtin_ia32_pabsb128(__gcc_v16qi)
__builtin_ia32_vfrczsd
__gcc_v2df __builtin_ia32_vfrczsd(__gcc_v2df)
__builtin_ia32_vperm2f128_si256
__gcc_v8si __builtin_ia32_vperm2f128_si256(__gcc_v8si, __gcc_v8si, int)
__builtin_ia32_pcomltb
int __builtin_ia32_pcomltb()
__builtin_ia32_pminuw256
__gcc_v16hi __builtin_ia32_pminuw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_protw
int __builtin_ia32_protw()
__builtin_ia32_vpcomgtw
__gcc_v8hi __builtin_ia32_vpcomgtw(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_pcomequd
int __builtin_ia32_pcomequd()
__builtin_ia32_vphaddubd
__gcc_v4si __builtin_ia32_vphaddubd(__gcc_v16qi)
__builtin_ia32_pcomgtud
int __builtin_ia32_pcomgtud()
__builtin_ia32_minpd256
__gcc_v4df __builtin_ia32_minpd256(__gcc_v4df, __gcc_v4df)
__builtin_ia32_pmovmskb256
int __builtin_ia32_pmovmskb256(__gcc_v32qi)
__builtin_ia32_vpcomneq
__gcc_v2di __builtin_ia32_vpcomneq(__gcc_v2di, __gcc_v2di)
__builtin_ia32_psll__gcc_v8si
__gcc_v8si __builtin_ia32_psll__gcc_v8si(__gcc_v8si, __gcc_v8si)
__builtin_ia32_pbroadcastq256
__gcc_v4di __builtin_ia32_pbroadcastq256(__gcc_v2di)
__builtin_ia32_maskstoreq256
void __builtin_ia32_maskstoreq256(__gcc_v4di *, __gcc_v4di, __gcc_v4di)
__builtin_ia32_pcomgtq
int __builtin_ia32_pcomgtq()
__builtin_ia32_psradi256
__gcc_v8si __builtin_ia32_psradi256(__gcc_v8si, int)
__builtin_ia32_minsd
__gcc_v2df __builtin_ia32_minsd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_maskloadpd
__gcc_v2df __builtin_ia32_maskloadpd(const __gcc_v2df *, __gcc_v2di)
__builtin_ia32_xorps
__gcc_v4sf __builtin_ia32_xorps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_comeqps
int __builtin_ia32_comeqps()
__builtin_ia32_blendvps
__gcc_v4sf __builtin_ia32_blendvps(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf)
__builtin_ia32_haddps
__gcc_v4sf __builtin_ia32_haddps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_pminub256
__gcc_v32qi __builtin_ia32_pminub256(__gcc_v32qi, __gcc_v32qi)
__builtin_ia32_comeqsd
int __builtin_ia32_comeqsd()
__builtin_ia32_phminposuw128
__gcc_v8hi __builtin_ia32_phminposuw128(__gcc_v8hi)
__builtin_ia32_storeups256
void __builtin_ia32_storeups256(float *, __gcc_v8sf)
__builtin_ia32_cmpngepd
__gcc_v2df __builtin_ia32_cmpngepd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_vpcomfalseud
__gcc_v4si __builtin_ia32_vpcomfalseud(__gcc_v4si, __gcc_v4si)
__builtin_ia32_pcomfalsed
int __builtin_ia32_pcomfalsed()
__builtin_ia32_cvtps2pd
__gcc_v2df __builtin_ia32_cvtps2pd(__gcc_v4sf)
__builtin_ia32_permvarsf256
__gcc_v8sf __builtin_ia32_permvarsf256(__gcc_v8sf, __gcc_v8si)
__builtin_ia32_vpcomgeq
__gcc_v2di __builtin_ia32_vpcomgeq(__gcc_v2di, __gcc_v2di)
__builtin_ia32_vpmacsdql
__gcc_v2di __builtin_ia32_vpmacsdql(__gcc_v4si, __gcc_v4si, __gcc_v2di)
__builtin_ia32_vec_ext___gcc_v2di
__gcc_di __builtin_ia32_vec_ext___gcc_v2di(__gcc_v2di, const int)
__builtin_ia32_fmsubps256
__gcc_v8sf __builtin_ia32_fmsubps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf)
__builtin_ia32_cmpordsd
__gcc_v2df __builtin_ia32_cmpordsd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_vpmacssww
__gcc_v8hi __builtin_ia32_vpmacssww(__gcc_v8hi, __gcc_v8hi, __gcc_v8hi)
__builtin_ia32_psrldqi256
__gcc_v4di __builtin_ia32_psrldqi256(__gcc_v4di, int)
__builtin_ia32_punpckhwd256
__gcc_v16hi __builtin_ia32_punpckhwd256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_comunordps
int __builtin_ia32_comunordps()
__builtin_ia32_vpmacswd
__gcc_v4si __builtin_ia32_vpmacswd(__gcc_v8hi, __gcc_v8hi, __gcc_v4si)
__builtin_ia32_comleps
int __builtin_ia32_comleps()
__builtin_ia32_xorpd256
__gcc_v4df __builtin_ia32_xorpd256(__gcc_v4df, __gcc_v4df)
__builtin_ia32_comltsd
int __builtin_ia32_comltsd()
__builtin_ia32_fnmaddpd
__gcc_v2df __builtin_ia32_fnmaddpd(__gcc_v2df, __gcc_v2df, __gcc_v2df)
__builtin_ia32_paddq256
__gcc_v4di __builtin_ia32_paddq256(__gcc_v4di, __gcc_v4di)
__builtin_ia32_minss
__gcc_v4sf __builtin_ia32_minss(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_psrlwi
__gcc_v4hi __builtin_ia32_psrlwi(__gcc_v4hi, int)
_pdep_u64
unsigned long long _pdep_u64(unsigned long long, unsigned long long)
__builtin_ia32_pblendvb256
__gcc_v32qi __builtin_ia32_pblendvb256(__gcc_v32qi, __gcc_v32qi, __gcc_v32qi)
__builtin_ia32_vpcmov_v8hi
__gcc_v8hi __builtin_ia32_vpcmov_v8hi(__gcc_v8hi, __gcc_v8hi, __gcc_v8hi)
__builtin_ia32_pmaxsw
__gcc_v4hi __builtin_ia32_pmaxsw(__gcc_v4hi, __gcc_v4hi)
__builtin_ia32_fmsubaddps
__gcc_v4sf __builtin_ia32_fmsubaddps(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf)
__builtin_ia32_comige
int __builtin_ia32_comige(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_pmovzxbd128
__gcc_v4si __builtin_ia32_pmovzxbd128(__gcc_v16qi)
__builtin_ia32_pmovzxwq256
__gcc_v4di __builtin_ia32_pmovzxwq256(__gcc_v8hi)
__builtin_ia32_vpcomfalsed
__gcc_v4si __builtin_ia32_vpcomfalsed(__gcc_v4si, __gcc_v4si)
__builtin_ia32_comlesd
int __builtin_ia32_comlesd()
__builtin_ia32_pbroadcastd256
__gcc_v8si __builtin_ia32_pbroadcastd256(__gcc_v4si)
__builtin_ia32_pcomnequb
int __builtin_ia32_pcomnequb()
__builtin_ia32_vpcomequq
__gcc_v2di __builtin_ia32_vpcomequq(__gcc_v2di, __gcc_v2di)
__builtin_ia32_pmaxsw128
__gcc_v8hi __builtin_ia32_pmaxsw128(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_cmplepd
__gcc_v2df __builtin_ia32_cmplepd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_ucomisdgt
int __builtin_ia32_ucomisdgt(__gcc_v2df, __gcc_v2df)
__builtin_ia32_loadhpd
__gcc_v2df __builtin_ia32_loadhpd(__gcc_v2df, const double *)
__builtin_ia32_psllw128
__gcc_v8hi __builtin_ia32_psllw128(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_maskstoreps256
void __builtin_ia32_maskstoreps256(__gcc_v8sf *, __gcc_v8si, __gcc_v8sf)
__builtin_ia32_pmaddwd256
__gcc_v8si __builtin_ia32_pmaddwd256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_psrld
__gcc_v2si __builtin_ia32_psrld(__gcc_v2si, __gcc_v2si)
__builtin_ia32_cvttsd2si64
long long __builtin_ia32_cvttsd2si64(__gcc_v2df)
__builtin_ia32_pshuflw
__gcc_v8hi __builtin_ia32_pshuflw(__gcc_v8hi, int)
__builtin_ia32_packuswb128
__gcc_v16qi __builtin_ia32_packuswb128(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_pcomfalsew
int __builtin_ia32_pcomfalsew()
__builtin_ia32_cvtps2pi
__gcc_v2si __builtin_ia32_cvtps2pi(__gcc_v4sf)
__builtin_ia32_pfrsqrtit1
__gcc_v2sf __builtin_ia32_pfrsqrtit1(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_pf2id
__gcc_v2si __builtin_ia32_pf2id(__gcc_v2sf)
__builtin_ia32_subpd
__gcc_v2df __builtin_ia32_subpd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_pavgb
__gcc_v8qi __builtin_ia32_pavgb(__gcc_v8qi, __gcc_v8qi)
__builtin_ia32_comltps
int __builtin_ia32_comltps()
__builtin_ia32_comungtss
int __builtin_ia32_comungtss()
__builtin_ia32_psra__gcc_v4si
__gcc_v4si __builtin_ia32_psra__gcc_v4si(__gcc_v4si, __gcc_v4si)
__builtin_ia32_comilt
int __builtin_ia32_comilt(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_pavgw256
__gcc_v16hi __builtin_ia32_pavgw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_comunlepd
int __builtin_ia32_comunlepd()
__builtin_ia32_punpckhdq256
__gcc_v8si __builtin_ia32_punpckhdq256(__gcc_v8si, __gcc_v8si)
__builtin_ia32_punpckhwd128
__gcc_v8hi __builtin_ia32_punpckhwd128(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_pmovsxbd128
__gcc_v4si __builtin_ia32_pmovsxbd128(__gcc_v16qi)
__builtin_ia32_fnmaddpd256
__gcc_v4df __builtin_ia32_fnmaddpd256(__gcc_v4df, __gcc_v4df, __gcc_v4df)
__builtin_ia32_ptestz256
int __builtin_ia32_ptestz256(__gcc_v4di, __gcc_v4di)
__builtin_ia32_phaddw
__gcc_v4hi __builtin_ia32_phaddw(__gcc_v4hi, __gcc_v4hi)
__builtin_ia32_psignw256
__gcc_v16hi __builtin_ia32_psignw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_punpcklwd256
__gcc_v16hi __builtin_ia32_punpcklwd256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_vfrczps
__gcc_v4sf __builtin_ia32_vfrczps(__gcc_v4sf)
__builtin_ia32_pmovzxdq256
__gcc_v4di __builtin_ia32_pmovzxdq256(__gcc_v4si)
__builtin_ia32_fnmaddsd
__gcc_v2df __builtin_ia32_fnmaddsd(__gcc_v2df, __gcc_v2df, __gcc_v2df)
__builtin_ia32_loadaps
__gcc_v4sf __builtin_ia32_loadaps(float *)
__builtin_ia32_paddusw
__gcc_v4hi __builtin_ia32_paddusw(__gcc_v4hi, __gcc_v4hi)
__builtin_ia32_vextractf128_si256
__gcc_v4si __builtin_ia32_vextractf128_si256(__gcc_v8si, int)
__builtin_ia32_fmaddsd
__gcc_v2df __builtin_ia32_fmaddsd(__gcc_v2df, __gcc_v2df, __gcc_v2df)
__builtin_ia32_pcmpeqd128
__gcc_v4si __builtin_ia32_pcmpeqd128(__gcc_v4si, __gcc_v4si)
__builtin_ia32_phadddq
int __builtin_ia32_phadddq()
__builtin_ia32_lwpins64
unsigned char __builtin_ia32_lwpins64(unsigned long long, unsigned, unsigned)
__builtin_ia32_vpcomgeud
__gcc_v4si __builtin_ia32_vpcomgeud(__gcc_v4si, __gcc_v4si)
__builtin_ia32_phaddudq
int __builtin_ia32_phaddudq()
__builtin_ia32_vpshad
__gcc_v4si __builtin_ia32_vpshad(__gcc_v4si, __gcc_v4si)
__builtin_copysignq
__CPROVER_Float128 __builtin_copysignq(__CPROVER_Float128, __CPROVER_Float128)
__builtin_ia32_cvtdq2pd
__gcc_v2df __builtin_ia32_cvtdq2pd(__gcc_v4si)
__builtin_ia32_pmaxsw256
__gcc_v16hi __builtin_ia32_pmaxsw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_vpshlb
__gcc_v16qi __builtin_ia32_vpshlb(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_pminsb256
__gcc_v32qi __builtin_ia32_pminsb256(__gcc_v32qi, __gcc_v32qi)
__builtin_ia32_comunleps
int __builtin_ia32_comunleps()
__builtin_ia32_lwpval16
void __builtin_ia32_lwpval16(unsigned short, unsigned int, unsigned short)
__builtin_ia32_cmpeqps
__gcc_v4sf __builtin_ia32_cmpeqps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_comltpd
int __builtin_ia32_comltpd()
__builtin_popcountl
int __builtin_popcountl(unsigned long)
__builtin_ia32_ps256_ps
__gcc_v8sf __builtin_ia32_ps256_ps(__gcc_v4sf)
__builtin_ia32_pcomltw
int __builtin_ia32_pcomltw()
__builtin_ia32_palignr128
__gcc_v2di __builtin_ia32_palignr128(__gcc_v2di, __gcc_v2di, int)
__builtin_ia32_cmpngeps
__gcc_v4sf __builtin_ia32_cmpngeps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_movsd
__gcc_v2df __builtin_ia32_movsd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_pmacssdqh
int __builtin_ia32_pmacssdqh()
__builtin_ia32_movnti64
void __builtin_ia32_movnti64(long long *, long long)
__builtin_ia32_pcomneqq
int __builtin_ia32_pcomneqq()
__builtin_ia32_pcomgeuw
int __builtin_ia32_pcomgeuw()
__builtin_ia32_crc32di
unsigned long long __builtin_ia32_crc32di(unsigned long long, unsigned long long)
__builtin_ia32_psrldqi128
__gcc_v2di __builtin_ia32_psrldqi128(__gcc_v2di, int)
__builtin_ia32_punpckhdq128
__gcc_v4si __builtin_ia32_punpckhdq128(__gcc_v4si, __gcc_v4si)
__builtin_ia32_sqrtss
__gcc_v4sf __builtin_ia32_sqrtss(__gcc_v4sf)
__builtin_ia32_punpckhbw256
__gcc_v32qi __builtin_ia32_punpckhbw256(__gcc_v32qi, __gcc_v32qi)
__builtin_ia32_vpcomfalseq
__gcc_v2di __builtin_ia32_vpcomfalseq(__gcc_v2di, __gcc_v2di)
__builtin_ia32_pshlq
int __builtin_ia32_pshlq()
__builtin_ia32_pslldqi256
__gcc_v4di __builtin_ia32_pslldqi256(__gcc_v4di, int)
__builtin_ia32_permvarsi256
__gcc_v8si __builtin_ia32_permvarsi256(__gcc_v8si, __gcc_v8si)
_pext_u64
unsigned long long _pext_u64(unsigned long long, unsigned long long)
__builtin_ia32_packssdw256
__gcc_v16hi __builtin_ia32_packssdw256(__gcc_v8si, __gcc_v8si)
__builtin_ia32_cmpss
__gcc_v4sf __builtin_ia32_cmpss(__gcc_v4sf, __gcc_v4sf, int)
__builtin_popcount
int __builtin_popcount(unsigned int)
__builtin_ia32_pcomltq
int __builtin_ia32_pcomltq()
__builtin_ia32_gathersi__gcc_v4sf
__gcc_v4sf __builtin_ia32_gathersi__gcc_v4sf(__gcc_v4sf, const float *, __gcc_v4si, __gcc_v4sf, int)
__builtin_ia32_movlhps
__gcc_v4sf __builtin_ia32_movlhps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_pmulhw
__gcc_v4hi __builtin_ia32_pmulhw(__gcc_v4hi, __gcc_v4hi)
__builtin_ia32_cvtsd2si64
long long __builtin_ia32_cvtsd2si64(__gcc_v2df)
__builtin_ia32_pfmul
__gcc_v2sf __builtin_ia32_pfmul(__gcc_v2sf, __gcc_v2sf)
__builtin_ia32_pcomgtuq
int __builtin_ia32_pcomgtuq()
__builtin_ia32_gatherdi__gcc_v2df
__gcc_v2df __builtin_ia32_gatherdi__gcc_v2df(__gcc_v2df, const double *, __gcc_v2di, __gcc_v2df, int)
__builtin_ia32_vzeroupper
void __builtin_ia32_vzeroupper()
__builtin_ia32_pswapdsi
__gcc_v2si __builtin_ia32_pswapdsi(__gcc_v2si)
__builtin_ia32_insert128i256
__gcc_v4di __builtin_ia32_insert128i256(__gcc_v4di, __gcc_v2di, int)
__builtin_ia32_haddpd
__gcc_v2df __builtin_ia32_haddpd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_sqrtpd256
__gcc_v4df __builtin_ia32_sqrtpd256(__gcc_v4df)
__builtin_ia32_addpd256
__gcc_v4df __builtin_ia32_addpd256(__gcc_v4df, __gcc_v4df)
__builtin_ia32_cmpeqpd
__gcc_v2df __builtin_ia32_cmpeqpd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_andnpd
__gcc_v2df __builtin_ia32_andnpd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_vtestzps
int __builtin_ia32_vtestzps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_paddd256
__gcc_v8si __builtin_ia32_paddd256(__gcc_v8si, __gcc_v8si)
__builtin_ia32_blendps
__gcc_v4sf __builtin_ia32_blendps(__gcc_v4sf, __gcc_v4sf, int)
__builtin_ia32_comneqpd
int __builtin_ia32_comneqpd()
__builtin_ia32_loaddqu
__gcc_v16qi __builtin_ia32_loaddqu(const char *)
__builtin_ia32_pmulhw128
__gcc_v8hi __builtin_ia32_pmulhw128(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_vpcomltud
__gcc_v4si __builtin_ia32_vpcomltud(__gcc_v4si, __gcc_v4si)
__builtin_ia32_gathersi__gcc_v8sf
__gcc_v8sf __builtin_ia32_gathersi__gcc_v8sf(__gcc_v8sf, const float *, __gcc_v8si, __gcc_v8sf, int)
__builtin_ia32_psllw256
__gcc_v16hi __builtin_ia32_psllw256(__gcc_v16hi, __gcc_v8hi)
__builtin_ia32_vpmacsswd
__gcc_v4si __builtin_ia32_vpmacsswd(__gcc_v8hi, __gcc_v8hi, __gcc_v4si)
__builtin_ia32_punpckhwd
__gcc_v4hi __builtin_ia32_punpckhwd(__gcc_v4hi, __gcc_v4hi)
__builtin_ia32_divpd
__gcc_v2df __builtin_ia32_divpd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_pblendvb128
__gcc_v16qi __builtin_ia32_pblendvb128(__gcc_v16qi, __gcc_v16qi, __gcc_v16qi)
__builtin_ia32_paddd128
__gcc_v4si __builtin_ia32_paddd128(__gcc_v4si, __gcc_v4si)
__builtin_ia32_pslld128
__gcc_v4si __builtin_ia32_pslld128(__gcc_v4si, __gcc_v4si)
__builtin_ia32_vpcomltub
__gcc_v16qi __builtin_ia32_vpcomltub(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_aesdeclast128
__gcc_v2di __builtin_ia32_aesdeclast128(__gcc_v2di, __gcc_v2di)
__builtin_ia32_vpcmov
__gcc_v2di __builtin_ia32_vpcmov(__gcc_v2di, __gcc_v2di, __gcc_v2di)
__builtin_ia32_pmovsxwd128
__gcc_v4si __builtin_ia32_pmovsxwd128(__gcc_v8hi)
__builtin_ia32_pmullw128
__gcc_v8hi __builtin_ia32_pmullw128(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_vpcomltd
__gcc_v4si __builtin_ia32_vpcomltd(__gcc_v4si, __gcc_v4si)
__builtin_ia32_comisdlt
int __builtin_ia32_comisdlt(__gcc_v2df, __gcc_v2df)
__builtin_ia32_cmpgeps
__gcc_v4sf __builtin_ia32_cmpgeps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_pcomtrueb
int __builtin_ia32_pcomtrueb()
__builtin_ia32_fmsubss
__gcc_v4sf __builtin_ia32_fmsubss(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf)
__builtin_ia32_pshuflw256
__gcc_v16hi __builtin_ia32_pshuflw256(__gcc_v16hi, int)
__builtin_ia32_psll__gcc_v4si
__gcc_v4si __builtin_ia32_psll__gcc_v4si(__gcc_v4si, __gcc_v4si)
__builtin_ia32_comunltpd
int __builtin_ia32_comunltpd()
__builtin_ia32_phsubsw
__gcc_v4hi __builtin_ia32_phsubsw(__gcc_v4hi, __gcc_v4hi)
__builtin_ia32_cvtsi642sd
__gcc_v2df __builtin_ia32_cvtsi642sd(__gcc_v2df, long long)
__builtin_ia32_cmpltsd
__gcc_v2df __builtin_ia32_cmpltsd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_pminsw128
__gcc_v8hi __builtin_ia32_pminsw128(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_dppd
__gcc_v2df __builtin_ia32_dppd(__gcc_v2df, __gcc_v2df, int)
__builtin_ia32_cmpneqps
__gcc_v4sf __builtin_ia32_cmpneqps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_vfrczpd
__gcc_v2df __builtin_ia32_vfrczpd(__gcc_v2df)
__builtin_ia32_phaddd128
__gcc_v4si __builtin_ia32_phaddd128(__gcc_v4si, __gcc_v4si)
__builtin_ia32_cmpneqpd
__gcc_v2df __builtin_ia32_cmpneqpd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_comgeps
int __builtin_ia32_comgeps()
__builtin_ia32_comgess
int __builtin_ia32_comgess()
__builtin_ia32_addps256
__gcc_v8sf __builtin_ia32_addps256(__gcc_v8sf, __gcc_v8sf)
__builtin_ia32_psllw
__gcc_v4hi __builtin_ia32_psllw(__gcc_v4hi, __gcc_v4hi)
__builtin_ia32_rsqrtps256
__gcc_v8sf __builtin_ia32_rsqrtps256(__gcc_v8sf)
__builtin_ia32_pbroadcastb256
__gcc_v32qi __builtin_ia32_pbroadcastb256(__gcc_v16qi)
__builtin_ia32_vec_ext_v4sf
float __builtin_ia32_vec_ext_v4sf(__gcc_v4sf, int)
__builtin_ia32_clflush
void __builtin_ia32_clflush(const void *)
__builtin_ia32_pmacssww
int __builtin_ia32_pmacssww()
__builtin_ia32_pcomnequq
int __builtin_ia32_pcomnequq()
__builtin_ia32_subsd
__gcc_v2df __builtin_ia32_subsd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_psubusb256
__gcc_v32qi __builtin_ia32_psubusb256(__gcc_v32qi, __gcc_v32qi)
__builtin_ia32_pminsw
__gcc_v4hi __builtin_ia32_pminsw(__gcc_v4hi, __gcc_v4hi)
__builtin_ia32_hsubpd
__gcc_v2df __builtin_ia32_hsubpd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_comile
int __builtin_ia32_comile(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_subss
__gcc_v4sf __builtin_ia32_subss(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_pcomltuq
int __builtin_ia32_pcomltuq()
__builtin_ia32_vpcomequw
__gcc_v8hi __builtin_ia32_vpcomequw(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_vprotd
__gcc_v4si __builtin_ia32_vprotd(__gcc_v4si, __gcc_v4si)
__builtin_ia32_vpcmov___gcc_v8sf256
__gcc_v8sf __builtin_ia32_vpcmov___gcc_v8sf256(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf)
__builtin_ia32_psrlq
__gcc_v1di __builtin_ia32_psrlq(__gcc_v1di, __gcc_v1di)
__builtin_ia32_vpmacssdql
__gcc_v2di __builtin_ia32_vpmacssdql(__gcc_v4si, __gcc_v4si, __gcc_v2di)
__builtin_ia32_fnmaddps256
__gcc_v8sf __builtin_ia32_fnmaddps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf)
__builtin_ia32_subps
__gcc_v4sf __builtin_ia32_subps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_rsqrtps_nr256
__gcc_v8sf __builtin_ia32_rsqrtps_nr256(__gcc_v8sf)
__builtin_ia32_maskloadq
__gcc_v2di __builtin_ia32_maskloadq(const __gcc_v2di *, __gcc_v2di)
__builtin_ia32_lzcnt_16
unsigned short __builtin_ia32_lzcnt_16(unsigned short)
__builtin_ia32_comordpd
int __builtin_ia32_comordpd()
__builtin_ia32_psadbw128
__gcc_v2di __builtin_ia32_psadbw128(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_pshufhw256
__gcc_v16hi __builtin_ia32_pshufhw256(__gcc_v16hi, int)
__builtin_ia32_vprotb
__gcc_v16qi __builtin_ia32_vprotb(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_mwait
void __builtin_ia32_mwait(unsigned int, unsigned int)
__builtin_ia32_pcomgew
int __builtin_ia32_pcomgew()
__builtin_ia32_psadbw256
__gcc_v16hi __builtin_ia32_psadbw256(__gcc_v32qi, __gcc_v32qi)
__builtin_ia32_comueqpd
int __builtin_ia32_comueqpd()
__builtin_ia32_storeaps
void __builtin_ia32_storeaps(float *, __gcc_v4sf)
__builtin_ia32_punpckhdq
__gcc_v2si __builtin_ia32_punpckhdq(__gcc_v2si, __gcc_v2si)
__builtin_ia32_pavgw128
__gcc_v8hi __builtin_ia32_pavgw128(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_packuswb256
__gcc_v32qi __builtin_ia32_packuswb256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_maskloadps
__gcc_v4sf __builtin_ia32_maskloadps(const __gcc_v4sf *, __gcc_v4si)
__builtin_ia32_pslld
__gcc_v2si __builtin_ia32_pslld(__gcc_v2si, __gcc_v2si)
__builtin_ia32_pxor128
__gcc_v2di __builtin_ia32_pxor128(__gcc_v2di, __gcc_v2di)
__builtin_ia32_cvtpd2pi
__gcc_v2si __builtin_ia32_cvtpd2pi(__gcc_v2df)
__builtin_ia32_psubw
__gcc_v4hi __builtin_ia32_psubw(__gcc_v4hi, __gcc_v4hi)
__builtin_ia32_ucomisdlt
int __builtin_ia32_ucomisdlt(__gcc_v2df, __gcc_v2df)
__builtin_ia32_psrlqi256
__gcc_v4di __builtin_ia32_psrlqi256(__gcc_v4di, int)
__builtin_ia32_packuswb
__gcc_v8qi __builtin_ia32_packuswb(__gcc_v4hi, __gcc_v4hi)
__builtin_ia32_pminsd256
__gcc_v8si __builtin_ia32_pminsd256(__gcc_v8si, __gcc_v8si)
__builtin_ia32_punpckhbw128
__gcc_v16qi __builtin_ia32_punpckhbw128(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_pcomleud
int __builtin_ia32_pcomleud()
__builtin_ia32_cvtsd2ss
__gcc_v4sf __builtin_ia32_cvtsd2ss(__gcc_v4sf, __gcc_v2df)
__builtin_ia32_cvttss2si
int __builtin_ia32_cvttss2si(__gcc_v4sf)
__builtin_ia32_fmaddsubps
__gcc_v4sf __builtin_ia32_fmaddsubps(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf)
__builtin_ia32_pcmpgtd256
__gcc_v8si __builtin_ia32_pcmpgtd256(__gcc_v8si, __gcc_v8si)
__builtin_ia32_movshdup256
__gcc_v8sf __builtin_ia32_movshdup256(__gcc_v8sf)
__builtin_ia32_cvtps2pd256
__gcc_v4df __builtin_ia32_cvtps2pd256(__gcc_v4sf)
__builtin_ia32_pcomltd
int __builtin_ia32_pcomltd()
__builtin_ia32_vprotw
__gcc_v8hi __builtin_ia32_vprotw(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_pmadcsswd
int __builtin_ia32_pmadcsswd()
__builtin_ia32_pshufd
__gcc_v4si __builtin_ia32_pshufd(__gcc_v4si, int)
__builtin_ia32_vpcomequd
__gcc_v4si __builtin_ia32_vpcomequd(__gcc_v4si, __gcc_v4si)
__builtin_ia32_xorpd
__gcc_v2df __builtin_ia32_xorpd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_comunltps
int __builtin_ia32_comunltps()
__builtin_ia32_vpcomtrueub
__gcc_v16qi __builtin_ia32_vpcomtrueub(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_vpshlq
__gcc_v2di __builtin_ia32_vpshlq(__gcc_v2di, __gcc_v2di)
__builtin_ia32_vpermil2ps
__gcc_v4sf __builtin_ia32_vpermil2ps(__gcc_v4sf, __gcc_v4sf, __gcc_v4si, int)
__builtin_ia32_pcomfalseuq
int __builtin_ia32_pcomfalseuq()
__builtin_ia32_comungtpd
int __builtin_ia32_comungtpd()
__builtin_ia32_vpermil2ps256
__gcc_v8sf __builtin_ia32_vpermil2ps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8si, int)
__builtin_ia32_comungepd
int __builtin_ia32_comungepd()
__builtin_ia32_por128
__gcc_v2di __builtin_ia32_por128(__gcc_v2di, __gcc_v2di)
__builtin_ia32_mfence
void __builtin_ia32_mfence(void)
__builtin_ia32_fmaddpd256
__gcc_v4df __builtin_ia32_fmaddpd256(__gcc_v4df, __gcc_v4df, __gcc_v4df)
__builtin_ia32_maxps256
__gcc_v8sf __builtin_ia32_maxps256(__gcc_v8sf, __gcc_v8sf)
__builtin_ia32_andsi256
__gcc_v4di __builtin_ia32_andsi256(__gcc_v4di, __gcc_v4di)
__builtin_ia32_maxpd
__gcc_v2df __builtin_ia32_maxpd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_vbroadcastss_ps
__gcc_v4sf __builtin_ia32_vbroadcastss_ps(__gcc_v4sf)
__builtin_ia32_pmovzxbw256
__gcc_v16hi __builtin_ia32_pmovzxbw256(__gcc_v16qi)
__builtin_ia32_ucomisdle
int __builtin_ia32_ucomisdle(__gcc_v2df, __gcc_v2df)
__builtin_ia32_packsswb256
__gcc_v32qi __builtin_ia32_packsswb256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_pmulhrsw128
__gcc_v8hi __builtin_ia32_pmulhrsw128(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_vpmacsdd
__gcc_v4si __builtin_ia32_vpmacsdd(__gcc_v4si, __gcc_v4si, __gcc_v4si)
__builtin_ia32_pcomtrued
int __builtin_ia32_pcomtrued()
__builtin_ia32_maskstoreps
void __builtin_ia32_maskstoreps(__gcc_v4sf *, __gcc_v4si, __gcc_v4sf)
__builtin_ia32_fmaddpd
__gcc_v2df __builtin_ia32_fmaddpd(__gcc_v2df, __gcc_v2df, __gcc_v2df)
__builtin_ia32_phsubsw128
__gcc_v8hi __builtin_ia32_phsubsw128(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_vphaddwq
__gcc_v2di __builtin_ia32_vphaddwq(__gcc_v8hi)
__builtin_ia32_roundps
__gcc_v4sf __builtin_ia32_roundps(__gcc_v4sf, int)
__builtin_ia32_pmulhrsw
__gcc_v4hi __builtin_ia32_pmulhrsw(__gcc_v4hi, __gcc_v4hi)
__builtin_ia32_pmacsww
int __builtin_ia32_pmacsww()
__builtin_ia32_pmacsdd
int __builtin_ia32_pmacsdd()
__builtin_ia32_psrad256
__gcc_v8si __builtin_ia32_psrad256(__gcc_v8si, __gcc_v4si)
__builtin_ia32_pcomleuw
int __builtin_ia32_pcomleuw()
__builtin_ia32_pshlw
int __builtin_ia32_pshlw()
__builtin_ia32_rsqrtss
__gcc_v4sf __builtin_ia32_rsqrtss(__gcc_v4sf)
__builtin_ia32_comineq
int __builtin_ia32_comineq(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_pabsd
__gcc_v2si __builtin_ia32_pabsd(__gcc_v2si)
__builtin_ia32_shufps
__gcc_v4sf __builtin_ia32_shufps(__gcc_v4sf, __gcc_v4sf, int)
__builtin_ia32_maskmovq
void __builtin_ia32_maskmovq(__gcc_v8qi, __gcc_v8qi, char *)
__builtin_ia32_paddsw
__gcc_v4hi __builtin_ia32_paddsw(__gcc_v4hi, __gcc_v4hi)
__builtin_ia32_pd256_pd
__gcc_v4df __builtin_ia32_pd256_pd(__gcc_v2df)
__builtin_ia32_pmaxuw256
__gcc_v16hi __builtin_ia32_pmaxuw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_vpcomltb
__gcc_v16qi __builtin_ia32_vpcomltb(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_comtruepd
int __builtin_ia32_comtruepd()
__builtin_ia32_mulss
__gcc_v4sf __builtin_ia32_mulss(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_psubb
__gcc_v8qi __builtin_ia32_psubb(__gcc_v8qi, __gcc_v8qi)
__builtin_ia32_phaddwd
int __builtin_ia32_phaddwd()
__builtin_ia32_punpcklwd128
__gcc_v8hi __builtin_ia32_punpcklwd128(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_pcmpistric128
int __builtin_ia32_pcmpistric128(__gcc_v16qi, __gcc_v16qi, const int)
__builtin_ia32_pcmpeqq
__gcc_v2di __builtin_ia32_pcmpeqq(__gcc_v2di, __gcc_v2di)
__builtin_ia32_vpcomgeb
__gcc_v16qi __builtin_ia32_vpcomgeb(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_pmovzxbq256
__gcc_v4di __builtin_ia32_pmovzxbq256(__gcc_v16qi)
__builtin_ia32_sfence
void __builtin_ia32_sfence()
__builtin_ia32_vpcomtrueq
__gcc_v2di __builtin_ia32_vpcomtrueq(__gcc_v2di, __gcc_v2di)
__builtin_ia32_unpckhps256
__gcc_v8sf __builtin_ia32_unpckhps256(__gcc_v8sf, __gcc_v8sf)
__builtin_ia32_gatherdi__gcc_v4si
__gcc_v4si __builtin_ia32_gatherdi__gcc_v4si(__gcc_v4si, const int *, __gcc_v2di, __gcc_v4si, int)
__builtin_ia32_phaddbq
int __builtin_ia32_phaddbq()
__builtin_ia32_comgepd
int __builtin_ia32_comgepd()
__builtin_ia32_vtestnzcpd
int __builtin_ia32_vtestnzcpd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_llwpcb32
void __builtin_ia32_llwpcb32(void *)
__builtin_ia32_psrlwi128
__gcc_v8hi __builtin_ia32_psrlwi128(__gcc_v8hi, int)
__builtin_ia32_blendvpd256
__gcc_v4df __builtin_ia32_blendvpd256(__gcc_v4df, __gcc_v4df, __gcc_v4df)
__builtin_ia32_psrlwi256
__gcc_v16hi __builtin_ia32_psrlwi256(__gcc_v16hi, int)
__builtin_ia32_comisdgt
int __builtin_ia32_comisdgt(__gcc_v2df, __gcc_v2df)
__builtin_huge_valq
__CPROVER_Float128 __builtin_huge_valq(void)
__builtin_ia32_gatherdi__gcc_v4si256
__gcc_v4si __builtin_ia32_gatherdi__gcc_v4si256(__gcc_v4si, const int *, __gcc_v4di, __gcc_v4si, int)
__builtin_ia32_pslld256
__gcc_v8si __builtin_ia32_pslld256(__gcc_v8si, __gcc_v4si)
__builtin_ia32_pmaxsb256
__gcc_v32qi __builtin_ia32_pmaxsb256(__gcc_v32qi, __gcc_v32qi)
__builtin_ia32_extrq
__gcc_v2di __builtin_ia32_extrq(__gcc_v2di, __gcc_v16qi)
__builtin_ia32_movmskpd256
int __builtin_ia32_movmskpd256(__gcc_v4df)
__builtin_ia32_cmpnleps
__gcc_v4sf __builtin_ia32_cmpnleps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_movss
__gcc_v4sf __builtin_ia32_movss(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_phsubw
__gcc_v4hi __builtin_ia32_phsubw(__gcc_v4hi, __gcc_v4hi)
__builtin_ia32_pcomeqb
int __builtin_ia32_pcomeqb()
__builtin_ia32_llwpcb64
void __builtin_ia32_llwpcb64(void *)
__builtin_ia32_vec_ext_v4si
int __builtin_ia32_vec_ext_v4si(__gcc_v4si, int)
__builtin_ia32_psllqi
__gcc_v1di __builtin_ia32_psllqi(__gcc_v1di, int)
__builtin_ia32_andps
__gcc_v4sf __builtin_ia32_andps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_vpcomgtuw
__gcc_v8hi __builtin_ia32_vpcomgtuw(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_vpcomtrueud
__gcc_v4si __builtin_ia32_vpcomtrueud(__gcc_v4si, __gcc_v4si)
__builtin_ia32_cmpneqsd
__gcc_v2df __builtin_ia32_cmpneqsd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_pcomgtw
int __builtin_ia32_pcomgtw()
__builtin_ia32_paddw
__gcc_v4hi __builtin_ia32_paddw(__gcc_v4hi, __gcc_v4hi)
__builtin_ia32_mulpd
__gcc_v2df __builtin_ia32_mulpd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_pmaxsd256
__gcc_v8si __builtin_ia32_pmaxsd256(__gcc_v8si, __gcc_v8si)
__builtin_ia32_vpcomltq
__gcc_v2di __builtin_ia32_vpcomltq(__gcc_v2di, __gcc_v2di)
__builtin_ia32_ucomineq
int __builtin_ia32_ucomineq(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_vbroadcastf128_ps256
__gcc_v8sf __builtin_ia32_vbroadcastf128_ps256(const __gcc_v4sf *)
__builtin_ia32_psra__gcc_v8si
__gcc_v8si __builtin_ia32_psra__gcc_v8si(__gcc_v8si, __gcc_v8si)
__builtin_ia32_insertps128
__gcc_v4sf __builtin_ia32_insertps128(__gcc_v4sf, __gcc_v4sf, int)
__builtin_ia32_ucomisdeq
int __builtin_ia32_ucomisdeq(__gcc_v2df, __gcc_v2df)
__builtin_ia32_phsubbw
int __builtin_ia32_phsubbw()
__builtin_ia32_phaddbw
int __builtin_ia32_phaddbw()
__builtin_ia32_paddsb256
__gcc_v32qi __builtin_ia32_paddsb256(__gcc_v32qi, __gcc_v32qi)
__builtin_ia32_cvttps2dq
__gcc_v4si __builtin_ia32_cvttps2dq(__gcc_v4sf)
__builtin_ia32_fnmaddps
__gcc_v4sf __builtin_ia32_fnmaddps(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf)
__builtin_ia32_pblendw128
__gcc_v8hi __builtin_ia32_pblendw128(__gcc_v8hi, __gcc_v8hi, int)
__builtin_ia32_pminub
__gcc_v8qi __builtin_ia32_pminub(__gcc_v8qi, __gcc_v8qi)
__builtin_ia32_cmpltpd
__gcc_v2df __builtin_ia32_cmpltpd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_cmplesd
__gcc_v2df __builtin_ia32_cmplesd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_paddusw256
__gcc_v16hi __builtin_ia32_paddusw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_pcomgeq
int __builtin_ia32_pcomgeq()
__builtin_ia32_comungeps
int __builtin_ia32_comungeps()
__builtin_ia32_psllqi256
__gcc_v4di __builtin_ia32_psllqi256(__gcc_v4di, int)
__builtin_ia32_femms
void __builtin_ia32_femms()
__builtin_ia32_psrl__gcc_v2di
__gcc_v2di __builtin_ia32_psrl__gcc_v2di(__gcc_v2di, __gcc_v2di)
__builtin_ia32_vpshab
__gcc_v16qi __builtin_ia32_vpshab(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_pcmpestrm128
__gcc_v16qi __builtin_ia32_pcmpestrm128(__gcc_v16qi, int, __gcc_v16qi, int, const int)
__builtin_ia32_fnmsubps
__gcc_v4sf __builtin_ia32_fnmsubps(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf)
__builtin_ia32_vphsubbw
__gcc_v8hi __builtin_ia32_vphsubbw(__gcc_v16qi)
__builtin_ia32_comuneqps
int __builtin_ia32_comuneqps()
__builtin_ia32_lddqu256
__gcc_v32qi __builtin_ia32_lddqu256(const char *)
__builtin_ia32_rcpps256
__gcc_v8sf __builtin_ia32_rcpps256(__gcc_v8sf)
__builtin_ia32_paddb128
__gcc_v16qi __builtin_ia32_paddb128(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_vpcomneud
__gcc_v4si __builtin_ia32_vpcomneud(__gcc_v4si, __gcc_v4si)
__builtin_ia32_comordss
int __builtin_ia32_comordss()
__builtin_ia32_packsswb
__gcc_v8qi __builtin_ia32_packsswb(__gcc_v4hi, __gcc_v4hi)
__builtin_ia32_movmskps256
int __builtin_ia32_movmskps256(__gcc_v8sf)
__builtin_ia32_pinsrw
__gcc_v4hi __builtin_ia32_pinsrw(__gcc_v4hi, int, int)
__builtin_ia32_paddd
__gcc_v2si __builtin_ia32_paddd(__gcc_v2si, __gcc_v2si)
__builtin_ia32_loadsss
__gcc_v4sf __builtin_ia32_loadsss(float *)
__builtin_ia32_vpcomleuw
__gcc_v8hi __builtin_ia32_vpcomleuw(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_vpcomfalseub
__gcc_v16qi __builtin_ia32_vpcomfalseub(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_roundsd
__gcc_v2df __builtin_ia32_roundsd(__gcc_v2df, __gcc_v2df, int)
__builtin_ia32_unpcklpd256
__gcc_v4df __builtin_ia32_unpcklpd256(__gcc_v4df, __gcc_v4df)
__builtin_ia32_lzcnt_u32
unsigned __builtin_ia32_lzcnt_u32(unsigned)
__builtin_ia32_comuneqss
int __builtin_ia32_comuneqss()
__builtin_ia32_pbroadcastw256
__gcc_v16hi __builtin_ia32_pbroadcastw256(__gcc_v8hi)
__builtin_ia32_comeqpd
int __builtin_ia32_comeqpd()
__builtin_ia32_palignr256
__gcc_v4di __builtin_ia32_palignr256(__gcc_v4di, __gcc_v4di, int)
__builtin_ia32_pshad
int __builtin_ia32_pshad()
__builtin_ia32_maskstoreq
void __builtin_ia32_maskstoreq(__gcc_v2di *, __gcc_v2di, __gcc_v2di)
__builtin_ia32_psubsw256
__gcc_v16hi __builtin_ia32_psubsw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_vphaddubq
__gcc_v2di __builtin_ia32_vphaddubq(__gcc_v16qi)
__builtin_ia32_comunordss
int __builtin_ia32_comunordss()
__builtin_ia32_crc32qi
unsigned __builtin_ia32_crc32qi(unsigned, unsigned char)
__builtin_ia32_comgtpd
int __builtin_ia32_comgtpd()
__builtin_ia32_cmpnless
__gcc_v4sf __builtin_ia32_cmpnless(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_cmppd
__gcc_v2df __builtin_ia32_cmppd(__gcc_v2df, __gcc_v2df, int)
__builtin_ia32_vperm2f128_ps256
__gcc_v8sf __builtin_ia32_vperm2f128_ps256(__gcc_v8sf, __gcc_v8sf, int)
__builtin_ia32_punpcklqdq128
__gcc_v2di __builtin_ia32_punpcklqdq128(__gcc_v2di, __gcc_v2di)
__builtin_ia32_paddw256
__gcc_v16hi __builtin_ia32_paddw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_orpd256
__gcc_v4df __builtin_ia32_orpd256(__gcc_v4df, __gcc_v4df)
__builtin_ia32_cvttpd2dq
__gcc_v4si __builtin_ia32_cvttpd2dq(__gcc_v2df)
_writefsbase_u64
void _writefsbase_u64(unsigned long long)
__builtin_ia32_pcomgeub
int __builtin_ia32_pcomgeub()
__builtin_ia32_maskloadd
__gcc_v4si __builtin_ia32_maskloadd(const __gcc_v4si *, __gcc_v4si)
__builtin_ia32_cvtdq2pd256
__gcc_v4df __builtin_ia32_cvtdq2pd256(__gcc_v4si)
__builtin_ia32_gatherdi__gcc_v4sf
__gcc_v4sf __builtin_ia32_gatherdi__gcc_v4sf(__gcc_v4sf, const float *, __gcc_v2di, __gcc_v4sf, int)
__builtin_ia32_fmsubpd256
__gcc_v4df __builtin_ia32_fmsubpd256(__gcc_v4df, __gcc_v4df, __gcc_v4df)
__builtin_ia32_andpd256
__gcc_v4df __builtin_ia32_andpd256(__gcc_v4df, __gcc_v4df)
__builtin_ia32_pmulld256
__gcc_v8si __builtin_ia32_pmulld256(__gcc_v8si, __gcc_v8si)
__builtin_ia32_ucomige
int __builtin_ia32_ucomige(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_psignw128
__gcc_v8hi __builtin_ia32_psignw128(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_pxor
__gcc_v1di __builtin_ia32_pxor(__gcc_v1di, __gcc_v1di)
__builtin_ia32_cmpeqss
__gcc_v4sf __builtin_ia32_cmpeqss(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_pmovzxbq128
__gcc_v2di __builtin_ia32_pmovzxbq128(__gcc_v16qi)
__builtin_ia32_phsubw128
__gcc_v8hi __builtin_ia32_phsubw128(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_pmullw
__gcc_v4hi __builtin_ia32_pmullw(__gcc_v4hi, __gcc_v4hi)
__builtin_ia32_comneqss
int __builtin_ia32_comneqss()
__builtin_ia32_insertqi
__gcc_v2di __builtin_ia32_insertqi(__gcc_v2di, __gcc_v2di, unsigned, unsigned)
__builtin_ia32_vpperm
__gcc_v16qi __builtin_ia32_vpperm(__gcc_v16qi, __gcc_v16qi, __gcc_v16qi)
__builtin_ia32_psubd
__gcc_v2si __builtin_ia32_psubd(__gcc_v2si, __gcc_v2si)
__builtin_ia32_cmpngtps
__gcc_v4sf __builtin_ia32_cmpngtps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_vpermilpd
__gcc_v2df __builtin_ia32_vpermilpd(__gcc_v2df, int)
__builtin_ia32_permps
int __builtin_ia32_permps()
__builtin_ia32_pslldi128
__gcc_v4si __builtin_ia32_pslldi128(__gcc_v4si, int)
__builtin_ia32_cvtsi2ss
__gcc_v4sf __builtin_ia32_cvtsi2ss(__gcc_v4sf, int)
__builtin_ia32_pcomltuw
int __builtin_ia32_pcomltuw()
__builtin_ia32_frczpd
int __builtin_ia32_frczpd()
__builtin_ia32_cvtsd2si
int __builtin_ia32_cvtsd2si(__gcc_v2df)
__builtin_ia32_psignb128
__gcc_v16qi __builtin_ia32_psignb128(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_movhlps
__gcc_v4sf __builtin_ia32_movhlps(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_rdgsbase32
unsigned __builtin_ia32_rdgsbase32()
__builtin_ia32_movntss
void __builtin_ia32_movntss(float *, __gcc_v4sf)
__builtin_ia32_vpcomltuw
__gcc_v8hi __builtin_ia32_vpcomltuw(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_pmovzxwq128
__gcc_v2di __builtin_ia32_pmovzxwq128(__gcc_v8hi)
__builtin_ia32_movntdq
void __builtin_ia32_movntdq(__gcc_v2di *, __gcc_v2di)
__builtin_ia32_pmovzxbd256
__gcc_v8si __builtin_ia32_pmovzxbd256(__gcc_v16qi)
__builtin_ia32_pcomltud
int __builtin_ia32_pcomltud()
__builtin_ia32_gathersi__gcc_v2df
__gcc_v2df __builtin_ia32_gathersi__gcc_v2df(__gcc_v2df, const double *, __gcc_v4si, __gcc_v2df, int)
__builtin_ia32_pminud256
__gcc_v8si __builtin_ia32_pminud256(__gcc_v8si, __gcc_v8si)
__builtin_ia32_pmulhuw256
__gcc_v16hi __builtin_ia32_pmulhuw256(__gcc_v16hi, __gcc_v16hi)
__builtin_ia32_vpcmov_v4di256
__gcc_v4di __builtin_ia32_vpcmov_v4di256(__gcc_v4di, __gcc_v4di, __gcc_v4di)
__builtin_ia32_pcmpgtb128
__gcc_v16qi __builtin_ia32_pcmpgtb128(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_paddb256
__gcc_v32qi __builtin_ia32_paddb256(__gcc_v32qi, __gcc_v32qi)
__builtin_ia32_punpckhqdq128
__gcc_v2di __builtin_ia32_punpckhqdq128(__gcc_v2di, __gcc_v2di)
__builtin_ia32_punpcklbw
__gcc_v8qi __builtin_ia32_punpcklbw(__gcc_v8qi, __gcc_v8qi)
__builtin_ia32_pxor256
__gcc_v4di __builtin_ia32_pxor256(__gcc_v4di, __gcc_v4di)
__builtin_ia32_ucomisdneq
int __builtin_ia32_ucomisdneq(__gcc_v2df, __gcc_v2df)
__builtin_ia32_pmaxud128
__gcc_v4si __builtin_ia32_pmaxud128(__gcc_v4si, __gcc_v4si)
__builtin_ia32_vpcomned
__gcc_v4si __builtin_ia32_vpcomned(__gcc_v4si, __gcc_v4si)
__builtin_ia32_vtestzps256
int __builtin_ia32_vtestzps256(__gcc_v8sf, __gcc_v8sf)
__builtin_ia32_pmacssdql
int __builtin_ia32_pmacssdql()
__builtin_ia32_phaddubw
int __builtin_ia32_phaddubw()
__builtin_ia32_pi2fd
__gcc_v2sf __builtin_ia32_pi2fd(__gcc_v2si)
__builtin_ia32_punpcklbw256
__gcc_v32qi __builtin_ia32_punpcklbw256(__gcc_v32qi, __gcc_v32qi)
__builtin_ia32_vpermilvarps
__gcc_v4sf __builtin_ia32_vpermilvarps(__gcc_v4sf, __gcc_v4si)
__builtin_ia32_psrlw256
__gcc_v16hi __builtin_ia32_psrlw256(__gcc_v16hi, __gcc_v8hi)
__builtin_ia32_pshufb
__gcc_v8qi __builtin_ia32_pshufb(__gcc_v8qi, __gcc_v8qi)
__builtin_ia32_vpcmov_v2df
__gcc_v2df __builtin_ia32_vpcmov_v2df(__gcc_v2df, __gcc_v2df, __gcc_v2df)
__builtin_ia32_vpcmov_v2di
__gcc_v2di __builtin_ia32_vpcmov_v2di(__gcc_v2di, __gcc_v2di, __gcc_v2di)
__builtin_ia32_rdrand64_step
unsigned int __builtin_ia32_rdrand64_step(unsigned long long *)
__builtin_ia32_vpmacsww
__gcc_v8hi __builtin_ia32_vpmacsww(__gcc_v8hi, __gcc_v8hi, __gcc_v8hi)
__builtin_ia32_psrad
__gcc_v2si __builtin_ia32_psrad(__gcc_v2si, __gcc_v2si)
__builtin_ia32_divps256
__gcc_v8sf __builtin_ia32_divps256(__gcc_v8sf, __gcc_v8sf)
__builtin_ia32_psubsw
__gcc_v4hi __builtin_ia32_psubsw(__gcc_v4hi, __gcc_v4hi)
__builtin_ia32_psubb256
__gcc_v32qi __builtin_ia32_psubb256(__gcc_v32qi, __gcc_v32qi)
__builtin_ia32_pmovzxdq128
__gcc_v2di __builtin_ia32_pmovzxdq128(__gcc_v4si)
__builtin_ia32_comieq
int __builtin_ia32_comieq(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_pcmpestria128
int __builtin_ia32_pcmpestria128(__gcc_v16qi, int, __gcc_v16qi, int, const int)
__builtin_ia32_vpcomfalseb
__gcc_v16qi __builtin_ia32_vpcomfalseb(__gcc_v16qi, __gcc_v16qi)
__builtin_ia32_pavgw
__gcc_v4hi __builtin_ia32_pavgw(__gcc_v4hi, __gcc_v4hi)
__builtin_ia32_vpermil2pd256
__gcc_v4df __builtin_ia32_vpermil2pd256(__gcc_v4df, __gcc_v4df, __gcc_v4di, int)
__builtin_ia32_pcomtrueq
int __builtin_ia32_pcomtrueq()
__builtin_ia32_vphadduwd
__gcc_v4si __builtin_ia32_vphadduwd(__gcc_v8hi)
__builtin_ia32_psignd256
__gcc_v8si __builtin_ia32_psignd256(__gcc_v8si, __gcc_v8si)
__builtin_ia32_cvttsd2si
int __builtin_ia32_cvttsd2si(__gcc_v2df)
__builtin_ia32_mulsd
__gcc_v2df __builtin_ia32_mulsd(__gcc_v2df, __gcc_v2df)
__builtin_ia32_addsubpd256
__gcc_v4df __builtin_ia32_addsubpd256(__gcc_v4df, __gcc_v4df)
__builtin_ia32_comigt
int __builtin_ia32_comigt(__gcc_v4sf, __gcc_v4sf)
__builtin_ia32_psrlw
__gcc_v4hi __builtin_ia32_psrlw(__gcc_v4hi, __gcc_v4hi)
__builtin_ia32_blendvpd
__gcc_v2df __builtin_ia32_blendvpd(__gcc_v2df, __gcc_v2df, __gcc_v2df)
__builtin_ia32_paddw128
__gcc_v8hi __builtin_ia32_paddw128(__gcc_v8hi, __gcc_v8hi)
__builtin_ia32_paddq128
__gcc_v2di __builtin_ia32_paddq128(__gcc_v2di, __gcc_v2di)