 |
C-Breeze C Compiler Infrastructure [ Project home page] |
constantPropChanger Class Reference
[phases defined in c-breeze (some of which are available from the command line).]
Performs global (intraprocedural) constant propagation.
More...
#include <constprop.h>
Inheritance diagram for constantPropChanger:
"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 Node * | at_node (Node *the_node, Order ord) |
| virtual Node * | at_unit (unitNode *the_unit, Order ord) |
| virtual Node * | at_def (defNode *the_def, Order ord) |
| virtual Node * | at_decl (declNode *the_decl, Order ord) |
| virtual Node * | at_subdecl (subdeclNode *the_subdecl, Order ord) |
| virtual Node * | at_proc (procNode *the_proc, Order ord) |
| virtual Node * | at_type (typeNode *the_type, Order ord) |
| virtual Node * | at_prim (primNode *the_prim, Order ord) |
| virtual Node * | at_tdef (tdefNode *the_tdef, Order ord) |
| virtual Node * | at_ptr (ptrNode *the_ptr, Order ord) |
| virtual Node * | at_array (arrayNode *the_array, Order ord) |
| virtual Node * | at_func (funcNode *the_func, Order ord) |
| virtual Node * | at_sue (sueNode *the_sue, Order ord) |
| virtual Node * | at_struct (structNode *the_struct, Order ord) |
| virtual Node * | at_union (unionNode *the_union, Order ord) |
| virtual Node * | at_enum (enumNode *the_enum, Order ord) |
| virtual Node * | at_suespec (suespecNode *the_suespec, Order ord) |
| virtual Node * | at_expr (exprNode *the_expr, Order ord) |
| virtual Node * | at_index (indexNode *the_index, Order ord) |
| virtual Node * | at_const (constNode *the_const, Order ord) |
| virtual Node * | at_id (idNode *the_id, Order ord) |
| virtual Node * | at_binary (binaryNode *the_binary, Order ord) |
| virtual Node * | at_unary (unaryNode *the_unary, Order ord) |
| virtual Node * | at_cast (castNode *the_cast, Order ord) |
| virtual Node * | at_comma (commaNode *the_comma, Order ord) |
| virtual Node * | at_ternary (ternaryNode *the_ternary, Order ord) |
| virtual Node * | at_call (callNode *the_call, Order ord) |
| virtual Node * | at_initializer (initializerNode *the_initializer, Order ord) |
| virtual Node * | at_stmt (stmtNode *the_stmt, Order ord) |
| virtual Node * | at_block (blockNode *the_block, Order ord) |
| virtual Node * | at_basicblock (basicblockNode *the_basicblock, Order ord) |
| virtual Node * | at_exprstmt (exprstmtNode *the_exprstmt, Order ord) |
| virtual Node * | at_target (targetNode *the_target, Order ord) |
| virtual Node * | at_label (labelNode *the_label, Order ord) |
| virtual Node * | at_case (caseNode *the_case, Order ord) |
| virtual Node * | at_selection (selectionNode *the_selection, Order ord) |
| virtual Node * | at_if (ifNode *the_if, Order ord) |
| virtual Node * | at_switch (switchNode *the_switch, Order ord) |
| virtual Node * | at_loop (loopNode *the_loop, Order ord) |
| virtual Node * | at_while (whileNode *the_while, Order ord) |
| virtual Node * | at_do (doNode *the_do, Order ord) |
| virtual Node * | at_for (forNode *the_for, Order ord) |
| virtual Node * | at_jump (jumpNode *the_jump, Order ord) |
| virtual Node * | at_goto (gotoNode *the_goto, Order ord) |
| virtual Node * | at_continue (continueNode *the_continue, Order ord) |
| virtual Node * | at_break (breakNode *the_break, Order ord) |
| virtual Node * | at_attrib (attribNode *the_attrib, Order ord) |
| virtual Node * | at_operand (operandNode *the_oper, Order ord) |
| virtual Node * | at_text (textNode *the_text, Order ord) |
Public Types | |
| typedef list< threeAddrNode * > | threeAddr_list |
| enum | Order { Preorder, Postorder, Both } |
| enum | Depth { Subtree, NodeOnly } |
Static Public Member Functions | |
| void | change () |
| Constant propagation on entire program. | |
| void | change (unitNode *) |
| Constant propagation on one unit. | |
| void | change (procNode *) |
| Constant propagation on one procedure. | |
Private Member Functions | |
| constantPropChanger (udduChains *chain) | |
| Constructor. | |
| void | reset () |
| Reset the _changed flag. | |
| exprNode * | at_expr (exprNode *) |
| Performs check on an expression, return the constant that can replace it. | |
| Node * | at_threeAddr (threeAddrNode *, Order) |
| Check and replace operands in an threeAddrNode. | |
| Node * | at_conditiongoto (conditiongotoNode *, Order) |
| Check and replace operands in an conditiongotoNode. | |
| Node * | at_return (returnNode *, Order) |
| Check and replace return expression. | |
Private Attributes | |
| udduChains * | _udchain |
| The ud chain supplied to and used by this optimizatin. | |
| bool | _changed |
| Flag to indicate if any code is changed by this optimization. | |
Detailed Description
Performs global (intraprocedural) constant propagation.This class performs the constant propagation. The program must already be cfg'd. The three public static change() functions allow the optimization to be performed on the entire program, on one unit, or on a single procedure.
Definition at line 53 of file constprop.h.
Member Typedef Documentation
|
|
Definition at line 55 of file constprop.h. Referenced by at_expr(). |
Member Enumeration Documentation
|
|
|
|
Constructor & Destructor Documentation
|
|
Constructor. The ud chain must be provided. Definition at line 70 of file constprop.h. References _changed, _udchain, Changer::Preorder, and Changer::Subtree. |
Member Function Documentation
|
||||||||||||
|
Reimplemented in AllocSizeChanger. Definition at line 253 of file changer.h. References Changer::at_type(). Referenced by arrayNode::change(). |
|
||||||||||||
|
Definition at line 364 of file changer.h. References Changer::at_stmt(). Referenced by attribNode::change(). |
|
||||||||||||
|
Reimplemented in constantFoldingChanger. Definition at line 313 of file changer.h. References Changer::at_block(). Referenced by basicblockNode::change(). |
|
||||||||||||
|
Reimplemented in SelectionDismantle, ArrowDismantle, and ExpressionDismantle. Definition at line 286 of file changer.h. References Changer::at_expr(). Referenced by binaryNode::change(). |
|
||||||||||||
|
Reimplemented in StaticToGlobalDismantle, and InitializerDismantle. Definition at line 310 of file changer.h. References Changer::at_stmt(). Referenced by Changer::at_basicblock(), and blockNode::change(). |
|
||||||||||||
|
Reimplemented in BreakContinueChanger. Definition at line 358 of file changer.h. References Changer::at_jump(). Referenced by breakNode::change(). |
|
||||||||||||
|
Reimplemented in ExpressionDismantle. Definition at line 301 of file changer.h. References Changer::at_expr(). Referenced by callNode::change(). |
|
||||||||||||
|
Definition at line 325 of file changer.h. References Changer::at_target(). Referenced by caseNode::change(). |
|
||||||||||||
|
Reimplemented in ExpressionDismantle, and CastRemover. Definition at line 292 of file changer.h. References Changer::at_expr(). Referenced by castNode::change(). |
|
||||||||||||
|
Reimplemented in ExpressionDismantle. Definition at line 295 of file changer.h. References Changer::at_expr(). Referenced by commaNode::change(). |
|
||||||||||||
|
Check and replace operands in an conditiongotoNode.
Reimplemented from Changer. Definition at line 182 of file constprop.cc. References at_expr(), Const, Id, conditiongotoNode::left(), conditiongotoNode::right(), and Node::typ(). |
|
||||||||||||
|
Definition at line 280 of file changer.h. References Changer::at_index(). Referenced by constNode::change(). |
|
||||||||||||
|
Reimplemented in BreakContinueChanger. Definition at line 355 of file changer.h. References Changer::at_jump(). Referenced by continueNode::change(). |
|
||||||||||||
|
Reimplemented in AllocSizeChanger, StaticToGlobalDismantle, InitializerDismantle, FlattenDismantle, ref_clone_changer, and TreeFixer. Definition at line 232 of file changer.h. References Changer::at_def(). Referenced by Changer::at_subdecl(), and declNode::change(). |
|
||||||||||||
|
Definition at line 229 of file changer.h. References Changer::at_node(). Referenced by Changer::at_decl(), and Changer::at_proc(). |
|
||||||||||||
|
Reimplemented in LoopDismantle. Definition at line 343 of file changer.h. References Changer::at_loop(). Referenced by doNode::change(). |
|
||||||||||||
|
Reimplemented in AllocSizeChanger. Definition at line 268 of file changer.h. References Changer::at_sue(). Referenced by enumNode::change(). |
|
||||||||||||
|
Reimplemented in ipConstantsChanger. Definition at line 274 of file changer.h. References Changer::at_node(). Referenced by Changer::at_binary(), Changer::at_call(), Changer::at_cast(), Changer::at_comma(), Changer::at_index(), Changer::at_initializer(), Changer::at_operand(), Changer::at_ternary(), Changer::at_unary(), and metaexprNode::change(). |
|
|
Performs check on an expression, return the constant that can replace it.
Definition at line 51 of file constprop.cc. References _changed, _udchain, operandNode::addr(), constant::cast(), operandNode::cast(), Const, idNode::decl(), udduChains::defs(), constant::eval(), operandNode::fields(), Id, operandNode::index(), constant::is_equal_to(), constant::is_zero(), threeAddrNode::lhs(), NodeType, threeAddrNode::op(), Operand, Prim, Ptr, threeAddrNode::rhs1(), threeAddrNode::rhs2(), operandNode::star(), threeAddr_list, Node::typ(), Operator::UMINUS, Operator::UPLUS, and operandNode::var(). Referenced by at_conditiongoto(), at_return(), and at_threeAddr(). |
|
||||||||||||
|
Reimplemented in SelectionDismantle, ExpressionDismantle, and FlattenDismantle. Definition at line 316 of file changer.h. References Changer::at_stmt(). Referenced by exprstmtNode::change(). |
|
||||||||||||
|
Reimplemented in LoopDismantle. Definition at line 346 of file changer.h. References Changer::at_loop(). Referenced by forNode::change(). |
|
||||||||||||
|
Definition at line 256 of file changer.h. References Changer::at_type(). Referenced by funcNode::change(). |
|
||||||||||||
|
Reimplemented in FlattenDismantle. Definition at line 352 of file changer.h. References Changer::at_jump(). Referenced by Changer::at_conditiongoto(), and gotoNode::change(). |
|
||||||||||||
|
Reimplemented in UnusedDeclarationCleanupChanger, and constantsChanger. Definition at line 283 of file changer.h. References Changer::at_index(). Referenced by idNode::change(). |
|
||||||||||||
|
Reimplemented in SelectionDismantle, and CFS_Changer. Definition at line 331 of file changer.h. References Changer::at_selection(). Referenced by ifNode::change(). |
|
||||||||||||
|
Definition at line 277 of file changer.h. References Changer::at_expr(). Referenced by Changer::at_const(), and Changer::at_id(). |
|
||||||||||||
|
Definition at line 304 of file changer.h. References Changer::at_expr(). Referenced by initializerNode::change(). |
|
||||||||||||
|
Definition at line 349 of file changer.h. References Changer::at_stmt(). Referenced by Changer::at_break(), Changer::at_continue(), Changer::at_goto(), and Changer::at_return(). |
|
||||||||||||
|
Reimplemented in LabelDismantle, FlattenDismantle, and ref_clone_changer. Definition at line 322 of file changer.h. References Changer::at_target(). Referenced by labelNode::change(). |
|
||||||||||||
|
Definition at line 337 of file changer.h. References Changer::at_stmt(). Referenced by Changer::at_do(), Changer::at_for(), and Changer::at_while(). |
|
||||||||||||
|
Reimplemented in ref_clone_changer. Definition at line 223 of file changer.h. Referenced by Changer::at_def(), Changer::at_expr(), Changer::at_stmt(), Changer::at_text(), Changer::at_type(), and Changer::at_unit(). |
|
||||||||||||
|
Definition at line 367 of file changer.h. References Changer::at_expr(). Referenced by operandNode::change(). |
|
||||||||||||
|
Reimplemented in AllocSizeChanger. Definition at line 244 of file changer.h. References Changer::at_type(). Referenced by primNode::change(). |
|
||||||||||||
|
Reimplemented in Dismantle, StaticToGlobalDismantle, ControlDismantle, ReturnDismantle, FlattenDismantle, function_inline, cfg_changer, copyPropChanger, deadCodeEliminationChanger, UnusedDeclarationCleanupChanger, LocalCopyPropChanger, CFS_Changer, and Optimizer. Definition at line 238 of file changer.h. References Changer::at_def(). Referenced by procNode::change(). |
|
||||||||||||
|
Reimplemented in AllocSizeChanger. Definition at line 250 of file changer.h. References Changer::at_type(). Referenced by ptrNode::change(). |
|
||||||||||||
|
Check and replace return expression.
Reimplemented from Changer. Definition at line 200 of file constprop.cc. References at_expr(), and returnNode::expr(). |
|
||||||||||||
|
Definition at line 328 of file changer.h. References Changer::at_stmt(). Referenced by Changer::at_if(), and Changer::at_switch(). |
|
||||||||||||
|
Reimplemented in TernaryDismantle, and SelectionDismantle. Definition at line 307 of file changer.h. References Changer::at_node(). Referenced by Changer::at_attrib(), Changer::at_block(), Changer::at_exprstmt(), Changer::at_jump(), Changer::at_loop(), Changer::at_selection(), Changer::at_target(), Changer::at_threeAddr(), and metastmtNode::change(). |
|
||||||||||||
|
Reimplemented in AllocSizeChanger. Definition at line 262 of file changer.h. References Changer::at_sue(). Referenced by structNode::change(). |
|
||||||||||||
|
Definition at line 235 of file changer.h. References Changer::at_decl(). Referenced by subdeclNode::change(). |
|
||||||||||||
|
Definition at line 259 of file changer.h. References Changer::at_type(). Referenced by Changer::at_enum(), Changer::at_struct(), and Changer::at_union(). |
|
||||||||||||
|
Definition at line 271 of file changer.h. References Changer::at_type(). Referenced by suespecNode::change(). |
|
||||||||||||
|
Reimplemented in SelectionDismantle, and ref_clone_changer. Definition at line 334 of file changer.h. References Changer::at_selection(). Referenced by switchNode::change(). |
|
||||||||||||
|
Definition at line 319 of file changer.h. References Changer::at_stmt(). Referenced by Changer::at_case(), and Changer::at_label(). |
|
||||||||||||
|
Reimplemented in AllocSizeChanger, and UpdateTdefChanger. Definition at line 247 of file changer.h. References Changer::at_type(). Referenced by tdefNode::change(). |
|
||||||||||||
|
Reimplemented in TernaryDismantle. Definition at line 298 of file changer.h. References Changer::at_expr(). Referenced by ternaryNode::change(). |
|
||||||||||||
|
Definition at line 376 of file changer.h. References Changer::at_node(). Referenced by textNode::change(). |
|
||||||||||||
|
Check and replace operands in an threeAddrNode.
Reimplemented from Changer. Definition at line 150 of file constprop.cc. References threeAddrNode::arg_list(), at_expr(), operandNode::cast(), threeAddrNode::lhs(), operand_list_p, threeAddrNode::rhs1(), and threeAddrNode::rhs2(). |
|
||||||||||||
|
Reimplemented in TernaryDismantle, and ExpressionDismantle. Definition at line 241 of file changer.h. References Changer::at_node(). Referenced by Changer::at_array(), Changer::at_func(), Changer::at_prim(), Changer::at_ptr(), Changer::at_sue(), Changer::at_suespec(), and Changer::at_tdef(). |
|
||||||||||||
|
Reimplemented in AllocSizeChanger, and ExpressionDismantle. Definition at line 289 of file changer.h. References Changer::at_expr(). Referenced by unaryNode::change(). |
|
||||||||||||
|
Reimplemented in AllocSizeChanger. Definition at line 265 of file changer.h. References Changer::at_sue(). Referenced by unionNode::change(). |
|
||||||||||||
|
Reimplemented in Dismantle, StaticToGlobalDismantle, and Optimizer. Definition at line 226 of file changer.h. References Changer::at_node(). Referenced by unitNode::change(). |
|
||||||||||||
|
Reimplemented in LoopDismantle. Definition at line 340 of file changer.h. References Changer::at_loop(). Referenced by whileNode::change(). |
|
|
Constant propagation on one procedure.
Definition at line 436 of file constprop.cc. References constantFoldingChanger::_cfg_changed, constantFoldingChanger::_changed, _changed, _udchain, reachingDefinitionsWalker::analyze(), procNode::change(), constantFoldingChanger::reset(), and reset(). |
|
|
Constant propagation on one unit.
Definition at line 430 of file constprop.cc. References change(), def_list_p, unitNode::defs(), and Proc. |
|
|
Constant propagation on entire program.
Definition at line 424 of file constprop.cc. References CBZ::Program, and unit_list_p. Referenced by change(), and constpropphase::run(). |
|
|
Return whether this Changer deletes Nodes which are removed from the AST by "at_" methods.
Definition at line 209 of file changer.h. Referenced by subdeclNode::change(), change_list(), and Changer::Changer(). |
|
|
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. |
|
|
|
Reset the _changed flag.
Definition at line 75 of file constprop.h. References _changed. Referenced by change(). |
Member Data Documentation
|
|
Flag to indicate if any code is changed by this optimization.
Definition at line 81 of file constprop.h. Referenced by at_expr(), change(), constantPropChanger(), and reset(). |
|
|
The ud chain supplied to and used by this optimizatin.
Definition at line 78 of file constprop.h. Referenced by at_expr(), change(), and constantPropChanger(). |
The documentation for this class was generated from the following files: