chore(ci): Add test for global vars entry points regression (#7209)

test_programs/compilation_report.sh

@@ -6,7 +6,7 @@ current_dir=$(pwd)
 base_path="$current_dir/execution_success"
 
 # Tests to be profiled for compilation report
-tests_to_profile=("sha256_regression" "regression_4709" "ram_blowup_regression")
+tests_to_profile=("sha256_regression" "regression_4709" "ram_blowup_regression" "global_var_regression_entry_points")
 
 echo "{\"compilation_reports\": [ " > $current_dir/compilation_report.json
 

test_programs/execution_report.sh

@@ -6,7 +6,7 @@ current_dir=$(pwd)
 base_path="$current_dir/execution_success"
 
 # Tests to be profiled for execution report
-tests_to_profile=("sha256_regression" "regression_4709" "ram_blowup_regression")
+tests_to_profile=("sha256_regression" "regression_4709" "ram_blowup_regression" "global_var_regression_entry_points")
 
 echo "{\"execution_reports\": [ " > $current_dir/execution_report.json
 

test_programs/execution_success/global_var_regression_entry_points/Nargo.toml

@@ -0,0 +1,6 @@
+[package]
+name = "global_var_regression_entry_points"
+type = "bin"
+authors = [""]
+
+[dependencies]

test_programs/execution_success/global_var_regression_entry_points/Prover.toml

@@ -0,0 +1,2 @@
+x = 0
+y = 1

test_programs/execution_success/global_var_regression_entry_points/src/main.nr

@@ -0,0 +1,60 @@
+mod consts;
+use consts::EXPONENTIATE;
+
+fn main(x: Field, y: pub Field) {
+    /// Safety: testing context
+    unsafe {
+        assert(entry_point_only_const_global(x) == 2);
+        check_acc_entry_point(x, y);
+        assert(entry_point_only_const_global(x) == 2);
+        entry_point_inner_func_globals(x as Field, y);
+        // NOTE: We want a lot of these calls to display clearly
+        // that execution time has not been tainted by accidentally initializing globals
+        // for entry points which do not use them.
+        assert(entry_point_no_globals(x, y) == 1);
+        assert(entry_point_no_globals(x, y) == 1);
+        assert(entry_point_only_const_global(x) == 2);
+        assert(entry_point_only_const_global(x) == 2);
+        assert(entry_point_only_const_global(x) == 2);
+        assert(entry_point_only_const_global(x) == 2);
+        assert(entry_point_only_const_global(x) == 2);
+        assert(entry_point_no_globals(x, y) == 1);
+        assert(entry_point_no_globals(x, y) == 1);
+        assert(entry_point_no_globals(x, y) == 1);
+    }
+}
+
+unconstrained fn check_acc_entry_point(x: Field, y: Field) {
+    let mut acc: Field = 0;
+    for i in 0..2 {
+        for j in 0..2 {
+            acc += EXPONENTIATE[i][j];
+        }
+    }
+    assert(!acc.lt(x));
+    assert(x != y);
+
+    assert(inner(x + 1) == 2);
+}
+
+fn inner(x: Field) -> Field {
+    x + 1
+}
+
+unconstrained fn entry_point_only_const_global(x: Field) -> Field {
+    inner(x + 1)
+}
+
+unconstrained fn entry_point_no_globals(x: Field, y: Field) -> Field {
+    x + y
+}
+
+unconstrained fn entry_point_inner_func_globals(x: Field, y: Field) {
+    one_more_wrapper(x, y);
+}
+
+unconstrained fn one_more_wrapper(x: Field, y: Field) {
+    check_acc_entry_point(x, y);
+    check_acc_entry_point(x, y);
+    check_acc_entry_point(x, y);
+}

test_programs/memory_report.sh

@@ -8,7 +8,7 @@ PARSE_MEMORY=$(realpath "$(dirname "$0")/parse_memory.sh")
 
 
 # Tests to be profiled for memory report
-tests_to_profile=("keccak256" "workspace" "regression_4709" "ram_blowup_regression")
+tests_to_profile=("keccak256" "workspace" "regression_4709" "ram_blowup_regression" "global_var_regression_entry_points")
 
 current_dir=$(pwd)
 base_path="$current_dir/execution_success"