Inheritance diagram for PHV::Pragmas:

[legend]

Public Member Functions
	Pragmas (PhvInfo &phv)

	Pragmas (PhvInfo &phv, const ordered_map< cstring, std::vector< PHV::Size > > &container_size_constr, const ordered_map< cstring, ordered_set< cstring > > &no_pack_constr)

PragmaAtomic &	pa_atomic ()

const PragmaAtomic &	pa_atomic () const

PragmaBytePack &	pa_byte_pack ()

const PragmaBytePack &	pa_byte_pack () const

PragmaContainerSize &	pa_container_sizes ()

const PragmaContainerSize &	pa_container_sizes () const

PragmaContainerType &	pa_container_type ()

const PragmaContainerType &	pa_container_type () const

PragmaDeparserZero &	pa_deparser_zero ()

const PragmaDeparserZero &	pa_deparser_zero () const

PragmaMutuallyExclusive &	pa_mutually_exclusive ()

const PragmaMutuallyExclusive &	pa_mutually_exclusive () const

PragmaNoInit &	pa_no_init ()

const PragmaNoInit &	pa_no_init () const

PragmaNoOverlay &	pa_no_overlay ()

const PragmaNoOverlay &	pa_no_overlay () const

PragmaNoPack &	pa_no_pack ()

const PragmaNoPack &	pa_no_pack () const

PragmaSolitary &	pa_solitary ()

const PragmaSolitary &	pa_solitary () const

Public Member Functions inherited from P4::PassManager
	PassManager (const PassManager &)=default

	PassManager (const std::initializer_list< VisitorRef > &init)

	PassManager (PassManager &&)=default

void	addDebugHook (DebugHook h, bool recursive=false)

void	addDebugHooks (std::vector< DebugHook > hooks, bool recursive=false)

void	addPasses (const std::initializer_list< VisitorRef > &init)

const IR::Node *	apply_visitor (const IR::Node , const char =0) override

bool	backtrack (trigger &trig) override

PassManager *	clone () const override

void	early_exit ()

void	listPasses (std::ostream &, cstring sep) const

bool	never_backtracks () override

void	removePasses (const std::vector< cstring > &exclude)

void	setStopOnError (bool stop)

Public Member Functions inherited from P4::Visitor
virtual bool	check_clone (const Visitor *a)

virtual bool	check_global (cstring)

virtual void	clear_globals ()

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)

template<class T>
bool	isInContext () const

template<class T>
bool	isInContext (const Context *&c) const

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

Static Public Member Functions
static bool	checkNumberArgs (const IR::Annotation *annotation, unsigned required_args, const unsigned min_required_args, bool exact_number_of_args, cstring pragma_name, cstring pragma_args_wo_pipe)

static bool	checkPipeApplication (const IR::Annotation annotation, const IR::BFN::Pipe pipe, const IR::StringLiteral *pipe_arg)

static bool	checkStringLiteralArgs (const IR::Vector< IR::Expression > &exprs)

static bool	determinePipeGressArgs (const IR::Vector< IR::Expression > &exprs, unsigned &expr_index, unsigned &required_args, const IR::StringLiteral &pipe_arg, const IR::StringLiteral &gress_arg)

static bool	gressValid (cstring gress)

static void	reportNoMatchingPHV (const IR::BFN::Pipe pipe, const IR::Expression expr, cstring field_name=""_cs)

Static Public Member Functions inherited from P4::Visitor
static cstring	demangle (const char *)

static bool	warning_enabled (const Visitor *visitor, int warning_kind)

Additional Inherited Members
Public Types inherited from P4::Visitor
typedef Visitor_Context	Context

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

cstring	internalName

SplitFlowVisit_base *&	split_link

SplitFlowVisit_base *	split_link_mem = nullptr

Protected Member Functions inherited from P4::PassManager
profile_t	init_apply (const IR::Node *root) override

void	runDebugHooks (const char visitorName, const IR::Node node)

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)

virtual void	visitAgain () const

virtual void	visitOnce () const

Protected Attributes inherited from P4::PassManager
safe_vector< DebugHook >	debugHooks

safe_vector< Visitor * >	passes

bool	running = false

unsigned	seqNo = 0

bool	stop_on_error = true

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

bool	joinFlows = false

bool	visitDagOnce = true

Member Function Documentation

◆ checkNumberArgs()

bool PHV::Pragmas::checkNumberArgs	(	const IR::Annotation *	annotation,
		unsigned	required_args,
		const unsigned	min_required_args,
		bool	exact_number_of_args,
		cstring	pragma_name,
		cstring	pragma_args_wo_pipe )

static

Check if the number of arguments is suitable for the specified pragma.

Parameters

[in]	annotation	Annotation IR
[in]	required_args	Number of required arguments
[in]	min_required_args	Minimal number of required arguments
[in]	exact_number_of_args	Number of required arguments is exact or minimal
[in]	pragma_name	Pragma name
[in]	pragma_args_wo_pipe	Arguments of the pragma excluding pipe argument

Returns: Returns true if suitable number of arguments is passed, false otherwise.

◆ checkPipeApplication()

bool PHV::Pragmas::checkPipeApplication	(	const IR::Annotation *	annotation,
		const IR::BFN::Pipe *	pipe,
		const IR::StringLiteral *	pipe_arg )

static

Check whether the pragma should be applied in the specified pipe.

Parameters

[in]	annotation	Pragma
[in]	pipe	Pipe IR argument
[in]	pipe_arg	Pipe argument delivered in the pragma

Returns: Returns true if the pragma should be applied in the specified pipe, false otherwise.

◆ checkStringLiteralArgs()

bool PHV::Pragmas::checkStringLiteralArgs ( const IR::Vector< IR::Expression > & exprs )

static

Check if all arguments of the pragma are string literals.

Parameters

[in] exprs List of expressions

Returns: true if all arguments of the pragma are string literals, false otherwise.

◆ determinePipeGressArgs()

bool PHV::Pragmas::determinePipeGressArgs	(	const IR::Vector< IR::Expression > &	exprs,
		unsigned &	expr_index,
		unsigned &	required_args,
		const IR::StringLiteral *&	pipe_arg,
		const IR::StringLiteral *&	gress_arg )

static

Check if valid combination of pipe and gress arguments is passed.

Parameters

[in]	exprs	List of expressions
[in,out]	expr_index	Index of the first argument that is not pipe or gress
[in,out]	required_args	Minimal number of arguments without the pipe argument
[out]	pipe_arg	Pointer to the pipe argument
[out]	gress_arg	Pointer to the gress argument

Returns: true if valid combination of pipe and gress arguments is found, false otherwise.

◆ gressValid()

bool PHV::Pragmas::gressValid ( cstring gress )

static

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

Returns: true if for the associated @pragmaName, the gress is either ingress or egress.

◆ reportNoMatchingPHV()

void PHV::Pragmas::reportNoMatchingPHV	(	const IR::BFN::Pipe *	pipe,
		const IR::Expression *	expr,
		cstring	field_name = ""_cs )

static

Report no matching PHV field.

Parameters

[in]	pipe	Pipe IR. If null, pipe name is not shown.
[in]	expr	Expression IR with source info.
[in]	field_name	If `expr` is null, use this argument as the field name.

Public Member Functions

Static Public Member Functions

Additional Inherited Members

Member Function Documentation

◆ checkNumberArgs()

◆ checkPipeApplication()

◆ checkStringLiteralArgs()

◆ determinePipeGressArgs()

◆ gressValid()

◆ reportNoMatchingPHV()