◆ reachability
Enumerator |
---|
ALL_BLOCKS | |
REACHABLE_BLOCKS | |
REACHABLE_BLOCKS_PRESERVING_FLAGS | |
◆ uncprop_dom_walker()
uncprop_dom_walker::uncprop_dom_walker |
( |
cdi_direction | direction | ) |
|
|
inline |
◆ after_dom_children()
We have finished processing the dominator children of BB, perform
any finalization actions in preparation for leaving this node in
the dominator tree.
Reimplemented from dom_walker.
References m_equiv_stack, NULL, and remove_equivalence().
◆ bb_reachable()
◆ before_dom_children()
◆ propagate_unreachable_to_edges()
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, ggc_alloc(), basic_block_def::index, dom_walker::m_unreachable_dom, basic_block_def::preds, basic_block_def::succs, and TDF_DETAILS.
Referenced by dom_walker::walk().
◆ walk()
Recursively walk the dominator tree.
BB is the basic block we are currently visiting.
References dom_walker::after_dom_children(), dom_walker::bb_reachable(), dom_walker::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(), ggc_alloc(), i, last_basic_block_for_fn, dom_walker::m_bb_to_rpo, dom_walker::m_dom_direction, dom_walker::m_reachability, dom_walker::m_unreachable_dom, dom_walker::m_user_bb_to_rpo, n_basic_blocks_for_fn, next_dom_son(), NULL, pre_and_rev_post_order_compute(), basic_block_def::preds, dom_walker::propagate_unreachable_to_edges(), dom_walker::REACHABLE_BLOCKS, set_all_edges_as_executable(), sort_bbs_postorder(), dom_walker::STOP, basic_block_def::succs, and worklist.
Referenced by find_comparisons(), get_non_trapping(), ipa_analyze_node(), and rewrite_blocks().
◆ m_bb_to_rpo
int* dom_walker::m_bb_to_rpo |
|
privateinherited |
◆ m_dom_direction
◆ m_equiv_stack
◆ m_reachability
◆ m_unreachable_dom
◆ m_user_bb_to_rpo
bool dom_walker::m_user_bb_to_rpo |
|
privateinherited |
◆ STOP
The documentation for this class was generated from the following file: