implementation

Author: BatmanAoD

crates/lib/src/compiler/isa/edge.rs

@@ -58,6 +58,10 @@ impl Edge {
 
         Ok(())
     }
+
+    pub(crate) fn has_valid_operations(&self) -> bool {
+        !self.dead
+    }
 }
 
 /// All the error which can occur from within this module.

crates/lib/src/compiler/isa/mod.rs

@@ -64,8 +64,13 @@ impl TryFrom<InstructionSetArchitecture> for Compiler {
         let qubits = qubits
             .into_iter()
             .map(|(k, v)| (k.to_string(), v))
+            .filter(|(_, q)| q.has_valid_operations())
+            .collect();
+        let edges = edges
+            .into_iter()
+            .map(|(k, v)| (k.to_string(), v))
+            .filter(|(_, e)| e.has_valid_operations())
             .collect();
-        let edges = edges.into_iter().map(|(k, v)| (k.to_string(), v)).collect();
         Ok(Self { qubits, edges })
     }
 }
@@ -186,22 +191,33 @@ mod describe_compiler_isa {
     fn compiler_excludes_qubits_with_no_operations() {
         let input = read_to_string("tests/qcs-isa-with-dead-qubits.json")
             .expect("Could not read ISA with dead qubits");
-        let expected_json = read_to_string("tests/compiler-isa-with-dead-qubits.json")
-            .expect("Could not read expected output with dead qubits");
         let qcs_isa: InstructionSetArchitecture =
             serde_json::from_str(&input).expect("Could not deserialize ISA with dead qubits");
-        let expected: Value = serde_json::from_str(&expected_json)
-            .expect("Could not deserialize expected output with dead qubits");
-
-        let compiler_isa =
-            Compiler::try_from(qcs_isa).expect("Could not convert ISA with dead qubits to CompilerIsa");
-
-        assert!(!compiler_isa.qubits.contains_key("31"), "Qubit 31 should not be in the CompilerIsa");
+        let compiler_isa = Compiler::try_from(qcs_isa)
+            .expect("Could not convert ISA with dead qubits to CompilerIsa");
+
+        assert!(
+            !compiler_isa.qubits.contains_key("31"),
+            "Qubit 31 should not be in the CompilerIsa"
+        );
+        assert!(
+            !compiler_isa.edges.contains_key("31-32"),
+            "edge with Qubit 31 should not be in the CompilerIsa"
+        );
+
+        let input_without_dead = read_to_string("tests/qcs-isa-excluding-dead-qubits.json")
+            .expect("Could not read ISA that excludes dead qubits");
+        let isa_without_dead: InstructionSetArchitecture = serde_json::from_str(&input_without_dead)
+            .expect("Could not read ISA that excludes dead qubits");
+        let compiler_isa_excluding_dead = Compiler::try_from(isa_without_dead)
+            .expect("Could not convert ISA with manually excluded dead qubits to CompilerIsa");
 
         let serialized = serde_json::to_value(compiler_isa)
-            .expect("Unable to serialize CompilerIsa with dead qubits");
+            .expect("Unable to serialize CompilerIsa");
+        let serialized_without_dead = serde_json::to_value(compiler_isa_excluding_dead)
+            .expect("Unable to serialize CompilerIsa");
 
-        let result = json_is_equivalent(&serialized, &expected);
+        let result = json_is_equivalent(&serialized, &serialized_without_dead);
         result.expect("JSON was not equivalent");
     }
 }

crates/lib/src/compiler/isa/qubit.rs

@@ -70,6 +70,11 @@ impl Qubit {
         self.dead = false;
         Ok(())
     }
+
+    /// Check if the qubit has any valid operations (gates).
+    pub(crate) fn has_valid_operations(&self) -> bool {
+        !self.gates.is_empty()
+    }
 }
 
 /// All the errors that can occur within this module.