klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::bits64 Namespace Reference

Functions

uint64_t maxValueOfNBits (unsigned N)
 
uint64_t truncateToNBits (uint64_t x, unsigned N)
 
uint64_t withoutRightmostBit (uint64_t x)
 
uint64_t isolateRightmostBit (uint64_t x)
 
uint64_t isPowerOfTwo (uint64_t x)
 
unsigned indexOfSingleBit (uint64_t x)
 
uint64_t indexOfRightmostBit (uint64_t x)
 

Function Documentation

uint64_t klee::bits64::indexOfRightmostBit ( uint64_t  x)
inline

Definition at line 97 of file Bits.h.

References indexOfSingleBit(), and isolateRightmostBit().

Referenced by klee::ComputeMultConstants64().

Here is the call graph for this function:

Here is the caller graph for this function:

unsigned klee::bits64::indexOfSingleBit ( uint64_t  x)
inline

Definition at line 90 of file Bits.h.

References klee::bits32::indexOfSingleBit().

Referenced by klee::ComputeMultConstants64(), klee::STPBuilder::constructActual(), and indexOfRightmostBit().

Here is the call graph for this function:

Here is the caller graph for this function:

uint64_t klee::bits64::isolateRightmostBit ( uint64_t  x)
inline

Definition at line 79 of file Bits.h.

Referenced by klee::ComputeMultConstants64(), and indexOfRightmostBit().

Here is the caller graph for this function:

uint64_t klee::bits64::isPowerOfTwo ( uint64_t  x)
inline

Definition at line 83 of file Bits.h.

Referenced by ValueRange::binaryXor(), and klee::STPBuilder::constructActual().

Here is the caller graph for this function:

uint64_t klee::bits64::withoutRightmostBit ( uint64_t  x)
inline

Definition at line 75 of file Bits.h.

Referenced by ValueRange::binaryXor().

Here is the caller graph for this function: