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/"
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.


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


 This file defines an intermediate representation for circuits acting as an abstraction for constraints defined over an SMT's solver context.


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


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...