Go to the documentation of this file.
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);
floatbv_typet gcc_float32_type()
floatbv_typet gcc_float64x_type()
floatbv_typet gcc_float16_type()
Fixed-width bit-vector with IEEE floating-point interpretation.
static ieee_float_spect quadruple_precision()
static ieee_float_spect half_precision()
floatbv_typet gcc_float128_type()
Fixed-width bit-vector with unsigned binary interpretation.
floatbv_typet gcc_float64_type()
static ieee_float_spect double_precision()
signedbv_typet gcc_signed_int128_type()
class floatbv_typet to_type() const
Fixed-width bit-vector with two's complement interpretation.
void set(const irep_namet &name, const irep_idt &value)
unsignedbv_typet gcc_unsigned_int128_type()
static ieee_float_spect single_precision()
floatbv_typet gcc_float32x_type()
floatbv_typet gcc_float128x_type()