Add ConstatIndex to PlaceElem

lambdaclass · Apr 24, 2024 · 18c15b8 · 18c15b8
1 parent f8377ae
commit 18c15b8
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git 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
@@ -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.