kumi 0.0.24 → 0.0.26

data/golden/game_of_life/expected/nast.txt

@@ -51,7 +51,7 @@
   )
   )
   (VALUE neighbors
-    (Call :"agg.sum"
+    (Call :sum
     (Tuple
       (Ref n)
       (Ref s)
@@ -83,19 +83,19 @@
   )
   )
   (VALUE keep_alive
-    (Call :"core.and"
+    (Call :and
     (Ref n2_alive)
     (Ref alive)
   )
   )
   (VALUE next_alive
-    (Call :"core.or"
+    (Call :or
     (Ref n3_alive)
     (Ref keep_alive)
   )
   )
   (VALUE next_state
-    (Call :__select__
+    (Call :select
     (Ref next_alive)
     (Const 1)
     (Const 0)

data/golden/game_of_life/expected/schema_javascript.mjs

@@ -1,94 +1,96 @@
 export function _next_state(input) {
   let out = [];
   let t285 = input["rows"];
-  let t1539 = t285.length;
-  const t1540 = -1;
-  const t1542 = 0;
-  const t1546 = 1;
-  const t1334 = 3;
-  const t1339 = 2;
-  let t1547 = t1539 - t1546;
+  let t1548 = t285.length;
+  const t1549 = -1;
+  const t1551 = 0;
+  const t1555 = 1;
+  const t1534 = 3;
+  const t1745 = 2;
+  const t1952 = 0;
+  const t291 = 1;
+  let t1556 = t1548 - t1555;
   t285.forEach((rows_el_286, rows_i_287) => {
     let out_1 = [];
-    let t1541 = rows_i_287 - t1540;
-    let t1561 = rows_i_287 - t1546;
-    let t1580 = ((rows_i_287 % t1539) + t1539) % t1539;
-    let t1543 = t1541 >= t1542;
-    let t1544 = t1541 < t1539;
-    let t1549 = Math.min(Math.max(t1541, t1542), t1547);
-    let t1563 = t1561 >= t1542;
-    let t1564 = t1561 < t1539;
-    let t1569 = Math.min(Math.max(t1561, t1542), t1547);
-    let t1581 = t1580 + t1539;
-    let t1545 = t1543 && t1544;
-    let t1550 = t285[t1549];
-    let t1565 = t1563 && t1564;
-    let t1570 = t285[t1569];
-    let t1582 = ((t1581 % t1539) + t1539) % t1539;
-    let t1551 = t1550.length;
-    let t1571 = t1570.length;
-    let t1583 = t285[t1582];
-    let t1584 = t1583.length;
-    let t1640 = t1551 - t1546;
-    let t1696 = t1571 - t1546;
-    let t1592 = t1584 - t1546;
+    let t1550 = rows_i_287 - t1549;
+    let t1570 = rows_i_287 - t1555;
+    let t1589 = ((rows_i_287 % t1548) + t1548) % t1548;
+    let t1552 = t1550 >= t1551;
+    let t1553 = t1550 < t1548;
+    let t1558 = Math.min(Math.max(t1550, t1551), t1556);
+    let t1572 = t1570 >= t1551;
+    let t1573 = t1570 < t1548;
+    let t1578 = Math.min(Math.max(t1570, t1551), t1556);
+    let t1590 = t1589 + t1548;
+    let t1554 = t1552 && t1553;
+    let t1559 = t285[t1558];
+    let t1574 = t1572 && t1573;
+    let t1579 = t285[t1578];
+    let t1591 = ((t1590 % t1548) + t1548) % t1548;
+    let t1560 = t1559.length;
+    let t1580 = t1579.length;
+    let t1592 = t285[t1591];
+    let t1593 = t1592.length;
+    let t1649 = t1560 - t1555;
+    let t1705 = t1580 - t1555;
+    let t1601 = t1593 - t1555;
     rows_el_286.forEach((col_el_288, col_i_289) => {
-      let t1552 = ((col_i_289 % t1551) + t1551) % t1551;
-      let t1553 = t1552 + t1551;
-      let t1554 = ((t1553 % t1551) + t1551) % t1551;
-      let t1555 = t1550[t1554];
-      let t1557 = t1545 ? t1555 : t1542;
-      let t1572 = ((col_i_289 % t1571) + t1571) % t1571;
-      let t1573 = t1572 + t1571;
-      let t1574 = ((t1573 % t1571) + t1571) % t1571;
-      let t1575 = t1570[t1574];
-      let t1577 = t1565 ? t1575 : t1542;
-      let t1586 = col_i_289 - t1540;
-      let t1588 = t1586 >= t1542;
-      let t1589 = t1586 < t1584;
-      let t1590 = t1588 && t1589;
-      let t1594 = Math.min(Math.max(t1586, t1542), t1592);
-      let t1595 = t1583[t1594];
-      let t1597 = t1590 ? t1595 : t1542;
-      let t1606 = col_i_289 - t1546;
-      let t1608 = t1606 >= t1542;
-      let t1609 = t1606 < t1584;
-      let t1610 = t1608 && t1609;
-      let t1614 = Math.min(Math.max(t1606, t1542), t1592);
-      let t1615 = t1583[t1614];
-      let t1617 = t1610 ? t1615 : t1542;
-      let t1636 = t1586 < t1551;
-      let t1637 = t1588 && t1636;
-      let t1638 = t1545 && t1637;
-      let t1642 = Math.min(Math.max(t1586, t1542), t1640);
-      let t1643 = t1550[t1642];
-      let t1645 = t1638 ? t1643 : t1542;
-      let t1664 = t1606 < t1551;
-      let t1665 = t1608 && t1664;
-      let t1666 = t1545 && t1665;
-      let t1670 = Math.min(Math.max(t1606, t1542), t1640);
-      let t1671 = t1550[t1670];
-      let t1673 = t1666 ? t1671 : t1542;
-      let t1692 = t1586 < t1571;
-      let t1693 = t1588 && t1692;
-      let t1694 = t1565 && t1693;
-      let t1698 = Math.min(Math.max(t1586, t1542), t1696);
-      let t1699 = t1570[t1698];
-      let t1701 = t1694 ? t1699 : t1542;
-      let t1720 = t1606 < t1571;
-      let t1721 = t1608 && t1720;
-      let t1722 = t1565 && t1721;
-      let t1726 = Math.min(Math.max(t1606, t1542), t1696);
-      let t1727 = t1570[t1726];
-      let t1729 = t1722 ? t1727 : t1542;
-      let t1332 = [t1557, t1577, t1597, t1617, t1645, t1673, t1701, t1729];
-      let t1333 = t1332.reduce((a, b) => a + b, 0);
-      let t1335 = t1333 == t1334;
-      let t1340 = t1333 == t1339;
-      let t1344 = col_el_288 > t1542;
-      let t1345 = t1340 && t1344;
-      let t528 = t1335 || t1345;
-      let t293 = t528 ? t1546 : t1542;
+      let t1561 = ((col_i_289 % t1560) + t1560) % t1560;
+      let t1562 = t1561 + t1560;
+      let t1563 = ((t1562 % t1560) + t1560) % t1560;
+      let t1564 = t1559[t1563];
+      let t1566 = t1554 ? t1564 : t1551;
+      let t1581 = ((col_i_289 % t1580) + t1580) % t1580;
+      let t1582 = t1581 + t1580;
+      let t1583 = ((t1582 % t1580) + t1580) % t1580;
+      let t1584 = t1579[t1583];
+      let t1586 = t1574 ? t1584 : t1551;
+      let t1595 = col_i_289 - t1549;
+      let t1597 = t1595 >= t1551;
+      let t1598 = t1595 < t1593;
+      let t1599 = t1597 && t1598;
+      let t1603 = Math.min(Math.max(t1595, t1551), t1601);
+      let t1604 = t1592[t1603];
+      let t1606 = t1599 ? t1604 : t1551;
+      let t1615 = col_i_289 - t1555;
+      let t1617 = t1615 >= t1551;
+      let t1618 = t1615 < t1593;
+      let t1619 = t1617 && t1618;
+      let t1623 = Math.min(Math.max(t1615, t1551), t1601);
+      let t1624 = t1592[t1623];
+      let t1626 = t1619 ? t1624 : t1551;
+      let t1645 = t1595 < t1560;
+      let t1646 = t1597 && t1645;
+      let t1647 = t1554 && t1646;
+      let t1651 = Math.min(Math.max(t1595, t1551), t1649);
+      let t1652 = t1559[t1651];
+      let t1654 = t1647 ? t1652 : t1551;
+      let t1673 = t1615 < t1560;
+      let t1674 = t1617 && t1673;
+      let t1675 = t1554 && t1674;
+      let t1679 = Math.min(Math.max(t1615, t1551), t1649);
+      let t1680 = t1559[t1679];
+      let t1682 = t1675 ? t1680 : t1551;
+      let t1701 = t1595 < t1580;
+      let t1702 = t1597 && t1701;
+      let t1703 = t1574 && t1702;
+      let t1707 = Math.min(Math.max(t1595, t1551), t1705);
+      let t1708 = t1579[t1707];
+      let t1710 = t1703 ? t1708 : t1551;
+      let t1729 = t1615 < t1580;
+      let t1730 = t1617 && t1729;
+      let t1731 = t1574 && t1730;
+      let t1735 = Math.min(Math.max(t1615, t1551), t1705);
+      let t1736 = t1579[t1735];
+      let t1738 = t1731 ? t1736 : t1551;
+      let t1545 = [t1566, t1586, t1606, t1626, t1654, t1682, t1710, t1738];
+      let t1546 = t1545.reduce((a, b) => a + b, 0);
+      let t1535 = t1546 == t1534;
+      let t1746 = t1546 == t1745;
+      let t1953 = col_el_288 > t1952;
+      let t1742 = t1746 && t1953;
+      let t1531 = t1535 || t1742;
+      let t293 = t1531 ? t291 : t1952;
       out_1.push(t293);
     });
     out.push(out_1);

data/golden/game_of_life/expected/schema_ruby.rb

@@ -1,5 +1,5 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_7f8da9f72da44456b53831adb45862195177b23a6de44ddaeb2f4548d3a03763
+module Kumi::Compiled::KUMI_283fb5a79e6f8291e61648873c3f66e10aa9bd5f67c9a7f319663c393389237a
   def self.from(input_data = nil)
     instance = Object.new
     instance.extend(self)
@@ -28,94 +28,96 @@ module Kumi::Compiled::KUMI_7f8da9f72da44456b53831adb45862195177b23a6de44ddaeb2f
   def _next_state(input = @input)
     out = []
     t285 = input["rows"] || input[:rows]
-    t1539 = t285.length
-    t1540 = -1
-    t1542 = 0
-    t1546 = 1
-    t1334 = 3
-    t1339 = 2
-    t1547 = t1539 - t1546
+    t1548 = t285.length
+    t1549 = -1
+    t1551 = 0
+    t1555 = 1
+    t1534 = 3
+    t1745 = 2
+    t1952 = 0
+    t291 = 1
+    t1556 = t1548 - t1555
     t285.each_with_index do |rows_el_286, rows_i_287|
       out_1 = []
-      t1541 = rows_i_287 - t1540
-      t1561 = rows_i_287 - t1546
-      t1580 = rows_i_287 % t1539
-      t1543 = t1541 >= t1542
-      t1544 = t1541 < t1539
-      t1549 = [[ t1541, t1542 ].max, t1547 ].min
-      t1563 = t1561 >= t1542
-      t1564 = t1561 < t1539
-      t1569 = [[ t1561, t1542 ].max, t1547 ].min
-      t1581 = t1580 + t1539
-      t1545 = t1543 && t1544
-      t1550 = t285[t1549]
-      t1565 = t1563 && t1564
-      t1570 = t285[t1569]
-      t1582 = t1581 % t1539
-      t1551 = t1550.length
-      t1571 = t1570.length
-      t1583 = t285[t1582]
-      t1584 = t1583.length
-      t1640 = t1551 - t1546
-      t1696 = t1571 - t1546
-      t1592 = t1584 - t1546
+      t1550 = rows_i_287 - t1549
+      t1570 = rows_i_287 - t1555
+      t1589 = rows_i_287 % t1548
+      t1552 = t1550 >= t1551
+      t1553 = t1550 < t1548
+      t1558 = [[ t1550, t1551 ].max, t1556 ].min
+      t1572 = t1570 >= t1551
+      t1573 = t1570 < t1548
+      t1578 = [[ t1570, t1551 ].max, t1556 ].min
+      t1590 = t1589 + t1548
+      t1554 = t1552 && t1553
+      t1559 = t285[t1558]
+      t1574 = t1572 && t1573
+      t1579 = t285[t1578]
+      t1591 = t1590 % t1548
+      t1560 = t1559.length
+      t1580 = t1579.length
+      t1592 = t285[t1591]
+      t1593 = t1592.length
+      t1649 = t1560 - t1555
+      t1705 = t1580 - t1555
+      t1601 = t1593 - t1555
       rows_el_286.each_with_index do |col_el_288, col_i_289|
-        t1552 = col_i_289 % t1551
-        t1553 = t1552 + t1551
-        t1554 = t1553 % t1551
-        t1555 = t1550[t1554]
-        t1557 = t1545 ? t1555 : t1542
-        t1572 = col_i_289 % t1571
-        t1573 = t1572 + t1571
-        t1574 = t1573 % t1571
-        t1575 = t1570[t1574]
-        t1577 = t1565 ? t1575 : t1542
-        t1586 = col_i_289 - t1540
-        t1588 = t1586 >= t1542
-        t1589 = t1586 < t1584
-        t1590 = t1588 && t1589
-        t1594 = [[ t1586, t1542 ].max, t1592 ].min
-        t1595 = t1583[t1594]
-        t1597 = t1590 ? t1595 : t1542
-        t1606 = col_i_289 - t1546
-        t1608 = t1606 >= t1542
-        t1609 = t1606 < t1584
-        t1610 = t1608 && t1609
-        t1614 = [[ t1606, t1542 ].max, t1592 ].min
-        t1615 = t1583[t1614]
-        t1617 = t1610 ? t1615 : t1542
-        t1636 = t1586 < t1551
-        t1637 = t1588 && t1636
-        t1638 = t1545 && t1637
-        t1642 = [[ t1586, t1542 ].max, t1640 ].min
-        t1643 = t1550[t1642]
-        t1645 = t1638 ? t1643 : t1542
-        t1664 = t1606 < t1551
-        t1665 = t1608 && t1664
-        t1666 = t1545 && t1665
-        t1670 = [[ t1606, t1542 ].max, t1640 ].min
-        t1671 = t1550[t1670]
-        t1673 = t1666 ? t1671 : t1542
-        t1692 = t1586 < t1571
-        t1693 = t1588 && t1692
-        t1694 = t1565 && t1693
-        t1698 = [[ t1586, t1542 ].max, t1696 ].min
-        t1699 = t1570[t1698]
-        t1701 = t1694 ? t1699 : t1542
-        t1720 = t1606 < t1571
-        t1721 = t1608 && t1720
-        t1722 = t1565 && t1721
-        t1726 = [[ t1606, t1542 ].max, t1696 ].min
-        t1727 = t1570[t1726]
-        t1729 = t1722 ? t1727 : t1542
-        t1332 = [t1557, t1577, t1597, t1617, t1645, t1673, t1701, t1729]
-        t1333 = t1332.sum
-        t1335 = t1333 == t1334
-        t1340 = t1333 == t1339
-        t1344 = col_el_288 > t1542
-        t1345 = t1340 && t1344
-        t528 = t1335 || t1345
-        t293 = t528 ? t1546 : t1542
+        t1561 = col_i_289 % t1560
+        t1562 = t1561 + t1560
+        t1563 = t1562 % t1560
+        t1564 = t1559[t1563]
+        t1566 = t1554 ? t1564 : t1551
+        t1581 = col_i_289 % t1580
+        t1582 = t1581 + t1580
+        t1583 = t1582 % t1580
+        t1584 = t1579[t1583]
+        t1586 = t1574 ? t1584 : t1551
+        t1595 = col_i_289 - t1549
+        t1597 = t1595 >= t1551
+        t1598 = t1595 < t1593
+        t1599 = t1597 && t1598
+        t1603 = [[ t1595, t1551 ].max, t1601 ].min
+        t1604 = t1592[t1603]
+        t1606 = t1599 ? t1604 : t1551
+        t1615 = col_i_289 - t1555
+        t1617 = t1615 >= t1551
+        t1618 = t1615 < t1593
+        t1619 = t1617 && t1618
+        t1623 = [[ t1615, t1551 ].max, t1601 ].min
+        t1624 = t1592[t1623]
+        t1626 = t1619 ? t1624 : t1551
+        t1645 = t1595 < t1560
+        t1646 = t1597 && t1645
+        t1647 = t1554 && t1646
+        t1651 = [[ t1595, t1551 ].max, t1649 ].min
+        t1652 = t1559[t1651]
+        t1654 = t1647 ? t1652 : t1551
+        t1673 = t1615 < t1560
+        t1674 = t1617 && t1673
+        t1675 = t1554 && t1674
+        t1679 = [[ t1615, t1551 ].max, t1649 ].min
+        t1680 = t1559[t1679]
+        t1682 = t1675 ? t1680 : t1551
+        t1701 = t1595 < t1580
+        t1702 = t1597 && t1701
+        t1703 = t1574 && t1702
+        t1707 = [[ t1595, t1551 ].max, t1705 ].min
+        t1708 = t1579[t1707]
+        t1710 = t1703 ? t1708 : t1551
+        t1729 = t1615 < t1580
+        t1730 = t1617 && t1729
+        t1731 = t1574 && t1730
+        t1735 = [[ t1615, t1551 ].max, t1705 ].min
+        t1736 = t1579[t1735]
+        t1738 = t1731 ? t1736 : t1551
+        t1545 = [t1566, t1586, t1606, t1626, t1654, t1682, t1710, t1738]
+        t1546 = t1545.sum
+        t1535 = t1546 == t1534
+        t1746 = t1546 == t1745
+        t1953 = col_el_288 > t1952
+        t1742 = t1746 && t1953
+        t1531 = t1535 || t1742
+        t293 = t1531 ? t291 : t1952
         out_1 << t293
       end
       out << out_1

data/golden/game_of_life/expected/snast.txt

@@ -61,34 +61,34 @@
         (Ref ne) :: [rows, col] -> integer
         (Ref sw) :: [rows, col] -> integer
         (Ref se) :: [rows, col] -> integer
-      ) :: [rows, col] -> tuple<integer>
-    ) :: [rows, col] -> 
-  ) :: [rows, col] -> 
-  (TRAIT alive
+      ) :: [rows, col] -> tuple<integer, integer, integer, integer, integer, integer, integer, integer>
+    ) :: [rows, col] -> tuple<integer, integer, integer, integer, integer, integer, integer, integer>
+  ) :: [rows, col] -> tuple<integer, integer, integer, integer, integer, integer, integer, integer>
+  (VALUE alive
     (Call :core.gt
       (Ref a) :: [rows, col] -> integer
       (Const 0) :: [] -> integer
     ) :: [rows, col] -> boolean
   ) :: [rows, col] -> boolean
-  (TRAIT n3_alive
+  (VALUE n3_alive
     (Call :core.eq
-      (Ref neighbors) :: [rows, col] -> 
+      (Ref neighbors) :: [rows, col] -> tuple<integer, integer, integer, integer, integer, integer, integer, integer>
       (Const 3) :: [] -> integer
     ) :: [rows, col] -> boolean
   ) :: [rows, col] -> boolean
-  (TRAIT n2_alive
+  (VALUE n2_alive
     (Call :core.eq
-      (Ref neighbors) :: [rows, col] -> 
+      (Ref neighbors) :: [rows, col] -> tuple<integer, integer, integer, integer, integer, integer, integer, integer>
       (Const 2) :: [] -> integer
     ) :: [rows, col] -> boolean
   ) :: [rows, col] -> boolean
-  (TRAIT keep_alive
+  (VALUE keep_alive
     (Call :core.and
       (Ref n2_alive) :: [rows, col] -> boolean
       (Ref alive) :: [rows, col] -> boolean
     ) :: [rows, col] -> boolean
   ) :: [rows, col] -> boolean
-  (TRAIT next_alive
+  (VALUE next_alive
     (Call :core.or
       (Ref n3_alive) :: [rows, col] -> boolean
       (Ref keep_alive) :: [rows, col] -> boolean

data/golden/hash_keys/expected/schema_ruby.rb

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

data/golden/hash_value/expected/nast.txt

@@ -16,7 +16,7 @@
   )
   )
   (VALUE john_user
-    (Call :__select__
+    (Call :select
     (Ref is_john)
     (Ref users)
     (Const "NOT_JOHN")

data/golden/hash_value/expected/schema_ruby.rb

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

data/golden/hash_value/expected/snast.txt

@@ -9,7 +9,7 @@
       ) :: [users] -> pair
     ) :: [users] -> hash
   ) :: [users] -> hash
-  (TRAIT is_john
+  (VALUE is_john
     (Call :core.eq
       (InputRef users.user.name key_chain=[]) :: [users] -> string
       (Const "John") :: [] -> string

data/golden/hierarchical_complex/expected/lir_02_inlined.txt

@@ -57,19 +57,19 @@
       loop offices id=L13 in %t46 as el=%offices_el_47, idx=%offices_i_48
         %t49 = load_field offices_el_47["teams"] :: any
         loop teams id=L14 in %t49 as el=%teams_el_50, idx=%teams_i_51
-          %t52 = load_field teams_el_50["employees"] :: any
-          %t88 = load_input "regions" :: array
-          %t89 = load_field regions_el_44["offices"] :: any
-          %t90 = load_field offices_el_47["teams"] :: any
-          %t91 = load_field teams_el_50["performance_score"] :: float
-          %t92 = const 0.9 :: float
-          %t93 = call core.gte(%t91, %t92) :: boolean
           %t88 = load_input "regions" :: array
           %t89 = load_field regions_el_44["offices"] :: any
           %t90 = load_field offices_el_47["teams"] :: any
           %t91 = load_field teams_el_50["performance_score"] :: float
           %t92 = const 0.9 :: float
           %t93 = call core.gte(%t91, %t92) :: boolean
+          %t101 = load_input "regions" :: array
+          %t102 = load_field regions_el_44["offices"] :: any
+          %t103 = load_field offices_el_47["teams"] :: any
+          %t104 = load_field teams_el_50["performance_score"] :: float
+          %t105 = const 0.9 :: float
+          %t106 = call core.gte(%t104, %t105) :: boolean
+          %t52 = load_field teams_el_50["employees"] :: any
           loop employees id=L15 in %t52 as el=%employees_el_53, idx=%employees_i_54
             %t74 = load_input "regions" :: array
             %t75 = load_field regions_el_44["offices"] :: any
@@ -90,14 +90,14 @@
             %t60 = load_field employees_el_53["salary"] :: float
             %t61 = const 0.3 :: float
             %t62 = call core.mul(%t60, %t61) :: float
-            %t74 = load_input "regions" :: array
-            %t75 = load_field regions_el_44["offices"] :: any
-            %t76 = load_field offices_el_47["teams"] :: any
-            %t77 = load_field teams_el_50["employees"] :: any
-            %t78 = load_field employees_el_53["rating"] :: float
-            %t79 = const 4.5 :: float
-            %t80 = call core.gte(%t78, %t79) :: boolean
-            %t65 = call core.and(%t80, %t93) :: boolean
+            %t94 = load_input "regions" :: array
+            %t95 = load_field regions_el_44["offices"] :: any
+            %t96 = load_field offices_el_47["teams"] :: any
+            %t97 = load_field teams_el_50["employees"] :: any
+            %t98 = load_field employees_el_53["rating"] :: float
+            %t99 = const 4.5 :: float
+            %t100 = call core.gte(%t98, %t99) :: boolean
+            %t65 = call core.and(%t100, %t106) :: boolean
             %t66 = load_field employees_el_53["salary"] :: float
             %t67 = const 0.2 :: float
             %t68 = call core.mul(%t66, %t67) :: float

data/golden/hierarchical_complex/expected/lir_03_cse.txt

@@ -57,10 +57,10 @@
       loop offices id=L13 in %t46 as el=%offices_el_47, idx=%offices_i_48
         %t49 = load_field offices_el_47["teams"] :: any
         loop teams id=L14 in %t49 as el=%teams_el_50, idx=%teams_i_51
-          %t52 = load_field teams_el_50["employees"] :: any
           %t91 = load_field teams_el_50["performance_score"] :: float
           %t92 = const 0.9 :: float
           %t93 = call core.gte(%t91, %t92) :: boolean
+          %t52 = load_field teams_el_50["employees"] :: any
           loop employees id=L15 in %t52 as el=%employees_el_53, idx=%employees_i_54
             %t78 = load_field employees_el_53["rating"] :: float
             %t79 = const 4.5 :: float

data/golden/hierarchical_complex/expected/lir_04_1_loop_fusion.txt

@@ -57,10 +57,10 @@
       loop offices id=L13 in %t46 as el=%offices_el_47, idx=%offices_i_48
         %t49 = load_field offices_el_47["teams"] :: any
         loop teams id=L14 in %t49 as el=%teams_el_50, idx=%teams_i_51
-          %t52 = load_field teams_el_50["employees"] :: any
           %t91 = load_field teams_el_50["performance_score"] :: float
           %t92 = const 0.9 :: float
           %t93 = call core.gte(%t91, %t92) :: boolean
+          %t52 = load_field teams_el_50["employees"] :: any
           loop employees id=L15 in %t52 as el=%employees_el_53, idx=%employees_i_54
             %t78 = load_field employees_el_53["rating"] :: float
             %t79 = const 4.5 :: float

data/golden/hierarchical_complex/expected/lir_04_loop_invcm.txt

@@ -63,9 +63,9 @@
       loop offices id=L13 in %t46 as el=%offices_el_47, idx=%offices_i_48
         %t49 = load_field offices_el_47["teams"] :: any
         loop teams id=L14 in %t49 as el=%teams_el_50, idx=%teams_i_51
-          %t52 = load_field teams_el_50["employees"] :: any
           %t91 = load_field teams_el_50["performance_score"] :: float
           %t93 = call core.gte(%t91, %t92) :: boolean
+          %t52 = load_field teams_el_50["employees"] :: any
           loop employees id=L15 in %t52 as el=%employees_el_53, idx=%employees_i_54
             %t78 = load_field employees_el_53["rating"] :: float
             %t80 = call core.gte(%t78, %t79) :: boolean

data/golden/hierarchical_complex/expected/lir_06_const_prop.txt

@@ -63,9 +63,9 @@
       loop offices id=L13 in %t46 as el=%offices_el_47, idx=%offices_i_48
         %t49 = load_field offices_el_47["teams"] :: any
         loop teams id=L14 in %t49 as el=%teams_el_50, idx=%teams_i_51
-          %t52 = load_field teams_el_50["employees"] :: any
           %t91 = load_field teams_el_50["performance_score"] :: float
           %t93 = call core.gte(%t91, %t92) :: boolean
+          %t52 = load_field teams_el_50["employees"] :: any
           loop employees id=L15 in %t52 as el=%employees_el_53, idx=%employees_i_54
             %t78 = load_field employees_el_53["rating"] :: float
             %t80 = call core.gte(%t78, %t79) :: boolean

data/golden/hierarchical_complex/expected/nast.txt

@@ -26,7 +26,7 @@
         (Ref top_team)
       )
     )
-    (Call :"core.mul"
+    (Call :multiply
       (InputRef [:regions, :region, :offices, :office, :teams, :team, :employees, :employee, :salary])
       (Const 0.3)
     )
@@ -35,11 +35,11 @@
         (Ref high_performer)
         (Ref top_team)
       )
-      (Call :"core.mul"
+      (Call :multiply
         (InputRef [:regions, :region, :offices, :office, :teams, :team, :employees, :employee, :salary])
         (Const 0.2)
       )
-      (Call :"core.mul"
+      (Call :multiply
         (InputRef [:regions, :region, :offices, :office, :teams, :team, :employees, :employee, :salary])
         (Const 0.05)
       )

data/golden/hierarchical_complex/expected/schema_javascript.mjs

@@ -91,9 +91,9 @@ export function _employee_bonus(input) {
       let t49 = offices_el_47["teams"];
       t49.forEach((teams_el_50, teams_i_51) => {
         let out_3 = [];
-        let t52 = teams_el_50["employees"];
         let t91 = teams_el_50["performance_score"];
         let t93 = t91 >= t92;
+        let t52 = teams_el_50["employees"];
         t52.forEach((employees_el_53, employees_i_54) => {
           let t78 = employees_el_53["rating"];
           let t80 = t78 >= t79;