From 18c15b80d1e23ddcef9046e3ef65aaa4f1110a66 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Juli=C3=A1n=20Gonz=C3=A1lez=20Calder=C3=B3n?=
 <gonzalezcalderonjulian@gmail.com>
Date: Wed, 24 Apr 2024 11:47:01 -0300
Subject: [PATCH] Add ConstatIndex to PlaceElem

---
 crates/concrete_codegen_mlir/src/codegen.rs | 3 +++
 crates/concrete_ir/src/lib.rs               | 2 ++
 2 files changed, 5 insertions(+)

diff --git a/crates/concrete_codegen_mlir/src/codegen.rs b/crates/concrete_codegen_mlir/src/codegen.rs
index faa1c33..8e5f8c0 100644
--- a/crates/concrete_codegen_mlir/src/codegen.rs
+++ b/crates/concrete_codegen_mlir/src/codegen.rs
@@ -500,6 +500,7 @@ fn compile_rvalue<'c: 'b, 'b>(
                     }
                     PlaceElem::Field(_) => todo!(),
                     PlaceElem::Index(_) => todo!(),
+                    PlaceElem::ConstantIndex(_) => todo!(),
                 }
             }
 
@@ -1012,6 +1013,7 @@ fn compile_store_place<'c: 'b, 'b>(
                 }
             }
             PlaceElem::Index(_) => todo!(),
+            PlaceElem::ConstantIndex(_) => todo!(),
         }
     }
 
@@ -1083,6 +1085,7 @@ fn compile_load_place<'c: 'b, 'b>(
                 }
             }
             PlaceElem::Index(_) => todo!(),
+            PlaceElem::ConstantIndex(_) => todo!(),
         }
     }
 
diff --git a/crates/concrete_ir/src/lib.rs b/crates/concrete_ir/src/lib.rs
index c015940..3470912 100644
--- a/crates/concrete_ir/src/lib.rs
+++ b/crates/concrete_ir/src/lib.rs
@@ -201,6 +201,8 @@ pub enum PlaceElem {
     Field(FieldIndex),
     /// array index
     Index(LocalIndex),
+    /// constant array index
+    ConstantIndex(u64),
 }
 
 /// A local, akin to a variable, it can be user defined or compiler-introduced.