18 result.
set(ID_C_c_type, ID_gcc_float16);
27 result.
set(ID_C_c_type, ID_gcc_float32);
36 result.
set(ID_C_c_type, ID_gcc_float32x);
45 result.
set(ID_C_c_type, ID_gcc_float64);
54 result.
set(ID_C_c_type, ID_gcc_float64x);
63 result.
set(ID_C_c_type, ID_gcc_float128);
72 result.
set(ID_C_c_type, ID_gcc_float128x);
79 result.
set(ID_C_c_type, ID_unsigned_int128);
86 result.
set(ID_C_c_type, ID_signed_int128);
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()
class floatbv_typet to_type() const
static ieee_float_spect double_precision()
void set(const irep_namet &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()