kumi 0.0.18 → 0.0.20

data/golden/streaming_basics/expected/schema_javascript.mjs

@@ -0,0 +1,94 @@
+export function _items_subtotal(input) {
+  let out = [];
+  let t1 = input["items"];
+  t1.forEach((items_el_2, items_i_3) => {
+    let t4 = items_el_2["price"];
+    let t5 = items_el_2["qty"];
+    let t6 = t4 * t5;
+    out.push(t6);
+  });
+  return out;
+}
+
+export function _items_discounted(input) {
+  let out = [];
+  let t7 = input["items"];
+  const t11 = 1.0;
+  let t12 = input["discount"];
+  let t13 = t11 - t12;
+  t7.forEach((items_el_8, items_i_9) => {
+    let t10 = items_el_8["price"];
+    let t14 = t10 * t13;
+    out.push(t14);
+  });
+  return out;
+}
+
+export function _items_is_big(input) {
+  let out = [];
+  let t15 = input["items"];
+  const t19 = 100.0;
+  t15.forEach((items_el_16, items_i_17) => {
+    let t18 = items_el_16["price"];
+    let t20 = t18 > t19;
+    out.push(t20);
+  });
+  return out;
+}
+
+export function _items_effective(input) {
+  let out = [];
+  let t21 = input["items"];
+  const t50 = 100.0;
+  const t26 = 0.9;
+  t21.forEach((items_el_22, items_i_23) => {
+    let t49 = items_el_22["price"];
+    let t54 = items_el_22["qty"];
+    let t51 = t49 > t50;
+    let t55 = t49 * t54;
+    let t27 = t55 * t26;
+    let t29 = t51 ? t27 : t55;
+    out.push(t29);
+  });
+  return out;
+}
+
+export function _total_qty(input) {
+  let acc_30 = 0.0;
+  let t31 = input["items"];
+  t31.forEach((items_el_32, items_i_33) => {
+    let t34 = items_el_32["qty"];
+    acc_30 += t34;
+  });
+  return acc_30;
+}
+
+export function _cart_total(input) {
+  let acc_36 = 0.0;
+  let t37 = input["items"];
+  t37.forEach((items_el_38, items_i_39) => {
+    let t57 = items_el_38["price"];
+    let t58 = items_el_38["qty"];
+    let t59 = t57 * t58;
+    acc_36 += t59;
+  });
+  return acc_36;
+}
+
+export function _cart_total_effective(input) {
+  let acc_42 = 0.0;
+  let t43 = input["items"];
+  const t69 = 100.0;
+  const t63 = 0.9;
+  t43.forEach((items_el_44, items_i_45) => {
+    let t68 = items_el_44["price"];
+    let t73 = items_el_44["qty"];
+    let t70 = t68 > t69;
+    let t74 = t68 * t73;
+    let t64 = t74 * t63;
+    let t66 = t70 ? t64 : t74;
+    acc_42 += t66;
+  });
+  return acc_42;
+}
+

data/golden/streaming_basics/expected/schema_ruby.rb

@@ -0,0 +1,127 @@
+# Autogenerated by Kumi Codegen
+module Kumi::Compiled::KUMI_87a945469ff3b51d9ccc0f72444a2b64bd4b4c6abe1edfd45bfd61d58dff0ab1
+  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 :items_subtotal then _items_subtotal
+    when :items_discounted then _items_discounted
+    when :items_is_big then _items_is_big
+    when :items_effective then _items_effective
+    when :total_qty then _total_qty
+    when :cart_total then _cart_total
+    when :cart_total_effective then _cart_total_effective
+    else raise KeyError, "Unknown declaration"
+    end
+  end
+
+  def _items_subtotal(input = @input)
+    out = []
+    t1 = input["items"] || input[:items]
+    t1.each_with_index do |items_el_2, items_i_3|
+      t4 = items_el_2["price"] || items_el_2[:price]
+      t5 = items_el_2["qty"] || items_el_2[:qty]
+      t6 = t4 * t5
+      out << t6
+    end
+    out
+  end
+
+  def _items_discounted(input = @input)
+    out = []
+    t7 = input["items"] || input[:items]
+    t11 = 1.0
+    t12 = input["discount"] || input[:discount]
+    t13 = t11 - t12
+    t7.each_with_index do |items_el_8, items_i_9|
+      t10 = items_el_8["price"] || items_el_8[:price]
+      t14 = t10 * t13
+      out << t14
+    end
+    out
+  end
+
+  def _items_is_big(input = @input)
+    out = []
+    t15 = input["items"] || input[:items]
+    t19 = 100.0
+    t15.each_with_index do |items_el_16, items_i_17|
+      t18 = items_el_16["price"] || items_el_16[:price]
+      t20 = t18 > t19
+      out << t20
+    end
+    out
+  end
+
+  def _items_effective(input = @input)
+    out = []
+    t21 = input["items"] || input[:items]
+    t50 = 100.0
+    t26 = 0.9
+    t21.each_with_index do |items_el_22, items_i_23|
+      t49 = items_el_22["price"] || items_el_22[:price]
+      t54 = items_el_22["qty"] || items_el_22[:qty]
+      t51 = t49 > t50
+      t55 = t49 * t54
+      t27 = t55 * t26
+      t29 = t51 ? t27 : t55
+      out << t29
+    end
+    out
+  end
+
+  def _total_qty(input = @input)
+    acc_30 = 0.0
+    t31 = input["items"] || input[:items]
+    t31.each_with_index do |items_el_32, items_i_33|
+      t34 = items_el_32["qty"] || items_el_32[:qty]
+      acc_30 += t34
+    end
+    acc_30
+  end
+
+  def _cart_total(input = @input)
+    acc_36 = 0.0
+    t37 = input["items"] || input[:items]
+    t37.each_with_index do |items_el_38, items_i_39|
+      t57 = items_el_38["price"] || items_el_38[:price]
+      t58 = items_el_38["qty"] || items_el_38[:qty]
+      t59 = t57 * t58
+      acc_36 += t59
+    end
+    acc_36
+  end
+
+  def _cart_total_effective(input = @input)
+    acc_42 = 0.0
+    t43 = input["items"] || input[:items]
+    t69 = 100.0
+    t63 = 0.9
+    t43.each_with_index do |items_el_44, items_i_45|
+      t68 = items_el_44["price"] || items_el_44[:price]
+      t73 = items_el_44["qty"] || items_el_44[:qty]
+      t70 = t68 > t69
+      t74 = t68 * t73
+      t64 = t74 * t63
+      t66 = t70 ? t64 : t74
+      acc_42 += t66
+    end
+    acc_42
+  end
+end

data/golden/streaming_basics/expected/snast.txt

@@ -0,0 +1,48 @@
+(SNAST
+  (VALUE items_subtotal
+    (Call :core.mul
+      (InputRef items.item.price key_chain=[]) :: [items] -> float
+      (InputRef items.item.qty key_chain=[]) :: [items] -> integer
+    ) :: [items] -> float
+  ) :: [items] -> float
+  (VALUE items_discounted
+    (Call :core.mul
+      (InputRef items.item.price key_chain=[]) :: [items] -> float
+      (Call :core.sub
+        (Const 1.0) :: [] -> float
+        (InputRef discount key_chain=[]) :: [] -> float
+      ) :: [] -> float
+    ) :: [items] -> float
+  ) :: [items] -> float
+  (TRAIT items_is_big
+    (Call :core.gt
+      (InputRef items.item.price key_chain=[]) :: [items] -> float
+      (Const 100.0) :: [] -> float
+    ) :: [items] -> boolean
+  ) :: [items] -> boolean
+  (VALUE items_effective
+    (Select
+      (Ref items_is_big) :: [items] -> boolean
+      (Call :core.mul
+        (Ref items_subtotal) :: [items] -> float
+        (Const 0.9) :: [] -> float
+      ) :: [items] -> float
+      (Ref items_subtotal) :: [items] -> float
+    ) :: [items] -> float
+  ) :: [items] -> float
+  (VALUE total_qty
+    (Reduce :agg.sum over [items]
+      (InputRef items.item.qty key_chain=[]) :: [items] -> integer
+    ) :: [] -> integer
+  ) :: [] -> integer
+  (VALUE cart_total
+    (Reduce :agg.sum over [items]
+      (Ref items_subtotal) :: [items] -> float
+    ) :: [] -> float
+  ) :: [] -> float
+  (VALUE cart_total_effective
+    (Reduce :agg.sum over [items]
+      (Ref items_effective) :: [items] -> float
+    ) :: [] -> float
+  ) :: [] -> float
+)

data/golden/streaming_basics/expected.json

@@ -0,0 +1,10 @@
+{
+    "items_subtotal":        [240.0, 80.0, 600.0],
+    "items_discounted":      [108.0, 72.0, 180.0],
+    "items_is_big":          [true, false, true],
+    "items_effective":       [216.0, 80.0, 540.0],
+    "total_qty":             6,
+    "cart_total":            920.0,
+    "cart_total_effective":  836.0
+  }
+  

data/golden/streaming_basics/input.json

@@ -0,0 +1,8 @@
+{
+    "items": [
+        { "price": 120.0, "qty": 2 },
+        { "price": 80.0,  "qty": 1 },
+        { "price": 200.0, "qty": 3 }
+    ],
+    "discount": 0.10
+}

data/golden/streaming_basics/schema.kumi

@@ -0,0 +1,24 @@
+schema do
+  input do
+    array :items do
+      hash :item do
+        float   :price
+        integer :qty
+      end
+    end
+    float :discount
+  end
+
+  # Elementwise
+  value :items_subtotal,   input.items.item.price * input.items.item.qty
+  value :items_discounted, input.items.item.price * (1.0 - input.discount)
+
+  # Boolean mask + branch at the same stamp
+  value :items_is_big,     input.items.item.price > 100.0
+  value :items_effective, select(items_is_big, items_subtotal * 0.9, items_subtotal)
+
+  # Reductions (rank 1 -> rank 0)
+  value :total_qty,            fn(:sum, input.items.item.qty)
+  value :cart_total,           fn(:sum, items_subtotal)
+  value :cart_total_effective, fn(:sum, items_effective)
+end

data/golden/tuples/expected/ast.txt

@@ -0,0 +1,48 @@
+(Root
+  inputs: [
+    (InputDeclaration :x :integer)
+  ]
+  values: [
+    (ValueDeclaration :tuple
+      (ArrayExpression
+        (Literal 1)
+        (Literal 2)
+        (Literal 3)
+        (InputReference :x)
+      )
+    )
+    (ValueDeclaration :max_1
+      (CallExpression :max
+        (DeclarationReference :tuple)
+      )
+    )
+    (ValueDeclaration :max_2
+      (CallExpression :max
+        (ArrayExpression
+          (Literal 1)
+          (Literal 2)
+          (Literal 3)
+          (InputReference :x)
+          (Literal 1000)
+        )
+      )
+    )
+    (ValueDeclaration :min_1
+      (CallExpression :min
+        (DeclarationReference :tuple)
+      )
+    )
+    (ValueDeclaration :min_2
+      (CallExpression :min
+        (ArrayExpression
+          (Literal 1)
+          (Literal 2)
+          (Literal 3)
+          (InputReference :x)
+          (Literal -100)
+        )
+      )
+    )
+  ]
+  traits: []
+)

data/golden/tuples/expected/input_plan.txt

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

data/golden/tuples/expected/lir_00_unoptimized.txt

@@ -0,0 +1,40 @@
+(LIR
+  (Declaration tuple
+    %t1 = const 1 :: integer
+    %t2 = const 2 :: integer
+    %t3 = const 3 :: integer
+    %t4 = load_input "x" :: integer
+    %t5 = make_tuple(%t1, %t2, %t3, %t4) :: tuple<integer>
+    yield %t5
+  )
+  (Declaration max_1
+    %t6 = load_decl tuple :: tuple<integer>
+    %t7 = Fold %t6 fn="agg.max" :: integer
+    yield %t7
+  )
+  (Declaration max_2
+    %t8 = const 1 :: integer
+    %t9 = const 2 :: integer
+    %t10 = const 3 :: integer
+    %t11 = load_input "x" :: integer
+    %t12 = const 1000 :: integer
+    %t13 = make_tuple(%t8, %t9, %t10, %t11, %t12) :: tuple<integer>
+    %t14 = Fold %t13 fn="agg.max" :: integer
+    yield %t14
+  )
+  (Declaration min_1
+    %t15 = load_decl tuple :: tuple<integer>
+    %t16 = Fold %t15 fn="agg.min" :: integer
+    yield %t16
+  )
+  (Declaration min_2
+    %t17 = const 1 :: integer
+    %t18 = const 2 :: integer
+    %t19 = const 3 :: integer
+    %t20 = load_input "x" :: integer
+    %t21 = const -100 :: integer
+    %t22 = make_tuple(%t17, %t18, %t19, %t20, %t21) :: tuple<integer>
+    %t23 = Fold %t22 fn="agg.min" :: integer
+    yield %t23
+  )
+)

data/golden/tuples/expected/lir_01_hoist_scalar_references.txt

@@ -0,0 +1,40 @@
+(LIR
+  (Declaration tuple
+    %t1 = const 1 :: integer
+    %t2 = const 2 :: integer
+    %t3 = const 3 :: integer
+    %t4 = load_input "x" :: integer
+    %t5 = make_tuple(%t1, %t2, %t3, %t4) :: tuple<integer>
+    yield %t5
+  )
+  (Declaration max_1
+    %t6 = load_decl tuple :: tuple<integer>
+    %t7 = Fold %t6 fn="agg.max" :: integer
+    yield %t7
+  )
+  (Declaration max_2
+    %t8 = const 1 :: integer
+    %t9 = const 2 :: integer
+    %t10 = const 3 :: integer
+    %t11 = load_input "x" :: integer
+    %t12 = const 1000 :: integer
+    %t13 = make_tuple(%t8, %t9, %t10, %t11, %t12) :: tuple<integer>
+    %t14 = Fold %t13 fn="agg.max" :: integer
+    yield %t14
+  )
+  (Declaration min_1
+    %t15 = load_decl tuple :: tuple<integer>
+    %t16 = Fold %t15 fn="agg.min" :: integer
+    yield %t16
+  )
+  (Declaration min_2
+    %t17 = const 1 :: integer
+    %t18 = const 2 :: integer
+    %t19 = const 3 :: integer
+    %t20 = load_input "x" :: integer
+    %t21 = const -100 :: integer
+    %t22 = make_tuple(%t17, %t18, %t19, %t20, %t21) :: tuple<integer>
+    %t23 = Fold %t22 fn="agg.min" :: integer
+    yield %t23
+  )
+)

data/golden/tuples/expected/lir_02_inlined.txt

@@ -0,0 +1,48 @@
+(LIR
+  (Declaration tuple
+    %t1 = const 1 :: integer
+    %t2 = const 2 :: integer
+    %t3 = const 3 :: integer
+    %t4 = load_input "x" :: integer
+    %t5 = make_tuple(%t1, %t2, %t3, %t4) :: tuple<integer>
+    yield %t5
+  )
+  (Declaration max_1
+    %t24 = const 1 :: integer
+    %t25 = const 2 :: integer
+    %t26 = const 3 :: integer
+    %t27 = load_input "x" :: integer
+    %t28 = make_tuple(%t24, %t25, %t26, %t27) :: tuple<integer>
+    %t7 = Fold %t28 fn="agg.max" :: integer
+    yield %t7
+  )
+  (Declaration max_2
+    %t8 = const 1 :: integer
+    %t9 = const 2 :: integer
+    %t10 = const 3 :: integer
+    %t11 = load_input "x" :: integer
+    %t12 = const 1000 :: integer
+    %t13 = make_tuple(%t8, %t9, %t10, %t11, %t12) :: tuple<integer>
+    %t14 = Fold %t13 fn="agg.max" :: integer
+    yield %t14
+  )
+  (Declaration min_1
+    %t29 = const 1 :: integer
+    %t30 = const 2 :: integer
+    %t31 = const 3 :: integer
+    %t32 = load_input "x" :: integer
+    %t33 = make_tuple(%t29, %t30, %t31, %t32) :: tuple<integer>
+    %t16 = Fold %t33 fn="agg.min" :: integer
+    yield %t16
+  )
+  (Declaration min_2
+    %t17 = const 1 :: integer
+    %t18 = const 2 :: integer
+    %t19 = const 3 :: integer
+    %t20 = load_input "x" :: integer
+    %t21 = const -100 :: integer
+    %t22 = make_tuple(%t17, %t18, %t19, %t20, %t21) :: tuple<integer>
+    %t23 = Fold %t22 fn="agg.min" :: integer
+    yield %t23
+  )
+)

data/golden/tuples/expected/lir_03_cse.txt

@@ -0,0 +1,48 @@
+(LIR
+  (Declaration tuple
+    %t1 = const 1 :: integer
+    %t2 = const 2 :: integer
+    %t3 = const 3 :: integer
+    %t4 = load_input "x" :: integer
+    %t5 = make_tuple(%t1, %t2, %t3, %t4) :: tuple<integer>
+    yield %t5
+  )
+  (Declaration max_1
+    %t24 = const 1 :: integer
+    %t25 = const 2 :: integer
+    %t26 = const 3 :: integer
+    %t27 = load_input "x" :: integer
+    %t28 = make_tuple(%t24, %t25, %t26, %t27) :: tuple<integer>
+    %t7 = Fold %t28 fn="agg.max" :: integer
+    yield %t7
+  )
+  (Declaration max_2
+    %t8 = const 1 :: integer
+    %t9 = const 2 :: integer
+    %t10 = const 3 :: integer
+    %t11 = load_input "x" :: integer
+    %t12 = const 1000 :: integer
+    %t13 = make_tuple(%t8, %t9, %t10, %t11, %t12) :: tuple<integer>
+    %t14 = Fold %t13 fn="agg.max" :: integer
+    yield %t14
+  )
+  (Declaration min_1
+    %t29 = const 1 :: integer
+    %t30 = const 2 :: integer
+    %t31 = const 3 :: integer
+    %t32 = load_input "x" :: integer
+    %t33 = make_tuple(%t29, %t30, %t31, %t32) :: tuple<integer>
+    %t16 = Fold %t33 fn="agg.min" :: integer
+    yield %t16
+  )
+  (Declaration min_2
+    %t17 = const 1 :: integer
+    %t18 = const 2 :: integer
+    %t19 = const 3 :: integer
+    %t20 = load_input "x" :: integer
+    %t21 = const -100 :: integer
+    %t22 = make_tuple(%t17, %t18, %t19, %t20, %t21) :: tuple<integer>
+    %t23 = Fold %t22 fn="agg.min" :: integer
+    yield %t23
+  )
+)

data/golden/tuples/expected/lir_04_1_loop_fusion.txt

@@ -0,0 +1,48 @@
+(LIR
+  (Declaration tuple
+    %t1 = const 1 :: integer
+    %t2 = const 2 :: integer
+    %t3 = const 3 :: integer
+    %t4 = load_input "x" :: integer
+    %t5 = make_tuple(%t1, %t2, %t3, %t4) :: tuple<integer>
+    yield %t5
+  )
+  (Declaration max_1
+    %t24 = const 1 :: integer
+    %t25 = const 2 :: integer
+    %t26 = const 3 :: integer
+    %t27 = load_input "x" :: integer
+    %t28 = make_tuple(%t24, %t25, %t26, %t27) :: tuple<integer>
+    %t7 = Fold %t28 fn="agg.max" :: integer
+    yield %t7
+  )
+  (Declaration max_2
+    %t8 = const 1 :: integer
+    %t9 = const 2 :: integer
+    %t10 = const 3 :: integer
+    %t11 = load_input "x" :: integer
+    %t12 = const 1000 :: integer
+    %t13 = make_tuple(%t8, %t9, %t10, %t11, %t12) :: tuple<integer>
+    %t14 = Fold %t13 fn="agg.max" :: integer
+    yield %t14
+  )
+  (Declaration min_1
+    %t29 = const 1 :: integer
+    %t30 = const 2 :: integer
+    %t31 = const 3 :: integer
+    %t32 = load_input "x" :: integer
+    %t33 = make_tuple(%t29, %t30, %t31, %t32) :: tuple<integer>
+    %t16 = Fold %t33 fn="agg.min" :: integer
+    yield %t16
+  )
+  (Declaration min_2
+    %t17 = const 1 :: integer
+    %t18 = const 2 :: integer
+    %t19 = const 3 :: integer
+    %t20 = load_input "x" :: integer
+    %t21 = const -100 :: integer
+    %t22 = make_tuple(%t17, %t18, %t19, %t20, %t21) :: tuple<integer>
+    %t23 = Fold %t22 fn="agg.min" :: integer
+    yield %t23
+  )
+)

data/golden/tuples/expected/lir_04_loop_invcm.txt

@@ -0,0 +1,48 @@
+(LIR
+  (Declaration tuple
+    %t1 = const 1 :: integer
+    %t2 = const 2 :: integer
+    %t3 = const 3 :: integer
+    %t4 = load_input "x" :: integer
+    %t5 = make_tuple(%t1, %t2, %t3, %t4) :: tuple<integer>
+    yield %t5
+  )
+  (Declaration max_1
+    %t24 = const 1 :: integer
+    %t25 = const 2 :: integer
+    %t26 = const 3 :: integer
+    %t27 = load_input "x" :: integer
+    %t28 = make_tuple(%t24, %t25, %t26, %t27) :: tuple<integer>
+    %t7 = Fold %t28 fn="agg.max" :: integer
+    yield %t7
+  )
+  (Declaration max_2
+    %t8 = const 1 :: integer
+    %t9 = const 2 :: integer
+    %t10 = const 3 :: integer
+    %t11 = load_input "x" :: integer
+    %t12 = const 1000 :: integer
+    %t13 = make_tuple(%t8, %t9, %t10, %t11, %t12) :: tuple<integer>
+    %t14 = Fold %t13 fn="agg.max" :: integer
+    yield %t14
+  )
+  (Declaration min_1
+    %t29 = const 1 :: integer
+    %t30 = const 2 :: integer
+    %t31 = const 3 :: integer
+    %t32 = load_input "x" :: integer
+    %t33 = make_tuple(%t29, %t30, %t31, %t32) :: tuple<integer>
+    %t16 = Fold %t33 fn="agg.min" :: integer
+    yield %t16
+  )
+  (Declaration min_2
+    %t17 = const 1 :: integer
+    %t18 = const 2 :: integer
+    %t19 = const 3 :: integer
+    %t20 = load_input "x" :: integer
+    %t21 = const -100 :: integer
+    %t22 = make_tuple(%t17, %t18, %t19, %t20, %t21) :: tuple<integer>
+    %t23 = Fold %t22 fn="agg.min" :: integer
+    yield %t23
+  )
+)

data/golden/tuples/expected/lir_06_const_prop.txt

@@ -0,0 +1,48 @@
+(LIR
+  (Declaration tuple
+    %t1 = const 1 :: integer
+    %t2 = const 2 :: integer
+    %t3 = const 3 :: integer
+    %t4 = load_input "x" :: integer
+    %t5 = make_tuple(%t1, %t2, %t3, %t4) :: tuple<integer>
+    yield %t5
+  )
+  (Declaration max_1
+    %t24 = const 1 :: integer
+    %t25 = const 2 :: integer
+    %t26 = const 3 :: integer
+    %t27 = load_input "x" :: integer
+    %t28 = make_tuple(%t24, %t25, %t26, %t27) :: tuple<integer>
+    %t7 = Fold %t28 fn="agg.max" :: integer
+    yield %t7
+  )
+  (Declaration max_2
+    %t8 = const 1 :: integer
+    %t9 = const 2 :: integer
+    %t10 = const 3 :: integer
+    %t11 = load_input "x" :: integer
+    %t12 = const 1000 :: integer
+    %t13 = make_tuple(%t8, %t9, %t10, %t11, %t12) :: tuple<integer>
+    %t14 = Fold %t13 fn="agg.max" :: integer
+    yield %t14
+  )
+  (Declaration min_1
+    %t29 = const 1 :: integer
+    %t30 = const 2 :: integer
+    %t31 = const 3 :: integer
+    %t32 = load_input "x" :: integer
+    %t33 = make_tuple(%t29, %t30, %t31, %t32) :: tuple<integer>
+    %t16 = Fold %t33 fn="agg.min" :: integer
+    yield %t16
+  )
+  (Declaration min_2
+    %t17 = const 1 :: integer
+    %t18 = const 2 :: integer
+    %t19 = const 3 :: integer
+    %t20 = load_input "x" :: integer
+    %t21 = const -100 :: integer
+    %t22 = make_tuple(%t17, %t18, %t19, %t20, %t21) :: tuple<integer>
+    %t23 = Fold %t22 fn="agg.min" :: integer
+    yield %t23
+  )
+)