saving remaining work before move to codegen

Author: johnzl-777

src/bloqade/squin/qubit.py

@@ -48,6 +48,11 @@ class MeasureAndReset(ir.Statement):
     result: ir.ResultValue = info.result(types.Int)
 
 
+# MZ -> RZ
+# MRZ (never really used, but could have performance benefit)
+#
+
+
 @statement(dialect=dialect)
 class Reset(ir.Statement):
     qubits: ir.SSAValue = info.argument(ilist.IListType[QubitType])

src/bloqade/stim/dialects/aux/stmts/annotate.py

@@ -45,3 +45,7 @@ class NewPauliString(ir.Statement):
     flipped: tuple[ir.SSAValue, ...] = info.argument(types.Bool)
     targets: tuple[ir.SSAValue, ...] = info.argument(types.Int)
     result: ir.ResultValue = info.result(type=PauliStringType)
+
+
+# dialect_group = squin_extended = squin in bloqade-circuit + physical in bloqade-qec
+# Chen will need squin -> Stim rewrite IF it is a subroutine of rewrite from bloqade-qec extension

test/squin/stim/stim.py

@@ -424,6 +424,8 @@ def test_wire_apply_site_verification():
         squin_to_stim(constructed_method)
 
 
+test_wire_measure()
+
 # test_wire_measure_and_reset()
 # test_qubit_measure_and_reset()
 # test_wire_reset()