add post-select to assembly format

erick-xanadu · erick-xanadu · commit a3124abe3d75 · 2025-04-29T20:21:12.000Z
diff --git a/mlir/include/Quantum/IR/QuantumOps.td b/mlir/include/Quantum/IR/QuantumOps.td
@@ -825,7 +825,7 @@ def MeasureOp : Quantum_Op<"measure"> {
     );
 
     let assemblyFormat = [{
-        $in_qubit attr-dict `:` type(results)
+        $in_qubit (`postselect` $postselect^)? attr-dict `:` type(results)
     }];
 }
 

Original file line number	Diff line number	Diff line change
`@@ -825,7 +825,7 @@ def MeasureOp : Quantum_Op<"measure"> {`
`825`	`825`	`);`
`826`	`826`
`827`	`827`	`let assemblyFormat = [{`
`828`		- $in_qubit attr-dict `:` type(results)
	`828`	+ $in_qubit (`postselect` $postselect^)? attr-dict `:` type(results)
`829`	`829`	`}];`
`830`	`830`	`}`
`831`	`831`