st_fb_translator.cpp File Reference

#include <ld-frontend/ir_gen/st_fb_translator.h>
#include <util/arith/arith_tools.h>
#include <util/arith/ieee_float.h>
#include <util/lang/c_types.h>
#include <util/config/config.h>
#include <cassert>
#include <cctype>
#include <cstdlib>
#include <stdexcept>
#include <string>
#include <utility>

Include dependency graph for st_fb_translator.cpp:

Functions
static bool	sound_mode ()
static bool	watchdog_enabled ()
static long long	scan_budget ()
static void	require_tolerant (const char *what)
static std::string	lower (std::string s)
static bool	is_floating (const typet &t)
static typet	common_float_type (const typet &a, const typet &b)
static bool	is_real_literal_tree (const exprt &e)
static void	narrow_real_literals (exprt &e, const typet &type)
static void	narrow_to_context (exprt &e, const typet &context)
static irep_idt	arith_id (const irep_idt &op, bool real)
static bool	is_integer (const typet &t)
static bool	retype_literal (exprt &lit, const exprt &other)
static exprt	assigned_value (exprt rhs, const symbol_exprt &lhs)
static void	unify_integers (exprt &a, exprt &b)
static exprt	make_binary_arith (const irep_idt &op, exprt lhs, exprt rhs)
static const exprt &	boolean_operand (const exprt &e, const char *op)
static void	promote_numeric (exprt &a, exprt &b)

Function Documentation

arith_id()

irep_idt arith_id ( const irep_idt & op, bool real )

static

assigned_value()

exprt assigned_value ( exprt rhs, const symbol_exprt & lhs )

static

boolean_operand()

const exprt & boolean_operand ( const exprt & e, const char * op )

static

common_float_type()

typet common_float_type ( const typet & a, const typet & b )

static

is_floating()

bool is_floating ( const typet & t )

static

is_integer()

bool is_integer ( const typet & t )

static

is_real_literal_tree()

bool is_real_literal_tree ( const exprt & e )

static

lower()

std::string lower ( std::string s )

static

make_binary_arith()

exprt make_binary_arith ( const irep_idt & op, exprt lhs, exprt rhs )

static

narrow_real_literals()

void narrow_real_literals ( exprt & e, const typet & type )

static

narrow_to_context()

void narrow_to_context ( exprt & e, const typet & context )

static

promote_numeric()

void promote_numeric ( exprt & a, exprt & b )

static

require_tolerant()

void require_tolerant ( const char * what )

static

retype_literal()

bool retype_literal ( exprt & lit, const exprt & other )

static

scan_budget()

long long scan_budget ( )

static

sound_mode()

bool sound_mode ( )

static

unify_integers()

void unify_integers ( exprt & a, exprt & b )

static

watchdog_enabled()

bool watchdog_enabled ( )

static