DAGGER S, T to RZ rules

quil-lang · Sep 25, 2024 · bcce7ee · bcce7ee
1 parent 2a9fdf7
commit bcce7ee
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/src/compressor/rewriting-rules.lisp b/src/compressor/rewriting-rules.lisp
@@ -7,6 +7,14 @@
 
 ;;; rewriting rules in general
 
+(define-compiler dagger-s-to-rz
+    ((_ (#.(dagger-operator (named-operator "S")) () q)))
+  (inst "RZ" (list (/ pi -2)) q))
+
+(define-compiler dagger-t-to-rz
+    ((_ (#.(dagger-operator (named-operator "T")) () q)))
+  (inst "RZ" (list (/ pi -4)) q))
+
 (define-compiler eliminate-identities
     ((x ("I" () _)))
   "Eliminate I gates."