simplify_expr_int.cpp File Reference

#include "simplify_expr_class.h"
#include <cassert>
#include "arith_tools.h"
#include "base_type.h"
#include "bv_arithmetic.h"
#include "config.h"
#include "expr_util.h"
#include "fixedbv.h"
#include "ieee_float.h"
#include "invariant.h"
#include "namespace.h"
#include "pointer_offset_size.h"
#include "rational.h"
#include "rational_tools.h"
#include "std_expr.h"

Include dependency graph for simplify_expr_int.cpp:

Go to the source code of this file.

Macros
#define	NORMALISE_CONSTANT_TESTS

Functions
static bool	sum_expr (constant_exprt &dest, const constant_exprt &expr)
	produce a sum of two constant expressions of the same type More...
static bool	mul_expr (constant_exprt &dest, const constant_exprt &expr)
	produce a product of two expressions of the same type More...

Macro Definition Documentation

NORMALISE_CONSTANT_TESTS

#define NORMALISE_CONSTANT_TESTS

Function Documentation

mul_expr()

static bool mul_expr ( constant_exprt &  dest, const constant_exprt &  expr  )

static

produce a product of two expressions of the same type

Returns

'false' iff this was successful

Definition at line 114 of file simplify_expr_int.cpp.

References binary2integer(), from_rational(), constant_exprt::get_value(), irept::id(), id2string(), integer2binary(), integer2string(), constant_exprt::set_value(), string2integer(), to_bitvector_type(), to_constant_expr(), fixedbvt::to_expr(), ieee_floatt::to_expr(), to_rational(), and exprt::type().

Referenced by simplify_exprt::simplify_mult().

sum_expr()

static bool sum_expr ( constant_exprt &  dest, const constant_exprt &  expr  )

static

produce a sum of two constant expressions of the same type

Returns

'false' iff this was successful

Definition at line 60 of file simplify_expr_int.cpp.

References binary2integer(), from_rational(), constant_exprt::get_value(), irept::id(), id2string(), integer2binary(), integer2string(), constant_exprt::set_value(), string2integer(), to_bitvector_type(), to_constant_expr(), ieee_floatt::to_expr(), to_rational(), and exprt::type().

Referenced by simplify_exprt::simplify_plus().