Array elements orphaned in loop unrolling

[joss-aztec]

Aim

The test named merkle_insert should compile

Expected Behavior

^

Bug

It errors:

The application panicked (crashed).
Message:  internal error: entered unreachable code: ICE: Id(20) should have been in cache Param { block: Id(6), position: 0, typ: Numeric(NativeField) }
Location: crates/noirc_evaluator/src/ssa_refactor/acir_gen/mod.rs:345

It appears there's no definition of v20 after loop unrolling - formally it was defined as a block parameter.

After Inlining:
...
  b6(v20: Field, v21: Field):
    v26 = call pedersen([v20, v21], u32 0)

After Unrolling:
...
  b607(v42348: Field, v42349: Field):
    v42350 = call pedersen([v20, v21], u32 0)

To Reproduce

Installation Method

None

Nargo Version

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response

[joss-aztec]

Test named simple_shield also affected