CBMC
gcc_builtin_headers_alpha.h
Go to the documentation of this file.
1 // clang-format off
2 long __builtin_alpha_implver(void);
3 long __builtin_alpha_rpcc(void);
4 long __builtin_alpha_amask(long);
5 long __builtin_alpha_cmpbge(long, long);
6 long __builtin_alpha_extbl(long, long);
7 long __builtin_alpha_extwl(long, long);
8 long __builtin_alpha_extll(long, long);
9 long __builtin_alpha_extql(long, long);
10 long __builtin_alpha_extwh(long, long);
11 long __builtin_alpha_extlh(long, long);
12 long __builtin_alpha_extqh(long, long);
13 long __builtin_alpha_insbl(long, long);
14 long __builtin_alpha_inswl(long, long);
15 long __builtin_alpha_insll(long, long);
16 long __builtin_alpha_insql(long, long);
17 long __builtin_alpha_inswh(long, long);
18 long __builtin_alpha_inslh(long, long);
19 long __builtin_alpha_insqh(long, long);
20 long __builtin_alpha_mskbl(long, long);
21 long __builtin_alpha_mskwl(long, long);
22 long __builtin_alpha_mskll(long, long);
23 long __builtin_alpha_mskql(long, long);
24 long __builtin_alpha_mskwh(long, long);
25 long __builtin_alpha_msklh(long, long);
26 long __builtin_alpha_mskqh(long, long);
27 long __builtin_alpha_umulh(long, long);
28 long __builtin_alpha_zap(long, long);
29 long __builtin_alpha_zapnot(long, long);
30 long __builtin_alpha_pklb(long);
31 long __builtin_alpha_pkwb(long);
32 long __builtin_alpha_unpkbl(long);
33 long __builtin_alpha_unpkbw(long);
34 long __builtin_alpha_minub8(long, long);
35 long __builtin_alpha_minsb8(long, long);
36 long __builtin_alpha_minuw4(long, long);
37 long __builtin_alpha_minsw4(long, long);
38 long __builtin_alpha_maxub8(long, long);
39 long __builtin_alpha_maxsb8(long, long);
40 long __builtin_alpha_maxuw4(long, long);
41 long __builtin_alpha_maxsw4(long, long);
42 long __builtin_alpha_perr(long, long);
43 long __builtin_alpha_cttz(long);
44 long __builtin_alpha_ctlz(long);
45 long __builtin_alpha_ctpop(long);
46 void *__builtin_thread_pointer(void);
47 void __builtin_set_thread_pointer(void *);
48 // clang-format on
__builtin_alpha_ctlz
long __builtin_alpha_ctlz(long)
__builtin_alpha_zap
long __builtin_alpha_zap(long, long)
__builtin_alpha_zapnot
long __builtin_alpha_zapnot(long, long)
__builtin_alpha_amask
long __builtin_alpha_amask(long)
__builtin_alpha_extlh
long __builtin_alpha_extlh(long, long)
__builtin_alpha_inswl
long __builtin_alpha_inswl(long, long)
__builtin_alpha_cttz
long __builtin_alpha_cttz(long)
__builtin_alpha_insbl
long __builtin_alpha_insbl(long, long)
__builtin_alpha_extwh
long __builtin_alpha_extwh(long, long)
__builtin_alpha_extqh
long __builtin_alpha_extqh(long, long)
__builtin_alpha_minsb8
long __builtin_alpha_minsb8(long, long)
__builtin_set_thread_pointer
void __builtin_set_thread_pointer(void *)
__builtin_alpha_mskll
long __builtin_alpha_mskll(long, long)
__builtin_alpha_extbl
long __builtin_alpha_extbl(long, long)
__builtin_alpha_inswh
long __builtin_alpha_inswh(long, long)
__builtin_alpha_ctpop
long __builtin_alpha_ctpop(long)
__builtin_alpha_extwl
long __builtin_alpha_extwl(long, long)
__builtin_alpha_pkwb
long __builtin_alpha_pkwb(long)
__builtin_alpha_insqh
long __builtin_alpha_insqh(long, long)
__builtin_alpha_mskql
long __builtin_alpha_mskql(long, long)
__builtin_alpha_perr
long __builtin_alpha_perr(long, long)
__builtin_alpha_pklb
long __builtin_alpha_pklb(long)
__builtin_alpha_minuw4
long __builtin_alpha_minuw4(long, long)
__builtin_alpha_minub8
long __builtin_alpha_minub8(long, long)
__builtin_alpha_cmpbge
long __builtin_alpha_cmpbge(long, long)
__builtin_alpha_mskwl
long __builtin_alpha_mskwl(long, long)
__builtin_alpha_insql
long __builtin_alpha_insql(long, long)
__builtin_thread_pointer
void * __builtin_thread_pointer(void)
__builtin_alpha_unpkbw
long __builtin_alpha_unpkbw(long)
__builtin_alpha_mskwh
long __builtin_alpha_mskwh(long, long)
__builtin_alpha_maxsw4
long __builtin_alpha_maxsw4(long, long)
__builtin_alpha_unpkbl
long __builtin_alpha_unpkbl(long)
__builtin_alpha_extql
long __builtin_alpha_extql(long, long)
__builtin_alpha_extll
long __builtin_alpha_extll(long, long)
__builtin_alpha_inslh
long __builtin_alpha_inslh(long, long)
__builtin_alpha_mskbl
long __builtin_alpha_mskbl(long, long)
__builtin_alpha_umulh
long __builtin_alpha_umulh(long, long)
__builtin_alpha_maxsb8
long __builtin_alpha_maxsb8(long, long)
__builtin_alpha_implver
long __builtin_alpha_implver(void)
__builtin_alpha_msklh
long __builtin_alpha_msklh(long, long)
__builtin_alpha_maxuw4
long __builtin_alpha_maxuw4(long, long)
__builtin_alpha_insll
long __builtin_alpha_insll(long, long)
__builtin_alpha_maxub8
long __builtin_alpha_maxub8(long, long)
__builtin_alpha_rpcc
long __builtin_alpha_rpcc(void)
__builtin_alpha_mskqh
long __builtin_alpha_mskqh(long, long)
__builtin_alpha_minsw4
long __builtin_alpha_minsw4(long, long)