kumi 0.0.31 → 0.0.33

data/golden/chained_fusion/expected/schema_ruby.rb

@@ -1,35 +1,6 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_849092b69396f8ec3e0f0deef2a98c2ace6d934d94bac9cc887bf0cbc2399dbe
-  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 :total_payroll then _total_payroll
-    when :manager_count then _manager_count
-    when :senior_employee_count then _senior_employee_count
-    when :max_salary then _max_salary
-    when :department_summary then _department_summary
-    else raise KeyError, "Unknown declaration"
-    end
-  end
-
-  def _total_payroll(input = @input)
+module Kumi::Compiled::KUMI_23126846b1af6f22cf75b03ec14ec5dcdce551d572089e8d9db65af63ba88bc5
+  def self._total_payroll(input)
     out = []
     t1 = input["departments"] || input[:departments]
     t1.each_with_index do |departments_el_2, departments_i_3|
@@ -45,19 +16,16 @@ module Kumi::Compiled::KUMI_849092b69396f8ec3e0f0deef2a98c2ace6d934d94bac9cc887b
     out
   end
 
-  def _manager_count(input = @input)
+  def self._manager_count(input)
     out = []
     t10 = input["departments"] || input[:departments]
-    t18 = "manager"
-    t20 = 1
-    t21 = 0
     t10.each_with_index do |departments_el_11, departments_i_12|
       acc_13 = 0
       t14 = departments_el_11["employees"] || departments_el_11[:employees]
       t14.each_with_index do |employees_el_15, employees_i_16|
         t17 = employees_el_15["role"] || employees_el_15[:role]
-        t19 = t17 == t18
-        t22 = t19 ? t20 : t21
+        t19 = t17 == "manager"
+        t22 = t19 ? 1 : 0
         acc_13 += t22
       end
       t23 = acc_13
@@ -66,19 +34,16 @@ module Kumi::Compiled::KUMI_849092b69396f8ec3e0f0deef2a98c2ace6d934d94bac9cc887b
     out
   end
 
-  def _senior_employee_count(input = @input)
+  def self._senior_employee_count(input)
     out = []
     t24 = input["departments"] || input[:departments]
-    t32 = "senior"
-    t34 = 1
-    t35 = 0
     t24.each_with_index do |departments_el_25, departments_i_26|
       acc_27 = 0
       t28 = departments_el_25["employees"] || departments_el_25[:employees]
       t28.each_with_index do |employees_el_29, employees_i_30|
         t31 = employees_el_29["role"] || employees_el_29[:role]
-        t33 = t31 == t32
-        t36 = t33 ? t34 : t35
+        t33 = t31 == "senior"
+        t36 = t33 ? 1 : 0
         acc_27 += t36
       end
       t37 = acc_27
@@ -87,7 +52,7 @@ module Kumi::Compiled::KUMI_849092b69396f8ec3e0f0deef2a98c2ace6d934d94bac9cc887b
     out
   end
 
-  def _max_salary(input = @input)
+  def self._max_salary(input)
     out = []
     t38 = input["departments"] || input[:departments]
     t38.each_with_index do |departments_el_39, departments_i_40|
@@ -104,13 +69,9 @@ module Kumi::Compiled::KUMI_849092b69396f8ec3e0f0deef2a98c2ace6d934d94bac9cc887b
     out
   end
 
-  def _department_summary(input = @input)
+  def self._department_summary(input)
     out = []
     t47 = input["departments"] || input[:departments]
-    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
@@ -122,13 +83,13 @@ module Kumi::Compiled::KUMI_849092b69396f8ec3e0f0deef2a98c2ace6d934d94bac9cc887b
         t62 = t60["salary"] || t60[:salary]
         acc58 += t62
         t70 = t60["role"] || t60[:role]
-        t72 = t70 == t71
-        t75 = t72 ? t73 : t74
+        t72 = t70 == "manager"
+        t75 = t72 ? 1 : 0
         acc66 += t75
         acc92 ||= t62
         acc92 = t62 if t62 > acc92
-        t85 = t70 == t84
-        t88 = t85 ? t73 : t74
+        t85 = t70 == "senior"
+        t88 = t85 ? 1 : 0
         acc79 += t88
       end
       t63 = acc58

data/golden/decimal_explicit/expected/schema_ruby.rb

@@ -1,40 +1,13 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_ae7ebcf0b663c16925a03a4c159b8dc50e8a35bbce4c7e8b4f67104d1072ee5f
-  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 :subtotal then _subtotal
-    when :tax_amount then _tax_amount
-    when :total then _total
-    else raise KeyError, "Unknown declaration"
-    end
-  end
-
-  def _subtotal(input = @input)
+module Kumi::Compiled::KUMI_06522413a1593058499b2c5334a96d6d790f61bd8cf66dca976bd03e097a65bd
+  def self._subtotal(input)
     t14 = input["unit_price"] || input[:unit_price]
     t15 = t14.is_a?(BigDecimal) ? t14 : BigDecimal(t14.to_s)
     t6 = input["quantity"] || input[:quantity]
     t15 * t6
   end
 
-  def _tax_amount(input = @input)
+  def self._tax_amount(input)
     t19 = input["unit_price"] || input[:unit_price]
     t20 = t19.is_a?(BigDecimal) ? t19 : BigDecimal(t19.to_s)
     t17 = input["quantity"] || input[:quantity]
@@ -44,7 +17,7 @@ module Kumi::Compiled::KUMI_ae7ebcf0b663c16925a03a4c159b8dc50e8a35bbce4c7e8b4f67
     t18 * t22
   end
 
-  def _total(input = @input)
+  def self._total(input)
     t26 = input["unit_price"] || input[:unit_price]
     t27 = t26.is_a?(BigDecimal) ? t26 : BigDecimal(t26.to_s)
     t24 = input["quantity"] || input[:quantity]

data/golden/element_arrays/expected/lir_06_const_prop.txt

@@ -29,11 +29,10 @@
   )
   (Declaration cell_over_limit
     %t17 = load_input "cube" :: array
-    %t24 = const 100 :: integer
     loop cube id=L7 in %t17 as el=%cube_el_18, idx=%cube_i_19
       loop layer id=L8 in %cube_el_18 as el=%layer_el_20, idx=%layer_i_21
         loop row id=L9 in %layer_el_20 as el=%row_el_22, idx=%row_i_23
-          %t25 = call core.gt(%row_el_22, %t24) :: boolean
+          %t25 = call core.gt(%row_el_22, 100) :: boolean
           yield %t25
         end_loop
       end_loop
@@ -41,14 +40,12 @@
   )
   (Declaration cell_sum
     %t26 = load_input "cube" :: array
-    %t56 = const 100 :: integer
-    %t35 = const 0 :: integer
     loop cube id=L10 in %t26 as el=%cube_el_27, idx=%cube_i_28
       loop layer id=L11 in %cube_el_27 as el=%layer_el_29, idx=%layer_i_30
         %acc_31 = decl_acc :: integer
         loop row id=L12 in %layer_el_29 as el=%row_el_32, idx=%row_i_33
-          %t57 = call core.gt(%row_el_32, %t56) :: boolean
-          %t36 = select %t57, %row_el_32, %t35 :: integer
+          %t57 = call core.gt(%row_el_32, 100) :: boolean
+          %t36 = select %t57, %row_el_32, 0 :: integer
           %acc_31 = acc_add agg.sum(%acc_31, %t36) :: integer
         end_loop
         %t37 = acc_load %acc_31 :: integer
@@ -59,16 +56,13 @@
   (Declaration count_over_limit
     %acc_38 = decl_acc :: integer
     %t39 = load_input "cube" :: array
-    %t59 = const 100 :: integer
-    %t49 = const 1 :: integer
-    %t50 = const 0 :: integer
     loop cube id=L13 in %t39 as el=%cube_el_40, idx=%cube_i_41
       %acc_42 = decl_acc :: integer
       loop layer id=L14 in %cube_el_40 as el=%layer_el_43, idx=%layer_i_44
         %acc_45 = decl_acc :: integer
         loop row id=L15 in %layer_el_43 as el=%row_el_46, idx=%row_i_47
-          %t60 = call core.gt(%row_el_46, %t59) :: boolean
-          %t51 = select %t60, %t49, %t50 :: integer
+          %t60 = call core.gt(%row_el_46, 100) :: boolean
+          %t51 = select %t60, 1, 0 :: integer
           %acc_45 = acc_add agg.sum(%acc_45, %t51) :: integer
         end_loop
         %t52 = acc_load %acc_45 :: integer

data/golden/element_arrays/expected/schema_javascript.mjs

@@ -45,13 +45,12 @@ export function _cell(input) {
 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;
+        let t25 = row_el_22 > 100;
         out_2.push(t25);
       });
       out_1.push(out_2);
@@ -64,15 +63,13 @@ export function _cell_over_limit(input) {
 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;
+        let t57 = row_el_32 > 100;
+        let t36 = t57 ? row_el_32 : 0;
         acc_31 += t36;
       });
       out_1.push(acc_31);
@@ -85,16 +82,13 @@ export function _cell_sum(input) {
 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;
+        let t60 = row_el_46 > 100;
+        let t51 = t60 ? 1 : 0;
         acc_45 += t51;
       });
       acc_42 += acc_45;

data/golden/element_arrays/expected/schema_ruby.rb

@@ -1,41 +1,10 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_401fa074a7fd129c705cf2357bd65dfaa8cff4ab7955a9a23d7ec19e8901c532
-  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)
+module Kumi::Compiled::KUMI_500e48e98df9614aa45c8a870517dc72e3e246ab7be3527f5d0ffab1863bc07e
+  def self._cube(input)
     input["cube"] || input[:cube]
   end
 
-  def _layer(input = @input)
+  def self._layer(input)
     out = []
     t2 = input["cube"] || input[:cube]
     t2.each_with_index do |cube_el_3, cube_i_4|
@@ -44,7 +13,7 @@ module Kumi::Compiled::KUMI_401fa074a7fd129c705cf2357bd65dfaa8cff4ab7955a9a23d7e
     out
   end
 
-  def _row(input = @input)
+  def self._row(input)
     out = []
     t5 = input["cube"] || input[:cube]
     t5.each_with_index do |cube_el_6, cube_i_7|
@@ -57,7 +26,7 @@ module Kumi::Compiled::KUMI_401fa074a7fd129c705cf2357bd65dfaa8cff4ab7955a9a23d7e
     out
   end
 
-  def _cell(input = @input)
+  def self._cell(input)
     out = []
     t10 = input["cube"] || input[:cube]
     t10.each_with_index do |cube_el_11, cube_i_12|
@@ -74,16 +43,15 @@ module Kumi::Compiled::KUMI_401fa074a7fd129c705cf2357bd65dfaa8cff4ab7955a9a23d7e
     out
   end
 
-  def _cell_over_limit(input = @input)
+  def self._cell_over_limit(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
+          t25 = row_el_22 > 100
           out_2 << t25
         end
         out_1 << out_2
@@ -93,18 +61,16 @@ module Kumi::Compiled::KUMI_401fa074a7fd129c705cf2357bd65dfaa8cff4ab7955a9a23d7e
     out
   end
 
-  def _cell_sum(input = @input)
+  def self._cell_sum(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
+          t57 = row_el_32 > 100
+          t36 = t57 ? row_el_32 : 0
           acc_31 += t36
         end
         t37 = acc_31
@@ -115,19 +81,16 @@ module Kumi::Compiled::KUMI_401fa074a7fd129c705cf2357bd65dfaa8cff4ab7955a9a23d7e
     out
   end
 
-  def _count_over_limit(input = @input)
+  def self._count_over_limit(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
+          t60 = row_el_46 > 100
+          t51 = t60 ? 1 : 0
           acc_45 += t51
         end
         t52 = acc_45

data/golden/empty_and_null_inputs/expected/schema_ruby.rb

@@ -1,33 +1,6 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_80c4084bbdeb901911f5e3b0a931bdf8170ef074f23c693b9d337c8dd60f818d
-  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 :regional_sales then _regional_sales
-    when :total_sales then _total_sales
-    when :adjusted_total then _adjusted_total
-    else raise KeyError, "Unknown declaration"
-    end
-  end
-
-  def _regional_sales(input = @input)
+module Kumi::Compiled::KUMI_66b672a69c6018b50be95fdc43efa0d033f231c6bb754d6681e32f0de68f63b8
+  def self._regional_sales(input)
     out = []
     t1 = input["regions"] || input[:regions]
     t1.each_with_index do |regions_el_2, regions_i_3|
@@ -43,7 +16,7 @@ module Kumi::Compiled::KUMI_80c4084bbdeb901911f5e3b0a931bdf8170ef074f23c693b9d33
     out
   end
 
-  def _total_sales(input = @input)
+  def self._total_sales(input)
     acc_10 = 0
     t11 = input["regions"] || input[:regions]
     t11.each_with_index do |regions_el_12, regions_i_13|
@@ -59,7 +32,7 @@ module Kumi::Compiled::KUMI_80c4084bbdeb901911f5e3b0a931bdf8170ef074f23c693b9d33
     acc_10
   end
 
-  def _adjusted_total(input = @input)
+  def self._adjusted_total(input)
     acc28 = 0
     t29 = input["regions"] || input[:regions]
     t29.each_with_index do |t30, t31|

data/golden/example_xpto/expected/ast.txt

@@ -0,0 +1,23 @@
+(Root
+  inputs: [
+    (InputDeclaration :x :integer)
+  ]
+  values: [
+    (ValueDeclaration :scaled
+      (CallExpression :multiply
+        (InputReference :x)
+        (Literal 10)
+      )
+    )
+    (ValueDeclaration :affine
+      (CallExpression :add
+        (CallExpression :multiply
+          (InputReference :x)
+          (Literal 10)
+        )
+        (Literal 5)
+      )
+    )
+  ]
+  traits: []
+)

data/golden/example_xpto/expected/input_plan.txt

@@ -0,0 +1 @@
+x: integer

data/golden/example_xpto/expected/lir_00_unoptimized.txt

@@ -0,0 +1,16 @@
+(LIR
+  (Declaration scaled
+    %t1 = load_input "x" :: integer
+    %t2 = const 10 :: integer
+    %t3 = call core.mul:numeric(%t1, %t2) :: integer
+    yield %t3
+  )
+  (Declaration affine
+    %t4 = load_input "x" :: integer
+    %t5 = const 10 :: integer
+    %t6 = call core.mul:numeric(%t4, %t5) :: integer
+    %t7 = const 5 :: integer
+    %t8 = call core.add(%t6, %t7) :: integer
+    yield %t8
+  )
+)

data/golden/example_xpto/expected/lir_01_hoist_scalar_references.txt

@@ -0,0 +1,16 @@
+(LIR
+  (Declaration scaled
+    %t1 = load_input "x" :: integer
+    %t2 = const 10 :: integer
+    %t3 = call core.mul:numeric(%t1, %t2) :: integer
+    yield %t3
+  )
+  (Declaration affine
+    %t4 = load_input "x" :: integer
+    %t5 = const 10 :: integer
+    %t6 = call core.mul:numeric(%t4, %t5) :: integer
+    %t7 = const 5 :: integer
+    %t8 = call core.add(%t6, %t7) :: integer
+    yield %t8
+  )
+)

data/golden/example_xpto/expected/lir_02_inlined.txt

@@ -0,0 +1,16 @@
+(LIR
+  (Declaration scaled
+    %t1 = load_input "x" :: integer
+    %t2 = const 10 :: integer
+    %t3 = call core.mul:numeric(%t1, %t2) :: integer
+    yield %t3
+  )
+  (Declaration affine
+    %t4 = load_input "x" :: integer
+    %t5 = const 10 :: integer
+    %t6 = call core.mul:numeric(%t4, %t5) :: integer
+    %t7 = const 5 :: integer
+    %t8 = call core.add(%t6, %t7) :: integer
+    yield %t8
+  )
+)

data/golden/example_xpto/expected/lir_03_cse.txt

@@ -0,0 +1,16 @@
+(LIR
+  (Declaration scaled
+    %t1 = load_input "x" :: integer
+    %t2 = const 10 :: integer
+    %t3 = call core.mul:numeric(%t1, %t2) :: integer
+    yield %t3
+  )
+  (Declaration affine
+    %t4 = load_input "x" :: integer
+    %t5 = const 10 :: integer
+    %t6 = call core.mul:numeric(%t4, %t5) :: integer
+    %t7 = const 5 :: integer
+    %t8 = call core.add(%t6, %t7) :: integer
+    yield %t8
+  )
+)

data/golden/example_xpto/expected/lir_04_1_loop_fusion.txt

@@ -0,0 +1,16 @@
+(LIR
+  (Declaration scaled
+    %t1 = load_input "x" :: integer
+    %t2 = const 10 :: integer
+    %t3 = call core.mul:numeric(%t1, %t2) :: integer
+    yield %t3
+  )
+  (Declaration affine
+    %t4 = load_input "x" :: integer
+    %t5 = const 10 :: integer
+    %t6 = call core.mul:numeric(%t4, %t5) :: integer
+    %t7 = const 5 :: integer
+    %t8 = call core.add(%t6, %t7) :: integer
+    yield %t8
+  )
+)

data/golden/example_xpto/expected/lir_04_loop_invcm.txt

@@ -0,0 +1,16 @@
+(LIR
+  (Declaration scaled
+    %t1 = load_input "x" :: integer
+    %t2 = const 10 :: integer
+    %t3 = call core.mul:numeric(%t1, %t2) :: integer
+    yield %t3
+  )
+  (Declaration affine
+    %t4 = load_input "x" :: integer
+    %t5 = const 10 :: integer
+    %t6 = call core.mul:numeric(%t4, %t5) :: integer
+    %t7 = const 5 :: integer
+    %t8 = call core.add(%t6, %t7) :: integer
+    yield %t8
+  )
+)

data/golden/example_xpto/expected/lir_06_const_prop.txt

@@ -0,0 +1,13 @@
+(LIR
+  (Declaration scaled
+    %t1 = load_input "x" :: integer
+    %t3 = call core.mul:numeric(%t1, 10) :: integer
+    yield %t3
+  )
+  (Declaration affine
+    %t4 = load_input "x" :: integer
+    %t6 = call core.mul:numeric(%t4, 10) :: integer
+    %t8 = call core.add(%t6, 5) :: integer
+    yield %t8
+  )
+)

data/golden/example_xpto/expected/nast.txt

@@ -0,0 +1,17 @@
+(NAST
+  (VALUE scaled
+    (Call :multiply
+    (InputRef [:x])
+    (Const 10)
+  )
+  )
+  (VALUE affine
+    (Call :add
+    (Call :multiply
+      (InputRef [:x])
+      (Const 10)
+    )
+    (Const 5)
+  )
+  )
+)

data/golden/example_xpto/expected/schema_javascript.mjs

@@ -0,0 +1,13 @@
+export function _scaled(input) {
+  let t1 = input["x"];
+  let t3 = t1 * 10;
+  return t3;
+}
+
+export function _affine(input) {
+  let t4 = input["x"];
+  let t6 = t4 * 10;
+  let t8 = t6 + 5;
+  return t8;
+}
+

data/golden/example_xpto/expected/schema_ruby.rb

@@ -0,0 +1,13 @@
+# Autogenerated by Kumi Codegen
+module Kumi::Compiled::KUMI_258f33c7f1c2ff232ede3b27da1338b635afb8f3ad97c453028b12f20598d7b6
+  def self._scaled(input)
+    t1 = input["x"] || input[:x]
+    t1 * 10
+  end
+
+  def self._affine(input)
+    t4 = input["x"] || input[:x]
+    t6 = t4 * 10
+    t6 + 5
+  end
+end

data/golden/example_xpto/expected/snast.txt

@@ -0,0 +1,17 @@
+(SNAST
+  (VALUE scaled
+    (Call :core.mul:numeric
+      (InputRef x key_chain=[]) :: [] -> integer
+      (Const 10) :: [] -> integer
+    ) :: [] -> integer
+  ) :: [] -> integer
+  (VALUE affine
+    (Call :core.add
+      (Call :core.mul:numeric
+        (InputRef x key_chain=[]) :: [] -> integer
+        (Const 10) :: [] -> integer
+      ) :: [] -> integer
+      (Const 5) :: [] -> integer
+    ) :: [] -> integer
+  ) :: [] -> integer
+)

data/golden/example_xpto/expected.json

@@ -0,0 +1,4 @@
+{
+  "scaled": 30,
+  "affine": 35
+}

data/golden/example_xpto/input.json

@@ -0,0 +1,3 @@
+{
+  "x": 3
+}