GCC Middle and Back End API Reference
Public Types | Public Member Functions | Static Public Attributes | Private Member Functions | Private Attributes
ipcp_modif_dom_walker Class Reference
Inheritance diagram for ipcp_modif_dom_walker:
Inheritance graph
[legend]
Collaboration diagram for ipcp_modif_dom_walker:
Collaboration graph
[legend]

Public Types

enum  reachability { ALL_BLOCKS , REACHABLE_BLOCKS , REACHABLE_BLOCKS_PRESERVING_FLAGS }
 

Public Member Functions

 ipcp_modif_dom_walker (struct ipa_func_body_info *fbi, vec< ipa_param_descriptor, va_gc > *descs, ipcp_transformation *ts, bool *sc)
 
edge before_dom_children (basic_block) final override
 
bool cleanup_eh ()
 
void walk (basic_block)
 
virtual void after_dom_children (basic_block)
 

Static Public Attributes

static const edge STOP = (edge)-1
 

Private Member Functions

bool bb_reachable (struct function *, basic_block)
 
void propagate_unreachable_to_edges (basic_block, FILE *, dump_flags_t)
 

Private Attributes

struct ipa_func_body_info * m_fbi
 
vec< ipa_param_descriptor, va_gc > * m_descriptors
 
ipcp_transformation * m_ts
 
bool * m_something_changed
 
auto_bitmap m_need_eh_cleanup
 
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
 

Detailed Description

Dominator walker driving the ipcp modification phase.

Member Enumeration Documentation

◆ reachability

enum dom_walker::reachability
inherited
Enumerator
ALL_BLOCKS 
REACHABLE_BLOCKS 
REACHABLE_BLOCKS_PRESERVING_FLAGS 

Constructor & Destructor Documentation

◆ ipcp_modif_dom_walker()

ipcp_modif_dom_walker::ipcp_modif_dom_walker ( struct ipa_func_body_info * fbi,
vec< ipa_param_descriptor, va_gc > * descs,
ipcp_transformation * ts,
bool * sc )
inline

Member Function Documentation

◆ after_dom_children()

virtual void dom_walker::after_dom_children ( basic_block )
inlinevirtualinherited

Reimplemented in substitute_and_fold_dom_walker, rewrite_dom_walker, rewrite_update_dom_walker, dom_opt_dom_walker, nontrapping_dom_walker, eliminate_dom_walker, strlen_pass, and uncprop_dom_walker.

Referenced by dom_walker::walk().

◆ bb_reachable()

bool dom_walker::bb_reachable ( struct function * fun,
basic_block bb )
privateinherited 
Return TRUE if BB is reachable, false otherwise.

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

Referenced by dom_walker::walk().

◆ before_dom_children()

edge ipcp_modif_dom_walker::before_dom_children ( basic_block bb)
finaloverridevirtual

Reimplemented from dom_walker.

References bitmap_set_bit, dump_file, dump_flags, fold_build1, fold_convertible_p(), gcc_checking_assert, ggc_alloc(), gimple_assign_load_p(), gimple_assign_rhs1(), gimple_assign_set_rhs_from_tree(), gsi_end_p(), gsi_next(), gsi_start_bb(), gsi_stmt(), handled_component_p(), basic_block_def::index, ipa_load_from_parm_agg(), is_gimple_ip_invariant(), is_gimple_reg_type(), m_descriptors, m_fbi, m_need_eh_cleanup, m_something_changed, m_ts, maybe_clean_eh_stmt(), NULL, print_generic_expr(), print_gimple_stmt(), TDF_DETAILS, TREE_CODE, TREE_OPERAND, tree_to_poly_int64(), TREE_TYPE, TYPE_SIZE, update_stmt(), and useless_type_conversion_p().

◆ cleanup_eh()

bool ipcp_modif_dom_walker::cleanup_eh ( )
inline

References gimple_purge_all_dead_eh_edges(), and m_need_eh_cleanup.

◆ 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, 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()

void dom_walker::walk ( basic_block bb)
inherited 
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().

Field Documentation

◆ m_bb_to_rpo

int* dom_walker::m_bb_to_rpo
privateinherited

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

◆ m_descriptors

vec<ipa_param_descriptor, va_gc>* ipcp_modif_dom_walker::m_descriptors
private

Referenced by before_dom_children().

◆ m_dom_direction

enum cdi_direction dom_walker::m_dom_direction
privateinherited

Referenced by dom_walker::walk().

◆ m_fbi

struct ipa_func_body_info* ipcp_modif_dom_walker::m_fbi
private

Referenced by before_dom_children().

◆ m_need_eh_cleanup

auto_bitmap ipcp_modif_dom_walker::m_need_eh_cleanup
private

Referenced by before_dom_children(), and cleanup_eh().

◆ m_reachability

enum reachability dom_walker::m_reachability
privateinherited

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

◆ m_something_changed

bool* ipcp_modif_dom_walker::m_something_changed
private

Referenced by before_dom_children().

◆ m_ts

ipcp_transformation* ipcp_modif_dom_walker::m_ts
private

Referenced by before_dom_children().

◆ m_unreachable_dom

basic_block dom_walker::m_unreachable_dom
privateinherited

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

◆ m_user_bb_to_rpo

bool dom_walker::m_user_bb_to_rpo
privateinherited

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

◆ STOP

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

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

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