CIRCT  19.0.0git
FSMPasses.h
Go to the documentation of this file.
1 //===- Passes.h - FSM pass entry points -------------------------*- 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 header file defines prototypes that expose pass constructors.
10 //
11 //===----------------------------------------------------------------------===//
12 
13 #ifndef CIRCT_DIALECT_FSM_FSMPASSES_H
14 #define CIRCT_DIALECT_FSM_FSMPASSES_H
15 
16 #include "mlir/Pass/Pass.h"
17 #include "mlir/Pass/PassRegistry.h"
18 #include <memory>
19 #include <optional>
20 
21 namespace circt {
22 namespace fsm {
23 
24 std::unique_ptr<mlir::Pass> createPrintFSMGraphPass();
25 
26 /// Generate the code for registering passes.
27 #define GEN_PASS_REGISTRATION
28 #include "circt/Dialect/FSM/Passes.h.inc"
29 
30 } // namespace fsm
31 } // namespace circt
32 
33 #endif // CIRCT_DIALECT_FSM_FSMPASSES_H
std::unique_ptr< mlir::Pass > createPrintFSMGraphPass()
This file defines an intermediate representation for circuits acting as an abstraction for constraint...
Definition: DebugAnalysis.h:21
Definition: fsm.py:1