Add post-routing optimisations for optimisation_level=2. (#78)

* add addtional optimisations to OL=2 * update changelog
CQCL · Dec 8, 2023 · e1c191a · e1c191a
1 parent ff484f2
commit e1c191a
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/docs/changelog.rst b/docs/changelog.rst
@@ -1,6 +1,10 @@
 Changelog
 ~~~~~~~~~
 
+Unreleased
+----------
+* Add some additional post-routing optimisations to the default compilation pass for `optimisation_level=2`.
+
 0.9.0 (November 2023)
 ---------------------
 

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)