P4C
The P4 Compiler
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
CollectPhvLoggingInfo Struct Reference

#include <phv_logging.h>

Inheritance diagram for CollectPhvLoggingInfo:
[legend]

Public Member Functions

 CollectPhvLoggingInfo (const PhvInfo &p, const PhvUse &u, const ReductionOrInfo &ri)
 
void collectConstraints ()
 
profile_t init_apply (const IR::Node *root) override
 Clear all local state.
 
bool preorder (const IR::MAU::Action *act) override
 Gather action writes and reads related information and populate relevant data structures.
 
bool preorder (const IR::MAU::Table *tbl) override
 Gather the P4 names of all tables allocated.
 
bool preorder (const IR::MAU::TableKey *read) override
 Gather information related to input xbar reads.
 
- Public Member Functions inherited from P4::Inspector
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 void postorder (const IR::Node *)
 
virtual bool preorder (const IR::Node *)
 
virtual void revisit (const IR::Node *)
 
void revisit_visited ()
 
bool visit_in_progress (const IR::Node *n) const
 
void visitAgain () const override
 
void visitOnce () const override
 
- Public Member Functions inherited from P4::Visitor
virtual bool check_global (cstring)
 
virtual void clear_globals ()
 
virtual Visitor * clone () const
 
virtual ControlFlowVisitor * controlFlowVisitor ()
 
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 bool flow_merge_closure (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 = std::enable_if_t<Util::has_SourceInfo_v<T> && !std::is_pointer_v<T>>, 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 = std::enable_if_t<Util::has_SourceInfo_v<T>>, class... Args>
void warn (const int kind, const char *format, const T *node, Args &&...args)
 
bool warning_enabled (int warning_kind) const
 

Public Attributes

ordered_map< const IR::MAU::Action *, const IR::MAU::Table * > actionsToTables
 
EquivalentAlignExtractor * equivAlignConstraints = nullptr
 
ConstrainedFieldMap fieldConstraints
 
MauGroupExtractor * mauGroupConstraints = nullptr
 Extracted MAU group constraints.
 
ordered_map< cstring, ordered_map< cstring, bool > > noPackConstraints
 Extracted no pack (different container) constraints.
 
const PhvInfo & phv
 Information about PHV fields.
 
const PHV::Pragmas * pragmas = nullptr
 Pointer to pragma object computed during PHV Analysis.
 
const ReductionOrInfo & red_info
 
ordered_map< const PHV::FieldSlice, ordered_set< const IR::MAU::Action * > > sliceReadToActions
 Mapping from a FieldSlice to all the actions in which it is read.
 
ordered_map< const PHV::FieldSlice, ordered_set< const IR::MAU::Action * > > sliceWriteToActions
 Mapping from a FieldSlice to all the actions in which it is written.
 
ordered_map< const PHV::FieldSlice, ordered_set< cstring > > sliceXbarToTables
 Mapping from a FieldSlice to all the tables in which it is used in the input crossbar.
 
const std::list< PHV::SuperCluster * > * superclusters = nullptr
 Superclusters used to extract certain group constraints (MAU groups, equivalent alignment)
 
ordered_map< cstring, cstring > tableNames
 Mapping of table names in the backend to the P4 name.
 
const PhvUse & uses
 
- Public Attributes inherited from P4::Visitor
const Visitor * called_by = nullptr
 
cstring internalName
 
SplitFlowVisit_base *& split_link
 
SplitFlowVisit_base * split_link_mem = nullptr
 

Additional Inherited Members

- Public Types inherited from P4::Visitor
typedef Visitor_Context Context
 
- Static Public Member Functions inherited from P4::Visitor
static cstring demangle (const char *)
 
static bool warning_enabled (const Visitor *visitor, int warning_kind)
 
- Protected Member Functions inherited from P4::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 P4::Visitor
bool dontForwardChildrenBeforePreorder = false
 
bool joinFlows = false
 
bool visitDagOnce = true
 

Detailed Description

This class gathers information related to the MAU use of various fields for use during Phv Logging. This pass must be run prior to Instruction Adjustment because action analysis does not currently handle some IR structures (e.g. MultiOperands) introduced in that pass. This split pass structure allows us to use existing infrastructure to gather MAU related information.

Member Function Documentation

◆ collectConstraints()

void CollectPhvLoggingInfo::collectConstraints ( )

Copyright (C) 2024 Intel Corporation

Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at

http://www.apache.org/licenses/LICENSE-2.0

Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License.

SPDX-License-Identifier: Apache-2.0

Member Data Documentation

◆ actionsToTables

ordered_map<const IR::MAU::Action *, const IR::MAU::Table *> CollectPhvLoggingInfo::actionsToTables

Action-related and table-related maps. Mapping from an action to the table which may execute it.

◆ fieldConstraints

ConstrainedFieldMap CollectPhvLoggingInfo::fieldConstraints

Map of fields with their slices, containing snapshot of non-group constraints applied to them before first allocation