#include "IntEvaluation.h"
#include "klee/ADT/Bits.h"
#include "llvm/Support/ErrorHandling.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
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

Namespaces

Functions

Variables