CIRCT  19.0.0git
ModelInfoExport.h
Go to the documentation of this file.
1 //===- ModelInfoExport.h - Exports model info to JSON format --------------===//
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 // Register the MLIR translation to export model info to JSON format.
10 //
11 //===----------------------------------------------------------------------===//
12 
13 #ifndef CIRCT_DIALECT_ARC_MODELINFOEXPORT_H
14 #define CIRCT_DIALECT_ARC_MODELINFOEXPORT_H
15 
16 #include "mlir/IR/BuiltinOps.h"
17 #include "llvm/Support/raw_ostream.h"
18 
19 namespace circt {
20 namespace arc {
21 
22 /// Collects and exports Arc model info to JSON.
23 mlir::LogicalResult collectAndExportModelInfo(mlir::ModuleOp module,
24  llvm::raw_ostream &os);
25 
26 /// Registers CIRCT translation from Arc to JSON model info.
28 
29 } // namespace arc
30 } // namespace circt
31 
32 #endif // CIRCT_DIALECT_ARC_MODELINFOEXPORT_H
mlir::LogicalResult collectAndExportModelInfo(mlir::ModuleOp module, llvm::raw_ostream &os)
Collects and exports Arc model info to JSON.
void registerArcModelInfoTranslation()
Registers CIRCT translation from Arc to JSON model info.
This file defines an intermediate representation for circuits acting as an abstraction for constraint...
Definition: DebugAnalysis.h:21