![]() |
P4C
The P4 Compiler
|
This pass identifies and collects statement which requires it's operand to be in a header and also initialize added header fields with original operand. i.e. csum_0.add<tuple_0>((tuple_0){f0 = m.Ingress_tmp_1,f1 = m.Ingress_tmp_2, f2 = m.Ingress_tmp_3,f3 = m.Ingress_tmp_4,f4 = m.Ingress_tmp_5}); transformed into h.dpdk_pseudo_header.pseudo = (bit<16>)m.Ingress_tmp_1; h.dpdk_pseudo_header.pseudo_0 = (bit<16>)m.Ingress_tmp_2; h.dpdk_pseudo_header.pseudo_1 = (bit<8>)m.Ingress_tmp_3; h.dpdk_pseudo_header.pseudo_2 = (bit<32>)m.Ingress_tmp_4; h.dpdk_pseudo_header.pseudo_3 = (bit<32>)m.Ingress_tmp_5; csum_0.add<tuple_1>((tuple_1){f0 = h.dpdk_pseudo_header.pseudo, f1 = h.dpdk_pseudo_header.pseudo_0,f2 = h.dpdk_pseudo_header.pseudo_1, f3 = h.dpdk_pseudo_header.pseudo_2,f4 = h.dpdk_pseudo_header.pseudo_3});. More...
Public Member Functions | |
| MoveNonHeaderFieldsToPseudoHeader (P4::ReferenceMap *refMap, P4::TypeMap *typeMap, bool &is_all_args_header) | |
| std::pair< IR::AssignmentStatement *, IR::Member * > | addAssignmentStmt (const IR::Expression *ne) |
| const IR::Node * | postorder (IR::AssignmentStatement *statement) override |
| const IR::Node * | postorder (IR::MethodCallStatement *statement) override |
| const IR::Node * | postorder (IR::P4Program *p) override |
Public Member Functions inherited from Transform | |
| const IR::Node * | apply_visitor (const IR::Node *, const char *name=0) override |
| profile_t | init_apply (const IR::Node *root) override |
| virtual void | loop_revisit (const IR::Node *) |
| virtual const IR::Node * | postorder (IR::Node *n) |
| virtual const IR::Node * | preorder (IR::Node *n) |
| void | prune () |
| virtual void | revisit (const IR::Node *, const IR::Node *) |
| void | revisit_visited () |
| bool | visit_in_progress (const IR::Node *) const |
| void | visitAgain () const override |
| void | visitOnce () const override |
Public Member Functions inherited from Visitor | |
| virtual bool | check_global (cstring) |
| virtual void | clear_globals () |
| virtual Visitor * | clone () const |
| virtual void | end_apply () |
| virtual void | end_apply (const IR::Node *root) |
| virtual void | erase_global (cstring) |
| template<class T > | |
| const T * | findContext () const |
| template<class T > | |
| const T * | findContext (const Context *&c) const |
| template<class T > | |
| const T * | findOrigCtxt () const |
| template<class T > | |
| const T * | findOrigCtxt (const Context *&c) const |
| virtual Visitor & | flow_clone () |
| virtual void | flow_merge (Visitor &) |
| virtual void | flow_merge_global_from (cstring) |
| virtual void | flow_merge_global_to (cstring) |
| const Context * | getChildContext () const |
| int | getChildrenVisited () const |
| const Context * | getContext () const |
| int | getContextDepth () const |
| const IR::Node * | getCurrentNode () const |
| template<class T > | |
| const T * | getCurrentNode () const |
| const IR::Node * | getOriginal () const |
| template<class T > | |
| const T * | getOriginal () const |
| template<class T > | |
| const T * | getParent () const |
| virtual bool | has_flow_joins () const |
| profile_t | init_apply (const IR::Node *root, const Context *parent_context) |
| bool | isInContext (const IR::Node *n) const |
| virtual const char * | name () const |
| template<class T > | |
| void | parallel_visit (const IR::Vector< T > &v, const char *name, int cidx) |
| template<class T > | |
| void | parallel_visit (const IR::Vector< T > &v, const char *name=0) |
| template<class T > | |
| void | parallel_visit (IR::Vector< T > &v, const char *name, int cidx) |
| template<class T > | |
| void | parallel_visit (IR::Vector< T > &v, const char *name=0) |
| void | print_context () const |
| const Visitor & | setCalledBy (const Visitor *visitor) |
| void | setName (const char *name) |
| void | visit (const IR::Node &n, const char *name, int cidx) |
| void | visit (const IR::Node &n, const char *name=0) |
| void | visit (const IR::Node *&n, const char *name, int cidx) |
| void | visit (const IR::Node *&n, const char *name=0) |
| void | visit (const IR::Node *const &n, const char *name, int cidx) |
| void | visit (const IR::Node *const &n, const char *name=0) |
| void | visit (IR::Node &n, const char *name, int cidx) |
| void | visit (IR::Node &n, const char *name=0) |
| void | visit (IR::Node *&, const char *=0, int=0) |
| template<class T , typename = typename std::enable_if<std::is_base_of<Util::IHasSourceInfo, T>::value>::type, class... Args> | |
| void | warn (const int kind, const char *format, const T &node, Args... args) |
| The const ref variant of the above. | |
| template<class T , typename = typename std::enable_if<std::is_base_of<Util::IHasSourceInfo, T>::value>::type, class... Args> | |
| void | warn (const int kind, const char *format, const T *node, Args... args) |
| bool | warning_enabled (int warning_kind) const |
Static Public Attributes | |
| static std::vector< std::pair< cstring, const IR::Type * > > | pseudoFieldNameType |
Additional Inherited Members | |
Public Types inherited from Visitor | |
| typedef Visitor_Context | Context |
Static Public Member Functions inherited from Visitor | |
| static cstring | demangle (const char *) |
| static bool | warning_enabled (const Visitor *visitor, int warning_kind) |
Public Attributes inherited from Visitor | |
| const Visitor * | called_by = nullptr |
| cstring | internalName |
| SplitFlowVisit_base *& | split_link |
| SplitFlowVisit_base * | split_link_mem = nullptr |
Protected Member Functions inherited from Transform | |
| const IR::Node * | transform_child (const IR::Node *child) |
Protected Member Functions inherited from Visitor | |
| virtual void | init_join_flows (const IR::Node *) |
| virtual bool | join_flows (const IR::Node *) |
| virtual void | post_join_flows (const IR::Node *, const IR::Node *) |
| void | visit_children (const IR::Node *, std::function< void()> fn) |
Protected Attributes inherited from Visitor | |
| bool | dontForwardChildrenBeforePreorder = false |
| bool | joinFlows = false |
| bool | visitDagOnce = true |
This pass identifies and collects statement which requires it's operand to be in a header and also initialize added header fields with original operand. i.e. csum_0.add<tuple_0>((tuple_0){f0 = m.Ingress_tmp_1,f1 = m.Ingress_tmp_2, f2 = m.Ingress_tmp_3,f3 = m.Ingress_tmp_4,f4 = m.Ingress_tmp_5}); transformed into h.dpdk_pseudo_header.pseudo = (bit<16>)m.Ingress_tmp_1; h.dpdk_pseudo_header.pseudo_0 = (bit<16>)m.Ingress_tmp_2; h.dpdk_pseudo_header.pseudo_1 = (bit<8>)m.Ingress_tmp_3; h.dpdk_pseudo_header.pseudo_2 = (bit<32>)m.Ingress_tmp_4; h.dpdk_pseudo_header.pseudo_3 = (bit<32>)m.Ingress_tmp_5; csum_0.add<tuple_1>((tuple_1){f0 = h.dpdk_pseudo_header.pseudo, f1 = h.dpdk_pseudo_header.pseudo_0,f2 = h.dpdk_pseudo_header.pseudo_1, f3 = h.dpdk_pseudo_header.pseudo_2,f4 = h.dpdk_pseudo_header.pseudo_3});.