P4C
The P4 Compiler
|
Public Types | |
using | TnaContext = std::pair<gress_t, const TnaParams &> |
using | TnaParams = ordered_map<cstring, cstring> |
Public Types inherited from P4::Visitor | |
typedef Visitor_Context | Context |
Public Member Functions | |
CollectBridgedFields (P4::ReferenceMap *refMap, P4::TypeMap *typeMap) | |
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 void | end_apply (const IR::Node *root) |
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 bool | flow_merge_closure (Visitor &) |
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 |
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_set< cstring > | doNotBridge |
ordered_map< FieldRef, BridgedFieldInfo > | fieldInfo |
std::set< FieldRef > | fieldsToBridge |
ordered_set< FieldRef > | mayReadUninitialized [2] |
ordered_set< FieldRef > | mayWrite [2] |
ordered_set< FieldRef > | mustWrite [2] |
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 | |
Static Public Member Functions inherited from P4::Visitor | |
static cstring | demangle (const char *) |
static bool | warning_enabled (const Visitor *visitor, int warning_kind) |
Protected Types inherited from P4::ControlFlowVisitor | |
typedef std::map< const IR::Node *, flow_join_info_t > | flow_join_points_t |
Protected Member Functions inherited from P4::Visitor | |
void | visit_children (const IR::Node *, std::function< void()> fn) |
Protected Member Functions inherited from P4::ControlFlowVisitor | |
virtual void | applySetupJoinPoints (const IR::Node *root) |
virtual bool | filter_join_point (const IR::Node *) |
void | init_join_flows (const IR::Node *root) override |
bool | join_flows (const IR::Node *n) override |
void | post_join_flows (const IR::Node *, const IR::Node *) override |
bool | check_global (cstring key) override |
void | clear_globals () override |
ControlFlowVisitor * | controlFlowVisitor () override |
void | erase_global (cstring key) override |
ControlFlowVisitor & | flow_clone () override |
virtual void | flow_copy (ControlFlowVisitor &)=0 |
const flow_join_info_t * | flow_join_status (const IR::Node *n) const |
void | flow_merge_global_from (cstring key) override |
void | flow_merge_global_to (cstring key) override |
bool | has_flow_joins () const override |
bool | isUnreachable () |
bool | operator!= (const ControlFlowVisitor &v) const |
virtual bool | operator== (const ControlFlowVisitor &) const |
void | restore_global (std::pair< cstring, ControlFlowVisitor * > saved) |
std::pair< cstring, ControlFlowVisitor * > | save_global (cstring key) |
void | setUnreachable () |
Protected Member Functions inherited from P4::P4WriteContext | |
bool | isRead (bool root_value=false) |
bool | isWrite (bool root_value=false) |
Protected Attributes inherited from P4::Visitor | |
bool | dontForwardChildrenBeforePreorder = false |
bool | joinFlows = false |
bool | visitDagOnce = true |
Protected Attributes inherited from P4::ControlFlowVisitor | |
bool | BackwardsCompatibleBroken = false |
flow_join_points_t * | flow_join_points = 0 |
bool | unreachable = false |