kumi 0.0.17 → 0.0.19

data/golden/min_reduce_scope/expected/lir_00_unoptimized.txt

@@ -0,0 +1,59 @@
+(LIR
+  (Declaration dept_total
+    %t1 = load_input "depts" :: array
+    loop depts id=L1 in %t1 as el=%depts_el_2, idx=%depts_i_3
+      %acc_4 = decl_acc :: integer
+      %t5 = load_field depts_el_2["teams"] :: any
+      loop teams id=L2 in %t5 as el=%teams_el_6, idx=%teams_i_7
+        %t8 = load_field teams_el_6["headcount"] :: integer
+        %acc_4 = acc_add agg.sum(%acc_4, %t8) :: integer
+      end_loop
+      %t9 = acc_load %acc_4 :: integer
+      yield %t9
+    end_loop
+  )
+  (Declaration company_total
+    %acc_10 = decl_acc :: integer
+    %t11 = load_input "depts" :: array
+    loop depts id=L3 in %t11 as el=%depts_el_12, idx=%depts_i_13
+      %acc_14 = decl_acc :: integer
+      %t15 = load_field depts_el_12["teams"] :: any
+      loop teams id=L4 in %t15 as el=%teams_el_16, idx=%teams_i_17
+        %t18 = load_field teams_el_16["headcount"] :: integer
+        %acc_14 = acc_add agg.sum(%acc_14, %t18) :: integer
+      end_loop
+      %t19 = acc_load %acc_14 :: integer
+      %acc_10 = acc_add agg.sum(%acc_10, %t19) :: integer
+    end_loop
+    %t20 = acc_load %acc_10 :: integer
+    yield %t20
+  )
+  (Declaration big_team
+    %t21 = load_input "depts" :: array
+    loop depts id=L5 in %t21 as el=%depts_el_22, idx=%depts_i_23
+      %t24 = load_field depts_el_22["teams"] :: any
+      loop teams id=L6 in %t24 as el=%teams_el_25, idx=%teams_i_26
+        %t27 = load_field teams_el_25["headcount"] :: integer
+        %t28 = const 10 :: integer
+        %t29 = call core.gt(%t27, %t28) :: boolean
+        yield %t29
+      end_loop
+    end_loop
+  )
+  (Declaration dept_total_masked
+    %t30 = load_input "depts" :: array
+    loop depts id=L7 in %t30 as el=%depts_el_31, idx=%depts_i_32
+      %acc_33 = decl_acc :: integer
+      %t34 = load_field depts_el_31["teams"] :: any
+      loop teams id=L8 in %t34 as el=%teams_el_35, idx=%teams_i_36
+        %t37 = load_decl big_team axes=[depts, teams] :: boolean
+        %t38 = load_field teams_el_35["headcount"] :: integer
+        %t39 = const 0 :: integer
+        %t40 = select %t37, %t38, %t39 :: integer
+        %acc_33 = acc_add agg.sum(%acc_33, %t40) :: integer
+      end_loop
+      %t41 = acc_load %acc_33 :: integer
+      yield %t41
+    end_loop
+  )
+)

data/golden/min_reduce_scope/expected/lir_01_hoist_scalar_references.txt

@@ -0,0 +1,59 @@
+(LIR
+  (Declaration dept_total
+    %t1 = load_input "depts" :: array
+    loop depts id=L1 in %t1 as el=%depts_el_2, idx=%depts_i_3
+      %acc_4 = decl_acc :: integer
+      %t5 = load_field depts_el_2["teams"] :: any
+      loop teams id=L2 in %t5 as el=%teams_el_6, idx=%teams_i_7
+        %t8 = load_field teams_el_6["headcount"] :: integer
+        %acc_4 = acc_add agg.sum(%acc_4, %t8) :: integer
+      end_loop
+      %t9 = acc_load %acc_4 :: integer
+      yield %t9
+    end_loop
+  )
+  (Declaration company_total
+    %acc_10 = decl_acc :: integer
+    %t11 = load_input "depts" :: array
+    loop depts id=L3 in %t11 as el=%depts_el_12, idx=%depts_i_13
+      %acc_14 = decl_acc :: integer
+      %t15 = load_field depts_el_12["teams"] :: any
+      loop teams id=L4 in %t15 as el=%teams_el_16, idx=%teams_i_17
+        %t18 = load_field teams_el_16["headcount"] :: integer
+        %acc_14 = acc_add agg.sum(%acc_14, %t18) :: integer
+      end_loop
+      %t19 = acc_load %acc_14 :: integer
+      %acc_10 = acc_add agg.sum(%acc_10, %t19) :: integer
+    end_loop
+    %t20 = acc_load %acc_10 :: integer
+    yield %t20
+  )
+  (Declaration big_team
+    %t21 = load_input "depts" :: array
+    loop depts id=L5 in %t21 as el=%depts_el_22, idx=%depts_i_23
+      %t24 = load_field depts_el_22["teams"] :: any
+      loop teams id=L6 in %t24 as el=%teams_el_25, idx=%teams_i_26
+        %t27 = load_field teams_el_25["headcount"] :: integer
+        %t28 = const 10 :: integer
+        %t29 = call core.gt(%t27, %t28) :: boolean
+        yield %t29
+      end_loop
+    end_loop
+  )
+  (Declaration dept_total_masked
+    %t30 = load_input "depts" :: array
+    loop depts id=L7 in %t30 as el=%depts_el_31, idx=%depts_i_32
+      %acc_33 = decl_acc :: integer
+      %t34 = load_field depts_el_31["teams"] :: any
+      loop teams id=L8 in %t34 as el=%teams_el_35, idx=%teams_i_36
+        %t37 = load_decl big_team axes=[depts, teams] :: boolean
+        %t38 = load_field teams_el_35["headcount"] :: integer
+        %t39 = const 0 :: integer
+        %t40 = select %t37, %t38, %t39 :: integer
+        %acc_33 = acc_add agg.sum(%acc_33, %t40) :: integer
+      end_loop
+      %t41 = acc_load %acc_33 :: integer
+      yield %t41
+    end_loop
+  )
+)

data/golden/min_reduce_scope/expected/lir_02_inlined.txt

@@ -0,0 +1,63 @@
+(LIR
+  (Declaration dept_total
+    %t1 = load_input "depts" :: array
+    loop depts id=L1 in %t1 as el=%depts_el_2, idx=%depts_i_3
+      %acc_4 = decl_acc :: integer
+      %t5 = load_field depts_el_2["teams"] :: any
+      loop teams id=L2 in %t5 as el=%teams_el_6, idx=%teams_i_7
+        %t8 = load_field teams_el_6["headcount"] :: integer
+        %acc_4 = acc_add agg.sum(%acc_4, %t8) :: integer
+      end_loop
+      %t9 = acc_load %acc_4 :: integer
+      yield %t9
+    end_loop
+  )
+  (Declaration company_total
+    %acc_10 = decl_acc :: integer
+    %t11 = load_input "depts" :: array
+    loop depts id=L3 in %t11 as el=%depts_el_12, idx=%depts_i_13
+      %acc_14 = decl_acc :: integer
+      %t15 = load_field depts_el_12["teams"] :: any
+      loop teams id=L4 in %t15 as el=%teams_el_16, idx=%teams_i_17
+        %t18 = load_field teams_el_16["headcount"] :: integer
+        %acc_14 = acc_add agg.sum(%acc_14, %t18) :: integer
+      end_loop
+      %t19 = acc_load %acc_14 :: integer
+      %acc_10 = acc_add agg.sum(%acc_10, %t19) :: integer
+    end_loop
+    %t20 = acc_load %acc_10 :: integer
+    yield %t20
+  )
+  (Declaration big_team
+    %t21 = load_input "depts" :: array
+    loop depts id=L5 in %t21 as el=%depts_el_22, idx=%depts_i_23
+      %t24 = load_field depts_el_22["teams"] :: any
+      loop teams id=L6 in %t24 as el=%teams_el_25, idx=%teams_i_26
+        %t27 = load_field teams_el_25["headcount"] :: integer
+        %t28 = const 10 :: integer
+        %t29 = call core.gt(%t27, %t28) :: boolean
+        yield %t29
+      end_loop
+    end_loop
+  )
+  (Declaration dept_total_masked
+    %t30 = load_input "depts" :: array
+    loop depts id=L7 in %t30 as el=%depts_el_31, idx=%depts_i_32
+      %acc_33 = decl_acc :: integer
+      %t34 = load_field depts_el_31["teams"] :: any
+      loop teams id=L8 in %t34 as el=%teams_el_35, idx=%teams_i_36
+        %t42 = load_input "depts" :: array
+        %t43 = load_field depts_el_31["teams"] :: any
+        %t44 = load_field teams_el_35["headcount"] :: integer
+        %t45 = const 10 :: integer
+        %t46 = call core.gt(%t44, %t45) :: boolean
+        %t38 = load_field teams_el_35["headcount"] :: integer
+        %t39 = const 0 :: integer
+        %t40 = select %t46, %t38, %t39 :: integer
+        %acc_33 = acc_add agg.sum(%acc_33, %t40) :: integer
+      end_loop
+      %t41 = acc_load %acc_33 :: integer
+      yield %t41
+    end_loop
+  )
+)

data/golden/min_reduce_scope/expected/lir_03_cse.txt

@@ -0,0 +1,60 @@
+(LIR
+  (Declaration dept_total
+    %t1 = load_input "depts" :: array
+    loop depts id=L1 in %t1 as el=%depts_el_2, idx=%depts_i_3
+      %acc_4 = decl_acc :: integer
+      %t5 = load_field depts_el_2["teams"] :: any
+      loop teams id=L2 in %t5 as el=%teams_el_6, idx=%teams_i_7
+        %t8 = load_field teams_el_6["headcount"] :: integer
+        %acc_4 = acc_add agg.sum(%acc_4, %t8) :: integer
+      end_loop
+      %t9 = acc_load %acc_4 :: integer
+      yield %t9
+    end_loop
+  )
+  (Declaration company_total
+    %acc_10 = decl_acc :: integer
+    %t11 = load_input "depts" :: array
+    loop depts id=L3 in %t11 as el=%depts_el_12, idx=%depts_i_13
+      %acc_14 = decl_acc :: integer
+      %t15 = load_field depts_el_12["teams"] :: any
+      loop teams id=L4 in %t15 as el=%teams_el_16, idx=%teams_i_17
+        %t18 = load_field teams_el_16["headcount"] :: integer
+        %acc_14 = acc_add agg.sum(%acc_14, %t18) :: integer
+      end_loop
+      %t19 = acc_load %acc_14 :: integer
+      %acc_10 = acc_add agg.sum(%acc_10, %t19) :: integer
+    end_loop
+    %t20 = acc_load %acc_10 :: integer
+    yield %t20
+  )
+  (Declaration big_team
+    %t21 = load_input "depts" :: array
+    loop depts id=L5 in %t21 as el=%depts_el_22, idx=%depts_i_23
+      %t24 = load_field depts_el_22["teams"] :: any
+      loop teams id=L6 in %t24 as el=%teams_el_25, idx=%teams_i_26
+        %t27 = load_field teams_el_25["headcount"] :: integer
+        %t28 = const 10 :: integer
+        %t29 = call core.gt(%t27, %t28) :: boolean
+        yield %t29
+      end_loop
+    end_loop
+  )
+  (Declaration dept_total_masked
+    %t30 = load_input "depts" :: array
+    loop depts id=L7 in %t30 as el=%depts_el_31, idx=%depts_i_32
+      %acc_33 = decl_acc :: integer
+      %t34 = load_field depts_el_31["teams"] :: any
+      loop teams id=L8 in %t34 as el=%teams_el_35, idx=%teams_i_36
+        %t44 = load_field teams_el_35["headcount"] :: integer
+        %t45 = const 10 :: integer
+        %t46 = call core.gt(%t44, %t45) :: boolean
+        %t39 = const 0 :: integer
+        %t40 = select %t46, %t44, %t39 :: integer
+        %acc_33 = acc_add agg.sum(%acc_33, %t40) :: integer
+      end_loop
+      %t41 = acc_load %acc_33 :: integer
+      yield %t41
+    end_loop
+  )
+)

data/golden/min_reduce_scope/expected/lir_04_1_loop_fusion.txt

@@ -0,0 +1,60 @@
+(LIR
+  (Declaration dept_total
+    %t1 = load_input "depts" :: array
+    loop depts id=L1 in %t1 as el=%depts_el_2, idx=%depts_i_3
+      %acc_4 = decl_acc :: integer
+      %t5 = load_field depts_el_2["teams"] :: any
+      loop teams id=L2 in %t5 as el=%teams_el_6, idx=%teams_i_7
+        %t8 = load_field teams_el_6["headcount"] :: integer
+        %acc_4 = acc_add agg.sum(%acc_4, %t8) :: integer
+      end_loop
+      %t9 = acc_load %acc_4 :: integer
+      yield %t9
+    end_loop
+  )
+  (Declaration company_total
+    %acc_10 = decl_acc :: integer
+    %t11 = load_input "depts" :: array
+    loop depts id=L3 in %t11 as el=%depts_el_12, idx=%depts_i_13
+      %acc_14 = decl_acc :: integer
+      %t15 = load_field depts_el_12["teams"] :: any
+      loop teams id=L4 in %t15 as el=%teams_el_16, idx=%teams_i_17
+        %t18 = load_field teams_el_16["headcount"] :: integer
+        %acc_14 = acc_add agg.sum(%acc_14, %t18) :: integer
+      end_loop
+      %t19 = acc_load %acc_14 :: integer
+      %acc_10 = acc_add agg.sum(%acc_10, %t19) :: integer
+    end_loop
+    %t20 = acc_load %acc_10 :: integer
+    yield %t20
+  )
+  (Declaration big_team
+    %t21 = load_input "depts" :: array
+    loop depts id=L5 in %t21 as el=%depts_el_22, idx=%depts_i_23
+      %t24 = load_field depts_el_22["teams"] :: any
+      loop teams id=L6 in %t24 as el=%teams_el_25, idx=%teams_i_26
+        %t27 = load_field teams_el_25["headcount"] :: integer
+        %t28 = const 10 :: integer
+        %t29 = call core.gt(%t27, %t28) :: boolean
+        yield %t29
+      end_loop
+    end_loop
+  )
+  (Declaration dept_total_masked
+    %t30 = load_input "depts" :: array
+    loop depts id=L7 in %t30 as el=%depts_el_31, idx=%depts_i_32
+      %acc_33 = decl_acc :: integer
+      %t34 = load_field depts_el_31["teams"] :: any
+      loop teams id=L8 in %t34 as el=%teams_el_35, idx=%teams_i_36
+        %t44 = load_field teams_el_35["headcount"] :: integer
+        %t45 = const 10 :: integer
+        %t46 = call core.gt(%t44, %t45) :: boolean
+        %t39 = const 0 :: integer
+        %t40 = select %t46, %t44, %t39 :: integer
+        %acc_33 = acc_add agg.sum(%acc_33, %t40) :: integer
+      end_loop
+      %t41 = acc_load %acc_33 :: integer
+      yield %t41
+    end_loop
+  )
+)

data/golden/min_reduce_scope/expected/lir_04_loop_invcm.txt

@@ -0,0 +1,60 @@
+(LIR
+  (Declaration dept_total
+    %t1 = load_input "depts" :: array
+    loop depts id=L1 in %t1 as el=%depts_el_2, idx=%depts_i_3
+      %acc_4 = decl_acc :: integer
+      %t5 = load_field depts_el_2["teams"] :: any
+      loop teams id=L2 in %t5 as el=%teams_el_6, idx=%teams_i_7
+        %t8 = load_field teams_el_6["headcount"] :: integer
+        %acc_4 = acc_add agg.sum(%acc_4, %t8) :: integer
+      end_loop
+      %t9 = acc_load %acc_4 :: integer
+      yield %t9
+    end_loop
+  )
+  (Declaration company_total
+    %acc_10 = decl_acc :: integer
+    %t11 = load_input "depts" :: array
+    loop depts id=L3 in %t11 as el=%depts_el_12, idx=%depts_i_13
+      %acc_14 = decl_acc :: integer
+      %t15 = load_field depts_el_12["teams"] :: any
+      loop teams id=L4 in %t15 as el=%teams_el_16, idx=%teams_i_17
+        %t18 = load_field teams_el_16["headcount"] :: integer
+        %acc_14 = acc_add agg.sum(%acc_14, %t18) :: integer
+      end_loop
+      %t19 = acc_load %acc_14 :: integer
+      %acc_10 = acc_add agg.sum(%acc_10, %t19) :: integer
+    end_loop
+    %t20 = acc_load %acc_10 :: integer
+    yield %t20
+  )
+  (Declaration big_team
+    %t21 = load_input "depts" :: array
+    %t28 = const 10 :: integer
+    loop depts id=L5 in %t21 as el=%depts_el_22, idx=%depts_i_23
+      %t24 = load_field depts_el_22["teams"] :: any
+      loop teams id=L6 in %t24 as el=%teams_el_25, idx=%teams_i_26
+        %t27 = load_field teams_el_25["headcount"] :: integer
+        %t29 = call core.gt(%t27, %t28) :: boolean
+        yield %t29
+      end_loop
+    end_loop
+  )
+  (Declaration dept_total_masked
+    %t30 = load_input "depts" :: array
+    %t45 = const 10 :: integer
+    %t39 = const 0 :: integer
+    loop depts id=L7 in %t30 as el=%depts_el_31, idx=%depts_i_32
+      %acc_33 = decl_acc :: integer
+      %t34 = load_field depts_el_31["teams"] :: any
+      loop teams id=L8 in %t34 as el=%teams_el_35, idx=%teams_i_36
+        %t44 = load_field teams_el_35["headcount"] :: integer
+        %t46 = call core.gt(%t44, %t45) :: boolean
+        %t40 = select %t46, %t44, %t39 :: integer
+        %acc_33 = acc_add agg.sum(%acc_33, %t40) :: integer
+      end_loop
+      %t41 = acc_load %acc_33 :: integer
+      yield %t41
+    end_loop
+  )
+)

data/golden/min_reduce_scope/expected/lir_06_const_prop.txt

@@ -0,0 +1,60 @@
+(LIR
+  (Declaration dept_total
+    %t1 = load_input "depts" :: array
+    loop depts id=L1 in %t1 as el=%depts_el_2, idx=%depts_i_3
+      %acc_4 = decl_acc :: integer
+      %t5 = load_field depts_el_2["teams"] :: any
+      loop teams id=L2 in %t5 as el=%teams_el_6, idx=%teams_i_7
+        %t8 = load_field teams_el_6["headcount"] :: integer
+        %acc_4 = acc_add agg.sum(%acc_4, %t8) :: integer
+      end_loop
+      %t9 = acc_load %acc_4 :: integer
+      yield %t9
+    end_loop
+  )
+  (Declaration company_total
+    %acc_10 = decl_acc :: integer
+    %t11 = load_input "depts" :: array
+    loop depts id=L3 in %t11 as el=%depts_el_12, idx=%depts_i_13
+      %acc_14 = decl_acc :: integer
+      %t15 = load_field depts_el_12["teams"] :: any
+      loop teams id=L4 in %t15 as el=%teams_el_16, idx=%teams_i_17
+        %t18 = load_field teams_el_16["headcount"] :: integer
+        %acc_14 = acc_add agg.sum(%acc_14, %t18) :: integer
+      end_loop
+      %t19 = acc_load %acc_14 :: integer
+      %acc_10 = acc_add agg.sum(%acc_10, %t19) :: integer
+    end_loop
+    %t20 = acc_load %acc_10 :: integer
+    yield %t20
+  )
+  (Declaration big_team
+    %t21 = load_input "depts" :: array
+    %t28 = const 10 :: integer
+    loop depts id=L5 in %t21 as el=%depts_el_22, idx=%depts_i_23
+      %t24 = load_field depts_el_22["teams"] :: any
+      loop teams id=L6 in %t24 as el=%teams_el_25, idx=%teams_i_26
+        %t27 = load_field teams_el_25["headcount"] :: integer
+        %t29 = call core.gt(%t27, %t28) :: boolean
+        yield %t29
+      end_loop
+    end_loop
+  )
+  (Declaration dept_total_masked
+    %t30 = load_input "depts" :: array
+    %t45 = const 10 :: integer
+    %t39 = const 0 :: integer
+    loop depts id=L7 in %t30 as el=%depts_el_31, idx=%depts_i_32
+      %acc_33 = decl_acc :: integer
+      %t34 = load_field depts_el_31["teams"] :: any
+      loop teams id=L8 in %t34 as el=%teams_el_35, idx=%teams_i_36
+        %t44 = load_field teams_el_35["headcount"] :: integer
+        %t46 = call core.gt(%t44, %t45) :: boolean
+        %t40 = select %t46, %t44, %t39 :: integer
+        %acc_33 = acc_add agg.sum(%acc_33, %t40) :: integer
+      end_loop
+      %t41 = acc_load %acc_33 :: integer
+      yield %t41
+    end_loop
+  )
+)

data/golden/min_reduce_scope/expected/nast.txt

@@ -0,0 +1,29 @@
+(NAST
+  (VALUE dept_total
+    (Call :"agg.sum"
+    (InputRef [:depts, :dept, :teams, :team, :headcount])
+  )
+  )
+  (VALUE company_total
+    (Call :"agg.sum"
+    (Call :"agg.sum"
+      (InputRef [:depts, :dept, :teams, :team, :headcount])
+    )
+  )
+  )
+  (TRAIT big_team
+    (Call :"core.gt"
+    (InputRef [:depts, :dept, :teams, :team, :headcount])
+    (Const 10)
+  )
+  )
+  (VALUE dept_total_masked
+    (Call :sum
+    (Call :__select__
+      (Ref big_team)
+      (InputRef [:depts, :dept, :teams, :team, :headcount])
+      (Const 0)
+    )
+  )
+  )
+)

data/golden/min_reduce_scope/expected/schema_javascript.mjs

@@ -0,0 +1,66 @@
+export function _dept_total(input) {
+  let out = [];
+  let t1 = input["depts"];
+  t1.forEach((depts_el_2, depts_i_3) => {
+    let acc_4 = 0;
+    let t5 = depts_el_2["teams"];
+    t5.forEach((teams_el_6, teams_i_7) => {
+      let t8 = teams_el_6["headcount"];
+      acc_4 += t8;
+    });
+    out.push(acc_4);
+  });
+  return out;
+}
+
+export function _company_total(input) {
+  let acc_10 = 0;
+  let t11 = input["depts"];
+  t11.forEach((depts_el_12, depts_i_13) => {
+    let acc_14 = 0;
+    let t15 = depts_el_12["teams"];
+    t15.forEach((teams_el_16, teams_i_17) => {
+      let t18 = teams_el_16["headcount"];
+      acc_14 += t18;
+    });
+    acc_10 += acc_14;
+  });
+  return acc_10;
+}
+
+export function _big_team(input) {
+  let out = [];
+  let t21 = input["depts"];
+  const t28 = 10;
+  t21.forEach((depts_el_22, depts_i_23) => {
+    let out_1 = [];
+    let t24 = depts_el_22["teams"];
+    t24.forEach((teams_el_25, teams_i_26) => {
+      let t27 = teams_el_25["headcount"];
+      let t29 = t27 > t28;
+      out_1.push(t29);
+    });
+    out.push(out_1);
+  });
+  return out;
+}
+
+export function _dept_total_masked(input) {
+  let out = [];
+  let t30 = input["depts"];
+  const t45 = 10;
+  const t39 = 0;
+  t30.forEach((depts_el_31, depts_i_32) => {
+    let acc_33 = 0;
+    let t34 = depts_el_31["teams"];
+    t34.forEach((teams_el_35, teams_i_36) => {
+      let t44 = teams_el_35["headcount"];
+      let t46 = t44 > t45;
+      let t40 = t46 ? t44 : t39;
+      acc_33 += t40;
+    });
+    out.push(acc_33);
+  });
+  return out;
+}
+

data/golden/min_reduce_scope/expected/schema_ruby.rb

@@ -0,0 +1,99 @@
+# Autogenerated by Kumi Codegen
+module Kumi::Compiled::KUMI_119cc0f8a00c98d2c8f40118e2303f491340f895bba53041b192c3728ed62a6a
+  def self.from(input_data = nil)
+    instance = Object.new
+    instance.extend(self)
+    instance.instance_variable_set(:@input, input_data)
+    instance
+  end
+
+  def self.__kumi_executable__
+    instance = Object.new
+    instance.extend(self)
+    instance
+  end
+
+  def update(input_data)
+    @input = @input.merge(input_data)
+    self
+  end
+
+  def [](name)
+    case name
+    when :dept_total then _dept_total
+    when :company_total then _company_total
+    when :big_team then _big_team
+    when :dept_total_masked then _dept_total_masked
+    else raise KeyError, "Unknown declaration"
+    end
+  end
+
+  def _dept_total(input = @input)
+    out = []
+    t1 = input["depts"] || input[:depts]
+    t1.each_with_index do |depts_el_2, depts_i_3|
+      acc_4 = 0
+      t5 = depts_el_2["teams"] || depts_el_2[:teams]
+      t5.each_with_index do |teams_el_6, teams_i_7|
+        t8 = teams_el_6["headcount"] || teams_el_6[:headcount]
+        acc_4 += t8
+      end
+      t9 = acc_4
+      out << t9
+    end
+    out
+  end
+
+  def _company_total(input = @input)
+    acc_10 = 0
+    t11 = input["depts"] || input[:depts]
+    t11.each_with_index do |depts_el_12, depts_i_13|
+      acc_14 = 0
+      t15 = depts_el_12["teams"] || depts_el_12[:teams]
+      t15.each_with_index do |teams_el_16, teams_i_17|
+        t18 = teams_el_16["headcount"] || teams_el_16[:headcount]
+        acc_14 += t18
+      end
+      t19 = acc_14
+      acc_10 += t19
+    end
+    acc_10
+  end
+
+  def _big_team(input = @input)
+    out = []
+    t21 = input["depts"] || input[:depts]
+    t28 = 10
+    t21.each_with_index do |depts_el_22, depts_i_23|
+      out_1 = []
+      t24 = depts_el_22["teams"] || depts_el_22[:teams]
+      t24.each_with_index do |teams_el_25, teams_i_26|
+        t27 = teams_el_25["headcount"] || teams_el_25[:headcount]
+        t29 = t27 > t28
+        out_1 << t29
+      end
+      out << out_1
+    end
+    out
+  end
+
+  def _dept_total_masked(input = @input)
+    out = []
+    t30 = input["depts"] || input[:depts]
+    t45 = 10
+    t39 = 0
+    t30.each_with_index do |depts_el_31, depts_i_32|
+      acc_33 = 0
+      t34 = depts_el_31["teams"] || depts_el_31[:teams]
+      t34.each_with_index do |teams_el_35, teams_i_36|
+        t44 = teams_el_35["headcount"] || teams_el_35[:headcount]
+        t46 = t44 > t45
+        t40 = t46 ? t44 : t39
+        acc_33 += t40
+      end
+      t41 = acc_33
+      out << t41
+    end
+    out
+  end
+end

data/golden/min_reduce_scope/expected/snast.txt

@@ -0,0 +1,29 @@
+(SNAST
+  (VALUE dept_total
+    (Reduce :agg.sum over [teams]
+      (InputRef depts.dept.teams.team.headcount key_chain=[]) :: [depts, teams] -> integer
+    ) :: [depts] -> integer
+  ) :: [depts] -> integer
+  (VALUE company_total
+    (Reduce :agg.sum over [depts]
+      (Reduce :agg.sum over [teams]
+        (InputRef depts.dept.teams.team.headcount key_chain=[]) :: [depts, teams] -> integer
+      ) :: [depts] -> integer
+    ) :: [] -> integer
+  ) :: [] -> integer
+  (TRAIT big_team
+    (Call :core.gt
+      (InputRef depts.dept.teams.team.headcount key_chain=[]) :: [depts, teams] -> integer
+      (Const 10) :: [] -> integer
+    ) :: [depts, teams] -> boolean
+  ) :: [depts, teams] -> boolean
+  (VALUE dept_total_masked
+    (Reduce :agg.sum over [teams]
+      (Select
+        (Ref big_team) :: [depts, teams] -> boolean
+        (InputRef depts.dept.teams.team.headcount key_chain=[]) :: [depts, teams] -> integer
+        (Const 0) :: [] -> integer
+      ) :: [depts, teams] -> integer
+    ) :: [depts] -> integer
+  ) :: [depts] -> integer
+)

data/golden/min_reduce_scope/expected.json

@@ -0,0 +1,9 @@
+{
+  "big_team": [
+    [true, false, true],
+    [false, true, false]
+  ],
+  "dept_total": [35, 32],
+  "company_total": 67,
+  "dept_total_masked": [27, 20]
+}

data/golden/min_reduce_scope/input.json

@@ -0,0 +1,18 @@
+{
+  "depts": [
+    {
+      "teams": [
+        {"headcount": 15},
+        {"headcount": 8},
+        {"headcount": 12}
+      ]
+    },
+    {
+      "teams": [
+        {"headcount": 5},
+        {"headcount": 20},
+        {"headcount": 7}
+      ]
+    }
+  ]
+}