circt::firrtl::detail Namespace Reference

Classes
struct	AnnoTargetImpl
struct	FIRRTLBaseTypeStorage
struct	WidthTypeStorage
struct	BundleTypeStorage
struct	OpenBundleTypeStorage
struct	FVectorTypeStorage
struct	OpenVectorTypeStorage
struct	FEnumTypeStorage
struct	BaseTypeAliasStorage
struct	ClassTypeStorage

Functions
RefType	getForceableResultType (bool forceable, Type type)
	Return null or forceable reference result type. More...
LogicalResult	verifyForceableOp (Forceable op)
	Verify a Forceable op. More...
Forceable	replaceWithNewForceability (Forceable op, bool forceable, ::mlir::PatternRewriter *rewriter=nullptr)
	Replace a Forceable op with equivalent, changing whether forceable. More...
ClassType	getInstanceTypeForClassLike (ClassLike classOp)
LogicalResult	verifyTypeAgainstClassLike (ClassLike classOp, ClassType type, function_ref< InFlightDiagnostic()> emitError)
	Assuming that the classOp is the source of truth, verify that the type accurately matches the signature of the class. More...

Function Documentation

getForceableResultType()

RefType circt::firrtl::detail::getForceableResultType	(	bool	forceable,
		Type	type
	)

Return null or forceable reference result type.

Definition at line 137 of file FIRRTLOpInterfaces.cpp.

References circt::calyx::direction::get().

Referenced by verifyForceableOp().

getInstanceTypeForClassLike()

ClassType circt::firrtl::detail::getInstanceTypeForClassLike

(

ClassLike

classOp

)

Definition at line 1835 of file FIRRTLOps.cpp.

References circt::calyx::direction::get().

Referenced by Deduper::replaceInstances().

replaceWithNewForceability()

Forceable circt::firrtl::detail::replaceWithNewForceability	(	Forceable	op,
		bool	forceable,
		::mlir::PatternRewriter *	rewriter = nullptr
	)

Replace a Forceable op with equivalent, changing whether forceable.

No-op if already has specified forceability.

Referenced by demoteForceableIfUnused().

verifyForceableOp()

LogicalResult circt::firrtl::detail::verifyForceableOp

(

Forceable

op

)

Verify a Forceable op.

Definition at line 146 of file FIRRTLOpInterfaces.cpp.

References circt::firrtl::data, and getForceableResultType().

verifyTypeAgainstClassLike()

LogicalResult circt::firrtl::detail::verifyTypeAgainstClassLike	(	ClassLike	classOp,
		ClassType	type,
		function_ref< InFlightDiagnostic()>	emitError
	)

Assuming that the classOp is the source of truth, verify that the type accurately matches the signature of the class.

Definition at line 1788 of file FIRRTLOps.cpp.

References numElements, and toString().