CIRCT  19.0.0git
Classes | Namespaces | Functions
LegalizeNames.cpp File Reference
#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"
Include dependency graph for LegalizeNames.cpp:

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

Functions

static void legalizeModuleLocalNames (HWModuleOp module, const LoweringOptions &options, const GlobalNameTable &globalNameTable)
 

Function Documentation

◆ legalizeModuleLocalNames()

static void legalizeModuleLocalNames ( HWModuleOp  module,
const LoweringOptions options,
const GlobalNameTable globalNameTable 
)
static