 |
C-Breeze C Compiler Infrastructure [ Project home page] |
reachingDefinitionsWalker Class Reference
[phases defined in c-breeze (some of which are available from the command line).]
performs dataflow analysis for reaching definitions.
More...
#include <reaching.h>
Inheritance diagram for reachingDefinitionsWalker:
Public Types | |
| typedef list< threeAddrNode * > | threeAddr_list |
| enum | Order { Preorder, Postorder, Both } |
| The order in which AST Nodes should be visited. More... | |
| enum | Depth { Subtree, NodeOnly } |
| Which Nodes in the AST tree should be visited. More... | |
Public Member Functions | |
Accessors | |
Methods to get and set fields in the class. | |
| Order | order () const |
| Return the order in which Nodes of an AST should be visited. | |
| Depth | depth () const |
| Return which Nodes of an AST should be visited. | |
"at_" methods | |
These methods define the functions that should be performed when different classes of Nodes are encountered in the AST. The most specific "at_" method that matches a given Node's class will be called. | |
| virtual void | at_node (Node *the_node, Order ord) |
| virtual void | at_unit (unitNode *the_unit, Order ord) |
| virtual void | at_def (defNode *the_def, Order ord) |
| virtual void | at_decl (declNode *the_decl, Order ord) |
| virtual void | at_subdecl (subdeclNode *the_subdecl, Order ord) |
| virtual void | at_type (typeNode *the_type, Order ord) |
| virtual void | at_prim (primNode *the_prim, Order ord) |
| virtual void | at_tdef (tdefNode *the_tdef, Order ord) |
| virtual void | at_ptr (ptrNode *the_ptr, Order ord) |
| virtual void | at_array (arrayNode *the_array, Order ord) |
| virtual void | at_func (funcNode *the_func, Order ord) |
| virtual void | at_sue (sueNode *the_sue, Order ord) |
| virtual void | at_struct (structNode *the_struct, Order ord) |
| virtual void | at_union (unionNode *the_union, Order ord) |
| virtual void | at_enum (enumNode *the_enum, Order ord) |
| virtual void | at_suespec (suespecNode *the_suespec, Order ord) |
| virtual void | at_expr (exprNode *the_expr, Order ord) |
| virtual void | at_index (indexNode *the_index, Order ord) |
| virtual void | at_const (constNode *the_const, Order ord) |
| virtual void | at_id (idNode *the_id, Order ord) |
| virtual void | at_binary (binaryNode *the_binary, Order ord) |
| virtual void | at_unary (unaryNode *the_unary, Order ord) |
| virtual void | at_cast (castNode *the_cast, Order ord) |
| virtual void | at_comma (commaNode *the_comma, Order ord) |
| virtual void | at_ternary (ternaryNode *the_ternary, Order ord) |
| virtual void | at_call (callNode *the_call, Order ord) |
| virtual void | at_initializer (initializerNode *the_initializer, Order ord) |
| virtual void | at_stmt (stmtNode *the_stmt, Order ord) |
| virtual void | at_block (blockNode *the_block, Order ord) |
| virtual void | at_exprstmt (exprstmtNode *the_exprstmt, Order ord) |
| virtual void | at_target (targetNode *the_target, Order ord) |
| virtual void | at_label (labelNode *the_label, Order ord) |
| virtual void | at_case (caseNode *the_case, Order ord) |
| virtual void | at_selection (selectionNode *the_selection, Order ord) |
| virtual void | at_if (ifNode *the_if, Order ord) |
| virtual void | at_switch (switchNode *the_switch, Order ord) |
| virtual void | at_loop (loopNode *the_loop, Order ord) |
| virtual void | at_while (whileNode *the_while, Order ord) |
| virtual void | at_do (doNode *the_do, Order ord) |
| virtual void | at_for (forNode *the_for, Order ord) |
| virtual void | at_jump (jumpNode *the_jump, Order ord) |
| virtual void | at_goto (gotoNode *the_goto, Order ord) |
| virtual void | at_continue (continueNode *the_continue, Order ord) |
| virtual void | at_break (breakNode *the_break, Order ord) |
| virtual void | at_return (returnNode *the_return, Order ord) |
| virtual void | at_attrib (attribNode *the_attrib, Order ord) |
| virtual void | at_operand (operandNode *the_oper, Order ord) |
| virtual void | at_conditiongoto (conditiongotoNode *the_condgoto, Order ord) |
| virtual void | at_threeAddr (threeAddrNode *the_3addr, Order ord) |
| virtual void | at_text (textNode *the_text, Order ord) |
Static Public Member Functions | |
| udduChains * | analyze_all () |
| Analyze entire program. | |
| udduChains * | analyze (unitNode *unit) |
| Analyze a single unit. | |
| udduChains * | analyze (procNode *proc) |
| Analyze a single procedure. | |
Private Member Functions | |
| reachingDefinitionsWalker (void) | |
| void | at_proc (procNode *, Order) |
| void | at_basicblock (basicblockNode *, Order) |
| void | make_ud_chains (exprNode *e, exprNode *E=NULL, stmtNode *s=NULL) |
| Make ud-chains for each use in this expression. | |
| void | make_ud_chains (stmtNode *) |
| Make ud-chains for each use in this statement. | |
Private Attributes | |
| map< stmtNode *, defFlowVal * > | gen |
| The `in' and `out' sets for each basic block. | |
| map< stmtNode *, defFlowVal * > | kill |
| The `in' and `out' sets for each basic block. | |
| map< stmtNode *, defFlowVal * > | in |
| The `in' and `out' sets for each basic block. | |
| map< stmtNode *, defFlowVal * > | out |
| The `in' and `out' sets for each basic block. | |
| threeAddrNode ** | num2node |
| Mapping from bit positions to definitions in the current procedure. | |
| int | n |
| The is the number of definitions in the current procedure. | |
| defFlowVal * | current_in |
| The current value. | |
| map< threeAddrNode *, int > | node2num |
| Mapping from definitions (stmts) to bit positions. | |
| map< threeAddrNode *, declNode * > | defines |
| Mapping from a statement to the variable it defines. | |
| map< declNode *, defFlowVal * > | defs |
| Mapping from a variable to the definitions that (may) affect it. | |
| stmt_list | dummies |
| Dummy temporary statements created by analysis. | |
| udduChains * | udChain |
| The resulting udChain. | |
Detailed Description
performs dataflow analysis for reaching definitions.This class performs dataflow analysis for solving the reaching definitions problem for basic blocks. The program must already be dismantled. The end result of reaching definitions analysis is an instance of the udduChains class which contains the ud/du chain of the program/unit/procedure in question.
The public functions are the analyze_all() function and the two analyze() functions, all of which are static functions. They are designed to analyze either the entire program, on a procNode, or on a unitNode. Each of the functions returns an instance of the udduChains class.
Definition at line 60 of file reaching.h.
Member Typedef Documentation
|
|
Definition at line 62 of file reaching.h. |
Member Enumeration Documentation
|
|
Which Nodes in the AST tree should be visited.
|
|
Constructor & Destructor Documentation
|
|
Definition at line 95 of file reaching.h. References Walker::Both, Walker::Subtree, and udChain. |
Member Function Documentation
|
|
Analyze a single procedure.
Definition at line 80 of file reaching.h. References udChain, and procNode::walk(). |
|
|
Analyze a single unit.
Definition at line 73 of file reaching.h. References udChain, and unitNode::walk(). Referenced by constantPropChanger::change(). |
|
|
Analyze entire program.
Definition at line 65 of file reaching.h. References CBZ::Program, udChain, and unit_list_p. |
|
||||||||||||
|
Reimplemented in vcgASTWalker, TreeChecker, and print_walker. Definition at line 254 of file walker.h. References Walker::at_type(). Referenced by arrayNode::walk(). |
|
||||||||||||
|
Reimplemented in vcgASTWalker, and print_walker. Definition at line 365 of file walker.h. References Walker::at_stmt(). Referenced by attribNode::walk(). |
|
||||||||||||
|
Reimplemented from Walker. Definition at line 576 of file reaching.cc. References basicblockNode::clone(), current_in, defFlowVal::Difference(), gen, in, kill, make_ud_chains(), out, Walker::Postorder, stmt_list_p, blockNode::stmts(), and defFlowVal::Union(). |
|
||||||||||||
|
Reimplemented in vcgASTWalker, gcWalker, id_lookup_walker, TreeChecker, print_walker, and Assignment_walker. Definition at line 287 of file walker.h. References Walker::at_expr(). Referenced by binaryNode::walk(). |
|
||||||||||||
|
Reimplemented in vcgASTWalker, scope_walker, and print_walker. Definition at line 311 of file walker.h. References Walker::at_stmt(). Referenced by Walker::at_basicblock(), and blockNode::walk(). |
|
||||||||||||
|
Reimplemented in vcgASTWalker, ref_fix_walker, set_container_walker, TreeChecker, and print_walker. Definition at line 359 of file walker.h. References Walker::at_jump(). Referenced by breakNode::walk(). |
|
||||||||||||
|
Reimplemented in NodeLocator, W, vcgASTWalker, vcgCCGWalker, id_lookup_walker, Linker, ref_fix_walker, TreeChecker, and print_walker. Definition at line 302 of file walker.h. References Walker::at_expr(). Referenced by callNode::walk(). |
|
||||||||||||
|
Reimplemented in vcgASTWalker, ref_fix_walker, semcheck_walker, set_container_walker, TreeChecker, and print_walker. Definition at line 326 of file walker.h. References Walker::at_target(). Referenced by caseNode::walk(). |
|
||||||||||||
|
Reimplemented in vcgASTWalker, TreeChecker, and print_walker. Definition at line 293 of file walker.h. References Walker::at_expr(). Referenced by castNode::walk(). |
|
||||||||||||
|
Reimplemented in vcgASTWalker, TreeChecker, and print_walker. Definition at line 296 of file walker.h. References Walker::at_expr(). Referenced by commaNode::walk(). |
|
||||||||||||
|
Reimplemented in lir_gen_walker, vcgASTWalker, TreeChecker, print_walker, LivenessWalker, LivenessComments, and findVarAssign. Definition at line 371 of file walker.h. References Walker::at_goto(). Referenced by conditiongotoNode::walk(). |
|
||||||||||||
|
Reimplemented in vcgASTWalker, TreeChecker, print_walker, and count_walker. Definition at line 281 of file walker.h. References Walker::at_index(). Referenced by constNode::walk(). |
|
||||||||||||
|
Reimplemented in vcgASTWalker, ref_fix_walker, set_container_walker, TreeChecker, and print_walker. Definition at line 356 of file walker.h. References Walker::at_jump(). Referenced by continueNode::walk(). |
|
||||||||||||
|
Reimplemented in AllocToMemWalker, NodeLocator, W, vcgASTWalker, id_lookup_walker, name_mangle_walker, semcheck_walker, TreeChecker, ProcWalker, print_walker, has_struct_walker, and UnificationBasedPtr. Definition at line 233 of file walker.h. References Walker::at_def(). Referenced by Walker::at_subdecl(), and declNode::walk(). |
|
||||||||||||
|
Definition at line 230 of file walker.h. References Walker::at_node(). Referenced by Walker::at_decl(), and Walker::at_proc(). |
|
||||||||||||
|
Reimplemented in vcgASTWalker, and print_walker. Definition at line 344 of file walker.h. References Walker::at_loop(). Referenced by doNode::walk(). |
|
||||||||||||
|
Reimplemented in enum_value_walker. Definition at line 269 of file walker.h. References Walker::at_sue(). Referenced by enumNode::walk(). |
|
||||||||||||
|
Reimplemented in NodeLocator, and remove_stale_type_walker. Definition at line 275 of file walker.h. References Walker::at_node(). Referenced by Walker::at_binary(), Walker::at_call(), Walker::at_cast(), Walker::at_comma(), Walker::at_index(), Walker::at_initializer(), Walker::at_operand(), Walker::at_ternary(), Walker::at_unary(), and metaexprNode::walk(). |
|
||||||||||||
|
Reimplemented in vcgASTWalker, semcheck_walker, and print_walker. Definition at line 317 of file walker.h. References Walker::at_stmt(). Referenced by exprstmtNode::walk(). |
|
||||||||||||
|
Reimplemented in vcgASTWalker, semcheck_walker, TreeChecker, and print_walker. Definition at line 347 of file walker.h. References Walker::at_loop(). Referenced by forNode::walk(). |
|
||||||||||||
|
Reimplemented in vcgASTWalker, scope_walker, TreeChecker, print_walker, and has_struct_walker. Definition at line 257 of file walker.h. References Walker::at_type(). Referenced by funcNode::walk(). |
|
||||||||||||
|
Reimplemented in lir_gen_walker, vcgASTWalker, goto_label_walker, fix_goto_walker, ref_fix_walker, TreeChecker, ProcWalker, and print_walker. Definition at line 353 of file walker.h. References Walker::at_jump(). Referenced by Walker::at_conditiongoto(), and gotoNode::walk(). |
|
||||||||||||
|
Reimplemented in vcgASTWalker, callGraph, RequiresGatherer, clear_ids_walker, id_lookup_walker, Linker, name_mangle_walker, ref_fix_walker, TreeChecker, print_walker, renumber_walker, and count_walker. Definition at line 284 of file walker.h. References Walker::at_index(). Referenced by idNode::walk(). |
|
||||||||||||
|
Reimplemented in vcgASTWalker, TreeChecker, and print_walker. Definition at line 332 of file walker.h. References Walker::at_selection(). Referenced by ifNode::walk(). |
|
||||||||||||
|
Definition at line 278 of file walker.h. References Walker::at_expr(). Referenced by Walker::at_const(), and Walker::at_id(). |
|
||||||||||||
|
Reimplemented in vcgASTWalker, TreeChecker, and print_walker. Definition at line 305 of file walker.h. References Walker::at_expr(). Referenced by initializerNode::walk(). |
|
||||||||||||
|
Definition at line 350 of file walker.h. References Walker::at_stmt(). Referenced by Walker::at_break(), Walker::at_continue(), Walker::at_goto(), and Walker::at_return(). |
|
||||||||||||
|
Reimplemented in lir_gen_walker, vcgASTWalker, goto_label_walker, name_mangle_walker, TreeChecker, ProcWalker, and print_walker. Definition at line 323 of file walker.h. References Walker::at_target(). Referenced by labelNode::walk(). |
|
||||||||||||
|
Reimplemented in semcheck_walker, set_container_walker, TreeChecker, and init_flowproblem_walker. Definition at line 338 of file walker.h. References Walker::at_stmt(). Referenced by Walker::at_do(), Walker::at_for(), and Walker::at_while(). |
|
||||||||||||
|
Reimplemented in gcWalker, goto_label_walker, set_container_walker, sue_complete_walker, TreeChecker, and df_number_walker. Definition at line 223 of file walker.h. Referenced by Walker::at_def(), Walker::at_expr(), Walker::at_stmt(), Walker::at_text(), Walker::at_type(), and Walker::at_unit(). |
|
||||||||||||
|
Reimplemented in AllocToMemWalker, vcgASTWalker, TreeChecker, print_walker, and findVarAssign. Definition at line 368 of file walker.h. References Walker::at_expr(). Referenced by operandNode::walk(). |
|
||||||||||||
|
Reimplemented in vcgASTWalker, and print_walker. Definition at line 245 of file walker.h. References Walker::at_type(). Referenced by primNode::walk(). |
|
||||||||||||
|
Reimplemented from Walker. Definition at line 497 of file reaching.cc. References reachingGenKillWalker::_flowval, basicblock_list_p, procNode::body(), defFlowVal::clone(), basicblockNode::clone(), defFlowVal::copy(), defines, defs, defFlowVal::diff(), defFlowVal::Difference(), dummies, gen, in, reachingGenKillWalker::new_flowval(), node2num, num2node, out, Walker::Postorder, basicblockNode::preds(), stmt_list_p, blockNode::stmts(), defFlowVal::to_top(), defFlowVal::Union(), and procNode::walk(). |
|
||||||||||||
|
Reimplemented in vcgASTWalker, and print_walker. Definition at line 251 of file walker.h. References Walker::at_type(). Referenced by ptrNode::walk(). |
|
||||||||||||
|
Reimplemented in vcgASTWalker, ref_fix_walker, semcheck_walker, set_container_walker, TreeChecker, print_walker, LivenessWalker, and LivenessComments. Definition at line 362 of file walker.h. References Walker::at_jump(). Referenced by returnNode::walk(). |
|
||||||||||||
|
Reimplemented in semcheck_walker. Definition at line 329 of file walker.h. References Walker::at_stmt(). Referenced by Walker::at_if(), and Walker::at_switch(). |
|
||||||||||||
|
Reimplemented in NodeLocator, W, init_flowproblem_walker, and LivenessWalker. Definition at line 308 of file walker.h. References Walker::at_node(). Referenced by Walker::at_attrib(), Walker::at_block(), Walker::at_exprstmt(), Walker::at_jump(), Walker::at_loop(), Walker::at_selection(), Walker::at_target(), Walker::at_threeAddr(), and metastmtNode::walk(). |
|
||||||||||||
|
Definition at line 263 of file walker.h. References Walker::at_sue(). Referenced by structNode::walk(). |
|
||||||||||||
|
Definition at line 236 of file walker.h. References Walker::at_decl(). Referenced by subdeclNode::walk(). |
|
||||||||||||
|
Reimplemented in vcgASTWalker, RequiresGatherer, print_walker, and has_struct_walker. Definition at line 260 of file walker.h. References Walker::at_type(). Referenced by Walker::at_enum(), Walker::at_struct(), and Walker::at_union(). |
|
||||||||||||
|
Reimplemented in vcgASTWalker, scope_walker, semcheck_walker, sue_complete_walker, print_walker, and UnificationBasedPtr. Definition at line 272 of file walker.h. References Walker::at_type(). Referenced by suespecNode::walk(). |
|
||||||||||||
|
Reimplemented in vcgASTWalker, set_container_walker, TreeChecker, ProcWalker, print_walker, and init_flowproblem_walker. Definition at line 335 of file walker.h. References Walker::at_selection(). Referenced by switchNode::walk(). |
|
||||||||||||
|
Reimplemented in init_flowproblem_walker. Definition at line 320 of file walker.h. References Walker::at_stmt(). Referenced by Walker::at_case(), and Walker::at_label(). |
|
||||||||||||
|
Reimplemented in vcgASTWalker, RequiresGatherer, clear_ids_walker, id_lookup_walker, ref_fix_walker, TreeChecker, and print_walker. Definition at line 248 of file walker.h. References Walker::at_type(). Referenced by tdefNode::walk(). |
|
||||||||||||
|
Reimplemented in vcgASTWalker, TreeChecker, and print_walker. Definition at line 299 of file walker.h. References Walker::at_expr(). Referenced by ternaryNode::walk(). |
|
||||||||||||
|
Reimplemented in vcgASTWalker, and print_walker. Definition at line 377 of file walker.h. References Walker::at_node(). Referenced by textNode::walk(). |
|
||||||||||||
|
Reimplemented in lir_gen_walker, vcgASTWalker, vcgCCGWalker, identify_inlinees, Linker, TreeChecker, print_walker, GetDefsWalker, LivenessWalker, LivenessComments, GetDefsWalker, findVarAssign, and UnificationBasedPtr. Definition at line 374 of file walker.h. References Walker::at_stmt(). Referenced by threeAddrNode::walk(). |
|
||||||||||||
|
Reimplemented in W, and TreeChecker. Definition at line 242 of file walker.h. References Walker::at_node(). Referenced by Walker::at_array(), Walker::at_func(), Walker::at_prim(), Walker::at_ptr(), Walker::at_sue(), Walker::at_suespec(), and Walker::at_tdef(). |
|
||||||||||||
|
Reimplemented in vcgASTWalker, TreeChecker, print_walker, and fixPointerWalker. Definition at line 290 of file walker.h. References Walker::at_expr(). Referenced by unaryNode::walk(). |
|
||||||||||||
|
Definition at line 266 of file walker.h. References Walker::at_sue(). Referenced by unionNode::walk(). |
|
||||||||||||
|
Reimplemented in asm_gen_walker, dummy_reg_alloc_walker, lir_gen_walker, vcgASTWalker, gcWalker, TreeChecker, print_walker, reachingGenKillWalker, and UnificationBasedPtr. Definition at line 227 of file walker.h. References Walker::at_node(). Referenced by unitNode::walk(). |
|
||||||||||||
|
Reimplemented in vcgASTWalker, and print_walker. Definition at line 341 of file walker.h. References Walker::at_loop(). Referenced by whileNode::walk(). |
|
|
Return which Nodes of an AST should be visited. A value of SubTree specifies that the entire AST should be traversed. A value of NodeOnly specifies that only the root Node in the AST should be visited. Definition at line 211 of file walker.h. Referenced by whileNode::walk(), unitNode::walk(), unionNode::walk(), unaryNode::walk(), threeAddrNode::walk(), ternaryNode::walk(), switchNode::walk(), suespecNode::walk(), subdeclNode::walk(), structNode::walk(), returnNode::walk(), ptrNode::walk(), procNode::walk(), operandNode::walk(), metastmtNode::walk(), metaexprNode::walk(), labelNode::walk(), initializerNode::walk(), ifNode::walk(), idNode::walk(), funcNode::walk(), forNode::walk(), exprstmtNode::walk(), enumNode::walk(), doNode::walk(), declNode::walk(), constNode::walk(), conditiongotoNode::walk(), commaNode::walk(), castNode::walk(), caseNode::walk(), callNode::walk(), blockNode::walk(), binaryNode::walk(), basicblockNode::walk(), attribNode::walk(), arrayNode::walk(), and Walker::Walker(). |
|
|
Make ud-chains for each use in this statement.
Definition at line 622 of file reaching.cc. References threeAddrNode::arg_list(), Condition, Node::coord(), Expr, Goto, Label, conditiongotoNode::left(), threeAddrNode::lhs(), make_ud_chains(), operand_list_p, Return, threeAddrNode::rhs1(), threeAddrNode::rhs2(), conditiongotoNode::right(), ThreeAddr, and Node::typ(). |
|
||||||||||||||||
|
Make ud-chains for each use in this expression.
Definition at line 656 of file reaching.cc. References udduChains::add(), operandNode::addr(), Const, current_in, idNode::decl(), defs, Id, defFlowVal::in(), operandNode::index(), threeAddrNode::lhs(), n, num2node, Operand, threeAddrNode::rhs1(), udChain, and operandNode::var(). Referenced by at_basicblock(), and make_ud_chains(). |
|
|
Return the order in which Nodes of an AST should be visited. Nodes can be visited before their children (Preorder), after their children (Postorder), or both (Both). Definition at line 203 of file walker.h. Referenced by df_number_walker::at_node(), whileNode::walk(), unitNode::walk(), unionNode::walk(), unaryNode::walk(), threeAddrNode::walk(), textNode::walk(), ternaryNode::walk(), tdefNode::walk(), switchNode::walk(), suespecNode::walk(), subdeclNode::walk(), structNode::walk(), returnNode::walk(), ptrNode::walk(), procNode::walk(), primNode::walk(), operandNode::walk(), metastmtNode::walk(), metaexprNode::walk(), labelNode::walk(), initializerNode::walk(), ifNode::walk(), idNode::walk(), gotoNode::walk(), funcNode::walk(), forNode::walk(), exprstmtNode::walk(), enumNode::walk(), doNode::walk(), declNode::walk(), continueNode::walk(), constNode::walk(), conditiongotoNode::walk(), commaNode::walk(), castNode::walk(), caseNode::walk(), callNode::walk(), breakNode::walk(), blockNode::walk(), binaryNode::walk(), basicblockNode::walk(), attribNode::walk(), and arrayNode::walk(). |
Member Data Documentation
|
|
The current value.
Definition at line 118 of file reaching.h. Referenced by at_basicblock(), and make_ud_chains(). |
|
|
Mapping from a statement to the variable it defines.
Definition at line 124 of file reaching.h. Referenced by at_proc(). |
|
|
Mapping from a variable to the definitions that (may) affect it.
Definition at line 128 of file reaching.h. Referenced by at_proc(), and make_ud_chains(). |
|
|
Dummy temporary statements created by analysis.
Definition at line 131 of file reaching.h. Referenced by at_proc(), and reachingGenKillWalker::reachingGenKillWalker(). |
|
|
The `in' and `out' sets for each basic block.
Definition at line 108 of file reaching.h. Referenced by at_basicblock(), reachingGenKillWalker::at_basicblock(), at_proc(), and reachingGenKillWalker::at_proc(). |
|
|
The `in' and `out' sets for each basic block.
Definition at line 108 of file reaching.h. Referenced by at_basicblock(), and at_proc(). |
|
|
The `in' and `out' sets for each basic block.
Definition at line 108 of file reaching.h. Referenced by at_basicblock(), reachingGenKillWalker::at_basicblock(), and reachingGenKillWalker::at_proc(). |
|
|
The is the number of definitions in the current procedure.
Definition at line 115 of file reaching.h. Referenced by make_ud_chains(). |
|
|
Mapping from definitions (stmts) to bit positions.
Definition at line 121 of file reaching.h. Referenced by at_proc(). |
|
|
Mapping from bit positions to definitions in the current procedure.
Definition at line 112 of file reaching.h. Referenced by at_proc(), and make_ud_chains(). |
|
|
The `in' and `out' sets for each basic block.
Definition at line 108 of file reaching.h. Referenced by at_basicblock(), and at_proc(). |
|
|
The resulting udChain.
Definition at line 134 of file reaching.h. Referenced by analyze(), analyze_all(), make_ud_chains(), and reachingDefinitionsWalker(). |
The documentation for this class was generated from the following files: