Inheritance diagram for P4::P4Tools::P4Testgen::TestgenTarget:

[legend]

Static Public Member Functions
static const TestgenTarget &	get ()

static CmdStepper *	getCmdStepper (ExecutionState &state, AbstractSolver &solver, const ProgramInfo &programInfo)
	Provides a CmdStepper implementation for this target.

static ExprStepper *	getExprStepper (ExecutionState &state, AbstractSolver &solver, const ProgramInfo &programInfo)
	Provides a ExprStepper implementation for this target.

static TestBackEnd *	getTestBackend (const ProgramInfo &programInfo, const TestBackendConfiguration &testBackendConfiguration, SymbolicExecutor &symbex)
	Returns the test back end associated with this P4Testgen target.

static const ProgramInfo *	produceProgramInfo (const CompilerResult &compilerResult)

Static Public Member Functions inherited from P4::P4Tools::CompilerTarget
static std::vector< const char * > *	initCompiler (std::string_view toolName, int argc, char **argv)

static ICompileContext *	makeContext (std::string_view toolName)

static CompilerResultOrError	runCompiler (const CompilerOptions &options, std::string_view toolName)

static CompilerResultOrError	runCompiler (const CompilerOptions &options, std::string_view toolName, const std::string &source)

Static Public Member Functions inherited from P4::P4Tools::Target
static bool	init (std::string deviceName, std::string archName)

static bool	setArch (std::string archName)

static bool	setDevice (std::string deviceName)

Protected Member Functions
	TestgenTarget (const std::string &deviceName, const std::string &archName)

virtual CmdStepper *	getCmdStepperImpl (ExecutionState &state, AbstractSolver &solver, const ProgramInfo &programInfo) const =0

virtual ExprStepper *	getExprStepperImpl (ExecutionState &state, AbstractSolver &solver, const ProgramInfo &programInfo) const =0

virtual TestBackEnd *	getTestBackendImpl (const ProgramInfo &programInfo, const TestBackendConfiguration &testBackendConfiguration, SymbolicExecutor &symbex) const =0

const ProgramInfo *	produceProgramInfoImpl (const CompilerResult &compilerResult) const

virtual const ProgramInfo *	produceProgramInfoImpl (const CompilerResult &compilerResult, const IR::Declaration_Instance *mainDecl) const =0

CompilerResultOrError	runCompilerImpl (const CompilerOptions &options, const IR::P4Program *program) const override

Protected Member Functions inherited from P4::P4Tools::CompilerTarget
	CompilerTarget (std::string_view toolName, const std::string &deviceName, const std::string &archName)

virtual std::vector< const char * > *	initCompilerImpl (int argc, char **argv) const

virtual ICompileContext *	makeContextImpl () const

virtual P4::FrontEnd	mkFrontEnd () const
	A factory method for providing a target-specific front end implementation.

virtual MidEnd	mkMidEnd (const CompilerOptions &options) const
	A factory method for providing a target-specific mid end implementation.

const IR::P4Program *	runFrontend (const CompilerOptions &options, const IR::P4Program *program) const

const IR::P4Program *	runMidEnd (const CompilerOptions &options, const IR::P4Program *program) const

Protected Member Functions inherited from P4::P4Tools::Target
	Target (std::string_view toolName, const std::string &deviceName, const std::string &archName)

Additional Inherited Members
Public Member Functions inherited from P4::P4Tools::Target
virtual const IR::Expression *	createTargetUninitialized (const IR::Type *type, bool forceTaint) const

Public Attributes inherited from P4::P4Tools::Target
Spec	spec
	The device and architecture supported by this instance.

std::string	toolName
	The name of the tool supported by this instance.

Static Protected Member Functions inherited from P4::P4Tools::CompilerTarget
static const IR::P4Program *	runParser (const ParserOptions &options)

Static Protected Member Functions inherited from P4::P4Tools::Target
template<class TargetImpl >
static const TargetImpl &	get (std::string_view toolName)

Member Function Documentation

◆ get()

const TestgenTarget & P4::P4Tools::P4Testgen::TestgenTarget::get ( )

static

Returns: the singleton instance for the current target.

◆ getCmdStepperImpl()

virtual CmdStepper * P4::P4Tools::P4Testgen::TestgenTarget::getCmdStepperImpl	(	ExecutionState &	state,
		AbstractSolver &	solver,
		const ProgramInfo &	programInfo ) const

protectedpure virtual

See also: getCmdStepper.

Implemented in P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelTestgenTarget, P4::P4Tools::P4Testgen::EBPF::EBPFTestgenTarget, and P4::P4Tools::P4Testgen::Pna::PnaDpdkTestgenTarget.

◆ getExprStepperImpl()

virtual ExprStepper * P4::P4Tools::P4Testgen::TestgenTarget::getExprStepperImpl	(	ExecutionState &	state,
		AbstractSolver &	solver,
		const ProgramInfo &	programInfo ) const

protectedpure virtual

See also: getExprStepper.

Implemented in P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelTestgenTarget, P4::P4Tools::P4Testgen::EBPF::EBPFTestgenTarget, and P4::P4Tools::P4Testgen::Pna::PnaDpdkTestgenTarget.

◆ getTestBackendImpl()

virtual TestBackEnd * P4::P4Tools::P4Testgen::TestgenTarget::getTestBackendImpl	(	const ProgramInfo &	programInfo,
		const TestBackendConfiguration &	testBackendConfiguration,
		SymbolicExecutor &	symbex ) const

protectedpure virtual

See also: getTestBackend.

Implemented in P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelTestgenTarget, P4::P4Tools::P4Testgen::EBPF::EBPFTestgenTarget, and P4::P4Tools::P4Testgen::Pna::PnaDpdkTestgenTarget.

◆ produceProgramInfo()

const ProgramInfo * P4::P4Tools::P4Testgen::TestgenTarget::produceProgramInfo ( const CompilerResult & compilerResult )

static

Produces a @ProgramInfo for the given P4 program.

Returns: nullptr if the program is not supported by this target.

◆ produceProgramInfoImpl() [1/2]

const ProgramInfo * P4::P4Tools::P4Testgen::TestgenTarget::produceProgramInfoImpl ( const CompilerResult & compilerResult ) const

nodiscardprotected

See also: @produceProgramInfo.

◆ produceProgramInfoImpl() [2/2]

virtual const ProgramInfo * P4::P4Tools::P4Testgen::TestgenTarget::produceProgramInfoImpl	(	const CompilerResult &	compilerResult,
		const IR::Declaration_Instance *	mainDecl ) const

protectedpure virtual

See also: @produceProgramInfo.

Implemented in P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelTestgenTarget, P4::P4Tools::P4Testgen::EBPF::EBPFTestgenTarget, and P4::P4Tools::P4Testgen::Pna::PnaDpdkTestgenTarget.

◆ runCompilerImpl()

CompilerResultOrError P4::P4Tools::P4Testgen::TestgenTarget::runCompilerImpl	(	const CompilerOptions &	options,
		const IR::P4Program *	program ) const

overrideprotectedvirtual

See also: runCompiler.

Collect coverage information about the program.

Reimplemented from P4::P4Tools::CompilerTarget.

Static Public Member Functions

Protected Member Functions

Additional Inherited Members

Member Function Documentation

◆ get()

◆ getCmdStepperImpl()

◆ getExprStepperImpl()

◆ getTestBackendImpl()

◆ produceProgramInfo()

◆ produceProgramInfoImpl() [1/2]

◆ produceProgramInfoImpl() [2/2]

◆ runCompilerImpl()