feat: Apply optimizations to unconstrained code#2348

Merged

vezenovm merged 34 commits intomasterfrom

jf/optimize-brillig

Sep 1, 2023

Commits on Aug 16, 2023

Generate brillig at the end of Ssa; rework inlining
Jake Fecher
committed
Fix typo in fold_constants call
Jake Fecher
committed
Use btree_map
Jake Fecher
committed
Remove code from #2190
Jake Fecher
committed
Rename ssa_builder module to function_builder
Jake Fecher
committed
Add resolve calls to brillig
Jake Fecher
committed
Simplify reachable brillig function analysis
Jake Fecher
committed

Commits on Aug 22, 2023

Add everything except alias handling
Jake Fecher
committed

Commits on Aug 23, 2023

Fix all tests
Jake Fecher
committed
clippy
Jake Fecher
committed
Merge branch 'master' into jf/optimize-brillig
TomAFrench
committed
Mild cleanup
Jake Fecher
committed
Undo some unneeded changes
Jake Fecher
committed

Commits on Aug 24, 2023

Partially revert cleanup commit which broke some tests
Jake Fecher
committed
Add large doc comment
Jake Fecher
committed
Merge branch 'master' into jf/new-mem2reg
Jake Fecher
committed
Add test and remove printlns
Jake Fecher
committed
Remove todos
Jake Fecher
committed

Commits on Aug 25, 2023

Merge branch 'jf/new-mem2reg' into jf/optimize-brillig
Jake Fecher
committed
Merge new mem2reg pass
Jake Fecher
committed
Merge branch 'jf/optimize-brillig' of https://github.com/noir-lang/noir into jf/optimize-brillig
Jake Fecher
committed
Apply fix from mem2reg branch
Jake Fecher
committed
Support aliasing arrays in mem2reg
Jake Fecher
committed
Move last_stores in Block struct
Jake Fecher
committed
Merge branch 'master' into jf/optimize-brillig
Jake Fecher
committed
Satisfy clippy
Jake Fecher
committed

Commits on Aug 28, 2023

Constant fold during mem2reg pass
Jake Fecher
committed

Commits on Aug 30, 2023

Merge branch 'master' into jf/optimize-brillig
Jake Fecher
committed
Update bytecode for tests
Jake Fecher
committed

Commits on Sep 1, 2023

Update crates/noirc_evaluator/src/ssa/opt/mem2reg.rs

jfecher
and
vezenovm
authored
Update crates/noirc_evaluator/src/ssa/opt/mem2reg.rs

jfecher
and
vezenovm
authored
Update crates/noirc_evaluator/src/ssa/opt/inlining.rs

jfecher
and
vezenovm
authored
Merge master
Jake Fecher
committed
Merge branch 'jf/optimize-brillig' of https://github.com/noir-lang/noir into jf/optimize-brillig
Jake Fecher
committed