ir_ieee_conv.cpp File Reference

#include <solvers/smt/fp/ir_ieee_conv.h>
#include <solvers/smt/smt_solver.h>
#include <solvers/smt/smt_fp_rounding_utils.h>
#include <irep2/irep2_type.h>
#include <util/arith/ieee_float.h>

Include dependency graph for ir_ieee_conv.cpp:

Functions
static bool	is_known_rounding_mode (const expr2tc &rounding_mode)
static bool	is_single_or_double (const floatbv_type2t &fbv_type)

Function Documentation

is_known_rounding_mode()

bool is_known_rounding_mode ( const expr2tc & rounding_mode )

static

is_single_or_double()

bool is_single_or_double ( const floatbv_type2t & fbv_type )

static