FloatEvaluation.h File Reference

#include "klee/util/Bits.h"
#include "IntEvaluation.h"
#include "llvm/Support/MathExtras.h"

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
namespace	klee
namespace	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