|
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 | ) |