klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Bits.h File Reference
#include "klee/Config/Version.h"
#include "llvm/Support/DataTypes.h"
Include dependency graph for Bits.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

 klee
 
 klee::bits32
 
 klee::bits64
 

Functions

unsigned klee::bits32::maxValueOfNBits (unsigned N)
 
unsigned klee::bits32::truncateToNBits (unsigned x, unsigned N)
 
unsigned klee::bits32::withoutRightmostBit (unsigned x)
 
unsigned klee::bits32::isolateRightmostBit (unsigned x)
 
unsigned klee::bits32::isPowerOfTwo (unsigned x)
 
unsigned klee::bits32::indexOfSingleBit (unsigned x)
 
unsigned klee::bits32::indexOfRightmostBit (unsigned x)
 
uint64_t klee::bits64::maxValueOfNBits (unsigned N)
 
uint64_t klee::bits64::truncateToNBits (uint64_t x, unsigned N)
 
uint64_t klee::bits64::withoutRightmostBit (uint64_t x)
 
uint64_t klee::bits64::isolateRightmostBit (uint64_t x)
 
uint64_t klee::bits64::isPowerOfTwo (uint64_t x)
 
unsigned klee::bits64::indexOfSingleBit (uint64_t x)
 
uint64_t klee::bits64::indexOfRightmostBit (uint64_t x)