Instruction IDs and property keys.

Author: msoeken

source/pip/qsharp/qre/instruction_ids.pyi

@@ -92,6 +92,7 @@ MEMORY: int
 
 # Some special hardware physical instructions
 CYCLIC_SHIFT: int
+HAND_OFF: int
 
 # Generic operation (for unified RE)
 GENERIC: int

source/pip/qsharp/qre/property_keys.pyi

@@ -18,3 +18,5 @@ LOGICAL_MEMORY_QUBITS: int
 ALGORITHM_COMPUTE_QUBITS: int
 ALGORITHM_MEMORY_QUBITS: int
 NAME: int
+LOSS: int
+LOGICAL_CYCLE_TIME: int

source/pip/src/qre.rs

@@ -1581,6 +1581,7 @@ fn add_instruction_ids(m: &Bound<'_, PyModule>) -> PyResult<()> {
         WRITE_TO_MEMORY,
         MEMORY,
         CYCLIC_SHIFT,
+        HAND_OFF,
         GENERIC
     );
 
@@ -1628,7 +1629,9 @@ fn add_property_keys(m: &Bound<'_, PyModule>) -> PyResult<()> {
         LOGICAL_MEMORY_QUBITS,
         ALGORITHM_COMPUTE_QUBITS,
         ALGORITHM_MEMORY_QUBITS,
-        NAME
+        NAME,
+        LOSS,
+        LOGICAL_CYCLE_TIME,
     );
 
     m.add_submodule(&property_keys)?;

source/qre/src/isa/property_keys.rs

@@ -63,4 +63,6 @@ define_properties! {
     ALGORITHM_COMPUTE_QUBITS,
     ALGORITHM_MEMORY_QUBITS,
     NAME,
+    LOSS,
+    LOGICAL_CYCLE_TIME,
 }

source/qre/src/trace/instruction_ids.rs

@@ -130,6 +130,7 @@ define_instructions! {
 
         // Some special hardware physical instructions
         (CYCLIC_SHIFT, 0x1300),
+        (HAND_OFF, 0x1301),
 
         // Generic operation (for unified RE)
         (GENERIC, 0xFFFF),