From c42f0a1adaeb51513362ec207f88c0b3ad79989a Mon Sep 17 00:00:00 2001
From: youben11 <ayoub.benaissa@zama.ai>
Date: Thu, 19 May 2022 11:06:07 +0100
Subject: [PATCH] feat: add NoSideEffect trait to intToCleartext op

This would be useful for future pass to eliminate it when its result is
no longer used
---
 .../include/concretelang/Dialect/Concrete/IR/ConcreteOps.td     | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/include/concretelang/Dialect/Concrete/IR/ConcreteOps.td b/compiler/include/concretelang/Dialect/Concrete/IR/ConcreteOps.td
index baa2adf82..5c685497e 100644
--- a/compiler/include/concretelang/Dialect/Concrete/IR/ConcreteOps.td
+++ b/compiler/include/concretelang/Dialect/Concrete/IR/ConcreteOps.td
@@ -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);