CIRCT  20.0.0git
Namespaces | Macros
ExternalizeRegisters.cpp File Reference
#include "circt/Dialect/HW/HWInstanceGraph.h"
#include "circt/Dialect/HW/HWOps.h"
#include "circt/Dialect/Seq/SeqOps.h"
#include "circt/Dialect/Seq/SeqTypes.h"
#include "circt/Dialect/Verif/VerifOps.h"
#include "circt/Support/LLVM.h"
#include "circt/Support/Namespace.h"
#include "circt/Tools/circt-bmc/Passes.h"
#include "mlir/Dialect/Func/IR/FuncOps.h"
#include "mlir/Dialect/LLVMIR/FunctionCallUtils.h"
#include "mlir/Dialect/LLVMIR/LLVMDialect.h"
#include "mlir/Pass/Pass.h"
#include "mlir/Transforms/DialectConversion.h"
#include "llvm/ADT/PostOrderIterator.h"
#include "llvm/ADT/Twine.h"
#include <optional>
#include "circt/Tools/circt-bmc/Passes.h.inc"
Include dependency graph for ExternalizeRegisters.cpp:

Go to the source code of this file.

Namespaces

 circt
 The InstanceGraph op interface, see InstanceGraphInterface.td for more details.
 

Macros

#define GEN_PASS_DEF_EXTERNALIZEREGISTERS
 

Macro Definition Documentation

◆ GEN_PASS_DEF_EXTERNALIZEREGISTERS

#define GEN_PASS_DEF_EXTERNALIZEREGISTERS

Definition at line 32 of file ExternalizeRegisters.cpp.