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.


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


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


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