CBMC
Loading...
Searching...
No Matches
gcc_builtin_headers_arm.h
Go to the documentation of this file.
1
// clang-format off
2
int
__builtin_arm_getwcx
(
int
);
3
void
__builtin_arm_setwcx
(
int
,
int
);
4
int
__builtin_arm_textrmsb
(
__gcc_v8qi
,
int
);
5
int
__builtin_arm_textrmsh
(
__gcc_v4hi
,
int
);
6
int
__builtin_arm_textrmsw
(
__gcc_v2si
,
int
);
7
int
__builtin_arm_textrmub
(
__gcc_v8qi
,
int
);
8
int
__builtin_arm_textrmuh
(
__gcc_v4hi
,
int
);
9
int
__builtin_arm_textrmuw
(
__gcc_v2si
,
int
);
10
__gcc_v8qi
__builtin_arm_tinsrb
(
__gcc_v8qi
,
int
);
11
__gcc_v4hi
__builtin_arm_tinsrh
(
__gcc_v4hi
,
int
);
12
__gcc_v2si
__builtin_arm_tinsrw
(
__gcc_v2si
,
int
);
13
long
long
__builtin_arm_tmia
(
long
long
,
int
,
int
);
14
long
long
__builtin_arm_tmiabb
(
long
long
,
int
,
int
);
15
long
long
__builtin_arm_tmiabt
(
long
long
,
int
,
int
);
16
long
long
__builtin_arm_tmiaph
(
long
long
,
int
,
int
);
17
long
long
__builtin_arm_tmiatb
(
long
long
,
int
,
int
);
18
long
long
__builtin_arm_tmiatt
(
long
long
,
int
,
int
);
19
int
__builtin_arm_tmovmskb
(
__gcc_v8qi
);
20
int
__builtin_arm_tmovmskh
(
__gcc_v4hi
);
21
int
__builtin_arm_tmovmskw
(
__gcc_v2si
);
22
long
long
__builtin_arm_waccb
(
__gcc_v8qi
);
23
long
long
__builtin_arm_wacch
(
__gcc_v4hi
);
24
long
long
__builtin_arm_waccw
(
__gcc_v2si
);
25
__gcc_v8qi
__builtin_arm_waddb
(
__gcc_v8qi
,
__gcc_v8qi
);
26
__gcc_v8qi
__builtin_arm_waddbss
(
__gcc_v8qi
,
__gcc_v8qi
);
27
__gcc_v8qi
__builtin_arm_waddbus
(
__gcc_v8qi
,
__gcc_v8qi
);
28
__gcc_v4hi
__builtin_arm_waddh
(
__gcc_v4hi
,
__gcc_v4hi
);
29
__gcc_v4hi
__builtin_arm_waddhss
(
__gcc_v4hi
,
__gcc_v4hi
);
30
__gcc_v4hi
__builtin_arm_waddhus
(
__gcc_v4hi
,
__gcc_v4hi
);
31
__gcc_v2si
__builtin_arm_waddw
(
__gcc_v2si
,
__gcc_v2si
);
32
__gcc_v2si
__builtin_arm_waddwss
(
__gcc_v2si
,
__gcc_v2si
);
33
__gcc_v2si
__builtin_arm_waddwus
(
__gcc_v2si
,
__gcc_v2si
);
34
__gcc_v8qi
__builtin_arm_walign
(
__gcc_v8qi
,
__gcc_v8qi
,
int
);
35
long
long
__builtin_arm_wand
(
long
long
,
long
long
);
36
long
long
__builtin_arm_wandn
(
long
long
,
long
long
);
37
__gcc_v8qi
__builtin_arm_wavg2b
(
__gcc_v8qi
,
__gcc_v8qi
);
38
__gcc_v8qi
__builtin_arm_wavg2br
(
__gcc_v8qi
,
__gcc_v8qi
);
39
__gcc_v4hi
__builtin_arm_wavg2h
(
__gcc_v4hi
,
__gcc_v4hi
);
40
__gcc_v4hi
__builtin_arm_wavg2hr
(
__gcc_v4hi
,
__gcc_v4hi
);
41
__gcc_v8qi
__builtin_arm_wcmpeqb
(
__gcc_v8qi
,
__gcc_v8qi
);
42
__gcc_v4hi
__builtin_arm_wcmpeqh
(
__gcc_v4hi
,
__gcc_v4hi
);
43
__gcc_v2si
__builtin_arm_wcmpeqw
(
__gcc_v2si
,
__gcc_v2si
);
44
__gcc_v8qi
__builtin_arm_wcmpgtsb
(
__gcc_v8qi
,
__gcc_v8qi
);
45
__gcc_v4hi
__builtin_arm_wcmpgtsh
(
__gcc_v4hi
,
__gcc_v4hi
);
46
__gcc_v2si
__builtin_arm_wcmpgtsw
(
__gcc_v2si
,
__gcc_v2si
);
47
__gcc_v8qi
__builtin_arm_wcmpgtub
(
__gcc_v8qi
,
__gcc_v8qi
);
48
__gcc_v4hi
__builtin_arm_wcmpgtuh
(
__gcc_v4hi
,
__gcc_v4hi
);
49
__gcc_v2si
__builtin_arm_wcmpgtuw
(
__gcc_v2si
,
__gcc_v2si
);
50
long
long
__builtin_arm_wmacs
(
long
long
,
__gcc_v4hi
,
__gcc_v4hi
);
51
long
long
__builtin_arm_wmacsz
(
__gcc_v4hi
,
__gcc_v4hi
);
52
long
long
__builtin_arm_wmacu
(
long
long
,
__gcc_v4hi
,
__gcc_v4hi
);
53
long
long
__builtin_arm_wmacuz
(
__gcc_v4hi
,
__gcc_v4hi
);
54
__gcc_v4hi
__builtin_arm_wmadds
(
__gcc_v4hi
,
__gcc_v4hi
);
55
__gcc_v4hi
__builtin_arm_wmaddu
(
__gcc_v4hi
,
__gcc_v4hi
);
56
__gcc_v8qi
__builtin_arm_wmaxsb
(
__gcc_v8qi
,
__gcc_v8qi
);
57
__gcc_v4hi
__builtin_arm_wmaxsh
(
__gcc_v4hi
,
__gcc_v4hi
);
58
__gcc_v2si
__builtin_arm_wmaxsw
(
__gcc_v2si
,
__gcc_v2si
);
59
__gcc_v8qi
__builtin_arm_wmaxub
(
__gcc_v8qi
,
__gcc_v8qi
);
60
__gcc_v4hi
__builtin_arm_wmaxuh
(
__gcc_v4hi
,
__gcc_v4hi
);
61
__gcc_v2si
__builtin_arm_wmaxuw
(
__gcc_v2si
,
__gcc_v2si
);
62
__gcc_v8qi
__builtin_arm_wminsb
(
__gcc_v8qi
,
__gcc_v8qi
);
63
__gcc_v4hi
__builtin_arm_wminsh
(
__gcc_v4hi
,
__gcc_v4hi
);
64
__gcc_v2si
__builtin_arm_wminsw
(
__gcc_v2si
,
__gcc_v2si
);
65
__gcc_v8qi
__builtin_arm_wminub
(
__gcc_v8qi
,
__gcc_v8qi
);
66
__gcc_v4hi
__builtin_arm_wminuh
(
__gcc_v4hi
,
__gcc_v4hi
);
67
__gcc_v2si
__builtin_arm_wminuw
(
__gcc_v2si
,
__gcc_v2si
);
68
__gcc_v4hi
__builtin_arm_wmulsm
(
__gcc_v4hi
,
__gcc_v4hi
);
69
__gcc_v4hi
__builtin_arm_wmulul
(
__gcc_v4hi
,
__gcc_v4hi
);
70
__gcc_v4hi
__builtin_arm_wmulum
(
__gcc_v4hi
,
__gcc_v4hi
);
71
long
long
__builtin_arm_wor
(
long
long
,
long
long
);
72
__gcc_v2si
__builtin_arm_wpackdss
(
long
long
,
long
long
);
73
__gcc_v2si
__builtin_arm_wpackdus
(
long
long
,
long
long
);
74
__gcc_v8qi
__builtin_arm_wpackhss
(
__gcc_v4hi
,
__gcc_v4hi
);
75
__gcc_v8qi
__builtin_arm_wpackhus
(
__gcc_v4hi
,
__gcc_v4hi
);
76
__gcc_v4hi
__builtin_arm_wpackwss
(
__gcc_v2si
,
__gcc_v2si
);
77
__gcc_v4hi
__builtin_arm_wpackwus
(
__gcc_v2si
,
__gcc_v2si
);
78
long
long
__builtin_arm_wrord
(
long
long
,
long
long
);
79
long
long
__builtin_arm_wrordi
(
long
long
,
int
);
80
__gcc_v4hi
__builtin_arm_wrorh
(
__gcc_v4hi
,
long
long
);
81
__gcc_v4hi
__builtin_arm_wrorhi
(
__gcc_v4hi
,
int
);
82
__gcc_v2si
__builtin_arm_wrorw
(
__gcc_v2si
,
long
long
);
83
__gcc_v2si
__builtin_arm_wrorwi
(
__gcc_v2si
,
int
);
84
__gcc_v2si
__builtin_arm_wsadb
(
__gcc_v8qi
,
__gcc_v8qi
);
85
__gcc_v2si
__builtin_arm_wsadbz
(
__gcc_v8qi
,
__gcc_v8qi
);
86
__gcc_v2si
__builtin_arm_wsadh
(
__gcc_v4hi
,
__gcc_v4hi
);
87
__gcc_v2si
__builtin_arm_wsadhz
(
__gcc_v4hi
,
__gcc_v4hi
);
88
__gcc_v4hi
__builtin_arm_wshufh
(
__gcc_v4hi
,
int
);
89
long
long
__builtin_arm_wslld
(
long
long
,
long
long
);
90
long
long
__builtin_arm_wslldi
(
long
long
,
int
);
91
__gcc_v4hi
__builtin_arm_wsllh
(
__gcc_v4hi
,
long
long
);
92
__gcc_v4hi
__builtin_arm_wsllhi
(
__gcc_v4hi
,
int
);
93
__gcc_v2si
__builtin_arm_wsllw
(
__gcc_v2si
,
long
long
);
94
__gcc_v2si
__builtin_arm_wsllwi
(
__gcc_v2si
,
int
);
95
long
long
__builtin_arm_wsrad
(
long
long
,
long
long
);
96
long
long
__builtin_arm_wsradi
(
long
long
,
int
);
97
__gcc_v4hi
__builtin_arm_wsrah
(
__gcc_v4hi
,
long
long
);
98
__gcc_v4hi
__builtin_arm_wsrahi
(
__gcc_v4hi
,
int
);
99
__gcc_v2si
__builtin_arm_wsraw
(
__gcc_v2si
,
long
long
);
100
__gcc_v2si
__builtin_arm_wsrawi
(
__gcc_v2si
,
int
);
101
long
long
__builtin_arm_wsrld
(
long
long
,
long
long
);
102
long
long
__builtin_arm_wsrldi
(
long
long
,
int
);
103
__gcc_v4hi
__builtin_arm_wsrlh
(
__gcc_v4hi
,
long
long
);
104
__gcc_v4hi
__builtin_arm_wsrlhi
(
__gcc_v4hi
,
int
);
105
__gcc_v2si
__builtin_arm_wsrlw
(
__gcc_v2si
,
long
long
);
106
__gcc_v2si
__builtin_arm_wsrlwi
(
__gcc_v2si
,
int
);
107
__gcc_v8qi
__builtin_arm_wsubb
(
__gcc_v8qi
,
__gcc_v8qi
);
108
__gcc_v8qi
__builtin_arm_wsubbss
(
__gcc_v8qi
,
__gcc_v8qi
);
109
__gcc_v8qi
__builtin_arm_wsubbus
(
__gcc_v8qi
,
__gcc_v8qi
);
110
__gcc_v4hi
__builtin_arm_wsubh
(
__gcc_v4hi
,
__gcc_v4hi
);
111
__gcc_v4hi
__builtin_arm_wsubhss
(
__gcc_v4hi
,
__gcc_v4hi
);
112
__gcc_v4hi
__builtin_arm_wsubhus
(
__gcc_v4hi
,
__gcc_v4hi
);
113
__gcc_v2si
__builtin_arm_wsubw
(
__gcc_v2si
,
__gcc_v2si
);
114
__gcc_v2si
__builtin_arm_wsubwss
(
__gcc_v2si
,
__gcc_v2si
);
115
__gcc_v2si
__builtin_arm_wsubwus
(
__gcc_v2si
,
__gcc_v2si
);
116
__gcc_v4hi
__builtin_arm_wunpckehsb
(
__gcc_v8qi
);
117
__gcc_v2si
__builtin_arm_wunpckehsh
(
__gcc_v4hi
);
118
long
long
__builtin_arm_wunpckehsw
(
__gcc_v2si
);
119
__gcc_v4hi
__builtin_arm_wunpckehub
(
__gcc_v8qi
);
120
__gcc_v2si
__builtin_arm_wunpckehuh
(
__gcc_v4hi
);
121
long
long
__builtin_arm_wunpckehuw
(
__gcc_v2si
);
122
__gcc_v4hi
__builtin_arm_wunpckelsb
(
__gcc_v8qi
);
123
__gcc_v2si
__builtin_arm_wunpckelsh
(
__gcc_v4hi
);
124
long
long
__builtin_arm_wunpckelsw
(
__gcc_v2si
);
125
__gcc_v4hi
__builtin_arm_wunpckelub
(
__gcc_v8qi
);
126
__gcc_v2si
__builtin_arm_wunpckeluh
(
__gcc_v4hi
);
127
long
long
__builtin_arm_wunpckeluw
(
__gcc_v2si
);
128
__gcc_v8qi
__builtin_arm_wunpckihb
(
__gcc_v8qi
,
__gcc_v8qi
);
129
__gcc_v4hi
__builtin_arm_wunpckihh
(
__gcc_v4hi
,
__gcc_v4hi
);
130
__gcc_v2si
__builtin_arm_wunpckihw
(
__gcc_v2si
,
__gcc_v2si
);
131
__gcc_v8qi
__builtin_arm_wunpckilb
(
__gcc_v8qi
,
__gcc_v8qi
);
132
__gcc_v4hi
__builtin_arm_wunpckilh
(
__gcc_v4hi
,
__gcc_v4hi
);
133
__gcc_v2si
__builtin_arm_wunpckilw
(
__gcc_v2si
,
__gcc_v2si
);
134
long
long
__builtin_arm_wxor
(
long
long
,
long
long
);
135
long
long
__builtin_arm_wzero
();
136
// 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_arm_wrorhi
__gcc_v4hi __builtin_arm_wrorhi(__gcc_v4hi, int)
__builtin_arm_waddbss
__gcc_v8qi __builtin_arm_waddbss(__gcc_v8qi, __gcc_v8qi)
__builtin_arm_wcmpeqw
__gcc_v2si __builtin_arm_wcmpeqw(__gcc_v2si, __gcc_v2si)
__builtin_arm_wmacs
long long __builtin_arm_wmacs(long long, __gcc_v4hi, __gcc_v4hi)
__builtin_arm_wsllhi
__gcc_v4hi __builtin_arm_wsllhi(__gcc_v4hi, int)
__builtin_arm_wavg2b
__gcc_v8qi __builtin_arm_wavg2b(__gcc_v8qi, __gcc_v8qi)
__builtin_arm_wmaxuw
__gcc_v2si __builtin_arm_wmaxuw(__gcc_v2si, __gcc_v2si)
__builtin_arm_wunpckehsw
long long __builtin_arm_wunpckehsw(__gcc_v2si)
__builtin_arm_wunpckehub
__gcc_v4hi __builtin_arm_wunpckehub(__gcc_v8qi)
__builtin_arm_walign
__gcc_v8qi __builtin_arm_walign(__gcc_v8qi, __gcc_v8qi, int)
__builtin_arm_wshufh
__gcc_v4hi __builtin_arm_wshufh(__gcc_v4hi, int)
__builtin_arm_wand
long long __builtin_arm_wand(long long, long long)
__builtin_arm_tmiatb
long long __builtin_arm_tmiatb(long long, int, int)
__builtin_arm_wcmpeqb
__gcc_v8qi __builtin_arm_wcmpeqb(__gcc_v8qi, __gcc_v8qi)
__builtin_arm_wsrld
long long __builtin_arm_wsrld(long long, long long)
__builtin_arm_wrorw
__gcc_v2si __builtin_arm_wrorw(__gcc_v2si, long long)
__builtin_arm_textrmuh
int __builtin_arm_textrmuh(__gcc_v4hi, int)
__builtin_arm_wunpckilw
__gcc_v2si __builtin_arm_wunpckilw(__gcc_v2si, __gcc_v2si)
__builtin_arm_waccb
long long __builtin_arm_waccb(__gcc_v8qi)
__builtin_arm_wmaxuh
__gcc_v4hi __builtin_arm_wmaxuh(__gcc_v4hi, __gcc_v4hi)
__builtin_arm_wpackwss
__gcc_v4hi __builtin_arm_wpackwss(__gcc_v2si, __gcc_v2si)
__builtin_arm_wsadhz
__gcc_v2si __builtin_arm_wsadhz(__gcc_v4hi, __gcc_v4hi)
__builtin_arm_wsrawi
__gcc_v2si __builtin_arm_wsrawi(__gcc_v2si, int)
__builtin_arm_wunpckilb
__gcc_v8qi __builtin_arm_wunpckilb(__gcc_v8qi, __gcc_v8qi)
__builtin_arm_wmadds
__gcc_v4hi __builtin_arm_wmadds(__gcc_v4hi, __gcc_v4hi)
__builtin_arm_wmulsm
__gcc_v4hi __builtin_arm_wmulsm(__gcc_v4hi, __gcc_v4hi)
__builtin_arm_wmacuz
long long __builtin_arm_wmacuz(__gcc_v4hi, __gcc_v4hi)
__builtin_arm_wavg2hr
__gcc_v4hi __builtin_arm_wavg2hr(__gcc_v4hi, __gcc_v4hi)
__builtin_arm_textrmuw
int __builtin_arm_textrmuw(__gcc_v2si, int)
__builtin_arm_wsrldi
long long __builtin_arm_wsrldi(long long, int)
__builtin_arm_waddhus
__gcc_v4hi __builtin_arm_waddhus(__gcc_v4hi, __gcc_v4hi)
__builtin_arm_wsubbus
__gcc_v8qi __builtin_arm_wsubbus(__gcc_v8qi, __gcc_v8qi)
__builtin_arm_wunpckeluh
__gcc_v2si __builtin_arm_wunpckeluh(__gcc_v4hi)
__builtin_arm_waccw
long long __builtin_arm_waccw(__gcc_v2si)
__builtin_arm_wsubbss
__gcc_v8qi __builtin_arm_wsubbss(__gcc_v8qi, __gcc_v8qi)
__builtin_arm_waddwus
__gcc_v2si __builtin_arm_waddwus(__gcc_v2si, __gcc_v2si)
__builtin_arm_wpackhus
__gcc_v8qi __builtin_arm_wpackhus(__gcc_v4hi, __gcc_v4hi)
__builtin_arm_textrmsb
int __builtin_arm_textrmsb(__gcc_v8qi, int)
__builtin_arm_wsrlhi
__gcc_v4hi __builtin_arm_wsrlhi(__gcc_v4hi, int)
__builtin_arm_tinsrw
__gcc_v2si __builtin_arm_tinsrw(__gcc_v2si, int)
__builtin_arm_wcmpgtuh
__gcc_v4hi __builtin_arm_wcmpgtuh(__gcc_v4hi, __gcc_v4hi)
__builtin_arm_wpackdus
__gcc_v2si __builtin_arm_wpackdus(long long, long long)
__builtin_arm_wsllwi
__gcc_v2si __builtin_arm_wsllwi(__gcc_v2si, int)
__builtin_arm_tmiabb
long long __builtin_arm_tmiabb(long long, int, int)
__builtin_arm_tmiatt
long long __builtin_arm_tmiatt(long long, int, int)
__builtin_arm_tmiaph
long long __builtin_arm_tmiaph(long long, int, int)
__builtin_arm_wcmpgtuw
__gcc_v2si __builtin_arm_wcmpgtuw(__gcc_v2si, __gcc_v2si)
__builtin_arm_wunpckilh
__gcc_v4hi __builtin_arm_wunpckilh(__gcc_v4hi, __gcc_v4hi)
__builtin_arm_wsrad
long long __builtin_arm_wsrad(long long, long long)
__builtin_arm_textrmsw
int __builtin_arm_textrmsw(__gcc_v2si, int)
__builtin_arm_wsradi
long long __builtin_arm_wsradi(long long, int)
__builtin_arm_wslld
long long __builtin_arm_wslld(long long, long long)
__builtin_arm_wunpckihw
__gcc_v2si __builtin_arm_wunpckihw(__gcc_v2si, __gcc_v2si)
__builtin_arm_wunpckeluw
long long __builtin_arm_wunpckeluw(__gcc_v2si)
__builtin_arm_wunpckehuw
long long __builtin_arm_wunpckehuw(__gcc_v2si)
__builtin_arm_waddb
__gcc_v8qi __builtin_arm_waddb(__gcc_v8qi, __gcc_v8qi)
__builtin_arm_wpackdss
__gcc_v2si __builtin_arm_wpackdss(long long, long long)
__builtin_arm_wmaddu
__gcc_v4hi __builtin_arm_wmaddu(__gcc_v4hi, __gcc_v4hi)
__builtin_arm_wmaxsw
__gcc_v2si __builtin_arm_wmaxsw(__gcc_v2si, __gcc_v2si)
__builtin_arm_waddw
__gcc_v2si __builtin_arm_waddw(__gcc_v2si, __gcc_v2si)
__builtin_arm_wsllw
__gcc_v2si __builtin_arm_wsllw(__gcc_v2si, long long)
__builtin_arm_wunpckehsb
__gcc_v4hi __builtin_arm_wunpckehsb(__gcc_v8qi)
__builtin_arm_wcmpeqh
__gcc_v4hi __builtin_arm_wcmpeqh(__gcc_v4hi, __gcc_v4hi)
__builtin_arm_wminsh
__gcc_v4hi __builtin_arm_wminsh(__gcc_v4hi, __gcc_v4hi)
__builtin_arm_wacch
long long __builtin_arm_wacch(__gcc_v4hi)
__builtin_arm_wunpckelsb
__gcc_v4hi __builtin_arm_wunpckelsb(__gcc_v8qi)
__builtin_arm_wminsb
__gcc_v8qi __builtin_arm_wminsb(__gcc_v8qi, __gcc_v8qi)
__builtin_arm_wandn
long long __builtin_arm_wandn(long long, long long)
__builtin_arm_wcmpgtub
__gcc_v8qi __builtin_arm_wcmpgtub(__gcc_v8qi, __gcc_v8qi)
__builtin_arm_wmacu
long long __builtin_arm_wmacu(long long, __gcc_v4hi, __gcc_v4hi)
__builtin_arm_wunpckihb
__gcc_v8qi __builtin_arm_wunpckihb(__gcc_v8qi, __gcc_v8qi)
__builtin_arm_wsrlw
__gcc_v2si __builtin_arm_wsrlw(__gcc_v2si, long long)
__builtin_arm_wsadb
__gcc_v2si __builtin_arm_wsadb(__gcc_v8qi, __gcc_v8qi)
__builtin_arm_tmovmskb
int __builtin_arm_tmovmskb(__gcc_v8qi)
__builtin_arm_tmiabt
long long __builtin_arm_tmiabt(long long, int, int)
__builtin_arm_tinsrb
__gcc_v8qi __builtin_arm_tinsrb(__gcc_v8qi, int)
__builtin_arm_wpackwus
__gcc_v4hi __builtin_arm_wpackwus(__gcc_v2si, __gcc_v2si)
__builtin_arm_wsadh
__gcc_v2si __builtin_arm_wsadh(__gcc_v4hi, __gcc_v4hi)
__builtin_arm_waddh
__gcc_v4hi __builtin_arm_waddh(__gcc_v4hi, __gcc_v4hi)
__builtin_arm_wmaxub
__gcc_v8qi __builtin_arm_wmaxub(__gcc_v8qi, __gcc_v8qi)
__builtin_arm_wunpckihh
__gcc_v4hi __builtin_arm_wunpckihh(__gcc_v4hi, __gcc_v4hi)
__builtin_arm_wmaxsb
__gcc_v8qi __builtin_arm_wmaxsb(__gcc_v8qi, __gcc_v8qi)
__builtin_arm_wsubwss
__gcc_v2si __builtin_arm_wsubwss(__gcc_v2si, __gcc_v2si)
__builtin_arm_wsubw
__gcc_v2si __builtin_arm_wsubw(__gcc_v2si, __gcc_v2si)
__builtin_arm_wunpckelsh
__gcc_v2si __builtin_arm_wunpckelsh(__gcc_v4hi)
__builtin_arm_wmulul
__gcc_v4hi __builtin_arm_wmulul(__gcc_v4hi, __gcc_v4hi)
__builtin_arm_getwcx
int __builtin_arm_getwcx(int)
__builtin_arm_wpackhss
__gcc_v8qi __builtin_arm_wpackhss(__gcc_v4hi, __gcc_v4hi)
__builtin_arm_wunpckehuh
__gcc_v2si __builtin_arm_wunpckehuh(__gcc_v4hi)
__builtin_arm_wsubh
__gcc_v4hi __builtin_arm_wsubh(__gcc_v4hi, __gcc_v4hi)
__builtin_arm_wsrah
__gcc_v4hi __builtin_arm_wsrah(__gcc_v4hi, long long)
__builtin_arm_waddbus
__gcc_v8qi __builtin_arm_waddbus(__gcc_v8qi, __gcc_v8qi)
__builtin_arm_tmovmskh
int __builtin_arm_tmovmskh(__gcc_v4hi)
__builtin_arm_wminsw
__gcc_v2si __builtin_arm_wminsw(__gcc_v2si, __gcc_v2si)
__builtin_arm_wcmpgtsb
__gcc_v8qi __builtin_arm_wcmpgtsb(__gcc_v8qi, __gcc_v8qi)
__builtin_arm_wxor
long long __builtin_arm_wxor(long long, long long)
__builtin_arm_wslldi
long long __builtin_arm_wslldi(long long, int)
__builtin_arm_tinsrh
__gcc_v4hi __builtin_arm_tinsrh(__gcc_v4hi, int)
__builtin_arm_wmaxsh
__gcc_v4hi __builtin_arm_wmaxsh(__gcc_v4hi, __gcc_v4hi)
__builtin_arm_waddwss
__gcc_v2si __builtin_arm_waddwss(__gcc_v2si, __gcc_v2si)
__builtin_arm_wunpckelub
__gcc_v4hi __builtin_arm_wunpckelub(__gcc_v8qi)
__builtin_arm_wunpckehsh
__gcc_v2si __builtin_arm_wunpckehsh(__gcc_v4hi)
__builtin_arm_wor
long long __builtin_arm_wor(long long, long long)
__builtin_arm_wsubb
__gcc_v8qi __builtin_arm_wsubb(__gcc_v8qi, __gcc_v8qi)
__builtin_arm_wsrlh
__gcc_v4hi __builtin_arm_wsrlh(__gcc_v4hi, long long)
__builtin_arm_textrmsh
int __builtin_arm_textrmsh(__gcc_v4hi, int)
__builtin_arm_wcmpgtsh
__gcc_v4hi __builtin_arm_wcmpgtsh(__gcc_v4hi, __gcc_v4hi)
__builtin_arm_wminub
__gcc_v8qi __builtin_arm_wminub(__gcc_v8qi, __gcc_v8qi)
__builtin_arm_wrordi
long long __builtin_arm_wrordi(long long, int)
__builtin_arm_wrorh
__gcc_v4hi __builtin_arm_wrorh(__gcc_v4hi, long long)
__builtin_arm_wcmpgtsw
__gcc_v2si __builtin_arm_wcmpgtsw(__gcc_v2si, __gcc_v2si)
__builtin_arm_wsubhss
__gcc_v4hi __builtin_arm_wsubhss(__gcc_v4hi, __gcc_v4hi)
__builtin_arm_wminuh
__gcc_v4hi __builtin_arm_wminuh(__gcc_v4hi, __gcc_v4hi)
__builtin_arm_wzero
long long __builtin_arm_wzero()
__builtin_arm_wminuw
__gcc_v2si __builtin_arm_wminuw(__gcc_v2si, __gcc_v2si)
__builtin_arm_wsubhus
__gcc_v4hi __builtin_arm_wsubhus(__gcc_v4hi, __gcc_v4hi)
__builtin_arm_wavg2br
__gcc_v8qi __builtin_arm_wavg2br(__gcc_v8qi, __gcc_v8qi)
__builtin_arm_textrmub
int __builtin_arm_textrmub(__gcc_v8qi, int)
__builtin_arm_wsadbz
__gcc_v2si __builtin_arm_wsadbz(__gcc_v8qi, __gcc_v8qi)
__builtin_arm_wsrahi
__gcc_v4hi __builtin_arm_wsrahi(__gcc_v4hi, int)
__builtin_arm_wsllh
__gcc_v4hi __builtin_arm_wsllh(__gcc_v4hi, long long)
__builtin_arm_wsrlwi
__gcc_v2si __builtin_arm_wsrlwi(__gcc_v2si, int)
__builtin_arm_wmulum
__gcc_v4hi __builtin_arm_wmulum(__gcc_v4hi, __gcc_v4hi)
__builtin_arm_setwcx
void __builtin_arm_setwcx(int, int)
__builtin_arm_wsubwus
__gcc_v2si __builtin_arm_wsubwus(__gcc_v2si, __gcc_v2si)
__builtin_arm_tmia
long long __builtin_arm_tmia(long long, int, int)
__builtin_arm_wrord
long long __builtin_arm_wrord(long long, long long)
__builtin_arm_wrorwi
__gcc_v2si __builtin_arm_wrorwi(__gcc_v2si, int)
__builtin_arm_tmovmskw
int __builtin_arm_tmovmskw(__gcc_v2si)
__builtin_arm_waddhss
__gcc_v4hi __builtin_arm_waddhss(__gcc_v4hi, __gcc_v4hi)
__builtin_arm_wavg2h
__gcc_v4hi __builtin_arm_wavg2h(__gcc_v4hi, __gcc_v4hi)
__builtin_arm_wsraw
__gcc_v2si __builtin_arm_wsraw(__gcc_v2si, long long)
__builtin_arm_wmacsz
long long __builtin_arm_wmacsz(__gcc_v4hi, __gcc_v4hi)
__builtin_arm_wunpckelsw
long long __builtin_arm_wunpckelsw(__gcc_v2si)
src
ansi-c
compiler_headers
gcc_builtin_headers_arm.h
Generated by
1.9.8