feat: add assert_eq builtin function

crates/noirc_evaluator/src/ssa/acir_gen/mod.rs

@@ -972,6 +972,13 @@ impl Context {
         result_ids: &[ValueId],
     ) -> Result<Vec<AcirValue>, RuntimeError> {
         match intrinsic {
+            Intrinsic::AssertEq => {
+                let lhs = self.convert_value(arguments[0], dfg).into_var()?;
+                let rhs = self.convert_value(arguments[1], dfg).into_var()?;
+
+                self.acir_context.assert_eq_var(lhs, rhs)?;
+                Ok(Vec::new())
+            }
             Intrinsic::BlackBox(black_box) => {
                 let inputs = vecmap(arguments, |arg| self.convert_value(*arg, dfg));
 

crates/noirc_evaluator/src/ssa/ir/instruction.rs

@@ -40,6 +40,7 @@ pub(crate) enum Intrinsic {
     SliceInsert,
     SliceRemove,
     Println,
+    AssertEq,
     ToBits(Endian),
     ToRadix(Endian),
     BlackBox(BlackBoxFunc),
@@ -48,6 +49,7 @@ pub(crate) enum Intrinsic {
 impl std::fmt::Display for Intrinsic {
     fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
         match self {
+            Intrinsic::AssertEq => write!(f, "assert_eq"),
             Intrinsic::Println => write!(f, "println"),
             Intrinsic::Sort => write!(f, "arraysort"),
             Intrinsic::ArrayLen => write!(f, "array_len"),
@@ -71,6 +73,7 @@ impl Intrinsic {
     /// If there is no such intrinsic by that name, None is returned.
     pub(crate) fn lookup(name: &str) -> Option<Intrinsic> {
         match name {
+            "assert_eq" => Some(Intrinsic::AssertEq),
             "println" => Some(Intrinsic::Println),
             "arraysort" => Some(Intrinsic::Sort),
             "array_len" => Some(Intrinsic::ArrayLen),

crates/noirc_evaluator/src/ssa/ir/instruction/call.rs

@@ -30,6 +30,17 @@ pub(super) fn simplify_call(
         arguments.iter().map(|value_id| dfg.get_numeric_constant(*value_id)).collect();
 
     match intrinsic {
+        Intrinsic::AssertEq => {
+            if let Some(constant_args) = constant_args {
+                if constant_args[0] == constant_args[1] {
+                    SimplifyResult::Remove
+                } else {
+                    SimplifyResult::None
+                }
+            } else {
+                SimplifyResult::None
+            }
+        }
         Intrinsic::ToBits(endian) => {
             if let Some(constant_args) = constant_args {
                 let field = constant_args[0];

noir_stdlib/src/lib.nr

@@ -27,3 +27,6 @@ unconstrained fn println<T>(input: T) {
 
 #[foreign(recursive_aggregation)]
 fn verify_proof<N>(_verification_key : [Field], _proof : [Field], _public_inputs : [Field], _key_hash : Field, _input_aggregation_object : [Field; N]) -> [Field; N] {}
+
+#[builtin(assert_eq)]
+fn assert_eq<T>(_lhs: T, _rhs: T) {}