CIRCT
20.0.0git
|
#include "ExportVerilogInternals.h"
#include "circt/Dialect/HW/HWAttributes.h"
#include "circt/Dialect/HW/HWOps.h"
#include "circt/Dialect/Verif/VerifOps.h"
#include "circt/Support/LoweringOptions.h"
#include "mlir/IR/Threading.h"
#include "llvm/ADT/TypeSwitch.h"
Go to the source code of this file.
Classes | |
class | circt::ExportVerilog::GlobalNameResolver |
This class keeps track of modules and interfaces that need to be renamed, as well as module ports, parameters, declarations and verif labels that need to be renamed. More... | |
Namespaces | |
circt | |
The InstanceGraph op interface, see InstanceGraphInterface.td for more details. | |
circt::ExportVerilog | |
Functions | |
static void | legalizeModuleLocalNames (HWEmittableModuleLike module, const LoweringOptions &options, const GlobalNameTable &globalNameTable) |
|
static |
Definition at line 142 of file LegalizeNames.cpp.
References circt::ExportVerilog::GlobalNameTable::addReservedNames(), esiaccel.accelerator::ctxt, circt::LoweringOptions::enforceVerifLabels, circt::calyx::direction::get(), circt::ExportVerilog::NameCollisionResolver::getLegalName(), circt::ExportVerilog::GlobalNameTable::getParameterVerilogName(), circt::ExportVerilog::getSymOpName(), and circt::ExportVerilog::NameCollisionResolver::insertUsedName().