#include <finalize_physical_liverange.h>

Inheritance diagram for PHV::FinalizePhysicalLiverange:

Public Member Functions
	FinalizePhysicalLiverange (PhvInfo &phv, const ClotInfo &clot, const TablesMutuallyExclusive &tb_mutex, const FieldDefUse &defuse, const PragmaNoInit &pa_no_init)

const ordered_map< const PHV::Field *, LiveRange > &	unallocated_temp_var_live_ranges () const

Public Member Functions inherited from P4::Inspector
const IR::Node *	apply_visitor (const IR::Node , const char name=0) 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 (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
void	end_apply () override

profile_t	init_apply (const IR::Node *root) override
	init_apply clears internal states.

bool	preorder (const IR::BFN::Extract *extract) override

bool	preorder (const IR::BFN::ParserState *) override
	optimization for visitDagOnce = false: we only need to visit parser state once.

bool	preorder (const IR::BFN::Pipe *pipe) override
	Sets headerStacks.

bool	preorder (const IR::Expression *e) override
	re-map AllocSlices to physical liverange.

bool	preorder (const IR::MAU::Table *t) override
	collect table to stages.

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)

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 Attributes inherited from P4::Visitor
bool	dontForwardChildrenBeforePreorder = false

bool	joinFlows = false

bool	visitDagOnce = true

Detailed Description

FinalizePhysicalLiverange will update live ranges of allocated slices based on the table placement result stored in IR::MAU::Table. It will also update PhvInfo::table_to_physical_stages so the field->foreach_alloc can still work correctly. The algorithm is simple, by pre-ordering on all IR::Expression, we can get the corresponding overlapped AllocSlice for the expression, and update its live range by the unit of the expression.

Constructor & Destructor Documentation

◆ FinalizePhysicalLiverange()

PHV::FinalizePhysicalLiverange::FinalizePhysicalLiverange	(	PhvInfo &	phv,
		const ClotInfo &	clot,
		const TablesMutuallyExclusive &	tb_mutex,
		const FieldDefUse &	defuse,
		const PragmaNoInit &	pa_no_init )

inlineexplicit

TODO: we need to set visitDagOnce to be false because there are some IR nodes that are copied instead of cloned. For example, we notice that the the *_partition_index:alpm expression is copied but they should be cloned.

Member Function Documentation

◆ end_apply()

void PHV::FinalizePhysicalLiverange::end_apply ( )

overrideprotectedvirtual

updates PhvInfo: (1) AllocSlice live range. (2) PhvInfo::table_to_physical_stages.

Reimplemented from P4::Visitor.

◆ init_apply()

profile_t PHV::FinalizePhysicalLiverange::init_apply ( const IR::Node * root )

inlineoverrideprotectedvirtual

init_apply clears internal states.

Reimplemented from P4::Inspector.

◆ preorder()

bool PHV::FinalizePhysicalLiverange::preorder ( const IR::MAU::Table * t )

overrideprotected

collect table to stages.

collect table to stage.

◆ unallocated_temp_var_live_ranges()

const ordered_map< const PHV::Field *, LiveRange > & PHV::FinalizePhysicalLiverange::unallocated_temp_var_live_ranges ( ) const

inline

Returns: unallocated temp vars and their finalized physical live ranges.

Public Member Functions

Protected Member Functions

Additional Inherited Members