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_extlh
long __builtin_alpha_extlh(long, long)
__builtin_alpha_inslh
long __builtin_alpha_inslh(long, long)
__builtin_alpha_extqh
long __builtin_alpha_extqh(long, long)
__builtin_alpha_extql
long __builtin_alpha_extql(long, long)
__builtin_alpha_unpkbw
long __builtin_alpha_unpkbw(long)
__builtin_alpha_extbl
long __builtin_alpha_extbl(long, long)
__builtin_alpha_ctpop
long __builtin_alpha_ctpop(long)
__builtin_alpha_mskwh
long __builtin_alpha_mskwh(long, long)
__builtin_alpha_maxsb8
long __builtin_alpha_maxsb8(long, long)
__builtin_alpha_umulh
long __builtin_alpha_umulh(long, long)
__builtin_alpha_perr
long __builtin_alpha_perr(long, long)
__builtin_alpha_minsb8
long __builtin_alpha_minsb8(long, long)
__builtin_alpha_mskbl
long __builtin_alpha_mskbl(long, long)
__builtin_alpha_mskqh
long __builtin_alpha_mskqh(long, long)
__builtin_alpha_rpcc
long __builtin_alpha_rpcc(void)
__builtin_alpha_minsw4
long __builtin_alpha_minsw4(long, long)
__builtin_alpha_maxsw4
long __builtin_alpha_maxsw4(long, long)
__builtin_alpha_extwh
long __builtin_alpha_extwh(long, long)
__builtin_alpha_maxub8
long __builtin_alpha_maxub8(long, long)
__builtin_alpha_inswl
long __builtin_alpha_inswl(long, long)
__builtin_alpha_extll
long __builtin_alpha_extll(long, long)
__builtin_alpha_insql
long __builtin_alpha_insql(long, long)
__builtin_alpha_inswh
long __builtin_alpha_inswh(long, long)
__builtin_alpha_mskql
long __builtin_alpha_mskql(long, long)
__builtin_alpha_maxuw4
long __builtin_alpha_maxuw4(long, long)
__builtin_alpha_insbl
long __builtin_alpha_insbl(long, long)
__builtin_alpha_mskwl
long __builtin_alpha_mskwl(long, long)
__builtin_alpha_extwl
long __builtin_alpha_extwl(long, long)
__builtin_alpha_zapnot
long __builtin_alpha_zapnot(long, long)
__builtin_alpha_insqh
long __builtin_alpha_insqh(long, long)
__builtin_alpha_cmpbge
long __builtin_alpha_cmpbge(long, long)
__builtin_alpha_zap
long __builtin_alpha_zap(long, long)
__builtin_alpha_cttz
long __builtin_alpha_cttz(long)
__builtin_alpha_minub8
long __builtin_alpha_minub8(long, long)
__builtin_alpha_unpkbl
long __builtin_alpha_unpkbl(long)
__builtin_set_thread_pointer
void __builtin_set_thread_pointer(void *)
__builtin_alpha_pklb
long __builtin_alpha_pklb(long)
__builtin_alpha_amask
long __builtin_alpha_amask(long)
__builtin_alpha_implver
long __builtin_alpha_implver(void)
__builtin_alpha_insll
long __builtin_alpha_insll(long, long)
__builtin_alpha_minuw4
long __builtin_alpha_minuw4(long, long)
__builtin_alpha_mskll
long __builtin_alpha_mskll(long, long)
__builtin_thread_pointer
void * __builtin_thread_pointer(void)
__builtin_alpha_pkwb
long __builtin_alpha_pkwb(long)
__builtin_alpha_msklh
long __builtin_alpha_msklh(long, long)
__builtin_alpha_ctlz
long __builtin_alpha_ctlz(long)
src
ansi-c
compiler_headers
gcc_builtin_headers_alpha.h
Generated by
1.9.1
1.9.1 1.9.1