kumi 0.0.26 → 0.0.28

data/golden/array_element/expected/schema_ruby.rb

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

data/golden/array_index/expected/lir_00_unoptimized.txt

@@ -11,7 +11,7 @@
     loop x id=L2 in %t5 as el=%x_el_6, idx=%x_i_7
       loop y id=L3 in %x_el_6 as el=%y_el_8, idx=%y_i_9
         %t10 = load_decl W axes=[x] :: integer
-        %t11 = call core.mul(%x_i_7, %t10) :: integer
+        %t11 = call core.mul:numeric(%x_i_7, %t10) :: integer
         %t12 = call core.add(%t11, %y_i_9) :: integer
         yield %t12
       end_loop
@@ -23,7 +23,7 @@
       loop y id=L5 in %x_el_14 as el=%y_el_16, idx=%y_i_17
         %t18 = load_input "x" :: array
         %t19 = call core.array_size(%t18) :: integer
-        %t20 = call core.mul(%y_i_17, %t19) :: integer
+        %t20 = call core.mul:numeric(%y_i_17, %t19) :: integer
         %t21 = call core.add(%t20, %x_i_15) :: integer
         yield %t21
       end_loop

data/golden/array_index/expected/lir_01_hoist_scalar_references.txt

@@ -11,7 +11,7 @@
     loop x id=L2 in %t5 as el=%x_el_6, idx=%x_i_7
       loop y id=L3 in %x_el_6 as el=%y_el_8, idx=%y_i_9
         %t10 = load_decl W axes=[x] :: integer
-        %t11 = call core.mul(%x_i_7, %t10) :: integer
+        %t11 = call core.mul:numeric(%x_i_7, %t10) :: integer
         %t12 = call core.add(%t11, %y_i_9) :: integer
         yield %t12
       end_loop
@@ -23,7 +23,7 @@
       loop y id=L5 in %x_el_14 as el=%y_el_16, idx=%y_i_17
         %t18 = load_input "x" :: array
         %t19 = call core.array_size(%t18) :: integer
-        %t20 = call core.mul(%y_i_17, %t19) :: integer
+        %t20 = call core.mul:numeric(%y_i_17, %t19) :: integer
         %t21 = call core.add(%t20, %x_i_15) :: integer
         yield %t21
       end_loop

data/golden/array_index/expected/lir_02_inlined.txt

@@ -12,7 +12,7 @@
       %t28 = load_input "x" :: array
       %t29 = call core.array_size(%x_el_6) :: integer
       loop y id=L3 in %x_el_6 as el=%y_el_8, idx=%y_i_9
-        %t11 = call core.mul(%x_i_7, %t29) :: integer
+        %t11 = call core.mul:numeric(%x_i_7, %t29) :: integer
         %t12 = call core.add(%t11, %y_i_9) :: integer
         yield %t12
       end_loop
@@ -24,7 +24,7 @@
       loop y id=L5 in %x_el_14 as el=%y_el_16, idx=%y_i_17
         %t18 = load_input "x" :: array
         %t19 = call core.array_size(%t18) :: integer
-        %t20 = call core.mul(%y_i_17, %t19) :: integer
+        %t20 = call core.mul:numeric(%y_i_17, %t19) :: integer
         %t21 = call core.add(%t20, %x_i_15) :: integer
         yield %t21
       end_loop

data/golden/array_index/expected/lir_03_cse.txt

@@ -11,7 +11,7 @@
     loop x id=L2 in %t5 as el=%x_el_6, idx=%x_i_7
       %t29 = call core.array_size(%x_el_6) :: integer
       loop y id=L3 in %x_el_6 as el=%y_el_8, idx=%y_i_9
-        %t11 = call core.mul(%x_i_7, %t29) :: integer
+        %t11 = call core.mul:numeric(%x_i_7, %t29) :: integer
         %t12 = call core.add(%t11, %y_i_9) :: integer
         yield %t12
       end_loop
@@ -22,7 +22,7 @@
     loop x id=L4 in %t13 as el=%x_el_14, idx=%x_i_15
       loop y id=L5 in %x_el_14 as el=%y_el_16, idx=%y_i_17
         %t19 = call core.array_size(%t13) :: integer
-        %t20 = call core.mul(%y_i_17, %t19) :: integer
+        %t20 = call core.mul:numeric(%y_i_17, %t19) :: integer
         %t21 = call core.add(%t20, %x_i_15) :: integer
         yield %t21
       end_loop

data/golden/array_index/expected/lir_04_1_loop_fusion.txt

@@ -11,7 +11,7 @@
     loop x id=L2 in %t5 as el=%x_el_6, idx=%x_i_7
       %t29 = call core.array_size(%x_el_6) :: integer
       loop y id=L3 in %x_el_6 as el=%y_el_8, idx=%y_i_9
-        %t11 = call core.mul(%x_i_7, %t29) :: integer
+        %t11 = call core.mul:numeric(%x_i_7, %t29) :: integer
         %t12 = call core.add(%t11, %y_i_9) :: integer
         yield %t12
       end_loop
@@ -22,7 +22,7 @@
     loop x id=L4 in %t13 as el=%x_el_14, idx=%x_i_15
       loop y id=L5 in %x_el_14 as el=%y_el_16, idx=%y_i_17
         %t19 = call core.array_size(%t13) :: integer
-        %t20 = call core.mul(%y_i_17, %t19) :: integer
+        %t20 = call core.mul:numeric(%y_i_17, %t19) :: integer
         %t21 = call core.add(%t20, %x_i_15) :: integer
         yield %t21
       end_loop

data/golden/array_index/expected/lir_04_loop_invcm.txt

@@ -10,7 +10,7 @@
     %t5 = load_input "x" :: array
     loop x id=L2 in %t5 as el=%x_el_6, idx=%x_i_7
       %t29 = call core.array_size(%x_el_6) :: integer
-      %t11 = call core.mul(%x_i_7, %t29) :: integer
+      %t11 = call core.mul:numeric(%x_i_7, %t29) :: integer
       loop y id=L3 in %x_el_6 as el=%y_el_8, idx=%y_i_9
         %t12 = call core.add(%t11, %y_i_9) :: integer
         yield %t12
@@ -22,7 +22,7 @@
     %t19 = call core.array_size(%t13) :: integer
     loop x id=L4 in %t13 as el=%x_el_14, idx=%x_i_15
       loop y id=L5 in %x_el_14 as el=%y_el_16, idx=%y_i_17
-        %t20 = call core.mul(%y_i_17, %t19) :: integer
+        %t20 = call core.mul:numeric(%y_i_17, %t19) :: integer
         %t21 = call core.add(%t20, %x_i_15) :: integer
         yield %t21
       end_loop

data/golden/array_index/expected/lir_06_const_prop.txt

@@ -10,7 +10,7 @@
     %t5 = load_input "x" :: array
     loop x id=L2 in %t5 as el=%x_el_6, idx=%x_i_7
       %t29 = call core.array_size(%x_el_6) :: integer
-      %t11 = call core.mul(%x_i_7, %t29) :: integer
+      %t11 = call core.mul:numeric(%x_i_7, %t29) :: integer
       loop y id=L3 in %x_el_6 as el=%y_el_8, idx=%y_i_9
         %t12 = call core.add(%t11, %y_i_9) :: integer
         yield %t12
@@ -22,7 +22,7 @@
     %t19 = call core.array_size(%t13) :: integer
     loop x id=L4 in %t13 as el=%x_el_14, idx=%x_i_15
       loop y id=L5 in %x_el_14 as el=%y_el_16, idx=%y_i_17
-        %t20 = call core.mul(%y_i_17, %t19) :: integer
+        %t20 = call core.mul:numeric(%y_i_17, %t19) :: integer
         %t21 = call core.add(%t20, %x_i_15) :: integer
         yield %t21
       end_loop

data/golden/array_index/expected/schema_ruby.rb

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

data/golden/array_index/expected/snast.txt

@@ -6,7 +6,7 @@
   ) :: [x] -> integer
   (VALUE box
     (Call :core.add
-      (Call :core.mul
+      (Call :core.mul:numeric
         (IndexRef i input=x.__index(i)) :: [x] -> integer
         (Ref W) :: [x] -> integer
       ) :: [x] -> integer
@@ -15,7 +15,7 @@
   ) :: [x, y] -> integer
   (VALUE col_major
     (Call :core.add
-      (Call :core.mul
+      (Call :core.mul:numeric
         (IndexRef j input=x.y.__index(j)) :: [x, y] -> integer
         (Call :core.array_size
           (InputRef x key_chain=[]) :: [] -> array

data/golden/array_operations/expected/lir_00_unoptimized.txt

@@ -4,7 +4,7 @@
     loop items id=L1 in %t1 as el=%items_el_2, idx=%items_i_3
       %t4 = load_field items_el_2["price"] :: float
       %t5 = load_field items_el_2["quantity"] :: integer
-      %t6 = call core.mul(%t4, %t5) :: float
+      %t6 = call core.mul:numeric(%t4, %t5) :: float
       yield %t6
     end_loop
   )
@@ -13,7 +13,7 @@
     loop items id=L2 in %t7 as el=%items_el_8, idx=%items_i_9
       %t10 = load_field items_el_8["price"] :: float
       %t11 = const 0.9 :: float
-      %t12 = call core.mul(%t10, %t11) :: float
+      %t12 = call core.mul:numeric(%t10, %t11) :: float
       yield %t12
     end_loop
   )

data/golden/array_operations/expected/lir_01_hoist_scalar_references.txt

@@ -4,7 +4,7 @@
     loop items id=L1 in %t1 as el=%items_el_2, idx=%items_i_3
       %t4 = load_field items_el_2["price"] :: float
       %t5 = load_field items_el_2["quantity"] :: integer
-      %t6 = call core.mul(%t4, %t5) :: float
+      %t6 = call core.mul:numeric(%t4, %t5) :: float
       yield %t6
     end_loop
   )
@@ -13,7 +13,7 @@
     loop items id=L2 in %t7 as el=%items_el_8, idx=%items_i_9
       %t10 = load_field items_el_8["price"] :: float
       %t11 = const 0.9 :: float
-      %t12 = call core.mul(%t10, %t11) :: float
+      %t12 = call core.mul:numeric(%t10, %t11) :: float
       yield %t12
     end_loop
   )

data/golden/array_operations/expected/lir_02_inlined.txt

@@ -4,7 +4,7 @@
     loop items id=L1 in %t1 as el=%items_el_2, idx=%items_i_3
       %t4 = load_field items_el_2["price"] :: float
       %t5 = load_field items_el_2["quantity"] :: integer
-      %t6 = call core.mul(%t4, %t5) :: float
+      %t6 = call core.mul:numeric(%t4, %t5) :: float
       yield %t6
     end_loop
   )
@@ -13,7 +13,7 @@
     loop items id=L2 in %t7 as el=%items_el_8, idx=%items_i_9
       %t10 = load_field items_el_8["price"] :: float
       %t11 = const 0.9 :: float
-      %t12 = call core.mul(%t10, %t11) :: float
+      %t12 = call core.mul:numeric(%t10, %t11) :: float
       yield %t12
     end_loop
   )

data/golden/array_operations/expected/lir_03_cse.txt

@@ -4,7 +4,7 @@
     loop items id=L1 in %t1 as el=%items_el_2, idx=%items_i_3
       %t4 = load_field items_el_2["price"] :: float
       %t5 = load_field items_el_2["quantity"] :: integer
-      %t6 = call core.mul(%t4, %t5) :: float
+      %t6 = call core.mul:numeric(%t4, %t5) :: float
       yield %t6
     end_loop
   )
@@ -13,7 +13,7 @@
     loop items id=L2 in %t7 as el=%items_el_8, idx=%items_i_9
       %t10 = load_field items_el_8["price"] :: float
       %t11 = const 0.9 :: float
-      %t12 = call core.mul(%t10, %t11) :: float
+      %t12 = call core.mul:numeric(%t10, %t11) :: float
       yield %t12
     end_loop
   )

data/golden/array_operations/expected/lir_04_1_loop_fusion.txt

@@ -4,7 +4,7 @@
     loop items id=L1 in %t1 as el=%items_el_2, idx=%items_i_3
       %t4 = load_field items_el_2["price"] :: float
       %t5 = load_field items_el_2["quantity"] :: integer
-      %t6 = call core.mul(%t4, %t5) :: float
+      %t6 = call core.mul:numeric(%t4, %t5) :: float
       yield %t6
     end_loop
   )
@@ -13,7 +13,7 @@
     loop items id=L2 in %t7 as el=%items_el_8, idx=%items_i_9
       %t10 = load_field items_el_8["price"] :: float
       %t11 = const 0.9 :: float
-      %t12 = call core.mul(%t10, %t11) :: float
+      %t12 = call core.mul:numeric(%t10, %t11) :: float
       yield %t12
     end_loop
   )

data/golden/array_operations/expected/lir_04_loop_invcm.txt

@@ -4,7 +4,7 @@
     loop items id=L1 in %t1 as el=%items_el_2, idx=%items_i_3
       %t4 = load_field items_el_2["price"] :: float
       %t5 = load_field items_el_2["quantity"] :: integer
-      %t6 = call core.mul(%t4, %t5) :: float
+      %t6 = call core.mul:numeric(%t4, %t5) :: float
       yield %t6
     end_loop
   )
@@ -13,7 +13,7 @@
     %t11 = const 0.9 :: float
     loop items id=L2 in %t7 as el=%items_el_8, idx=%items_i_9
       %t10 = load_field items_el_8["price"] :: float
-      %t12 = call core.mul(%t10, %t11) :: float
+      %t12 = call core.mul:numeric(%t10, %t11) :: float
       yield %t12
     end_loop
   )

data/golden/array_operations/expected/lir_06_const_prop.txt

@@ -4,7 +4,7 @@
     loop items id=L1 in %t1 as el=%items_el_2, idx=%items_i_3
       %t4 = load_field items_el_2["price"] :: float
       %t5 = load_field items_el_2["quantity"] :: integer
-      %t6 = call core.mul(%t4, %t5) :: float
+      %t6 = call core.mul:numeric(%t4, %t5) :: float
       yield %t6
     end_loop
   )
@@ -13,7 +13,7 @@
     %t11 = const 0.9 :: float
     loop items id=L2 in %t7 as el=%items_el_8, idx=%items_i_9
       %t10 = load_field items_el_8["price"] :: float
-      %t12 = call core.mul(%t10, %t11) :: float
+      %t12 = call core.mul:numeric(%t10, %t11) :: float
       yield %t12
     end_loop
   )

data/golden/array_operations/expected/schema_ruby.rb

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

data/golden/array_operations/expected/snast.txt

@@ -1,12 +1,12 @@
 (SNAST
   (VALUE subtotals
-    (Call :core.mul
+    (Call :core.mul:numeric
       (InputRef items.item.price key_chain=[]) :: [items] -> float
       (InputRef items.item.quantity key_chain=[]) :: [items] -> integer
     ) :: [items] -> float
   ) :: [items] -> float
   (VALUE discounted_price
-    (Call :core.mul
+    (Call :core.mul:numeric
       (InputRef items.item.price key_chain=[]) :: [items] -> float
       (Const 0.9) :: [] -> float
     ) :: [items] -> float

data/golden/cascade_logic/expected/schema_ruby.rb

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

data/golden/chained_fusion/expected/schema_ruby.rb

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

data/golden/decimal_explicit/expected/ast.txt

@@ -0,0 +1,38 @@
+(Root
+  inputs: [
+    (InputDeclaration :unit_price :string)
+    (InputDeclaration :quantity :integer)
+    (InputDeclaration :tax_rate :string)
+  ]
+  values: [
+    (ValueDeclaration :price
+      (CallExpression :to_decimal
+        (InputReference :unit_price)
+      )
+    )
+    (ValueDeclaration :rate
+      (CallExpression :to_decimal
+        (InputReference :tax_rate)
+      )
+    )
+    (ValueDeclaration :subtotal
+      (CallExpression :multiply
+        (DeclarationReference :price)
+        (InputReference :quantity)
+      )
+    )
+    (ValueDeclaration :tax_amount
+      (CallExpression :multiply
+        (DeclarationReference :subtotal)
+        (DeclarationReference :rate)
+      )
+    )
+    (ValueDeclaration :total
+      (CallExpression :add
+        (DeclarationReference :subtotal)
+        (DeclarationReference :tax_amount)
+      )
+    )
+  ]
+  traits: []
+)

data/golden/decimal_explicit/expected/input_plan.txt

@@ -0,0 +1,3 @@
+unit_price: string
+quantity: integer
+tax_rate: string

data/golden/decimal_explicit/expected/lir_00_unoptimized.txt

@@ -0,0 +1,30 @@
+(LIR
+  (Declaration price
+    %t1 = load_input "unit_price" :: string
+    %t2 = call core.to_decimal(%t1) :: decimal
+    yield %t2
+  )
+  (Declaration rate
+    %t3 = load_input "tax_rate" :: string
+    %t4 = call core.to_decimal(%t3) :: decimal
+    yield %t4
+  )
+  (Declaration subtotal
+    %t5 = load_decl price :: decimal
+    %t6 = load_input "quantity" :: integer
+    %t7 = call core.mul:numeric(%t5, %t6) :: integer
+    yield %t7
+  )
+  (Declaration tax_amount
+    %t8 = load_decl subtotal :: integer
+    %t9 = load_decl rate :: decimal
+    %t10 = call core.mul:numeric(%t8, %t9) :: integer
+    yield %t10
+  )
+  (Declaration total
+    %t11 = load_decl subtotal :: integer
+    %t12 = load_decl tax_amount :: integer
+    %t13 = call core.add(%t11, %t12) :: integer
+    yield %t13
+  )
+)

data/golden/decimal_explicit/expected/lir_01_hoist_scalar_references.txt

@@ -0,0 +1,30 @@
+(LIR
+  (Declaration price
+    %t1 = load_input "unit_price" :: string
+    %t2 = call core.to_decimal(%t1) :: decimal
+    yield %t2
+  )
+  (Declaration rate
+    %t3 = load_input "tax_rate" :: string
+    %t4 = call core.to_decimal(%t3) :: decimal
+    yield %t4
+  )
+  (Declaration subtotal
+    %t5 = load_decl price :: decimal
+    %t6 = load_input "quantity" :: integer
+    %t7 = call core.mul:numeric(%t5, %t6) :: integer
+    yield %t7
+  )
+  (Declaration tax_amount
+    %t8 = load_decl subtotal :: integer
+    %t9 = load_decl rate :: decimal
+    %t10 = call core.mul:numeric(%t8, %t9) :: integer
+    yield %t10
+  )
+  (Declaration total
+    %t11 = load_decl subtotal :: integer
+    %t12 = load_decl tax_amount :: integer
+    %t13 = call core.add(%t11, %t12) :: integer
+    yield %t13
+  )
+)

data/golden/decimal_explicit/expected/lir_02_inlined.txt

@@ -0,0 +1,44 @@
+(LIR
+  (Declaration price
+    %t1 = load_input "unit_price" :: string
+    %t2 = call core.to_decimal(%t1) :: decimal
+    yield %t2
+  )
+  (Declaration rate
+    %t3 = load_input "tax_rate" :: string
+    %t4 = call core.to_decimal(%t3) :: decimal
+    yield %t4
+  )
+  (Declaration subtotal
+    %t14 = load_input "unit_price" :: string
+    %t15 = call core.to_decimal(%t14) :: decimal
+    %t6 = load_input "quantity" :: integer
+    %t7 = call core.mul:numeric(%t15, %t6) :: integer
+    yield %t7
+  )
+  (Declaration tax_amount
+    %t19 = load_input "unit_price" :: string
+    %t20 = call core.to_decimal(%t19) :: decimal
+    %t17 = load_input "quantity" :: integer
+    %t18 = call core.mul:numeric(%t20, %t17) :: integer
+    %t21 = load_input "tax_rate" :: string
+    %t22 = call core.to_decimal(%t21) :: decimal
+    %t10 = call core.mul:numeric(%t18, %t22) :: integer
+    yield %t10
+  )
+  (Declaration total
+    %t26 = load_input "unit_price" :: string
+    %t27 = call core.to_decimal(%t26) :: decimal
+    %t24 = load_input "quantity" :: integer
+    %t25 = call core.mul:numeric(%t27, %t24) :: integer
+    %t34 = load_input "unit_price" :: string
+    %t35 = call core.to_decimal(%t34) :: decimal
+    %t32 = load_input "quantity" :: integer
+    %t33 = call core.mul:numeric(%t35, %t32) :: integer
+    %t36 = load_input "tax_rate" :: string
+    %t37 = call core.to_decimal(%t36) :: decimal
+    %t30 = call core.mul:numeric(%t33, %t37) :: integer
+    %t13 = call core.add(%t25, %t30) :: integer
+    yield %t13
+  )
+)

data/golden/decimal_explicit/expected/lir_03_cse.txt

@@ -0,0 +1,40 @@
+(LIR
+  (Declaration price
+    %t1 = load_input "unit_price" :: string
+    %t2 = call core.to_decimal(%t1) :: decimal
+    yield %t2
+  )
+  (Declaration rate
+    %t3 = load_input "tax_rate" :: string
+    %t4 = call core.to_decimal(%t3) :: decimal
+    yield %t4
+  )
+  (Declaration subtotal
+    %t14 = load_input "unit_price" :: string
+    %t15 = call core.to_decimal(%t14) :: decimal
+    %t6 = load_input "quantity" :: integer
+    %t7 = call core.mul:numeric(%t15, %t6) :: integer
+    yield %t7
+  )
+  (Declaration tax_amount
+    %t19 = load_input "unit_price" :: string
+    %t20 = call core.to_decimal(%t19) :: decimal
+    %t17 = load_input "quantity" :: integer
+    %t18 = call core.mul:numeric(%t20, %t17) :: integer
+    %t21 = load_input "tax_rate" :: string
+    %t22 = call core.to_decimal(%t21) :: decimal
+    %t10 = call core.mul:numeric(%t18, %t22) :: integer
+    yield %t10
+  )
+  (Declaration total
+    %t26 = load_input "unit_price" :: string
+    %t27 = call core.to_decimal(%t26) :: decimal
+    %t24 = load_input "quantity" :: integer
+    %t25 = call core.mul:numeric(%t27, %t24) :: integer
+    %t36 = load_input "tax_rate" :: string
+    %t37 = call core.to_decimal(%t36) :: decimal
+    %t30 = call core.mul:numeric(%t25, %t37) :: integer
+    %t13 = call core.add(%t25, %t30) :: integer
+    yield %t13
+  )
+)

data/golden/decimal_explicit/expected/lir_04_1_loop_fusion.txt

@@ -0,0 +1,40 @@
+(LIR
+  (Declaration price
+    %t1 = load_input "unit_price" :: string
+    %t2 = call core.to_decimal(%t1) :: decimal
+    yield %t2
+  )
+  (Declaration rate
+    %t3 = load_input "tax_rate" :: string
+    %t4 = call core.to_decimal(%t3) :: decimal
+    yield %t4
+  )
+  (Declaration subtotal
+    %t14 = load_input "unit_price" :: string
+    %t15 = call core.to_decimal(%t14) :: decimal
+    %t6 = load_input "quantity" :: integer
+    %t7 = call core.mul:numeric(%t15, %t6) :: integer
+    yield %t7
+  )
+  (Declaration tax_amount
+    %t19 = load_input "unit_price" :: string
+    %t20 = call core.to_decimal(%t19) :: decimal
+    %t17 = load_input "quantity" :: integer
+    %t18 = call core.mul:numeric(%t20, %t17) :: integer
+    %t21 = load_input "tax_rate" :: string
+    %t22 = call core.to_decimal(%t21) :: decimal
+    %t10 = call core.mul:numeric(%t18, %t22) :: integer
+    yield %t10
+  )
+  (Declaration total
+    %t26 = load_input "unit_price" :: string
+    %t27 = call core.to_decimal(%t26) :: decimal
+    %t24 = load_input "quantity" :: integer
+    %t25 = call core.mul:numeric(%t27, %t24) :: integer
+    %t36 = load_input "tax_rate" :: string
+    %t37 = call core.to_decimal(%t36) :: decimal
+    %t30 = call core.mul:numeric(%t25, %t37) :: integer
+    %t13 = call core.add(%t25, %t30) :: integer
+    yield %t13
+  )
+)

data/golden/decimal_explicit/expected/lir_04_loop_invcm.txt

@@ -0,0 +1,40 @@
+(LIR
+  (Declaration price
+    %t1 = load_input "unit_price" :: string
+    %t2 = call core.to_decimal(%t1) :: decimal
+    yield %t2
+  )
+  (Declaration rate
+    %t3 = load_input "tax_rate" :: string
+    %t4 = call core.to_decimal(%t3) :: decimal
+    yield %t4
+  )
+  (Declaration subtotal
+    %t14 = load_input "unit_price" :: string
+    %t15 = call core.to_decimal(%t14) :: decimal
+    %t6 = load_input "quantity" :: integer
+    %t7 = call core.mul:numeric(%t15, %t6) :: integer
+    yield %t7
+  )
+  (Declaration tax_amount
+    %t19 = load_input "unit_price" :: string
+    %t20 = call core.to_decimal(%t19) :: decimal
+    %t17 = load_input "quantity" :: integer
+    %t18 = call core.mul:numeric(%t20, %t17) :: integer
+    %t21 = load_input "tax_rate" :: string
+    %t22 = call core.to_decimal(%t21) :: decimal
+    %t10 = call core.mul:numeric(%t18, %t22) :: integer
+    yield %t10
+  )
+  (Declaration total
+    %t26 = load_input "unit_price" :: string
+    %t27 = call core.to_decimal(%t26) :: decimal
+    %t24 = load_input "quantity" :: integer
+    %t25 = call core.mul:numeric(%t27, %t24) :: integer
+    %t36 = load_input "tax_rate" :: string
+    %t37 = call core.to_decimal(%t36) :: decimal
+    %t30 = call core.mul:numeric(%t25, %t37) :: integer
+    %t13 = call core.add(%t25, %t30) :: integer
+    yield %t13
+  )
+)

data/golden/decimal_explicit/expected/lir_06_const_prop.txt

@@ -0,0 +1,40 @@
+(LIR
+  (Declaration price
+    %t1 = load_input "unit_price" :: string
+    %t2 = call core.to_decimal(%t1) :: decimal
+    yield %t2
+  )
+  (Declaration rate
+    %t3 = load_input "tax_rate" :: string
+    %t4 = call core.to_decimal(%t3) :: decimal
+    yield %t4
+  )
+  (Declaration subtotal
+    %t14 = load_input "unit_price" :: string
+    %t15 = call core.to_decimal(%t14) :: decimal
+    %t6 = load_input "quantity" :: integer
+    %t7 = call core.mul:numeric(%t15, %t6) :: integer
+    yield %t7
+  )
+  (Declaration tax_amount
+    %t19 = load_input "unit_price" :: string
+    %t20 = call core.to_decimal(%t19) :: decimal
+    %t17 = load_input "quantity" :: integer
+    %t18 = call core.mul:numeric(%t20, %t17) :: integer
+    %t21 = load_input "tax_rate" :: string
+    %t22 = call core.to_decimal(%t21) :: decimal
+    %t10 = call core.mul:numeric(%t18, %t22) :: integer
+    yield %t10
+  )
+  (Declaration total
+    %t26 = load_input "unit_price" :: string
+    %t27 = call core.to_decimal(%t26) :: decimal
+    %t24 = load_input "quantity" :: integer
+    %t25 = call core.mul:numeric(%t27, %t24) :: integer
+    %t36 = load_input "tax_rate" :: string
+    %t37 = call core.to_decimal(%t36) :: decimal
+    %t30 = call core.mul:numeric(%t25, %t37) :: integer
+    %t13 = call core.add(%t25, %t30) :: integer
+    yield %t13
+  )
+)