CIRCT
20.0.0git
lib
CAPI
Dialect
FSM.cpp
Go to the documentation of this file.
1
//===- FSM.cpp - C interface for the FSM dialect --------------------------===//
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
#include "
circt-c/Dialect/FSM.h
"
10
#include "
circt/Conversion/Passes.h
"
11
#include "
circt/Dialect/FSM/FSMDialect.h
"
12
#include "
circt/Dialect/FSM/FSMPasses.h
"
13
#include "mlir/CAPI/IR.h"
14
#include "mlir/CAPI/Registration.h"
15
#include "mlir/CAPI/Support.h"
16
17
using namespace
circt::fsm
;
18
19
void
registerFSMPasses
() {
20
registerPasses
();
21
circt::registerConvertFSMToSVPass();
22
}
23
MLIR_DEFINE_CAPI_DIALECT_REGISTRATION
(FSM,
fsm
, FSMDialect)
MLIR_DEFINE_CAPI_DIALECT_REGISTRATION
MLIR_DEFINE_CAPI_DIALECT_REGISTRATION(CHIRRTL, chirrtl, circt::chirrtl::CHIRRTLDialect) MlirType chirrtlTypeGetCMemory(MlirContext ctx
registerPasses
static void registerPasses()
Definition:
CIRCTModule.cpp:45
Passes.h
FSMDialect.h
FSMPasses.h
registerFSMPasses
void registerFSMPasses()
Definition:
FSM.cpp:19
FSM.h
circt::fsm
Definition:
FSMPasses.h:22
fsm
Definition:
fsm.py:1
Generated on Mon Dec 23 2024 00:07:23 for CIRCT by
1.9.1