cprover
|
#include <util/std_types.h>
Go to the source code of this file.
bitvector_typet gcc_float128_type | ( | ) |
Definition at line 58 of file gcc_types.cpp.
References ieee_float_spect::quadruple_precision(), irept::set(), and ieee_float_spect::to_type().
Referenced by convert_float_literal(), c_typecheck_baset::typecheck_type(), cpp_convert_typet::write(), and ansi_c_convert_typet::write().
bitvector_typet gcc_float128x_type | ( | ) |
Definition at line 67 of file gcc_types.cpp.
References ieee_float_spect::quadruple_precision(), irept::set(), and ieee_float_spect::to_type().
Referenced by convert_float_literal(), and ansi_c_convert_typet::write().
bitvector_typet gcc_float16_type | ( | ) |
Definition at line 14 of file gcc_types.cpp.
References ieee_float_spect::half_precision(), irept::set(), and ieee_float_spect::to_type().
Referenced by convert_float_literal(), and ansi_c_convert_typet::write().
bitvector_typet gcc_float32_type | ( | ) |
Definition at line 22 of file gcc_types.cpp.
References irept::set(), ieee_float_spect::single_precision(), and ieee_float_spect::to_type().
Referenced by convert_float_literal(), and ansi_c_convert_typet::write().
bitvector_typet gcc_float32x_type | ( | ) |
Definition at line 31 of file gcc_types.cpp.
References irept::set(), ieee_float_spect::single_precision(), and ieee_float_spect::to_type().
Referenced by convert_float_literal(), and ansi_c_convert_typet::write().
bitvector_typet gcc_float64_type | ( | ) |
Definition at line 40 of file gcc_types.cpp.
References ieee_float_spect::double_precision(), irept::set(), and ieee_float_spect::to_type().
Referenced by convert_float_literal(), and ansi_c_convert_typet::write().
bitvector_typet gcc_float64x_type | ( | ) |
Definition at line 49 of file gcc_types.cpp.
References ieee_float_spect::double_precision(), irept::set(), and ieee_float_spect::to_type().
Referenced by convert_float_literal(), cpp_convert_typet::write(), and ansi_c_convert_typet::write().
signedbv_typet gcc_signed_int128_type | ( | ) |
Definition at line 83 of file gcc_types.cpp.
References irept::set().
Referenced by c_typecheck_baset::typecheck_type(), cpp_convert_typet::write(), and ansi_c_convert_typet::write().
unsignedbv_typet gcc_unsigned_int128_type | ( | ) |
Definition at line 76 of file gcc_types.cpp.
References irept::set().
Referenced by c_typecheck_baset::typecheck_type(), cpp_convert_typet::write(), and ansi_c_convert_typet::write().