✨ Map qco.if statements by "converge" strategy

CHANGELOG.md

@@ -40,8 +40,8 @@ releases may include breaking changes.
   [#1676], [#1706], [#1776]) ([**@denialhaag**], [**@burgholzer**])
 - ✨ Add a `place-and-route` pass for mapping circuits to architectures with
   restricted topologies ([#1537], [#1547], [#1568], [#1581], [#1583], [#1588],
-  [#1600], [#1664], [#1709], [#1716], [#1748], [#1805]) ([**@MatthiasReumann**],
-  [**@burgholzer**])
+  [#1600], [#1664], [#1709], [#1716], [#1748], [#1805], [#1870])
+  ([**@MatthiasReumann**], [**@burgholzer**])
 - ✨ Add initial infrastructure for new QC and QCO MLIR dialects ([#1264],
   [#1330], [#1402], [#1428], [#1430], [#1436], [#1443], [#1446], [#1464],
   [#1465], [#1470], [#1471], [#1472], [#1474], [#1475], [#1506], [#1510],
@@ -630,6 +630,7 @@ changelogs._
 [#1877]: https://github.com/munich-quantum-toolkit/core/pull/1877
 [#1873]: https://github.com/munich-quantum-toolkit/core/pull/1873
 [#1872]: https://github.com/munich-quantum-toolkit/core/pull/1872
+[#1870]: https://github.com/munich-quantum-toolkit/core/pull/1870
 [#1869]: https://github.com/munich-quantum-toolkit/core/pull/1869
 [#1850]: https://github.com/munich-quantum-toolkit/core/pull/1850
 [#1849]: https://github.com/munich-quantum-toolkit/core/pull/1849

mlir/include/mlir/Dialect/QCO/Utils/Graph.h

@@ -75,7 +75,9 @@ class Graph {
   [[nodiscard]] size_t getNumNodes() const { return adj_.size(); }
 
   /// Return the degree of a node.
-  [[nodiscard]] size_t getDegree(size_t id) { return adj_.at(id).size(); }
+  [[nodiscard]] size_t getDegree(const size_t id) const {
+    return adj_.at(id).size();
+  }
 
   /// Return the max degree of the graph.
   [[nodiscard]] size_t getMaxDegree() const;

mlir/lib/Dialect/QCO/IR/SCF/IfOp.cpp

@@ -313,14 +313,14 @@ BlockArgument IfOp::getTiedElseBlockArgument(OpOperand* qubit) {
 }
 
 OpOperand* IfOp::getTiedThenYieldedValue(BlockArgument bbArg) {
-  if (bbArg.getDefiningOp() != getOperation()) {
+  if (bbArg.getOwner()->getParentOp() != getOperation()) {
     return nullptr;
   }
   return &thenYield().getTargetsMutable()[bbArg.getArgNumber()];
 }
 
 OpOperand* IfOp::getTiedElseYieldedValue(BlockArgument bbArg) {
-  if (bbArg.getDefiningOp() != getOperation()) {
+  if (bbArg.getOwner()->getParentOp() != getOperation()) {
     return nullptr;
   }
   return &elseYield().getTargetsMutable()[bbArg.getArgNumber()];