klee
Namespaces | Macros | Functions
IntEvaluation.h File Reference
#include "klee/ADT/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
 

Macros

#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)
 

Macro Definition Documentation

◆ MAX_BITS

#define MAX_BITS   (sizeof(uint64_t) * 8)

Definition at line 15 of file IntEvaluation.h.