Compiler error when adding EmbeddedCurvePoint in brillig

[ggiraldez]

Aim

Compile the following program:

use dep::std;

unconstrained fn main() -> pub Field {
    let g1_y = 17631683881184975370165255887551781615748388533673675138860;
    let g1 = std::scalar_mul::EmbeddedCurvePoint { x: 1, y: g1_y };
    let double = g1.add(g1);

    double.x
}

Expected Behavior

The program should compile correctly.

Bug

An internal compiler error is reported:

The application panicked (crashed).
Message:  internal error: entered unreachable code: ICE: EmbeddedCurveAdd expects four register arguments and one array result
Location: compiler/noirc_evaluator/src/brillig/brillig_gen/brillig_black_box.rs:213

This is a bug. We may have already fixed this in newer versions of Nargo so try searching for similar issues at https://github.com/noir-lang/noir/issues/.
If there isn't an open issue for this bug, consider opening one at https://github.com/noir-lang/noir/issues/new?labels=bug&template=bug_report.yml

To Reproduce

Run nargo compile with the above sample

Installation Method

Compiled from source

Nargo Version

nargo version = 0.23.0 noirc version = 0.23.0+bdf64ed81d7f34d6478ed9bde5b69e45d171d5f0 (git version hash: bdf64ed, is dirty: true)

Additional Context

This is a subset of the scalar_mul execution success sample. We found that this fails when running under the debugger since we compile in Brillig mode by default for debugging.

Would you like to submit a PR for this Issue?

No

Support Needs

No response