Internal implementation for LongestPathAnalysis. More...

Collaboration diagram for synth.LongestPathAnalysis::Impl:

[legend]

Public Member Functions
	Impl (Operation *module, mlir::AnalysisManager &am, const LongestPathAnalysisOptions &option)

LogicalResult	initializeAndRun (mlir::ModuleOp module)
	Initialize and run analysis for a full MLIR module (hierarchical).

LogicalResult	initializeAndRun (hw::HWModuleOp module)
	Initialize and run analysis for a single HW module (local scope).

bool	isAnalysisAvailable (StringAttr moduleName) const
	Return true if we have a LocalVisitor for the given HW module.

LogicalResult	computeGlobalPaths (Value value, size_t bitPos, SmallVectorImpl< DataflowPath > &results)
	Compute hierarchical timing paths to (value, bitPos) and append to results.

template<bool elaborate>
LogicalResult	collectClosedPaths (StringAttr moduleName, SmallVectorImpl< DataflowPath > &results) const
	Collect register-to-register (closed) paths within the module.

LogicalResult	collectInputToInternalPaths (StringAttr moduleName, SmallVectorImpl< DataflowPath > &results) const
	Collect open paths from module input ports to internal sequential sinks.

LogicalResult	collectInternalToOutputPaths (StringAttr moduleName, SmallVectorImpl< DataflowPath > &results) const
	Collect open paths from internal sequential sources to module output ports.

llvm::ArrayRef< hw::HWModuleOp >	getTopModules () const
	Top modules inferred or specified for this analysis run.

FailureOr< int64_t >	getAverageMaxDelay (Value value)
	Return average of per-bit max delays for a value.

FailureOr< int64_t >	getMaxDelay (Value value, int64_t bitPos)
	Return the max delay for a value.

FailureOr< ArrayRef< OpenPath > >	computeLocalPaths (Value value, size_t bitPos)
	Compute local open paths to (value, bitPos).

Private Member Functions
LogicalResult	computeGlobalPaths (const Object &originalObject, Value value, size_t bitPos, SmallVectorImpl< DataflowPath > &results)
	Recursive helper for computeGlobalPaths.

Private Attributes
Context	ctx
	Analysis context.

SmallVector< hw::HWModuleOp >	topModules
	Top-level HW modules that seed hierarchical analysis.

Friends
class	IncrementalLongestPathAnalysis

Detailed Description

Internal implementation for LongestPathAnalysis.

This class owns per-module LocalVisitors, orchestrates initialization over the instance graph, and provides the concrete implementations for the public LongestPathAnalysis API.

Definition at line 1516 of file LongestPathAnalysis.cpp.

Constructor & Destructor Documentation

◆ Impl()

synth.LongestPathAnalysis::Impl::Impl	(	Operation *	module,
		mlir::AnalysisManager &	am,
		const LongestPathAnalysisOptions &	option
	)

Definition at line 1735 of file LongestPathAnalysis.cpp.

References synth.LongestPathAnalysis::Impl::initializeAndRun().

Member Function Documentation

◆ collectClosedPaths()

template<bool elaborate>

LogicalResult synth.LongestPathAnalysis::Impl::collectClosedPaths	(	StringAttr	moduleName,
		SmallVectorImpl< DataflowPath > &	results
	)		const

Collect register-to-register (closed) paths within the module.

When 'elaborate' is true, paths are elaborated with instance paths from moduleName.

Definition at line 1644 of file LongestPathAnalysis.cpp.

References synth.LongestPathAnalysis::Impl::collectClosedPaths(), LocalVisitor::getInstancePathCache(), Context::getLocalVisitorMutable(), circt::igraph::InstancePathCache::getRelativePaths(), Context::instanceGraph, and circt::igraph::InstanceGraph::lookup().

Referenced by synth.LongestPathAnalysis::Impl::collectClosedPaths().

◆ collectInputToInternalPaths()

LogicalResult synth.LongestPathAnalysis::Impl::collectInputToInternalPaths	(	StringAttr	moduleName,
		SmallVectorImpl< DataflowPath > &	results
	)		const

Collect open paths from module input ports to internal sequential sinks.

Definition at line 1694 of file LongestPathAnalysis.cpp.

References synth.LongestPathAnalysis::Impl::collectInputToInternalPaths(), and Context::getLocalVisitor().

Referenced by synth.LongestPathAnalysis::Impl::collectInputToInternalPaths().

◆ collectInternalToOutputPaths()

LogicalResult synth.LongestPathAnalysis::Impl::collectInternalToOutputPaths	(	StringAttr	moduleName,
		SmallVectorImpl< DataflowPath > &	results
	)		const

Collect open paths from internal sequential sources to module output ports.

Definition at line 1714 of file LongestPathAnalysis.cpp.

References synth.LongestPathAnalysis::Impl::collectInternalToOutputPaths(), and Context::getLocalVisitor().

Referenced by synth.LongestPathAnalysis::Impl::collectInternalToOutputPaths().

◆ computeGlobalPaths() [1/2]

LogicalResult synth.LongestPathAnalysis::Impl::computeGlobalPaths	(	const Object &	originalObject,
		Value	value,
		size_t	bitPos,
		SmallVectorImpl< DataflowPath > &	results
	)