MLIR mqt dialect conversion

mlir/include/mlir/CMakeLists.txt

@@ -7,3 +7,4 @@
 # Licensed under the MIT License
 
 add_subdirectory(Dialect)
+add_subdirectory(Conversion)

mlir/include/mlir/Conversion/CMakeLists.txt

@@ -0,0 +1,10 @@
+# Copyright (c) 2023 - 2025 Chair for Design Automation, TUM
+# Copyright (c) 2025 Munich Quantum Software Company GmbH
+# All rights reserved.
+#
+# SPDX-License-Identifier: MIT
+#
+# Licensed under the MIT License
+
+add_subdirectory(MQTDynToMQTOpt)
+add_subdirectory(MQTOptToMQTDyn)

mlir/include/mlir/Conversion/MQTDynToMQTOpt/CMakeLists.txt

@@ -0,0 +1,13 @@
+# Copyright (c) 2023 - 2025 Chair for Design Automation, TUM
+# Copyright (c) 2025 Munich Quantum Software Company GmbH
+# All rights reserved.
+#
+# SPDX-License-Identifier: MIT
+#
+# Licensed under the MIT License
+
+set(LLVM_TARGET_DEFINITIONS MQTDynToMQTOpt.td)
+mlir_tablegen(MQTDynToMQTOpt.h.inc -gen-pass-decls -name MQTDynToMQTOpt)
+add_public_tablegen_target(MQTDynToMQTOptIncGen)
+
+add_mlir_doc(MQTDynToMQTOpt MLIRMQTDynToMQTOpt Conversions/ -gen-pass-doc)

mlir/include/mlir/Conversion/MQTDynToMQTOpt/MQTDynToMQTOpt.h

@@ -0,0 +1,23 @@
+/*
+ * Copyright (c) 2023 - 2025 Chair for Design Automation, TUM
+ * Copyright (c) 2025 Munich Quantum Software Company GmbH
+ * All rights reserved.
+ *
+ * SPDX-License-Identifier: MIT
+ *
+ * Licensed under the MIT License
+ */
+
+#pragma once
+
+#include <mlir/Pass/Pass.h> // from @llvm-project
+
+namespace mqt::ir {
+
+#define GEN_PASS_DECL
+#include "mlir/Conversion/MQTDynToMQTOpt/MQTDynToMQTOpt.h.inc"
+
+#define GEN_PASS_REGISTRATION
+#include "mlir/Conversion/MQTDynToMQTOpt/MQTDynToMQTOpt.h.inc"
+
+} // namespace mqt::ir

mlir/include/mlir/Conversion/MQTDynToMQTOpt/MQTDynToMQTOpt.td

@@ -0,0 +1,28 @@
+// Copyright (c) 2023 - 2025 Chair for Design Automation, TUM
+// Copyright (c) 2025 Munich Quantum Software Company GmbH
+// All rights reserved.
+//
+// SPDX-License-Identifier: MIT
+//
+// Licensed under the MIT License
+
+include "mlir/Pass/PassBase.td"
+
+def MQTDynToMQTOpt : Pass<"mqtdyn-to-mqtopt"> {
+  let summary = "Convert MQT's `MQTDyn` to MQT's `MQTOpt` dialect.";
+
+  let description = [{
+      This pass converts all current mqtdyn operations to an equivalent mqtopt operation.
+      To convert them to the opt dialect, the conversion pass keeps an updated map that tracks each dyn qubit
+      and dyn qubit register to its latest state value when replacing them with an opt operation. These state values
+      are obtained by updating the map with the return values of the newly created opt operations. The mqtopt insert
+      operation is added when matching the dealloc operation of any qubit register. A mqtopt insert operation is then
+      created for each qubit that was extracted from the qubit register and placed before the dealloc operation.
+   }];
+
+  // Define dependent dialects
+  let dependentDialects = [
+    "::mqt::ir::dyn::MQTDynDialect",
+    "::mqt::ir::opt::MQTOptDialect"
+  ];
+}

mlir/include/mlir/Conversion/MQTOptToMQTDyn/CMakeLists.txt

@@ -0,0 +1,13 @@
+# Copyright (c) 2023 - 2025 Chair for Design Automation, TUM
+# Copyright (c) 2025 Munich Quantum Software Company GmbH
+# All rights reserved.
+#
+# SPDX-License-Identifier: MIT
+#
+# Licensed under the MIT License
+
+set(LLVM_TARGET_DEFINITIONS MQTOptToMQTDyn.td)
+mlir_tablegen(MQTOptToMQTDyn.h.inc -gen-pass-decls -name MQTOptToMQTDyn)
+add_public_tablegen_target(MQTOptToMQTDynIncGen)
+
+add_mlir_doc(MQTOptToMQTDyn MQTOptToMQTDyn Conversions/ -gen-pass-doc)

mlir/include/mlir/Conversion/MQTOptToMQTDyn/MQTOptToMQTDyn.h

@@ -0,0 +1,23 @@
+/*
+ * Copyright (c) 2023 - 2025 Chair for Design Automation, TUM
+ * Copyright (c) 2025 Munich Quantum Software Company GmbH
+ * All rights reserved.
+ *
+ * SPDX-License-Identifier: MIT
+ *
+ * Licensed under the MIT License
+ */
+
+#pragma once
+
+#include <mlir/Pass/Pass.h> // from @llvm-project
+
+namespace mqt::ir {
+
+#define GEN_PASS_DECL
+#include "mlir/Conversion/MQTOptToMQTDyn/MQTOptToMQTDyn.h.inc"
+
+#define GEN_PASS_REGISTRATION
+#include "mlir/Conversion/MQTOptToMQTDyn/MQTOptToMQTDyn.h.inc"
+
+} // namespace mqt::ir

mlir/include/mlir/Conversion/MQTOptToMQTDyn/MQTOptToMQTDyn.td

@@ -0,0 +1,28 @@
+// Copyright (c) 2023 - 2025 Chair for Design Automation, TUM
+// Copyright (c) 2025 Munich Quantum Software Company GmbH
+// All rights reserved.
+//
+// SPDX-License-Identifier: MIT
+//
+// Licensed under the MIT License
+
+include "mlir/Pass/PassBase.td"
+
+def MQTOptToMQTDyn : Pass<"mqtopt-to-mqtdyn"> {
+  let summary = "Convert MQT's `MQTOpt` to MQT's `MQTDyn` dialect.";
+
+  let description = [{
+      This pass converts all current mqtopt operations to an equivalent mqtdyn operation.
+      The result of the converted mqtdyn alloc operation acts as a qubit register reference and replaces the operand of the operation
+      that uses the initial mqtopt qubit register. This reference is then propagated to all subsequent operations that use the state
+      of the initial mqtopt register and replaces their operand. The same applies to the result of the extract operation that acts as a qubit
+      reference and is propagated to all later uses of this qubit. The mqtopt insert operation is deleted as there is no equivalent
+      operation in the mqtdyn dialect and any subsequent operation that uses the result of this operation acts on the qubit register reference.
+   }];
+
+  // Define dependent dialects
+  let dependentDialects = [
+    "::mqt::ir::dyn::MQTDynDialect",
+    "::mqt::ir::opt::MQTOptDialect"
+  ];
+}

mlir/lib/CMakeLists.txt

@@ -7,3 +7,4 @@
 # Licensed under the MIT License
 
 add_subdirectory(Dialect)
+add_subdirectory(Conversion)

mlir/lib/Conversion/CMakeLists.txt

@@ -0,0 +1,10 @@
+# Copyright (c) 2023 - 2025 Chair for Design Automation, TUM
+# Copyright (c) 2025 Munich Quantum Software Company GmbH
+# All rights reserved.
+#
+# SPDX-License-Identifier: MIT
+#
+# Licensed under the MIT License
+
+add_subdirectory(MQTOptToMQTDyn)
+add_subdirectory(MQTDynToMQTOpt)

mlir/lib/Conversion/MQTDynToMQTOpt/CMakeLists.txt

@@ -0,0 +1,16 @@
+# Copyright (c) 2023 - 2025 Chair for Design Automation, TUM
+# Copyright (c) 2025 Munich Quantum Software Company GmbH
+# All rights reserved.
+#
+# SPDX-License-Identifier: MIT
+#
+# Licensed under the MIT License
+
+get_property(CONVERSION_LIBS GLOBAL PROPERTY MLIR_CONVERSION_LIBS)
+list(APPEND CONVERSION_LIBS MQT::CoreIR)
+add_compile_options(-fexceptions)
+
+file(GLOB CONVERSION_SOURCES *.cpp)
+
+add_mlir_library(MQTDynToMQTOpt ${CONVERSION_SOURCES} LINK_LIBS ${LIBRARIES} DEPENDS
+                 MQTDynToMQTOptIncGen)