From 02b619c5c88b8ddeed6ba31992f4c67a0864760e Mon Sep 17 00:00:00 2001 From: Maxim Vezenov Date: Mon, 13 Jan 2025 23:32:35 +0000 Subject: [PATCH 1/3] some dummy additional code --- .../global_var_regression_simple/src/main.nr | 2 ++ .../execution_success/regression_4709/src/main.nr | 14 ++++++++++++++ 2 files changed, 16 insertions(+) diff --git a/test_programs/execution_success/global_var_regression_simple/src/main.nr b/test_programs/execution_success/global_var_regression_simple/src/main.nr index b1bf753a73c..afc1bb181b8 100644 --- a/test_programs/execution_success/global_var_regression_simple/src/main.nr +++ b/test_programs/execution_success/global_var_regression_simple/src/main.nr @@ -11,6 +11,8 @@ fn main(x: Field, y: pub Field) { assert(x != y); dummy_again(x, y); + dummy_again(x, y); + dummy_again(x, y); } fn dummy_again(x: Field, y: Field) { diff --git a/test_programs/execution_success/regression_4709/src/main.nr b/test_programs/execution_success/regression_4709/src/main.nr index 9d730542641..2f2d05600fd 100644 --- a/test_programs/execution_success/regression_4709/src/main.nr +++ b/test_programs/execution_success/regression_4709/src/main.nr @@ -3851,4 +3851,18 @@ fn main(x: Field, y: pub Field) { } assert(!acc.lt(x)); assert(x != y); + + dummy_again(x, y); +} + +fn dummy_again(x: Field, y: Field) { + let mut acc: Field = 0; + for i in 0..257 { + for j in 0..257 { + acc += EXPONENTIATE[i][j]; + } + } + assert(!acc.lt(x)); + assert(x != y); } + From 6144856b2e6479a7b71bc2ab0d7a81f6e9b01159 Mon Sep 17 00:00:00 2001 From: Maxim Vezenov Date: Tue, 14 Jan 2025 01:14:13 +0000 Subject: [PATCH 2/3] keep programs fields --- .github/workflows/reports.yml | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/.github/workflows/reports.yml b/.github/workflows/reports.yml index 489cc0eff09..afe5a47c158 100644 --- a/.github/workflows/reports.yml +++ b/.github/workflows/reports.yml @@ -118,17 +118,22 @@ jobs: run: | ./gates_report_brillig.sh 9223372036854775807 mkdir ../reports + cat gates_report_brillig.json mv gates_report_brillig.json ../reports/gates_report_brillig_inliner_max.json + ./gates_report_brillig.sh 0 jq '.programs |= map(.package_name |= (. + "_inliner_zero"))' gates_report_brillig.json > gates_report_brillig.json + cat gates_report_brillig.json mv gates_report_brillig.json ../reports/gates_report_brillig_inliner_zero.json + ./gates_report_brillig.sh -9223372036854775808 jq '.programs |= map(.package_name |= (. + "_inliner_min"))' gates_report_brillig.json > gates_report_brillig.json + cat gates_report_brillig.json mv gates_report_brillig.json ../reports/gates_report_brillig_inliner_min.json - name: Merge compilation reports using jq run: | - jq -s '[.[][]]' ./reports/* > gates_report_brillig.json + jq -s '{ programs: [.[][]] }' ./reports/* > > gates_report_brillig.json cat gates_report_brillig.json - name: Compare Brillig bytecode size reports From e3273157e836de918b781818f0da1d5bacfcb46e Mon Sep 17 00:00:00 2001 From: Maxim Vezenov Date: Tue, 14 Jan 2025 01:15:46 +0000 Subject: [PATCH 3/3] Revert "keep programs fields" This reverts commit 6144856b2e6479a7b71bc2ab0d7a81f6e9b01159. --- .github/workflows/reports.yml | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/.github/workflows/reports.yml b/.github/workflows/reports.yml index afe5a47c158..489cc0eff09 100644 --- a/.github/workflows/reports.yml +++ b/.github/workflows/reports.yml @@ -118,22 +118,17 @@ jobs: run: | ./gates_report_brillig.sh 9223372036854775807 mkdir ../reports - cat gates_report_brillig.json mv gates_report_brillig.json ../reports/gates_report_brillig_inliner_max.json - ./gates_report_brillig.sh 0 jq '.programs |= map(.package_name |= (. + "_inliner_zero"))' gates_report_brillig.json > gates_report_brillig.json - cat gates_report_brillig.json mv gates_report_brillig.json ../reports/gates_report_brillig_inliner_zero.json - ./gates_report_brillig.sh -9223372036854775808 jq '.programs |= map(.package_name |= (. + "_inliner_min"))' gates_report_brillig.json > gates_report_brillig.json - cat gates_report_brillig.json mv gates_report_brillig.json ../reports/gates_report_brillig_inliner_min.json - name: Merge compilation reports using jq run: | - jq -s '{ programs: [.[][]] }' ./reports/* > > gates_report_brillig.json + jq -s '[.[][]]' ./reports/* > gates_report_brillig.json cat gates_report_brillig.json - name: Compare Brillig bytecode size reports