Base class which can be used to prepare classes for checking constraints for invocations of externs (both methods and pure functions) in parsers and control blocks. More...

#include <checkExternInvocationCommon.h>

Inheritance diagram for P4::CheckExternInvocationCommon:

[legend]

Public Member Functions
bool	preorder (const IR::MethodCallExpression *expr) override

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

Protected Member Functions
	CheckExternInvocationCommon (ReferenceMap refMap, TypeMap typeMap)

virtual void	checkExtern (const ExternFunction extFunction, const IR::MethodCallExpression expr)
	Method for checking constraints of extern functions given by parameters.

virtual void	checkExtern (const ExternMethod extMethod, const IR::MethodCallExpression expr)
	Method for checking constraints of extern method given by parameters.

void	checkPipeConstraints (cstring extType, bitvec bv, const IR::MethodCallExpression *expr, cstring extName, cstring pipe)
	Check if the invocation of extern object method or extern function is valid in the block where it is invoked.

cstring	extractBlock (bitvec vec)
	Get the name of the block which is represented by bit set in the bitvec.

virtual cstring	getBlockName (int bit)=0
	Get the name of the block which is represented in bit vector (bitvec) by bit with index given by 'bit' parameter.

virtual void	initPipeConstraints ()=0
	Method used to initialize the constraints.

void	setPipeConstraints (cstring extType, bitvec vec)
	Set the pipe (parser/control block) constraints.

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
std::map< cstring, bitvec >	pipeConstraints

ReferenceMap *	refMap

TypeMap *	typeMap

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

bool	joinFlows = false

bool	visitDagOnce = true

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)

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

cstring	internalName

SplitFlowVisit_base *&	split_link

SplitFlowVisit_base *	split_link_mem = nullptr

Detailed Description

Base class which can be used to prepare classes for checking constraints for invocations of externs (both methods and pure functions) in parsers and control blocks.

This class contains basic operations which should be common for checkers used for various targets and architectures.

Example class which inherits from this base class can be seen in backends/dpdk/dpdkCheckExternInvocation.h.

Member Function Documentation

◆ checkExtern() [1/2]

virtual void P4::CheckExternInvocationCommon::checkExtern	(	const ExternFunction *	extFunction,
		const IR::MethodCallExpression *	expr )

inlineprotectedvirtual

Method for checking constraints of extern functions given by parameters.

If there are no constraints for extern functions, inheriting class does not need to implement this method.

Parameters

extMethod	Pointer to object representing extern function.
expr	Pointer to function call expression.

◆ checkExtern() [2/2]

virtual void P4::CheckExternInvocationCommon::checkExtern	(	const ExternMethod *	extMethod,
		const IR::MethodCallExpression *	expr )

inlineprotectedvirtual

Method for checking constraints of extern method given by parameters.

If there are no constraints for extern methods, inheriting class does not need to implement this method.

Parameters

extMethod	Pointer to object representing extern method.
expr	Pointer to method call expression.

◆ checkPipeConstraints()

void P4::CheckExternInvocationCommon::checkPipeConstraints	(	cstring	extType,
		bitvec	bv,
		const IR::MethodCallExpression *	expr,
		cstring	extName,
		cstring	pipe )

inlineprotected

Check if the invocation of extern object method or extern function is valid in the block where it is invoked.

Parameters

extType	Name of the extern object or extern function.
bv	Bit vector which has set the bit representing the block in which the extern object method or extern function is invoked.
expr	Method or function call expression.
extName	Name of extern object in case of extern object method invocation. Empty string ("") in case of extern function invocation.
pipe	Name of the parser or control block in which the method or the function is invoked.

◆ extractBlock()

cstring P4::CheckExternInvocationCommon::extractBlock ( bitvec vec )

inlineprotected

Get the name of the block which is represented by bit set in the bitvec.

Parameters

vec	Bit vector.

Returns: cstring Name of the block represented by index of set bit in the bitvec.

◆ getBlockName()

virtual cstring P4::CheckExternInvocationCommon::getBlockName ( int bit )

protectedpure virtual

Get the name of the block which is represented in bit vector (bitvec) by bit with index given by 'bit' parameter.

Parameters

bit	Index of bit which represents the block in bit vector.

Returns: cstring Name of the block represented by index with 'bit' parameter value.

◆ initPipeConstraints()

virtual void P4::CheckExternInvocationCommon::initPipeConstraints ( )

protectedpure virtual

Method used to initialize the constraints.

Method setPipeConstraints() can be used in implementation of initPipeConstraints() method to initialize the constraints.

Method initPipeConstraints() should be called in the constructor of inheriting class.

◆ setPipeConstraints()

void P4::CheckExternInvocationCommon::setPipeConstraints	(	cstring	extType,
		bitvec	vec )

inlineprotected

Set the pipe (parser/control block) constraints.

Should be used in the initPipeConstraints() method.

Parameters

extType	Name of the extern object or function for which we set constraints.
vec	Bit vector representing the blocks (parser/control) in which the use of extern object method or function is valid.

Public Member Functions

Protected Member Functions

Protected Attributes

Additional Inherited Members

Detailed Description

Member Function Documentation

◆ checkExtern() [1/2]

◆ checkExtern() [2/2]

◆ checkPipeConstraints()

◆ extractBlock()

◆ getBlockName()

◆ initPipeConstraints()

◆ setPipeConstraints()