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