C-Breeze C Compiler Infrastructure [ Project home page]

stmtLocation Class Reference #include <location.h> Inheritance diagram for stmtLocation: List of all members. Public Types enum   LocationKind { Statement, BasicBlock, Procedure }   Kind of location. More... Public Member Functions   stmtLocation (basicblockLocation *parent) void  setup_cs_call (procNode *proc)   Make a context-sensitive procedure call. procLocation *  remove_call ()   Remove procedure. basicblockLocation *  block_location () const   Get the containing basic block. unsigned int  stmt_num () const   Return the number of this statement. stmtNode *  stmt () const   Get the stmtNode itself. procLocation *  calls () const   Get the called procedure. callNode *  callnode ()   Get the callNode. bool  is_present (const procNode *proc) const   Get the callNode. virtual void  adjust_depth ()   Adjust tree depths. virtual void  print (ostream &o) const virtual void  print_path (ostream &o) const void  print_callsite (ostream &o) const virtual  ~stmtLocation () void  visit ()   Visit. void  finish ()   Finish. Location *  parent () const LocationKind  kind () const unsigned int  subtree_id () const Location *  dominator () const void  set_dominator (Location *d) void  clear_dominator () int  num_children () const void  increment_children () void  decrement_children () unsigned int  tree_min () const void  set_tree_min (unsigned int m) unsigned int  tree_max () const void  set_tree_max (unsigned int m) Static Public Member Functions bool  dominates (const Location *dom, const Location *cur)   Interprocedure dominance test. bool  strictly_dominates (const Location *dom, const Location *cur)   Interprocedure strict dominance test. procLocation *  procedure (Location *where)   Find the enclosing procedure. bool  is_prefix (const Location *prefix, const Location *longer)   See if one location is a prefix of the other. void  stats () Static Public Attributes unsigned int  stmt_count = 0 unsigned int  block_count = 0 unsigned int  proc_count = 0 unsigned int  dom_calls = 0 Static Protected Member Functions unsigned int  next_tree_number ()   Get the next tree number. Protected Attributes Location *  _parent   Parent. unsigned int  _kind:2   The kind of location. unsigned int  _subtree_id:16   Subtree ID. unsigned int  _num_children:8   Number of dominator children. Location *  _dominator   Immediate dominator. unsigned int  _tree_min unsigned int  _tree_max Static Protected Attributes unsigned int  current_subtree_id = 0   Global subtree ID counter. unsigned int  current_tree_number = 0   The current tree number to assign. Private Member Functions void  stmt_num (unsigned int num) void  stmt (stmtNode *s) Private Attributes unsigned int  _stmt_num stmtNode *  _stmt procLocation *  _calls map< procNode *, procLocation * >  _all_calls Friends class  basicblockLocation class  procLocation ostream &  operator<< (ostream &o, const Location &loc) Member Enumeration Documentation enum Location::LocationKind [inherited]   Kind of location. Enumeration values: Statement  BasicBlock  Procedure  Definition at line 93 of file location.h. Constructor & Destructor Documentation stmtLocation::stmtLocation (  basicblockLocation *    parent )    Definition at line 511 of file location.cc. References Location::stmt_count. stmtLocation::~stmtLocation (    )  [virtual]   Definition at line 673 of file location.cc. References _calls, and Location::stmt_count. Member Function Documentation void stmtLocation::adjust_depth (    )  [virtual]   Adjust tree depths. Implements Location. Definition at line 628 of file location.cc. References _calls, Location::_parent, Location::_subtree_id, procLocation::adjust_depth(), and Location::subtree_id(). basicblockLocation* stmtLocation::block_location (    )  const [inline]   Get the containing basic block. Definition at line 375 of file location.h. References Location::_parent. Referenced by mergePoints::find_merge_points(), is_present(), procLocation::parent_proc(), print_callsite(), print_path(), Location::procedure(), and Pointers::record_external_inputs_and_outputs(). callNode* stmtLocation::callnode (    )    Get the callNode. If this statement is a procedure call, return the callNode. procLocation* stmtLocation::calls (    )  const [inline]   Get the called procedure. If this statement is a procedure call, return the procLocation of the called procedure. Definition at line 394 of file location.h. Referenced by procedureInfo::procedure_location(), and procedureInfo::setup_call_at(). void Location::clear_dominator (    )  [inherited]   Definition at line 87 of file location.cc. References Location::_dominator, and Location::decrement_children(). Referenced by remove_call(), and setup_cs_call(). void Location::decrement_children (    )  [inline, inherited]   Definition at line 251 of file location.h. References Location::_num_children. Referenced by Location::clear_dominator(), and Location::finish(). bool Location::dominates (  const Location *    dom, const Location *    cur )  [static, inherited]   Interprocedure dominance test. Definition at line 441 of file location.cc. References Location::strictly_dominates(). Location* Location::dominator (    )  const [inline, inherited]   Definition at line 245 of file location.h. Referenced by Location::finish(), remove_call(), and setup_cs_call(). void Location::finish (    )  [inherited]   Finish. Assign the post-order "tree max" (up the tree) number for a location. We call this method only when we find a location that doesn't dominate anything, and is therefore a leaf in the dominator tree. We move up the tree assigning tree max values until we find a sibling that has not been numbered yet. This siutation is indicated by a parent with num_children != 0. Definition at line 474 of file location.cc. References Location::decrement_children(), Location::dominator(), Location::next_tree_number(), Location::num_children(), Location::set_tree_max(), Location::tree_max(), and Location::tree_min(). Referenced by Pointers::analyze_procedure(). void Location::increment_children (    )  [inline, inherited]   Definition at line 250 of file location.h. References Location::_num_children. Referenced by Location::set_dominator(). bool Location::is_prefix (  const Location *    prefix, const Location *    longer )  [static, inherited]   See if one location is a prefix of the other. Definition at line 413 of file location.cc. References Location::parent(). Referenced by Pointers::record_external_inputs_and_outputs(). bool stmtLocation::is_present (  const procNode *    proc )  const   Get the callNode. If this statement is a procedure call, return the callNode. Definition at line 616 of file location.cc. References block_location(), procLocation::proc(), basicblockLocation::proc_location(), and procLocation::stmt_location(). LocationKind Location::kind (    )  const [inline, inherited]   Definition at line 234 of file location.h. References Location::_kind. Referenced by Pointers::assignment_operator(), memoryModel::create_memory_object(), memoryBlock::def_at(), orderedUses::find_uses_at(), livenessAnalyzer::isLive(), Location::Location(), Location::procedure(), Pointers::self_assignment(), and Pointers::star_operator(). unsigned int Location::next_tree_number (    )  [inline, static, protected, inherited]   Get the next tree number. Increment the global counter and return it. Definition at line 216 of file location.h. Referenced by Location::finish(), procLocation::procLocation(), and Location::visit(). int Location::num_children (    )  const [inline, inherited]   Definition at line 249 of file location.h. References Location::_num_children. Referenced by Location::finish(). Location* Location::parent (    )  const [inline, inherited]   Fields Reimplemented in Path. Definition at line 233 of file location.h. Referenced by Location::is_prefix(). void stmtLocation::print (  ostream &    o )  const [virtual]   Implements Location. Definition at line 650 of file location.cc. void stmtLocation::print_callsite (  ostream &    o )  const   Definition at line 661 of file location.cc. References _stmt_num, basicblockLocation::block(), block_location(), procNode::decl(), basicblockNode::dfn(), declNode::name(), procLocation::proc(), and basicblockLocation::proc_location(). Referenced by procedureDB::print_call_stack(). void stmtLocation::print_path (  ostream &    o )  const [virtual]   Implements Location. Definition at line 655 of file location.cc. References _stmt, _stmt_num, block_location(), Node::coord(), and basicblockLocation::print_path(). Referenced by procLocation::print_path(). procLocation * Location::procedure (  Location *    where )  [static, inherited]   Find the enclosing procedure. Definition at line 395 of file location.cc. References Location::BasicBlock, block_location(), Location::kind(), basicblockLocation::proc_location(), Location::Procedure, and Location::Statement. Referenced by Pointers::compute_accuracy(), memoryModel::create_memory_object(), Pointers::determine_call_targets(), Pointers::eval(), memoryModel::lookup(), and memoryBlock::name(). procLocation * stmtLocation::remove_call (    )    Remove procedure. Remove a procedure from it's callsite, adjusting the depths to reflect this. Definition at line 559 of file location.cc. References _calls, Location::clear_dominator(), Location::dominator(), procLocation::remove_from_tree(), Location::set_dominator(), and Location::visit(). Referenced by procedureInfo::setup_call_at(). void Location::set_dominator (  Location *    d )  [inherited]   Definition at line 76 of file location.cc. References Location::_dominator, and Location::increment_children(). Referenced by basicblockLocation::basicblockLocation(), procLocation::procLocation(), remove_call(), and setup_cs_call(). void Location::set_tree_max (  unsigned int    m )  [inline, inherited]   Definition at line 257 of file location.h. Referenced by Location::finish(). void Location::set_tree_min (  unsigned int    m )  [inline, inherited]   Definition at line 254 of file location.h. Referenced by procLocation::procLocation(), setup_cs_call(), and Location::visit(). void stmtLocation::setup_cs_call (  procNode *    proc )    Make a context-sensitive procedure call. If the callsite doesn't already have a procLocation under it, then create one. OBSOLETE: If the procedure is context insensitive, then just create a dummy procLocation. Definition at line 522 of file location.cc. References _all_calls, _calls, Location::clear_dominator(), Location::dominator(), procLocation::last(), procLocation::proc(), procLocation, Location::set_dominator(), Location::set_tree_min(), and Location::visit(). Referenced by procedureInfo::setup_call_at(). void Location::stats (    )  [static, inherited]   Definition at line 424 of file location.cc. References Location::block_count, Location::proc_count, and Location::stmt_count. Referenced by pointers_phase::run(). stmtNode* stmtLocation::stmt (    )  const [inline]   Get the stmtNode itself. Definition at line 387 of file location.h. void stmtLocation::stmt (  stmtNode *    s )  [inline, private]   Definition at line 352 of file location.h. Referenced by memoryBlock::add_to_flow_sensitive_list(), Pointers::at_allocation(), basicblockLocation::basicblockLocation(), Pointers::compute_accuracy(), memoryBlock::def_at(), Pointers::determine_call_targets(), memoryBlock::is_in_flow_sensitive_list(), Pointers::pass_return_value(), Pointers::procedure_call(), precisionAnalyzer::record(), Pointers::record_external_inputs_and_outputs(), precisionAnalyzer::report(), and livenessAnalyzer::setLive(). unsigned int stmtLocation::stmt_num (    )  const [inline]   Return the number of this statement. Statements in a basic block are numbered in order, starting with zero. Definition at line 383 of file location.h. void stmtLocation::stmt_num (  unsigned int    num )  [inline, private]   Definition at line 351 of file location.h. Referenced by basicblockLocation::basicblockLocation(). bool Location::strictly_dominates (  const Location *    dom, const Location *    cur )  [static, inherited]   Interprocedure strict dominance test. Definition at line 101 of file location.cc. References Location::dom_calls, Location::subtree_id(), Location::tree_max(), and Location::tree_min(). Referenced by Location::dominates(), PathDB::intern(), memoryBlock::setup_merge_uses_at(), and PathDB::strictly_dominates(). unsigned int Location::subtree_id (    )  const [inline, inherited]   Definition at line 243 of file location.h. References Location::_subtree_id. Referenced by procLocation::adjust_depth(), basicblockLocation::adjust_depth(), adjust_depth(), orderedDefs::find_dominating_def(), orderedDefs::find_strictly_dominating_def(), Location::Location(), orderedDefs::make_def_at(), and Location::strictly_dominates(). unsigned int Location::tree_max (    )  const [inline, inherited]   Definition at line 256 of file location.h. Referenced by orderedDefs::find_dominating_def(), orderedDefs::find_strictly_dominating_def(), Location::finish(), orderedDefs::make_def_at(), and Location::strictly_dominates(). unsigned int Location::tree_min (    )  const [inline, inherited]   Definition at line 253 of file location.h. Referenced by orderedDefs::find_dominating_def(), orderedDefs::find_strictly_dominating_def(), Location::finish(), orderedDefs::make_def_at(), Location::strictly_dominates(), and Location::visit(). void Location::visit (    )  [inherited]   Visit. Assign the pre-order "tree min" (down the tree) number for a location. We call this method as we encounter each location during analysis. Definition at line 457 of file location.cc. References Location::next_tree_number(), Location::set_tree_min(), and Location::tree_min(). Referenced by Pointers::analyze_procedure(), Pointers::analyze_procedure_at(), remove_call(), and setup_cs_call(). Friends And Related Function Documentation friend class basicblockLocation [friend]   Definition at line 341 of file location.h. ostream& operator<< (  ostream &    o, const Location &    loc )  [friend, inherited]   Definition at line 321 of file location.h. friend class procLocation [friend]   Definition at line 342 of file location.h. Referenced by setup_cs_call(). Member Data Documentation map<procNode*,procLocation*> stmtLocation::_all_calls [private]   Definition at line 349 of file location.h. Referenced by setup_cs_call(). procLocation* stmtLocation::_calls [private]   Definition at line 348 of file location.h. Referenced by adjust_depth(), remove_call(), setup_cs_call(), and ~stmtLocation(). Location* Location::_dominator [protected, inherited]   Immediate dominator. This points to the immediate dominator of this node. It is set up during the construction of the location tree. It embodies the dominance rules discussed above. Definition at line 178 of file location.h. Referenced by Location::clear_dominator(), and Location::set_dominator(). unsigned int Location::_kind [protected, inherited]   The kind of location. There are only three kinds, so we only need two bits. Definition at line 129 of file location.h. Referenced by Location::kind(). unsigned int Location::_num_children [protected, inherited]   Number of dominator children. This is the number of locations immediately dominated by this one. We use this number to control the depth-first tree numbering algorithm. When the number is greater than one, we know that we still have dominator subtrees to number. Each time we finish a subtree, we decrement this number on the immediate dominator. When it reaches zero, the whole subtree is numbered. We limit this field to 8 bits, which only allows a node to immediately dominate 256 other nodes. This is probably way higher than it needs to be, but we'll play it safe. Definition at line 170 of file location.h. Referenced by Location::decrement_children(), Location::increment_children(), and Location::num_children(). Location* Location::_parent [protected, inherited]   Parent. A pointer to the containing location (strictly in terms of program structure). For stmtLocations, this points to the containing basic block. For basicblockLocations, it points to the procLocation. For procLocations, it points to the callsite stmtLocation (if there is one). Reimplemented in Path. Definition at line 123 of file location.h. Referenced by procLocation::adjust_depth(), basicblockLocation::adjust_depth(), adjust_depth(), block_location(), procLocation::parent_proc(), basicblockLocation::proc_location(), procLocation::remove_from_tree(), and procLocation::stmt_location(). stmtNode* stmtLocation::_stmt [private]   Definition at line 347 of file location.h. Referenced by print_path(). unsigned int stmtLocation::_stmt_num [private]   Definition at line 346 of file location.h. Referenced by print_callsite(), and print_path(). unsigned int Location::_subtree_id [protected, inherited]   Subtree ID. This number is used for context-insensitive analysis to quickly determine whether two locations can have a dominance relationship. Each context-sensitive program region has a unique subtree ID. If two locations have difference subtree IDs, then they are incomparable, and therefore cannot have a dominance relationship. We arbitrarily choose 16 bits for this field, which would effectively limit the analyzer to 32K procedures (but that seems reasonable). Definition at line 151 of file location.h. Referenced by procLocation::adjust_depth(), basicblockLocation::adjust_depth(), adjust_depth(), Location::Location(), procLocation::procLocation(), procLocation::remove_from_tree(), and Location::subtree_id(). unsigned int Location::_tree_max [protected, inherited]   Definition at line 204 of file location.h. unsigned int Location::_tree_min [protected, inherited]   Tree numbering These two numbers implement the tree numbering scheme (from communication from Mark Wegman) that allows a constant time interprocedural dominance test. The scheme works as follows: we perform a depth-first traversal of the dominator tree, both pre-order and post-order, assigning consecutive numbers to "tree min" value on the way down, and the "tree max" value on the way up. This numbering results in the following invariant: the min-max range of each node contains the min-max ranges of all nodes that it dominates. Since we compute this numbering on-line, we need to test dominance for nodes on the way down the tree. This means we have to do without a tree max value in some cases. Therefore, we have a special case: the tree max defaults to MAX_INT until it is given a specific value. These number can get large, so we use full 32-bit ints (limits us to 4 billion program locations). Definition at line 203 of file location.h. unsigned int Location::block_count = 0 [static, inherited]   Definition at line 47 of file location.cc. Referenced by basicblockLocation::basicblockLocation(), Location::stats(), and basicblockLocation::~basicblockLocation(). unsigned int Location::current_subtree_id = 0 [static, protected, inherited]   Global subtree ID counter. Definition at line 51 of file location.cc. Referenced by procLocation::procLocation(), and procLocation::remove_from_tree(). unsigned int Location::current_tree_number = 0 [static, protected, inherited]   The current tree number to assign. Definition at line 52 of file location.cc. Referenced by procLocation::procLocation(). unsigned int Location::dom_calls = 0 [static, inherited]   Definition at line 49 of file location.cc. Referenced by pointers_phase::run(), and Location::strictly_dominates(). unsigned int Location::proc_count = 0 [static, inherited]   Definition at line 48 of file location.cc. Referenced by procLocation::procLocation(), Location::stats(), and procLocation::~procLocation(). unsigned int Location::stmt_count = 0 [static, inherited]   Some global counters. Definition at line 46 of file location.cc. Referenced by basicblockLocation::basicblockLocation(), Location::stats(), stmtLocation(), and ~stmtLocation(). The documentation for this class was generated from the following files: location.h location.cc

Generated on August 27, 2003
Back to the C-Breeze home page