Skip to content

fix: revert "feat(ACIR): reuse element_type_sizes blocks with the same str…#10428

Merged
TomAFrench merged 1 commit intomasterfrom
ab/revert-10231
Nov 7, 2025
Merged

fix: revert "feat(ACIR): reuse element_type_sizes blocks with the same str…#10428
TomAFrench merged 1 commit intomasterfrom
ab/revert-10231

Conversation

@asterite
Copy link
Collaborator

@asterite asterite commented Nov 7, 2025

…ucture (#10231)"

This reverts commit 7fb2f1a.

Description

Problem

#10231 seems to cause a stackoverflow when running tests.

Summary

It's unclear why this change would cause a stackoverflow. However, this is a minimal optimization so we can revert it now and try to bring it back later on.

Additional Context

User Documentation

Check one:

  • No user documentation needed.
  • Changes in docs/ included in this PR.
  • [For Experimental Features] Changes in docs/ to be submitted in a separate PR.

PR Checklist

  • I have tested the changes locally.
  • I have formatted the changes with Prettier and/or cargo fmt on default settings.

@asterite asterite changed the title Revert "feat(ACIR): reuse element_type_sizes blocks with the same str… fix: revert "feat(ACIR): reuse element_type_sizes blocks with the same str… Nov 7, 2025
@github-actions
Copy link
Contributor

github-actions bot commented Nov 7, 2025

Changes to circuit sizes

Generated at commit: e56a1a0667928e3d4766340492fc8b7ac1651dcc, compared to commit: 481230936c9b29bb1c200a1bffc66ffe35ec6d50

🧾 Summary (10% most significant diffs)

Program ACIR opcodes (+/-) % Circuit size (+/-) %
nested_array_dynamic +10 ❌ +0.33% +228 ❌ +1.99%
nested_array_in_slice +2 ❌ +0.20% +52 ❌ +0.95%

Full diff report 👇
Program ACIR opcodes (+/-) % Circuit size (+/-) %
nested_array_dynamic 2,996 (+10) +0.33% 11,704 (+228) +1.99%
nested_array_in_slice 980 (+2) +0.20% 5,508 (+52) +0.95%
regression_10170 169 (+1) +0.60% 3,453 (+26) +0.76%
regression_struct_array_conditional 69 (+1) +1.47% 3,234 (+20) +0.62%

@TomAFrench TomAFrench enabled auto-merge November 7, 2025 17:59
Copy link
Contributor

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Execution Time'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite Current: 34c6d8e Previous: 4812309 Ratio
rollup-checkpoint-merge 0.004 s 0.003 s 1.33

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

@TomAFrench TomAFrench added this pull request to the merge queue Nov 7, 2025
Merged via the queue into master with commit 8411248 Nov 7, 2025
133 of 134 checks passed
@TomAFrench TomAFrench deleted the ab/revert-10231 branch November 7, 2025 18:39
AztecBot added a commit to AztecProtocol/aztec-packages that referenced this pull request Nov 10, 2025
Automated pull of nightly from the [noir](https://github.com/noir-lang/noir) programming language, a dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
chore(elaborator): Infer type of lambdas in tuple args; more docs (noir-lang/noir#10405)
fix: revert "feat(ACIR): reuse element_type_sizes blocks with the same str… (noir-lang/noir#10428)
chore(frontend): Avoid silent fallback when returning turbofish generics for primitive types (noir-lang/noir#10416)
fix: mark ECDSA verification as `PureWithPredicate` (noir-lang/noir#10423)
fix(parser): don't crash on incomplete type alias (noir-lang/noir#10421)
chore(github): Refine pull request template wording (noir-lang/noir#10418)
chore: refactor codegen_memory (noir-lang/noir#10323)
chore(frontend): Primitive types generic count unit tests (noir-lang/noir#10412)
chore: use SignedField::from_signed in enums.rs (noir-lang/noir#10408)
chore: use `map_data_bus_in_place` in mem2reg (noir-lang/noir#10407)
chore: apply typo fixes from Cantina (noir-lang/noir#10406)
chore(frontend): Various comptime blocks unit tests (noir-lang/noir#10398)
fix: clarify predicate comment in BrilligCall and Call opcodes (noir-lang/noir#10356)
END_COMMIT_OVERRIDE
github-merge-queue bot pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Nov 10, 2025
Automated pull of nightly from the
[noir](https://github.com/noir-lang/noir) programming language, a
dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
chore(elaborator): Infer type of lambdas in tuple args; more docs
(noir-lang/noir#10405)
fix: revert "feat(ACIR): reuse element_type_sizes blocks with the same
str… (noir-lang/noir#10428)
chore(frontend): Avoid silent fallback when returning turbofish generics
for primitive types (noir-lang/noir#10416)
fix: mark ECDSA verification as `PureWithPredicate`
(noir-lang/noir#10423)
fix(parser): don't crash on incomplete type alias
(noir-lang/noir#10421)
chore(github): Refine pull request template wording
(noir-lang/noir#10418)
chore: refactor codegen_memory
(noir-lang/noir#10323)
chore(frontend): Primitive types generic count unit tests
(noir-lang/noir#10412)
chore: use SignedField::from_signed in enums.rs
(noir-lang/noir#10408)
chore: use `map_data_bus_in_place` in mem2reg
(noir-lang/noir#10407)
chore: apply typo fixes from Cantina
(noir-lang/noir#10406)
chore(frontend): Various comptime blocks unit tests
(noir-lang/noir#10398)
fix: clarify predicate comment in BrilligCall and Call opcodes
(noir-lang/noir#10356)
END_COMMIT_OVERRIDE
asterite added a commit that referenced this pull request Nov 10, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants