CIRCT  19.0.0git
Namespaces | Functions
TranslateRegistration.cpp File Reference
#include "circt/Dialect/Comb/CombDialect.h"
#include "circt/Dialect/Debug/DebugDialect.h"
#include "circt/Dialect/HW/HWDialect.h"
#include "circt/Dialect/OM/OMDialect.h"
#include "circt/Dialect/SV/SVDialect.h"
#include "circt/Dialect/Seq/SeqDialect.h"
#include "circt/Target/DebugInfo.h"
#include "mlir/IR/BuiltinOps.h"
#include "mlir/Tools/mlir-translate/Translation.h"
Include dependency graph for TranslateRegistration.cpp:

Go to the source code of this file.

Namespaces

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

Functions

static void circt::debug::registerDialects (DialectRegistry &registry)
 
void circt::debug::registerDumpTranslation ()
 
void circt::debug::registerHGLDDTranslation ()
 
void circt::debug::registerTranslations ()
 Register all debug information emission flavors as from-MLIR translations. More...