CBMC
gcc_builtin_headers_alpha.h File Reference

Go to the source code of this file.

Functions

long __builtin_alpha_implver (void)
 
long __builtin_alpha_rpcc (void)
 
long __builtin_alpha_amask (long)
 
long __builtin_alpha_cmpbge (long, long)
 
long __builtin_alpha_extbl (long, long)
 
long __builtin_alpha_extwl (long, long)
 
long __builtin_alpha_extll (long, long)
 
long __builtin_alpha_extql (long, long)
 
long __builtin_alpha_extwh (long, long)
 
long __builtin_alpha_extlh (long, long)
 
long __builtin_alpha_extqh (long, long)
 
long __builtin_alpha_insbl (long, long)
 
long __builtin_alpha_inswl (long, long)
 
long __builtin_alpha_insll (long, long)
 
long __builtin_alpha_insql (long, long)
 
long __builtin_alpha_inswh (long, long)
 
long __builtin_alpha_inslh (long, long)
 
long __builtin_alpha_insqh (long, long)
 
long __builtin_alpha_mskbl (long, long)
 
long __builtin_alpha_mskwl (long, long)
 
long __builtin_alpha_mskll (long, long)
 
long __builtin_alpha_mskql (long, long)
 
long __builtin_alpha_mskwh (long, long)
 
long __builtin_alpha_msklh (long, long)
 
long __builtin_alpha_mskqh (long, long)
 
long __builtin_alpha_umulh (long, long)
 
long __builtin_alpha_zap (long, long)
 
long __builtin_alpha_zapnot (long, long)
 
long __builtin_alpha_pklb (long)
 
long __builtin_alpha_pkwb (long)
 
long __builtin_alpha_unpkbl (long)
 
long __builtin_alpha_unpkbw (long)
 
long __builtin_alpha_minub8 (long, long)
 
long __builtin_alpha_minsb8 (long, long)
 
long __builtin_alpha_minuw4 (long, long)
 
long __builtin_alpha_minsw4 (long, long)
 
long __builtin_alpha_maxub8 (long, long)
 
long __builtin_alpha_maxsb8 (long, long)
 
long __builtin_alpha_maxuw4 (long, long)
 
long __builtin_alpha_maxsw4 (long, long)
 
long __builtin_alpha_perr (long, long)
 
long __builtin_alpha_cttz (long)
 
long __builtin_alpha_ctlz (long)
 
long __builtin_alpha_ctpop (long)
 
void * __builtin_thread_pointer (void)
 
void __builtin_set_thread_pointer (void *)
 

Function Documentation

◆ __builtin_alpha_amask()

long __builtin_alpha_amask ( long  )

◆ __builtin_alpha_cmpbge()

long __builtin_alpha_cmpbge ( long  ,
long   
)

◆ __builtin_alpha_ctlz()

long __builtin_alpha_ctlz ( long  )

◆ __builtin_alpha_ctpop()

long __builtin_alpha_ctpop ( long  )

◆ __builtin_alpha_cttz()

long __builtin_alpha_cttz ( long  )

◆ __builtin_alpha_extbl()

long __builtin_alpha_extbl ( long  ,
long   
)

◆ __builtin_alpha_extlh()

long __builtin_alpha_extlh ( long  ,
long   
)

◆ __builtin_alpha_extll()

long __builtin_alpha_extll ( long  ,
long   
)

◆ __builtin_alpha_extqh()

long __builtin_alpha_extqh ( long  ,
long   
)

◆ __builtin_alpha_extql()

long __builtin_alpha_extql ( long  ,
long   
)

◆ __builtin_alpha_extwh()

long __builtin_alpha_extwh ( long  ,
long   
)

◆ __builtin_alpha_extwl()

long __builtin_alpha_extwl ( long  ,
long   
)

◆ __builtin_alpha_implver()

long __builtin_alpha_implver ( void  )

◆ __builtin_alpha_insbl()

long __builtin_alpha_insbl ( long  ,
long   
)

◆ __builtin_alpha_inslh()

long __builtin_alpha_inslh ( long  ,
long   
)

◆ __builtin_alpha_insll()

long __builtin_alpha_insll ( long  ,
long   
)

◆ __builtin_alpha_insqh()

long __builtin_alpha_insqh ( long  ,
long   
)

◆ __builtin_alpha_insql()

long __builtin_alpha_insql ( long  ,
long   
)

◆ __builtin_alpha_inswh()

long __builtin_alpha_inswh ( long  ,
long   
)

◆ __builtin_alpha_inswl()

long __builtin_alpha_inswl ( long  ,
long   
)

◆ __builtin_alpha_maxsb8()

long __builtin_alpha_maxsb8 ( long  ,
long   
)

◆ __builtin_alpha_maxsw4()

long __builtin_alpha_maxsw4 ( long  ,
long   
)

◆ __builtin_alpha_maxub8()

long __builtin_alpha_maxub8 ( long  ,
long   
)

◆ __builtin_alpha_maxuw4()

long __builtin_alpha_maxuw4 ( long  ,
long   
)

◆ __builtin_alpha_minsb8()

long __builtin_alpha_minsb8 ( long  ,
long   
)

◆ __builtin_alpha_minsw4()

long __builtin_alpha_minsw4 ( long  ,
long   
)

◆ __builtin_alpha_minub8()

long __builtin_alpha_minub8 ( long  ,
long   
)

◆ __builtin_alpha_minuw4()

long __builtin_alpha_minuw4 ( long  ,
long   
)

◆ __builtin_alpha_mskbl()

long __builtin_alpha_mskbl ( long  ,
long   
)

◆ __builtin_alpha_msklh()

long __builtin_alpha_msklh ( long  ,
long   
)

◆ __builtin_alpha_mskll()

long __builtin_alpha_mskll ( long  ,
long   
)

◆ __builtin_alpha_mskqh()

long __builtin_alpha_mskqh ( long  ,
long   
)

◆ __builtin_alpha_mskql()

long __builtin_alpha_mskql ( long  ,
long   
)

◆ __builtin_alpha_mskwh()

long __builtin_alpha_mskwh ( long  ,
long   
)

◆ __builtin_alpha_mskwl()

long __builtin_alpha_mskwl ( long  ,
long   
)

◆ __builtin_alpha_perr()

long __builtin_alpha_perr ( long  ,
long   
)

◆ __builtin_alpha_pklb()

long __builtin_alpha_pklb ( long  )

◆ __builtin_alpha_pkwb()

long __builtin_alpha_pkwb ( long  )

◆ __builtin_alpha_rpcc()

long __builtin_alpha_rpcc ( void  )

◆ __builtin_alpha_umulh()

long __builtin_alpha_umulh ( long  ,
long   
)

◆ __builtin_alpha_unpkbl()

long __builtin_alpha_unpkbl ( long  )

◆ __builtin_alpha_unpkbw()

long __builtin_alpha_unpkbw ( long  )

◆ __builtin_alpha_zap()

long __builtin_alpha_zap ( long  ,
long   
)

◆ __builtin_alpha_zapnot()

long __builtin_alpha_zapnot ( long  ,
long   
)

◆ __builtin_set_thread_pointer()

void __builtin_set_thread_pointer ( void *  )

◆ __builtin_thread_pointer()

void* __builtin_thread_pointer ( void  )