CBMC
windows_builtin_headers.h
Go to the documentation of this file.
1 // clang-format off
2 int __assume(int);
3 unsigned short __lzcnt16(unsigned short value);
4 unsigned int __lzcnt(unsigned int value);
5 unsigned __int64 __lzcnt64(unsigned __int64 value);
6 // clang-format on
__lzcnt
unsigned int __lzcnt(unsigned int value)
__lzcnt16
unsigned short __lzcnt16(unsigned short value)
__lzcnt64
unsigned __int64 __lzcnt64(unsigned __int64 value)