Internal Consistency Evaluators Errors: aes128_encrypt

[aakoshh]

Aim

Trying to print the SSA occasionally results in an error around the aes128_encrypt function. It only seems to happen when I try to limit printing to a specific pass name with --show-ssa-pass. If I print the full SSA it doesn't come up.

This has been happening since #6973

Expected Behavior

The SSA of the selected pass should be printed without errors. It seems to print it, and then die later during ACIR generation.

Bug

$ cargo run -q -p nargo_cli -- --program-dir ../../noir-projects/noir-contracts compile --package stateful_test_contract --silence-warnings --show-ssa --show-contract-fn destroy_and_create_no_init_check --show-ssa-pass "Dead Instruction Elimination (2nd)"
After Dead Instruction Elimination (2nd):
g0 = u32 44
g1 = Field 18446744073709551616
...
  b5():
    v101 = unchecked_add v43, u32 1
    jmp b1(v101)
}
error: Internal Consistency Evaluators Errors: 

                    This is likely a bug. Consider opening an issue at https://github.com/noir-lang/noir/issues
  ┌─ std/aes128.nr:1:1
  │
1 │ #[foreign(aes128_encrypt)]
  │ - ICE: "Cannot find linked fn Function(Id(18), None)"
  │

Aborting due to 1 previous error

To Reproduce

It doesn't happen all the time, but try limiting the SSA to a single pass.

Workaround

None

Workaround Description

The SSA is printed, so there is nothing to work around, except figuring out why it can't find this particular function.

Additional Context

No response

Project Impact

None

Blocker Context

No response

Nargo Version

nargo version = 1.0.0-beta.1 noirc version = 1.0.0-beta.1+4608c490032f2467cead6b76f4e81f9a4bf9ab50 (git version hash: 4608c490032f2467cead6b76f4e81f9a4bf9ab50, is dirty: true)

NoirJS Version

No response

Proving Backend Tooling & Version

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response