feat: add NoSideEffect trait to intToCleartext op

This would be useful for future pass to eliminate it when its result is
no longer used
This commit is contained in:
youben11
2022-05-19 11:06:07 +01:00
committed by Ayoub Benaissa
parent ee64b68109
commit c42f0a1ada

View File

@@ -91,7 +91,7 @@ def EncodeIntOp : Concrete_Op<"encode_int"> {
let results = (outs PlaintextType:$plaintext);
}
def IntToCleartextOp : Concrete_Op<"int_to_cleartext"> {
def IntToCleartextOp : Concrete_Op<"int_to_cleartext", [NoSideEffect]> {
let summary = "Keyswitches a LWE ciphertext";
let arguments = (ins AnyInteger:$i);