✨ Translate for and while from OpenQASM to QC

include/mqt-core/qasm3/DebugInfo.hpp

@@ -0,0 +1,36 @@
+/*
+ * Copyright (c) 2023 - 2026 Chair for Design Automation, TUM
+ * Copyright (c) 2025 - 2026 Munich Quantum Software Company GmbH
+ * All rights reserved.
+ *
+ * SPDX-License-Identifier: MIT
+ *
+ * Licensed under the MIT License
+ */
+
+#pragma once
+
+#include <cstddef>
+#include <memory>
+#include <string>
+#include <utility>
+
+namespace qasm3 {
+
+struct DebugInfo {
+  size_t line;
+  size_t column;
+  std::string filename;
+  std::shared_ptr<DebugInfo> parent;
+
+  DebugInfo(const size_t l, const size_t c, std::string file,
+            std::shared_ptr<DebugInfo> parentDebugInfo = nullptr)
+      : line(l), column(c), filename(std::move(std::move(file))),
+        parent(std::move(parentDebugInfo)) {}
+
+  [[nodiscard]] std::string toString() const {
+    return filename + ":" + std::to_string(line) + ":" + std::to_string(column);
+  }
+};
+
+} // namespace qasm3

include/mqt-core/qasm3/Exception.hpp

@@ -10,7 +10,7 @@
 
 #pragma once
 
-#include "Statement.hpp"
+#include "DebugInfo.hpp"
 
 #include <exception>
 #include <memory>

include/mqt-core/qasm3/Statement.hpp

@@ -10,6 +10,7 @@
 
 #pragma once
 
+#include "DebugInfo.hpp"     // IWYU pragma: export
 #include "Statement_fwd.hpp" // IWYU pragma: export
 #include "Types_fwd.hpp"
 #include "ir/Permutation.hpp"
@@ -31,22 +32,6 @@ enum ComparisonKind : std::uint8_t;
 namespace qasm3 {
 class InstVisitor;
 
-struct DebugInfo {
-  size_t line;
-  size_t column;
-  std::string filename;
-  std::shared_ptr<DebugInfo> parent;
-
-  DebugInfo(const size_t l, const size_t c, std::string file,
-            std::shared_ptr<DebugInfo> parentDebugInfo = nullptr)
-      : line(l), column(c), filename(std::move(std::move(file))),
-        parent(std::move(parentDebugInfo)) {}
-
-  [[nodiscard]] std::string toString() const {
-    return filename + ":" + std::to_string(line) + ":" + std::to_string(column);
-  }
-};
-
 // Expressions
 class Expression {
 public:

mlir/include/mlir/Dialect/QC/Translation/TranslateQASM3ToQC.h

@@ -26,7 +26,8 @@ namespace qc {
  * @brief Translate an OpenQASM 3 program to a QC program.
  *
  * @param sourceMgr Source manager containing the OpenQASM3 program.
- * @param context MLIRContext to create the module in.
+ * @param context The MLIRContext to create the module in.
+ * @return A module containing the QC program.
  */
 [[nodiscard]] OwningOpRef<ModuleOp>
 translateQASM3ToQC(llvm::SourceMgr& sourceMgr, MLIRContext* context);
@@ -35,7 +36,8 @@ translateQASM3ToQC(llvm::SourceMgr& sourceMgr, MLIRContext* context);
  * @brief Translate an OpenQASM 3 program to a QC program.
  *
  * @param source String containing the OpenQASM3 program.
- * @param context MLIRContext to create the module in.
+ * @param context The MLIRContext to create the module in.
+ * @return A module containing the QC program.
  */
 [[nodiscard]] OwningOpRef<ModuleOp> translateQASM3ToQC(StringRef source,
                                                        MLIRContext* context);

mlir/lib/Dialect/QC/Translation/CMakeLists.txt

@@ -10,6 +10,7 @@ add_mlir_library(
   MLIRQCTranslation
   TranslateQuantumComputationToQC.cpp
   TranslateQASM3ToQC.cpp
+  QASM3Parser.cpp
   LINK_LIBS
   MLIRArithDialect
   MLIRFuncDialect