substitute_and_fold_dom_walker Class Reference

Inheritance diagram for substitute_and_fold_dom_walker:

Collaboration diagram for substitute_and_fold_dom_walker:

Public Types
enum	reachability { ALL_BLOCKS , REACHABLE_BLOCKS , REACHABLE_BLOCKS_PRESERVING_FLAGS }

Public Member Functions
	substitute_and_fold_dom_walker (cdi_direction direction, class substitute_and_fold_engine *engine)
	~substitute_and_fold_dom_walker ()
edge	before_dom_children (basic_block) final override
void	after_dom_children (basic_block bb) final override
void	walk (basic_block)

Data Fields
bool	something_changed
bitmap	dceworklist
vec< gimple * >	stmts_to_fixup
bitmap	need_eh_cleanup
bitmap	need_ab_cleanup
class substitute_and_fold_engine *	substitute_and_fold_engine

Static Public Attributes
static const edge	STOP = (edge)-1

Private Member Functions
void	foreach_new_stmt_in_bb (gimple_stmt_iterator old_gsi, gimple_stmt_iterator new_gsi)
bool	bb_reachable (struct function *, basic_block)
void	propagate_unreachable_to_edges (basic_block, FILE *, dump_flags_t)

Private Attributes
enum cdi_direction	m_dom_direction: 2
enum reachability	m_reachability: 2
bool	m_user_bb_to_rpo
basic_block	m_unreachable_dom
int *	m_bb_to_rpo

Member Enumeration Documentation

reachability

enum dom_walker::reachability

inherited

Enumerator
ALL_BLOCKS
REACHABLE_BLOCKS
REACHABLE_BLOCKS_PRESERVING_FLAGS

Constructor & Destructor Documentation

substitute_and_fold_dom_walker()

substitute_and_fold_dom_walker::substitute_and_fold_dom_walker ( cdi_direction direction, class substitute_and_fold_engine * engine )

inline

References BITMAP_ALLOC, dceworklist, dom_walker::dom_walker(), false, need_ab_cleanup, need_eh_cleanup, NULL, something_changed, stmts_to_fixup, and substitute_and_fold_engine.

~substitute_and_fold_dom_walker()

substitute_and_fold_dom_walker::~substitute_and_fold_dom_walker ( )

inline

References BITMAP_FREE, dceworklist, need_ab_cleanup, need_eh_cleanup, and stmts_to_fixup.

Member Function Documentation

after_dom_children()

void substitute_and_fold_dom_walker::after_dom_children ( basic_block bb )

inlinefinaloverridevirtual

Reimplemented from dom_walker.

References substitute_and_fold_engine.

bb_reachable()

bool dom_walker::bb_reachable ( struct function * fun, basic_block bb )

privateinherited

Return TRUE if BB is reachable, false otherwise.   

References ALL_BLOCKS, CDI_DOMINATORS, dominated_by_p(), ENTRY_BLOCK_PTR_FOR_FN, FOR_EACH_EDGE, m_reachability, m_unreachable_dom, and basic_block_def::preds.

Referenced by walk().

before_dom_children()

edge substitute_and_fold_dom_walker::before_dom_children ( basic_block bb )

finaloverridevirtual

Reimplemented from dom_walker.

References as_a(), bitmap_set_bit, cfun, dceworklist, dump_file, dump_flags, EDGE_SUCC, fold_stmt(), follow_single_use_edges(), foreach_new_stmt_in_bb(), gimple_assign_rhs1(), gimple_assign_single_p(), gimple_call_noreturn_p(), gimple_cond_make_false(), gimple_cond_make_true(), gimple_get_lhs(), gimple_has_side_effects(), gimple_phi_result(), gimple_set_modified(), gsi_end_p(), gsi_next(), gsi_prev(), gsi_start_bb(), gsi_start_phis(), gsi_stmt(), i, basic_block_def::index, is_gimple_call(), is_gimple_debug(), may_propagate_copy(), maybe_clean_or_replace_eh_stmt(), maybe_duplicate_ssa_info_at_copy(), need_ab_cleanup, need_eh_cleanup, NULL, print_generic_expr(), print_gimple_stmt(), prop_stats, recompute_tree_invariant_for_addr_expr(), something_changed, SSA_NAME_VERSION, stmt_can_make_abnormal_goto(), stmt_could_throw_p(), stmts_to_fixup, substitute_and_fold_engine, TDF_DETAILS, TDF_SLIM, TREE_CODE, update_stmt_if_modified(), and virtual_operand_p().

foreach_new_stmt_in_bb()

void substitute_and_fold_dom_walker::foreach_new_stmt_in_bb ( gimple_stmt_iterator old_gsi, gimple_stmt_iterator new_gsi )

private

Call post_new_stmt for each new statement that has been added
to the current BB.  OLD_GSI is the statement iterator before the BB
changes ocurred.  NEW_GSI is the iterator which may contain new
statements.   

References gsi_bb(), gsi_end_p(), gsi_next(), gsi_start_bb(), gsi_stmt(), and substitute_and_fold_engine.

Referenced by before_dom_children().

propagate_unreachable_to_edges()

void dom_walker::propagate_unreachable_to_edges ( basic_block bb, FILE * dump_file, dump_flags_t dump_flags )

privateinherited

BB has been determined to be unreachable.  Propagate that property
to incoming and outgoing edges of BB as appropriate.   

References CDI_DOMINATORS, dominated_by_p(), dump_file, dump_flags, FOR_EACH_EDGE, basic_block_def::index, m_unreachable_dom, basic_block_def::preds, basic_block_def::succs, and TDF_DETAILS.

Referenced by walk().

walk()

void dom_walker::walk ( basic_block bb )

inherited

Recursively walk the dominator tree.
BB is the basic block we are currently visiting.   

References after_dom_children(), bb_reachable(), before_dom_children(), CDI_DOMINATORS, cfun, dump_file, dump_flags, EDGE_COUNT, ENTRY_BLOCK_PTR_FOR_FN, EXIT_BLOCK_PTR_FOR_FN, first_dom_son(), FOR_EACH_EDGE, free(), i, last_basic_block_for_fn, m_bb_to_rpo, m_dom_direction, m_reachability, m_unreachable_dom, m_user_bb_to_rpo, n_basic_blocks_for_fn, next_dom_son(), NULL, pre_and_rev_post_order_compute(), basic_block_def::preds, propagate_unreachable_to_edges(), REACHABLE_BLOCKS, set_all_edges_as_executable(), sort_bbs_postorder(), STOP, basic_block_def::succs, and worklist.

Referenced by array_bounds_checker::check(), eliminate_with_rpo_vn(), find_comparisons(), get_non_trapping(), ipa_analyze_node(), ipcp_transform_function(), rewrite_blocks(), and substitute_and_fold_engine::substitute_and_fold().

Field Documentation

dceworklist

bitmap substitute_and_fold_dom_walker::dceworklist

Referenced by before_dom_children(), substitute_and_fold_engine::substitute_and_fold(), substitute_and_fold_dom_walker(), and ~substitute_and_fold_dom_walker().

m_bb_to_rpo

int* dom_walker::m_bb_to_rpo

privateinherited

Referenced by dom_walker(), walk(), and ~dom_walker().

m_dom_direction

enum cdi_direction dom_walker::m_dom_direction

privateinherited

Referenced by dom_walker(), and walk().

m_reachability

enum reachability dom_walker::m_reachability

privateinherited

Referenced by bb_reachable(), dom_walker(), and walk().

m_unreachable_dom

basic_block dom_walker::m_unreachable_dom

privateinherited

Referenced by bb_reachable(), dom_walker(), propagate_unreachable_to_edges(), and walk().

m_user_bb_to_rpo

bool dom_walker::m_user_bb_to_rpo

privateinherited

Referenced by dom_walker(), walk(), and ~dom_walker().

need_ab_cleanup

bitmap substitute_and_fold_dom_walker::need_ab_cleanup

Referenced by before_dom_children(), substitute_and_fold_engine::substitute_and_fold(), substitute_and_fold_dom_walker(), and ~substitute_and_fold_dom_walker().

need_eh_cleanup

bitmap substitute_and_fold_dom_walker::need_eh_cleanup

Referenced by before_dom_children(), substitute_and_fold_engine::substitute_and_fold(), substitute_and_fold_dom_walker(), and ~substitute_and_fold_dom_walker().

something_changed

bool substitute_and_fold_dom_walker::something_changed

Referenced by before_dom_children(), substitute_and_fold_engine::substitute_and_fold(), and substitute_and_fold_dom_walker().

stmts_to_fixup

vec<gimple *> substitute_and_fold_dom_walker::stmts_to_fixup

Referenced by before_dom_children(), substitute_and_fold_engine::substitute_and_fold(), substitute_and_fold_dom_walker(), and ~substitute_and_fold_dom_walker().

STOP

const edge dom_walker::STOP = (edge)-1

staticinherited

Referenced by rewrite_update_dom_walker::before_dom_children(), and walk().

substitute_and_fold_engine

class substitute_and_fold_engine* substitute_and_fold_dom_walker::substitute_and_fold_engine

Referenced by after_dom_children(), before_dom_children(), foreach_new_stmt_in_bb(), and substitute_and_fold_dom_walker().

---

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

• tree-ssa-propagate.cc