ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Fixed-width bit-vector with IEEE floating-point interpretation.
static ieee_float_spect half_precision()
static ieee_float_spect single_precision()
static ieee_float_spect quadruple_precision()
static ieee_float_spect double_precision()
void set(const irep_idt &name, const irep_idt &value)
Fixed-width bit-vector with two's complement interpretation.
Fixed-width bit-vector with unsigned binary interpretation.
floatbv_typet gcc_float32_type()
floatbv_typet gcc_float16_type()
floatbv_typet gcc_float64_type()
signedbv_typet gcc_signed_int128_type()
floatbv_typet gcc_float32x_type()
floatbv_typet gcc_float64x_type()
floatbv_typet gcc_float128x_type()
unsignedbv_typet gcc_unsigned_int128_type()
floatbv_typet gcc_float128_type()