fix: bug in brillig gen

noir-lang · Feb 9, 2024 · 6e4320e · 6e4320e
1 parent da4e86f
commit 6e4320e
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/compiler/noirc_evaluator/src/brillig/brillig_ir.rs b/compiler/noirc_evaluator/src/brillig/brillig_ir.rs
@@ -916,8 +916,11 @@ impl BrilligContext {
         //
         // This means that the arguments will be in the first `n` registers after
         // the number of reserved registers.
-        let (sources, destinations) =
+        let (sources, destinations): (Vec<_>, Vec<_>) =
             arguments.iter().enumerate().map(|(i, argument)| (*argument, self.register(i))).unzip();
+        destinations
+            .iter()
+            .for_each(|destination| self.registers.ensure_register_is_allocated(*destination));
         self.mov_registers_to_registers_instruction(sources, destinations);
         saved_registers
     }

diff --git a/tooling/debugger/ignored-tests.txt b/tooling/debugger/ignored-tests.txt
@@ -16,5 +16,4 @@ scalar_mul
 signed_comparison
 simple_2d_array
 to_bytes_integration
-bigint
-brillig_slices
+bigint