CIRCT  19.0.0git
Classes | Namespaces | Enumerations | Functions
FIRRTLOpInterfaces.h File Reference
#include "circt/Dialect/FIRRTL/FIRRTLAnnotations.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 "circt/Support/FieldRef.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

 mlir
 
 circt
 The InstanceGraph op interface, see InstanceGraphInterface.td for more details.
 
 circt::firrtl
 
 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. More...
 
RefType circt::firrtl::detail::getForceableResultType (bool forceable, Type type)
 Return null or forceable reference result type. More...
 
LogicalResult circt::firrtl::detail::verifyForceableOp (Forceable op)
 Verify a Forceable op. More...
 
Forceable circt::firrtl::detail::replaceWithNewForceability (Forceable op, bool forceable, ::mlir::PatternRewriter *rewriter=nullptr)
 Replace a Forceable op with equivalent, changing whether forceable. More...
 
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. More...