CBMC
Loading...
Searching...
No Matches
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
ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition
ai.h:562
__builtin_ia32_rdsspq
unsigned long long int __builtin_ia32_rdsspq()
__builtin_ia32_rdsspd
unsigned int __builtin_ia32_rdsspd()
__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_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_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.8