Adding TOSA operation to CGGI and tfhe-rs

lib/Dialect/CGGI/IR/CGGIOps.td

@@ -25,7 +25,7 @@ class CGGI_Op<string mnemonic, list<Trait> traits = []> :
 
 // --- Operations for a gate-bootstrapping API of a CGGI library ---
 
-class CGGI_BinaryGateOp<string mnemonic>
+class CGGI_BinaryOp<string mnemonic>
   : CGGI_Op<mnemonic, [
     Pure,
     Commutative,
@@ -40,12 +40,15 @@ class CGGI_BinaryGateOp<string mnemonic>
   let assemblyFormat = "operands attr-dict `:` qualified(type($output))" ;
 }
 
-def CGGI_AndOp : CGGI_BinaryGateOp<"and"> { let summary = "Logical AND of two ciphertexts."; }
-def CGGI_NandOp : CGGI_BinaryGateOp<"nand"> { let summary = "Logical NAND of two ciphertexts."; }
-def CGGI_NorOp  : CGGI_BinaryGateOp<"nor">  { let summary = "Logical NOR of two ciphertexts."; }
-def CGGI_OrOp  : CGGI_BinaryGateOp<"or">  { let summary = "Logical OR of two ciphertexts."; }
-def CGGI_XorOp : CGGI_BinaryGateOp<"xor"> { let summary = "Logical XOR of two ciphertexts."; }
-def CGGI_XNorOp : CGGI_BinaryGateOp<"xnor"> { let summary = "Logical XNOR of two ciphertexts."; }
+def CGGI_AndOp : CGGI_BinaryOp<"and"> { let summary = "Logical AND of two ciphertexts."; }
+def CGGI_NandOp : CGGI_BinaryOp<"nand"> { let summary = "Logical NAND of two ciphertexts."; }
+def CGGI_NorOp  : CGGI_BinaryOp<"nor">  { let summary = "Logical NOR of two ciphertexts."; }
+def CGGI_OrOp  : CGGI_BinaryOp<"or">  { let summary = "Logical OR of two ciphertexts."; }
+def CGGI_XorOp : CGGI_BinaryOp<"xor"> { let summary = "Logical XOR of two ciphertexts."; }
+def CGGI_XNorOp : CGGI_BinaryOp<"xnor"> { let summary = "Logical XNOR of two ciphertexts."; }
+def CGGI_AddOp : CGGI_BinaryOp<"add"> { let summary = "Arithmetic addition of two ciphertexts."; }
+def CGGI_MulOp : CGGI_BinaryOp<"mul"> { let summary = "Arithmetic multiplication of two ciphertexts."; }
+
 
 def CGGI_NotOp : CGGI_Op<"not", [
     Pure,
@@ -270,4 +273,33 @@ def CGGI_MultiLutLinCombOp : CGGI_Op<"multi_lut_lincomb", [
   let hasVerifier = 1;
 }
 
+def CGGI_SubOp : CGGI_Op<"sub", [
+    Pure,
+    SameOperandsAndResultType,
+    ElementwiseMappable,
+    Scalarizable
+]> {
+  let arguments = (ins LWECiphertextLike:$lhs, LWECiphertextLike:$rhs);
+  let results = (outs LWECiphertextLike:$output);
+  let assemblyFormat = "operands attr-dict `:` qualified(type($output))";
+  let summary = "Subtraction of two ciphertexts.";
+}
+
+
+def CGGI_ShiftRightOp : CGGI_Op<"shr", [
+    Pure,
+]> {
+  let arguments = (ins LWECiphertextLike:$lhs, AnyI8:$shiftAmount);
+  let results = (outs LWECiphertextLike:$output);
+  let summary = "Arithmetic shift to right of a ciphertexts by an integer.";
+}
+
+def CGGI_ShiftLeftOp : CGGI_Op<"shl", [
+    Pure
+]> {
+  let arguments = (ins LWECiphertextLike:$lhs, AnyI8:$shiftAmount);
+  let results = (outs LWECiphertextLike:$output);
+  let summary = "Arithmetic shift to left of a ciphertexts by an integer.";
+}
+
 #endif  // LIB_DIALECT_CGGI_IR_CGGIOPS_TD_

lib/Dialect/TfheRust/IR/TfheRustOps.td

@@ -39,6 +39,7 @@ def CreateTrivialOp : TfheRust_Op<"create_trivial", [Pure]> {
 def TfheRust_BitAndOp : TfheRust_BinaryOp<"bitand"> { let summary = "Logical AND of two tfhe ciphertexts."; }
 def TfheRust_AddOp : TfheRust_BinaryOp<"add"> { let summary = "Arithmetic add of two tfhe ciphertexts."; }
 def TfheRust_SubOp : TfheRust_BinaryOp<"sub"> { let summary = "Arithmetic sub of two tfhe ciphertexts."; }
+def TfheRust_MulOp : TfheRust_BinaryOp<"mul"> { let summary = "Arithmetic sub of two tfhe ciphertexts."; }
 
 
 def ScalarLeftShiftOp : TfheRust_Op<"scalar_left_shift", [
@@ -53,6 +54,18 @@ def ScalarLeftShiftOp : TfheRust_Op<"scalar_left_shift", [
   let results = (outs TfheRust_CiphertextType:$output);
 }
 
+def ScalarRightShiftOp : TfheRust_Op<"scalar_right_shift", [
+    Pure,
+    AllTypesMatch<["ciphertext", "output"]>
+]> {
+  let arguments = (ins
+    TfheRust_ServerKey:$serverKey,
+    TfheRust_CiphertextType:$ciphertext,
+    AnyI8:$shiftAmount
+  );
+  let results = (outs TfheRust_CiphertextType:$output);
+}
+
 def ApplyLookupTableOp : TfheRust_Op<"apply_lookup_table", [
     Pure,
     AllTypesMatch<["input", "output"]>