CBMC
|
Go to the source code of this file.
Functions | |
int | __assume (int) |
unsigned short | __lzcnt16 (unsigned short value) |
unsigned int | __lzcnt (unsigned int value) |
unsigned __int64 | __lzcnt64 (unsigned __int64 value) |
int __assume | ( | int | ) |
unsigned int __lzcnt | ( | unsigned int | value | ) |
unsigned short __lzcnt16 | ( | unsigned short | value | ) |
unsigned __int64 __lzcnt64 | ( | unsigned __int64 | value | ) |