fix

Author: rniczh

mlir/lib/Quantum/Transforms/DecomposeLoweringPatterns.cpp

@@ -281,9 +281,10 @@ class OpSignatureAnalyzer {
             newResults.emplace_back(extractOp.getResult());
         }
 
-        if (signature.needAllocQreg) {
-            rewriter.create<quantum::DeallocOp>(callOp.getLoc(), qreg);
-        }
+        // FIXME: Dealloc should be fine, but it will cause the error in lightning now
+        // if (signature.needAllocQreg) {
+        //     rewriter.create<quantum::DeallocOp>(callOp.getLoc(), qreg);
+        // }
 
         return newResults;
     }

mlir/test/Quantum/DecomposeLoweringTest.mlir

@@ -121,7 +121,6 @@ module @cz_hadamard {
     // CHECK: [[INSERT_CZ2:%.+]] = quantum.insert [[INSERT_CZ1]][[[EXTRACTED]]], [[H2]] : !quantum.reg, !quantum.bit
     // CHECK: [[FINAL_EXTRACT1:%.+]] = quantum.extract [[INSERT_CZ2]][ 0] : !quantum.reg -> !quantum.bit
     // CHECK: [[FINAL_EXTRACT2:%.+]] = quantum.extract [[INSERT_CZ2]][ 1] : !quantum.reg -> !quantum.bit
-    // CHECK: quantum.dealloc [[INSERT_CZ2]] : !quantum.reg
     // CHECK-NOT: quantum.custom "CNOT"
     %out_qubits:2 = quantum.custom "CNOT"() %2, %3 : !quantum.bit, !quantum.bit