Performs actual inlining work. More...

#include <inlining.h>

Inheritance diagram for P4::GeneralInliner:

Public Member Functions
	GeneralInliner (ReferenceMap *refMap, bool _optimizeParserInlining)

Visitor::profile_t	init_apply (const IR::Node *node) override

template<class P4Block , class P4BlockType >
void	inline_subst (P4Block caller, IR::IndexedVector< IR::Declaration > P4Block::blockLocals, const P4BlockType P4Block::blockType)

const IR::Node *	preorder (IR::MethodCallStatement *statement) override

const IR::Node *	preorder (IR::P4Control *caller) override

const IR::Node *	preorder (IR::P4Parser *caller) override

const IR::Node *	preorder (IR::ParserState *state) override

Public Member Functions inherited from P4::AbstractInliner< InlineList, InlineSummary >
void	prepare (InlineList list, InlineSummary toInline)

Public Member Functions inherited from P4::Transform
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 const IR::Node *	postorder (IR::Node *n)

virtual const IR::Node *	preorder (IR::Node *n)

void	prune ()

virtual void	revisit (const IR::Node , const IR::Node )

void	revisit_visited ()

bool	visit_in_progress (const IR::Node *) 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 Member Functions inherited from P4::ResolutionContext
const IR::IDeclaration *	getDeclaration (const IR::Path *path, bool notNull=false) const

const IR::IDeclaration *	getDeclaration (const IR::This *, bool notNull=false) const

auto	getDeclarations (const IR::INamespace *ns) const
	Returns the set of decls that exist in the given namespace.

auto	getDeclsByName (const IR::INamespace *ns, cstring name) const
	Returns the set of decls with the given name that exist in the given namespace.

std::vector< const IR::IDeclaration * >	resolve (const IR::ID &name, ResolutionType type) const
	Resolve references for `name`, restricted to `type` declarations.

virtual const IR::IDeclaration *	resolvePath (const IR::Path *path, bool isType) const

const IR::Type *	resolveType (const IR::Type *type) const
	Resolve a refrence to a type `type`.

const IR::IDeclaration *	resolveUnique (const IR::ID &name, ResolutionType type, const IR::INamespace *=nullptr) const
	Resolve reference for `name`, restricted to `type` declarations, and expect one result.

Public Member Functions inherited from P4::DeclarationLookup

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

Protected Member Functions inherited from P4::AbstractInliner< InlineList, InlineSummary >
Protected Member Functions inherited from P4::Transform
const IR::Node *	transform_child (const IR::Node *child)

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 Member Functions inherited from P4::ResolutionContext
	ResolutionContext (bool ao)

std::vector< const IR::IDeclaration * >	lookup (const IR::INamespace *ns, const IR::ID &name, ResolutionType type) const

std::vector< const IR::IDeclaration * >	lookupMatchKind (const IR::ID &name) const

const IR::Vector< IR::Argument > *	methodArguments (cstring name) const
	We are resolving a method call. Find the arguments from the context.

Protected Attributes inherited from P4::AbstractInliner< InlineList, InlineSummary >
InlineList *	list

InlineSummary *	toInline

Protected Attributes inherited from P4::Transform
bool	forceClone = false

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

bool	joinFlows = false

bool	visitDagOnce = true

Protected Attributes inherited from P4::ResolutionContext
bool	anyOrder = false

Detailed Description

Performs actual inlining work.

Member Function Documentation

◆ init_apply()

Visitor::profile_t P4::GeneralInliner::init_apply ( const IR::Node * node )

overridevirtual

Reimplemented from P4::AbstractInliner< InlineList, InlineSummary >.

◆ inline_subst()

template<class P4Block , class P4BlockType >

void P4::GeneralInliner::inline_subst	(	P4Block *	caller,
		IR::IndexedVector< IR::Declaration > P4Block::*	blockLocals,
		const P4BlockType P4Block::	blockType )

Build the substitutions needed for args and locals of the thing being inlined. P4Block here should be either P4Control or P4Parser. P4BlockType should be either Type_Control or Type_Parser to match the P4Block.

◆ preorder()

const IR::Node * P4::GeneralInliner::preorder ( IR::ParserState * state )

override

Check if there are already inlined states of the callee subparser of the same instance as this one with the same arguments, no statements after this call and transition to the same state (without select expression). If yes, we can reuse those states as after returning from callee subparser the parser continues in the same path.

If there is no other statement after this invocation of the subparser and transition does not use select expression, we store the ID of the inlined subparser's start state, currently processed invocation statement and the transition statement expression.

Public Member Functions

Additional Inherited Members

Detailed Description

Member Function Documentation

◆ init_apply()

◆ inline_subst()

◆ preorder()