gori_compute Class Reference

#include <gimple-range-gori.h>

Inheritance diagram for gori_compute:

Collaboration diagram for gori_compute:

Public Member Functions
	gori_compute (int not_executable_flag=0)
bool	outgoing_edge_range_p (vrange &r, edge e, tree name, range_query &q)
bool	condexpr_adjust (vrange &r1, vrange &r2, gimple *s, tree cond, tree op1, tree op2, fur_source &src)
bool	has_edge_range_p (tree name, basic_block bb=NULL)
bool	has_edge_range_p (tree name, edge e)
void	dump (FILE *f)
bool	compute_operand_range (vrange &r, gimple *stmt, const vrange &lhs, tree name, class fur_source &src, value_relation *rel=NULL)
bool	is_export_p (tree name, basic_block bb=NULL)
bool	is_import_p (tree name, basic_block bb)
bitmap	exports (basic_block bb)
bitmap	imports (basic_block bb)
void	set_range_invariant (tree name, bool invariant=true)
void	dump (FILE *f, basic_block bb, bool verbose=true)
void	dump (FILE *f, basic_block bb, const char *prefix=NULL)
tree	depend1 (tree name) const
tree	depend2 (tree name) const
bool	in_chain_p (tree name, tree def)
bool	chain_import_p (tree name, tree import)
void	register_dependency (tree name, tree ssa1, basic_block bb=NULL)

Protected Member Functions
bool	has_def_chain (tree name)
bool	def_chain_in_bitmap_p (tree name, bitmap b)
void	add_def_chain_to_bitmap (bitmap b, tree name)
bitmap	get_def_chain (tree name)
bitmap	get_imports (tree name)

Protected Attributes
bitmap_obstack	m_bitmaps

Private Member Functions
bool	refine_using_relation (tree op1, vrange &op1_range, tree op2, vrange &op2_range, fur_source &src, relation_kind k)
bool	may_recompute_p (tree name, edge e, int depth=-1)
bool	may_recompute_p (tree name, basic_block bb=NULL, int depth=-1)
bool	compute_operand_range_switch (vrange &r, gswitch *s, const vrange &lhs, tree name, fur_source &src)
bool	compute_operand1_range (vrange &r, gimple_range_op_handler &handler, const vrange &lhs, fur_source &src, value_relation *rel=NULL)
bool	compute_operand2_range (vrange &r, gimple_range_op_handler &handler, const vrange &lhs, fur_source &src, value_relation *rel=NULL)
bool	compute_operand1_and_operand2_range (vrange &r, gimple_range_op_handler &handler, const vrange &lhs, tree name, fur_source &src, value_relation *rel=NULL)
void	compute_logical_operands (vrange &true_range, vrange &false_range, gimple_range_op_handler &handler, const irange &lhs, tree name, fur_source &src, tree op, bool op_in_chain)
bool	logical_combine (vrange &r, enum tree_code code, const irange &lhs, const vrange &op1_true, const vrange &op1_false, const vrange &op2_true, const vrange &op2_false)
void	maybe_add_gori (tree name, basic_block bb)
void	calculate_gori (basic_block bb)
void	set_import (struct rdc &data, tree imp, bitmap b)

Private Attributes
int_range< 2 >	m_bool_zero
int_range< 2 >	m_bool_one
gimple_outgoing_range	outgoing
range_tracer	tracer
int	m_not_executable_flag
vec< bitmap >	m_outgoing
vec< bitmap >	m_incoming
bitmap	m_maybe_variant
vec< rdc >	m_def_chain
int	m_logical_depth

Constructor & Destructor Documentation

gori_compute()

gori_compute::gori_compute

(

int

not_executable_flag = 0

)

References dump_file, range_tracer::enable_trace(), ggc_alloc(), m_bool_one, m_bool_zero, m_not_executable_flag, range_false(), range_true(), RANGER_DEBUG_GORI, and tracer.

Member Function Documentation

add_def_chain_to_bitmap()

void range_def_chain::add_def_chain_to_bitmap ( bitmap b, tree name )

protectedinherited

References b, bitmap_ior_into(), range_def_chain::get_def_chain(), and r.

Referenced by gori_map::maybe_add_gori().

calculate_gori()

void gori_map::calculate_gori ( basic_block bb )

privateinherited

References BITMAP_ALLOC, bitmap_ior_into(), cfun, EDGE_COUNT, gcc_checking_assert, ggc_alloc(), gimple_bb(), gimple_cond_lhs(), gimple_cond_rhs(), gimple_outgoing_range_stmt_p(), gimple_range_ssa_p(), gimple_switch_index(), basic_block_def::index, last_basic_block_for_fn, range_def_chain::m_bitmaps, gori_map::m_incoming, gori_map::m_maybe_variant, gori_map::m_outgoing, gori_map::maybe_add_gori(), NULL, single_succ_p(), and basic_block_def::succs.

Referenced by gori_map::exports(), and gori_map::imports().

chain_import_p()

bool range_def_chain::chain_import_p ( tree name, tree import )

inherited

References b, bitmap_bit_p, range_def_chain::get_imports(), and SSA_NAME_VERSION.

Referenced by compute_logical_operands().

compute_logical_operands()

void gori_compute::compute_logical_operands ( vrange & true_range, vrange & false_range, gimple_range_op_handler & handler, const irange & lhs, tree name, fur_source & src, tree op, bool op_in_chain )

private

References range_def_chain::chain_import_p(), compute_operand_range(), dump_file, fur_source::get_operand(), ggc_alloc(), gimple_expr_code(), gimple_range_ssa_p(), range_tracer::header(), gimple_range_op_handler::lhs(), m_bool_one, m_bool_zero, NULL, NULL_TREE, print_generic_expr(), SSA_NAME_DEF_STMT, gimple_range_op_handler::stmt(), TDF_SLIM, tracer, range_tracer::trailer(), and irange::zero_p().

Referenced by compute_operand_range().

compute_operand1_and_operand2_range()

bool gori_compute::compute_operand1_and_operand2_range ( vrange & r, gimple_range_op_handler & handler, const vrange & lhs, tree name, fur_source & src, value_relation * rel = NULL )

private

References compute_operand1_range(), compute_operand2_range(), compute_operand_range(), gcc_checking_assert, ggc_alloc(), gimple_range_op_handler::operand1(), gimple_range_op_handler::operand2(), r, Value_Range::set_type(), SSA_NAME_DEF_STMT, and TREE_TYPE.

Referenced by compute_operand_range().

compute_operand1_range()

bool gori_compute::compute_operand1_range ( vrange & r, gimple_range_op_handler & handler, const vrange & lhs, fur_source & src, value_relation * rel = NULL )

private

References gimple_range_op_handler::calc_op1(), vrange::dump(), Value_Range::dump(), dump_file, fputc(), fur_source::get_operand(), ggc_alloc(), gimple_get_lhs(), gimple_range_ssa_p(), range_tracer::header(), relation_trio::lhs_op1(), relation_trio::lhs_op2(), relation_trio::op1_op2(), op1_range(), gimple_range_op_handler::operand1(), gimple_range_op_handler::operand2(), range_tracer::print(), print_generic_expr(), print_gimple_stmt(), r, refine_using_relation(), gimple_range_op_handler::stmt(), TDF_SLIM, tracer, range_tracer::trailer(), TREE_CODE, TREE_TYPE, VREL_EQ, and VREL_VARYING.

Referenced by compute_operand1_and_operand2_range(), and compute_operand_range().

compute_operand2_range()

bool gori_compute::compute_operand2_range ( vrange & r, gimple_range_op_handler & handler, const vrange & lhs, fur_source & src, value_relation * rel = NULL )

private

References gimple_range_op_handler::calc_op2(), vrange::dump(), Value_Range::dump(), dump_file, fputc(), fur_source::get_operand(), ggc_alloc(), gimple_get_lhs(), gimple_range_ssa_p(), range_tracer::header(), relation_trio::lhs_op1(), relation_trio::lhs_op2(), relation_trio::op1_op2(), op1_range(), gimple_range_op_handler::operand1(), gimple_range_op_handler::operand2(), range_tracer::print(), print_generic_expr(), print_gimple_stmt(), r, refine_using_relation(), gimple_range_op_handler::stmt(), TDF_SLIM, tracer, range_tracer::trailer(), TREE_CODE, TREE_TYPE, VREL_EQ, and VREL_VARYING.

Referenced by compute_operand1_and_operand2_range(), and compute_operand_range().

compute_operand_range()

bool gori_compute::compute_operand_range	(	vrange &	r,
		gimple *	stmt,
		const vrange &	lhs,
		tree	name,
		class fur_source &	src,
		value_relation *	rel = NULL )

References compute_logical_operands(), compute_operand1_and_operand2_range(), compute_operand1_range(), compute_operand2_range(), compute_operand_range(), compute_operand_range_switch(), vrange::dump(), dump_file, gcc_checking_assert, ggc_alloc(), gimple_expr_code(), gimple_range_ssa_p(), range_tracer::header(), range_def_chain::in_chain_p(), is_gimple_logical_p(), gimple_range_op_handler::lhs(), logical_combine(), range_op_handler::op1_op2_relation(), gimple_range_op_handler::operand1(), gimple_range_op_handler::operand2(), print_generic_expr(), print_gimple_stmt(), r, Value_Range::set_type(), SSA_NAME_DEF_STMT, TDF_SLIM, tracer, range_tracer::trailer(), TREE_TYPE, vrange::undefined_p(), vrange::varying_p(), and VREL_VARYING.

Referenced by assume_query::calculate_op(), compute_logical_operands(), compute_operand1_and_operand2_range(), compute_operand_range(), compute_operand_range_switch(), condexpr_adjust(), and outgoing_edge_range_p().

compute_operand_range_switch()

bool gori_compute::compute_operand_range_switch ( vrange & r, gswitch * s, const vrange & lhs, tree name, fur_source & src )

private

References compute_operand_range(), gimple_range_ssa_p(), gimple_switch_index(), range_def_chain::in_chain_p(), r, SSA_NAME_DEF_STMT, and vrange::undefined_p().

Referenced by compute_operand_range().

condexpr_adjust()

bool gori_compute::condexpr_adjust	(	vrange &	r1,
		vrange &	r2,
		gimple *	s,
		tree	cond,
		tree	op1,
		tree	op2,
		fur_source &	src )

References compute_operand_range(), dump_file, fur_source::get_operand(), ggc_alloc(), gimple_assign_rhs1(), gimple_assign_rhs2(), gimple_assign_rhs_code(), gimple_range_ssa_p(), range_tracer::header(), range_def_chain::in_chain_p(), m_bool_one, m_bool_zero, range_tracer::print(), range_compatible_p(), SSA_NAME_DEF_STMT, tcc_comparison, tracer, range_tracer::trailer(), TREE_CODE, TREE_CODE_CLASS, and TREE_TYPE.

Referenced by fold_using_range::range_of_cond_expr().

def_chain_in_bitmap_p()

bool range_def_chain::def_chain_in_bitmap_p ( tree name, bitmap b )

protectedinherited

References a, b, bitmap_intersect_p(), and range_def_chain::get_def_chain().

depend1()

tree range_def_chain::depend1 ( tree name ) const

inlineinherited

References ggc_alloc(), range_def_chain::m_def_chain, NULL_TREE, ssa_name, and SSA_NAME_VERSION.

Referenced by ranger_cache::get_global_range(), may_recompute_p(), gimple_ranger::register_transitive_inferred_ranges(), and ranger_cache::set_global_range().

depend2()

tree range_def_chain::depend2 ( tree name ) const

inlineinherited

References ggc_alloc(), range_def_chain::m_def_chain, NULL_TREE, ssa_name, and SSA_NAME_VERSION.

Referenced by ranger_cache::get_global_range(), may_recompute_p(), gimple_ranger::register_transitive_inferred_ranges(), and ranger_cache::set_global_range().

dump() [1/3]

void gori_compute::dump

(

FILE *

f

)

References gori_map::dump().

dump() [2/3]

void gori_map::dump ( FILE * f, basic_block bb, bool verbose = true )

inherited

References bitmap_empty_p(), range_def_chain::dump(), FOR_EACH_GORI_EXPORT_NAME, FOR_EACH_GORI_IMPORT_NAME, fputc(), ggc_alloc(), gori_map::imports(), basic_block_def::index, gori_map::m_outgoing, print_generic_expr(), TDF_SLIM, and verbose.

dump() [3/3]

void range_def_chain::dump ( FILE * f, basic_block bb, const char * prefix = NULL )

inherited

References bitmap_bit_p, bitmap_empty_p(), EXECUTE_IF_SET_IN_BITMAP, range_def_chain::get_def_chain(), range_def_chain::get_imports(), ggc_alloc(), gimple_bb(), range_def_chain::has_def_chain(), NULL, num_ssa_names, print_generic_expr(), ssa_name, SSA_NAME_DEF_STMT, TDF_SLIM, and y.

Referenced by gori_map::dump().

exports()

bitmap gori_map::exports ( basic_block bb )

inherited

References gori_map::calculate_gori(), basic_block_def::index, and gori_map::m_outgoing.

Referenced by gori_map::is_export_p(), ranger_cache::ranger_cache(), and remove_unreachable::remove_and_update_globals().

get_def_chain()

bitmap range_def_chain::get_def_chain ( tree name )

protectedinherited

References count, ggc_alloc(), gimple_bb(), gimple_range_ssa_names(), range_def_chain::has_def_chain(), range_def_chain::m_def_chain, range_def_chain::m_logical_depth, NULL, range_def_chain::register_dependency(), range_def_chain::set_import(), SSA_NAME_DEF_STMT, SSA_NAME_IS_DEFAULT_DEF, and SSA_NAME_VERSION.

Referenced by range_def_chain::add_def_chain_to_bitmap(), range_def_chain::def_chain_in_bitmap_p(), range_def_chain::dump(), range_def_chain::get_imports(), range_def_chain::in_chain_p(), and range_def_chain::register_dependency().

get_imports()

bitmap range_def_chain::get_imports ( tree name )

protectedinherited

References range_def_chain::get_def_chain(), range_def_chain::has_def_chain(), i, range_def_chain::m_def_chain, and SSA_NAME_VERSION.

Referenced by range_def_chain::chain_import_p(), range_def_chain::dump(), gori_map::maybe_add_gori(), and range_def_chain::register_dependency().

has_def_chain()

bool range_def_chain::has_def_chain ( tree name )

inlineprotectedinherited

References range_def_chain::m_def_chain, num_ssa_names, and SSA_NAME_VERSION.

Referenced by range_def_chain::dump(), range_def_chain::get_def_chain(), and range_def_chain::get_imports().

has_edge_range_p() [1/2]

bool gori_compute::has_edge_range_p	(	tree	name,
		basic_block	bb = NULL )

References gori_map::is_export_p(), and may_recompute_p().

Referenced by ranger_cache::block_range(), ranger_cache::fill_block_cache(), has_edge_range_p(), ranger_cache::range_from_dom(), and ranger_cache::register_inferred_value().

has_edge_range_p() [2/2]

bool gori_compute::has_edge_range_p	(	tree	name,
		edge	e )

References gcc_checking_assert, and has_edge_range_p().

imports()

bitmap gori_map::imports ( basic_block bb )

inherited

References gori_map::calculate_gori(), basic_block_def::index, gori_map::m_incoming, and gori_map::m_outgoing.

Referenced by hybrid_jt_simplifier::compute_exit_dependencies(), path_range_query::compute_exit_dependencies(), gori_map::dump(), and gori_map::is_import_p().

in_chain_p()

bool range_def_chain::in_chain_p ( tree name, tree def )

inherited

References bitmap_bit_p, gcc_checking_assert, range_def_chain::get_def_chain(), gimple_range_ssa_p(), NULL, and SSA_NAME_VERSION.

Referenced by compute_operand_range(), compute_operand_range_switch(), condexpr_adjust(), and refine_using_relation().

is_export_p()

bool gori_map::is_export_p ( tree name, basic_block bb = NULL )

inherited

References bitmap_bit_p, gori_map::exports(), gori_map::m_maybe_variant, and SSA_NAME_VERSION.

Referenced by has_edge_range_p(), may_recompute_p(), and outgoing_edge_range_p().

is_import_p()

bool gori_map::is_import_p ( tree name, basic_block bb )

inherited

References bitmap_bit_p, gori_map::imports(), and SSA_NAME_VERSION.

logical_combine()

bool gori_compute::logical_combine ( vrange & r, enum tree_code code, const irange & lhs, const vrange & op1_true, const vrange & op1_false, const vrange & op2_true, const vrange & op2_false )

private

References vrange::dump(), dump_file, fputc(), gcc_unreachable, ggc_alloc(), range_tracer::header(), Value_Range::intersect(), logical_combine(), m_bool_one, m_bool_zero, NULL_TREE, range_tracer::print(), r, range_is_either_true_or_false(), tracer, range_tracer::trailer(), and irange::zero_p().

Referenced by compute_operand_range(), and logical_combine().

may_recompute_p() [1/2]

bool gori_compute::may_recompute_p ( tree name, basic_block bb = NULL, int depth = -1 )

private

References range_def_chain::depend1(), range_def_chain::depend2(), gcc_checking_assert, ggc_alloc(), gimple_has_side_effects(), gori_map::is_export_p(), may_recompute_p(), and SSA_NAME_DEF_STMT.

may_recompute_p() [2/2]

bool gori_compute::may_recompute_p ( tree name, edge e, int depth = -1 )

private

References gcc_checking_assert, and may_recompute_p().

Referenced by has_edge_range_p(), may_recompute_p(), may_recompute_p(), and outgoing_edge_range_p().

maybe_add_gori()

void gori_map::maybe_add_gori ( tree name, basic_block bb )

privateinherited

References range_def_chain::add_def_chain_to_bitmap(), bitmap_ior_into(), bitmap_set_bit, range_def_chain::get_imports(), ggc_alloc(), gimple_bb(), basic_block_def::index, gori_map::m_incoming, gori_map::m_outgoing, SSA_NAME_DEF_STMT, and SSA_NAME_VERSION.

Referenced by gori_map::calculate_gori().

outgoing_edge_range_p()

bool gori_compute::outgoing_edge_range_p	(	vrange &	r,
		edge	e,
		tree	name,
		range_query &	q )

References compute_operand_range(), dump_file, dump_flags, gimple_outgoing_range::edge_range_p(), fold_range(), gcc_checking_assert, ggc_alloc(), gimple_range_ssa_p(), range_tracer::header(), gori_map::is_export_p(), m_not_executable_flag, may_recompute_p(), outgoing, print_generic_expr(), print_gimple_stmt(), r, range_cast(), range_compatible_p(), SSA_NAME_DEF_STMT, TDF_DETAILS, TDF_SLIM, tracer, range_tracer::trailer(), and TREE_TYPE.

Referenced by ranger_cache::edge_range(), evaluate_control_stmt_using_entry_checks(), and ranger_cache::range_from_dom().

refine_using_relation()

bool gori_compute::refine_using_relation ( tree op1, vrange & op1_range, tree op2, vrange & op2_range, fur_source & src, relation_kind k )

private

References gcc_checking_assert, fur_source::get_operand(), ggc_alloc(), range_def_chain::in_chain_p(), vrange::intersect(), relation_trio::lhs_op1(), relation_trio::lhs_op2(), relation_swap(), SSA_NAME_DEF_STMT, TREE_CODE, TREE_TYPE, VREL_EQ, VREL_UNDEFINED, and VREL_VARYING.

Referenced by compute_operand1_range(), and compute_operand2_range().

register_dependency()

void range_def_chain::register_dependency ( tree name, tree ssa1, basic_block bb = NULL )

inherited

References b, BITMAP_ALLOC, bitmap_ior_into(), bitmap_set_bit, range_def_chain::rdc::bm, range_def_chain::get_def_chain(), range_def_chain::get_imports(), ggc_alloc(), gimple_bb(), gimple_range_ssa_p(), range_def_chain::m_bitmaps, range_def_chain::m_def_chain, NULL, NULL_TREE, num_ssa_names, range_def_chain::set_import(), range_def_chain::rdc::ssa1, range_def_chain::rdc::ssa2, SSA_NAME_DEF_STMT, and SSA_NAME_VERSION.

Referenced by range_def_chain::get_def_chain(), fold_using_range::range_of_address(), fold_using_range::range_of_phi(), and fold_using_range::range_of_range_op().

set_import()

void range_def_chain::set_import ( struct rdc & data, tree imp, bitmap b )

privateinherited

References b, BITMAP_ALLOC, bitmap_ior_into(), bitmap_set_bit, ggc_alloc(), range_def_chain::m_bitmaps, NULL_TREE, and SSA_NAME_VERSION.

Referenced by range_def_chain::get_def_chain(), and range_def_chain::register_dependency().

set_range_invariant()

void gori_map::set_range_invariant ( tree name, bool invariant = true )

inherited

References bitmap_clear_bit(), bitmap_set_bit, gori_map::m_maybe_variant, and SSA_NAME_VERSION.

Referenced by ranger_cache::register_inferred_value(), and ranger_cache::set_global_range().

Field Documentation

m_bitmaps

bitmap_obstack range_def_chain::m_bitmaps

protectedinherited

Referenced by gori_map::calculate_gori(), gori_map::gori_map(), range_def_chain::range_def_chain(), range_def_chain::register_dependency(), range_def_chain::set_import(), and range_def_chain::~range_def_chain().

m_bool_one

int_range<2> gori_compute::m_bool_one

private

Referenced by compute_logical_operands(), condexpr_adjust(), gori_compute(), and logical_combine().

m_bool_zero

int_range<2> gori_compute::m_bool_zero

private

Referenced by compute_logical_operands(), condexpr_adjust(), gori_compute(), and logical_combine().

m_def_chain

vec<rdc> range_def_chain::m_def_chain

privateinherited

Referenced by range_def_chain::depend1(), range_def_chain::depend2(), range_def_chain::get_def_chain(), range_def_chain::get_imports(), range_def_chain::has_def_chain(), range_def_chain::range_def_chain(), range_def_chain::register_dependency(), and range_def_chain::~range_def_chain().

m_incoming

vec<bitmap> gori_map::m_incoming

privateinherited

Referenced by gori_map::calculate_gori(), gori_map::gori_map(), gori_map::imports(), gori_map::maybe_add_gori(), and gori_map::~gori_map().

m_logical_depth

int range_def_chain::m_logical_depth

privateinherited

Referenced by range_def_chain::get_def_chain(), and range_def_chain::range_def_chain().

m_maybe_variant

bitmap gori_map::m_maybe_variant

privateinherited

Referenced by gori_map::calculate_gori(), gori_map::gori_map(), gori_map::is_export_p(), and gori_map::set_range_invariant().

m_not_executable_flag

int gori_compute::m_not_executable_flag

private

Referenced by gori_compute(), and outgoing_edge_range_p().

m_outgoing

vec<bitmap> gori_map::m_outgoing

privateinherited

Referenced by gori_map::calculate_gori(), gori_map::dump(), gori_map::exports(), gori_map::gori_map(), gori_map::imports(), gori_map::maybe_add_gori(), and gori_map::~gori_map().

outgoing

gimple_outgoing_range gori_compute::outgoing

private

Referenced by outgoing_edge_range_p().

tracer

range_tracer gori_compute::tracer

private

Referenced by compute_logical_operands(), compute_operand1_range(), compute_operand2_range(), compute_operand_range(), condexpr_adjust(), gori_compute(), logical_combine(), and outgoing_edge_range_p().

---

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

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