kumi 0.0.24 → 0.0.26

data/golden/chained_fusion/expected/schema_ruby.rb

@@ -1,5 +1,5 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_b02df7846ba29e94c8a665ca8d8aa1e248aea9154904c851bc619ecc87526657
+module Kumi::Compiled::KUMI_e5b30cb23c39d5d7959274f41cf2d6a7e4ec0016dc7e19c0bef5c08d67ee1933
   def self.from(input_data = nil)
     instance = Object.new
     instance.extend(self)
@@ -107,40 +107,40 @@ module Kumi::Compiled::KUMI_b02df7846ba29e94c8a665ca8d8aa1e248aea9154904c851bc61
   def _department_summary(input = @input)
     out = []
     t47 = input["departments"] || input[:departments]
-    t67 = "manager"
-    t69 = 1
-    t70 = 0
-    t78 = "senior"
+    t71 = "manager"
+    t73 = 1
+    t74 = 0
+    t84 = "senior"
     t47.each_with_index do |departments_el_48, departments_i_49|
       t50 = departments_el_48["name"] || departments_el_48[:name]
       acc58 = 0
       t59 = departments_el_48["employees"] || departments_el_48[:employees]
-      acc64 = 0
-      acc75 = 0
-      acc86 = nil
-      t59.each_with_index do |employees_el_6, employees_i_7|
-        t60 = employees_el_6["salary"] || employees_el_6[:salary]
-        acc58 += t60
-        t66 = employees_el_6["role"] || employees_el_6[:role]
-        t68 = t66 == t67
-        t71 = t68 ? t69 : t70
-        acc64 += t71
-        acc86 ||= t60
-        acc86 = t60 if t60 > acc86
-        t79 = t66 == t78
-        t82 = t79 ? t69 : t70
-        acc75 += t82
+      acc66 = 0
+      acc79 = 0
+      acc92 = nil
+      t59.each_with_index do |t60, t61|
+        t62 = t60["salary"] || t60[:salary]
+        acc58 += t62
+        t70 = t60["role"] || t60[:role]
+        t72 = t70 == t71
+        t75 = t72 ? t73 : t74
+        acc66 += t75
+        acc92 ||= t62
+        acc92 = t62 if t62 > acc92
+        t85 = t70 == t84
+        t88 = t85 ? t73 : t74
+        acc79 += t88
       end
-      t61 = acc58
-      t72 = acc64
-      t89 = acc86
-      t83 = acc75
+      t63 = acc58
+      t76 = acc66
+      t97 = acc92
+      t89 = acc79
       t55 = {
         "name" => t50,
-        "total_payroll" => t61,
-        "manager_count" => t72,
-        "senior_count" => t83,
-        "top_salary" => t89
+        "total_payroll" => t63,
+        "manager_count" => t76,
+        "senior_count" => t89,
+        "top_salary" => t97
       }
       out << t55
     end

data/golden/element_arrays/expected/nast.txt

@@ -27,8 +27,8 @@
   )
   )
   (VALUE count_over_limit
-    (Call :"agg.sum"
-    (Call :"agg.sum"
+    (Call :sum
+    (Call :sum
       (Call :sum
         (Call :__select__
           (Ref cell_over_limit)

data/golden/element_arrays/expected/schema_ruby.rb

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

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/lir_02_inlined.txt

@@ -19,33 +19,33 @@
       %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
+      loop sales id=L4 in %t22 as el=%t23, idx=%t24
+        %t25 = load_field t23["amount"] :: integer
+        %acc21 = acc_add agg.sum(%acc21, %t25) :: integer
       end_loop
-      %t24 = acc_load %acc21 :: integer
-      %acc_10 = acc_add agg.sum(%acc_10, %t24) :: integer
+      %t26 = acc_load %acc21 :: integer
+      %acc_10 = acc_add agg.sum(%acc_10, %t26) :: 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
+    %acc28 = decl_acc :: integer
+    %t29 = load_input "regions" :: array
+    loop regions id=L5 in %t29 as el=%t30, idx=%t31
+      %t34 = load_input "regions" :: array
+      %acc36 = decl_acc :: integer
+      %t37 = load_field t30["sales"] :: any
+      loop sales id=L6 in %t37 as el=%t38, idx=%t39
+        %t40 = load_field t38["amount"] :: integer
+        %acc36 = acc_add agg.sum(%acc36, %t40) :: integer
       end_loop
-      %t35 = acc_load %acc32 :: integer
-      %acc26 = acc_add agg.sum(%acc26, %t35) :: integer
+      %t41 = acc_load %acc36 :: integer
+      %acc28 = acc_add agg.sum(%acc28, %t41) :: integer
     end_loop
-    %t29 = acc_load %acc26 :: integer
+    %t33 = acc_load %acc28 :: integer
     %t17 = load_input "adjustment" :: integer
-    %t18 = call core.add(%t29, %t17) :: integer
+    %t18 = call core.add(%t33, %t17) :: integer
     yield %t18
   )
 )

data/golden/empty_and_null_inputs/expected/lir_03_cse.txt

@@ -18,32 +18,32 @@
     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
+      loop sales id=L4 in %t22 as el=%t23, idx=%t24
+        %t25 = load_field t23["amount"] :: integer
+        %acc21 = acc_add agg.sum(%acc21, %t25) :: integer
       end_loop
-      %t24 = acc_load %acc21 :: integer
-      %acc_10 = acc_add agg.sum(%acc_10, %t24) :: integer
+      %t26 = acc_load %acc21 :: integer
+      %acc_10 = acc_add agg.sum(%acc_10, %t26) :: 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
+    %acc28 = decl_acc :: integer
+    %t29 = load_input "regions" :: array
+    loop regions id=L5 in %t29 as el=%t30, idx=%t31
+      %acc36 = decl_acc :: integer
+      %t37 = load_field t30["sales"] :: any
+      loop sales id=L6 in %t37 as el=%t38, idx=%t39
+        %t40 = load_field t38["amount"] :: integer
+        %acc36 = acc_add agg.sum(%acc36, %t40) :: integer
       end_loop
-      %t35 = acc_load %acc32 :: integer
-      %acc26 = acc_add agg.sum(%acc26, %t35) :: integer
+      %t41 = acc_load %acc36 :: integer
+      %acc28 = acc_add agg.sum(%acc28, %t41) :: integer
     end_loop
-    %t29 = acc_load %acc26 :: integer
+    %t33 = acc_load %acc28 :: integer
     %t17 = load_input "adjustment" :: integer
-    %t18 = call core.add(%t29, %t17) :: integer
+    %t18 = call core.add(%t33, %t17) :: integer
     yield %t18
   )
 )

data/golden/empty_and_null_inputs/expected/lir_04_1_loop_fusion.txt

@@ -18,32 +18,32 @@
     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
+      loop sales id=L4 in %t22 as el=%t23, idx=%t24
+        %t25 = load_field t23["amount"] :: integer
+        %acc21 = acc_add agg.sum(%acc21, %t25) :: integer
       end_loop
-      %t24 = acc_load %acc21 :: integer
-      %acc_10 = acc_add agg.sum(%acc_10, %t24) :: integer
+      %t26 = acc_load %acc21 :: integer
+      %acc_10 = acc_add agg.sum(%acc_10, %t26) :: 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
+    %acc28 = decl_acc :: integer
+    %t29 = load_input "regions" :: array
+    loop regions id=L5 in %t29 as el=%t30, idx=%t31
+      %acc36 = decl_acc :: integer
+      %t37 = load_field t30["sales"] :: any
+      loop sales id=L6 in %t37 as el=%t38, idx=%t39
+        %t40 = load_field t38["amount"] :: integer
+        %acc36 = acc_add agg.sum(%acc36, %t40) :: integer
       end_loop
-      %t35 = acc_load %acc32 :: integer
-      %acc26 = acc_add agg.sum(%acc26, %t35) :: integer
+      %t41 = acc_load %acc36 :: integer
+      %acc28 = acc_add agg.sum(%acc28, %t41) :: integer
     end_loop
-    %t29 = acc_load %acc26 :: integer
+    %t33 = acc_load %acc28 :: integer
     %t17 = load_input "adjustment" :: integer
-    %t18 = call core.add(%t29, %t17) :: integer
+    %t18 = call core.add(%t33, %t17) :: integer
     yield %t18
   )
 )

data/golden/empty_and_null_inputs/expected/lir_04_loop_invcm.txt

@@ -18,32 +18,32 @@
     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
+      loop sales id=L4 in %t22 as el=%t23, idx=%t24
+        %t25 = load_field t23["amount"] :: integer
+        %acc21 = acc_add agg.sum(%acc21, %t25) :: integer
       end_loop
-      %t24 = acc_load %acc21 :: integer
-      %acc_10 = acc_add agg.sum(%acc_10, %t24) :: integer
+      %t26 = acc_load %acc21 :: integer
+      %acc_10 = acc_add agg.sum(%acc_10, %t26) :: 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
+    %acc28 = decl_acc :: integer
+    %t29 = load_input "regions" :: array
+    loop regions id=L5 in %t29 as el=%t30, idx=%t31
+      %acc36 = decl_acc :: integer
+      %t37 = load_field t30["sales"] :: any
+      loop sales id=L6 in %t37 as el=%t38, idx=%t39
+        %t40 = load_field t38["amount"] :: integer
+        %acc36 = acc_add agg.sum(%acc36, %t40) :: integer
       end_loop
-      %t35 = acc_load %acc32 :: integer
-      %acc26 = acc_add agg.sum(%acc26, %t35) :: integer
+      %t41 = acc_load %acc36 :: integer
+      %acc28 = acc_add agg.sum(%acc28, %t41) :: integer
     end_loop
-    %t29 = acc_load %acc26 :: integer
+    %t33 = acc_load %acc28 :: integer
     %t17 = load_input "adjustment" :: integer
-    %t18 = call core.add(%t29, %t17) :: integer
+    %t18 = call core.add(%t33, %t17) :: integer
     yield %t18
   )
 )

data/golden/empty_and_null_inputs/expected/lir_06_const_prop.txt

@@ -18,32 +18,32 @@
     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
+      loop sales id=L4 in %t22 as el=%t23, idx=%t24
+        %t25 = load_field t23["amount"] :: integer
+        %acc21 = acc_add agg.sum(%acc21, %t25) :: integer
       end_loop
-      %t24 = acc_load %acc21 :: integer
-      %acc_10 = acc_add agg.sum(%acc_10, %t24) :: integer
+      %t26 = acc_load %acc21 :: integer
+      %acc_10 = acc_add agg.sum(%acc_10, %t26) :: 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
+    %acc28 = decl_acc :: integer
+    %t29 = load_input "regions" :: array
+    loop regions id=L5 in %t29 as el=%t30, idx=%t31
+      %acc36 = decl_acc :: integer
+      %t37 = load_field t30["sales"] :: any
+      loop sales id=L6 in %t37 as el=%t38, idx=%t39
+        %t40 = load_field t38["amount"] :: integer
+        %acc36 = acc_add agg.sum(%acc36, %t40) :: integer
       end_loop
-      %t35 = acc_load %acc32 :: integer
-      %acc26 = acc_add agg.sum(%acc26, %t35) :: integer
+      %t41 = acc_load %acc36 :: integer
+      %acc28 = acc_add agg.sum(%acc28, %t41) :: integer
     end_loop
-    %t29 = acc_load %acc26 :: integer
+    %t33 = acc_load %acc28 :: integer
     %t17 = load_input "adjustment" :: integer
-    %t18 = call core.add(%t29, %t17) :: integer
+    %t18 = call core.add(%t33, %t17) :: integer
     yield %t18
   )
 )

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_javascript.mjs

@@ -19,9 +19,9 @@ export function _total_sales(input) {
   t11.forEach((regions_el_12, regions_i_13) => {
     let acc21 = 0;
     let t22 = regions_el_12["sales"];
-    t22.forEach((sales_el_6, sales_i_7) => {
-      let t23 = sales_el_6["amount"];
-      acc21 += t23;
+    t22.forEach((t23, t24) => {
+      let t25 = t23["amount"];
+      acc21 += t25;
     });
     acc_10 += acc21;
   });
@@ -29,19 +29,19 @@ export function _total_sales(input) {
 }
 
 export function _adjusted_total(input) {
-  let acc26 = 0;
-  let t27 = input["regions"];
-  t27.forEach((regions_el_12, regions_i_13) => {
-    let acc32 = 0;
-    let t33 = regions_el_12["sales"];
-    t33.forEach((sales_el_6, sales_i_7) => {
-      let t34 = sales_el_6["amount"];
-      acc32 += t34;
+  let acc28 = 0;
+  let t29 = input["regions"];
+  t29.forEach((t30, t31) => {
+    let acc36 = 0;
+    let t37 = t30["sales"];
+    t37.forEach((t38, t39) => {
+      let t40 = t38["amount"];
+      acc36 += t40;
     });
-    acc26 += acc32;
+    acc28 += acc36;
   });
   let t17 = input["adjustment"];
-  let t18 = acc26 + t17;
+  let t18 = acc28 + t17;
   return t18;
 }
 

data/golden/empty_and_null_inputs/expected/schema_ruby.rb

@@ -1,5 +1,5 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_f5ff83c5472452825724e8d6146d84050de84e9c1f3ece855cde1d1599126d71
+module Kumi::Compiled::KUMI_ad6e7ee5524d611f2ec03728b7e9f8c097e1308dbaf49da390610067b59c4145
   def self.from(input_data = nil)
     instance = Object.new
     instance.extend(self)
@@ -49,31 +49,31 @@ module Kumi::Compiled::KUMI_f5ff83c5472452825724e8d6146d84050de84e9c1f3ece855cde
     t11.each_with_index do |regions_el_12, regions_i_13|
       acc21 = 0
       t22 = regions_el_12["sales"] || regions_el_12[:sales]
-      t22.each_with_index do |sales_el_6, sales_i_7|
-        t23 = sales_el_6["amount"] || sales_el_6[:amount]
-        acc21 += t23
+      t22.each_with_index do |t23, t24|
+        t25 = t23["amount"] || t23[:amount]
+        acc21 += t25
       end
-      t24 = acc21
-      acc_10 += t24
+      t26 = acc21
+      acc_10 += t26
     end
     acc_10
   end
 
   def _adjusted_total(input = @input)
-    acc26 = 0
-    t27 = input["regions"] || input[:regions]
-    t27.each_with_index do |regions_el_12, regions_i_13|
-      acc32 = 0
-      t33 = regions_el_12["sales"] || regions_el_12[:sales]
-      t33.each_with_index do |sales_el_6, sales_i_7|
-        t34 = sales_el_6["amount"] || sales_el_6[:amount]
-        acc32 += t34
+    acc28 = 0
+    t29 = input["regions"] || input[:regions]
+    t29.each_with_index do |t30, t31|
+      acc36 = 0
+      t37 = t30["sales"] || t30[:sales]
+      t37.each_with_index do |t38, t39|
+        t40 = t38["amount"] || t38[:amount]
+        acc36 += t40
       end
-      t35 = acc32
-      acc26 += t35
+      t41 = acc36
+      acc28 += t41
     end
-    t29 = acc26
+    t33 = acc28
     t17 = input["adjustment"] || input[:adjustment]
-    t29 + t17
+    t33 + t17
   end
 end

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
+  )
+)