✨ Map scf::WhileOps using the restore strategy

CHANGELOG.md

@@ -48,8 +48,8 @@ releases may include breaking changes.
   [#1676], [#1706], [#1776], [#1836]) ([**@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], [#1870], [#1904])
-  ([**@MatthiasReumann**], [**@burgholzer**])
+  [#1600], [#1664], [#1709], [#1716], [#1748], [#1805], [#1870], [#1904],
+  [#1911]) ([**@MatthiasReumann**], [**@burgholzer**])
 - ✨ Add a pass for qubit reuse in quantum programs, as well as related
   auxiliary passes and patterns ([#1705], [#1755]) ([**@DRovara**])
 - ✨ Add initial infrastructure for new QC and QCO MLIR dialects ([#1264],
@@ -640,6 +640,7 @@ changelogs._
 <!-- PR links -->
 
 [#1914]: https://github.com/munich-quantum-toolkit/core/pull/1914
+[#1911]: https://github.com/munich-quantum-toolkit/core/pull/1911
 [#1904]: https://github.com/munich-quantum-toolkit/core/pull/1904
 [#1897]: https://github.com/munich-quantum-toolkit/core/pull/1897
 [#1895]: https://github.com/munich-quantum-toolkit/core/pull/1895

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

@@ -124,13 +124,13 @@ LogicalResult walkProgramGraph(MutableArrayRef<WireIterator> wires,
       while (Traits::isActive(it)) {
 
         // For source-like (AllocOp, StaticOp, qtensor::ExtractOp),
-        // sink-like (SinkOp, YieldOp, qtensor::InsertOp, scf::YieldOp), and
-        // one-qubit non-unitary (ResetOp, MeasureOp) operations, simply advance
-        // the iterator.
+        // sink-like (SinkOp, YieldOp, qtensor::InsertOp, scf::YieldOp,
+        // scf::ConditionOp), and one-qubit non-unitary (ResetOp, MeasureOp)
+        // operations, simply advance the iterator.
 
         if (isa<AllocOp, StaticOp, ResetOp, MeasureOp, SinkOp, YieldOp,
-                qtensor::ExtractOp, qtensor::InsertOp, scf::YieldOp>(
-                it.operation())) {
+                qtensor::ExtractOp, qtensor::InsertOp, scf::YieldOp,
+                scf::ConditionOp>(it.operation())) {
           std::ranges::advance(it, Traits::stride());
           continue;
         }