CBMC
gcc_builtin_headers_arm.h
Go to the documentation of this file.
1 // clang-format off
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);
136 // clang-format on
__gcc_v4hi __builtin_arm_wrorhi(__gcc_v4hi, int)
__gcc_v8qi __builtin_arm_waddbss(__gcc_v8qi, __gcc_v8qi)
__gcc_v2si __builtin_arm_wcmpeqw(__gcc_v2si, __gcc_v2si)
long long __builtin_arm_wmacs(long long, __gcc_v4hi, __gcc_v4hi)
__gcc_v4hi __builtin_arm_wsllhi(__gcc_v4hi, int)
__gcc_v8qi __builtin_arm_wavg2b(__gcc_v8qi, __gcc_v8qi)
__gcc_v2si __builtin_arm_wmaxuw(__gcc_v2si, __gcc_v2si)
long long __builtin_arm_wunpckehsw(__gcc_v2si)
__gcc_v4hi __builtin_arm_wunpckehub(__gcc_v8qi)
__gcc_v8qi __builtin_arm_walign(__gcc_v8qi, __gcc_v8qi, int)
__gcc_v4hi __builtin_arm_wshufh(__gcc_v4hi, int)
long long __builtin_arm_wand(long long, long long)
long long __builtin_arm_tmiatb(long long, int, int)
__gcc_v8qi __builtin_arm_wcmpeqb(__gcc_v8qi, __gcc_v8qi)
long long __builtin_arm_wsrld(long long, long long)
__gcc_v2si __builtin_arm_wrorw(__gcc_v2si, long long)
int __builtin_arm_textrmuh(__gcc_v4hi, int)
__gcc_v2si __builtin_arm_wunpckilw(__gcc_v2si, __gcc_v2si)
long long __builtin_arm_waccb(__gcc_v8qi)
__gcc_v4hi __builtin_arm_wmaxuh(__gcc_v4hi, __gcc_v4hi)
__gcc_v4hi __builtin_arm_wpackwss(__gcc_v2si, __gcc_v2si)
__gcc_v2si __builtin_arm_wsadhz(__gcc_v4hi, __gcc_v4hi)
__gcc_v2si __builtin_arm_wsrawi(__gcc_v2si, int)
__gcc_v8qi __builtin_arm_wunpckilb(__gcc_v8qi, __gcc_v8qi)
__gcc_v4hi __builtin_arm_wmadds(__gcc_v4hi, __gcc_v4hi)
__gcc_v4hi __builtin_arm_wmulsm(__gcc_v4hi, __gcc_v4hi)
long long __builtin_arm_wmacuz(__gcc_v4hi, __gcc_v4hi)
__gcc_v4hi __builtin_arm_wavg2hr(__gcc_v4hi, __gcc_v4hi)
int __builtin_arm_textrmuw(__gcc_v2si, int)
long long __builtin_arm_wsrldi(long long, int)
__gcc_v4hi __builtin_arm_waddhus(__gcc_v4hi, __gcc_v4hi)
__gcc_v8qi __builtin_arm_wsubbus(__gcc_v8qi, __gcc_v8qi)
__gcc_v2si __builtin_arm_wunpckeluh(__gcc_v4hi)
long long __builtin_arm_waccw(__gcc_v2si)
__gcc_v8qi __builtin_arm_wsubbss(__gcc_v8qi, __gcc_v8qi)
__gcc_v2si __builtin_arm_waddwus(__gcc_v2si, __gcc_v2si)
__gcc_v8qi __builtin_arm_wpackhus(__gcc_v4hi, __gcc_v4hi)
int __builtin_arm_textrmsb(__gcc_v8qi, int)
__gcc_v4hi __builtin_arm_wsrlhi(__gcc_v4hi, int)
__gcc_v2si __builtin_arm_tinsrw(__gcc_v2si, int)
__gcc_v4hi __builtin_arm_wcmpgtuh(__gcc_v4hi, __gcc_v4hi)
__gcc_v2si __builtin_arm_wpackdus(long long, long long)
__gcc_v2si __builtin_arm_wsllwi(__gcc_v2si, int)
long long __builtin_arm_tmiabb(long long, int, int)
long long __builtin_arm_tmiatt(long long, int, int)
long long __builtin_arm_tmiaph(long long, int, int)
__gcc_v2si __builtin_arm_wcmpgtuw(__gcc_v2si, __gcc_v2si)
__gcc_v4hi __builtin_arm_wunpckilh(__gcc_v4hi, __gcc_v4hi)
long long __builtin_arm_wsrad(long long, long long)
int __builtin_arm_textrmsw(__gcc_v2si, int)
long long __builtin_arm_wsradi(long long, int)
long long __builtin_arm_wslld(long long, long long)
__gcc_v2si __builtin_arm_wunpckihw(__gcc_v2si, __gcc_v2si)
long long __builtin_arm_wunpckeluw(__gcc_v2si)
long long __builtin_arm_wunpckehuw(__gcc_v2si)
__gcc_v8qi __builtin_arm_waddb(__gcc_v8qi, __gcc_v8qi)
__gcc_v2si __builtin_arm_wpackdss(long long, long long)
__gcc_v4hi __builtin_arm_wmaddu(__gcc_v4hi, __gcc_v4hi)
__gcc_v2si __builtin_arm_wmaxsw(__gcc_v2si, __gcc_v2si)
__gcc_v2si __builtin_arm_waddw(__gcc_v2si, __gcc_v2si)
__gcc_v2si __builtin_arm_wsllw(__gcc_v2si, long long)
__gcc_v4hi __builtin_arm_wunpckehsb(__gcc_v8qi)
__gcc_v4hi __builtin_arm_wcmpeqh(__gcc_v4hi, __gcc_v4hi)
__gcc_v4hi __builtin_arm_wminsh(__gcc_v4hi, __gcc_v4hi)
long long __builtin_arm_wacch(__gcc_v4hi)
__gcc_v4hi __builtin_arm_wunpckelsb(__gcc_v8qi)
__gcc_v8qi __builtin_arm_wminsb(__gcc_v8qi, __gcc_v8qi)
long long __builtin_arm_wandn(long long, long long)
__gcc_v8qi __builtin_arm_wcmpgtub(__gcc_v8qi, __gcc_v8qi)
long long __builtin_arm_wmacu(long long, __gcc_v4hi, __gcc_v4hi)
__gcc_v8qi __builtin_arm_wunpckihb(__gcc_v8qi, __gcc_v8qi)
__gcc_v2si __builtin_arm_wsrlw(__gcc_v2si, long long)
__gcc_v2si __builtin_arm_wsadb(__gcc_v8qi, __gcc_v8qi)
int __builtin_arm_tmovmskb(__gcc_v8qi)
long long __builtin_arm_tmiabt(long long, int, int)
__gcc_v8qi __builtin_arm_tinsrb(__gcc_v8qi, int)
__gcc_v4hi __builtin_arm_wpackwus(__gcc_v2si, __gcc_v2si)
__gcc_v2si __builtin_arm_wsadh(__gcc_v4hi, __gcc_v4hi)
__gcc_v4hi __builtin_arm_waddh(__gcc_v4hi, __gcc_v4hi)
__gcc_v8qi __builtin_arm_wmaxub(__gcc_v8qi, __gcc_v8qi)
__gcc_v4hi __builtin_arm_wunpckihh(__gcc_v4hi, __gcc_v4hi)
__gcc_v8qi __builtin_arm_wmaxsb(__gcc_v8qi, __gcc_v8qi)
__gcc_v2si __builtin_arm_wsubwss(__gcc_v2si, __gcc_v2si)
__gcc_v2si __builtin_arm_wsubw(__gcc_v2si, __gcc_v2si)
__gcc_v2si __builtin_arm_wunpckelsh(__gcc_v4hi)
__gcc_v4hi __builtin_arm_wmulul(__gcc_v4hi, __gcc_v4hi)
int __builtin_arm_getwcx(int)
__gcc_v8qi __builtin_arm_wpackhss(__gcc_v4hi, __gcc_v4hi)
__gcc_v2si __builtin_arm_wunpckehuh(__gcc_v4hi)
__gcc_v4hi __builtin_arm_wsubh(__gcc_v4hi, __gcc_v4hi)
__gcc_v4hi __builtin_arm_wsrah(__gcc_v4hi, long long)
__gcc_v8qi __builtin_arm_waddbus(__gcc_v8qi, __gcc_v8qi)
int __builtin_arm_tmovmskh(__gcc_v4hi)
__gcc_v2si __builtin_arm_wminsw(__gcc_v2si, __gcc_v2si)
__gcc_v8qi __builtin_arm_wcmpgtsb(__gcc_v8qi, __gcc_v8qi)
long long __builtin_arm_wxor(long long, long long)
long long __builtin_arm_wslldi(long long, int)
__gcc_v4hi __builtin_arm_tinsrh(__gcc_v4hi, int)
__gcc_v4hi __builtin_arm_wmaxsh(__gcc_v4hi, __gcc_v4hi)
__gcc_v2si __builtin_arm_waddwss(__gcc_v2si, __gcc_v2si)
__gcc_v4hi __builtin_arm_wunpckelub(__gcc_v8qi)
__gcc_v2si __builtin_arm_wunpckehsh(__gcc_v4hi)
long long __builtin_arm_wor(long long, long long)
__gcc_v8qi __builtin_arm_wsubb(__gcc_v8qi, __gcc_v8qi)
__gcc_v4hi __builtin_arm_wsrlh(__gcc_v4hi, long long)
int __builtin_arm_textrmsh(__gcc_v4hi, int)
__gcc_v4hi __builtin_arm_wcmpgtsh(__gcc_v4hi, __gcc_v4hi)
__gcc_v8qi __builtin_arm_wminub(__gcc_v8qi, __gcc_v8qi)
long long __builtin_arm_wrordi(long long, int)
__gcc_v4hi __builtin_arm_wrorh(__gcc_v4hi, long long)
__gcc_v2si __builtin_arm_wcmpgtsw(__gcc_v2si, __gcc_v2si)
__gcc_v4hi __builtin_arm_wsubhss(__gcc_v4hi, __gcc_v4hi)
__gcc_v4hi __builtin_arm_wminuh(__gcc_v4hi, __gcc_v4hi)
long long __builtin_arm_wzero()
__gcc_v2si __builtin_arm_wminuw(__gcc_v2si, __gcc_v2si)
__gcc_v4hi __builtin_arm_wsubhus(__gcc_v4hi, __gcc_v4hi)
__gcc_v8qi __builtin_arm_wavg2br(__gcc_v8qi, __gcc_v8qi)
int __builtin_arm_textrmub(__gcc_v8qi, int)
__gcc_v2si __builtin_arm_wsadbz(__gcc_v8qi, __gcc_v8qi)
__gcc_v4hi __builtin_arm_wsrahi(__gcc_v4hi, int)
__gcc_v4hi __builtin_arm_wsllh(__gcc_v4hi, long long)
__gcc_v2si __builtin_arm_wsrlwi(__gcc_v2si, int)
__gcc_v4hi __builtin_arm_wmulum(__gcc_v4hi, __gcc_v4hi)
void __builtin_arm_setwcx(int, int)
__gcc_v2si __builtin_arm_wsubwus(__gcc_v2si, __gcc_v2si)
long long __builtin_arm_tmia(long long, int, int)
long long __builtin_arm_wrord(long long, long long)
__gcc_v2si __builtin_arm_wrorwi(__gcc_v2si, int)
int __builtin_arm_tmovmskw(__gcc_v2si)
__gcc_v4hi __builtin_arm_waddhss(__gcc_v4hi, __gcc_v4hi)
__gcc_v4hi __builtin_arm_wavg2h(__gcc_v4hi, __gcc_v4hi)
__gcc_v2si __builtin_arm_wsraw(__gcc_v2si, long long)
long long __builtin_arm_wmacsz(__gcc_v4hi, __gcc_v4hi)
long long __builtin_arm_wunpckelsw(__gcc_v2si)