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