dom_ranger Class Reference

#include <gimple-range.h>

Inheritance diagram for dom_ranger:

Collaboration diagram for dom_ranger:

Public Member Functions
	dom_ranger ()
	~dom_ranger ()
virtual bool	range_of_expr (vrange &r, tree expr, gimple *s=NULL) override
virtual bool	range_on_edge (vrange &r, edge e, tree expr) override
virtual bool	range_of_stmt (vrange &r, gimple *s, tree name=NULL) override
void	pre_bb (basic_block bb)
void	post_bb (basic_block bb)
virtual tree	value_of_expr (tree expr, gimple *=NULL)
virtual tree	value_on_edge (edge, tree expr)
virtual tree	value_of_stmt (gimple *, tree name=NULL)
virtual tree	value_on_entry (basic_block, tree expr)
virtual tree	value_on_exit (basic_block, tree expr)
virtual bool	range_on_entry (vrange &r, basic_block bb, tree expr)
virtual bool	range_on_exit (vrange &r, basic_block bb, tree expr)
virtual void	update_range_info (tree name)
virtual void	update_range_info (tree name, const vrange &r)
virtual void	reset_range_info (tree name)
class relation_oracle &	relation () const
void	create_relation_oracle (bool do_trans_p=true)
void	destroy_relation_oracle ()
class infer_range_oracle &	infer_oracle () const
void	create_infer_oracle (range_query *q=NULL, bool do_search=true)
void	destroy_infer_oracle ()
class gimple_outgoing_range &	gori () const
class gori_map *	gori_ssa () const
void	create_gori (int not_executable_flag=0, int sw_max_edges=INT_MAX)
void	destroy_gori ()
virtual bool	active_query_compatible_p ()
virtual void	dump (FILE *)

Protected Member Functions
void	range_in_bb (vrange &r, basic_block bb, tree name)
	DISABLE_COPY_AND_ASSIGN (dom_ranger)
bool	get_tree_range (vrange &v, tree expr, gimple *stmt, basic_block bbentry=NULL, basic_block bbexit=NULL, edge e=NULL)
bool	invoke_range_of_expr (vrange &v, tree expr, gimple *stmt, basic_block bbentry, basic_block bbexit, edge e)
bool	get_arith_expr_range (vrange &r, tree expr, gimple *stmt)
void	share_query (range_query &q)

Protected Attributes
bitmap_obstack	m_bitmaps
ssa_cache	m_global
vec< ssa_lazy_cache * >	m_freelist
vec< ssa_lazy_cache * >	m_bb
range_tracer	tracer
relation_oracle *	m_relation
infer_range_oracle *	m_infer
gimple_outgoing_range *	m_gori
gori_map *	m_map
bool	m_shared_copy_p

Constructor & Destructor Documentation

dom_ranger()

dom_ranger::dom_ranger

(

)

References bitmap_obstack_initialize(), cfun, dump_file, range_tracer::enable_trace(), last_basic_block_for_fn, m_bb, m_bitmaps, m_freelist, m_global, RANGER_DEBUG_TRACE, and tracer.

Referenced by DISABLE_COPY_AND_ASSIGN().

~dom_ranger()

dom_ranger::~dom_ranger

(

)

References bitmap_obstack_release(), ssa_cache::dump(), dump_file, dump_flags, m_bb, m_bitmaps, m_freelist, m_global, and TDF_DETAILS.

Member Function Documentation

active_query_compatible_p()

virtual bool range_query::active_query_compatible_p ( )

inlinevirtualinherited

Reimplemented in path_range_query.

Referenced by set_range_query().

create_gori()

void range_query::create_gori ( int not_executable_flag = 0, int sw_max_edges = INT_MAX )

inherited

References default_gori, gcc_checking_assert, gori_compute::gori_compute(), gori_map::gori_map(), m_gori, m_map, and NULL.

Referenced by ranger_cache::ranger_cache().

create_infer_oracle()

void range_query::create_infer_oracle ( range_query * q = NULL, bool do_search = true )

inherited

References default_infer_oracle, gcc_checking_assert, infer_range_manager::infer_range_manager(), m_infer, and range_query().

Referenced by ranger_cache::ranger_cache().

create_relation_oracle()

void range_query::create_relation_oracle ( bool do_trans_p = true )

inherited

References CDI_DOMINATORS, default_relation_oracle, dom_info_available_p(), dom_oracle::dom_oracle(), gcc_checking_assert, global_ranges, and m_relation.

Referenced by execute_fast_vrp(), and ranger_cache::ranger_cache().

destroy_gori()

void range_query::destroy_gori ( )

inherited

References default_gori, m_gori, m_map, and NULL.

Referenced by ~range_query().

destroy_infer_oracle()

void range_query::destroy_infer_oracle ( )

inherited

References default_infer_oracle, and m_infer.

Referenced by ~range_query(), and ranger_cache::~ranger_cache().

destroy_relation_oracle()

void range_query::destroy_relation_oracle ( )

inherited

References default_relation_oracle, and m_relation.

Referenced by ~range_query(), and ranger_cache::~ranger_cache().

DISABLE_COPY_AND_ASSIGN()

dom_ranger::DISABLE_COPY_AND_ASSIGN ( dom_ranger )

protected

References dom_ranger().

dump()

void range_query::dump ( FILE * )

virtualinherited

Reimplemented in gimple_ranger, path_range_query, ranger_cache, and ssa_cache.

get_arith_expr_range()

bool range_query::get_arith_expr_range ( vrange & r, tree expr, gimple * stmt )

protectedinherited

References r.

get_tree_range()

bool range_query::get_tree_range ( vrange & v, tree expr, gimple * stmt, basic_block bbentry = NULL, basic_block bbexit = NULL, edge e = NULL )

protectedinherited

References wi::add(), as_a(), BINARY_CLASS_P, poly_int< N, C >::coeffs, COMPARISON_CLASS_P, drop_tree_overflow(), wi::eq_p(), range_op_handler::fold_range(), gcc_assert, gcc_checking_assert, get_nonzero_bits(), gimple_range_global(), gimple_range_ssa_p(), HOST_WIDE_INT_M1U, i, invoke_range_of_expr(), is_a< prange >(), wi::le_p(), wi::mul(), wi::neg_p(), NUM_POLY_INT_COEFFS, wi::OVF_NONE, POLY_INT_CST_P, r, real_isnan(), real_isneg(), REAL_VALUE_TYPE, frange::set(), irange::set(), frange::set_nan(), prange::set_pt(), value_range::set_varying(), value_range::supports_type_p(), targetm, wi::to_poly_wide(), wi::to_wide(), TREE_CODE, TREE_OPERAND, TREE_OVERFLOW_P, TREE_REAL_CST_PTR, tree_single_nonzero_p(), TREE_TYPE, TYPE_MAX_VALUE, TYPE_MIN_VALUE, TYPE_OVERFLOW_WRAPS, TYPE_P, TYPE_PRECISION, TYPE_SIGN, wi::uhwi(), UNARY_CLASS_P, irange::update_bitmask(), and wi::zero().

Referenced by dom_ranger::range_of_expr(), gimple_ranger::range_of_expr(), global_range_query::range_of_expr(), ranger_cache::range_of_expr(), ssa_cache::range_of_expr(), dom_ranger::range_of_stmt(), gimple_ranger::range_of_stmt(), dom_ranger::range_on_edge(), gimple_ranger::range_on_edge(), ranger_cache::range_on_edge(), gimple_ranger::range_on_entry(), and gimple_ranger::range_on_exit().

gori()

class gimple_outgoing_range & range_query::gori ( ) const

inlineinherited

References m_gori.

Referenced by ranger_cache::block_range(), path_range_query::compute_ranges_in_block(), gimple_ranger::dump_bb(), ranger_cache::edge_range(), ranger_cache::entry_range(), evaluate_control_stmt_using_entry_checks(), ranger_cache::fill_block_cache(), fur_source::gori(), gori_on_edge(), ranger_cache::range_from_dom(), dom_oracle::recomputed_relation(), and ranger_cache::register_inferred_value().

gori_ssa()

class gori_map * range_query::gori_ssa ( ) const

inlineinherited

References m_map.

Referenced by hybrid_jt_simplifier::compute_exit_dependencies(), path_range_query::compute_exit_dependencies(), path_range_query::compute_ranges_in_block(), ranger_cache::dump_bb(), ranger_cache::get_global_range(), fur_source::gori_ssa(), remove_unreachable::handle_early(), gimple_ranger::range_of_stmt(), ranger_cache::ranger_cache(), dom_oracle::recomputed_relation(), ranger_cache::register_inferred_value(), gimple_ranger::register_transitive_inferred_ranges(), remove_unreachable::remove_and_update_globals(), reset_range_info(), and ranger_cache::set_global_range().

infer_oracle()

class infer_range_oracle & range_query::infer_oracle ( ) const

inlineinherited

References m_infer.

Referenced by path_range_query::adjust_for_non_null_uses(), ranger_cache::apply_inferred_ranges(), path_range_query::compute_ranges(), ranger_cache::edge_range(), ranger_cache::fill_block_cache(), path_range_query::range_defined_in_block(), ranger_cache::range_from_dom(), gimple_ranger::range_on_edge(), gimple_ranger::register_transitive_inferred_ranges(), and reset_range_info().

invoke_range_of_expr()

bool range_query::invoke_range_of_expr ( vrange & v, tree expr, gimple * stmt, basic_block bbentry, basic_block bbexit, edge e )

protectedinherited

References gcc_checking_assert, r, range_of_expr(), range_on_edge(), range_on_entry(), and range_on_exit().

Referenced by get_tree_range().

post_bb()

void dom_ranger::post_bb

(

basic_block

bb

)

References dump_file, dump_flags, basic_block_def::index, m_bb, m_freelist, NULL, and TDF_DETAILS.

Referenced by fvrp_folder::post_fold_bb().

pre_bb()

void dom_ranger::pre_bb

(

basic_block

bb

)

References CDI_DOMINATORS, ssa_cache::dump(), dump_file, dump_flags, EDGE_PRED, ssa_lazy_cache::empty_p(), gcc_checking_assert, get_immediate_dominator(), gori_on_edge(), basic_block_def::index, m_bb, m_bitmaps, m_freelist, ssa_lazy_cache::merge(), NULL, single_pred_p(), ssa_lazy_cache::ssa_lazy_cache(), and TDF_DETAILS.

Referenced by fvrp_folder::pre_fold_bb().

range_in_bb()

void dom_ranger::range_in_bb ( vrange & r, basic_block bb, tree name )

protected

References ssa_lazy_cache::get_range(), ssa_lazy_cache::has_range(), basic_block_def::index, m_bb, m_global, r, ssa_cache::range_of_expr(), and TREE_TYPE.

Referenced by range_of_expr(), and range_on_edge().

range_of_expr()

bool dom_ranger::range_of_expr ( vrange & r, tree expr, gimple * s = NULL )

overridevirtual

Implements range_query.

References dbg_cnt(), dump_file, get_global_range_query(), range_query::get_tree_range(), gimple_bb(), gimple_range_ssa_p(), range_tracer::header(), m_global, print_generic_expr(), print_gimple_stmt(), r, range_in_bb(), range_query::range_of_expr(), ssa_cache::range_of_expr(), TDF_SLIM, tracer, and range_tracer::trailer().

range_of_stmt()

bool dom_ranger::range_of_stmt ( vrange & r, gimple * s, tree name = NULL )

overridevirtual

Reimplemented from range_query.

References dbg_cnt(), dump_file, fold_using_range::fold_stmt(), get_global_range_query(), range_query::get_tree_range(), gimple_get_lhs(), gimple_range_ssa_p(), ssa_cache::has_range(), range_tracer::header(), m_global, ssa_cache::merge_range(), NULL, print_gimple_stmt(), r, ssa_cache::range_of_expr(), range_query::range_of_stmt(), set_range_info(), TDF_SLIM, tracer, and range_tracer::trailer().

Referenced by fvrp_folder::pre_fold_bb(), and fvrp_folder::pre_fold_stmt().

range_on_edge()

bool dom_ranger::range_on_edge ( vrange & r, edge e, tree expr )

overridevirtual

Reimplemented from range_query.

References dbg_cnt(), dump_file, fputc(), get_global_range_query(), range_query::get_tree_range(), gimple_range_ssa_p(), gori_name_on_edge(), range_tracer::header(), NULL, print_generic_expr(), r, range_in_bb(), range_query::range_on_edge(), TDF_SLIM, tracer, range_tracer::trailer(), and TREE_TYPE.

range_on_entry()

bool range_query::range_on_entry ( vrange & r, basic_block bb, tree expr )

virtualinherited

Reimplemented in gimple_ranger.

References r, and range_of_expr().

Referenced by remove_unreachable::handle_early(), invoke_range_of_expr(), range_of_expr(), gimple_ranger::range_on_entry(), dom_oracle::recomputed_relation(), remove_unreachable::remove_and_update_globals(), and value_on_entry().

range_on_exit()

bool range_query::range_on_exit ( vrange & r, basic_block bb, tree expr )

virtualinherited

Reimplemented in gimple_ranger.

References r, and range_of_expr().

Referenced by invoke_range_of_expr(), range_of_expr(), gimple_ranger::range_on_exit(), and value_on_exit().

relation()

class relation_oracle & range_query::relation ( ) const

inlineinherited

References m_relation.

Referenced by check_for_binary_op_overflow(), path_range_query::compute_ranges(), simplify_using_ranges::fold_cond_with_ops(), path_range_query::path_range_query(), path_range_query::path_range_query(), fur_stmt::query_relation(), jt_fur_source::query_relation(), fur_depend::register_relation(), fur_depend::register_relation(), jt_fur_source::register_relation(), jt_fur_source::register_relation(), and reset_range_info().

reset_range_info()

void range_query::reset_range_info ( tree name )

virtualinherited

Reimplemented in gimple_ranger, and ranger_cache.

References infer_range_oracle::clear(), range_def_chain::clear(), relation_oracle::clear(), gori_ssa(), infer_oracle(), and relation().

Referenced by range_of_expr(), reset_flow_sensitive_info(), and ranger_cache::reset_range_info().

share_query()

void range_query::share_query ( range_query & q )

protectedinherited

References m_gori, m_infer, m_map, m_relation, m_shared_copy_p, and range_query().

Referenced by gimple_ranger::gimple_ranger(), path_range_query::path_range_query(), and path_range_query::path_range_query().

update_range_info() [1/2]

void range_query::update_range_info ( tree name )

virtualinherited

Reimplemented in gimple_ranger.

Referenced by infer_range_manager::add_range(), gimple_set_modified(), phi_analyzer::process_phi(), range_of_expr(), and set_range_info().

update_range_info() [2/2]

void range_query::update_range_info ( tree name, const vrange & r )

virtualinherited

Reimplemented in gimple_ranger.

value_of_expr()

tree range_query::value_of_expr ( tree expr, gimple * stmt = NULL )

virtualinherited

Reimplemented in ccp_folder, copy_folder, fvrp_folder, rvrp_folder, and substitute_and_fold_engine.

References NULL_TREE, r, range_of_expr(), value_range::supports_type_p(), and TREE_TYPE.

Referenced by fvrp_folder::value_of_expr().

value_of_stmt()

tree range_query::value_of_stmt ( gimple * stmt, tree name = NULL )

virtualinherited

Reimplemented in fvrp_folder, rvrp_folder, and substitute_and_fold_engine.

References gcc_checking_assert, gimple_get_lhs(), NULL_TREE, r, range_of_stmt(), value_range::supports_type_p(), and TREE_TYPE.

Referenced by fvrp_folder::value_of_stmt(), and rvrp_folder::value_of_stmt().

value_on_edge()

tree range_query::value_on_edge ( edge e, tree expr )

virtualinherited

Reimplemented in fvrp_folder, rvrp_folder, and substitute_and_fold_engine.

References NULL_TREE, r, range_of_expr(), range_on_edge(), value_range::supports_type_p(), and TREE_TYPE.

Referenced by fvrp_folder::value_on_edge().

value_on_entry()

tree range_query::value_on_entry ( basic_block bb, tree expr )

virtualinherited

References gcc_checking_assert, NULL_TREE, r, range_on_entry(), value_range::supports_type_p(), and TREE_TYPE.

value_on_exit()

tree range_query::value_on_exit ( basic_block bb, tree expr )

virtualinherited

References gcc_checking_assert, NULL_TREE, r, range_on_exit(), value_range::supports_type_p(), and TREE_TYPE.

Field Documentation

m_bb

vec<ssa_lazy_cache *> dom_ranger::m_bb

protected

Referenced by dom_ranger(), post_bb(), pre_bb(), range_in_bb(), and ~dom_ranger().

m_bitmaps

bitmap_obstack dom_ranger::m_bitmaps

protected

Referenced by dom_ranger(), pre_bb(), and ~dom_ranger().

m_freelist

vec<ssa_lazy_cache *> dom_ranger::m_freelist

protected

Referenced by dom_ranger(), post_bb(), pre_bb(), and ~dom_ranger().

m_global

ssa_cache dom_ranger::m_global

protected

Referenced by dom_ranger(), range_in_bb(), range_of_expr(), range_of_stmt(), and ~dom_ranger().

m_gori

gimple_outgoing_range* range_query::m_gori

protectedinherited

Referenced by create_gori(), destroy_gori(), gori(), range_query(), and share_query().

m_infer

infer_range_oracle* range_query::m_infer

protectedinherited

Referenced by create_infer_oracle(), destroy_infer_oracle(), infer_oracle(), range_query(), and share_query().

m_map

gori_map* range_query::m_map

protectedinherited

Referenced by create_gori(), destroy_gori(), gori_ssa(), range_query(), and share_query().

m_relation

relation_oracle* range_query::m_relation

protectedinherited

Referenced by create_relation_oracle(), destroy_relation_oracle(), ranger_cache::dump_bb(), ranger_cache::fill_block_cache(), path_range_query::get_path_oracle(), path_range_query::maybe_register_phi_relation(), path_range_query::path_range_query(), path_range_query::path_range_query(), range_query(), relation(), share_query(), and path_range_query::~path_range_query().

m_shared_copy_p

bool range_query::m_shared_copy_p

protectedinherited

Referenced by range_query(), share_query(), and ~range_query().

tracer

range_tracer dom_ranger::tracer

protected

Referenced by dom_ranger(), range_of_expr(), range_of_stmt(), and range_on_edge().

---

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

• gimple-range.h
• gimple-range.cc