kumi 0.0.27 → 0.0.28

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (137) hide show
  1. checksums.yaml +4 -4
  2. data/CHANGELOG.md +10 -0
  3. data/README.md +24 -9
  4. data/data/functions/core/arithmetic.yaml +28 -8
  5. data/data/functions/core/boolean.yaml +8 -3
  6. data/data/functions/core/comparison.yaml +12 -4
  7. data/data/kernels/javascript/core/arithmetic.yaml +6 -2
  8. data/data/kernels/ruby/core/arithmetic.yaml +7 -2
  9. data/golden/array_element/expected/schema_ruby.rb +1 -1
  10. data/golden/array_index/expected/lir_00_unoptimized.txt +2 -2
  11. data/golden/array_index/expected/lir_01_hoist_scalar_references.txt +2 -2
  12. data/golden/array_index/expected/lir_02_inlined.txt +2 -2
  13. data/golden/array_index/expected/lir_03_cse.txt +2 -2
  14. data/golden/array_index/expected/lir_04_1_loop_fusion.txt +2 -2
  15. data/golden/array_index/expected/lir_04_loop_invcm.txt +2 -2
  16. data/golden/array_index/expected/lir_06_const_prop.txt +2 -2
  17. data/golden/array_index/expected/schema_ruby.rb +1 -1
  18. data/golden/array_index/expected/snast.txt +2 -2
  19. data/golden/array_operations/expected/lir_00_unoptimized.txt +2 -2
  20. data/golden/array_operations/expected/lir_01_hoist_scalar_references.txt +2 -2
  21. data/golden/array_operations/expected/lir_02_inlined.txt +2 -2
  22. data/golden/array_operations/expected/lir_03_cse.txt +2 -2
  23. data/golden/array_operations/expected/lir_04_1_loop_fusion.txt +2 -2
  24. data/golden/array_operations/expected/lir_04_loop_invcm.txt +2 -2
  25. data/golden/array_operations/expected/lir_06_const_prop.txt +2 -2
  26. data/golden/array_operations/expected/schema_ruby.rb +1 -1
  27. data/golden/array_operations/expected/snast.txt +2 -2
  28. data/golden/cascade_logic/expected/schema_ruby.rb +1 -1
  29. data/golden/chained_fusion/expected/schema_ruby.rb +1 -1
  30. data/golden/decimal_explicit/expected/lir_00_unoptimized.txt +2 -2
  31. data/golden/decimal_explicit/expected/lir_01_hoist_scalar_references.txt +2 -2
  32. data/golden/decimal_explicit/expected/lir_02_inlined.txt +6 -6
  33. data/golden/decimal_explicit/expected/lir_03_cse.txt +5 -5
  34. data/golden/decimal_explicit/expected/lir_04_1_loop_fusion.txt +5 -5
  35. data/golden/decimal_explicit/expected/lir_04_loop_invcm.txt +5 -5
  36. data/golden/decimal_explicit/expected/lir_06_const_prop.txt +5 -5
  37. data/golden/decimal_explicit/expected/schema_ruby.rb +1 -1
  38. data/golden/decimal_explicit/expected/snast.txt +2 -2
  39. data/golden/element_arrays/expected/schema_ruby.rb +1 -1
  40. data/golden/empty_and_null_inputs/expected/schema_ruby.rb +1 -1
  41. data/golden/function_overload/expected/schema_ruby.rb +1 -1
  42. data/golden/game_of_life/expected/schema_ruby.rb +1 -1
  43. data/golden/hash_keys/expected/schema_ruby.rb +1 -1
  44. data/golden/hash_value/expected/schema_ruby.rb +1 -1
  45. data/golden/hierarchical_complex/expected/lir_00_unoptimized.txt +3 -3
  46. data/golden/hierarchical_complex/expected/lir_01_hoist_scalar_references.txt +3 -3
  47. data/golden/hierarchical_complex/expected/lir_02_inlined.txt +3 -3
  48. data/golden/hierarchical_complex/expected/lir_03_cse.txt +3 -3
  49. data/golden/hierarchical_complex/expected/lir_04_1_loop_fusion.txt +3 -3
  50. data/golden/hierarchical_complex/expected/lir_04_loop_invcm.txt +3 -3
  51. data/golden/hierarchical_complex/expected/lir_06_const_prop.txt +3 -3
  52. data/golden/hierarchical_complex/expected/schema_ruby.rb +1 -1
  53. data/golden/hierarchical_complex/expected/snast.txt +3 -3
  54. data/golden/inline_rename_scope_leak/expected/schema_ruby.rb +1 -1
  55. data/golden/input_reference/expected/schema_ruby.rb +1 -1
  56. data/golden/interleaved_fusion/expected/lir_00_unoptimized.txt +1 -1
  57. data/golden/interleaved_fusion/expected/lir_01_hoist_scalar_references.txt +1 -1
  58. data/golden/interleaved_fusion/expected/lir_02_inlined.txt +2 -2
  59. data/golden/interleaved_fusion/expected/lir_03_cse.txt +2 -2
  60. data/golden/interleaved_fusion/expected/lir_04_1_loop_fusion.txt +2 -2
  61. data/golden/interleaved_fusion/expected/lir_04_loop_invcm.txt +2 -2
  62. data/golden/interleaved_fusion/expected/lir_06_const_prop.txt +2 -2
  63. data/golden/interleaved_fusion/expected/schema_ruby.rb +1 -1
  64. data/golden/interleaved_fusion/expected/snast.txt +1 -1
  65. data/golden/let_inline/expected/lir_00_unoptimized.txt +2 -2
  66. data/golden/let_inline/expected/lir_01_hoist_scalar_references.txt +2 -2
  67. data/golden/let_inline/expected/lir_02_inlined.txt +6 -6
  68. data/golden/let_inline/expected/lir_03_cse.txt +6 -6
  69. data/golden/let_inline/expected/lir_04_1_loop_fusion.txt +6 -6
  70. data/golden/let_inline/expected/lir_04_loop_invcm.txt +6 -6
  71. data/golden/let_inline/expected/lir_06_const_prop.txt +6 -6
  72. data/golden/let_inline/expected/schema_ruby.rb +1 -1
  73. data/golden/let_inline/expected/snast.txt +2 -2
  74. data/golden/loop_fusion/expected/schema_ruby.rb +1 -1
  75. data/golden/min_reduce_scope/expected/schema_ruby.rb +1 -1
  76. data/golden/mixed_dimensions/expected/schema_ruby.rb +1 -1
  77. data/golden/multirank_hoisting/expected/lir_00_unoptimized.txt +2 -2
  78. data/golden/multirank_hoisting/expected/lir_01_hoist_scalar_references.txt +2 -2
  79. data/golden/multirank_hoisting/expected/lir_02_inlined.txt +7 -7
  80. data/golden/multirank_hoisting/expected/lir_03_cse.txt +7 -7
  81. data/golden/multirank_hoisting/expected/lir_04_1_loop_fusion.txt +7 -7
  82. data/golden/multirank_hoisting/expected/lir_04_loop_invcm.txt +7 -7
  83. data/golden/multirank_hoisting/expected/lir_06_const_prop.txt +7 -7
  84. data/golden/multirank_hoisting/expected/schema_ruby.rb +1 -1
  85. data/golden/multirank_hoisting/expected/snast.txt +2 -2
  86. data/golden/nested_hash/expected/lir_00_unoptimized.txt +1 -1
  87. data/golden/nested_hash/expected/lir_01_hoist_scalar_references.txt +1 -1
  88. data/golden/nested_hash/expected/lir_02_inlined.txt +1 -1
  89. data/golden/nested_hash/expected/lir_03_cse.txt +1 -1
  90. data/golden/nested_hash/expected/lir_04_1_loop_fusion.txt +1 -1
  91. data/golden/nested_hash/expected/lir_04_loop_invcm.txt +1 -1
  92. data/golden/nested_hash/expected/lir_06_const_prop.txt +1 -1
  93. data/golden/nested_hash/expected/schema_ruby.rb +1 -1
  94. data/golden/nested_hash/expected/snast.txt +1 -1
  95. data/golden/reduction_broadcast/expected/schema_ruby.rb +1 -1
  96. data/golden/roll/expected/schema_ruby.rb +1 -1
  97. data/golden/shift/expected/schema_ruby.rb +1 -1
  98. data/golden/shift_2d/expected/schema_ruby.rb +1 -1
  99. data/golden/simple_math/expected/lir_00_unoptimized.txt +2 -2
  100. data/golden/simple_math/expected/lir_01_hoist_scalar_references.txt +2 -2
  101. data/golden/simple_math/expected/lir_02_inlined.txt +2 -2
  102. data/golden/simple_math/expected/lir_03_cse.txt +2 -2
  103. data/golden/simple_math/expected/lir_04_1_loop_fusion.txt +2 -2
  104. data/golden/simple_math/expected/lir_04_loop_invcm.txt +2 -2
  105. data/golden/simple_math/expected/lir_06_const_prop.txt +2 -2
  106. data/golden/simple_math/expected/schema_ruby.rb +1 -1
  107. data/golden/simple_math/expected/snast.txt +2 -2
  108. data/golden/streaming_basics/expected/lir_00_unoptimized.txt +3 -3
  109. data/golden/streaming_basics/expected/lir_01_hoist_scalar_references.txt +3 -3
  110. data/golden/streaming_basics/expected/lir_02_inlined.txt +9 -9
  111. data/golden/streaming_basics/expected/lir_03_cse.txt +7 -7
  112. data/golden/streaming_basics/expected/lir_04_1_loop_fusion.txt +7 -7
  113. data/golden/streaming_basics/expected/lir_04_loop_invcm.txt +7 -7
  114. data/golden/streaming_basics/expected/lir_06_const_prop.txt +7 -7
  115. data/golden/streaming_basics/expected/schema_ruby.rb +1 -1
  116. data/golden/streaming_basics/expected/snast.txt +3 -3
  117. data/golden/tuples/expected/schema_ruby.rb +1 -1
  118. data/golden/tuples_and_arrays/expected/schema_ruby.rb +1 -1
  119. data/golden/us_tax_2024/expected/lir_00_unoptimized.txt +6 -6
  120. data/golden/us_tax_2024/expected/lir_01_hoist_scalar_references.txt +6 -6
  121. data/golden/us_tax_2024/expected/lir_02_inlined.txt +71 -71
  122. data/golden/us_tax_2024/expected/lir_03_cse.txt +43 -43
  123. data/golden/us_tax_2024/expected/lir_04_1_loop_fusion.txt +48 -48
  124. data/golden/us_tax_2024/expected/lir_04_loop_invcm.txt +43 -43
  125. data/golden/us_tax_2024/expected/lir_06_const_prop.txt +43 -43
  126. data/golden/us_tax_2024/expected/schema_ruby.rb +1 -1
  127. data/golden/us_tax_2024/expected/snast.txt +6 -6
  128. data/golden/with_constants/expected/schema_ruby.rb +1 -1
  129. data/lib/kumi/core/analyzer/passes/nast_dimensional_analyzer_pass.rb +1 -1
  130. data/lib/kumi/core/error_reporter.rb +1 -1
  131. data/lib/kumi/core/errors.rb +1 -1
  132. data/lib/kumi/core/functions/overload_resolver.rb +57 -11
  133. data/lib/kumi/core/functions/type_categories.rb +44 -0
  134. data/lib/kumi/frontends/text.rb +33 -5
  135. data/lib/kumi/syntax/location.rb +5 -1
  136. data/lib/kumi/version.rb +1 -1
  137. metadata +2 -1
data/golden/decimal_explicit/expected/lir_02_inlined.txt CHANGED
@@ -13,31 +13,31 @@
13
13
  %t14 = load_input "unit_price" :: string
14
14
  %t15 = call core.to_decimal(%t14) :: decimal
15
15
  %t6 = load_input "quantity" :: integer
16
- %t7 = call core.mul(%t15, %t6) :: integer
16
+ %t7 = call core.mul:numeric(%t15, %t6) :: integer
17
17
  yield %t7
18
18
  )
19
19
  (Declaration tax_amount
20
20
  %t19 = load_input "unit_price" :: string
21
21
  %t20 = call core.to_decimal(%t19) :: decimal
22
22
  %t17 = load_input "quantity" :: integer
23
- %t18 = call core.mul(%t20, %t17) :: integer
23
+ %t18 = call core.mul:numeric(%t20, %t17) :: integer
24
24
  %t21 = load_input "tax_rate" :: string
25
25
  %t22 = call core.to_decimal(%t21) :: decimal
26
- %t10 = call core.mul(%t18, %t22) :: integer
26
+ %t10 = call core.mul:numeric(%t18, %t22) :: integer
27
27
  yield %t10
28
28
  )
29
29
  (Declaration total
30
30
  %t26 = load_input "unit_price" :: string
31
31
  %t27 = call core.to_decimal(%t26) :: decimal
32
32
  %t24 = load_input "quantity" :: integer
33
- %t25 = call core.mul(%t27, %t24) :: integer
33
+ %t25 = call core.mul:numeric(%t27, %t24) :: integer
34
34
  %t34 = load_input "unit_price" :: string
35
35
  %t35 = call core.to_decimal(%t34) :: decimal
36
36
  %t32 = load_input "quantity" :: integer
37
- %t33 = call core.mul(%t35, %t32) :: integer
37
+ %t33 = call core.mul:numeric(%t35, %t32) :: integer
38
38
  %t36 = load_input "tax_rate" :: string
39
39
  %t37 = call core.to_decimal(%t36) :: decimal
40
- %t30 = call core.mul(%t33, %t37) :: integer
40
+ %t30 = call core.mul:numeric(%t33, %t37) :: integer
41
41
  %t13 = call core.add(%t25, %t30) :: integer
42
42
  yield %t13
43
43
  )
data/golden/decimal_explicit/expected/lir_03_cse.txt CHANGED
@@ -13,27 +13,27 @@
13
13
  %t14 = load_input "unit_price" :: string
14
14
  %t15 = call core.to_decimal(%t14) :: decimal
15
15
  %t6 = load_input "quantity" :: integer
16
- %t7 = call core.mul(%t15, %t6) :: integer
16
+ %t7 = call core.mul:numeric(%t15, %t6) :: integer
17
17
  yield %t7
18
18
  )
19
19
  (Declaration tax_amount
20
20
  %t19 = load_input "unit_price" :: string
21
21
  %t20 = call core.to_decimal(%t19) :: decimal
22
22
  %t17 = load_input "quantity" :: integer
23
- %t18 = call core.mul(%t20, %t17) :: integer
23
+ %t18 = call core.mul:numeric(%t20, %t17) :: integer
24
24
  %t21 = load_input "tax_rate" :: string
25
25
  %t22 = call core.to_decimal(%t21) :: decimal
26
- %t10 = call core.mul(%t18, %t22) :: integer
26
+ %t10 = call core.mul:numeric(%t18, %t22) :: integer
27
27
  yield %t10
28
28
  )
29
29
  (Declaration total
30
30
  %t26 = load_input "unit_price" :: string
31
31
  %t27 = call core.to_decimal(%t26) :: decimal
32
32
  %t24 = load_input "quantity" :: integer
33
- %t25 = call core.mul(%t27, %t24) :: integer
33
+ %t25 = call core.mul:numeric(%t27, %t24) :: integer
34
34
  %t36 = load_input "tax_rate" :: string
35
35
  %t37 = call core.to_decimal(%t36) :: decimal
36
- %t30 = call core.mul(%t25, %t37) :: integer
36
+ %t30 = call core.mul:numeric(%t25, %t37) :: integer
37
37
  %t13 = call core.add(%t25, %t30) :: integer
38
38
  yield %t13
39
39
  )
data/golden/decimal_explicit/expected/lir_04_1_loop_fusion.txt CHANGED
@@ -13,27 +13,27 @@
13
13
  %t14 = load_input "unit_price" :: string
14
14
  %t15 = call core.to_decimal(%t14) :: decimal
15
15
  %t6 = load_input "quantity" :: integer
16
- %t7 = call core.mul(%t15, %t6) :: integer
16
+ %t7 = call core.mul:numeric(%t15, %t6) :: integer
17
17
  yield %t7
18
18
  )
19
19
  (Declaration tax_amount
20
20
  %t19 = load_input "unit_price" :: string
21
21
  %t20 = call core.to_decimal(%t19) :: decimal
22
22
  %t17 = load_input "quantity" :: integer
23
- %t18 = call core.mul(%t20, %t17) :: integer
23
+ %t18 = call core.mul:numeric(%t20, %t17) :: integer
24
24
  %t21 = load_input "tax_rate" :: string
25
25
  %t22 = call core.to_decimal(%t21) :: decimal
26
- %t10 = call core.mul(%t18, %t22) :: integer
26
+ %t10 = call core.mul:numeric(%t18, %t22) :: integer
27
27
  yield %t10
28
28
  )
29
29
  (Declaration total
30
30
  %t26 = load_input "unit_price" :: string
31
31
  %t27 = call core.to_decimal(%t26) :: decimal
32
32
  %t24 = load_input "quantity" :: integer
33
- %t25 = call core.mul(%t27, %t24) :: integer
33
+ %t25 = call core.mul:numeric(%t27, %t24) :: integer
34
34
  %t36 = load_input "tax_rate" :: string
35
35
  %t37 = call core.to_decimal(%t36) :: decimal
36
- %t30 = call core.mul(%t25, %t37) :: integer
36
+ %t30 = call core.mul:numeric(%t25, %t37) :: integer
37
37
  %t13 = call core.add(%t25, %t30) :: integer
38
38
  yield %t13
39
39
  )
data/golden/decimal_explicit/expected/lir_04_loop_invcm.txt CHANGED
@@ -13,27 +13,27 @@
13
13
  %t14 = load_input "unit_price" :: string
14
14
  %t15 = call core.to_decimal(%t14) :: decimal
15
15
  %t6 = load_input "quantity" :: integer
16
- %t7 = call core.mul(%t15, %t6) :: integer
16
+ %t7 = call core.mul:numeric(%t15, %t6) :: integer
17
17
  yield %t7
18
18
  )
19
19
  (Declaration tax_amount
20
20
  %t19 = load_input "unit_price" :: string
21
21
  %t20 = call core.to_decimal(%t19) :: decimal
22
22
  %t17 = load_input "quantity" :: integer
23
- %t18 = call core.mul(%t20, %t17) :: integer
23
+ %t18 = call core.mul:numeric(%t20, %t17) :: integer
24
24
  %t21 = load_input "tax_rate" :: string
25
25
  %t22 = call core.to_decimal(%t21) :: decimal
26
- %t10 = call core.mul(%t18, %t22) :: integer
26
+ %t10 = call core.mul:numeric(%t18, %t22) :: integer
27
27
  yield %t10
28
28
  )
29
29
  (Declaration total
30
30
  %t26 = load_input "unit_price" :: string
31
31
  %t27 = call core.to_decimal(%t26) :: decimal
32
32
  %t24 = load_input "quantity" :: integer
33
- %t25 = call core.mul(%t27, %t24) :: integer
33
+ %t25 = call core.mul:numeric(%t27, %t24) :: integer
34
34
  %t36 = load_input "tax_rate" :: string
35
35
  %t37 = call core.to_decimal(%t36) :: decimal
36
- %t30 = call core.mul(%t25, %t37) :: integer
36
+ %t30 = call core.mul:numeric(%t25, %t37) :: integer
37
37
  %t13 = call core.add(%t25, %t30) :: integer
38
38
  yield %t13
39
39
  )
data/golden/decimal_explicit/expected/lir_06_const_prop.txt CHANGED
@@ -13,27 +13,27 @@
13
13
  %t14 = load_input "unit_price" :: string
14
14
  %t15 = call core.to_decimal(%t14) :: decimal
15
15
  %t6 = load_input "quantity" :: integer
16
- %t7 = call core.mul(%t15, %t6) :: integer
16
+ %t7 = call core.mul:numeric(%t15, %t6) :: integer
17
17
  yield %t7
18
18
  )
19
19
  (Declaration tax_amount
20
20
  %t19 = load_input "unit_price" :: string
21
21
  %t20 = call core.to_decimal(%t19) :: decimal
22
22
  %t17 = load_input "quantity" :: integer
23
- %t18 = call core.mul(%t20, %t17) :: integer
23
+ %t18 = call core.mul:numeric(%t20, %t17) :: integer
24
24
  %t21 = load_input "tax_rate" :: string
25
25
  %t22 = call core.to_decimal(%t21) :: decimal
26
- %t10 = call core.mul(%t18, %t22) :: integer
26
+ %t10 = call core.mul:numeric(%t18, %t22) :: integer
27
27
  yield %t10
28
28
  )
29
29
  (Declaration total
30
30
  %t26 = load_input "unit_price" :: string
31
31
  %t27 = call core.to_decimal(%t26) :: decimal
32
32
  %t24 = load_input "quantity" :: integer
33
- %t25 = call core.mul(%t27, %t24) :: integer
33
+ %t25 = call core.mul:numeric(%t27, %t24) :: integer
34
34
  %t36 = load_input "tax_rate" :: string
35
35
  %t37 = call core.to_decimal(%t36) :: decimal
36
- %t30 = call core.mul(%t25, %t37) :: integer
36
+ %t30 = call core.mul:numeric(%t25, %t37) :: integer
37
37
  %t13 = call core.add(%t25, %t30) :: integer
38
38
  yield %t13
39
39
  )
data/golden/decimal_explicit/expected/schema_ruby.rb CHANGED
@@ -1,5 +1,5 @@
1
1
  # Autogenerated by Kumi Codegen
2
- module Kumi::Compiled::KUMI_da41527c1ad37152fb8c552f2cfddd2f9a3aba7ee79aa824456a153b8517ee5f
2
+ module Kumi::Compiled::KUMI_9b539dbec6c421834eac549d365663229bd4d355bac776a2dd30eafcdd67df35
3
3
  def self.from(input_data = nil)
4
4
  instance = Object.new
5
5
  instance.extend(self)
data/golden/decimal_explicit/expected/snast.txt CHANGED
@@ -10,13 +10,13 @@
10
10
  ) :: [] -> decimal
11
11
  ) :: [] -> decimal
12
12
  (VALUE subtotal
13
- (Call :core.mul
13
+ (Call :core.mul:numeric
14
14
  (Ref price) :: [] -> decimal
15
15
  (InputRef quantity key_chain=[]) :: [] -> integer
16
16
  ) :: [] -> integer
17
17
  ) :: [] -> integer
18
18
  (VALUE tax_amount
19
- (Call :core.mul
19
+ (Call :core.mul:numeric
20
20
  (Ref subtotal) :: [] -> integer
21
21
  (Ref rate) :: [] -> decimal
22
22
  ) :: [] -> integer
data/golden/element_arrays/expected/schema_ruby.rb CHANGED
@@ -1,5 +1,5 @@
1
1
  # Autogenerated by Kumi Codegen
2
- module Kumi::Compiled::KUMI_882cc1d7ef44655567dd97759a39ebfc33efef7825f606e90d0f80a8246099ab
2
+ module Kumi::Compiled::KUMI_075dddecf843737e72d3cc6f295b8be10ea997b710cacd3cfefab04c36a4bf61
3
3
  def self.from(input_data = nil)
4
4
  instance = Object.new
5
5
  instance.extend(self)
data/golden/empty_and_null_inputs/expected/schema_ruby.rb CHANGED
@@ -1,5 +1,5 @@
1
1
  # Autogenerated by Kumi Codegen
2
- module Kumi::Compiled::KUMI_2c59ff6fbf5f9f54855ffed7efed5fb3e86a9502ac7b4245f2ecaf6d0965d362
2
+ module Kumi::Compiled::KUMI_f3a048072b5d7d4c224708534b4d9552a65107d88ee22fd9c8e7ac081f434154
3
3
  def self.from(input_data = nil)
4
4
  instance = Object.new
5
5
  instance.extend(self)
data/golden/function_overload/expected/schema_ruby.rb CHANGED
@@ -1,5 +1,5 @@
1
1
  # Autogenerated by Kumi Codegen
2
- module Kumi::Compiled::KUMI_7bfb4d1f4b47bb1aec37b86c3b05a808ae6e13b28cdcac7f03ffeb7624df3532
2
+ module Kumi::Compiled::KUMI_df1ca4e3610de4f6ae487d214d4142800da16678b6569ff706706f309c72c1f9
3
3
  def self.from(input_data = nil)
4
4
  instance = Object.new
5
5
  instance.extend(self)
data/golden/game_of_life/expected/schema_ruby.rb CHANGED
@@ -1,5 +1,5 @@
1
1
  # Autogenerated by Kumi Codegen
2
- module Kumi::Compiled::KUMI_ae11e7c3ad9a975bf5a020676cab139ea1236c8dddef854f433710ced5881709
2
+ module Kumi::Compiled::KUMI_54123b2529e2556517fc96fc41a7180da286d83fb0ceb0173c8ba23f0cd8f39e
3
3
  def self.from(input_data = nil)
4
4
  instance = Object.new
5
5
  instance.extend(self)
data/golden/hash_keys/expected/schema_ruby.rb CHANGED
@@ -1,5 +1,5 @@
1
1
  # Autogenerated by Kumi Codegen
2
- module Kumi::Compiled::KUMI_98387d10c8fdfa8747d9dd4e0467343453396c951d55d275edf4af0bbe8b27ef
2
+ module Kumi::Compiled::KUMI_05f04a7f7f9e7b9dc3d2add76e4836f7713dbdd2cbbf366c9b11bcada52b04c9
3
3
  def self.from(input_data = nil)
4
4
  instance = Object.new
5
5
  instance.extend(self)
data/golden/hash_value/expected/schema_ruby.rb CHANGED
@@ -1,5 +1,5 @@
1
1
  # Autogenerated by Kumi Codegen
2
- module Kumi::Compiled::KUMI_a640fface9d8fd5b448e402d6bf2395566474e3e90386cc2bf6d46017bc09be2
2
+ module Kumi::Compiled::KUMI_40b55ddbe4f7177b1c6ab5ce9e066428c76f04e03106b95b24cd042b598c729f
3
3
  def self.from(input_data = nil)
4
4
  instance = Object.new
5
5
  instance.extend(self)
data/golden/hierarchical_complex/expected/lir_00_unoptimized.txt CHANGED
@@ -66,16 +66,16 @@
66
66
  %t59 = call core.and(%t55, %t58) :: boolean
67
67
  %t60 = load_field employees_el_53["salary"] :: float
68
68
  %t61 = const 0.3 :: float
69
- %t62 = call core.mul(%t60, %t61) :: float
69
+ %t62 = call core.mul:numeric(%t60, %t61) :: float
70
70
  %t63 = load_decl high_performer axes=[regions, offices, teams, employees] :: boolean
71
71
  %t64 = load_decl top_team axes=[regions, offices, teams] :: boolean
72
72
  %t65 = call core.and(%t63, %t64) :: boolean
73
73
  %t66 = load_field employees_el_53["salary"] :: float
74
74
  %t67 = const 0.2 :: float
75
- %t68 = call core.mul(%t66, %t67) :: float
75
+ %t68 = call core.mul:numeric(%t66, %t67) :: float
76
76
  %t69 = load_field employees_el_53["salary"] :: float
77
77
  %t70 = const 0.05 :: float
78
- %t71 = call core.mul(%t69, %t70) :: float
78
+ %t71 = call core.mul:numeric(%t69, %t70) :: float
79
79
  %t72 = select %t65, %t68, %t71 :: float
80
80
  %t73 = select %t59, %t62, %t72 :: float
81
81
  yield %t73
data/golden/hierarchical_complex/expected/lir_01_hoist_scalar_references.txt CHANGED
@@ -66,16 +66,16 @@
66
66
  %t59 = call core.and(%t55, %t58) :: boolean
67
67
  %t60 = load_field employees_el_53["salary"] :: float
68
68
  %t61 = const 0.3 :: float
69
- %t62 = call core.mul(%t60, %t61) :: float
69
+ %t62 = call core.mul:numeric(%t60, %t61) :: float
70
70
  %t63 = load_decl high_performer axes=[regions, offices, teams, employees] :: boolean
71
71
  %t64 = load_decl top_team axes=[regions, offices, teams] :: boolean
72
72
  %t65 = call core.and(%t63, %t64) :: boolean
73
73
  %t66 = load_field employees_el_53["salary"] :: float
74
74
  %t67 = const 0.2 :: float
75
- %t68 = call core.mul(%t66, %t67) :: float
75
+ %t68 = call core.mul:numeric(%t66, %t67) :: float
76
76
  %t69 = load_field employees_el_53["salary"] :: float
77
77
  %t70 = const 0.05 :: float
78
- %t71 = call core.mul(%t69, %t70) :: float
78
+ %t71 = call core.mul:numeric(%t69, %t70) :: float
79
79
  %t72 = select %t65, %t68, %t71 :: float
80
80
  %t73 = select %t59, %t62, %t72 :: float
81
81
  yield %t73
data/golden/hierarchical_complex/expected/lir_02_inlined.txt CHANGED
@@ -89,7 +89,7 @@
89
89
  %t59 = call core.and(%t80, %t58) :: boolean
90
90
  %t60 = load_field employees_el_53["salary"] :: float
91
91
  %t61 = const 0.3 :: float
92
- %t62 = call core.mul(%t60, %t61) :: float
92
+ %t62 = call core.mul:numeric(%t60, %t61) :: float
93
93
  %t94 = load_input "regions" :: array
94
94
  %t95 = load_field regions_el_44["offices"] :: any
95
95
  %t96 = load_field offices_el_47["teams"] :: any
@@ -100,10 +100,10 @@
100
100
  %t65 = call core.and(%t100, %t106) :: boolean
101
101
  %t66 = load_field employees_el_53["salary"] :: float
102
102
  %t67 = const 0.2 :: float
103
- %t68 = call core.mul(%t66, %t67) :: float
103
+ %t68 = call core.mul:numeric(%t66, %t67) :: float
104
104
  %t69 = load_field employees_el_53["salary"] :: float
105
105
  %t70 = const 0.05 :: float
106
- %t71 = call core.mul(%t69, %t70) :: float
106
+ %t71 = call core.mul:numeric(%t69, %t70) :: float
107
107
  %t72 = select %t65, %t68, %t71 :: float
108
108
  %t73 = select %t59, %t62, %t72 :: float
109
109
  yield %t73
data/golden/hierarchical_complex/expected/lir_03_cse.txt CHANGED
@@ -72,12 +72,12 @@
72
72
  %t59 = call core.and(%t80, %t58) :: boolean
73
73
  %t60 = load_field employees_el_53["salary"] :: float
74
74
  %t61 = const 0.3 :: float
75
- %t62 = call core.mul(%t60, %t61) :: float
75
+ %t62 = call core.mul:numeric(%t60, %t61) :: float
76
76
  %t65 = call core.and(%t80, %t93) :: boolean
77
77
  %t67 = const 0.2 :: float
78
- %t68 = call core.mul(%t60, %t67) :: float
78
+ %t68 = call core.mul:numeric(%t60, %t67) :: float
79
79
  %t70 = const 0.05 :: float
80
- %t71 = call core.mul(%t60, %t70) :: float
80
+ %t71 = call core.mul:numeric(%t60, %t70) :: float
81
81
  %t72 = select %t65, %t68, %t71 :: float
82
82
  %t73 = select %t59, %t62, %t72 :: float
83
83
  yield %t73
data/golden/hierarchical_complex/expected/lir_04_1_loop_fusion.txt CHANGED
@@ -72,12 +72,12 @@
72
72
  %t59 = call core.and(%t80, %t58) :: boolean
73
73
  %t60 = load_field employees_el_53["salary"] :: float
74
74
  %t61 = const 0.3 :: float
75
- %t62 = call core.mul(%t60, %t61) :: float
75
+ %t62 = call core.mul:numeric(%t60, %t61) :: float
76
76
  %t65 = call core.and(%t80, %t93) :: boolean
77
77
  %t67 = const 0.2 :: float
78
- %t68 = call core.mul(%t60, %t67) :: float
78
+ %t68 = call core.mul:numeric(%t60, %t67) :: float
79
79
  %t70 = const 0.05 :: float
80
- %t71 = call core.mul(%t60, %t70) :: float
80
+ %t71 = call core.mul:numeric(%t60, %t70) :: float
81
81
  %t72 = select %t65, %t68, %t71 :: float
82
82
  %t73 = select %t59, %t62, %t72 :: float
83
83
  yield %t73
data/golden/hierarchical_complex/expected/lir_04_loop_invcm.txt CHANGED
@@ -74,10 +74,10 @@
74
74
  %t58 = call core.and(%t87, %t93) :: boolean
75
75
  %t59 = call core.and(%t80, %t58) :: boolean
76
76
  %t60 = load_field employees_el_53["salary"] :: float
77
- %t62 = call core.mul(%t60, %t61) :: float
77
+ %t62 = call core.mul:numeric(%t60, %t61) :: float
78
78
  %t65 = call core.and(%t80, %t93) :: boolean
79
- %t68 = call core.mul(%t60, %t67) :: float
80
- %t71 = call core.mul(%t60, %t70) :: float
79
+ %t68 = call core.mul:numeric(%t60, %t67) :: float
80
+ %t71 = call core.mul:numeric(%t60, %t70) :: float
81
81
  %t72 = select %t65, %t68, %t71 :: float
82
82
  %t73 = select %t59, %t62, %t72 :: float
83
83
  yield %t73
data/golden/hierarchical_complex/expected/lir_06_const_prop.txt CHANGED
@@ -74,10 +74,10 @@
74
74
  %t58 = call core.and(%t87, %t93) :: boolean
75
75
  %t59 = call core.and(%t80, %t58) :: boolean
76
76
  %t60 = load_field employees_el_53["salary"] :: float
77
- %t62 = call core.mul(%t60, %t61) :: float
77
+ %t62 = call core.mul:numeric(%t60, %t61) :: float
78
78
  %t65 = call core.and(%t80, %t93) :: boolean
79
- %t68 = call core.mul(%t60, %t67) :: float
80
- %t71 = call core.mul(%t60, %t70) :: float
79
+ %t68 = call core.mul:numeric(%t60, %t67) :: float
80
+ %t71 = call core.mul:numeric(%t60, %t70) :: float
81
81
  %t72 = select %t65, %t68, %t71 :: float
82
82
  %t73 = select %t59, %t62, %t72 :: float
83
83
  yield %t73
data/golden/hierarchical_complex/expected/schema_ruby.rb CHANGED
@@ -1,5 +1,5 @@
1
1
  # Autogenerated by Kumi Codegen
2
- module Kumi::Compiled::KUMI_b5eda506631ac67b2fa4e23a5039573b754dbb87a45dd1e8bd18a5dd4c8c97b2
2
+ module Kumi::Compiled::KUMI_099c2720617317480db14bda8e1f2704e1b767347edf80b2a6beb02e671962dc
3
3
  def self.from(input_data = nil)
4
4
  instance = Object.new
5
5
  instance.extend(self)
data/golden/hierarchical_complex/expected/snast.txt CHANGED
@@ -26,7 +26,7 @@
26
26
  (Ref top_team) :: [regions, offices, teams] -> boolean
27
27
  ) :: [regions, offices, teams, employees] -> boolean
28
28
  ) :: [regions, offices, teams, employees] -> boolean
29
- (Call :core.mul
29
+ (Call :core.mul:numeric
30
30
  (InputRef regions.region.offices.office.teams.team.employees.employee.salary key_chain=[]) :: [regions, offices, teams, employees] -> float
31
31
  (Const 0.3) :: [] -> float
32
32
  ) :: [regions, offices, teams, employees] -> float
@@ -35,11 +35,11 @@
35
35
  (Ref high_performer) :: [regions, offices, teams, employees] -> boolean
36
36
  (Ref top_team) :: [regions, offices, teams] -> boolean
37
37
  ) :: [regions, offices, teams, employees] -> boolean
38
- (Call :core.mul
38
+ (Call :core.mul:numeric
39
39
  (InputRef regions.region.offices.office.teams.team.employees.employee.salary key_chain=[]) :: [regions, offices, teams, employees] -> float
40
40
  (Const 0.2) :: [] -> float
41
41
  ) :: [regions, offices, teams, employees] -> float
42
- (Call :core.mul
42
+ (Call :core.mul:numeric
43
43
  (InputRef regions.region.offices.office.teams.team.employees.employee.salary key_chain=[]) :: [regions, offices, teams, employees] -> float
44
44
  (Const 0.05) :: [] -> float
45
45
  ) :: [regions, offices, teams, employees] -> float
data/golden/inline_rename_scope_leak/expected/schema_ruby.rb CHANGED
@@ -1,5 +1,5 @@
1
1
  # Autogenerated by Kumi Codegen
2
- module Kumi::Compiled::KUMI_b293577e0fe0c4582da8ed3cda757059e40f0fd50edd24bfe36b0d4740df92f1
2
+ module Kumi::Compiled::KUMI_3032bccd1b0376f309ad8f6a4df1386cd3c2b527c2af7e28c4ad37f3ba9955c0
3
3
  def self.from(input_data = nil)
4
4
  instance = Object.new
5
5
  instance.extend(self)
data/golden/input_reference/expected/schema_ruby.rb CHANGED
@@ -1,5 +1,5 @@
1
1
  # Autogenerated by Kumi Codegen
2
- module Kumi::Compiled::KUMI_9c0cff737270bf63de9ce71b67c6290fce449bc31a3d436f78b4b0fc18485ded
2
+ module Kumi::Compiled::KUMI_4941e7b5bc2ba6002c111242862f0e469d878a5effea6dde9366d05ac6dbd7fa
3
3
  def self.from(input_data = nil)
4
4
  instance = Object.new
5
5
  instance.extend(self)
data/golden/interleaved_fusion/expected/lir_00_unoptimized.txt CHANGED
@@ -17,7 +17,7 @@
17
17
  loop departments id=L3 in %t10 as el=%departments_el_11, idx=%departments_i_12
18
18
  %t13 = load_decl total_payroll axes=[departments] :: integer
19
19
  %t14 = const 0.15 :: float
20
- %t15 = call core.mul(%t13, %t14) :: float
20
+ %t15 = call core.mul:numeric(%t13, %t14) :: float
21
21
  yield %t15
22
22
  end_loop
23
23
  )
data/golden/interleaved_fusion/expected/lir_01_hoist_scalar_references.txt CHANGED
@@ -17,7 +17,7 @@
17
17
  loop departments id=L3 in %t10 as el=%departments_el_11, idx=%departments_i_12
18
18
  %t13 = load_decl total_payroll axes=[departments] :: integer
19
19
  %t14 = const 0.15 :: float
20
- %t15 = call core.mul(%t13, %t14) :: float
20
+ %t15 = call core.mul:numeric(%t13, %t14) :: float
21
21
  yield %t15
22
22
  end_loop
23
23
  )
data/golden/interleaved_fusion/expected/lir_02_inlined.txt CHANGED
@@ -24,7 +24,7 @@
24
24
  end_loop
25
25
  %t45 = acc_load %acc40 :: integer
26
26
  %t14 = const 0.15 :: float
27
- %t15 = call core.mul(%t45, %t14) :: float
27
+ %t15 = call core.mul:numeric(%t45, %t14) :: float
28
28
  yield %t15
29
29
  end_loop
30
30
  )
@@ -68,7 +68,7 @@
68
68
  end_loop
69
69
  %t65 = acc_load %acc60 :: integer
70
70
  %t56 = const 0.15 :: float
71
- %t57 = call core.mul(%t65, %t56) :: float
71
+ %t57 = call core.mul:numeric(%t65, %t56) :: float
72
72
  %t66 = load_input "departments" :: array
73
73
  %acc68 = decl_acc :: integer
74
74
  %t69 = load_field departments_el_31["employees"] :: any
data/golden/interleaved_fusion/expected/lir_03_cse.txt CHANGED
@@ -23,7 +23,7 @@
23
23
  %acc40 = acc_add agg.sum(%acc40, %t44) :: integer
24
24
  end_loop
25
25
  %t45 = acc_load %acc40 :: integer
26
- %t15 = call core.mul(%t45, %t14) :: float
26
+ %t15 = call core.mul:numeric(%t45, %t14) :: float
27
27
  yield %t15
28
28
  end_loop
29
29
  )
@@ -69,7 +69,7 @@
69
69
  %t53 = acc_load %acc48 :: integer
70
70
  %t65 = acc_load %acc60 :: integer
71
71
  %t78 = acc_load %acc68 :: integer
72
- %t57 = call core.mul(%t65, %t56) :: float
72
+ %t57 = call core.mul:numeric(%t65, %t56) :: float
73
73
  %t37 = make_object{name: %t33, payroll: %t53, tax: %t57, managers: %t78} :: object
74
74
  yield %t37
75
75
  end_loop
data/golden/interleaved_fusion/expected/lir_04_1_loop_fusion.txt CHANGED
@@ -23,7 +23,7 @@
23
23
  %acc40 = acc_add agg.sum(%acc40, %t44) :: integer
24
24
  end_loop
25
25
  %t45 = acc_load %acc40 :: integer
26
- %t15 = call core.mul(%t45, %t14) :: float
26
+ %t15 = call core.mul:numeric(%t45, %t14) :: float
27
27
  yield %t15
28
28
  end_loop
29
29
  )
@@ -70,7 +70,7 @@
70
70
  %t53 = acc_load %acc48 :: integer
71
71
  %t65 = acc_load %acc60 :: integer
72
72
  %t78 = acc_load %acc68 :: integer
73
- %t57 = call core.mul(%t65, %t56) :: float
73
+ %t57 = call core.mul:numeric(%t65, %t56) :: float
74
74
  %t37 = make_object{name: %t33, payroll: %t53, tax: %t57, managers: %t78} :: object
75
75
  yield %t37
76
76
  end_loop
data/golden/interleaved_fusion/expected/lir_04_loop_invcm.txt CHANGED
@@ -23,7 +23,7 @@
23
23
  %acc40 = acc_add agg.sum(%acc40, %t44) :: integer
24
24
  end_loop
25
25
  %t45 = acc_load %acc40 :: integer
26
- %t15 = call core.mul(%t45, %t14) :: float
26
+ %t15 = call core.mul:numeric(%t45, %t14) :: float
27
27
  yield %t15
28
28
  end_loop
29
29
  )
@@ -69,7 +69,7 @@
69
69
  %t53 = acc_load %acc48 :: integer
70
70
  %t65 = acc_load %acc60 :: integer
71
71
  %t78 = acc_load %acc68 :: integer
72
- %t57 = call core.mul(%t65, %t56) :: float
72
+ %t57 = call core.mul:numeric(%t65, %t56) :: float
73
73
  %t37 = make_object{name: %t33, payroll: %t53, tax: %t57, managers: %t78} :: object
74
74
  yield %t37
75
75
  end_loop
data/golden/interleaved_fusion/expected/lir_06_const_prop.txt CHANGED
@@ -23,7 +23,7 @@
23
23
  %acc40 = acc_add agg.sum(%acc40, %t44) :: integer
24
24
  end_loop
25
25
  %t45 = acc_load %acc40 :: integer
26
- %t15 = call core.mul(%t45, %t14) :: float
26
+ %t15 = call core.mul:numeric(%t45, %t14) :: float
27
27
  yield %t15
28
28
  end_loop
29
29
  )
@@ -69,7 +69,7 @@
69
69
  %t53 = acc_load %acc48 :: integer
70
70
  %t65 = acc_load %acc60 :: integer
71
71
  %t78 = acc_load %acc68 :: integer
72
- %t57 = call core.mul(%t65, %t56) :: float
72
+ %t57 = call core.mul:numeric(%t65, %t56) :: float
73
73
  %t37 = make_object{name: %t33, payroll: %t53, tax: %t57, managers: %t78} :: object
74
74
  yield %t37
75
75
  end_loop
data/golden/interleaved_fusion/expected/schema_ruby.rb CHANGED
@@ -1,5 +1,5 @@
1
1
  # Autogenerated by Kumi Codegen
2
- module Kumi::Compiled::KUMI_babd0dd6c79515b0ea177f8a303874051c0f1c81ff6d57e90002a1cc4a6da663
2
+ module Kumi::Compiled::KUMI_268bb6d2c7e77fc017d3663634d0ab22efda83be044c30ee54714a6805e47e30
3
3
  def self.from(input_data = nil)
4
4
  instance = Object.new
5
5
  instance.extend(self)
data/golden/interleaved_fusion/expected/snast.txt CHANGED
@@ -5,7 +5,7 @@
5
5
  ) :: [departments] -> integer
6
6
  ) :: [departments] -> integer
7
7
  (VALUE payroll_tax
8
- (Call :core.mul
8
+ (Call :core.mul:numeric
9
9
  (Ref total_payroll) :: [departments] -> integer
10
10
  (Const 0.15) :: [] -> float
11
11
  ) :: [departments] -> float
data/golden/let_inline/expected/lir_00_unoptimized.txt CHANGED
@@ -2,13 +2,13 @@
2
2
  (Declaration x_sq
3
3
  %t1 = load_input "x" :: integer
4
4
  %t2 = load_input "x" :: integer
5
- %t3 = call core.mul(%t1, %t2) :: integer
5
+ %t3 = call core.mul:numeric(%t1, %t2) :: integer
6
6
  yield %t3
7
7
  )
8
8
  (Declaration y_sq
9
9
  %t4 = load_input "y" :: integer
10
10
  %t5 = load_input "y" :: integer
11
- %t6 = call core.mul(%t4, %t5) :: integer
11
+ %t6 = call core.mul:numeric(%t4, %t5) :: integer
12
12
  yield %t6
13
13
  )
14
14
  (Declaration distance_sq
data/golden/let_inline/expected/lir_01_hoist_scalar_references.txt CHANGED
@@ -2,13 +2,13 @@
2
2
  (Declaration x_sq
3
3
  %t1 = load_input "x" :: integer
4
4
  %t2 = load_input "x" :: integer
5
- %t3 = call core.mul(%t1, %t2) :: integer
5
+ %t3 = call core.mul:numeric(%t1, %t2) :: integer
6
6
  yield %t3
7
7
  )
8
8
  (Declaration y_sq
9
9
  %t4 = load_input "y" :: integer
10
10
  %t5 = load_input "y" :: integer
11
- %t6 = call core.mul(%t4, %t5) :: integer
11
+ %t6 = call core.mul:numeric(%t4, %t5) :: integer
12
12
  yield %t6
13
13
  )
14
14
  (Declaration distance_sq
data/golden/let_inline/expected/lir_02_inlined.txt CHANGED
@@ -2,32 +2,32 @@
2
2
  (Declaration x_sq
3
3
  %t1 = load_input "x" :: integer
4
4
  %t2 = load_input "x" :: integer
5
- %t3 = call core.mul(%t1, %t2) :: integer
5
+ %t3 = call core.mul:numeric(%t1, %t2) :: integer
6
6
  yield %t3
7
7
  )
8
8
  (Declaration y_sq
9
9
  %t4 = load_input "y" :: integer
10
10
  %t5 = load_input "y" :: integer
11
- %t6 = call core.mul(%t4, %t5) :: integer
11
+ %t6 = call core.mul:numeric(%t4, %t5) :: integer
12
12
  yield %t6
13
13
  )
14
14
  (Declaration distance_sq
15
15
  %t13 = load_input "x" :: integer
16
16
  %t14 = load_input "x" :: integer
17
- %t15 = call core.mul(%t13, %t14) :: integer
17
+ %t15 = call core.mul:numeric(%t13, %t14) :: integer
18
18
  %t16 = load_input "y" :: integer
19
19
  %t17 = load_input "y" :: integer
20
- %t18 = call core.mul(%t16, %t17) :: integer
20
+ %t18 = call core.mul:numeric(%t16, %t17) :: integer
21
21
  %t9 = call core.add(%t15, %t18) :: integer
22
22
  yield %t9
23
23
  )
24
24
  (Declaration distance
25
25
  %t22 = load_input "x" :: integer
26
26
  %t23 = load_input "x" :: integer
27
- %t24 = call core.mul(%t22, %t23) :: integer
27
+ %t24 = call core.mul:numeric(%t22, %t23) :: integer
28
28
  %t25 = load_input "y" :: integer
29
29
  %t26 = load_input "y" :: integer
30
- %t27 = call core.mul(%t25, %t26) :: integer
30
+ %t27 = call core.mul:numeric(%t25, %t26) :: integer
31
31
  %t21 = call core.add(%t24, %t27) :: integer
32
32
  %t11 = const 0.5 :: float
33
33
  %t12 = call core.pow(%t21, %t11) :: float