feat: implement comptime support for array_len builtin

compiler/noirc_frontend/src/hir/comptime/interpreter.rs

@@ -31,6 +31,7 @@
 use super::errors::{IResult, InterpreterError};
 use super::value::Value;
 
+mod builtin;
 mod unquote;
 
 #[allow(unused)]
@@ -99,8 +100,13 @@
             .expect("all builtin functions must contain a function  attribute which contains the opcode which it links to");
 
         if let Some(builtin) = func_attrs.builtin() {
-            let item = format!("Evaluation for builtin functions like {builtin}");
-            Err(InterpreterError::Unimplemented { item, location })
+            match builtin.as_str() {
+                "array_len" => builtin::array_len(&arguments),
+                _ => {
+                    let item = format!("Evaluation for builtin function {builtin}");
+                    Err(InterpreterError::Unimplemented { item, location })
+                }
+            }
         } else if let Some(foreign) = func_attrs.foreign() {
             let item = format!("Evaluation for foreign functions like {foreign}");
             Err(InterpreterError::Unimplemented { item, location })
@@ -113,7 +119,7 @@
             }
         } else {
             let name = self.interner.function_name(&function);
             unreachable!("Non-builtin, lowlevel or oracle builtin fn '{name}'")
         }
     }
 

compiler/noirc_frontend/src/hir/comptime/interpreter/builtin.rs

@@ -0,0 +1,12 @@
+use noirc_errors::Location;
+
+use crate::hir::comptime::{errors::IResult, Value};
+
+pub(super) fn array_len(arguments: &[(Value, Location)]) -> IResult<Value> {
+    assert_eq!(arguments.len(), 1, "ICE: `array_len` should only receive a single argument");
+    match &arguments[0].0 {
+        Value::Array(values, _) | Value::Slice(values, _) => Ok(Value::U32(values.len() as u32)),
+        // Type checking should prevent this branch being taken.
+        _ => unreachable!("ICE: Cannot query length of types other than arrays or slices"),
+    }
+}

test_programs/compile_success_empty/comptime_array_len/Nargo.toml

@@ -0,0 +1,6 @@
+[package]
+name = "comptime_array_len"
+type = "bin"
+authors = [""]
+
+[dependencies]

test_programs/compile_success_empty/comptime_array_len/src/main.nr

@@ -0,0 +1,6 @@
+fn main() {
+    comptime
+    {
+        assert_eq([1, 2, 3].len(), 3);
+    }
+}