Skip to content

fix(ssa): Experiment with removing the last stores optimization in mem2reg#8745

Closed
vezenovm wants to merge 1 commit intomasterfrom
mv/remove-last-stores-opt
Closed

fix(ssa): Experiment with removing the last stores optimization in mem2reg#8745
vezenovm wants to merge 1 commit intomasterfrom
mv/remove-last-stores-opt

Conversation

@vezenovm
Copy link
Contributor

Description

Problem*

As as an alternative to #8743 I just want to see the effects of removing this optimization where we remove the remaining last stores.

Summary*

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.

@vezenovm vezenovm added the bench-show Display benchmark results on PR label May 30, 2025
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.

ACVM Benchmarks

Details
Benchmark suite Current: fb89406 Previous: cb4951d Ratio
purely_sequential_opcodes 258432 ns/iter (± 770) 255254 ns/iter (± 985) 1.01
perfectly_parallel_opcodes 226706 ns/iter (± 2197) 224321 ns/iter (± 1041) 1.01
perfectly_parallel_batch_inversion_opcodes 3586898 ns/iter (± 14270) 3211138 ns/iter (± 3949) 1.12

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

@vezenovm vezenovm changed the title fix(ssa): Experminet with removing the last stores optimization in mem2reg fix(ssa): Experiment with removing the last stores optimization in mem2reg May 30, 2025
@github-actions
Copy link
Contributor

Changes to number of Brillig opcodes executed

Generated at commit: e5009d75fd09de5bd3fa0c61fd52fcb9b1143468, compared to commit: cb4951d3249ab7f4f97dddc21595cfa933b08d72

🧾 Summary (10% most significant diffs)

Program Brillig opcodes (+/-) %
brillig_block_parameter_liveness_inliner_max +7,983 ❌ +862.10%
brillig_block_parameter_liveness_inliner_min +7,983 ❌ +862.10%
brillig_block_parameter_liveness_inliner_zero +7,983 ❌ +862.10%
references_inliner_max +90 ❌ +59.60%
higher_order_functions_inliner_max +280 ❌ +33.18%
references_inliner_zero +76 ❌ +30.65%
dont_deduplicate_call_inliner_max +6 ❌ +28.57%
dont_deduplicate_call_inliner_min +6 ❌ +28.57%
dont_deduplicate_call_inliner_zero +6 ❌ +28.57%
brillig_entry_points_regression_8069_inliner_max +818 ❌ +23.39%
brillig_entry_points_regression_8069_inliner_min +818 ❌ +23.39%
brillig_entry_points_regression_8069_inliner_zero +818 ❌ +23.39%

Full diff report 👇
Program Brillig opcodes (+/-) %
brillig_block_parameter_liveness_inliner_max 8,909 (+7,983) +862.10%
brillig_block_parameter_liveness_inliner_min 8,909 (+7,983) +862.10%
brillig_block_parameter_liveness_inliner_zero 8,909 (+7,983) +862.10%
references_inliner_max 241 (+90) +59.60%
higher_order_functions_inliner_max 1,124 (+280) +33.18%
references_inliner_zero 324 (+76) +30.65%
dont_deduplicate_call_inliner_max 27 (+6) +28.57%
dont_deduplicate_call_inliner_min 27 (+6) +28.57%
dont_deduplicate_call_inliner_zero 27 (+6) +28.57%
brillig_entry_points_regression_8069_inliner_max 4,315 (+818) +23.39%
brillig_entry_points_regression_8069_inliner_min 4,315 (+818) +23.39%
brillig_entry_points_regression_8069_inliner_zero 4,315 (+818) +23.39%
array_to_slice_inliner_max 1,124 (+177) +18.69%
conditional_regression_661_inliner_max 133 (+19) +16.67%
conditional_regression_661_inliner_min 133 (+19) +16.67%
conditional_regression_661_inliner_zero 133 (+19) +16.67%
loop_invariant_regression_inliner_max 364 (+37) +11.31%
loop_invariant_regression_inliner_zero 364 (+37) +11.31%
side_effects_constrain_array_inliner_max 45 (+4) +9.76%
higher_order_functions_inliner_zero 1,275 (+112) +9.63%
negated_jmpif_condition_inliner_max 36 (+3) +9.09%
negated_jmpif_condition_inliner_min 36 (+3) +9.09%
negated_jmpif_condition_inliner_zero 36 (+3) +9.09%
slices_inliner_max 2,698 (+205) +8.22%
generics_inliner_max 134 (+10) +8.06%
regression_11294_inliner_max 1,212 (+86) +7.64%
regression_11294_inliner_zero 1,212 (+86) +7.64%
hashmap_inliner_max 55,161 (+3,663) +7.11%
slices_inliner_zero 2,914 (+178) +6.51%
6_array_inliner_max 1,494 (+67) +4.70%
6_array_inliner_min 1,494 (+67) +4.70%
6_array_inliner_zero 1,494 (+67) +4.70%
hint_black_box_inliner_max 614 (+27) +4.60%
slice_loop_inliner_max 879 (+36) +4.27%
uhashmap_inliner_max 150,312 (+5,887) +4.08%
conditional_regression_421_inliner_max 92 (+3) +3.37%
conditional_regression_421_inliner_min 92 (+3) +3.37%
conditional_regression_421_inliner_zero 92 (+3) +3.37%
regression_6674_3_inliner_max 1,245 (+39) +3.23%
brillig_pedersen_inliner_max 607 (+19) +3.23%
pedersen_check_inliner_max 607 (+19) +3.23%
brillig_pedersen_inliner_min 607 (+19) +3.23%
pedersen_check_inliner_min 607 (+19) +3.23%
brillig_pedersen_inliner_zero 607 (+19) +3.23%
pedersen_check_inliner_zero 607 (+19) +3.23%
references_inliner_min 398 (+12) +3.11%
if_else_chain_inliner_max 100 (+3) +3.09%
if_else_chain_inliner_min 100 (+3) +3.09%
if_else_chain_inliner_zero 100 (+3) +3.09%
slice_regex_inliner_max 2,968 (+88) +3.06%
derive_inliner_zero 258 (+7) +2.79%
fold_complex_outputs_inliner_max 452 (+12) +2.73%
strings_inliner_max 1,565 (+41) +2.69%
brillig_calls_conditionals_inliner_max 115 (+3) +2.68%
array_dedup_regression_inliner_max 690 (+15) +2.22%
array_dedup_regression_inliner_min 690 (+15) +2.22%
array_dedup_regression_inliner_zero 690 (+15) +2.22%
hint_black_box_inliner_zero 863 (+18) +2.13%
array_to_slice_inliner_zero 1,845 (+33) +1.82%
regression_6674_3_inliner_zero 1,164 (+18) +1.57%
higher_order_functions_inliner_min 1,839 (+27) +1.49%
7_function_inliner_zero 2,162 (+30) +1.41%
7_function_inliner_max 2,087 (+27) +1.31%
slice_regex_inliner_zero 3,923 (+45) +1.16%
strings_inliner_zero 1,584 (+16) +1.02%
regression_6674_1_inliner_zero 693 (+6) +0.87%
regression_6674_2_inliner_zero 693 (+6) +0.87%
loop_invariant_regression_inliner_min 1,556 (+12) +0.78%
array_dynamic_inliner_max 407 (+3) +0.74%
array_dynamic_inliner_zero 407 (+3) +0.74%
array_dynamic_inliner_min 422 (+3) +0.72%
regression_capacity_tracker_inliner_max 573 (+4) +0.70%
regression_capacity_tracker_inliner_min 573 (+4) +0.70%
regression_capacity_tracker_inliner_zero 573 (+4) +0.70%
regression_1144_1169_2399_6609_inliner_max 2,271 (+14) +0.62%
regression_1144_1169_2399_6609_inliner_zero 2,271 (+14) +0.62%
hashmap_inliner_zero 67,175 (+392) +0.59%
slices_inliner_min 3,822 (+20) +0.53%
array_dynamic_nested_blackbox_input_inliner_max 1,186 (+6) +0.51%
array_dynamic_nested_blackbox_input_inliner_zero 1,186 (+6) +0.51%
hash_to_field_inliner_max 819 (+4) +0.49%
hash_to_field_inliner_zero 819 (+4) +0.49%
slice_dynamic_index_inliner_max 4,635 (+21) +0.46%
slice_dynamic_index_inliner_zero 4,635 (+21) +0.46%
slice_dynamic_index_inliner_min 4,875 (+21) +0.43%
hashmap_inliner_min 73,652 (+312) +0.43%
regression_7128_inliner_max 998 (+4) +0.40%
regression_7128_inliner_zero 998 (+4) +0.40%
nested_array_in_slice_inliner_min 1,256 (+5) +0.40%
nested_array_in_slice_inliner_zero 1,256 (+5) +0.40%
regression_7128_inliner_min 1,013 (+4) +0.40%
6_inliner_max 861 (+3) +0.35%
6_inliner_zero 861 (+3) +0.35%
conditional_regression_short_circuit_inliner_max 937 (+3) +0.32%
conditional_regression_short_circuit_inliner_zero 937 (+3) +0.32%
uhashmap_inliner_zero 169,158 (+378) +0.22%
uhashmap_inliner_min 176,946 (+252) +0.14%
poseidon_bn254_hash_width_3_inliner_max 135,873 (+11) +0.01%
poseidon_bn254_hash_width_3_inliner_zero 166,285 (+11) +0.01%
poseidon_bn254_hash_width_3_inliner_min 168,105 (+3) +0.00%
bench_2_to_17_inliner_max 429,696 (+3) +0.00%
bench_2_to_17_inliner_zero 468,911 (+3) +0.00%
fold_2_to_17_inliner_max 789,310 (+3) +0.00%

@github-actions
Copy link
Contributor

Changes to Brillig bytecode sizes

Generated at commit: e5009d75fd09de5bd3fa0c61fd52fcb9b1143468, compared to commit: cb4951d3249ab7f4f97dddc21595cfa933b08d72

🧾 Summary (10% most significant diffs)

Program Brillig opcodes (+/-) %
brillig_block_parameter_liveness_inliner_max +15,996 ❌ +1781.29%
brillig_block_parameter_liveness_inliner_min +15,996 ❌ +1781.29%
brillig_block_parameter_liveness_inliner_zero +15,996 ❌ +1781.29%
references_inliner_max +90 ❌ +108.43%
references_inliner_zero +72 ❌ +48.65%
regression_unsafe_no_predicates_inliner_max +15 ❌ +44.12%
regression_unsafe_no_predicates_inliner_min +15 ❌ +44.12%
regression_unsafe_no_predicates_inliner_zero +15 ❌ +44.12%
dont_deduplicate_call_inliner_max +9 ❌ +39.13%
dont_deduplicate_call_inliner_min +9 ❌ +39.13%
dont_deduplicate_call_inliner_zero +9 ❌ +39.13%
regression_11294_inliner_max +86 ❌ +38.91%
regression_11294_inliner_zero +86 ❌ +38.91%

Full diff report 👇
Program Brillig opcodes (+/-) %
brillig_block_parameter_liveness_inliner_max 16,894 (+15,996) +1781.29%
brillig_block_parameter_liveness_inliner_min 16,894 (+15,996) +1781.29%
brillig_block_parameter_liveness_inliner_zero 16,894 (+15,996) +1781.29%
references_inliner_max 173 (+90) +108.43%
references_inliner_zero 220 (+72) +48.65%
regression_unsafe_no_predicates_inliner_max 49 (+15) +44.12%
regression_unsafe_no_predicates_inliner_min 49 (+15) +44.12%
regression_unsafe_no_predicates_inliner_zero 49 (+15) +44.12%
dont_deduplicate_call_inliner_max 32 (+9) +39.13%
dont_deduplicate_call_inliner_min 32 (+9) +39.13%
dont_deduplicate_call_inliner_zero 32 (+9) +39.13%
regression_11294_inliner_max 307 (+86) +38.91%
regression_11294_inliner_zero 307 (+86) +38.91%
array_to_slice_inliner_max 666 (+177) +36.20%
conditional_regression_661_inliner_max 153 (+35) +29.66%
conditional_regression_661_inliner_min 153 (+35) +29.66%
conditional_regression_661_inliner_zero 153 (+35) +29.66%
higher_order_functions_inliner_max 692 (+144) +26.28%
reference_counts_slices_inliner_0_inliner_max 907 (+182) +25.10%
reference_counts_inliner_0_inliner_max 814 (+118) +16.95%
reference_counts_inliner_max_inliner_max 814 (+118) +16.95%
reference_counts_inliner_min_inliner_max 814 (+118) +16.95%
slices_inliner_max 1,914 (+221) +13.05%
hashmap_inliner_max 19,371 (+2,093) +12.11%
slices_inliner_zero 1,819 (+194) +11.94%
loop_invariant_regression_inliner_max 165 (+17) +11.49%
loop_invariant_regression_inliner_zero 165 (+17) +11.49%
generics_inliner_max 100 (+10) +11.11%
6_array_inliner_max 378 (+37) +10.85%
6_array_inliner_min 378 (+37) +10.85%
6_array_inliner_zero 378 (+37) +10.85%
brillig_entry_points_regression_8069_inliner_max 154 (+14) +10.00%
brillig_entry_points_regression_8069_inliner_min 154 (+14) +10.00%
brillig_entry_points_regression_8069_inliner_zero 154 (+14) +10.00%
higher_order_functions_inliner_zero 714 (+64) +9.85%
hint_black_box_inliner_max 338 (+27) +8.68%
regression_6674_3_inliner_max 513 (+39) +8.23%
negated_jmpif_condition_inliner_max 40 (+3) +8.11%
negated_jmpif_condition_inliner_min 40 (+3) +8.11%
negated_jmpif_condition_inliner_zero 40 (+3) +8.11%
slice_loop_inliner_max 252 (+18) +7.69%
uhashmap_inliner_max 12,422 (+833) +7.19%
7_function_inliner_zero 472 (+30) +6.79%
hint_black_box_inliner_zero 330 (+18) +5.77%
7_function_inliner_max 553 (+27) +5.13%
array_to_slice_inliner_zero 696 (+33) +4.98%
brillig_pedersen_inliner_max 425 (+19) +4.68%
pedersen_check_inliner_max 425 (+19) +4.68%
brillig_pedersen_inliner_min 425 (+19) +4.68%
pedersen_check_inliner_min 425 (+19) +4.68%
pedersen_check_inliner_zero 425 (+19) +4.68%
brillig_pedersen_inliner_zero 425 (+19) +4.68%
slice_regex_inliner_max 2,110 (+94) +4.66%
strings_inliner_max 958 (+41) +4.47%
regression_6674_3_inliner_zero 428 (+18) +4.39%
loop_invariant_regression_inliner_min 222 (+9) +4.23%
derive_inliner_zero 280 (+10) +3.70%
conditional_regression_421_inliner_max 86 (+3) +3.61%
conditional_regression_421_inliner_min 86 (+3) +3.61%
conditional_regression_421_inliner_zero 86 (+3) +3.61%
regression_7128_inliner_max 117 (+4) +3.54%
regression_7128_inliner_zero 117 (+4) +3.54%
fold_complex_outputs_inliner_max 361 (+12) +3.44%
side_effects_constrain_array_inliner_max 91 (+3) +3.41%
regression_6674_1_inliner_zero 191 (+6) +3.24%
regression_6674_2_inliner_zero 191 (+6) +3.24%
regression_7128_inliner_min 128 (+4) +3.23%
hash_to_field_inliner_max 135 (+4) +3.05%
hash_to_field_inliner_zero 135 (+4) +3.05%
if_else_chain_inliner_max 103 (+3) +3.00%
if_else_chain_inliner_min 103 (+3) +3.00%
if_else_chain_inliner_zero 103 (+3) +3.00%
conditional_regression_short_circuit_inliner_max 210 (+6) +2.94%
conditional_regression_short_circuit_inliner_zero 210 (+6) +2.94%
reference_counts_slices_inliner_0_inliner_zero 1,034 (+29) +2.89%
slice_regex_inliner_zero 1,677 (+45) +2.76%
references_inliner_min 236 (+6) +2.61%
brillig_calls_conditionals_inliner_max 131 (+3) +2.34%
regression_capacity_tracker_inliner_max 221 (+5) +2.31%
regression_capacity_tracker_inliner_min 221 (+5) +2.31%
regression_capacity_tracker_inliner_zero 221 (+5) +2.31%
6_inliner_max 138 (+3) +2.22%
6_inliner_zero 138 (+3) +2.22%
reference_counts_inliner_0_inliner_zero 914 (+18) +2.01%
reference_counts_inliner_max_inliner_zero 914 (+18) +2.01%
reference_counts_inliner_min_inliner_zero 914 (+18) +2.01%
array_dynamic_nested_blackbox_input_inliner_max 319 (+6) +1.92%
array_dynamic_nested_blackbox_input_inliner_zero 319 (+6) +1.92%
higher_order_functions_inliner_min 1,143 (+21) +1.87%
strings_inliner_zero 909 (+16) +1.79%
slices_inliner_min 2,199 (+36) +1.66%
regression_1144_1169_2399_6609_inliner_max 905 (+14) +1.57%
regression_1144_1169_2399_6609_inliner_zero 905 (+14) +1.57%
conditional_regression_short_circuit_inliner_min 234 (+3) +1.30%
hashmap_inliner_zero 7,820 (+96) +1.24%
slice_dynamic_index_inliner_max 2,094 (+25) +1.21%
slice_dynamic_index_inliner_zero 2,094 (+25) +1.21%
bench_2_to_17_inliner_zero 261 (+3) +1.16%
array_dedup_regression_inliner_max 262 (+3) +1.16%
array_dedup_regression_inliner_min 262 (+3) +1.16%
array_dedup_regression_inliner_zero 262 (+3) +1.16%
slice_dynamic_index_inliner_min 2,298 (+25) +1.10%
bench_2_to_17_inliner_max 279 (+3) +1.09%
array_dynamic_inliner_max 290 (+3) +1.05%
array_dynamic_inliner_zero 290 (+3) +1.05%
uhashmap_inliner_zero 6,941 (+71) +1.03%
array_dynamic_inliner_min 301 (+3) +1.01%
nested_array_in_slice_inliner_min 738 (+7) +0.96%
nested_array_in_slice_inliner_zero 738 (+7) +0.96%
hashmap_inliner_min 8,865 (+76) +0.86%
uhashmap_inliner_min 7,335 (+50) +0.69%
fold_2_to_17_inliner_max 481 (+3) +0.63%
poseidon_bn254_hash_width_3_inliner_zero 4,454 (+11) +0.25%
poseidon_bn254_hash_width_3_inliner_max 4,867 (+11) +0.23%
poseidon_bn254_hash_width_3_inliner_min 4,745 (+3) +0.06%

@github-actions
Copy link
Contributor

Changes to circuit sizes

Generated at commit: e5009d75fd09de5bd3fa0c61fd52fcb9b1143468, compared to commit: cb4951d3249ab7f4f97dddc21595cfa933b08d72

🧾 Summary (10% most significant diffs)

Program ACIR opcodes (+/-) % Circuit size (+/-) %
hashmap +752 ❌ +2.25% +724 ❌ +0.77%
slice_dynamic_index -2 ✅ -0.25% -3 ✅ -0.05%

Full diff report 👇
Program ACIR opcodes (+/-) % Circuit size (+/-) %
hashmap 34,225 (+752) +2.25% 95,232 (+724) +0.77%
slice_dynamic_index 810 (-2) -0.25% 5,779 (-3) -0.05%

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.

Execution Time

Details
Benchmark suite Current: fb89406 Previous: cb4951d Ratio
private-kernel-inner 0.029 s 0.028 s 1.04
private-kernel-reset 0.167 s 0.165 s 1.01
private-kernel-tail 0.011 s 0.011 s 1
rollup-base-private 0.311 s 0.31 s 1.00
rollup-base-public 0.199 s 0.204 s 0.98
rollup-block-root 11.3 s 12.1 s 0.93
rollup-merge 0.004 s 0.004 s 1
rollup-root 0.01 s 0.009 s 1.11
semaphore-depth-10 0.021 s 0.021 s 1

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

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.

Compilation Time

Details
Benchmark suite Current: fb89406 Previous: cb4951d Ratio
private-kernel-inner 2.466 s 2.334 s 1.06
private-kernel-reset 8.63 s 7.078 s 1.22
private-kernel-tail 1.08 s 1.052 s 1.03
rollup-base-private 18.1 s 16.02 s 1.13
rollup-base-public 14.48 s 14.08 s 1.03
rollup-block-root-empty 1.286 s 1.274 s 1.01
rollup-block-root-single-tx 126 s 122 s 1.03
rollup-block-root 130 s 126 s 1.03
rollup-merge 1.122 s 1.062 s 1.06
rollup-root 1.712 s 1.594 s 1.07
semaphore-depth-10 0.84 s 0.836 s 1.00

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

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 'Compilation Time'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite Current: fb89406 Previous: cb4951d Ratio
private-kernel-reset 8.63 s 7.078 s 1.22

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

CC: @TomAFrench

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.

Artifact Size

Details
Benchmark suite Current: fb89406 Previous: cb4951d Ratio
private-kernel-inner 1134.8 KB 1133.3 KB 1.00
private-kernel-reset 2158 KB 2156.7 KB 1.00
private-kernel-tail 591.7 KB 589 KB 1.00
rollup-base-private 5129.8 KB 5129.7 KB 1.00
rollup-base-public 4070.5 KB 4071.2 KB 1.00
rollup-block-root-empty 257.1 KB 257 KB 1.00
rollup-block-root-single-tx 25709.7 KB 25708.1 KB 1.00
rollup-block-root 25723.6 KB 25715.1 KB 1.00
rollup-merge 183.7 KB 183.7 KB 1
rollup-root 419.4 KB 418.6 KB 1.00
semaphore-depth-10 636.4 KB 636.3 KB 1.00

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

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.

Test Suite Duration

Details
Benchmark suite Current: fb89406 Previous: cb4951d Ratio
test_report_AztecProtocol_aztec-packages_noir-projects_aztec-nr 65 s 63 s 1.03
test_report_AztecProtocol_aztec-packages_noir-projects_noir-contracts 98 s 94 s 1.04
test_report_AztecProtocol_aztec-packages_noir-projects_noir-protocol-circuits_crates_blob 47 s 42 s 1.12
test_report_AztecProtocol_aztec-packages_noir-projects_noir-protocol-circuits_crates_private-kernel-lib 239 s 199 s 1.20
test_report_AztecProtocol_aztec-packages_noir-projects_noir-protocol-circuits_crates_rollup-lib 204 s 192 s 1.06
test_report_AztecProtocol_aztec-packages_noir-projects_noir-protocol-circuits_crates_types 69 s 70 s 0.99
test_report_noir-lang_noir_bigcurve_ 246 s 232 s 1.06
test_report_noir-lang_sha512_ 38 s 31 s 1.23
test_report_zkpassport_noir_rsa_ 3 s 2 s 1.50

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

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 'Test Suite Duration'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite Current: fb89406 Previous: cb4951d Ratio
test_report_AztecProtocol_aztec-packages_noir-projects_noir-protocol-circuits_crates_private-kernel-lib 239 s 199 s 1.20
test_report_noir-lang_sha512_ 38 s 31 s 1.23
test_report_zkpassport_noir_rsa_ 3 s 2 s 1.50

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

CC: @TomAFrench

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.

Compilation Memory

Details
Benchmark suite Current: fb89406 Previous: cb4951d Ratio
private-kernel-inner 293.35 MB 292.48 MB 1.00
private-kernel-reset 586.14 MB 533.03 MB 1.10
private-kernel-tail 192.35 MB 192.31 MB 1.00
rollup-base-private 1470 MB 1390 MB 1.06
rollup-base-public 1560 MB 1550 MB 1.01
rollup-block-root-empty 354.91 MB 353.41 MB 1.00
rollup-block-root-single-tx 7840 MB 7160 MB 1.09
rollup-block-root 7850 MB 7170 MB 1.09
rollup-merge 337.67 MB 337.62 MB 1.00
rollup-root 392.26 MB 391.89 MB 1.00
semaphore_depth_10 106.4 MB 106.4 MB 1

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

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.

Execution Memory

Details
Benchmark suite Current: fb89406 Previous: cb4951d Ratio
private-kernel-inner 201.52 MB 201.52 MB 1
private-kernel-reset 225.37 MB 225.36 MB 1.00
private-kernel-tail 176.68 MB 176.66 MB 1.00
rollup-base-private 501.76 MB 501.76 MB 1
rollup-base-public 498.08 MB 498.08 MB 1
rollup-block-root 1410 MB 1410 MB 1
rollup-merge 322.46 MB 322.46 MB 1
rollup-root 328.17 MB 328.15 MB 1.00
semaphore_depth_10 70.97 MB 70.97 MB 1

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

@vezenovm
Copy link
Contributor Author

vezenovm commented Jun 2, 2025

There are several regressions but largest bump looks to be contained to brillig_block_parameter_liveness. Perhaps we can simplify this optimization, but we shouldn't remove it outright.

@vezenovm vezenovm closed this Jun 2, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bench-show Display benchmark results on PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant