Collect every header encountered in the parser and insert them into HeaderInfo. Addtionally, produce header level SymBitMatrix, where keys are header index (position of header in HeaderInfo.all_headers) and values are whether or not two headers are mutually exclusive. More...

#include <header_mutex.h>

Inheritance diagram for AddParserHeadersToHeaderMutexMatrix:

[legend]

Public Member Functions
	AddParserHeadersToHeaderMutexMatrix (PhvInfo &phv, const bitvec &neverOverlay, const PragmaNoOverlay &pragma, HeaderInfo &header_info)

AddParserHeadersToHeaderMutexMatrix *	clone () const override

Public Member Functions inherited from BuildMutex
	BuildMutex (PhvInfo &phv, const bitvec &neverOverlay, const PragmaNoOverlay &pragma, FieldFilter_t ignore_field)

BuildMutex *	clone () const override

Public Member Functions inherited from P4::ControlFlowVisitor
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 ()

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 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

Additional Inherited Members
Public Types inherited from BuildMutex
using	FieldFilter_t = std::function<bool(const PHV::Field *f)>

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)

Public Attributes inherited from P4::Visitor
const Visitor *	called_by = nullptr

cstring	internalName

SplitFlowVisit_base *&	split_link

SplitFlowVisit_base *	split_link_mem = nullptr

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 BuildMutex
void	end_apply () override

void	flow_copy (::ControlFlowVisitor &) override

void	flow_merge (Visitor &) override

profile_t	init_apply (const IR::Node *root) override

bool	preorder (const IR::Expression *) override

bool	preorder (const IR::MAU::Action *act) override

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

Protected Member Functions inherited from P4::Visitor
void	visit_children (const IR::Node *, std::function< void()> fn)

Protected Attributes inherited from BuildMutex
bitvec	fields_encountered
	Tracks the fields encountered (and not ignored) during this analysis.

FieldFilter_t	IgnoreField

SymBitMatrix &	mutually_exclusive

SymBitMatrix	mutually_inclusive

const bitvec &	neverOverlay

PhvInfo &	phv

const PragmaNoOverlay &	pragma

Protected Attributes inherited from P4::ControlFlowVisitor
bool	BackwardsCompatibleBroken = false

flow_join_points_t *	flow_join_points = 0

bool	unreachable = false

Protected Attributes inherited from P4::Visitor
bool	dontForwardChildrenBeforePreorder = false

bool	joinFlows = false

bool	visitDagOnce = true

Detailed Description

Collect every header encountered in the parser and insert them into HeaderInfo. Addtionally, produce header level SymBitMatrix, where keys are header index (position of header in HeaderInfo.all_headers) and values are whether or not two headers are mutually exclusive.

This pass is functionally identical to BuildParserOverlay, which produces a PHV::Field level matrix, but also computes the header level matrix.

Member Function Documentation

◆ clone()

AddParserHeadersToHeaderMutexMatrix * AddParserHeadersToHeaderMutexMatrix::clone ( ) const

inlineoverridevirtual

Implements P4::ControlFlowVisitor.

Public Member Functions

Additional Inherited Members

Detailed Description

Member Function Documentation

◆ clone()