fix a bug in internal compiler

dakk · Dec 13, 2023 · 38b2cb3 · 38b2cb3
1 parent cb06fa0
commit 38b2cb3
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 5 deletions.
diff --git a/qlasskit/compiler/internalcompiler.py b/qlasskit/compiler/internalcompiler.py
@@ -92,14 +92,14 @@ def compile_expr(  # noqa: C901
 
         elif isinstance(expr, Xor):
             d = qc.get_free_ancilla()
-            neg = False
+
             for e in expr.args:
                 if isinstance(e, Symbol):
                     qc.cx(qc[e], d)
                 else:
-                    d = self.compile_expr(qc, e, dest=d)
-            if neg:
-                qc.x(d)
+                    d2 = self.compile_expr(qc, e)
+                    qc.cx(d2, d)
+
             self.expqmap[expr] = d
             return d
 

diff --git a/test/test_algo_simon.py b/test/test_algo_simon.py
@@ -39,5 +39,5 @@ def hash(k: Qint4) -> Qint4:
 
         for x in [0, 8]:
             self.assertEqual(x in counts_readable, True)
-            self.assertEqual(counts_readable[x] > 480, True)
+            self.assertEqual(counts_readable[x] > 400, True)
         self.assertEqual(algo.output_qubits, [0, 1, 2, 3])
diff --git a/test/test_qlassf_hybrid_quantum.py b/test/test_qlassf_hybrid_quantum.py
@@ -40,3 +40,9 @@ def test_bell(self):
         count = qiskit_measure_and_count(qf.circuit().export(), 1024)
         [self.assertEqual(x in count, True) for x in ["00", "11"]]
         self.assertEqual(len(count.keys()), 2)
+
+    def test_h_and_add(self):
+        f = "def test(a: Qint2) -> Qint2:\n\ta = Q.H(a)\n\treturn a + 1"
+        qf = qlassf(f, to_compile=COMPILATION_ENABLED, uncompute=False)
+        count = qiskit_measure_and_count(qf.circuit().export(), 128)
+        [self.assertEqual(x in count, True) for x in ["1110", "0011", "1001", "0100"]]