Exemplos de floatbv_typet em C++ (Cpp)

Exemplo n.º 1

Arquivo: ieee_float.cpp Projeto: ashokkelur/CBMC-With-DSP-C

void ieee_float_spect::from_type(const floatbv_typet &type)
{
  unsigned width=type.get_width();
  f=type.get_f();
  assert(f!=0);
  assert(f<width);
  e=width-f-1;
}

Exemplo n.º 2

Arquivo: ieee_float.cpp Projeto: eigold/cbmc

void ieee_float_spect::from_type(const floatbv_typet &type)
{
  std::size_t width=type.get_width();
  f=type.get_f();
  assert(f!=0);
  assert(f<width);
  e=width-f-1;
  x86_extended=type.get_bool(ID_x86_extended);
  if(x86_extended)
    e=e-1; // no hidden bit
}