
Public Member Functions | |
| DoGlobalCopyPropagation (ReferenceMap *rM, TypeMap *tM, std::map< const IR::Node *, std::map< cstring, const IR::Expression * > * > *acts) | |
| const IR::Expression * | copyprop_name (cstring name) |
| IR::MethodCallExpression * | postorder (IR::MethodCallExpression *) override |
| const IR::P4Action * | postorder (IR::P4Action *) override |
| const IR::Expression * | postorder (IR::PathExpression *) override |
| const IR::Expression * | preorder (IR::ArrayIndex *) override |
| const IR::Node * | preorder (IR::AssignmentStatement *) override |
| IR::IfStatement * | preorder (IR::IfStatement *) override |
| const IR::Expression * | preorder (IR::Member *) override |
| const IR::P4Action * | preorder (IR::P4Action *) override |
This pass operates on action bodies and is ran right after the Inspector pass. It propagates the values for variables that got their values assigned to them before the action call.