#include <build_mutex.h>

Inheritance diagram for BuildMutex:

Public Types
using	FieldFilter_t = std::function<bool(const PHV::Field *f)>

Public Types inherited from P4::Visitor
typedef Visitor_Context	Context

Public Member Functions
	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

Protected Member Functions
void	end_apply () override

void	flow_copy (::ControlFlowVisitor &) override

void	flow_merge (Visitor &) override

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

virtual void	mark (const PHV::Field *)

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

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)

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

Detailed Description

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

◆ clone()

BuildMutex * BuildMutex::clone ( ) const

inlineoverridevirtual

Implements P4::ControlFlowVisitor.

◆ end_apply()

void BuildMutex::end_apply ( )

overrideprotectedvirtual

Reimplemented from P4::Visitor.

◆ flow_merge()

void BuildMutex::flow_merge ( Visitor & )

overrideprotectedvirtual

Merge the given visitor into this visitor at a joint point in the control flow graph. Should update @this and leave the other unchanged.

Implements P4::ControlFlowVisitor.

◆ init_apply()

Visitor::profile_t BuildMutex::init_apply ( const IR::Node * root )

overrideprotected

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

◆ IgnoreField

FieldFilter_t BuildMutex::IgnoreField

protected

Returns: true if f should be ignored in this analysis.

◆ mutually_exclusive

SymBitMatrix& BuildMutex::mutually_exclusive

protected

If mutually_inclusive(f1, f2) == false, i.e. f1 and f2 never appear on the same control flow path, then f1 and f2 are mutually exclusive.

◆ mutually_inclusive

SymBitMatrix BuildMutex::mutually_inclusive

protected

If mutually_inclusive(f1->id, f2->id), then fields f1 and f2 are used or defined on the same control flow path.

Public Types

Public Member Functions

Protected Member Functions

Protected Attributes

Additional Inherited Members

Detailed Description

Member Function Documentation

◆ clone()

◆ end_apply()

◆ flow_merge()

◆ init_apply()

Member Data Documentation

◆ IgnoreField

◆ mutually_exclusive

◆ mutually_inclusive