[circt-opt] Add pass --convert-core-to-fsm

include/circt/Conversion/CoreToFSM.h

@@ -0,0 +1,28 @@
+//===- CoreToFSM.h - Core to FSM conversions pass----------------*- C++ -*-===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+#ifndef CIRCT_CONVERSION_CORETOFSM_H
+#define CIRCT_CONVERSION_CORETOFSM_H
+
+#include <memory>
+
+namespace mlir {
+class Pass;
+class ModuleOp;
+} // namespace mlir
+
+namespace circt {
+
+std::unique_ptr<mlir::Pass> createConvertCoreToFSMPass();
+
+#define GEN_PASS_DECL_CONVERTCORETOFSM
+#include "circt/Conversion/Passes.h.inc"
+
+} // namespace circt
+
+#endif // CIRCT_CONVERSION_CORETOFSM_H

include/circt/Conversion/Passes.h

@@ -25,6 +25,7 @@
 #include "circt/Conversion/CombToDatapath.h"
 #include "circt/Conversion/CombToSMT.h"
 #include "circt/Conversion/ConvertToArcs.h"
+#include "circt/Conversion/CoreToFSM.h"
 #include "circt/Conversion/DCToHW.h"
 #include "circt/Conversion/DatapathToComb.h"
 #include "circt/Conversion/DatapathToSMT.h"

include/circt/Conversion/Passes.td

@@ -408,6 +408,18 @@ def ConvertFSMToSV : Pass<"convert-fsm-to-sv", "mlir::ModuleOp"> {
   ];
 }
 
+//===----------------------------------------------------------------------===//
+// CoreToFSM
+//===----------------------------------------------------------------------===//
+
+
+def ConvertCoreToFSM : Pass<"convert-core-to-fsm", "mlir::ModuleOp"> {
+  let summary = "Convert Core to FSM";
+  let constructor = "circt::createConvertCoreToFSMPass()";
+  let dependentDialects = ["circt::hw::HWDialect", "circt::comb::CombDialect",
+                           "circt::seq::SeqDialect", "circt::fsm::FSMDialect"];
+}
+
 //===----------------------------------------------------------------------===//
 // FIRRTLToHW
 //===----------------------------------------------------------------------===//

lib/CAPI/Conversion/CMakeLists.txt

@@ -40,4 +40,5 @@ add_circt_public_c_api_library(CIRCTCAPIConversion
   CIRCTCFToHandshake
   CIRCTVerifToSMT
   CIRCTVerifToSV
+  CIRCTCoreToFSM
 )

lib/CAPI/Dialect/CMakeLists.txt

@@ -212,6 +212,7 @@ add_circt_public_c_api_library(CIRCTCAPIFSM
   CIRCTFSM
   CIRCTFSMTransforms
   CIRCTFSMToSV
+  CIRCTCoreToFSM
 )
 
 add_circt_public_c_api_library(CIRCTCAPIHandshake

lib/Conversion/CMakeLists.txt

@@ -38,6 +38,7 @@ add_subdirectory(SMTToZ3LLVM)
 add_subdirectory(VerifToSV)
 add_subdirectory(CalyxNative)
 add_subdirectory(LTLToCore)
+add_subdirectory(CoreToFSM)
 
 if(CIRCT_SLANG_FRONTEND_ENABLED)
   add_subdirectory(ImportVerilog)

lib/Conversion/CoreToFSM/CMakeLists.txt

@@ -0,0 +1,19 @@
+add_circt_conversion_library(CIRCTCoreToFSM
+    CoreToFSM.cpp
+
+    DEPENDS
+    CIRCTConversionPassIncGen
+
+    LINK_COMPONENTS
+    Core
+
+    LINK_LIBS PUBLIC
+    CIRCTComb
+    CIRCTEmit
+    CIRCTHW
+    CIRCTFSM
+    CIRCTSeq
+    CIRCTSV
+    CIRCTSupport
+    MLIRTransforms
+)