kumi 0.0.25 → 0.0.27

data/golden/element_arrays/expected/snast.txt

@@ -11,7 +11,7 @@
   (VALUE cell
     (InputRef cube.layer.row.cell key_chain=[]) :: [cube, layer, row] -> integer
   ) :: [cube, layer, row] -> integer
-  (TRAIT cell_over_limit
+  (VALUE cell_over_limit
     (Call :core.gt
       (InputRef cube.layer.row.cell key_chain=[]) :: [cube, layer, row] -> integer
       (Const 100) :: [] -> integer

data/golden/empty_and_null_inputs/expected/nast.txt

@@ -1,16 +1,16 @@
 (NAST
   (VALUE regional_sales
-    (Call :"agg.sum"
+    (Call :sum
     (InputRef [:regions, :region, :sales, :sale, :amount])
   )
   )
   (VALUE total_sales
-    (Call :"agg.sum"
+    (Call :sum
     (Ref regional_sales)
   )
   )
   (VALUE adjusted_total
-    (Call :"core.add"
+    (Call :add
     (Ref total_sales)
     (InputRef [:adjustment])
   )

data/golden/empty_and_null_inputs/expected/schema_ruby.rb

@@ -1,5 +1,5 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_948ef2383d338bae98f165855c5c82984da1d3f936bcaca00b80221e19f34c6a
+module Kumi::Compiled::KUMI_2c59ff6fbf5f9f54855ffed7efed5fb3e86a9502ac7b4245f2ecaf6d0965d362
   def self.from(input_data = nil)
     instance = Object.new
     instance.extend(self)

data/golden/function_overload/expected/ast.txt

@@ -0,0 +1,29 @@
+(Root
+  inputs: [
+    (InputDeclaration :name :string)
+    (InputDeclaration :items :array
+      [
+        (InputDeclaration :value :integer)
+      ]
+    )
+  ]
+  values: [
+    (ValueDeclaration :name_len
+      (CallExpression :size
+        (InputReference :name)
+      )
+    )
+    (ValueDeclaration :items_count
+      (CallExpression :size
+        (InputReference :items)
+      )
+    )
+    (ValueDeclaration :summary
+      (HashExpression
+        ((Literal :name_length) (DeclarationReference :name_len))
+        ((Literal :item_count) (DeclarationReference :items_count))
+      )
+    )
+  ]
+  traits: []
+)

data/golden/function_overload/expected/input_plan.txt

@@ -0,0 +1,4 @@
+name: string
+items: array (array) access_mode=element
+  └─> value: element_access
+  value: integer

data/golden/function_overload/expected/lir_00_unoptimized.txt

@@ -0,0 +1,18 @@
+(LIR
+  (Declaration name_len
+    %t1 = load_input "name" :: string
+    %t2 = call core.length(%t1) :: integer
+    yield %t2
+  )
+  (Declaration items_count
+    %t3 = load_input "items" :: array
+    %t4 = call core.array_size(%t3) :: integer
+    yield %t4
+  )
+  (Declaration summary
+    %t5 = load_decl name_len :: integer
+    %t6 = load_decl items_count :: integer
+    %t7 = make_object{name_length: %t5, item_count: %t6} :: object
+    yield %t7
+  )
+)

data/golden/function_overload/expected/lir_01_hoist_scalar_references.txt

@@ -0,0 +1,18 @@
+(LIR
+  (Declaration name_len
+    %t1 = load_input "name" :: string
+    %t2 = call core.length(%t1) :: integer
+    yield %t2
+  )
+  (Declaration items_count
+    %t3 = load_input "items" :: array
+    %t4 = call core.array_size(%t3) :: integer
+    yield %t4
+  )
+  (Declaration summary
+    %t5 = load_decl name_len :: integer
+    %t6 = load_decl items_count :: integer
+    %t7 = make_object{name_length: %t5, item_count: %t6} :: object
+    yield %t7
+  )
+)

data/golden/function_overload/expected/lir_02_inlined.txt

@@ -0,0 +1,20 @@
+(LIR
+  (Declaration name_len
+    %t1 = load_input "name" :: string
+    %t2 = call core.length(%t1) :: integer
+    yield %t2
+  )
+  (Declaration items_count
+    %t3 = load_input "items" :: array
+    %t4 = call core.array_size(%t3) :: integer
+    yield %t4
+  )
+  (Declaration summary
+    %t8 = load_input "name" :: string
+    %t9 = call core.length(%t8) :: integer
+    %t10 = load_input "items" :: array
+    %t11 = call core.array_size(%t10) :: integer
+    %t7 = make_object{name_length: %t9, item_count: %t11} :: object
+    yield %t7
+  )
+)

data/golden/function_overload/expected/lir_03_cse.txt

@@ -0,0 +1,20 @@
+(LIR
+  (Declaration name_len
+    %t1 = load_input "name" :: string
+    %t2 = call core.length(%t1) :: integer
+    yield %t2
+  )
+  (Declaration items_count
+    %t3 = load_input "items" :: array
+    %t4 = call core.array_size(%t3) :: integer
+    yield %t4
+  )
+  (Declaration summary
+    %t8 = load_input "name" :: string
+    %t9 = call core.length(%t8) :: integer
+    %t10 = load_input "items" :: array
+    %t11 = call core.array_size(%t10) :: integer
+    %t7 = make_object{name_length: %t9, item_count: %t11} :: object
+    yield %t7
+  )
+)

data/golden/function_overload/expected/lir_04_1_loop_fusion.txt

@@ -0,0 +1,20 @@
+(LIR
+  (Declaration name_len
+    %t1 = load_input "name" :: string
+    %t2 = call core.length(%t1) :: integer
+    yield %t2
+  )
+  (Declaration items_count
+    %t3 = load_input "items" :: array
+    %t4 = call core.array_size(%t3) :: integer
+    yield %t4
+  )
+  (Declaration summary
+    %t8 = load_input "name" :: string
+    %t9 = call core.length(%t8) :: integer
+    %t10 = load_input "items" :: array
+    %t11 = call core.array_size(%t10) :: integer
+    %t7 = make_object{name_length: %t9, item_count: %t11} :: object
+    yield %t7
+  )
+)

data/golden/function_overload/expected/lir_04_loop_invcm.txt

@@ -0,0 +1,20 @@
+(LIR
+  (Declaration name_len
+    %t1 = load_input "name" :: string
+    %t2 = call core.length(%t1) :: integer
+    yield %t2
+  )
+  (Declaration items_count
+    %t3 = load_input "items" :: array
+    %t4 = call core.array_size(%t3) :: integer
+    yield %t4
+  )
+  (Declaration summary
+    %t8 = load_input "name" :: string
+    %t9 = call core.length(%t8) :: integer
+    %t10 = load_input "items" :: array
+    %t11 = call core.array_size(%t10) :: integer
+    %t7 = make_object{name_length: %t9, item_count: %t11} :: object
+    yield %t7
+  )
+)

data/golden/function_overload/expected/lir_06_const_prop.txt

@@ -0,0 +1,20 @@
+(LIR
+  (Declaration name_len
+    %t1 = load_input "name" :: string
+    %t2 = call core.length(%t1) :: integer
+    yield %t2
+  )
+  (Declaration items_count
+    %t3 = load_input "items" :: array
+    %t4 = call core.array_size(%t3) :: integer
+    yield %t4
+  )
+  (Declaration summary
+    %t8 = load_input "name" :: string
+    %t9 = call core.length(%t8) :: integer
+    %t10 = load_input "items" :: array
+    %t11 = call core.array_size(%t10) :: integer
+    %t7 = make_object{name_length: %t9, item_count: %t11} :: object
+    yield %t7
+  )
+)

data/golden/function_overload/expected/nast.txt

@@ -0,0 +1,22 @@
+(NAST
+  (VALUE name_len
+    (Call :size
+    (InputRef [:name])
+  )
+  )
+  (VALUE items_count
+    (Call :size
+    (InputRef [:items])
+  )
+  )
+  (VALUE summary
+    (Hash
+    (Pair name_length 
+      (Ref name_len)
+    )
+    (Pair item_count 
+      (Ref items_count)
+    )
+  )
+  )
+)

data/golden/function_overload/expected/schema_javascript.mjs

@@ -0,0 +1,12 @@
+export function _summary(input) {
+  let t8 = input["name"];
+  let t9 = t8.length;
+  let t10 = input["items"];
+  let t11 = t10.length;
+  let t7 = {
+    "name_length": t9,
+    "item_count": t11
+  };
+  return t7;
+}
+

data/golden/function_overload/expected/schema_ruby.rb

@@ -0,0 +1,39 @@
+# Autogenerated by Kumi Codegen
+module Kumi::Compiled::KUMI_7bfb4d1f4b47bb1aec37b86c3b05a808ae6e13b28cdcac7f03ffeb7624df3532
+  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 :summary then _summary
+    else raise KeyError, "Unknown declaration"
+    end
+  end
+
+  def _summary(input = @input)
+    t8 = input["name"] || input[:name]
+    t9 = t8.length
+    t10 = input["items"] || input[:items]
+    t11 = t10.length
+    t7 = {
+      "name_length" => t9,
+      "item_count" => t11
+    }
+    t7
+  end
+end

data/golden/function_overload/expected/snast.txt

@@ -0,0 +1,22 @@
+(SNAST
+  (VALUE name_len
+    (Call :core.length
+      (InputRef name key_chain=[]) :: [] -> string
+    ) :: [] -> integer
+  ) :: [] -> integer
+  (VALUE items_count
+    (Call :core.array_size
+      (InputRef items key_chain=[]) :: [] -> array
+    ) :: [] -> integer
+  ) :: [] -> integer
+  (VALUE summary
+    (Hash
+      (Pair name_length
+        (Ref name_len) :: [] -> integer
+      ) :: [] -> pair
+      (Pair item_count
+        (Ref items_count) :: [] -> integer
+      ) :: [] -> pair
+    ) :: [] -> hash
+  ) :: [] -> hash
+)

data/golden/function_overload/input.json

@@ -0,0 +1,8 @@
+{
+  "name": "test",
+  "items": [
+    { "value": 1 },
+    { "value": 2 },
+    { "value": 3 }
+  ]
+}

data/golden/function_overload/schema.kumi

@@ -0,0 +1,19 @@
+schema do
+  input do
+    string :name
+    array :items do
+      integer :value
+    end
+  end
+
+  # Should resolve to core.length (string -> integer)
+  let :name_len, fn(:size, input.name)
+
+  # Should resolve to core.array_size (array -> integer)
+  let :items_count, fn(:size, input.items)
+
+  value :summary, {
+    name_length: name_len,
+    item_count: items_count
+  }
+end

data/golden/game_of_life/expected/lir_00_unoptimized.txt

@@ -267,8 +267,8 @@
         %t240 = load_decl ne axes=[rows, col] :: integer
         %t241 = load_decl sw axes=[rows, col] :: integer
         %t242 = load_decl se axes=[rows, col] :: integer
-        %t243 = make_tuple(%t235, %t236, %t237, %t238, %t239, %t240, %t241, %t242) :: tuple<integer>
-        %t244 = fold %t243 fn="agg.sum" :: 
+        %t243 = make_tuple(%t235, %t236, %t237, %t238, %t239, %t240, %t241, %t242) :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
+        %t244 = fold %t243 fn="agg.sum" :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
         yield %t244
       end_loop
     end_loop
@@ -288,7 +288,7 @@
     %t253 = load_input "rows" :: array
     loop rows id=L23 in %t253 as el=%rows_el_254, idx=%rows_i_255
       loop col id=L24 in %rows_el_254 as el=%col_el_256, idx=%col_i_257
-        %t258 = load_decl neighbors axes=[rows, col] :: 
+        %t258 = load_decl neighbors axes=[rows, col] :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
         %t259 = const 3 :: integer
         %t260 = call core.eq(%t258, %t259) :: boolean
         yield %t260
@@ -299,7 +299,7 @@
     %t261 = load_input "rows" :: array
     loop rows id=L25 in %t261 as el=%rows_el_262, idx=%rows_i_263
       loop col id=L26 in %rows_el_262 as el=%col_el_264, idx=%col_i_265
-        %t266 = load_decl neighbors axes=[rows, col] :: 
+        %t266 = load_decl neighbors axes=[rows, col] :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
         %t267 = const 2 :: integer
         %t268 = call core.eq(%t266, %t267) :: boolean
         yield %t268

data/golden/game_of_life/expected/lir_01_hoist_scalar_references.txt

@@ -267,8 +267,8 @@
         %t240 = load_decl ne axes=[rows, col] :: integer
         %t241 = load_decl sw axes=[rows, col] :: integer
         %t242 = load_decl se axes=[rows, col] :: integer
-        %t243 = make_tuple(%t235, %t236, %t237, %t238, %t239, %t240, %t241, %t242) :: tuple<integer>
-        %t244 = fold %t243 fn="agg.sum" :: 
+        %t243 = make_tuple(%t235, %t236, %t237, %t238, %t239, %t240, %t241, %t242) :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
+        %t244 = fold %t243 fn="agg.sum" :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
         yield %t244
       end_loop
     end_loop
@@ -288,7 +288,7 @@
     %t253 = load_input "rows" :: array
     loop rows id=L23 in %t253 as el=%rows_el_254, idx=%rows_i_255
       loop col id=L24 in %rows_el_254 as el=%col_el_256, idx=%col_i_257
-        %t258 = load_decl neighbors axes=[rows, col] :: 
+        %t258 = load_decl neighbors axes=[rows, col] :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
         %t259 = const 3 :: integer
         %t260 = call core.eq(%t258, %t259) :: boolean
         yield %t260
@@ -299,7 +299,7 @@
     %t261 = load_input "rows" :: array
     loop rows id=L25 in %t261 as el=%rows_el_262, idx=%rows_i_263
       loop col id=L26 in %rows_el_262 as el=%col_el_264, idx=%col_i_265
-        %t266 = load_decl neighbors axes=[rows, col] :: 
+        %t266 = load_decl neighbors axes=[rows, col] :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
         %t267 = const 2 :: integer
         %t268 = call core.eq(%t266, %t267) :: boolean
         yield %t268

data/golden/game_of_life/expected/lir_02_inlined.txt

@@ -451,8 +451,8 @@
         %t483 = gather %t470, %t482 :: integer
         %t484 = const 0 :: integer
         %t485 = select %t478, %t483, %t484 :: integer
-        %t243 = make_tuple(%t313, %t333, %t353, %t373, %t401, %t429, %t457, %t485) :: tuple<integer>
-        %t244 = fold %t243 fn="agg.sum" :: 
+        %t243 = make_tuple(%t313, %t333, %t353, %t373, %t401, %t429, %t457, %t485) :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
+        %t244 = fold %t243 fn="agg.sum" :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
         yield %t244
       end_loop
     end_loop
@@ -665,8 +665,8 @@
         %t687 = gather %t674, %t686 :: integer
         %t688 = const 0 :: integer
         %t689 = select %t682, %t687, %t688 :: integer
-        %t496 = make_tuple(%t517, %t537, %t557, %t577, %t605, %t633, %t661, %t689) :: tuple<integer>
-        %t497 = fold %t496 fn="agg.sum" :: 
+        %t496 = make_tuple(%t517, %t537, %t557, %t577, %t605, %t633, %t661, %t689) :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
+        %t497 = fold %t496 fn="agg.sum" :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
         %t259 = const 3 :: integer
         %t260 = call core.eq(%t497, %t259) :: boolean
         yield %t260
@@ -870,8 +870,8 @@
         %t890 = gather %t877, %t889 :: integer
         %t891 = const 0 :: integer
         %t892 = select %t885, %t890, %t891 :: integer
-        %t699 = make_tuple(%t720, %t740, %t760, %t780, %t808, %t836, %t864, %t892) :: tuple<integer>
-        %t700 = fold %t699 fn="agg.sum" :: 
+        %t699 = make_tuple(%t720, %t740, %t760, %t780, %t808, %t836, %t864, %t892) :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
+        %t700 = fold %t699 fn="agg.sum" :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
         %t267 = const 2 :: integer
         %t268 = call core.eq(%t700, %t267) :: boolean
         yield %t268
@@ -1076,8 +1076,8 @@
         %t1097 = gather %t1084, %t1096 :: integer
         %t1098 = const 0 :: integer
         %t1099 = select %t1092, %t1097, %t1098 :: integer
-        %t906 = make_tuple(%t927, %t947, %t967, %t987, %t1015, %t1043, %t1071, %t1099) :: tuple<integer>
-        %t907 = fold %t906 fn="agg.sum" :: 
+        %t906 = make_tuple(%t927, %t947, %t967, %t987, %t1015, %t1043, %t1071, %t1099) :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
+        %t907 = fold %t906 fn="agg.sum" :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
         %t895 = const 2 :: integer
         %t896 = call core.eq(%t907, %t895) :: boolean
         %t1100 = load_input "rows" :: array
@@ -1287,8 +1287,8 @@
         %t1309 = gather %t1296, %t1308 :: integer
         %t1310 = const 0 :: integer
         %t1311 = select %t1304, %t1309, %t1310 :: integer
-        %t1118 = make_tuple(%t1139, %t1159, %t1179, %t1199, %t1227, %t1255, %t1283, %t1311) :: tuple<integer>
-        %t1119 = fold %t1118 fn="agg.sum" :: 
+        %t1118 = make_tuple(%t1139, %t1159, %t1179, %t1199, %t1227, %t1255, %t1283, %t1311) :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
+        %t1119 = fold %t1118 fn="agg.sum" :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
         %t1107 = const 3 :: integer
         %t1108 = call core.eq(%t1119, %t1107) :: boolean
         %t1312 = load_input "rows" :: array
@@ -1486,8 +1486,8 @@
         %t1520 = gather %t1507, %t1519 :: integer
         %t1521 = const 0 :: integer
         %t1522 = select %t1515, %t1520, %t1521 :: integer
-        %t1329 = make_tuple(%t1350, %t1370, %t1390, %t1410, %t1438, %t1466, %t1494, %t1522) :: tuple<integer>
-        %t1330 = fold %t1329 fn="agg.sum" :: 
+        %t1329 = make_tuple(%t1350, %t1370, %t1390, %t1410, %t1438, %t1466, %t1494, %t1522) :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
+        %t1330 = fold %t1329 fn="agg.sum" :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
         %t1318 = const 2 :: integer
         %t1319 = call core.eq(%t1330, %t1318) :: boolean
         %t1523 = load_input "rows" :: array
@@ -1699,8 +1699,8 @@
         %t1736 = gather %t1723, %t1735 :: integer
         %t1737 = const 0 :: integer
         %t1738 = select %t1731, %t1736, %t1737 :: integer
-        %t1545 = make_tuple(%t1566, %t1586, %t1606, %t1626, %t1654, %t1682, %t1710, %t1738) :: tuple<integer>
-        %t1546 = fold %t1545 fn="agg.sum" :: 
+        %t1545 = make_tuple(%t1566, %t1586, %t1606, %t1626, %t1654, %t1682, %t1710, %t1738) :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
+        %t1546 = fold %t1545 fn="agg.sum" :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
         %t1534 = const 3 :: integer
         %t1535 = call core.eq(%t1546, %t1534) :: boolean
         %t1739 = load_input "rows" :: array
@@ -1898,8 +1898,8 @@
         %t1947 = gather %t1934, %t1946 :: integer
         %t1948 = const 0 :: integer
         %t1949 = select %t1942, %t1947, %t1948 :: integer
-        %t1756 = make_tuple(%t1777, %t1797, %t1817, %t1837, %t1865, %t1893, %t1921, %t1949) :: tuple<integer>
-        %t1757 = fold %t1756 fn="agg.sum" :: 
+        %t1756 = make_tuple(%t1777, %t1797, %t1817, %t1837, %t1865, %t1893, %t1921, %t1949) :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
+        %t1757 = fold %t1756 fn="agg.sum" :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
         %t1745 = const 2 :: integer
         %t1746 = call core.eq(%t1757, %t1745) :: boolean
         %t1950 = load_input "rows" :: array

data/golden/game_of_life/expected/lir_03_cse.txt

@@ -299,8 +299,8 @@
         %t482 = call core.clamp(%t362, %t298, %t452) :: integer
         %t483 = gather %t326, %t482 :: integer
         %t485 = select %t478, %t483, %t298 :: integer
-        %t243 = make_tuple(%t313, %t333, %t353, %t373, %t401, %t429, %t457, %t485) :: tuple<integer>
-        %t244 = fold %t243 fn="agg.sum" :: 
+        %t243 = make_tuple(%t313, %t333, %t353, %t373, %t401, %t429, %t457, %t485) :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
+        %t244 = fold %t243 fn="agg.sum" :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
         yield %t244
       end_loop
     end_loop
@@ -394,8 +394,8 @@
         %t686 = call core.clamp(%t566, %t502, %t656) :: integer
         %t687 = gather %t530, %t686 :: integer
         %t689 = select %t682, %t687, %t502 :: integer
-        %t496 = make_tuple(%t517, %t537, %t557, %t577, %t605, %t633, %t661, %t689) :: tuple<integer>
-        %t497 = fold %t496 fn="agg.sum" :: 
+        %t496 = make_tuple(%t517, %t537, %t557, %t577, %t605, %t633, %t661, %t689) :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
+        %t497 = fold %t496 fn="agg.sum" :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
         %t259 = const 3 :: integer
         %t260 = call core.eq(%t497, %t259) :: boolean
         yield %t260
@@ -481,8 +481,8 @@
         %t889 = call core.clamp(%t769, %t705, %t859) :: integer
         %t890 = gather %t733, %t889 :: integer
         %t892 = select %t885, %t890, %t705 :: integer
-        %t699 = make_tuple(%t720, %t740, %t760, %t780, %t808, %t836, %t864, %t892) :: tuple<integer>
-        %t700 = fold %t699 fn="agg.sum" :: 
+        %t699 = make_tuple(%t720, %t740, %t760, %t780, %t808, %t836, %t864, %t892) :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
+        %t700 = fold %t699 fn="agg.sum" :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
         %t267 = const 2 :: integer
         %t268 = call core.eq(%t700, %t267) :: boolean
         yield %t268
@@ -568,11 +568,12 @@
         %t1096 = call core.clamp(%t976, %t912, %t1066) :: integer
         %t1097 = gather %t940, %t1096 :: integer
         %t1099 = select %t1092, %t1097, %t912 :: integer
-        %t906 = make_tuple(%t927, %t947, %t967, %t987, %t1015, %t1043, %t1071, %t1099) :: tuple<integer>
-        %t907 = fold %t906 fn="agg.sum" :: 
+        %t906 = make_tuple(%t927, %t947, %t967, %t987, %t1015, %t1043, %t1071, %t1099) :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
+        %t907 = fold %t906 fn="agg.sum" :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
         %t895 = const 2 :: integer
         %t896 = call core.eq(%t907, %t895) :: boolean
-        %t1103 = call core.gt(%col_el_272, %t912) :: boolean
+        %t1102 = const 0 :: integer
+        %t1103 = call core.gt(%col_el_272, %t1102) :: boolean
         %t276 = call core.and(%t896, %t1103) :: boolean
         yield %t276
       end_loop
@@ -657,13 +658,14 @@
         %t1308 = call core.clamp(%t1188, %t1124, %t1278) :: integer
         %t1309 = gather %t1152, %t1308 :: integer
         %t1311 = select %t1304, %t1309, %t1124 :: integer
-        %t1118 = make_tuple(%t1139, %t1159, %t1179, %t1199, %t1227, %t1255, %t1283, %t1311) :: tuple<integer>
-        %t1119 = fold %t1118 fn="agg.sum" :: 
+        %t1118 = make_tuple(%t1139, %t1159, %t1179, %t1199, %t1227, %t1255, %t1283, %t1311) :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
+        %t1119 = fold %t1118 fn="agg.sum" :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
         %t1107 = const 3 :: integer
         %t1108 = call core.eq(%t1119, %t1107) :: boolean
         %t1318 = const 2 :: integer
         %t1319 = call core.eq(%t1119, %t1318) :: boolean
-        %t1526 = call core.gt(%col_el_280, %t1124) :: boolean
+        %t1525 = const 0 :: integer
+        %t1526 = call core.gt(%col_el_280, %t1525) :: boolean
         %t1315 = call core.and(%t1319, %t1526) :: boolean
         %t284 = call core.or(%t1108, %t1315) :: boolean
         yield %t284
@@ -749,16 +751,18 @@
         %t1735 = call core.clamp(%t1615, %t1551, %t1705) :: integer
         %t1736 = gather %t1579, %t1735 :: integer
         %t1738 = select %t1731, %t1736, %t1551 :: integer
-        %t1545 = make_tuple(%t1566, %t1586, %t1606, %t1626, %t1654, %t1682, %t1710, %t1738) :: tuple<integer>
-        %t1546 = fold %t1545 fn="agg.sum" :: 
+        %t1545 = make_tuple(%t1566, %t1586, %t1606, %t1626, %t1654, %t1682, %t1710, %t1738) :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
+        %t1546 = fold %t1545 fn="agg.sum" :: tuple<integer, integer, integer, integer, integer, integer, integer, integer>
         %t1534 = const 3 :: integer
         %t1535 = call core.eq(%t1546, %t1534) :: boolean
         %t1745 = const 2 :: integer
         %t1746 = call core.eq(%t1546, %t1745) :: boolean
-        %t1953 = call core.gt(%col_el_288, %t1551) :: boolean
+        %t1952 = const 0 :: integer
+        %t1953 = call core.gt(%col_el_288, %t1952) :: boolean
         %t1742 = call core.and(%t1746, %t1953) :: boolean
         %t1531 = call core.or(%t1535, %t1742) :: boolean
-        %t293 = select %t1531, %t1555, %t1551 :: integer
+        %t291 = const 1 :: integer
+        %t293 = select %t1531, %t291, %t1952 :: integer
         yield %t293
       end_loop
     end_loop