22#include "mlir/Target/SMTLIB/ExportSMTLIB.h"
24#ifndef CIRCT_INITALLTRANSLATIONS_H
25#define CIRCT_INITALLTRANSLATIONS_H
33 static bool initOnce = []() {
38 mlir::smt::registerExportSMTLIBTranslation();
void registerExportSystemCTranslation()
void registerArcModelInfoTranslation()
Registers CIRCT translation from Arc to JSON model info.
void registerToCalyxTranslation()
void registerTranslations()
Register all debug information emission flavors as from-MLIR translations.
void registerFromFIRFileTranslation()
void registerToFIRFileTranslation()
The InstanceGraph op interface, see InstanceGraphInterface.td for more details.
void registerAllTranslations()