rewrite_update_dom_walker Class Reference

Inheritance diagram for rewrite_update_dom_walker:

Collaboration diagram for rewrite_update_dom_walker:

Public Member Functions
	rewrite_update_dom_walker (cdi_direction direction)
virtual void	before_dom_children (basic_block)
virtual void	after_dom_children (basic_block)
void	walk (basic_block)

---

Constructor & Destructor Documentation

rewrite_update_dom_walker::rewrite_update_dom_walker ( cdi_direction  direction )

inline

---

Member Function Documentation

void rewrite_update_dom_walker::after_dom_children ( basic_block  bb )

virtual

Called after visiting block BB. Unwind BLOCK_DEFS_STACK to restore the current reaching definition of every name re-written in BB to the original reaching definition before visiting BB. This unwinding must be done in the opposite order to what is done in register_new_update_set.

NULL indicates the unwind stop point for this block (see rewrite_update_enter_block).

Reimplemented from dom_walker.

References DECL_IGNORED_P, DECL_NAME, SET_SSA_NAME_VAR_OR_IDENTIFIER, ssa_name, SSA_NAME_IS_DEFAULT_DEF, SSA_NAME_VAR, TREE_CODE, and VAR_DECL_IS_VIRTUAL_OPERAND.

void rewrite_update_dom_walker::before_dom_children ( basic_block  bb )

virtual

Initialization of block data structures for the incremental SSA update pass. Create a block local stack of reaching definitions for new SSA names produced in this block (BLOCK_DEFS). Register new definitions for every PHI node in the block.

 Mark the unwind point for this block.   

 Mark the LHS if any of the arguments flows through an abnormal
 edge.   

 If any of the PHI nodes is a replacement for a name in
 OLD_SSA_NAMES or it's one of the names in NEW_SSA_NAMES, then
 register it as a new definition for its corresponding name.  Also
 register definitions for names whose underlying symbols are
 marked for renaming.   

         If LHS is a new name, register a new definition for all
         the names replaced by LHS.   

         If LHS is an OLD name, register it as a new definition
         for itself.   

 Step 2.  Rewrite every variable used in each statement in the block.   

 Step 3.  Update PHI nodes.   

Reimplemented from dom_walker.

void dom_walker::walk ( basic_block  bb )

inherited

Walk the dominator tree.

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

     Don't worry about unreachable blocks.   

         Callback for subclasses to do custom things before we have walked
         the dominator children, but before we walk statements.   

         Mark the current BB to be popped out of the recursion stack
         once children are processed.   

     NULL is used to mark pop operations in the recursion stack.   

         Callback allowing subclasses to do custom things after we have
         walked dominator children, but before we walk statements.   

References bb_postorder, inverted_post_order_compute(), last_basic_block, n_basic_blocks, and postorder_num.

---

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

• tree-into-ssa.c