klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
FloatEvaluation.h File Reference
#include "klee/util/Bits.h"
#include "IntEvaluation.h"
#include "llvm/Support/MathExtras.h"
#include <cassert>
Include dependency graph for FloatEvaluation.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

 klee
 
 klee::floats
 

Functions

double klee::floats::UInt64AsDouble (uint64_t bits)
 
float klee::floats::UInt64AsFloat (uint64_t bits)
 
uint64_t klee::floats::DoubleAsUInt64 (double d)
 
uint64_t klee::floats::FloatAsUInt64 (float f)
 
uint64_t klee::floats::add (uint64_t l, uint64_t r, unsigned inWidth)
 
uint64_t klee::floats::sub (uint64_t l, uint64_t r, unsigned inWidth)
 
uint64_t klee::floats::mul (uint64_t l, uint64_t r, unsigned inWidth)
 
uint64_t klee::floats::div (uint64_t l, uint64_t r, unsigned inWidth)
 
uint64_t klee::floats::mod (uint64_t l, uint64_t r, unsigned inWidth)
 
bool klee::floats::isNaN (uint64_t l, unsigned inWidth)
 
uint64_t klee::floats::eq (uint64_t l, uint64_t r, unsigned inWidth)
 
uint64_t klee::floats::ne (uint64_t l, uint64_t r, unsigned inWidth)
 
uint64_t klee::floats::lt (uint64_t l, uint64_t r, unsigned inWidth)
 
uint64_t klee::floats::le (uint64_t l, uint64_t r, unsigned inWidth)
 
uint64_t klee::floats::gt (uint64_t l, uint64_t r, unsigned inWidth)
 
uint64_t klee::floats::ge (uint64_t l, uint64_t r, unsigned inWidth)
 
uint64_t klee::floats::trunc (uint64_t l, unsigned outWidth, unsigned inWidth)
 
uint64_t klee::floats::ext (uint64_t l, unsigned outWidth, unsigned inWidth)
 
uint64_t klee::floats::toUnsignedInt (uint64_t l, unsigned outWidth, unsigned inWidth)
 
uint64_t klee::floats::toSignedInt (uint64_t l, unsigned outWidth, unsigned inWidth)
 
uint64_t klee::floats::UnsignedIntToFP (uint64_t l, unsigned outWidth)
 
uint64_t klee::floats::SignedIntToFP (uint64_t l, unsigned outWidth, unsigned inWidth)
 

Variables

const unsigned klee::floats::FLT_BITS = 32
 
const unsigned klee::floats::DBL_BITS = 64