circt::aig::IncrementalLongestPathAnalysis Class Reference

#include <LongestPathAnalysis.h>

Inheritance diagram for circt::aig::IncrementalLongestPathAnalysis:

Collaboration diagram for circt::aig::IncrementalLongestPathAnalysis:

Public Member Functions
	IncrementalLongestPathAnalysis (Operation *moduleOp, mlir::AnalysisManager &am)
FailureOr< int64_t >	getOrComputeMaxDelay (Value value, size_t bitPos)
FailureOr< ArrayRef< OpenPath > >	getOrComputePaths (Value value, size_t bitPos)
bool	isOperationValidToMutate (Operation *op) const
void	notifyOperationModified (Operation *op) override
void	notifyOperationReplaced (Operation *op, ValueRange replacement) override
void	notifyOperationErased (Operation *op) override

Private Attributes
bool	isAnalysisValid = true
Private Attributes inherited from circt::aig::LongestPathAnalysis
Impl *	impl

Additional Inherited Members
Private Member Functions inherited from circt::aig::LongestPathAnalysis
	LongestPathAnalysis (Operation *moduleOp, mlir::AnalysisManager &am, const LongestPathAnalysisOption &option={})
	~LongestPathAnalysis ()
LogicalResult	getResults (Value value, size_t bitPos, SmallVectorImpl< DataflowPath > &results) const
int64_t	getMaxDelay (Value value) const
int64_t	getAverageMaxDelay (Value value) const
LogicalResult	getClosedPaths (StringAttr moduleName, SmallVectorImpl< DataflowPath > &results, bool elaboratePaths=false) const
LogicalResult	getOpenPathsFromInputPortsToInternal (StringAttr moduleName, SmallVectorImpl< DataflowPath > &results) const
LogicalResult	getOpenPathsFromInternalToOutputPorts (StringAttr moduleName, SmallVectorImpl< DataflowPath > &results) const
LogicalResult	getAllPaths (StringAttr moduleName, SmallVectorImpl< DataflowPath > &results, bool elaboratePaths=false) const
bool	isAnalysisAvailable (StringAttr moduleName) const
llvm::ArrayRef< hw::HWModuleOp >	getTopModules () const
MLIRContext *	getContext () const
Static Private Member Functions inherited from circt::aig::LongestPathAnalysis
static StringRef	getTopModuleNameAttrName ()

Detailed Description

Definition at line 271 of file LongestPathAnalysis.h.

Constructor & Destructor Documentation

IncrementalLongestPathAnalysis()

circt::aig::IncrementalLongestPathAnalysis::IncrementalLongestPathAnalysis ( Operation *  moduleOp, mlir::AnalysisManager &  am  )

inline

Definition at line 274 of file LongestPathAnalysis.h.

Member Function Documentation

getOrComputeMaxDelay()

FailureOr< int64_t > IncrementalLongestPathAnalysis::getOrComputeMaxDelay	(	Value	value,
		size_t	bitPos
	)

Definition at line 1873 of file LongestPathAnalysis.cpp.

References getMaxDelayInPaths(), circt::aig::LongestPathAnalysis::impl, and isAnalysisValid.

getOrComputePaths()

FailureOr< ArrayRef< OpenPath > > IncrementalLongestPathAnalysis::getOrComputePaths	(	Value	value,
		size_t	bitPos
	)

Definition at line 1865 of file LongestPathAnalysis.cpp.

References circt::aig::LongestPathAnalysis::impl, and isAnalysisValid.

isOperationValidToMutate()

bool IncrementalLongestPathAnalysis::isOperationValidToMutate

(

Operation *

op

)

const

Definition at line 1884 of file LongestPathAnalysis.cpp.

References circt::aig::LongestPathAnalysis::impl, and isAnalysisValid.

Referenced by notifyOperationModified().

notifyOperationErased()

void IncrementalLongestPathAnalysis::notifyOperationErased ( Operation *  op )

override

Definition at line 1919 of file LongestPathAnalysis.cpp.

References notifyOperationModified().

notifyOperationModified()

void IncrementalLongestPathAnalysis::notifyOperationModified ( Operation *  op )

override

Definition at line 1910 of file LongestPathAnalysis.cpp.

References isAnalysisValid, and isOperationValidToMutate().

Referenced by notifyOperationErased(), and notifyOperationReplaced().

notifyOperationReplaced()

void IncrementalLongestPathAnalysis::notifyOperationReplaced ( Operation *  op, ValueRange  replacement  )

override

Definition at line 1914 of file LongestPathAnalysis.cpp.

References notifyOperationModified().

Member Data Documentation

isAnalysisValid

bool circt::aig::IncrementalLongestPathAnalysis::isAnalysisValid = true

private

Definition at line 293 of file LongestPathAnalysis.h.

Referenced by getOrComputeMaxDelay(), getOrComputePaths(), isOperationValidToMutate(), and notifyOperationModified().

---

The documentation for this class was generated from the following files:

• /home/runner/work/circt-www/circt-www/circt_src/include/circt/Dialect/AIG/Analysis/LongestPathAnalysis.h
• /home/runner/work/circt-www/circt-www/circt_src/lib/Dialect/AIG/Analysis/LongestPathAnalysis.cpp