Inheritance diagram for P4::BMV2::ExpressionConverter:

[legend]

Public Member Functions
	ExpressionConverter (P4::ReferenceMap refMap, P4::TypeMap typeMap, P4::ProgramStructure *structure, cstring scalarsName)

Util::IJson *	convert (const IR::Expression *e, bool doFixup=true, bool wrap=true, bool convertBool=false)

Util::IJson *	convertLeftValue (const IR::Expression *e)

virtual Util::IJson *	convertParam (const IR::Parameter *param, cstring fieldName)=0

Util::IJson *	convertWithConstantWidths (const IR::Expression *e)

const IR::Parameter *	enclosingParamReference (const IR::Expression *expression)
	Non-null if the expression refers to a parameter from the enclosing control.

Util::IJson *	fixLocal (Util::IJson *json)

Util::IJson *	get (const IR::Expression *expression) const

bool	isArrayIndexRuntime (const IR::Expression *e)

void	mapExpression (const IR::Expression expression, Util::IJson json)

void	postorder (const IR::AddSat *expression) override

void	postorder (const IR::ArrayIndex *expression) override

void	postorder (const IR::BoolLiteral *expression) override

void	postorder (const IR::Cast *expression) override

void	postorder (const IR::Constant *expression) override

void	postorder (const IR::Expression *expression) override

void	postorder (const IR::IntMod *expression) override

void	postorder (const IR::ListExpression *expression) override

void	postorder (const IR::Member *expression) override

void	postorder (const IR::MethodCallExpression *expression) override

void	postorder (const IR::Mux *expression) override

void	postorder (const IR::Operation_Binary *expression) override

void	postorder (const IR::Operation_Unary *expression) override

void	postorder (const IR::PathExpression *expression) override

void	postorder (const IR::Slice *expression) override

void	postorder (const IR::StringLiteral *expression) override

void	postorder (const IR::StructExpression *expression) override

void	postorder (const IR::SubSat *expression) override

void	postorder (const IR::TypeNameExpression *expression) 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

Public Attributes
bool	simpleExpressionsOnly

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

Member Function Documentation

◆ convert()

Util::IJson * P4::BMV2::ExpressionConverter::convert	(	const IR::Expression *	e,
		bool	doFixup = true,
		bool	wrap = true,
		bool	convertBool = false )

Convert an expression into JSON

Parameters

e	expression to convert
doFixup	Insert masking operations for operands to ensure that the result matches the specification. BMv2 does arithmetic using unbounded precision, but the spec requires fixed precision, specified by the types.
wrap	Wrap the result into an additiona JSON expression block. See the BMv2 JSON spec.
convertBool	Wrap the result into a cast from boolean to data (b2d JSON).

doFixup = true -> insert masking operations for proper arithmetic implementation see below for wrap.

◆ convertParam()

virtual Util::IJson * P4::BMV2::ExpressionConverter::convertParam	(	const IR::Parameter *	param,
		cstring	fieldName )

pure virtual

Each architecture typically has some special parameters that requires special handling. The examples are standard_metadata in the v1model and packet path related metadata in PSA. Each target should subclass the ExpressionConverter and implement this function with target-specific handling code to deal with the special parameters.

Implemented in P4::BMV2::SimpleSwitchExpressionConverter.

Member Data Documentation

◆ simpleExpressionsOnly

bool P4::BMV2::ExpressionConverter::simpleExpressionsOnly

If this is 'true' we fail to convert complex expressions. This is used for table key expressions, for example.

Public Member Functions

Public Attributes

Additional Inherited Members

Member Function Documentation

◆ convert()

◆ convertParam()

Member Data Documentation

◆ simpleExpressionsOnly