feat: Support "add" operations in the ecc loader (#109)

Required for some #104 ecc sets.

Note that the published `tket-json-rs` dropped the `tket2` feature. But
it should be fine once CQCL/tket-json-rs#13 is
merged and published.

src/json/op.rs

@@ -215,6 +215,8 @@ impl TryFrom<&OpType> for JsonOp {
                 T2Op::Measure => JsonOpType::Measure,
                 T2Op::RzF64 => JsonOpType::Rz,
                 T2Op::RxF64 => JsonOpType::Rx,
+                // TODO: Use a TK2 opaque op once we update the tket-json-rs dependency.
+                T2Op::AngleAdd => JsonOpType::AngleAdd,
                 T2Op::TK1 => JsonOpType::TK1,
                 T2Op::PhasedX => JsonOpType::PhasedX,
                 T2Op::ZZMax => JsonOpType::ZZMax,

src/ops.rs

@@ -59,6 +59,7 @@ pub enum T2Op {
     RxF64,
     PhasedX,
     ZZPhase,
+    AngleAdd,
     TK1,
 }
 #[derive(Clone, Copy, Debug, Serialize, Deserialize, EnumIter, Display, PartialEq, PartialOrd)]
@@ -127,6 +128,10 @@ impl SimpleOpEnum for T2Op {
             Measure => FunctionType::new(one_qb_row, type_row![QB_T, BOOL_T]),
             RzF64 | RxF64 => FunctionType::new(type_row![QB_T, FLOAT64_TYPE], one_qb_row),
             PhasedX => FunctionType::new(type_row![QB_T, FLOAT64_TYPE, FLOAT64_TYPE], one_qb_row),
+            AngleAdd => FunctionType::new(
+                type_row![FLOAT64_TYPE, FLOAT64_TYPE],
+                type_row![FLOAT64_TYPE],
+            ),
             TK1 => FunctionType::new(
                 type_row![QB_T, FLOAT64_TYPE, FLOAT64_TYPE, FLOAT64_TYPE],
                 one_qb_row,

src/passes/taso/qtz_circuit.rs

@@ -52,6 +52,7 @@ fn map_op(opstr: &str) -> Op {
         "tdg" => T2Op::Tdg,
         "sdg" => T2Op::Sdg,
         "rz" => T2Op::RzF64,
+        "add" => T2Op::AngleAdd,
         x => panic!("unknown op {x}"),
     }
     .into()