CIRCT 21.0.0git
Loading...
Searching...
No Matches
InitAllTranslations.h
Go to the documentation of this file.
1//===- InitAllTranslations.h - CIRCT Translations Registration --*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file defines a helper to trigger the registration of all translations
10// in and out of CIRCT to the system.
11//
12//===----------------------------------------------------------------------===//
13
23#include "mlir/Target/SMTLIB/ExportSMTLIB.h"
24
25#ifndef CIRCT_INITALLTRANSLATIONS_H
26#define CIRCT_INITALLTRANSLATIONS_H
27
28namespace circt {
29
30// This function should be called before creating any MLIRContext if one
31// expects all the possible translations to be made available to the context
32// automatically.
34 static bool initOnce = []() {
39 mlir::smt::registerExportSMTLIBTranslation();
43 return true;
44 }();
45 (void)initOnce;
46}
47} // namespace circt
48
49#endif // CIRCT_INITALLTRANSLATIONS_H
void registerExportSystemCTranslation()
void registerImportAIGERTranslation()
Register the import-aiger MLIR translation.
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()