kumi 0.0.17 → 0.0.19

data/golden/element_arrays/expected/schema_javascript.mjs

@@ -0,0 +1,106 @@
+export function _cube(input) {
+  let t1 = input["cube"];
+  return t1;
+}
+
+export function _layer(input) {
+  let out = [];
+  let t2 = input["cube"];
+  t2.forEach((cube_el_3, cube_i_4) => {
+    out.push(cube_el_3);
+  });
+  return out;
+}
+
+export function _row(input) {
+  let out = [];
+  let t5 = input["cube"];
+  t5.forEach((cube_el_6, cube_i_7) => {
+    let out_1 = [];
+    cube_el_6.forEach((layer_el_8, layer_i_9) => {
+      out_1.push(layer_el_8);
+    });
+    out.push(out_1);
+  });
+  return out;
+}
+
+export function _cell(input) {
+  let out = [];
+  let t10 = input["cube"];
+  t10.forEach((cube_el_11, cube_i_12) => {
+    let out_1 = [];
+    cube_el_11.forEach((layer_el_13, layer_i_14) => {
+      let out_2 = [];
+      layer_el_13.forEach((row_el_15, row_i_16) => {
+        out_2.push(row_el_15);
+      });
+      out_1.push(out_2);
+    });
+    out.push(out_1);
+  });
+  return out;
+}
+
+export function _cell_over_limit(input) {
+  let out = [];
+  let t17 = input["cube"];
+  const t24 = 100;
+  t17.forEach((cube_el_18, cube_i_19) => {
+    let out_1 = [];
+    cube_el_18.forEach((layer_el_20, layer_i_21) => {
+      let out_2 = [];
+      layer_el_20.forEach((row_el_22, row_i_23) => {
+        let t25 = row_el_22 > t24;
+        out_2.push(t25);
+      });
+      out_1.push(out_2);
+    });
+    out.push(out_1);
+  });
+  return out;
+}
+
+export function _cell_sum(input) {
+  let out = [];
+  let t26 = input["cube"];
+  const t56 = 100;
+  const t35 = 0;
+  t26.forEach((cube_el_27, cube_i_28) => {
+    let out_1 = [];
+    cube_el_27.forEach((layer_el_29, layer_i_30) => {
+      let acc_31 = 0;
+      layer_el_29.forEach((row_el_32, row_i_33) => {
+        let t57 = row_el_32 > t56;
+        let t36 = t57 ? row_el_32 : t35;
+        acc_31 += t36;
+      });
+      out_1.push(acc_31);
+    });
+    out.push(out_1);
+  });
+  return out;
+}
+
+export function _count_over_limit(input) {
+  let acc_38 = 0;
+  let t39 = input["cube"];
+  const t59 = 100;
+  const t49 = 1;
+  const t50 = 0;
+  t39.forEach((cube_el_40, cube_i_41) => {
+    let acc_42 = 0;
+    cube_el_40.forEach((layer_el_43, layer_i_44) => {
+      let acc_45 = 0;
+      layer_el_43.forEach((row_el_46, row_i_47) => {
+        let t60 = row_el_46 > t59;
+        let t51 = t60 ? t49 : t50;
+        acc_45 += t51;
+      });
+      acc_42 += acc_45;
+    });
+    acc_38 += acc_42;
+  });
+  return acc_38;
+}
+

data/golden/element_arrays/expected/schema_ruby.rb

@@ -0,0 +1,141 @@
+# Autogenerated by Kumi Codegen
+module Kumi::Compiled::KUMI_95ba78dae41111df66252b8589633cd101a5db4a581ac86815334d8152861f2f
+  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 :cube then _cube
+    when :layer then _layer
+    when :row then _row
+    when :cell then _cell
+    when :cell_over_limit then _cell_over_limit
+    when :cell_sum then _cell_sum
+    when :count_over_limit then _count_over_limit
+    else raise KeyError, "Unknown declaration"
+    end
+  end
+
+  def _cube(input = @input)
+    input["cube"] || input[:cube]
+  end
+
+  def _layer(input = @input)
+    out = []
+    t2 = input["cube"] || input[:cube]
+    t2.each_with_index do |cube_el_3, cube_i_4|
+      out << cube_el_3
+    end
+    out
+  end
+
+  def _row(input = @input)
+    out = []
+    t5 = input["cube"] || input[:cube]
+    t5.each_with_index do |cube_el_6, cube_i_7|
+      out_1 = []
+      cube_el_6.each_with_index do |layer_el_8, layer_i_9|
+        out_1 << layer_el_8
+      end
+      out << out_1
+    end
+    out
+  end
+
+  def _cell(input = @input)
+    out = []
+    t10 = input["cube"] || input[:cube]
+    t10.each_with_index do |cube_el_11, cube_i_12|
+      out_1 = []
+      cube_el_11.each_with_index do |layer_el_13, layer_i_14|
+        out_2 = []
+        layer_el_13.each_with_index do |row_el_15, row_i_16|
+          out_2 << row_el_15
+        end
+        out_1 << out_2
+      end
+      out << out_1
+    end
+    out
+  end
+
+  def _cell_over_limit(input = @input)
+    out = []
+    t17 = input["cube"] || input[:cube]
+    t24 = 100
+    t17.each_with_index do |cube_el_18, cube_i_19|
+      out_1 = []
+      cube_el_18.each_with_index do |layer_el_20, layer_i_21|
+        out_2 = []
+        layer_el_20.each_with_index do |row_el_22, row_i_23|
+          t25 = row_el_22 > t24
+          out_2 << t25
+        end
+        out_1 << out_2
+      end
+      out << out_1
+    end
+    out
+  end
+
+  def _cell_sum(input = @input)
+    out = []
+    t26 = input["cube"] || input[:cube]
+    t56 = 100
+    t35 = 0
+    t26.each_with_index do |cube_el_27, cube_i_28|
+      out_1 = []
+      cube_el_27.each_with_index do |layer_el_29, layer_i_30|
+        acc_31 = 0
+        layer_el_29.each_with_index do |row_el_32, row_i_33|
+          t57 = row_el_32 > t56
+          t36 = t57 ? row_el_32 : t35
+          acc_31 += t36
+        end
+        t37 = acc_31
+        out_1 << t37
+      end
+      out << out_1
+    end
+    out
+  end
+
+  def _count_over_limit(input = @input)
+    acc_38 = 0
+    t39 = input["cube"] || input[:cube]
+    t59 = 100
+    t49 = 1
+    t50 = 0
+    t39.each_with_index do |cube_el_40, cube_i_41|
+      acc_42 = 0
+      cube_el_40.each_with_index do |layer_el_43, layer_i_44|
+        acc_45 = 0
+        layer_el_43.each_with_index do |row_el_46, row_i_47|
+          t60 = row_el_46 > t59
+          t51 = t60 ? t49 : t50
+          acc_45 += t51
+        end
+        t52 = acc_45
+        acc_42 += t52
+      end
+      t53 = acc_42
+      acc_38 += t53
+    end
+    acc_38
+  end
+end

data/golden/element_arrays/expected/snast.txt

@@ -0,0 +1,42 @@
+(SNAST
+  (VALUE cube
+    (InputRef cube key_chain=[]) :: [] -> array
+  ) :: [] -> array
+  (VALUE layer
+    (InputRef cube.layer key_chain=[]) :: [cube] -> array
+  ) :: [cube] -> array
+  (VALUE row
+    (InputRef cube.layer.row key_chain=[]) :: [cube, layer] -> array
+  ) :: [cube, layer] -> array
+  (VALUE cell
+    (InputRef cube.layer.row.cell key_chain=[]) :: [cube, layer, row] -> integer
+  ) :: [cube, layer, row] -> integer
+  (TRAIT cell_over_limit
+    (Call :core.gt
+      (InputRef cube.layer.row.cell key_chain=[]) :: [cube, layer, row] -> integer
+      (Const 100) :: [] -> integer
+    ) :: [cube, layer, row] -> boolean
+  ) :: [cube, layer, row] -> boolean
+  (VALUE cell_sum
+    (Reduce :agg.sum over [row]
+      (Select
+        (Ref cell_over_limit) :: [cube, layer, row] -> boolean
+        (InputRef cube.layer.row.cell key_chain=[]) :: [cube, layer, row] -> integer
+        (Const 0) :: [] -> integer
+      ) :: [cube, layer, row] -> integer
+    ) :: [cube, layer] -> integer
+  ) :: [cube, layer] -> integer
+  (VALUE count_over_limit
+    (Reduce :agg.sum over [cube]
+      (Reduce :agg.sum over [layer]
+        (Reduce :agg.sum over [row]
+          (Select
+            (Ref cell_over_limit) :: [cube, layer, row] -> boolean
+            (Const 1) :: [] -> integer
+            (Const 0) :: [] -> integer
+          ) :: [cube, layer, row] -> integer
+        ) :: [cube, layer] -> integer
+      ) :: [cube] -> integer
+    ) :: [] -> integer
+  ) :: [] -> integer
+)

data/golden/element_arrays/expected.json

@@ -0,0 +1,55 @@
+{
+  "cube": [
+    [
+      [10, 20, 150],
+      [30, 40, 50]
+    ],
+    [
+      [60, 200, 80], 
+      [90, 100, 110]
+    ]
+  ],
+  "layer": [
+    [
+      [10, 20, 150],
+      [30, 40, 50]
+    ],
+    [
+      [60, 200, 80], 
+      [90, 100, 110]
+    ]
+  ],
+  "row": [
+    [
+      [10, 20, 150],
+      [30, 40, 50]
+    ],
+    [
+      [60, 200, 80], 
+      [90, 100, 110]
+    ]
+  ],
+  "cell": [
+    [
+      [10, 20, 150],
+      [30, 40, 50]
+    ],
+    [
+      [60, 200, 80], 
+      [90, 100, 110]
+    ]
+  ],
+  "cell_over_limit": [
+    [
+      [false, false, true],
+      [false, false, false]
+    ],
+    [
+      [false, true, false], 
+      [false, false, true]
+    ]
+  ],
+  "cell_sum": [[150, 0],
+  [200, 110]],
+  "count_over_limit": 3
+}

data/golden/element_arrays/input.json

@@ -0,0 +1,12 @@
+{
+  "cube": [
+    [
+      [10, 20, 150],
+      [30, 40, 50]
+    ],
+    [
+      [60, 200, 80], 
+      [90, 100, 110]
+    ]
+  ]
+}

data/golden/element_arrays/schema.kumi

@@ -0,0 +1,21 @@
+schema do
+  input do
+    array :cube do
+      array :layer do
+        array :row do
+          integer :cell
+        end
+      end
+    end
+  end
+
+  value :cube,  input.cube
+  value :layer, input.cube.layer
+  value :row, input.cube.layer.row
+  value :cell, input.cube.layer.row.cell
+
+  trait :cell_over_limit, input.cube.layer.row.cell > 100
+
+  value :cell_sum, fn(:sum_if, input.cube.layer.row.cell, cell_over_limit)
+  value :count_over_limit, fn(:sum, fn(:sum, fn(:sum_if, 1, cell_over_limit)))
+end

data/golden/empty_and_null_inputs/expected/ast.txt

@@ -0,0 +1,42 @@
+(Root
+  inputs: [
+    (InputDeclaration :regions :array
+      [
+        (InputDeclaration :region :hash
+          [
+            (InputDeclaration :name :string)
+            (InputDeclaration :sales :array
+              [
+                (InputDeclaration :sale :hash
+                  [
+                    (InputDeclaration :amount :integer)
+                  ]
+                )
+              ]
+            )
+          ]
+        )
+      ]
+    )
+    (InputDeclaration :adjustment :integer)
+  ]
+  values: [
+    (ValueDeclaration :regional_sales
+      (CallExpression :sum
+        (InputElementReference regions.region.sales.sale.amount)
+      )
+    )
+    (ValueDeclaration :total_sales
+      (CallExpression :sum
+        (DeclarationReference :regional_sales)
+      )
+    )
+    (ValueDeclaration :adjusted_total
+      (CallExpression :add
+        (DeclarationReference :total_sales)
+        (InputReference :adjustment)
+      )
+    )
+  ]
+  traits: []
+)

data/golden/empty_and_null_inputs/expected/input_plan.txt

@@ -0,0 +1,12 @@
+regions: array (array) access_mode=element
+  └─> region: element_access
+  region: hash (hash)
+    └─> name: property_access
+    └─> sales: property_access → array_loop
+    name: string
+    sales: array (array) access_mode=element
+      └─> sale: element_access
+      sale: hash (hash)
+        └─> amount: property_access
+        amount: integer
+adjustment: integer

data/golden/empty_and_null_inputs/expected/lir_00_unoptimized.txt

@@ -0,0 +1,31 @@
+(LIR
+  (Declaration regional_sales
+    %t1 = load_input "regions" :: array
+    loop regions id=L1 in %t1 as el=%regions_el_2, idx=%regions_i_3
+      %acc_4 = decl_acc :: integer
+      %t5 = load_field regions_el_2["sales"] :: any
+      loop sales id=L2 in %t5 as el=%sales_el_6, idx=%sales_i_7
+        %t8 = load_field sales_el_6["amount"] :: integer
+        %acc_4 = acc_add agg.sum(%acc_4, %t8) :: integer
+      end_loop
+      %t9 = acc_load %acc_4 :: integer
+      yield %t9
+    end_loop
+  )
+  (Declaration total_sales
+    %acc_10 = decl_acc :: integer
+    %t11 = load_input "regions" :: array
+    loop regions id=L3 in %t11 as el=%regions_el_12, idx=%regions_i_13
+      %t14 = load_decl regional_sales axes=[regions] :: integer
+      %acc_10 = acc_add agg.sum(%acc_10, %t14) :: integer
+    end_loop
+    %t15 = acc_load %acc_10 :: integer
+    yield %t15
+  )
+  (Declaration adjusted_total
+    %t16 = load_decl total_sales :: integer
+    %t17 = load_input "adjustment" :: integer
+    %t18 = call core.add(%t16, %t17) :: integer
+    yield %t18
+  )
+)

data/golden/empty_and_null_inputs/expected/lir_01_hoist_scalar_references.txt

@@ -0,0 +1,31 @@
+(LIR
+  (Declaration regional_sales
+    %t1 = load_input "regions" :: array
+    loop regions id=L1 in %t1 as el=%regions_el_2, idx=%regions_i_3
+      %acc_4 = decl_acc :: integer
+      %t5 = load_field regions_el_2["sales"] :: any
+      loop sales id=L2 in %t5 as el=%sales_el_6, idx=%sales_i_7
+        %t8 = load_field sales_el_6["amount"] :: integer
+        %acc_4 = acc_add agg.sum(%acc_4, %t8) :: integer
+      end_loop
+      %t9 = acc_load %acc_4 :: integer
+      yield %t9
+    end_loop
+  )
+  (Declaration total_sales
+    %acc_10 = decl_acc :: integer
+    %t11 = load_input "regions" :: array
+    loop regions id=L3 in %t11 as el=%regions_el_12, idx=%regions_i_13
+      %t14 = load_decl regional_sales axes=[regions] :: integer
+      %acc_10 = acc_add agg.sum(%acc_10, %t14) :: integer
+    end_loop
+    %t15 = acc_load %acc_10 :: integer
+    yield %t15
+  )
+  (Declaration adjusted_total
+    %t16 = load_decl total_sales :: integer
+    %t17 = load_input "adjustment" :: integer
+    %t18 = call core.add(%t16, %t17) :: integer
+    yield %t18
+  )
+)

data/golden/empty_and_null_inputs/expected/lir_02_inlined.txt

@@ -0,0 +1,51 @@
+(LIR
+  (Declaration regional_sales
+    %t1 = load_input "regions" :: array
+    loop regions id=L1 in %t1 as el=%regions_el_2, idx=%regions_i_3
+      %acc_4 = decl_acc :: integer
+      %t5 = load_field regions_el_2["sales"] :: any
+      loop sales id=L2 in %t5 as el=%sales_el_6, idx=%sales_i_7
+        %t8 = load_field sales_el_6["amount"] :: integer
+        %acc_4 = acc_add agg.sum(%acc_4, %t8) :: integer
+      end_loop
+      %t9 = acc_load %acc_4 :: integer
+      yield %t9
+    end_loop
+  )
+  (Declaration total_sales
+    %acc_10 = decl_acc :: integer
+    %t11 = load_input "regions" :: array
+    loop regions id=L3 in %t11 as el=%regions_el_12, idx=%regions_i_13
+      %t19 = load_input "regions" :: array
+      %acc21 = decl_acc :: integer
+      %t22 = load_field regions_el_12["sales"] :: any
+      loop sales id=L4 in %t22 as el=%sales_el_6, idx=%sales_i_7
+        %t23 = load_field sales_el_6["amount"] :: integer
+        %acc21 = acc_add agg.sum(%acc21, %t23) :: integer
+      end_loop
+      %t24 = acc_load %acc21 :: integer
+      %acc_10 = acc_add agg.sum(%acc_10, %t24) :: integer
+    end_loop
+    %t15 = acc_load %acc_10 :: integer
+    yield %t15
+  )
+  (Declaration adjusted_total
+    %acc26 = decl_acc :: integer
+    %t27 = load_input "regions" :: array
+    loop regions id=L5 in %t27 as el=%regions_el_12, idx=%regions_i_13
+      %t30 = load_input "regions" :: array
+      %acc32 = decl_acc :: integer
+      %t33 = load_field regions_el_12["sales"] :: any
+      loop sales id=L6 in %t33 as el=%sales_el_6, idx=%sales_i_7
+        %t34 = load_field sales_el_6["amount"] :: integer
+        %acc32 = acc_add agg.sum(%acc32, %t34) :: integer
+      end_loop
+      %t35 = acc_load %acc32 :: integer
+      %acc26 = acc_add agg.sum(%acc26, %t35) :: integer
+    end_loop
+    %t29 = acc_load %acc26 :: integer
+    %t17 = load_input "adjustment" :: integer
+    %t18 = call core.add(%t29, %t17) :: integer
+    yield %t18
+  )
+)

data/golden/empty_and_null_inputs/expected/lir_03_cse.txt

@@ -0,0 +1,49 @@
+(LIR
+  (Declaration regional_sales
+    %t1 = load_input "regions" :: array
+    loop regions id=L1 in %t1 as el=%regions_el_2, idx=%regions_i_3
+      %acc_4 = decl_acc :: integer
+      %t5 = load_field regions_el_2["sales"] :: any
+      loop sales id=L2 in %t5 as el=%sales_el_6, idx=%sales_i_7
+        %t8 = load_field sales_el_6["amount"] :: integer
+        %acc_4 = acc_add agg.sum(%acc_4, %t8) :: integer
+      end_loop
+      %t9 = acc_load %acc_4 :: integer
+      yield %t9
+    end_loop
+  )
+  (Declaration total_sales
+    %acc_10 = decl_acc :: integer
+    %t11 = load_input "regions" :: array
+    loop regions id=L3 in %t11 as el=%regions_el_12, idx=%regions_i_13
+      %acc21 = decl_acc :: integer
+      %t22 = load_field regions_el_12["sales"] :: any
+      loop sales id=L4 in %t22 as el=%sales_el_6, idx=%sales_i_7
+        %t23 = load_field sales_el_6["amount"] :: integer
+        %acc21 = acc_add agg.sum(%acc21, %t23) :: integer
+      end_loop
+      %t24 = acc_load %acc21 :: integer
+      %acc_10 = acc_add agg.sum(%acc_10, %t24) :: integer
+    end_loop
+    %t15 = acc_load %acc_10 :: integer
+    yield %t15
+  )
+  (Declaration adjusted_total
+    %acc26 = decl_acc :: integer
+    %t27 = load_input "regions" :: array
+    loop regions id=L5 in %t27 as el=%regions_el_12, idx=%regions_i_13
+      %acc32 = decl_acc :: integer
+      %t33 = load_field regions_el_12["sales"] :: any
+      loop sales id=L6 in %t33 as el=%sales_el_6, idx=%sales_i_7
+        %t34 = load_field sales_el_6["amount"] :: integer
+        %acc32 = acc_add agg.sum(%acc32, %t34) :: integer
+      end_loop
+      %t35 = acc_load %acc32 :: integer
+      %acc26 = acc_add agg.sum(%acc26, %t35) :: integer
+    end_loop
+    %t29 = acc_load %acc26 :: integer
+    %t17 = load_input "adjustment" :: integer
+    %t18 = call core.add(%t29, %t17) :: integer
+    yield %t18
+  )
+)

data/golden/empty_and_null_inputs/expected/lir_04_1_loop_fusion.txt

@@ -0,0 +1,49 @@
+(LIR
+  (Declaration regional_sales
+    %t1 = load_input "regions" :: array
+    loop regions id=L1 in %t1 as el=%regions_el_2, idx=%regions_i_3
+      %acc_4 = decl_acc :: integer
+      %t5 = load_field regions_el_2["sales"] :: any
+      loop sales id=L2 in %t5 as el=%sales_el_6, idx=%sales_i_7
+        %t8 = load_field sales_el_6["amount"] :: integer
+        %acc_4 = acc_add agg.sum(%acc_4, %t8) :: integer
+      end_loop
+      %t9 = acc_load %acc_4 :: integer
+      yield %t9
+    end_loop
+  )
+  (Declaration total_sales
+    %acc_10 = decl_acc :: integer
+    %t11 = load_input "regions" :: array
+    loop regions id=L3 in %t11 as el=%regions_el_12, idx=%regions_i_13
+      %acc21 = decl_acc :: integer
+      %t22 = load_field regions_el_12["sales"] :: any
+      loop sales id=L4 in %t22 as el=%sales_el_6, idx=%sales_i_7
+        %t23 = load_field sales_el_6["amount"] :: integer
+        %acc21 = acc_add agg.sum(%acc21, %t23) :: integer
+      end_loop
+      %t24 = acc_load %acc21 :: integer
+      %acc_10 = acc_add agg.sum(%acc_10, %t24) :: integer
+    end_loop
+    %t15 = acc_load %acc_10 :: integer
+    yield %t15
+  )
+  (Declaration adjusted_total
+    %acc26 = decl_acc :: integer
+    %t27 = load_input "regions" :: array
+    loop regions id=L5 in %t27 as el=%regions_el_12, idx=%regions_i_13
+      %acc32 = decl_acc :: integer
+      %t33 = load_field regions_el_12["sales"] :: any
+      loop sales id=L6 in %t33 as el=%sales_el_6, idx=%sales_i_7
+        %t34 = load_field sales_el_6["amount"] :: integer
+        %acc32 = acc_add agg.sum(%acc32, %t34) :: integer
+      end_loop
+      %t35 = acc_load %acc32 :: integer
+      %acc26 = acc_add agg.sum(%acc26, %t35) :: integer
+    end_loop
+    %t29 = acc_load %acc26 :: integer
+    %t17 = load_input "adjustment" :: integer
+    %t18 = call core.add(%t29, %t17) :: integer
+    yield %t18
+  )
+)

data/golden/empty_and_null_inputs/expected/lir_04_loop_invcm.txt

@@ -0,0 +1,49 @@
+(LIR
+  (Declaration regional_sales
+    %t1 = load_input "regions" :: array
+    loop regions id=L1 in %t1 as el=%regions_el_2, idx=%regions_i_3
+      %acc_4 = decl_acc :: integer
+      %t5 = load_field regions_el_2["sales"] :: any
+      loop sales id=L2 in %t5 as el=%sales_el_6, idx=%sales_i_7
+        %t8 = load_field sales_el_6["amount"] :: integer
+        %acc_4 = acc_add agg.sum(%acc_4, %t8) :: integer
+      end_loop
+      %t9 = acc_load %acc_4 :: integer
+      yield %t9
+    end_loop
+  )
+  (Declaration total_sales
+    %acc_10 = decl_acc :: integer
+    %t11 = load_input "regions" :: array
+    loop regions id=L3 in %t11 as el=%regions_el_12, idx=%regions_i_13
+      %acc21 = decl_acc :: integer
+      %t22 = load_field regions_el_12["sales"] :: any
+      loop sales id=L4 in %t22 as el=%sales_el_6, idx=%sales_i_7
+        %t23 = load_field sales_el_6["amount"] :: integer
+        %acc21 = acc_add agg.sum(%acc21, %t23) :: integer
+      end_loop
+      %t24 = acc_load %acc21 :: integer
+      %acc_10 = acc_add agg.sum(%acc_10, %t24) :: integer
+    end_loop
+    %t15 = acc_load %acc_10 :: integer
+    yield %t15
+  )
+  (Declaration adjusted_total
+    %acc26 = decl_acc :: integer
+    %t27 = load_input "regions" :: array
+    loop regions id=L5 in %t27 as el=%regions_el_12, idx=%regions_i_13
+      %acc32 = decl_acc :: integer
+      %t33 = load_field regions_el_12["sales"] :: any
+      loop sales id=L6 in %t33 as el=%sales_el_6, idx=%sales_i_7
+        %t34 = load_field sales_el_6["amount"] :: integer
+        %acc32 = acc_add agg.sum(%acc32, %t34) :: integer
+      end_loop
+      %t35 = acc_load %acc32 :: integer
+      %acc26 = acc_add agg.sum(%acc26, %t35) :: integer
+    end_loop
+    %t29 = acc_load %acc26 :: integer
+    %t17 = load_input "adjustment" :: integer
+    %t18 = call core.add(%t29, %t17) :: integer
+    yield %t18
+  )
+)