#include <constraint-manager.h>

Collaboration diagram for ana::constraint_manager:

[legend]

Public Member Functions
	constraint_manager (region_model_manager *mgr)

	constraint_manager (const constraint_manager &other)

virtual	~constraint_manager ()

constraint_manager &	operator= (const constraint_manager &other)

hashval_t	hash () const

bool	operator== (const constraint_manager &other) const

bool	operator!= (const constraint_manager &other) const

void	print (pretty_printer *pp) const

void	dump_to_pp (pretty_printer *pp, bool multiline) const

void	dump (FILE *fp) const

void	dump () const

std::unique_ptr< json::object >	to_json () const

std::unique_ptr< text_art::tree_widget >	make_dump_widget (const text_art::dump_widget_info &dwi) const

const equiv_class &	get_equiv_class_by_index (unsigned idx) const

equiv_class &	get_equiv_class_by_index (unsigned idx)

equiv_class &	get_equiv_class (const svalue *sval)

bool	add_constraint (const svalue lhs, enum tree_code op, const svalue rhs)

bool	add_constraint (equiv_class_id lhs_ec_id, enum tree_code op, equiv_class_id rhs_ec_id)

void	add_unknown_constraint (equiv_class_id lhs_ec_id, enum tree_code op, equiv_class_id rhs_ec_id)

bool	add_bounded_ranges (const svalue sval, const bounded_ranges ranges)

bool	get_equiv_class_by_svalue (const svalue sval, equiv_class_id out) const

bool	sval_constrained_p (const svalue *sval) const

equiv_class_id	get_or_add_equiv_class (const svalue *sval)

tristate	eval_condition (equiv_class_id lhs, enum tree_code op, equiv_class_id rhs) const

tristate	eval_condition (equiv_class_id lhs_ec, enum tree_code op, tree rhs_const) const

tristate	eval_condition (const svalue lhs, enum tree_code op, const svalue rhs) const

range	get_ec_bounds (equiv_class_id ec_id) const

template<typename PurgeCriteria>
void	purge (const PurgeCriteria &p, purge_stats *stats)

void	on_liveness_change (const svalue_set &live_svalues, const region_model *model)

void	purge_state_involving (const svalue *sval)

void	canonicalize ()

void	for_each_fact (fact_visitor *) const

void	validate () const

bounded_ranges_manager *	get_range_manager () const

bool	replay_call_summary (call_summary_replay &r, const constraint_manager &summary)

Static Public Member Functions
static void	merge (const constraint_manager &cm_a, const constraint_manager &cm_b, constraint_manager *out)

Data Fields
auto_delete_vec< equiv_class >	m_equiv_classes

auto_vec< constraint >	m_constraints

auto_vec< bounded_ranges_constraint >	m_bounded_ranges_constraints

Private Member Functions
void	add_constraint_internal (equiv_class_id lhs_id, enum constraint_op c_op, equiv_class_id rhs_id)

bool	impossible_derived_conditions_p (const svalue lhs, const svalue rhs) const

Private Attributes
region_model_manager *	m_mgr

Detailed Description

A collection of equivalence classes and constraints on them.

Given N svalues, this can be thought of as representing a subset of
N-dimensional space.  When we call add_constraint,
we are effectively taking an intersection with that constraint.

Constructor & Destructor Documentation

◆ constraint_manager() [1/2]

ana::constraint_manager::constraint_manager ( region_model_manager * mgr )

inline

References m_mgr.

Referenced by constraint_manager(), merge(), operator!=(), operator=(), operator==(), and replay_call_summary().

◆ constraint_manager() [2/2]

ana::constraint_manager::constraint_manager ( const constraint_manager & other )

References constraint_manager().

◆ ~constraint_manager()

virtual ana::constraint_manager::~constraint_manager ( )

inlinevirtual

Member Function Documentation

◆ add_bounded_ranges()

bool ana::constraint_manager::add_bounded_ranges	(	const svalue *	sval,
		const bounded_ranges *	ranges )

◆ add_constraint() [1/2]

bool ana::constraint_manager::add_constraint	(	const svalue *	lhs,
		enum tree_code	op,
		const svalue *	rhs )

◆ add_constraint() [2/2]

bool ana::constraint_manager::add_constraint	(	equiv_class_id	lhs_ec_id,
		enum tree_code	op,
		equiv_class_id	rhs_ec_id )

◆ add_constraint_internal()

void ana::constraint_manager::add_constraint_internal	(	equiv_class_id	lhs_id,
		enum constraint_op	c_op,
		equiv_class_id	rhs_id )

private

◆ add_unknown_constraint()

void ana::constraint_manager::add_unknown_constraint	(	equiv_class_id	lhs_ec_id,
		enum tree_code	op,
		equiv_class_id	rhs_ec_id )

◆ canonicalize()

void ana::constraint_manager::canonicalize ( )

◆ dump() [1/2]

void ana::constraint_manager::dump ( ) const

◆ dump() [2/2]

void ana::constraint_manager::dump ( FILE * fp ) const

◆ dump_to_pp()

void ana::constraint_manager::dump_to_pp	(	pretty_printer *	pp,
		bool	multiline ) const

◆ eval_condition() [1/3]

tristate ana::constraint_manager::eval_condition	(	const svalue *	lhs,
		enum tree_code	op,
		const svalue *	rhs ) const

◆ eval_condition() [2/3]

tristate ana::constraint_manager::eval_condition	(	equiv_class_id	lhs,
		enum tree_code	op,
		equiv_class_id	rhs ) const

◆ eval_condition() [3/3]

tristate ana::constraint_manager::eval_condition	(	equiv_class_id	lhs_ec,
		enum tree_code	op,
		tree	rhs_const ) const

◆ for_each_fact()

void ana::constraint_manager::for_each_fact ( fact_visitor * ) const

◆ get_ec_bounds()

range ana::constraint_manager::get_ec_bounds ( equiv_class_id ec_id ) const

◆ get_equiv_class()

equiv_class & ana::constraint_manager::get_equiv_class ( const svalue * sval )

inline

References ana::equiv_class_id::get_obj(), and get_or_add_equiv_class().

◆ get_equiv_class_by_index() [1/2]

equiv_class & ana::constraint_manager::get_equiv_class_by_index ( unsigned idx )

inline

References m_equiv_classes.

◆ get_equiv_class_by_index() [2/2]

const equiv_class & ana::constraint_manager::get_equiv_class_by_index ( unsigned idx ) const

inline

References m_equiv_classes.

◆ get_equiv_class_by_svalue()

bool ana::constraint_manager::get_equiv_class_by_svalue	(	const svalue *	sval,
		equiv_class_id *	out ) const

◆ get_or_add_equiv_class()

equiv_class_id ana::constraint_manager::get_or_add_equiv_class ( const svalue * sval )

Referenced by get_equiv_class().

◆ get_range_manager()

bounded_ranges_manager * ana::constraint_manager::get_range_manager ( ) const

◆ hash()

hashval_t ana::constraint_manager::hash ( ) const

◆ impossible_derived_conditions_p()

bool ana::constraint_manager::impossible_derived_conditions_p	(	const svalue *	lhs,
		const svalue *	rhs ) const

private

◆ make_dump_widget()

std::unique_ptr< text_art::tree_widget > ana::constraint_manager::make_dump_widget ( const text_art::dump_widget_info & dwi ) const

◆ merge()

static void ana::constraint_manager::merge	(	const constraint_manager &	cm_a,
		const constraint_manager &	cm_b,
		constraint_manager *	out )

static

References constraint_manager().

◆ on_liveness_change()

void ana::constraint_manager::on_liveness_change	(	const svalue_set &	live_svalues,
		const region_model *	model )

◆ operator!=()

bool ana::constraint_manager::operator!= ( const constraint_manager & other ) const

inline

References constraint_manager().

◆ operator=()

constraint_manager & ana::constraint_manager::operator= ( const constraint_manager & other )

References constraint_manager().

◆ operator==()

bool ana::constraint_manager::operator== ( const constraint_manager & other ) const

References constraint_manager().

◆ print()

void ana::constraint_manager::print ( pretty_printer * pp ) const

◆ purge()

template<typename PurgeCriteria>

void ana::constraint_manager::purge	(	const PurgeCriteria &	p,
		purge_stats *	stats )

◆ purge_state_involving()

void ana::constraint_manager::purge_state_involving ( const svalue * sval )

◆ replay_call_summary()

bool ana::constraint_manager::replay_call_summary	(	call_summary_replay &	r,
		const constraint_manager &	summary )

References constraint_manager(), and r.

◆ sval_constrained_p()

bool ana::constraint_manager::sval_constrained_p ( const svalue * sval ) const

◆ to_json()

std::unique_ptr< json::object > ana::constraint_manager::to_json ( ) const

◆ validate()

void ana::constraint_manager::validate ( ) const

Field Documentation

◆ m_bounded_ranges_constraints

auto_vec<bounded_ranges_constraint> ana::constraint_manager::m_bounded_ranges_constraints

◆ m_constraints

auto_vec<constraint> ana::constraint_manager::m_constraints

◆ m_equiv_classes

auto_delete_vec<equiv_class> ana::constraint_manager::m_equiv_classes

Referenced by get_equiv_class_by_index(), and get_equiv_class_by_index().

◆ m_mgr

region_model_manager* ana::constraint_manager::m_mgr

private

Referenced by constraint_manager().

The documentation for this class was generated from the following file:

constraint-manager.h

Public Member Functions

Static Public Member Functions

Data Fields

Private Member Functions

Private Attributes

Detailed Description

Constructor & Destructor Documentation

◆ constraint_manager() [1/2]

◆ constraint_manager() [2/2]

◆ ~constraint_manager()

Member Function Documentation

◆ add_bounded_ranges()

◆ add_constraint() [1/2]

◆ add_constraint() [2/2]

◆ add_constraint_internal()

◆ add_unknown_constraint()

◆ canonicalize()

◆ dump() [1/2]

◆ dump() [2/2]

◆ dump_to_pp()

◆ eval_condition() [1/3]

◆ eval_condition() [2/3]

◆ eval_condition() [3/3]

◆ for_each_fact()

◆ get_ec_bounds()

◆ get_equiv_class()

◆ get_equiv_class_by_index() [1/2]

◆ get_equiv_class_by_index() [2/2]

◆ get_equiv_class_by_svalue()

◆ get_or_add_equiv_class()

◆ get_range_manager()

◆ hash()

◆ impossible_derived_conditions_p()

◆ make_dump_widget()

◆ merge()

◆ on_liveness_change()

◆ operator!=()

◆ operator=()

◆ operator==()

◆ print()

◆ purge()

◆ purge_state_involving()

◆ replay_call_summary()

◆ sval_constrained_p()

◆ to_json()

◆ validate()

Field Documentation

◆ m_bounded_ranges_constraints

◆ m_constraints

◆ m_equiv_classes

◆ m_mgr