add addtional optimisations to OL=2

CQCL · Dec 6, 2023 · 35e6522 · 35e6522
1 parent ff484f2
commit 35e6522
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/pytket/extensions/iqm/backends/iqm.py b/pytket/extensions/iqm/backends/iqm.py
@@ -39,6 +39,8 @@
     DefaultMappingPass,
     DelayMeasures,
     SimplifyInitial,
+    KAKDecomposition,
+    CliffordSimp,
 )
 from pytket.predicates import (
     ConnectivityPredicate,
@@ -180,6 +182,10 @@ def default_compilation_pass(self, optimisation_level: int = 1) -> BasePass:
             passes.append(FullPeepholeOptimise())
         passes.append(DefaultMappingPass(self._arch))
         passes.append(DelayMeasures())
+        if optimisation_level == 2:
+            passes.append(KAKDecomposition(allow_swaps=False))
+            passes.append(CliffordSimp(allow_swaps=False))
+            passes.append(SynthesiseTket())
         passes.append(self.rebase_pass())
         passes.append(RemoveRedundancies())
         return SequencePass(passes)