FIRRTLOpInterfaces.h File Reference

#include "circt/Dialect/FIRRTL/FIRRTLAnnotations.h"
#include "circt/Dialect/FIRRTL/FIRRTLAttributes.h"
#include "circt/Dialect/FIRRTL/FIRRTLEnums.h"
#include "circt/Dialect/FIRRTL/FIRRTLTypes.h"
#include "circt/Dialect/HW/HWAttributes.h"
#include "circt/Dialect/HW/HWOpInterfaces.h"
#include "circt/Dialect/HW/InnerSymbolTable.h"
#include "mlir/IR/Attributes.h"
#include "mlir/IR/BuiltinTypes.h"
#include "mlir/IR/OpDefinition.h"
#include "mlir/IR/SymbolTable.h"
#include "llvm/ADT/TypeSwitch.h"
#include "circt/Dialect/FIRRTL/FIRRTLOpInterfaces.h.inc"

Include dependency graph for FIRRTLOpInterfaces.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	circt::firrtl::PortInfo
	This holds the name and type that describes the module's ports. More...

Namespaces
namespace	mlir
namespace	circt
	The InstanceGraph op interface, see InstanceGraphInterface.td for more details.
namespace	circt::firrtl
namespace	circt::firrtl::detail

Enumerations
enum class	circt::firrtl::ConnectBehaviorKind { circt::firrtl::LastConnect , circt::firrtl::StaticSingleConnect }

Functions
LogicalResult	circt::firrtl::verifyModuleLikeOpInterface (FModuleLike module)
	Verification hook for verifying module like operations.
RefType	circt::firrtl::detail::getForceableResultType (bool forceable, Type type)
	Return null or forceable reference result type.
LogicalResult	circt::firrtl::detail::verifyForceableOp (Forceable op)
	Verify a Forceable op.
Forceable	circt::firrtl::detail::replaceWithNewForceability (Forceable op, bool forceable, ::mlir::PatternRewriter *rewriter=nullptr)
	Replace a Forceable op with equivalent, changing whether forceable.
ClassType	circt::firrtl::detail::getInstanceTypeForClassLike (ClassLike classOp)
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.