IntEvaluation.h File Reference
#include "klee/util/Bits.h"
Include dependency graph for IntEvaluation.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::ints |
Defines | |
| #define | MAX_BITS (sizeof(uint64_t) * 8) |
Functions | |
| uint64_t | klee::ints::add (uint64_t l, uint64_t r, unsigned inWidth) |
| uint64_t | klee::ints::sub (uint64_t l, uint64_t r, unsigned inWidth) |
| uint64_t | klee::ints::mul (uint64_t l, uint64_t r, unsigned inWidth) |
| uint64_t | klee::ints::trunc (uint64_t l, unsigned outWidth, unsigned inWidth) |
| uint64_t | klee::ints::zext (uint64_t l, unsigned outWidth, unsigned inWidth) |
| uint64_t | klee::ints::sext (uint64_t l, unsigned outWidth, unsigned inWidth) |
| uint64_t | klee::ints::udiv (uint64_t l, uint64_t r, unsigned inWidth) |
| uint64_t | klee::ints::urem (uint64_t l, uint64_t r, unsigned inWidth) |
| uint64_t | klee::ints::sdiv (uint64_t l, uint64_t r, unsigned inWidth) |
| uint64_t | klee::ints::srem (uint64_t l, uint64_t r, unsigned inWidth) |
| uint64_t | klee::ints::ashr (uint64_t l, uint64_t shift, unsigned inWidth) |
| uint64_t | klee::ints::lshr (uint64_t l, uint64_t shift, unsigned inWidth) |
| uint64_t | klee::ints::shl (uint64_t l, uint64_t shift, unsigned inWidth) |
| uint64_t | klee::ints::land (uint64_t l, uint64_t r, unsigned inWidth) |
| uint64_t | klee::ints::lor (uint64_t l, uint64_t r, unsigned inWidth) |
| uint64_t | klee::ints::lxor (uint64_t l, uint64_t r, unsigned inWidth) |
| uint64_t | klee::ints::eq (uint64_t l, uint64_t r, unsigned inWidth) |
| uint64_t | klee::ints::ne (uint64_t l, uint64_t r, unsigned inWidth) |
| uint64_t | klee::ints::ult (uint64_t l, uint64_t r, unsigned inWidth) |
| uint64_t | klee::ints::ule (uint64_t l, uint64_t r, unsigned inWidth) |
| uint64_t | klee::ints::ugt (uint64_t l, uint64_t r, unsigned inWidth) |
| uint64_t | klee::ints::uge (uint64_t l, uint64_t r, unsigned inWidth) |
| uint64_t | klee::ints::slt (uint64_t l, uint64_t r, unsigned inWidth) |
| uint64_t | klee::ints::sle (uint64_t l, uint64_t r, unsigned inWidth) |
| uint64_t | klee::ints::sgt (uint64_t l, uint64_t r, unsigned inWidth) |
| uint64_t | klee::ints::sge (uint64_t l, uint64_t r, unsigned inWidth) |
Define Documentation
| #define MAX_BITS (sizeof(uint64_t) * 8) |
Definition at line 15 of file IntEvaluation.h.
Referenced by klee::ints::ashr(), klee::ints::sdiv(), klee::ints::sext(), klee::ints::sge(), klee::ints::sgt(), klee::ints::sle(), klee::ints::slt(), and klee::ints::srem().
