Lower FirRegOp to sv.reg and sv.always. More...

#include <FirRegLowering.h>

Collaboration diagram for circt::FirRegLowering:

[legend]

Classes
struct	RegLowerInfo

Public Member Functions
	FirRegLowering (TypeConverter &typeConverter, hw::HWModuleOp module, bool disableRegRandomization=false, bool emitSeparateAlwaysBlocks=false)

void	lower ()

bool	needsRegRandomization () const

Public Attributes
unsigned	numSubaccessRestored = 0

Private Types
using	AlwaysKeyType = std::tuple< Block *, sv::EventControl, Value, sv::ResetType, sv::EventControl, Value >

using	IfKeyType = std::pair< Block *, Value >

Private Member Functions
RegLowerInfo	lower (seq::FirRegOp reg)

void	initialize (OpBuilder &builder, RegLowerInfo reg, ArrayRef< Value > rands)

void	initializeRegisterElements (Location loc, OpBuilder &builder, Value reg, Value rand, unsigned &pos)

void	createTree (OpBuilder &builder, Value reg, Value term, Value next)

std::optional< std::tuple< Value, Value, Value > >	tryRestoringSubaccess (OpBuilder &builder, Value reg, Value term, hw::ArrayCreateOp nextRegValue)

void	addToAlwaysBlock (Block *block, sv::EventControl clockEdge, Value clock, const std::function< void(OpBuilder &)> &body, sv::ResetType resetStyle={}, sv::EventControl resetEdge={}, Value reset={}, const std::function< void(OpBuilder &)> &resetBody={})

void	addToIfBlock (OpBuilder &builder, Value cond, const std::function< void()> &trueSide, const std::function< void()> &falseSide)

hw::ConstantOp	getOrCreateConstant (Location loc, const APInt &value)

Private Attributes
llvm::SmallDenseMap< AlwaysKeyType, std::pair< sv::AlwaysOp, sv::IfOp > >	alwaysBlocks

llvm::SmallDenseMap< IfKeyType, sv::IfOp >	ifCache

llvm::SmallDenseMap< APInt, hw::ConstantOp >	constantCache

llvm::SmallDenseMap< std::pair< Value, unsigned >, Value >	arrayIndexCache

std::unique_ptr< ReachableMuxes >	reachableMuxes

TypeConverter &	typeConverter

hw::HWModuleOp	module

bool	disableRegRandomization

bool	emitSeparateAlwaysBlocks

bool	needsRandom = false

Detailed Description

Lower FirRegOp to sv.reg and sv.always.

Definition at line 76 of file FirRegLowering.h.

Member Typedef Documentation

◆ AlwaysKeyType

using circt::FirRegLowering::AlwaysKeyType = std::tuple<Block *, sv::EventControl, Value, sv::ResetType, sv::EventControl, Value>

private

Definition at line 130 of file FirRegLowering.h.

◆ IfKeyType

using circt::FirRegLowering::IfKeyType = std::pair<Block *, Value>

private

Definition at line 135 of file FirRegLowering.h.

Constructor & Destructor Documentation

◆ FirRegLowering()

FirRegLowering::FirRegLowering	(	TypeConverter &	typeConverter,
		hw::HWModuleOp	module,
		bool	disableRegRandomization = `false`,
		bool	emitSeparateAlwaysBlocks = `false`
	)

Definition at line 108 of file FirRegLowering.cpp.

References module, and reachableMuxes.

Member Function Documentation

◆ addToAlwaysBlock()

void FirRegLowering::addToAlwaysBlock	(	Block *	block,
		sv::EventControl	clockEdge,
		Value	clock,
		const std::function< void(OpBuilder &)> &	body,
		sv::ResetType	resetStyle = `{}`,
		sv::EventControl	resetEdge = `{}`,
		Value	reset = `{}`,
		const std::function< void(OpBuilder &)> &	resetBody = `{}`
	)

private

Definition at line 617 of file FirRegLowering.cpp.

References alwaysBlocks, assert(), and emitSeparateAlwaysBlocks.

◆ addToIfBlock()

void FirRegLowering::addToIfBlock	(	OpBuilder &	builder,
		Value	cond,
		const std::function< void()> &	trueSide,
		const std::function< void()> &	falseSide
	)

private

Definition at line 89 of file FirRegLowering.cpp.

Referenced by createTree().

◆ createTree()

void FirRegLowering::createTree	(	OpBuilder &	builder,
		Value	reg,
		Value	term,
		Value	next
	)

private

Definition at line 397 of file FirRegLowering.cpp.

References addToIfBlock(), areEquivalentValues(), arrayIndexCache, assert(), getOrCreateConstant(), numSubaccessRestored, reachableMuxes, seq::reg(), and tryRestoringSubaccess().

◆ getOrCreateConstant()

hw::ConstantOp circt::FirRegLowering::getOrCreateConstant	(	Location	loc,
		const APInt &	value
	)

inlineprivate

Definition at line 118 of file FirRegLowering.h.

Referenced by createTree(), initializeRegisterElements(), lower(), and tryRestoringSubaccess().

◆ initialize()

void FirRegLowering::initialize	(	OpBuilder &	builder,
		RegLowerInfo	reg,
		ArrayRef< Value >	rands
	)

private

Definition at line 591 of file FirRegLowering.cpp.

References concat(), initializeRegisterElements(), seq::reg(), and width.

Referenced by lower().

◆ initializeRegisterElements()

void FirRegLowering::initializeRegisterElements	(	Location	loc,
		OpBuilder &	builder,
		Value	reg,
		Value	rand,
		unsigned &	pos
	)

private

Definition at line 561 of file FirRegLowering.cpp.

References assert(), comb.ExtractOp::create(), getOrCreateConstant(), and seq::reg().

Referenced by initialize().

◆ lower() [1/2]

void FirRegLowering::lower ( )

Definition at line 119 of file FirRegLowering.cpp.

References hw.BitcastOp::create(), comb.ExtractOp::create(), disableRegRandomization, circt::calyx::direction::get(), getOrCreateConstant(), initialize(), module, needsRandom, and seq::reg().

Referenced by circt::SeqToSVPass::runOnOperation().

◆ lower() [2/2]

RegLowerInfo circt::FirRegLowering::lower ( seq::FirRegOp reg )

private

◆ needsRegRandomization()

bool circt::FirRegLowering::needsRegRandomization ( ) const

inline

Definition at line 83 of file FirRegLowering.h.

Referenced by circt::SeqToSVPass::runOnOperation().

◆ tryRestoringSubaccess()

std::optional< std::tuple< Value, Value, Value > > FirRegLowering::tryRestoringSubaccess	(	OpBuilder &	builder,
		Value	reg,
		Value	term,
		hw::ArrayCreateOp	nextRegValue
	)

private

Definition at line 324 of file FirRegLowering.cpp.

References areEquivalentValues(), extractConditions(), getConstantValue(), getOrCreateConstant(), and seq::reg().

Referenced by createTree().

Member Data Documentation

◆ alwaysBlocks

llvm::SmallDenseMap<AlwaysKeyType, std::pair<sv::AlwaysOp, sv::IfOp> > circt::FirRegLowering::alwaysBlocks

private

Definition at line 133 of file FirRegLowering.h.

Referenced by addToAlwaysBlock().

◆ arrayIndexCache

llvm::SmallDenseMap<std::pair<Value, unsigned>, Value> circt::FirRegLowering::arrayIndexCache

private

Definition at line 139 of file FirRegLowering.h.

Referenced by createTree().

◆ constantCache

llvm::SmallDenseMap<APInt, hw::ConstantOp> circt::FirRegLowering::constantCache

private

Definition at line 138 of file FirRegLowering.h.

◆ disableRegRandomization

bool circt::FirRegLowering::disableRegRandomization

private

Definition at line 145 of file FirRegLowering.h.

Referenced by lower().

◆ emitSeparateAlwaysBlocks

bool circt::FirRegLowering::emitSeparateAlwaysBlocks

private

Definition at line 146 of file FirRegLowering.h.

Referenced by addToAlwaysBlock().

◆ ifCache

llvm::SmallDenseMap<IfKeyType, sv::IfOp> circt::FirRegLowering::ifCache

private

Definition at line 136 of file FirRegLowering.h.

◆ module

hw::HWModuleOp circt::FirRegLowering::module

private

Definition at line 143 of file FirRegLowering.h.

Referenced by hw.InstanceBuilder::create_default_value(), FirRegLowering(), om.Evaluator::instantiate(), lower(), hw.InstanceBuilder::operand_names(), and hw.InstanceBuilder::result_names().

◆ needsRandom

bool circt::FirRegLowering::needsRandom = false

private

Definition at line 148 of file FirRegLowering.h.

Referenced by lower().

◆ numSubaccessRestored

unsigned circt::FirRegLowering::numSubaccessRestored = 0

Definition at line 85 of file FirRegLowering.h.

Referenced by createTree(), and circt::SeqToSVPass::runOnOperation().

◆ reachableMuxes

std::unique_ptr<ReachableMuxes> circt::FirRegLowering::reachableMuxes

private

Definition at line 140 of file FirRegLowering.h.

Referenced by createTree(), and FirRegLowering().

◆ typeConverter

TypeConverter& circt::FirRegLowering::typeConverter

private

Definition at line 142 of file FirRegLowering.h.

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

/home/runner/work/circt-www/circt-www/circt_src/lib/Conversion/SeqToSV/FirRegLowering.h
/home/runner/work/circt-www/circt-www/circt_src/lib/Conversion/SeqToSV/FirRegLowering.cpp

Classes

Public Member Functions

Public Attributes

Private Types

Private Member Functions

Private Attributes

Detailed Description

Member Typedef Documentation

◆ AlwaysKeyType

◆ IfKeyType

Constructor & Destructor Documentation

◆ FirRegLowering()

Member Function Documentation

◆ addToAlwaysBlock()

◆ addToIfBlock()

◆ createTree()

◆ getOrCreateConstant()

◆ initialize()

◆ initializeRegisterElements()

◆ lower() [1/2]

◆ lower() [2/2]

◆ needsRegRandomization()

◆ tryRestoringSubaccess()

Member Data Documentation

◆ alwaysBlocks

◆ arrayIndexCache

◆ constantCache

◆ disableRegRandomization

◆ emitSeparateAlwaysBlocks

◆ ifCache

◆ module

◆ needsRandom

◆ numSubaccessRestored

◆ reachableMuxes

◆ typeConverter