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