Inheritance diagram for ResolveTracesPass:

Collaboration diagram for ResolveTracesPass:

[legend]

Public Member Functions
void	runOnOperation () override

Private Member Functions
unsigned	getSymbolIndex (Attribute attr)
	Get a symbol index and update symbol datastructures. More...

void	buildTarget (AnnoPathValue &path, SmallString< 64 > &newTarget)
	Convert an annotation path to a string with symbol substitutions. More...

AnnoPathValue	updateTargetImpl (Annotation &anno, FModuleLike &module, FIRRTLBaseType type, hw::InnerRefAttr name, AnnoTarget target)
	Internal implementation that updates an Annotation to add a "target" field based on the current location of the annotation in the circuit. More...

std::optional< AnnoPathValue >	updatePortTarget (FModuleLike &module, Annotation &anno, unsigned portIdx, hw::InnerRefAttr innerRef)
	Add a "target" field to a port Annotation that indicates the current location of the port in the circuit. More...

std::optional< AnnoPathValue >	updateTarget (FModuleLike &module, Operation *op, Annotation &anno, hw::InnerRefAttr innerRef)
	Add a "target" field to an Annotation that indicates the current location of a component in the circuit. More...

std::optional< AnnoPathValue >	updateModuleTarget (FModuleLike &module, Annotation &anno)
	Add a "target" field to an Annotation on a Module that indicates the current location of the module. More...

Private Attributes
NLATable *	nlaTable
	Stores a pointer to an NLA Table. More...

hw::InnerSymbolTableCollection *	istc
	Stores a pointer to an inner symbol table collection. More...

unsigned	symbolIdx = 0
	Global symbol index used for substitutions, e.g., "{{42}}". More...

DenseMap< Attribute, unsigned >	symbolMap
	Map of symbol to symbol index. More...

SmallVector< Attribute >	symbols
	Symbol substitutions for the JSON verbatim op. More...

Detailed Description

Definition at line 75 of file ResolveTraces.cpp.

Member Function Documentation

◆ buildTarget()

void ResolveTracesPass::buildTarget	(	AnnoPathValue &	path,
		SmallString< 64 > &	newTarget
	)

inlineprivate

Convert an annotation path to a string with symbol substitutions.

Definition at line 114 of file ResolveTraces.cpp.

References assert(), circt::firrtl::FIRRTLTypeSwitch< T, ResultT >::Case(), circt::firrtl::AnnoPathValue::fieldIdx, circt::calyx::direction::get(), circt::hw::InnerSymbolTable::getInnerSymbol(), circt::firrtl::AnnoTarget::getModule(), circt::firrtl::AnnoTarget::getOp(), circt::firrtl::AnnoTarget::getType(), circt::firrtl::AnnoPathValue::instances, circt::firrtl::AnnoPathValue::isLocal(), circt::firrtl::AnnoPathValue::isOpOfType(), and circt::firrtl::AnnoPathValue::ref.

◆ getSymbolIndex()

unsigned ResolveTracesPass::getSymbolIndex ( Attribute attr )

inlineprivate

Get a symbol index and update symbol datastructures.

Definition at line 101 of file ResolveTraces.cpp.

◆ runOnOperation()

void ResolveTracesPass::runOnOperation ( )

override

Definition at line 277 of file ResolveTraces.cpp.

References circt::calyx::direction::get(), circt::firrtl::getInnerRefTo(), circt::firrtl::Annotation::isClass(), circt::firrtl::AnnotationSet::removeAnnotations(), circt::firrtl::AnnotationSet::removePortAnnotations(), circt::firrtl::traceAnnoClass, and circt::firrtl::transformReduce().

◆ updateModuleTarget()

std::optional<AnnoPathValue> ResolveTracesPass::updateModuleTarget	(	FModuleLike &	module,
		Annotation &	anno
	)

inlineprivate

Add a "target" field to an Annotation on a Module that indicates the current location of the module.

This will be local or non-local depending on the Annotation.

Definition at line 257 of file ResolveTraces.cpp.

References circt::firrtl::Annotation::getMember(), circt::firrtl::NLATable::getModule(), and circt::firrtl::NLATable::getNLA().

◆ updatePortTarget()

std::optional<AnnoPathValue> ResolveTracesPass::updatePortTarget	(	FModuleLike &	module,
		Annotation &	anno,
		unsigned	portIdx,
		hw::InnerRefAttr	innerRef
	)

inlineprivate

Add a "target" field to a port Annotation that indicates the current location of the port in the circuit.

Definition at line 222 of file ResolveTraces.cpp.

References circt::firrtl::getBaseType().

◆ updateTarget()

std::optional<AnnoPathValue> ResolveTracesPass::updateTarget	(	FModuleLike &	module,
		Operation *	op,
		Annotation &	anno,
		hw::InnerRefAttr	innerRef
	)

inlineprivate

Add a "target" field to an Annotation that indicates the current location of a component in the circuit.

Definition at line 233 of file ResolveTraces.cpp.

References circt::firrtl::getBaseType().

◆ updateTargetImpl()

AnnoPathValue ResolveTracesPass::updateTargetImpl	(	Annotation &	anno,
		FModuleLike &	module,
		FIRRTLBaseType	type,
		hw::InnerRefAttr	name,
		AnnoTarget	target
	)

inlineprivate

Internal implementation that updates an Annotation to add a "target" field based on the current location of the annotation in the circuit.

The value of the "target" will be a local target if the Annotation is local and a non-local target if the Annotation is non-local.

Definition at line 196 of file ResolveTraces.cpp.

References circt::firrtl::Annotation::getFieldID(), circt::firrtl::Annotation::getMember(), circt::firrtl::NLATable::getModule(), and circt::firrtl::NLATable::getNLA().

Member Data Documentation

◆ istc

hw::InnerSymbolTableCollection* ResolveTracesPass::istc

private

Stores a pointer to an inner symbol table collection.

Definition at line 87 of file ResolveTraces.cpp.

◆ nlaTable

NLATable* ResolveTracesPass::nlaTable

private

Stores a pointer to an NLA Table.

This is populated during runOnOperation.

Definition at line 84 of file ResolveTraces.cpp.

◆ symbolIdx

unsigned ResolveTracesPass::symbolIdx = 0

private

Global symbol index used for substitutions, e.g., "{{42}}".

This value is the next index that will be used.

Definition at line 91 of file ResolveTraces.cpp.

◆ symbolMap

DenseMap<Attribute, unsigned> ResolveTracesPass::symbolMap

private

Map of symbol to symbol index.

This is used to reuse symbol substitutions.

Definition at line 95 of file ResolveTraces.cpp.

◆ symbols

SmallVector<Attribute> ResolveTracesPass::symbols

private

Symbol substitutions for the JSON verbatim op.

Definition at line 98 of file ResolveTraces.cpp.

The documentation for this struct was generated from the following file:

/home/runner/work/circt-www/circt-www/circt_src/lib/Dialect/FIRRTL/Transforms/ResolveTraces.cpp

Public Member Functions

Private Member Functions

Private Attributes

Detailed Description

Member Function Documentation

◆ buildTarget()

◆ getSymbolIndex()

◆ runOnOperation()

◆ updateModuleTarget()

◆ updatePortTarget()

◆ updateTarget()

◆ updateTargetImpl()

Member Data Documentation

◆ istc

◆ nlaTable

◆ symbolIdx

◆ symbolMap

◆ symbols