Bits.h File Reference
#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 | |
| namespace | klee |
| namespace | klee::bits32 |
| namespace | 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) |
