#include <test_spec.h>

Inheritance diagram for P4::P4Tools::P4Testgen::Pna::PnaDpdkRegisterValue:

Public Member Functions
	PnaDpdkRegisterValue (const IR::Expression *initialValue)

void	addRegisterCondition (PnaDpdkRegisterCondition cond)
	Each element is an API name paired with a match rule.

	DECLARE_TYPEINFO (PnaDpdkRegisterValue, TestObject)

const PnaDpdkRegisterValue *	evaluate (const Model &model, bool doComplete) const override

const IR::Expression *	getCurrentValue (const IR::Expression *index) const

const IR::Constant *	getEvaluatedValue () const

const IR::Expression *	getInitialValue () const

cstring	getObjectName () const override

Public Member Functions inherited from P4::P4Tools::P4Testgen::TestObject
	TestObject (const TestObject &)=default

	TestObject (TestObject &&)=default

	DECLARE_TYPEINFO (TestObject)

TestObject &	operator= (const TestObject &)=default

TestObject &	operator= (TestObject &&)=default

Public Member Functions inherited from P4::ICastable
template<typename T >
T &	as ()
	Tries to convert the class to type T. A BUG occurs if the cast fails.

template<typename T >
const T &	as () const
	Tries to convert the class to type T. A BUG occurs if the cast fails.

template<typename T >
T *	checkedTo ()
	Performs a checked cast. A BUG occurs if the cast fails.

template<typename T >
const T *	checkedTo () const
	Performs a checked cast. A BUG occurs if the cast fails.

Public Member Functions inherited from P4::RTTI::Base
template<typename T >
bool	is () const noexcept

virtual bool	isA (TypeId typeId) const noexcept=0

template<typename T >
const T *	to () const noexcept
	Same as `to`, but returns const pointer to T.

template<typename T >
T *	to () noexcept

virtual TypeId	typeId () const noexcept=0

Additional Inherited Members
Protected Member Functions inherited from P4::RTTI::Base
virtual const void *	toImpl (TypeId typeId) const noexcept=0

Detailed Description

This object tracks the list of writes that have been performed to a particular register. The registerConditionList represents the pair of the index that was written, and the value that was written to this index. When reading from a register, we can furl this list starting from the first index into a set of nested Mux expressions (e.g., "readIndex == savedIndex ? savedValue : defaultValue", where defaultValue may be another Mux expression). If the read index matches with the index that was saved in this tuple, we return the value, otherwise we unroll the nested MUX expressions. This implicitly handles overwrites too, as the latest writes to a particular index appear the earliest in this unraveling phase..

Member Function Documentation

◆ evaluate()

const PnaDpdkRegisterValue * P4::P4Tools::P4Testgen::Pna::PnaDpdkRegisterValue::evaluate	(	const Model &	model,
		bool	doComplete ) const

nodiscardoverridevirtual

Returns: a version of the test object where all expressions are resolved and symbolic variables are substituted according to the mapping present in the

Parameters

model.

Implements P4::P4Tools::P4Testgen::TestObject.

◆ getCurrentValue()

const IR::Expression * P4::P4Tools::P4Testgen::Pna::PnaDpdkRegisterValue::getCurrentValue ( const IR::Expression * index ) const

Returns: the current value of this register after writes have been performed according to a provided index.

◆ getEvaluatedValue()

const IR::Constant * P4::P4Tools::P4Testgen::Pna::PnaDpdkRegisterValue::getEvaluatedValue ( ) const

nodiscard

Returns: the evaluated register value. This means it must be a constant. The function will throw a bug if this is not the case.

◆ getInitialValue()

const IR::Expression * P4::P4Tools::P4Testgen::Pna::PnaDpdkRegisterValue::getInitialValue ( ) const