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