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 "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
 This file defines an intermediate representation for circuits acting as an abstraction for constraints defined over an SMT's solver context.
 
 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...