Skip to content

chore(ssa): Do not run passes on Brillig functions post Brillig gen#7527

Merged
TomAFrench merged 1 commit intomasterfrom
mv/skip-opt-passes-on-brillig-post-brillig-gen
Feb 26, 2025
Merged

chore(ssa): Do not run passes on Brillig functions post Brillig gen#7527
TomAFrench merged 1 commit intomasterfrom
mv/skip-opt-passes-on-brillig-post-brillig-gen

Conversation

@vezenovm
Copy link
Contributor

Description

Problem*

Resolves #7157

A small chore I noticed while working on #7522, but looks like it should resolve the linked issue as well.

Post Brillig gen we have generated our final Brillig artifacts. They are not going to be altered again.

Summary*

Run constant folding and DIE only on ACIR functions post Brillig gen.

Additional Context

Documentation*

Check one:

  • No documentation needed.
  • Documentation included in this PR.
  • [For Experimental Features] Documentation 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.

@TomAFrench TomAFrench added this pull request to the merge queue Feb 26, 2025
Merged via the queue into master with commit 8a54402 Feb 26, 2025
102 checks passed
@TomAFrench TomAFrench deleted the mv/skip-opt-passes-on-brillig-post-brillig-gen branch February 26, 2025 12:49
AztecBot pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Feb 26, 2025
fix: No longer error on INT_MIN globals (noir-lang/noir#7519)
fix: correctly format trait function with multiple where clauses (noir-lang/noir#7531)
chore(ssa): Do not run passes on Brillig functions post Brillig gen (noir-lang/noir#7527)
TomAFrench pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Feb 26, 2025
Automated pull of development from the
[noir](https://github.com/noir-lang/noir) programming language, a
dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
chore!: bump msrv to 1.85.0
(noir-lang/noir#7530)
fix: No longer error on INT_MIN globals
(noir-lang/noir#7519)
fix: correctly format trait function with multiple where clauses
(noir-lang/noir#7531)
chore(ssa): Do not run passes on Brillig functions post Brillig gen
(noir-lang/noir#7527)
END_COMMIT_OVERRIDE

---------

Co-authored-by: guipublic <guipublic@gmail.com>
Co-authored-by: guipublic <47281315+guipublic@users.noreply.github.com>
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.

Not using the final SSA in order to generate the Brillig in build artifact

2 participants