klee
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

◆ indexOfRightmostBit()

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

Definition at line 108 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:

◆ indexOfSingleBit()

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

Definition at line 98 of file Bits.h.

References klee::bits32::indexOfSingleBit().

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

Here is the call graph for this function:
Here is the caller graph for this function:

◆ isolateRightmostBit()

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

Definition at line 87 of file Bits.h.

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

Here is the caller graph for this function:

◆ isPowerOfTwo()

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

Definition at line 91 of file Bits.h.

Referenced by klee::Executor::getAllocationAlignment(), and klee::ObjectState::write().

Here is the caller graph for this function:

◆ maxValueOfNBits()

uint64_t klee::bits64::maxValueOfNBits ( unsigned  N)
inline

Definition at line 70 of file Bits.h.

Referenced by klee::ExprRangeEvaluator< T >::evaluate(), and klee::Solver::getRange().

Here is the caller graph for this function:

◆ truncateToNBits()

◆ withoutRightmostBit()

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

Definition at line 83 of file Bits.h.