kumi 0.0.17 → 0.0.19

data/golden/tuples/expected/nast.txt

@@ -0,0 +1,42 @@
+(NAST
+  (VALUE tuple
+    (Tuple
+    (Const 1)
+    (Const 2)
+    (Const 3)
+    (InputRef [:x])
+  )
+  )
+  (VALUE max_1
+    (Call :"agg.max"
+    (Ref tuple)
+  )
+  )
+  (VALUE max_2
+    (Call :"agg.max"
+    (Tuple
+      (Const 1)
+      (Const 2)
+      (Const 3)
+      (InputRef [:x])
+      (Const 1000)
+    )
+  )
+  )
+  (VALUE min_1
+    (Call :"agg.min"
+    (Ref tuple)
+  )
+  )
+  (VALUE min_2
+    (Call :"agg.min"
+    (Tuple
+      (Const 1)
+      (Const 2)
+      (Const 3)
+      (InputRef [:x])
+      (Const -100)
+    )
+  )
+  )
+)

data/golden/tuples/expected/schema_javascript.mjs

@@ -0,0 +1,51 @@
+export function _tuple(input) {
+  const t1 = 1;
+  const t2 = 2;
+  const t3 = 3;
+  let t4 = input["x"];
+  let t5 = [t1, t2, t3, t4];
+  return t5;
+}
+
+export function _max_1(input) {
+  const t24 = 1;
+  const t25 = 2;
+  const t26 = 3;
+  let t27 = input["x"];
+  let t28 = [t24, t25, t26, t27];
+  let t7 = Math.max(...t28);
+  return t7;
+}
+
+export function _max_2(input) {
+  const t8 = 1;
+  const t9 = 2;
+  const t10 = 3;
+  let t11 = input["x"];
+  const t12 = 1000;
+  let t13 = [t8, t9, t10, t11, t12];
+  let t14 = Math.max(...t13);
+  return t14;
+}
+
+export function _min_1(input) {
+  const t29 = 1;
+  const t30 = 2;
+  const t31 = 3;
+  let t32 = input["x"];
+  let t33 = [t29, t30, t31, t32];
+  let t16 = Math.min(...t33);
+  return t16;
+}
+
+export function _min_2(input) {
+  const t17 = 1;
+  const t18 = 2;
+  const t19 = 3;
+  let t20 = input["x"];
+  const t21 = -100;
+  let t22 = [t17, t18, t19, t20, t21];
+  let t23 = Math.min(...t22);
+  return t23;
+}
+

data/golden/tuples/expected/schema_ruby.rb

@@ -0,0 +1,77 @@
+# Autogenerated by Kumi Codegen
+module Kumi::Compiled::KUMI_08e1c30dee487d18ab2e33d19b5a722c9e1e991382f6db6419350dfcbd03cb93
+  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 :tuple then _tuple
+    when :max_1 then _max_1
+    when :max_2 then _max_2
+    when :min_1 then _min_1
+    when :min_2 then _min_2
+    else raise KeyError, "Unknown declaration"
+    end
+  end
+
+  def _tuple(input = @input)
+    t1 = 1
+    t2 = 2
+    t3 = 3
+    t4 = input["x"] || input[:x]
+    [t1, t2, t3, t4]
+  end
+
+  def _max_1(input = @input)
+    t24 = 1
+    t25 = 2
+    t26 = 3
+    t27 = input["x"] || input[:x]
+    t28 = [t24, t25, t26, t27]
+    t28.max
+  end
+
+  def _max_2(input = @input)
+    t8 = 1
+    t9 = 2
+    t10 = 3
+    t11 = input["x"] || input[:x]
+    t12 = 1000
+    t13 = [t8, t9, t10, t11, t12]
+    t13.max
+  end
+
+  def _min_1(input = @input)
+    t29 = 1
+    t30 = 2
+    t31 = 3
+    t32 = input["x"] || input[:x]
+    t33 = [t29, t30, t31, t32]
+    t33.min
+  end
+
+  def _min_2(input = @input)
+    t17 = 1
+    t18 = 2
+    t19 = 3
+    t20 = input["x"] || input[:x]
+    t21 = -100
+    t22 = [t17, t18, t19, t20, t21]
+    t22.min
+  end
+end

data/golden/tuples/expected/snast.txt

@@ -0,0 +1,42 @@
+(SNAST
+  (VALUE tuple
+    (Tuple
+      (Const 1) :: [] -> integer
+      (Const 2) :: [] -> integer
+      (Const 3) :: [] -> integer
+      (InputRef x key_chain=[]) :: [] -> integer
+    ) :: [] -> tuple<integer>
+  ) :: [] -> tuple<integer>
+  (VALUE max_1
+    (Fold :agg.max
+      (Ref tuple) :: [] -> tuple<integer>
+    ) :: [] -> integer
+  ) :: [] -> integer
+  (VALUE max_2
+    (Fold :agg.max
+      (Tuple
+        (Const 1) :: [] -> integer
+        (Const 2) :: [] -> integer
+        (Const 3) :: [] -> integer
+        (InputRef x key_chain=[]) :: [] -> integer
+        (Const 1000) :: [] -> integer
+      ) :: [] -> tuple<integer>
+    ) :: [] -> integer
+  ) :: [] -> integer
+  (VALUE min_1
+    (Fold :agg.min
+      (Ref tuple) :: [] -> tuple<integer>
+    ) :: [] -> integer
+  ) :: [] -> integer
+  (VALUE min_2
+    (Fold :agg.min
+      (Tuple
+        (Const 1) :: [] -> integer
+        (Const 2) :: [] -> integer
+        (Const 3) :: [] -> integer
+        (InputRef x key_chain=[]) :: [] -> integer
+        (Const -100) :: [] -> integer
+      ) :: [] -> tuple<integer>
+    ) :: [] -> integer
+  ) :: [] -> integer
+)

data/golden/tuples/expected.json

@@ -0,0 +1,7 @@
+{
+    "tuple": [1,2,3,100],
+    "max_1": 100,
+    "max_2": 1000,
+    "min_1": 1,
+    "min_2": -100
+}

data/golden/tuples/input.json

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

data/golden/tuples/schema.kumi

@@ -0,0 +1,11 @@
+schema do
+  input do
+    integer :x
+  end
+
+  value :tuple, [1, 2, 3, input.x]
+  value :max_1, fn(:max, tuple)
+  value :max_2, fn(:max, [1, 2, 3, input.x, 1000])
+  value :min_1, fn(:min, tuple)
+  value :min_2, fn(:min, [1, 2, 3, input.x, -100])
+end

data/golden/tuples_and_arrays/expected/ast.txt

@@ -0,0 +1,44 @@
+(Root
+  inputs: [
+    (InputDeclaration :points :array
+      [
+        (InputDeclaration :point :hash
+          [
+            (InputDeclaration :x :integer)
+            (InputDeclaration :y :integer)
+          ]
+        )
+      ]
+    )
+  ]
+  values: [
+    (ValueDeclaration :selected_value
+      (CallExpression :select
+        (DeclarationReference :x_is_large)
+        (InputElementReference points.point.x)
+        (InputElementReference points.point.y)
+      )
+    )
+    (ValueDeclaration :final_value_per_point
+      (CallExpression :max
+        (ArrayExpression
+          (DeclarationReference :selected_value)
+          (InputElementReference points.point.x)
+        )
+      )
+    )
+    (ValueDeclaration :grand_total
+      (CallExpression :sum
+        (DeclarationReference :final_value_per_point)
+      )
+    )
+  ]
+  traits: [
+    (TraitDeclaration :x_is_large
+      (CallExpression :>
+        (InputElementReference points.point.x)
+        (Literal 100)
+      )
+    )
+  ]
+)

data/golden/tuples_and_arrays/expected/input_plan.txt

@@ -0,0 +1,7 @@
+points: array (array) access_mode=element
+  └─> point: element_access
+  point: hash (hash)
+    └─> x: property_access
+    └─> y: property_access
+    x: integer
+    y: integer

data/golden/tuples_and_arrays/expected/lir_00_unoptimized.txt

@@ -0,0 +1,41 @@
+(LIR
+  (Declaration x_is_large
+    %t1 = load_input "points" :: array
+    loop points id=L1 in %t1 as el=%points_el_2, idx=%points_i_3
+      %t4 = load_field points_el_2["x"] :: integer
+      %t5 = const 100 :: integer
+      %t6 = call core.gt(%t4, %t5) :: boolean
+      yield %t6
+    end_loop
+  )
+  (Declaration selected_value
+    %t7 = load_input "points" :: array
+    loop points id=L2 in %t7 as el=%points_el_8, idx=%points_i_9
+      %t10 = load_decl x_is_large axes=[points] :: boolean
+      %t11 = load_field points_el_8["x"] :: integer
+      %t12 = load_field points_el_8["y"] :: integer
+      %t13 = select %t10, %t11, %t12 :: integer
+      yield %t13
+    end_loop
+  )
+  (Declaration final_value_per_point
+    %t14 = load_input "points" :: array
+    loop points id=L3 in %t14 as el=%points_el_15, idx=%points_i_16
+      %t17 = load_decl selected_value axes=[points] :: integer
+      %t18 = load_field points_el_15["x"] :: integer
+      %t19 = make_tuple(%t17, %t18) :: tuple<integer>
+      %t20 = Fold %t19 fn="agg.max" :: integer
+      yield %t20
+    end_loop
+  )
+  (Declaration grand_total
+    %acc_21 = decl_acc :: integer
+    %t22 = load_input "points" :: array
+    loop points id=L4 in %t22 as el=%points_el_23, idx=%points_i_24
+      %t25 = load_decl final_value_per_point axes=[points] :: integer
+      %acc_21 = acc_add agg.sum(%acc_21, %t25) :: integer
+    end_loop
+    %t26 = acc_load %acc_21 :: integer
+    yield %t26
+  )
+)

data/golden/tuples_and_arrays/expected/lir_01_hoist_scalar_references.txt

@@ -0,0 +1,41 @@
+(LIR
+  (Declaration x_is_large
+    %t1 = load_input "points" :: array
+    loop points id=L1 in %t1 as el=%points_el_2, idx=%points_i_3
+      %t4 = load_field points_el_2["x"] :: integer
+      %t5 = const 100 :: integer
+      %t6 = call core.gt(%t4, %t5) :: boolean
+      yield %t6
+    end_loop
+  )
+  (Declaration selected_value
+    %t7 = load_input "points" :: array
+    loop points id=L2 in %t7 as el=%points_el_8, idx=%points_i_9
+      %t10 = load_decl x_is_large axes=[points] :: boolean
+      %t11 = load_field points_el_8["x"] :: integer
+      %t12 = load_field points_el_8["y"] :: integer
+      %t13 = select %t10, %t11, %t12 :: integer
+      yield %t13
+    end_loop
+  )
+  (Declaration final_value_per_point
+    %t14 = load_input "points" :: array
+    loop points id=L3 in %t14 as el=%points_el_15, idx=%points_i_16
+      %t17 = load_decl selected_value axes=[points] :: integer
+      %t18 = load_field points_el_15["x"] :: integer
+      %t19 = make_tuple(%t17, %t18) :: tuple<integer>
+      %t20 = Fold %t19 fn="agg.max" :: integer
+      yield %t20
+    end_loop
+  )
+  (Declaration grand_total
+    %acc_21 = decl_acc :: integer
+    %t22 = load_input "points" :: array
+    loop points id=L4 in %t22 as el=%points_el_23, idx=%points_i_24
+      %t25 = load_decl final_value_per_point axes=[points] :: integer
+      %acc_21 = acc_add agg.sum(%acc_21, %t25) :: integer
+    end_loop
+    %t26 = acc_load %acc_21 :: integer
+    yield %t26
+  )
+)

data/golden/tuples_and_arrays/expected/lir_02_inlined.txt

@@ -0,0 +1,62 @@
+(LIR
+  (Declaration x_is_large
+    %t1 = load_input "points" :: array
+    loop points id=L1 in %t1 as el=%points_el_2, idx=%points_i_3
+      %t4 = load_field points_el_2["x"] :: integer
+      %t5 = const 100 :: integer
+      %t6 = call core.gt(%t4, %t5) :: boolean
+      yield %t6
+    end_loop
+  )
+  (Declaration selected_value
+    %t7 = load_input "points" :: array
+    loop points id=L2 in %t7 as el=%points_el_8, idx=%points_i_9
+      %t27 = load_input "points" :: array
+      %t28 = load_field points_el_8["x"] :: integer
+      %t29 = const 100 :: integer
+      %t30 = call core.gt(%t28, %t29) :: boolean
+      %t11 = load_field points_el_8["x"] :: integer
+      %t12 = load_field points_el_8["y"] :: integer
+      %t13 = select %t30, %t11, %t12 :: integer
+      yield %t13
+    end_loop
+  )
+  (Declaration final_value_per_point
+    %t14 = load_input "points" :: array
+    loop points id=L3 in %t14 as el=%points_el_15, idx=%points_i_16
+      %t31 = load_input "points" :: array
+      %t41 = load_input "points" :: array
+      %t42 = load_field points_el_15["x"] :: integer
+      %t43 = const 100 :: integer
+      %t44 = call core.gt(%t42, %t43) :: boolean
+      %t33 = load_field points_el_15["x"] :: integer
+      %t34 = load_field points_el_15["y"] :: integer
+      %t35 = select %t44, %t33, %t34 :: integer
+      %t18 = load_field points_el_15["x"] :: integer
+      %t19 = make_tuple(%t35, %t18) :: tuple<integer>
+      %t20 = Fold %t19 fn="agg.max" :: integer
+      yield %t20
+    end_loop
+  )
+  (Declaration grand_total
+    %acc_21 = decl_acc :: integer
+    %t22 = load_input "points" :: array
+    loop points id=L4 in %t22 as el=%points_el_23, idx=%points_i_24
+      %t36 = load_input "points" :: array
+      %t45 = load_input "points" :: array
+      %t46 = load_input "points" :: array
+      %t47 = load_field points_el_23["x"] :: integer
+      %t48 = const 100 :: integer
+      %t49 = call core.gt(%t47, %t48) :: boolean
+      %t50 = load_field points_el_23["x"] :: integer
+      %t51 = load_field points_el_23["y"] :: integer
+      %t52 = select %t49, %t50, %t51 :: integer
+      %t38 = load_field points_el_23["x"] :: integer
+      %t39 = make_tuple(%t52, %t38) :: tuple<integer>
+      %t40 = Fold %t39 fn="agg.max" :: integer
+      %acc_21 = acc_add agg.sum(%acc_21, %t40) :: integer
+    end_loop
+    %t26 = acc_load %acc_21 :: integer
+    yield %t26
+  )
+)

data/golden/tuples_and_arrays/expected/lir_03_cse.txt

@@ -0,0 +1,51 @@
+(LIR
+  (Declaration x_is_large
+    %t1 = load_input "points" :: array
+    loop points id=L1 in %t1 as el=%points_el_2, idx=%points_i_3
+      %t4 = load_field points_el_2["x"] :: integer
+      %t5 = const 100 :: integer
+      %t6 = call core.gt(%t4, %t5) :: boolean
+      yield %t6
+    end_loop
+  )
+  (Declaration selected_value
+    %t7 = load_input "points" :: array
+    loop points id=L2 in %t7 as el=%points_el_8, idx=%points_i_9
+      %t28 = load_field points_el_8["x"] :: integer
+      %t29 = const 100 :: integer
+      %t12 = load_field points_el_8["y"] :: integer
+      %t30 = call core.gt(%t28, %t29) :: boolean
+      %t13 = select %t30, %t28, %t12 :: integer
+      yield %t13
+    end_loop
+  )
+  (Declaration final_value_per_point
+    %t14 = load_input "points" :: array
+    loop points id=L3 in %t14 as el=%points_el_15, idx=%points_i_16
+      %t42 = load_field points_el_15["x"] :: integer
+      %t43 = const 100 :: integer
+      %t34 = load_field points_el_15["y"] :: integer
+      %t44 = call core.gt(%t42, %t43) :: boolean
+      %t35 = select %t44, %t42, %t34 :: integer
+      %t19 = make_tuple(%t35, %t42) :: tuple<integer>
+      %t20 = Fold %t19 fn="agg.max" :: integer
+      yield %t20
+    end_loop
+  )
+  (Declaration grand_total
+    %acc_21 = decl_acc :: integer
+    %t22 = load_input "points" :: array
+    loop points id=L4 in %t22 as el=%points_el_23, idx=%points_i_24
+      %t47 = load_field points_el_23["x"] :: integer
+      %t48 = const 100 :: integer
+      %t51 = load_field points_el_23["y"] :: integer
+      %t49 = call core.gt(%t47, %t48) :: boolean
+      %t52 = select %t49, %t47, %t51 :: integer
+      %t39 = make_tuple(%t52, %t47) :: tuple<integer>
+      %t40 = Fold %t39 fn="agg.max" :: integer
+      %acc_21 = acc_add agg.sum(%acc_21, %t40) :: integer
+    end_loop
+    %t26 = acc_load %acc_21 :: integer
+    yield %t26
+  )
+)

data/golden/tuples_and_arrays/expected/lir_04_1_loop_fusion.txt

@@ -0,0 +1,51 @@
+(LIR
+  (Declaration x_is_large
+    %t1 = load_input "points" :: array
+    loop points id=L1 in %t1 as el=%points_el_2, idx=%points_i_3
+      %t4 = load_field points_el_2["x"] :: integer
+      %t5 = const 100 :: integer
+      %t6 = call core.gt(%t4, %t5) :: boolean
+      yield %t6
+    end_loop
+  )
+  (Declaration selected_value
+    %t7 = load_input "points" :: array
+    loop points id=L2 in %t7 as el=%points_el_8, idx=%points_i_9
+      %t28 = load_field points_el_8["x"] :: integer
+      %t29 = const 100 :: integer
+      %t12 = load_field points_el_8["y"] :: integer
+      %t30 = call core.gt(%t28, %t29) :: boolean
+      %t13 = select %t30, %t28, %t12 :: integer
+      yield %t13
+    end_loop
+  )
+  (Declaration final_value_per_point
+    %t14 = load_input "points" :: array
+    loop points id=L3 in %t14 as el=%points_el_15, idx=%points_i_16
+      %t42 = load_field points_el_15["x"] :: integer
+      %t43 = const 100 :: integer
+      %t34 = load_field points_el_15["y"] :: integer
+      %t44 = call core.gt(%t42, %t43) :: boolean
+      %t35 = select %t44, %t42, %t34 :: integer
+      %t19 = make_tuple(%t35, %t42) :: tuple<integer>
+      %t20 = Fold %t19 fn="agg.max" :: integer
+      yield %t20
+    end_loop
+  )
+  (Declaration grand_total
+    %acc_21 = decl_acc :: integer
+    %t22 = load_input "points" :: array
+    loop points id=L4 in %t22 as el=%points_el_23, idx=%points_i_24
+      %t47 = load_field points_el_23["x"] :: integer
+      %t48 = const 100 :: integer
+      %t51 = load_field points_el_23["y"] :: integer
+      %t49 = call core.gt(%t47, %t48) :: boolean
+      %t52 = select %t49, %t47, %t51 :: integer
+      %t39 = make_tuple(%t52, %t47) :: tuple<integer>
+      %t40 = Fold %t39 fn="agg.max" :: integer
+      %acc_21 = acc_add agg.sum(%acc_21, %t40) :: integer
+    end_loop
+    %t26 = acc_load %acc_21 :: integer
+    yield %t26
+  )
+)

data/golden/tuples_and_arrays/expected/lir_04_loop_invcm.txt

@@ -0,0 +1,51 @@
+(LIR
+  (Declaration x_is_large
+    %t1 = load_input "points" :: array
+    %t5 = const 100 :: integer
+    loop points id=L1 in %t1 as el=%points_el_2, idx=%points_i_3
+      %t4 = load_field points_el_2["x"] :: integer
+      %t6 = call core.gt(%t4, %t5) :: boolean
+      yield %t6
+    end_loop
+  )
+  (Declaration selected_value
+    %t7 = load_input "points" :: array
+    %t29 = const 100 :: integer
+    loop points id=L2 in %t7 as el=%points_el_8, idx=%points_i_9
+      %t28 = load_field points_el_8["x"] :: integer
+      %t12 = load_field points_el_8["y"] :: integer
+      %t30 = call core.gt(%t28, %t29) :: boolean
+      %t13 = select %t30, %t28, %t12 :: integer
+      yield %t13
+    end_loop
+  )
+  (Declaration final_value_per_point
+    %t14 = load_input "points" :: array
+    %t43 = const 100 :: integer
+    loop points id=L3 in %t14 as el=%points_el_15, idx=%points_i_16
+      %t42 = load_field points_el_15["x"] :: integer
+      %t34 = load_field points_el_15["y"] :: integer
+      %t44 = call core.gt(%t42, %t43) :: boolean
+      %t35 = select %t44, %t42, %t34 :: integer
+      %t19 = make_tuple(%t35, %t42) :: tuple<integer>
+      %t20 = Fold %t19 fn="agg.max" :: integer
+      yield %t20
+    end_loop
+  )
+  (Declaration grand_total
+    %acc_21 = decl_acc :: integer
+    %t22 = load_input "points" :: array
+    %t48 = const 100 :: integer
+    loop points id=L4 in %t22 as el=%points_el_23, idx=%points_i_24
+      %t47 = load_field points_el_23["x"] :: integer
+      %t51 = load_field points_el_23["y"] :: integer
+      %t49 = call core.gt(%t47, %t48) :: boolean
+      %t52 = select %t49, %t47, %t51 :: integer
+      %t39 = make_tuple(%t52, %t47) :: tuple<integer>
+      %t40 = Fold %t39 fn="agg.max" :: integer
+      %acc_21 = acc_add agg.sum(%acc_21, %t40) :: integer
+    end_loop
+    %t26 = acc_load %acc_21 :: integer
+    yield %t26
+  )
+)

data/golden/tuples_and_arrays/expected/lir_06_const_prop.txt

@@ -0,0 +1,51 @@
+(LIR
+  (Declaration x_is_large
+    %t1 = load_input "points" :: array
+    %t5 = const 100 :: integer
+    loop points id=L1 in %t1 as el=%points_el_2, idx=%points_i_3
+      %t4 = load_field points_el_2["x"] :: integer
+      %t6 = call core.gt(%t4, %t5) :: boolean
+      yield %t6
+    end_loop
+  )
+  (Declaration selected_value
+    %t7 = load_input "points" :: array
+    %t29 = const 100 :: integer
+    loop points id=L2 in %t7 as el=%points_el_8, idx=%points_i_9
+      %t28 = load_field points_el_8["x"] :: integer
+      %t12 = load_field points_el_8["y"] :: integer
+      %t30 = call core.gt(%t28, %t29) :: boolean
+      %t13 = select %t30, %t28, %t12 :: integer
+      yield %t13
+    end_loop
+  )
+  (Declaration final_value_per_point
+    %t14 = load_input "points" :: array
+    %t43 = const 100 :: integer
+    loop points id=L3 in %t14 as el=%points_el_15, idx=%points_i_16
+      %t42 = load_field points_el_15["x"] :: integer
+      %t34 = load_field points_el_15["y"] :: integer
+      %t44 = call core.gt(%t42, %t43) :: boolean
+      %t35 = select %t44, %t42, %t34 :: integer
+      %t19 = make_tuple(%t35, %t42) :: tuple<integer>
+      %t20 = Fold %t19 fn="agg.max" :: integer
+      yield %t20
+    end_loop
+  )
+  (Declaration grand_total
+    %acc_21 = decl_acc :: integer
+    %t22 = load_input "points" :: array
+    %t48 = const 100 :: integer
+    loop points id=L4 in %t22 as el=%points_el_23, idx=%points_i_24
+      %t47 = load_field points_el_23["x"] :: integer
+      %t51 = load_field points_el_23["y"] :: integer
+      %t49 = call core.gt(%t47, %t48) :: boolean
+      %t52 = select %t49, %t47, %t51 :: integer
+      %t39 = make_tuple(%t52, %t47) :: tuple<integer>
+      %t40 = Fold %t39 fn="agg.max" :: integer
+      %acc_21 = acc_add agg.sum(%acc_21, %t40) :: integer
+    end_loop
+    %t26 = acc_load %acc_21 :: integer
+    yield %t26
+  )
+)

data/golden/tuples_and_arrays/expected/nast.txt

@@ -0,0 +1,28 @@
+(NAST
+  (TRAIT x_is_large
+    (Call :"core.gt"
+    (InputRef [:points, :point, :x])
+    (Const 100)
+  )
+  )
+  (VALUE selected_value
+    (Call :__select__
+    (Ref x_is_large)
+    (InputRef [:points, :point, :x])
+    (InputRef [:points, :point, :y])
+  )
+  )
+  (VALUE final_value_per_point
+    (Call :"agg.max"
+    (Tuple
+      (Ref selected_value)
+      (InputRef [:points, :point, :x])
+    )
+  )
+  )
+  (VALUE grand_total
+    (Call :"agg.sum"
+    (Ref final_value_per_point)
+  )
+  )
+)