CBMC
windows_builtin_headers.h File Reference

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)
 

Function Documentation

◆ __assume()

int __assume ( int  )

◆ __lzcnt()

unsigned int __lzcnt ( unsigned int  value)

◆ __lzcnt16()

unsigned short __lzcnt16 ( unsigned short  value)

◆ __lzcnt64()

unsigned __int64 __lzcnt64 ( unsigned __int64  value)