Skip to content

chore(ssa refactor): Add Context structs and start ssa gen pass#1196

Merged
jfecher merged 7 commits intomasterfrom
jf/ssa
Apr 21, 2023
Merged

chore(ssa refactor): Add Context structs and start ssa gen pass#1196
jfecher merged 7 commits intomasterfrom
jf/ssa

Conversation

@jfecher
Copy link
Copy Markdown
Contributor

@jfecher jfecher commented Apr 21, 2023

Related issue(s)

Resolves #

Description

Summary of changes

Adds the beginning of a split FunctionBuilder and SsaBuilder contexts for building the ssa IR, and adds FunctionContext and Context for the ssa-gen pass.

The organization is nonfinal but the change is already getting quite large so I've made this PR here before adding many helper functions. Comments/suggestions are welcome, this PR may also include some other smaller changes.

Dependency additions / changes

Test additions / changes

Checklist

  • I have tested the changes locally.
  • I have formatted the changes with Prettier and/or cargo fmt with default settings.
  • I have linked this PR to the issue(s) that it resolves.
  • I have reviewed the changes on GitHub, line by line.
  • I have ensured all changes are covered in the description.

Documentation needs

  • This PR requires documentation updates when merged.

Additional context

@jfecher jfecher changed the title Add Context structs and start ssa gen pass chore(ssa refactor): Add Context structs and start ssa gen pass Apr 21, 2023
Comment thread crates/noirc_evaluator/src/ssa_refactor/ir/function.rs Outdated
joss-aztec
joss-aztec previously approved these changes Apr 21, 2023
joss-aztec
joss-aztec previously approved these changes Apr 21, 2023
@jfecher jfecher enabled auto-merge April 21, 2023 17:12
Comment thread crates/noirc_evaluator/src/lib.rs
Comment thread crates/noirc_evaluator/src/ssa_refactor/ssa_gen/value.rs Outdated
Comment thread crates/noirc_frontend/src/monomorphization/ast.rs
Comment thread crates/noirc_evaluator/src/ssa_refactor/ir/basic_block.rs
Copy link
Copy Markdown
Contributor

@kevaundray kevaundray left a comment

Choose a reason for hiding this comment

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

Generally looks fine to me -- left a couple questions

Co-authored-by: kevaundray <kevtheappdev@gmail.com>
@jfecher jfecher added this pull request to the merge queue Apr 21, 2023
Merged via the queue into master with commit e4c7bb2 Apr 21, 2023
@jfecher jfecher deleted the jf/ssa branch April 21, 2023 18:51
TomAFrench added a commit that referenced this pull request Apr 24, 2023
* master:
  chore: update flake version to match current release (#1204)
  feat!: Switch to aztec_backend that uses upstream BB & UltraPlonk (#1114)
  chore(ssa refactor): Add Context structs and start ssa gen pass (#1196)
  chore(ssa): Replace JmpIf with BrIf (#1193)
  chore(noir): Release 0.4.1 (#1164)
  chore(ssa refactor): Add DenseMap and SparseMap types (#1184)
  feat: bump noir-source-resolver version (#1182)
  chore(deps): bump h2 from 0.3.16 to 0.3.18 (#1186)
  fix(nargo): restore `nargo codegen-verifier` functionality (#1185)
  chore: simplify setup code in `noir_integration` test (#1180)
  feat: Add Poseidon-BN254 hash functions (#1176)
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.

3 participants