diff options
| author | azidar | 2015-07-10 13:25:21 -0700 |
|---|---|---|
| committer | azidar | 2015-07-14 11:29:55 -0700 |
| commit | 0bfb3618b654a4082cc2780887b3ca32e374f455 (patch) | |
| tree | 230b7cbc96589be229e6f3d87f21300fb8fd84c3 /test/chisel3/Core.fir | |
| parent | 0d63d521de85d1c6b9109e019101d0f575d063f7 (diff) | |
Added clock support
Diffstat (limited to 'test/chisel3/Core.fir')
| -rw-r--r-- | test/chisel3/Core.fir | 1274 |
1 files changed, 638 insertions, 636 deletions
diff --git a/test/chisel3/Core.fir b/test/chisel3/Core.fir index e9aef65f..7e87bb07 100644 --- a/test/chisel3/Core.fir +++ b/test/chisel3/Core.fir @@ -364,646 +364,648 @@ circuit Core : regFile.waddr := ex_rd_addr regFile.wdata := regWrite module Control : - output ctrl : {flip inst : UInt<32>, flip stall : UInt<1>, pc_sel : UInt<1>, inst_re : UInt<1>, inst_type : UInt<1>, A_sel : UInt<1>, B_sel : UInt<1>, imm_sel : UInt<3>, alu_op : UInt<4>, br_type : UInt<3>, data_re : UInt<1>, st_type : UInt<2>, ld_type : UInt<3>, wb_sel : UInt<2>, wb_en : UInt<1>, csr_cmd : UInt<2>} + input clk : Clock + input reset : UInt<1> + output ctrl : {flip inst : UInt<32>, st_type : UInt<2>, ld_type : UInt<3>, wb_sel : UInt<2>, wb_en : UInt<1>, csr_cmd : UInt<2>, pc_sel : UInt<1>, inst_re : UInt<1>, flip stall : UInt<1>, data_re : UInt<1>, inst_type : UInt<1>, A_sel : UInt<1>, B_sel : UInt<1>, imm_sel : UInt<3>, alu_op : UInt<4>, br_type : UInt<3>} - node T_1436 = bit-and(UInt<7>(127), ctrl.inst) - node T_1437 = eq(T_1436, UInt<6>(55)) - node T_1438 = bit-and(UInt<7>(127), ctrl.inst) - node T_1439 = eq(T_1438, UInt<5>(23)) - node T_1440 = bit-and(UInt<7>(127), ctrl.inst) - node T_1441 = eq(T_1440, UInt<7>(111)) - node T_1442 = bit-and(UInt<15>(28799), ctrl.inst) - node T_1443 = eq(T_1442, UInt<7>(103)) - node T_1444 = bit-and(UInt<15>(28799), ctrl.inst) - node T_1445 = eq(T_1444, UInt<7>(99)) - node T_1446 = bit-and(UInt<15>(28799), ctrl.inst) - node T_1447 = eq(T_1446, UInt<13>(4195)) - node T_1448 = bit-and(UInt<15>(28799), ctrl.inst) - node T_1449 = eq(T_1448, UInt<15>(16483)) - node T_1450 = bit-and(UInt<15>(28799), ctrl.inst) - node T_1451 = eq(T_1450, UInt<15>(20579)) - node T_1452 = bit-and(UInt<15>(28799), ctrl.inst) - node T_1453 = eq(T_1452, UInt<15>(24675)) - node T_1454 = bit-and(UInt<15>(28799), ctrl.inst) - node T_1455 = eq(T_1454, UInt<15>(28771)) - node T_1456 = bit-and(UInt<15>(28799), ctrl.inst) - node T_1457 = eq(T_1456, UInt<2>(3)) - node T_1458 = bit-and(UInt<15>(28799), ctrl.inst) - node T_1459 = eq(T_1458, UInt<13>(4099)) - node T_1460 = bit-and(UInt<15>(28799), ctrl.inst) - node T_1461 = eq(T_1460, UInt<14>(8195)) - node T_1462 = bit-and(UInt<15>(28799), ctrl.inst) - node T_1463 = eq(T_1462, UInt<15>(16387)) - node T_1464 = bit-and(UInt<15>(28799), ctrl.inst) - node T_1465 = eq(T_1464, UInt<15>(20483)) - node T_1466 = bit-and(UInt<15>(28799), ctrl.inst) - node T_1467 = eq(T_1466, UInt<6>(35)) - node T_1468 = bit-and(UInt<15>(28799), ctrl.inst) - node T_1469 = eq(T_1468, UInt<13>(4131)) - node T_1470 = bit-and(UInt<15>(28799), ctrl.inst) - node T_1471 = eq(T_1470, UInt<14>(8227)) - node T_1472 = bit-and(UInt<15>(28799), ctrl.inst) - node T_1473 = eq(T_1472, UInt<5>(19)) - node T_1474 = bit-and(UInt<15>(28799), ctrl.inst) - node T_1475 = eq(T_1474, UInt<14>(8211)) - node T_1476 = bit-and(UInt<15>(28799), ctrl.inst) - node T_1477 = eq(T_1476, UInt<14>(12307)) - node T_1478 = bit-and(UInt<15>(28799), ctrl.inst) - node T_1479 = eq(T_1478, UInt<15>(16403)) - node T_1480 = bit-and(UInt<15>(28799), ctrl.inst) - node T_1481 = eq(T_1480, UInt<15>(24595)) - node T_1482 = bit-and(UInt<15>(28799), ctrl.inst) - node T_1483 = eq(T_1482, UInt<15>(28691)) - node T_1484 = bit-and(UInt<32>(4261441663), ctrl.inst) - node T_1485 = eq(T_1484, UInt<13>(4115)) - node T_1486 = bit-and(UInt<32>(4261441663), ctrl.inst) - node T_1487 = eq(T_1486, UInt<15>(20499)) - node T_1488 = bit-and(UInt<32>(4261441663), ctrl.inst) - node T_1489 = eq(T_1488, UInt<31>(1073762323)) - node T_1490 = bit-and(UInt<32>(4261441663), ctrl.inst) - node T_1491 = eq(T_1490, UInt<6>(51)) - node T_1492 = bit-and(UInt<32>(4261441663), ctrl.inst) - node T_1493 = eq(T_1492, UInt<31>(1073741875)) - node T_1494 = bit-and(UInt<32>(4261441663), ctrl.inst) - node T_1495 = eq(T_1494, UInt<13>(4147)) - node T_1496 = bit-and(UInt<32>(4261441663), ctrl.inst) - node T_1497 = eq(T_1496, UInt<14>(8243)) - node T_1498 = bit-and(UInt<32>(4261441663), ctrl.inst) - node T_1499 = eq(T_1498, UInt<14>(12339)) - node T_1500 = bit-and(UInt<32>(4261441663), ctrl.inst) - node T_1501 = eq(T_1500, UInt<15>(16435)) - node T_1502 = bit-and(UInt<32>(4261441663), ctrl.inst) - node T_1503 = eq(T_1502, UInt<15>(20531)) - node T_1504 = bit-and(UInt<32>(4261441663), ctrl.inst) - node T_1505 = eq(T_1504, UInt<31>(1073762355)) - node T_1506 = bit-and(UInt<32>(4261441663), ctrl.inst) - node T_1507 = eq(T_1506, UInt<15>(24627)) - node T_1508 = bit-and(UInt<32>(4261441663), ctrl.inst) - node T_1509 = eq(T_1508, UInt<15>(28723)) - node T_1510 = bit-and(UInt<15>(28799), ctrl.inst) - node T_1511 = eq(T_1510, UInt<13>(4211)) - node T_1512 = bit-and(UInt<15>(28799), ctrl.inst) - node T_1513 = eq(T_1512, UInt<14>(8307)) - node T_1514 = bit-and(UInt<15>(28799), ctrl.inst) - node T_1515 = eq(T_1514, UInt<14>(12403)) - node T_1516 = bit-and(UInt<15>(28799), ctrl.inst) - node T_1517 = eq(T_1516, UInt<15>(20595)) - node T_1518 = bit-and(UInt<15>(28799), ctrl.inst) - node T_1519 = eq(T_1518, UInt<15>(24691)) - node T_1520 = bit-and(UInt<15>(28799), ctrl.inst) - node T_1521 = eq(T_1520, UInt<15>(28787)) - node T_1522 = mux(T_1521, UInt<1>(0), UInt<1>(0)) - node T_1523 = mux(T_1519, UInt<1>(0), T_1522) - node T_1524 = mux(T_1517, UInt<1>(0), T_1523) - node T_1525 = mux(T_1515, UInt<1>(0), T_1524) - node T_1526 = mux(T_1513, UInt<1>(0), T_1525) - node T_1527 = mux(T_1511, UInt<1>(0), T_1526) - node T_1528 = mux(T_1509, UInt<1>(0), T_1527) - node T_1529 = mux(T_1507, UInt<1>(0), T_1528) - node T_1530 = mux(T_1505, UInt<1>(0), T_1529) - node T_1531 = mux(T_1503, UInt<1>(0), T_1530) - node T_1532 = mux(T_1501, UInt<1>(0), T_1531) - node T_1533 = mux(T_1499, UInt<1>(0), T_1532) - node T_1534 = mux(T_1497, UInt<1>(0), T_1533) - node T_1535 = mux(T_1495, UInt<1>(0), T_1534) - node T_1536 = mux(T_1493, UInt<1>(0), T_1535) - node T_1537 = mux(T_1491, UInt<1>(0), T_1536) - node T_1538 = mux(T_1489, UInt<1>(0), T_1537) - node T_1539 = mux(T_1487, UInt<1>(0), T_1538) - node T_1540 = mux(T_1485, UInt<1>(0), T_1539) - node T_1541 = mux(T_1483, UInt<1>(0), T_1540) - node T_1542 = mux(T_1481, UInt<1>(0), T_1541) - node T_1543 = mux(T_1479, UInt<1>(0), T_1542) - node T_1544 = mux(T_1477, UInt<1>(0), T_1543) - node T_1545 = mux(T_1475, UInt<1>(0), T_1544) - node T_1546 = mux(T_1473, UInt<1>(0), T_1545) - node T_1547 = mux(T_1471, UInt<1>(0), T_1546) - node T_1548 = mux(T_1469, UInt<1>(0), T_1547) - node T_1549 = mux(T_1467, UInt<1>(0), T_1548) - node T_1550 = mux(T_1465, UInt<1>(0), T_1549) - node T_1551 = mux(T_1463, UInt<1>(0), T_1550) - node T_1552 = mux(T_1461, UInt<1>(0), T_1551) - node T_1553 = mux(T_1459, UInt<1>(0), T_1552) - node T_1554 = mux(T_1457, UInt<1>(0), T_1553) - node T_1555 = mux(T_1455, UInt<1>(0), T_1554) - node T_1556 = mux(T_1453, UInt<1>(0), T_1555) - node T_1557 = mux(T_1451, UInt<1>(0), T_1556) - node T_1558 = mux(T_1449, UInt<1>(0), T_1557) - node T_1559 = mux(T_1447, UInt<1>(0), T_1558) - node T_1560 = mux(T_1445, UInt<1>(0), T_1559) - node T_1561 = mux(T_1443, UInt<1>(1), T_1560) - node T_1562 = mux(T_1441, UInt<1>(1), T_1561) - node T_1563 = mux(T_1439, UInt<1>(0), T_1562) - node T_1564 = mux(T_1437, UInt<1>(0), T_1563) - node T_1565 = mux(T_1521, UInt<1>(1), UInt<1>(1)) - node T_1566 = mux(T_1519, UInt<1>(1), T_1565) - node T_1567 = mux(T_1517, UInt<1>(1), T_1566) - node T_1568 = mux(T_1515, UInt<1>(0), T_1567) - node T_1569 = mux(T_1513, UInt<1>(0), T_1568) - node T_1570 = mux(T_1511, UInt<1>(0), T_1569) - node T_1571 = mux(T_1509, UInt<1>(0), T_1570) - node T_1572 = mux(T_1507, UInt<1>(0), T_1571) - node T_1573 = mux(T_1505, UInt<1>(0), T_1572) - node T_1574 = mux(T_1503, UInt<1>(0), T_1573) - node T_1575 = mux(T_1501, UInt<1>(0), T_1574) - node T_1576 = mux(T_1499, UInt<1>(0), T_1575) - node T_1577 = mux(T_1497, UInt<1>(0), T_1576) - node T_1578 = mux(T_1495, UInt<1>(0), T_1577) - node T_1579 = mux(T_1493, UInt<1>(0), T_1578) - node T_1580 = mux(T_1491, UInt<1>(0), T_1579) - node T_1581 = mux(T_1489, UInt<1>(0), T_1580) - node T_1582 = mux(T_1487, UInt<1>(0), T_1581) - node T_1583 = mux(T_1485, UInt<1>(0), T_1582) - node T_1584 = mux(T_1483, UInt<1>(0), T_1583) - node T_1585 = mux(T_1481, UInt<1>(0), T_1584) - node T_1586 = mux(T_1479, UInt<1>(0), T_1585) - node T_1587 = mux(T_1477, UInt<1>(0), T_1586) - node T_1588 = mux(T_1475, UInt<1>(0), T_1587) - node T_1589 = mux(T_1473, UInt<1>(0), T_1588) - node T_1590 = mux(T_1471, UInt<1>(0), T_1589) - node T_1591 = mux(T_1469, UInt<1>(0), T_1590) - node T_1592 = mux(T_1467, UInt<1>(0), T_1591) - node T_1593 = mux(T_1465, UInt<1>(0), T_1592) - node T_1594 = mux(T_1463, UInt<1>(0), T_1593) - node T_1595 = mux(T_1461, UInt<1>(0), T_1594) - node T_1596 = mux(T_1459, UInt<1>(0), T_1595) - node T_1597 = mux(T_1457, UInt<1>(0), T_1596) - node T_1598 = mux(T_1455, UInt<1>(1), T_1597) - node T_1599 = mux(T_1453, UInt<1>(1), T_1598) - node T_1600 = mux(T_1451, UInt<1>(1), T_1599) - node T_1601 = mux(T_1449, UInt<1>(1), T_1600) - node T_1602 = mux(T_1447, UInt<1>(1), T_1601) - node T_1603 = mux(T_1445, UInt<1>(1), T_1602) - node T_1604 = mux(T_1443, UInt<1>(0), T_1603) - node T_1605 = mux(T_1441, UInt<1>(1), T_1604) - node T_1606 = mux(T_1439, UInt<1>(1), T_1605) - node T_1607 = mux(T_1437, UInt<1>(1), T_1606) - node T_1608 = mux(T_1521, UInt<1>(1), UInt<1>(0)) - node T_1609 = mux(T_1519, UInt<1>(1), T_1608) - node T_1610 = mux(T_1517, UInt<1>(1), T_1609) - node T_1611 = mux(T_1515, UInt<1>(0), T_1610) - node T_1612 = mux(T_1513, UInt<1>(0), T_1611) - node T_1613 = mux(T_1511, UInt<1>(0), T_1612) - node T_1614 = mux(T_1509, UInt<1>(0), T_1613) - node T_1615 = mux(T_1507, UInt<1>(0), T_1614) - node T_1616 = mux(T_1505, UInt<1>(0), T_1615) - node T_1617 = mux(T_1503, UInt<1>(0), T_1616) - node T_1618 = mux(T_1501, UInt<1>(0), T_1617) - node T_1619 = mux(T_1499, UInt<1>(0), T_1618) - node T_1620 = mux(T_1497, UInt<1>(0), T_1619) - node T_1621 = mux(T_1495, UInt<1>(0), T_1620) - node T_1622 = mux(T_1493, UInt<1>(0), T_1621) - node T_1623 = mux(T_1491, UInt<1>(0), T_1622) - node T_1624 = mux(T_1489, UInt<1>(1), T_1623) - node T_1625 = mux(T_1487, UInt<1>(1), T_1624) - node T_1626 = mux(T_1485, UInt<1>(1), T_1625) - node T_1627 = mux(T_1483, UInt<1>(1), T_1626) - node T_1628 = mux(T_1481, UInt<1>(1), T_1627) - node T_1629 = mux(T_1479, UInt<1>(1), T_1628) - node T_1630 = mux(T_1477, UInt<1>(1), T_1629) - node T_1631 = mux(T_1475, UInt<1>(1), T_1630) - node T_1632 = mux(T_1473, UInt<1>(1), T_1631) - node T_1633 = mux(T_1471, UInt<1>(1), T_1632) - node T_1634 = mux(T_1469, UInt<1>(1), T_1633) - node T_1635 = mux(T_1467, UInt<1>(1), T_1634) - node T_1636 = mux(T_1465, UInt<1>(1), T_1635) - node T_1637 = mux(T_1463, UInt<1>(1), T_1636) - node T_1638 = mux(T_1461, UInt<1>(1), T_1637) - node T_1639 = mux(T_1459, UInt<1>(1), T_1638) - node T_1640 = mux(T_1457, UInt<1>(1), T_1639) - node T_1641 = mux(T_1455, UInt<1>(1), T_1640) - node T_1642 = mux(T_1453, UInt<1>(1), T_1641) - node T_1643 = mux(T_1451, UInt<1>(1), T_1642) - node T_1644 = mux(T_1449, UInt<1>(1), T_1643) - node T_1645 = mux(T_1447, UInt<1>(1), T_1644) - node T_1646 = mux(T_1445, UInt<1>(1), T_1645) - node T_1647 = mux(T_1443, UInt<1>(1), T_1646) - node T_1648 = mux(T_1441, UInt<1>(1), T_1647) - node T_1649 = mux(T_1439, UInt<1>(1), T_1648) - node T_1650 = mux(T_1437, UInt<1>(1), T_1649) - node T_1651 = mux(T_1521, UInt<3>(5), UInt<3>(7)) - node T_1652 = mux(T_1519, UInt<3>(5), T_1651) - node T_1653 = mux(T_1517, UInt<3>(5), T_1652) - node T_1654 = mux(T_1515, UInt<3>(5), T_1653) - node T_1655 = mux(T_1513, UInt<3>(5), T_1654) - node T_1656 = mux(T_1511, UInt<3>(5), T_1655) - node T_1657 = mux(T_1509, UInt<3>(7), T_1656) - node T_1658 = mux(T_1507, UInt<3>(7), T_1657) - node T_1659 = mux(T_1505, UInt<3>(7), T_1658) - node T_1660 = mux(T_1503, UInt<3>(7), T_1659) - node T_1661 = mux(T_1501, UInt<3>(7), T_1660) - node T_1662 = mux(T_1499, UInt<3>(7), T_1661) - node T_1663 = mux(T_1497, UInt<3>(7), T_1662) - node T_1664 = mux(T_1495, UInt<3>(7), T_1663) - node T_1665 = mux(T_1493, UInt<3>(7), T_1664) - node T_1666 = mux(T_1491, UInt<3>(7), T_1665) - node T_1667 = mux(T_1489, UInt<3>(0), T_1666) - node T_1668 = mux(T_1487, UInt<3>(0), T_1667) - node T_1669 = mux(T_1485, UInt<3>(0), T_1668) - node T_1670 = mux(T_1483, UInt<3>(0), T_1669) - node T_1671 = mux(T_1481, UInt<3>(0), T_1670) - node T_1672 = mux(T_1479, UInt<3>(0), T_1671) - node T_1673 = mux(T_1477, UInt<3>(0), T_1672) - node T_1674 = mux(T_1475, UInt<3>(0), T_1673) - node T_1675 = mux(T_1473, UInt<3>(0), T_1674) - node T_1676 = mux(T_1471, UInt<3>(1), T_1675) - node T_1677 = mux(T_1469, UInt<3>(1), T_1676) - node T_1678 = mux(T_1467, UInt<3>(1), T_1677) - node T_1679 = mux(T_1465, UInt<3>(0), T_1678) - node T_1680 = mux(T_1463, UInt<3>(0), T_1679) - node T_1681 = mux(T_1461, UInt<3>(0), T_1680) - node T_1682 = mux(T_1459, UInt<3>(0), T_1681) - node T_1683 = mux(T_1457, UInt<3>(0), T_1682) - node T_1684 = mux(T_1455, UInt<3>(4), T_1683) - node T_1685 = mux(T_1453, UInt<3>(4), T_1684) - node T_1686 = mux(T_1451, UInt<3>(4), T_1685) - node T_1687 = mux(T_1449, UInt<3>(4), T_1686) - node T_1688 = mux(T_1447, UInt<3>(4), T_1687) - node T_1689 = mux(T_1445, UInt<3>(4), T_1688) - node T_1690 = mux(T_1443, UInt<3>(0), T_1689) - node T_1691 = mux(T_1441, UInt<3>(3), T_1690) - node T_1692 = mux(T_1439, UInt<3>(2), T_1691) - node T_1693 = mux(T_1437, UInt<3>(2), T_1692) - node T_1694 = mux(T_1521, UInt<4>(11), UInt<4>(15)) - node T_1695 = mux(T_1519, UInt<4>(11), T_1694) - node T_1696 = mux(T_1517, UInt<4>(11), T_1695) - node T_1697 = mux(T_1515, UInt<4>(10), T_1696) - node T_1698 = mux(T_1513, UInt<4>(10), T_1697) - node T_1699 = mux(T_1511, UInt<4>(10), T_1698) - node T_1700 = mux(T_1509, UInt<4>(2), T_1699) - node T_1701 = mux(T_1507, UInt<4>(3), T_1700) - node T_1702 = mux(T_1505, UInt<4>(9), T_1701) - node T_1703 = mux(T_1503, UInt<4>(8), T_1702) - node T_1704 = mux(T_1501, UInt<4>(4), T_1703) - node T_1705 = mux(T_1499, UInt<4>(7), T_1704) - node T_1706 = mux(T_1497, UInt<4>(5), T_1705) - node T_1707 = mux(T_1495, UInt<4>(6), T_1706) - node T_1708 = mux(T_1493, UInt<4>(1), T_1707) - node T_1709 = mux(T_1491, UInt<4>(0), T_1708) - node T_1710 = mux(T_1489, UInt<4>(9), T_1709) - node T_1711 = mux(T_1487, UInt<4>(8), T_1710) - node T_1712 = mux(T_1485, UInt<4>(6), T_1711) - node T_1713 = mux(T_1483, UInt<4>(2), T_1712) - node T_1714 = mux(T_1481, UInt<4>(3), T_1713) - node T_1715 = mux(T_1479, UInt<4>(4), T_1714) - node T_1716 = mux(T_1477, UInt<4>(7), T_1715) - node T_1717 = mux(T_1475, UInt<4>(5), T_1716) - node T_1718 = mux(T_1473, UInt<4>(0), T_1717) - node T_1719 = mux(T_1471, UInt<4>(0), T_1718) - node T_1720 = mux(T_1469, UInt<4>(0), T_1719) - node T_1721 = mux(T_1467, UInt<4>(0), T_1720) - node T_1722 = mux(T_1465, UInt<4>(0), T_1721) - node T_1723 = mux(T_1463, UInt<4>(0), T_1722) - node T_1724 = mux(T_1461, UInt<4>(0), T_1723) - node T_1725 = mux(T_1459, UInt<4>(0), T_1724) - node T_1726 = mux(T_1457, UInt<4>(0), T_1725) - node T_1727 = mux(T_1455, UInt<4>(0), T_1726) - node T_1728 = mux(T_1453, UInt<4>(0), T_1727) - node T_1729 = mux(T_1451, UInt<4>(0), T_1728) - node T_1730 = mux(T_1449, UInt<4>(0), T_1729) - node T_1731 = mux(T_1447, UInt<4>(0), T_1730) - node T_1732 = mux(T_1445, UInt<4>(0), T_1731) - node T_1733 = mux(T_1443, UInt<4>(0), T_1732) - node T_1734 = mux(T_1441, UInt<4>(0), T_1733) - node T_1735 = mux(T_1439, UInt<4>(0), T_1734) - node T_1736 = mux(T_1437, UInt<4>(11), T_1735) - node T_1737 = mux(T_1521, UInt<3>(7), UInt<3>(7)) - node T_1738 = mux(T_1519, UInt<3>(7), T_1737) - node T_1739 = mux(T_1517, UInt<3>(7), T_1738) - node T_1740 = mux(T_1515, UInt<3>(7), T_1739) - node T_1741 = mux(T_1513, UInt<3>(7), T_1740) - node T_1742 = mux(T_1511, UInt<3>(7), T_1741) - node T_1743 = mux(T_1509, UInt<3>(7), T_1742) - node T_1744 = mux(T_1507, UInt<3>(7), T_1743) - node T_1745 = mux(T_1505, UInt<3>(7), T_1744) - node T_1746 = mux(T_1503, UInt<3>(7), T_1745) - node T_1747 = mux(T_1501, UInt<3>(7), T_1746) - node T_1748 = mux(T_1499, UInt<3>(7), T_1747) - node T_1749 = mux(T_1497, UInt<3>(7), T_1748) - node T_1750 = mux(T_1495, UInt<3>(7), T_1749) - node T_1751 = mux(T_1493, UInt<3>(7), T_1750) - node T_1752 = mux(T_1491, UInt<3>(7), T_1751) - node T_1753 = mux(T_1489, UInt<3>(7), T_1752) - node T_1754 = mux(T_1487, UInt<3>(7), T_1753) - node T_1755 = mux(T_1485, UInt<3>(7), T_1754) - node T_1756 = mux(T_1483, UInt<3>(7), T_1755) - node T_1757 = mux(T_1481, UInt<3>(7), T_1756) - node T_1758 = mux(T_1479, UInt<3>(7), T_1757) - node T_1759 = mux(T_1477, UInt<3>(7), T_1758) - node T_1760 = mux(T_1475, UInt<3>(7), T_1759) - node T_1761 = mux(T_1473, UInt<3>(7), T_1760) - node T_1762 = mux(T_1471, UInt<3>(7), T_1761) - node T_1763 = mux(T_1469, UInt<3>(7), T_1762) - node T_1764 = mux(T_1467, UInt<3>(7), T_1763) - node T_1765 = mux(T_1465, UInt<3>(7), T_1764) - node T_1766 = mux(T_1463, UInt<3>(7), T_1765) - node T_1767 = mux(T_1461, UInt<3>(7), T_1766) - node T_1768 = mux(T_1459, UInt<3>(7), T_1767) - node T_1769 = mux(T_1457, UInt<3>(7), T_1768) - node T_1770 = mux(T_1455, UInt<3>(4), T_1769) - node T_1771 = mux(T_1453, UInt<3>(0), T_1770) - node T_1772 = mux(T_1451, UInt<3>(5), T_1771) - node T_1773 = mux(T_1449, UInt<3>(1), T_1772) - node T_1774 = mux(T_1447, UInt<3>(6), T_1773) - node T_1775 = mux(T_1445, UInt<3>(2), T_1774) - node T_1776 = mux(T_1443, UInt<3>(7), T_1775) - node T_1777 = mux(T_1441, UInt<3>(7), T_1776) - node T_1778 = mux(T_1439, UInt<3>(7), T_1777) - node T_1779 = mux(T_1437, UInt<3>(7), T_1778) - node T_1780 = mux(T_1521, UInt<1>(0), UInt<1>(0)) - node T_1781 = mux(T_1519, UInt<1>(0), T_1780) - node T_1782 = mux(T_1517, UInt<1>(0), T_1781) - node T_1783 = mux(T_1515, UInt<1>(0), T_1782) - node T_1784 = mux(T_1513, UInt<1>(0), T_1783) - node T_1785 = mux(T_1511, UInt<1>(0), T_1784) - node T_1786 = mux(T_1509, UInt<1>(0), T_1785) - node T_1787 = mux(T_1507, UInt<1>(0), T_1786) - node T_1788 = mux(T_1505, UInt<1>(0), T_1787) - node T_1789 = mux(T_1503, UInt<1>(0), T_1788) - node T_1790 = mux(T_1501, UInt<1>(0), T_1789) - node T_1791 = mux(T_1499, UInt<1>(0), T_1790) - node T_1792 = mux(T_1497, UInt<1>(0), T_1791) - node T_1793 = mux(T_1495, UInt<1>(0), T_1792) - node T_1794 = mux(T_1493, UInt<1>(0), T_1793) - node T_1795 = mux(T_1491, UInt<1>(0), T_1794) - node T_1796 = mux(T_1489, UInt<1>(0), T_1795) - node T_1797 = mux(T_1487, UInt<1>(0), T_1796) - node T_1798 = mux(T_1485, UInt<1>(0), T_1797) - node T_1799 = mux(T_1483, UInt<1>(0), T_1798) - node T_1800 = mux(T_1481, UInt<1>(0), T_1799) - node T_1801 = mux(T_1479, UInt<1>(0), T_1800) - node T_1802 = mux(T_1477, UInt<1>(0), T_1801) - node T_1803 = mux(T_1475, UInt<1>(0), T_1802) - node T_1804 = mux(T_1473, UInt<1>(0), T_1803) - node T_1805 = mux(T_1471, UInt<1>(0), T_1804) - node T_1806 = mux(T_1469, UInt<1>(0), T_1805) - node T_1807 = mux(T_1467, UInt<1>(0), T_1806) - node T_1808 = mux(T_1465, UInt<1>(0), T_1807) - node T_1809 = mux(T_1463, UInt<1>(0), T_1808) - node T_1810 = mux(T_1461, UInt<1>(0), T_1809) - node T_1811 = mux(T_1459, UInt<1>(0), T_1810) - node T_1812 = mux(T_1457, UInt<1>(0), T_1811) - node T_1813 = mux(T_1455, UInt<1>(0), T_1812) - node T_1814 = mux(T_1453, UInt<1>(0), T_1813) - node T_1815 = mux(T_1451, UInt<1>(0), T_1814) - node T_1816 = mux(T_1449, UInt<1>(0), T_1815) - node T_1817 = mux(T_1447, UInt<1>(0), T_1816) - node T_1818 = mux(T_1445, UInt<1>(0), T_1817) - node T_1819 = mux(T_1443, UInt<1>(1), T_1818) - node T_1820 = mux(T_1441, UInt<1>(1), T_1819) - node T_1821 = mux(T_1439, UInt<1>(0), T_1820) - node T_1822 = mux(T_1437, UInt<1>(0), T_1821) - node T_1823 = mux(T_1521, UInt<2>(3), UInt<2>(3)) - node T_1824 = mux(T_1519, UInt<2>(3), T_1823) - node T_1825 = mux(T_1517, UInt<2>(3), T_1824) - node T_1826 = mux(T_1515, UInt<2>(3), T_1825) - node T_1827 = mux(T_1513, UInt<2>(3), T_1826) - node T_1828 = mux(T_1511, UInt<2>(3), T_1827) - node T_1829 = mux(T_1509, UInt<2>(3), T_1828) - node T_1830 = mux(T_1507, UInt<2>(3), T_1829) - node T_1831 = mux(T_1505, UInt<2>(3), T_1830) - node T_1832 = mux(T_1503, UInt<2>(3), T_1831) - node T_1833 = mux(T_1501, UInt<2>(3), T_1832) - node T_1834 = mux(T_1499, UInt<2>(3), T_1833) - node T_1835 = mux(T_1497, UInt<2>(3), T_1834) - node T_1836 = mux(T_1495, UInt<2>(3), T_1835) - node T_1837 = mux(T_1493, UInt<2>(3), T_1836) - node T_1838 = mux(T_1491, UInt<2>(3), T_1837) - node T_1839 = mux(T_1489, UInt<2>(3), T_1838) - node T_1840 = mux(T_1487, UInt<2>(3), T_1839) - node T_1841 = mux(T_1485, UInt<2>(3), T_1840) - node T_1842 = mux(T_1483, UInt<2>(3), T_1841) - node T_1843 = mux(T_1481, UInt<2>(3), T_1842) - node T_1844 = mux(T_1479, UInt<2>(3), T_1843) - node T_1845 = mux(T_1477, UInt<2>(3), T_1844) - node T_1846 = mux(T_1475, UInt<2>(3), T_1845) - node T_1847 = mux(T_1473, UInt<2>(3), T_1846) - node T_1848 = mux(T_1471, UInt<2>(0), T_1847) - node T_1849 = mux(T_1469, UInt<2>(1), T_1848) - node T_1850 = mux(T_1467, UInt<2>(2), T_1849) - node T_1851 = mux(T_1465, UInt<2>(3), T_1850) - node T_1852 = mux(T_1463, UInt<2>(3), T_1851) - node T_1853 = mux(T_1461, UInt<2>(3), T_1852) - node T_1854 = mux(T_1459, UInt<2>(3), T_1853) - node T_1855 = mux(T_1457, UInt<2>(3), T_1854) - node T_1856 = mux(T_1455, UInt<2>(3), T_1855) - node T_1857 = mux(T_1453, UInt<2>(3), T_1856) - node T_1858 = mux(T_1451, UInt<2>(3), T_1857) - node T_1859 = mux(T_1449, UInt<2>(3), T_1858) - node T_1860 = mux(T_1447, UInt<2>(3), T_1859) - node T_1861 = mux(T_1445, UInt<2>(3), T_1860) - node T_1862 = mux(T_1443, UInt<2>(3), T_1861) - node T_1863 = mux(T_1441, UInt<2>(3), T_1862) - node T_1864 = mux(T_1439, UInt<2>(3), T_1863) - node T_1865 = mux(T_1437, UInt<2>(3), T_1864) - node T_1866 = mux(T_1521, UInt<3>(7), UInt<3>(7)) - node T_1867 = mux(T_1519, UInt<3>(7), T_1866) - node T_1868 = mux(T_1517, UInt<3>(7), T_1867) - node T_1869 = mux(T_1515, UInt<3>(7), T_1868) - node T_1870 = mux(T_1513, UInt<3>(7), T_1869) - node T_1871 = mux(T_1511, UInt<3>(7), T_1870) - node T_1872 = mux(T_1509, UInt<3>(7), T_1871) - node T_1873 = mux(T_1507, UInt<3>(7), T_1872) - node T_1874 = mux(T_1505, UInt<3>(7), T_1873) - node T_1875 = mux(T_1503, UInt<3>(7), T_1874) - node T_1876 = mux(T_1501, UInt<3>(7), T_1875) - node T_1877 = mux(T_1499, UInt<3>(7), T_1876) - node T_1878 = mux(T_1497, UInt<3>(7), T_1877) - node T_1879 = mux(T_1495, UInt<3>(7), T_1878) - node T_1880 = mux(T_1493, UInt<3>(7), T_1879) - node T_1881 = mux(T_1491, UInt<3>(7), T_1880) - node T_1882 = mux(T_1489, UInt<3>(7), T_1881) - node T_1883 = mux(T_1487, UInt<3>(7), T_1882) - node T_1884 = mux(T_1485, UInt<3>(7), T_1883) - node T_1885 = mux(T_1483, UInt<3>(7), T_1884) - node T_1886 = mux(T_1481, UInt<3>(7), T_1885) - node T_1887 = mux(T_1479, UInt<3>(7), T_1886) - node T_1888 = mux(T_1477, UInt<3>(7), T_1887) - node T_1889 = mux(T_1475, UInt<3>(7), T_1888) - node T_1890 = mux(T_1473, UInt<3>(7), T_1889) - node T_1891 = mux(T_1471, UInt<3>(7), T_1890) - node T_1892 = mux(T_1469, UInt<3>(7), T_1891) - node T_1893 = mux(T_1467, UInt<3>(7), T_1892) - node T_1894 = mux(T_1465, UInt<3>(3), T_1893) - node T_1895 = mux(T_1463, UInt<3>(4), T_1894) - node T_1896 = mux(T_1461, UInt<3>(0), T_1895) - node T_1897 = mux(T_1459, UInt<3>(1), T_1896) - node T_1898 = mux(T_1457, UInt<3>(2), T_1897) - node T_1899 = mux(T_1455, UInt<3>(7), T_1898) - node T_1900 = mux(T_1453, UInt<3>(7), T_1899) - node T_1901 = mux(T_1451, UInt<3>(7), T_1900) - node T_1902 = mux(T_1449, UInt<3>(7), T_1901) - node T_1903 = mux(T_1447, UInt<3>(7), T_1902) - node T_1904 = mux(T_1445, UInt<3>(7), T_1903) - node T_1905 = mux(T_1443, UInt<3>(7), T_1904) - node T_1906 = mux(T_1441, UInt<3>(7), T_1905) - node T_1907 = mux(T_1439, UInt<3>(7), T_1906) - node T_1908 = mux(T_1437, UInt<3>(7), T_1907) - node T_1909 = mux(T_1521, UInt<2>(3), UInt<2>(0)) - node T_1910 = mux(T_1519, UInt<2>(3), T_1909) - node T_1911 = mux(T_1517, UInt<2>(3), T_1910) - node T_1912 = mux(T_1515, UInt<2>(3), T_1911) - node T_1913 = mux(T_1513, UInt<2>(3), T_1912) - node T_1914 = mux(T_1511, UInt<2>(3), T_1913) - node T_1915 = mux(T_1509, UInt<2>(0), T_1914) - node T_1916 = mux(T_1507, UInt<2>(0), T_1915) - node T_1917 = mux(T_1505, UInt<2>(0), T_1916) - node T_1918 = mux(T_1503, UInt<2>(0), T_1917) - node T_1919 = mux(T_1501, UInt<2>(0), T_1918) - node T_1920 = mux(T_1499, UInt<2>(0), T_1919) - node T_1921 = mux(T_1497, UInt<2>(0), T_1920) - node T_1922 = mux(T_1495, UInt<2>(0), T_1921) - node T_1923 = mux(T_1493, UInt<2>(0), T_1922) - node T_1924 = mux(T_1491, UInt<2>(0), T_1923) - node T_1925 = mux(T_1489, UInt<2>(0), T_1924) - node T_1926 = mux(T_1487, UInt<2>(0), T_1925) - node T_1927 = mux(T_1485, UInt<2>(0), T_1926) - node T_1928 = mux(T_1483, UInt<2>(0), T_1927) - node T_1929 = mux(T_1481, UInt<2>(0), T_1928) - node T_1930 = mux(T_1479, UInt<2>(0), T_1929) - node T_1931 = mux(T_1477, UInt<2>(0), T_1930) - node T_1932 = mux(T_1475, UInt<2>(0), T_1931) - node T_1933 = mux(T_1473, UInt<2>(0), T_1932) - node T_1934 = mux(T_1471, UInt<2>(0), T_1933) - node T_1935 = mux(T_1469, UInt<2>(0), T_1934) - node T_1936 = mux(T_1467, UInt<2>(0), T_1935) - node T_1937 = mux(T_1465, UInt<2>(1), T_1936) - node T_1938 = mux(T_1463, UInt<2>(1), T_1937) - node T_1939 = mux(T_1461, UInt<2>(1), T_1938) - node T_1940 = mux(T_1459, UInt<2>(1), T_1939) - node T_1941 = mux(T_1457, UInt<2>(1), T_1940) - node T_1942 = mux(T_1455, UInt<2>(0), T_1941) - node T_1943 = mux(T_1453, UInt<2>(0), T_1942) - node T_1944 = mux(T_1451, UInt<2>(0), T_1943) - node T_1945 = mux(T_1449, UInt<2>(0), T_1944) - node T_1946 = mux(T_1447, UInt<2>(0), T_1945) - node T_1947 = mux(T_1445, UInt<2>(0), T_1946) - node T_1948 = mux(T_1443, UInt<2>(2), T_1947) - node T_1949 = mux(T_1441, UInt<2>(2), T_1948) - node T_1950 = mux(T_1439, UInt<2>(0), T_1949) - node T_1951 = mux(T_1437, UInt<2>(0), T_1950) - node T_1952 = mux(T_1521, UInt<1>(0), UInt<1>(0)) - node T_1953 = mux(T_1519, UInt<1>(0), T_1952) - node T_1954 = mux(T_1517, UInt<1>(0), T_1953) - node T_1955 = mux(T_1515, UInt<1>(0), T_1954) - node T_1956 = mux(T_1513, UInt<1>(0), T_1955) - node T_1957 = mux(T_1511, UInt<1>(0), T_1956) - node T_1958 = mux(T_1509, UInt<1>(1), T_1957) - node T_1959 = mux(T_1507, UInt<1>(1), T_1958) - node T_1960 = mux(T_1505, UInt<1>(1), T_1959) - node T_1961 = mux(T_1503, UInt<1>(1), T_1960) - node T_1962 = mux(T_1501, UInt<1>(1), T_1961) - node T_1963 = mux(T_1499, UInt<1>(1), T_1962) - node T_1964 = mux(T_1497, UInt<1>(1), T_1963) - node T_1965 = mux(T_1495, UInt<1>(1), T_1964) - node T_1966 = mux(T_1493, UInt<1>(1), T_1965) - node T_1967 = mux(T_1491, UInt<1>(1), T_1966) - node T_1968 = mux(T_1489, UInt<1>(1), T_1967) - node T_1969 = mux(T_1487, UInt<1>(1), T_1968) - node T_1970 = mux(T_1485, UInt<1>(1), T_1969) - node T_1971 = mux(T_1483, UInt<1>(1), T_1970) - node T_1972 = mux(T_1481, UInt<1>(1), T_1971) - node T_1973 = mux(T_1479, UInt<1>(1), T_1972) - node T_1974 = mux(T_1477, UInt<1>(1), T_1973) - node T_1975 = mux(T_1475, UInt<1>(1), T_1974) - node T_1976 = mux(T_1473, UInt<1>(1), T_1975) - node T_1977 = mux(T_1471, UInt<1>(0), T_1976) - node T_1978 = mux(T_1469, UInt<1>(0), T_1977) - node T_1979 = mux(T_1467, UInt<1>(0), T_1978) - node T_1980 = mux(T_1465, UInt<1>(1), T_1979) - node T_1981 = mux(T_1463, UInt<1>(1), T_1980) - node T_1982 = mux(T_1461, UInt<1>(1), T_1981) - node T_1983 = mux(T_1459, UInt<1>(1), T_1982) - node T_1984 = mux(T_1457, UInt<1>(1), T_1983) - node T_1985 = mux(T_1455, UInt<1>(0), T_1984) - node T_1986 = mux(T_1453, UInt<1>(0), T_1985) - node T_1987 = mux(T_1451, UInt<1>(0), T_1986) - node T_1988 = mux(T_1449, UInt<1>(0), T_1987) - node T_1989 = mux(T_1447, UInt<1>(0), T_1988) - node T_1990 = mux(T_1445, UInt<1>(0), T_1989) - node T_1991 = mux(T_1443, UInt<1>(1), T_1990) - node T_1992 = mux(T_1441, UInt<1>(1), T_1991) - node T_1993 = mux(T_1439, UInt<1>(1), T_1992) - node T_1994 = mux(T_1437, UInt<1>(1), T_1993) - node T_1995 = mux(T_1521, UInt<2>(3), UInt<2>(0)) - node T_1996 = mux(T_1519, UInt<2>(2), T_1995) - node T_1997 = mux(T_1517, UInt<2>(1), T_1996) - node T_1998 = mux(T_1515, UInt<2>(3), T_1997) - node T_1999 = mux(T_1513, UInt<2>(2), T_1998) - node T_2000 = mux(T_1511, UInt<2>(1), T_1999) - node T_2001 = mux(T_1509, UInt<2>(0), T_2000) - node T_2002 = mux(T_1507, UInt<2>(0), T_2001) - node T_2003 = mux(T_1505, UInt<2>(0), T_2002) - node T_2004 = mux(T_1503, UInt<2>(0), T_2003) - node T_2005 = mux(T_1501, UInt<2>(0), T_2004) - node T_2006 = mux(T_1499, UInt<2>(0), T_2005) - node T_2007 = mux(T_1497, UInt<2>(0), T_2006) - node T_2008 = mux(T_1495, UInt<2>(0), T_2007) - node T_2009 = mux(T_1493, UInt<2>(0), T_2008) - node T_2010 = mux(T_1491, UInt<2>(0), T_2009) - node T_2011 = mux(T_1489, UInt<2>(0), T_2010) - node T_2012 = mux(T_1487, UInt<2>(0), T_2011) - node T_2013 = mux(T_1485, UInt<2>(0), T_2012) - node T_2014 = mux(T_1483, UInt<2>(0), T_2013) - node T_2015 = mux(T_1481, UInt<2>(0), T_2014) - node T_2016 = mux(T_1479, UInt<2>(0), T_2015) - node T_2017 = mux(T_1477, UInt<2>(0), T_2016) - node T_2018 = mux(T_1475, UInt<2>(0), T_2017) - node T_2019 = mux(T_1473, UInt<2>(0), T_2018) - node T_2020 = mux(T_1471, UInt<2>(0), T_2019) - node T_2021 = mux(T_1469, UInt<2>(0), T_2020) - node T_2022 = mux(T_1467, UInt<2>(0), T_2021) - node T_2023 = mux(T_1465, UInt<2>(0), T_2022) - node T_2024 = mux(T_1463, UInt<2>(0), T_2023) - node T_2025 = mux(T_1461, UInt<2>(0), T_2024) - node T_2026 = mux(T_1459, UInt<2>(0), T_2025) - node T_2027 = mux(T_1457, UInt<2>(0), T_2026) - node T_2028 = mux(T_1455, UInt<2>(0), T_2027) - node T_2029 = mux(T_1453, UInt<2>(0), T_2028) - node T_2030 = mux(T_1451, UInt<2>(0), T_2029) - node T_2031 = mux(T_1449, UInt<2>(0), T_2030) - node T_2032 = mux(T_1447, UInt<2>(0), T_2031) - node T_2033 = mux(T_1445, UInt<2>(0), T_2032) - node T_2034 = mux(T_1443, UInt<2>(0), T_2033) - node T_2035 = mux(T_1441, UInt<2>(0), T_2034) - node T_2036 = mux(T_1439, UInt<2>(0), T_2035) - node T_2037 = mux(T_1437, UInt<2>(0), T_2036) + node T_831 = and(UInt<7>(127), ctrl.inst) + node T_832 = eq(T_831, UInt<6>(55)) + node T_833 = and(UInt<7>(127), ctrl.inst) + node T_834 = eq(T_833, UInt<5>(23)) + node T_835 = and(UInt<7>(127), ctrl.inst) + node T_836 = eq(T_835, UInt<7>(111)) + node T_837 = and(UInt<15>(28799), ctrl.inst) + node T_838 = eq(T_837, UInt<7>(103)) + node T_839 = and(UInt<15>(28799), ctrl.inst) + node T_840 = eq(T_839, UInt<7>(99)) + node T_841 = and(UInt<15>(28799), ctrl.inst) + node T_842 = eq(T_841, UInt<13>(4195)) + node T_843 = and(UInt<15>(28799), ctrl.inst) + node T_844 = eq(T_843, UInt<15>(16483)) + node T_845 = and(UInt<15>(28799), ctrl.inst) + node T_846 = eq(T_845, UInt<15>(20579)) + node T_847 = and(UInt<15>(28799), ctrl.inst) + node T_848 = eq(T_847, UInt<15>(24675)) + node T_849 = and(UInt<15>(28799), ctrl.inst) + node T_850 = eq(T_849, UInt<15>(28771)) + node T_851 = and(UInt<15>(28799), ctrl.inst) + node T_852 = eq(T_851, UInt<2>(3)) + node T_853 = and(UInt<15>(28799), ctrl.inst) + node T_854 = eq(T_853, UInt<13>(4099)) + node T_855 = and(UInt<15>(28799), ctrl.inst) + node T_856 = eq(T_855, UInt<14>(8195)) + node T_857 = and(UInt<15>(28799), ctrl.inst) + node T_858 = eq(T_857, UInt<15>(16387)) + node T_859 = and(UInt<15>(28799), ctrl.inst) + node T_860 = eq(T_859, UInt<15>(20483)) + node T_861 = and(UInt<15>(28799), ctrl.inst) + node T_862 = eq(T_861, UInt<6>(35)) + node T_863 = and(UInt<15>(28799), ctrl.inst) + node T_864 = eq(T_863, UInt<13>(4131)) + node T_865 = and(UInt<15>(28799), ctrl.inst) + node T_866 = eq(T_865, UInt<14>(8227)) + node T_867 = and(UInt<15>(28799), ctrl.inst) + node T_868 = eq(T_867, UInt<5>(19)) + node T_869 = and(UInt<15>(28799), ctrl.inst) + node T_870 = eq(T_869, UInt<14>(8211)) + node T_871 = and(UInt<15>(28799), ctrl.inst) + node T_872 = eq(T_871, UInt<14>(12307)) + node T_873 = and(UInt<15>(28799), ctrl.inst) + node T_874 = eq(T_873, UInt<15>(16403)) + node T_875 = and(UInt<15>(28799), ctrl.inst) + node T_876 = eq(T_875, UInt<15>(24595)) + node T_877 = and(UInt<15>(28799), ctrl.inst) + node T_878 = eq(T_877, UInt<15>(28691)) + node T_879 = and(UInt<32>(4261441663), ctrl.inst) + node T_880 = eq(T_879, UInt<13>(4115)) + node T_881 = and(UInt<32>(4261441663), ctrl.inst) + node T_882 = eq(T_881, UInt<15>(20499)) + node T_883 = and(UInt<32>(4261441663), ctrl.inst) + node T_884 = eq(T_883, UInt<31>(1073762323)) + node T_885 = and(UInt<32>(4261441663), ctrl.inst) + node T_886 = eq(T_885, UInt<6>(51)) + node T_887 = and(UInt<32>(4261441663), ctrl.inst) + node T_888 = eq(T_887, UInt<31>(1073741875)) + node T_889 = and(UInt<32>(4261441663), ctrl.inst) + node T_890 = eq(T_889, UInt<13>(4147)) + node T_891 = and(UInt<32>(4261441663), ctrl.inst) + node T_892 = eq(T_891, UInt<14>(8243)) + node T_893 = and(UInt<32>(4261441663), ctrl.inst) + node T_894 = eq(T_893, UInt<14>(12339)) + node T_895 = and(UInt<32>(4261441663), ctrl.inst) + node T_896 = eq(T_895, UInt<15>(16435)) + node T_897 = and(UInt<32>(4261441663), ctrl.inst) + node T_898 = eq(T_897, UInt<15>(20531)) + node T_899 = and(UInt<32>(4261441663), ctrl.inst) + node T_900 = eq(T_899, UInt<31>(1073762355)) + node T_901 = and(UInt<32>(4261441663), ctrl.inst) + node T_902 = eq(T_901, UInt<15>(24627)) + node T_903 = and(UInt<32>(4261441663), ctrl.inst) + node T_904 = eq(T_903, UInt<15>(28723)) + node T_905 = and(UInt<15>(28799), ctrl.inst) + node T_906 = eq(T_905, UInt<13>(4211)) + node T_907 = and(UInt<15>(28799), ctrl.inst) + node T_908 = eq(T_907, UInt<14>(8307)) + node T_909 = and(UInt<15>(28799), ctrl.inst) + node T_910 = eq(T_909, UInt<14>(12403)) + node T_911 = and(UInt<15>(28799), ctrl.inst) + node T_912 = eq(T_911, UInt<15>(20595)) + node T_913 = and(UInt<15>(28799), ctrl.inst) + node T_914 = eq(T_913, UInt<15>(24691)) + node T_915 = and(UInt<15>(28799), ctrl.inst) + node T_916 = eq(T_915, UInt<15>(28787)) + node T_917 = mux(T_916, UInt<1>(0), UInt<1>(0)) + node T_918 = mux(T_914, UInt<1>(0), T_917) + node T_919 = mux(T_912, UInt<1>(0), T_918) + node T_920 = mux(T_910, UInt<1>(0), T_919) + node T_921 = mux(T_908, UInt<1>(0), T_920) + node T_922 = mux(T_906, UInt<1>(0), T_921) + node T_923 = mux(T_904, UInt<1>(0), T_922) + node T_924 = mux(T_902, UInt<1>(0), T_923) + node T_925 = mux(T_900, UInt<1>(0), T_924) + node T_926 = mux(T_898, UInt<1>(0), T_925) + node T_927 = mux(T_896, UInt<1>(0), T_926) + node T_928 = mux(T_894, UInt<1>(0), T_927) + node T_929 = mux(T_892, UInt<1>(0), T_928) + node T_930 = mux(T_890, UInt<1>(0), T_929) + node T_931 = mux(T_888, UInt<1>(0), T_930) + node T_932 = mux(T_886, UInt<1>(0), T_931) + node T_933 = mux(T_884, UInt<1>(0), T_932) + node T_934 = mux(T_882, UInt<1>(0), T_933) + node T_935 = mux(T_880, UInt<1>(0), T_934) + node T_936 = mux(T_878, UInt<1>(0), T_935) + node T_937 = mux(T_876, UInt<1>(0), T_936) + node T_938 = mux(T_874, UInt<1>(0), T_937) + node T_939 = mux(T_872, UInt<1>(0), T_938) + node T_940 = mux(T_870, UInt<1>(0), T_939) + node T_941 = mux(T_868, UInt<1>(0), T_940) + node T_942 = mux(T_866, UInt<1>(0), T_941) + node T_943 = mux(T_864, UInt<1>(0), T_942) + node T_944 = mux(T_862, UInt<1>(0), T_943) + node T_945 = mux(T_860, UInt<1>(0), T_944) + node T_946 = mux(T_858, UInt<1>(0), T_945) + node T_947 = mux(T_856, UInt<1>(0), T_946) + node T_948 = mux(T_854, UInt<1>(0), T_947) + node T_949 = mux(T_852, UInt<1>(0), T_948) + node T_950 = mux(T_850, UInt<1>(0), T_949) + node T_951 = mux(T_848, UInt<1>(0), T_950) + node T_952 = mux(T_846, UInt<1>(0), T_951) + node T_953 = mux(T_844, UInt<1>(0), T_952) + node T_954 = mux(T_842, UInt<1>(0), T_953) + node T_955 = mux(T_840, UInt<1>(0), T_954) + node T_956 = mux(T_838, UInt<1>(1), T_955) + node T_957 = mux(T_836, UInt<1>(1), T_956) + node T_958 = mux(T_834, UInt<1>(0), T_957) + node T_959 = mux(T_832, UInt<1>(0), T_958) + node T_960 = mux(T_916, UInt<1>(1), UInt<1>(1)) + node T_961 = mux(T_914, UInt<1>(1), T_960) + node T_962 = mux(T_912, UInt<1>(1), T_961) + node T_963 = mux(T_910, UInt<1>(0), T_962) + node T_964 = mux(T_908, UInt<1>(0), T_963) + node T_965 = mux(T_906, UInt<1>(0), T_964) + node T_966 = mux(T_904, UInt<1>(0), T_965) + node T_967 = mux(T_902, UInt<1>(0), T_966) + node T_968 = mux(T_900, UInt<1>(0), T_967) + node T_969 = mux(T_898, UInt<1>(0), T_968) + node T_970 = mux(T_896, UInt<1>(0), T_969) + node T_971 = mux(T_894, UInt<1>(0), T_970) + node T_972 = mux(T_892, UInt<1>(0), T_971) + node T_973 = mux(T_890, UInt<1>(0), T_972) + node T_974 = mux(T_888, UInt<1>(0), T_973) + node T_975 = mux(T_886, UInt<1>(0), T_974) + node T_976 = mux(T_884, UInt<1>(0), T_975) + node T_977 = mux(T_882, UInt<1>(0), T_976) + node T_978 = mux(T_880, UInt<1>(0), T_977) + node T_979 = mux(T_878, UInt<1>(0), T_978) + node T_980 = mux(T_876, UInt<1>(0), T_979) + node T_981 = mux(T_874, UInt<1>(0), T_980) + node T_982 = mux(T_872, UInt<1>(0), T_981) + node T_983 = mux(T_870, UInt<1>(0), T_982) + node T_984 = mux(T_868, UInt<1>(0), T_983) + node T_985 = mux(T_866, UInt<1>(0), T_984) + node T_986 = mux(T_864, UInt<1>(0), T_985) + node T_987 = mux(T_862, UInt<1>(0), T_986) + node T_988 = mux(T_860, UInt<1>(0), T_987) + node T_989 = mux(T_858, UInt<1>(0), T_988) + node T_990 = mux(T_856, UInt<1>(0), T_989) + node T_991 = mux(T_854, UInt<1>(0), T_990) + node T_992 = mux(T_852, UInt<1>(0), T_991) + node T_993 = mux(T_850, UInt<1>(1), T_992) + node T_994 = mux(T_848, UInt<1>(1), T_993) + node T_995 = mux(T_846, UInt<1>(1), T_994) + node T_996 = mux(T_844, UInt<1>(1), T_995) + node T_997 = mux(T_842, UInt<1>(1), T_996) + node T_998 = mux(T_840, UInt<1>(1), T_997) + node T_999 = mux(T_838, UInt<1>(0), T_998) + node T_1000 = mux(T_836, UInt<1>(1), T_999) + node T_1001 = mux(T_834, UInt<1>(1), T_1000) + node T_1002 = mux(T_832, UInt<1>(1), T_1001) + node T_1003 = mux(T_916, UInt<1>(1), UInt<1>(0)) + node T_1004 = mux(T_914, UInt<1>(1), T_1003) + node T_1005 = mux(T_912, UInt<1>(1), T_1004) + node T_1006 = mux(T_910, UInt<1>(0), T_1005) + node T_1007 = mux(T_908, UInt<1>(0), T_1006) + node T_1008 = mux(T_906, UInt<1>(0), T_1007) + node T_1009 = mux(T_904, UInt<1>(0), T_1008) + node T_1010 = mux(T_902, UInt<1>(0), T_1009) + node T_1011 = mux(T_900, UInt<1>(0), T_1010) + node T_1012 = mux(T_898, UInt<1>(0), T_1011) + node T_1013 = mux(T_896, UInt<1>(0), T_1012) + node T_1014 = mux(T_894, UInt<1>(0), T_1013) + node T_1015 = mux(T_892, UInt<1>(0), T_1014) + node T_1016 = mux(T_890, UInt<1>(0), T_1015) + node T_1017 = mux(T_888, UInt<1>(0), T_1016) + node T_1018 = mux(T_886, UInt<1>(0), T_1017) + node T_1019 = mux(T_884, UInt<1>(1), T_1018) + node T_1020 = mux(T_882, UInt<1>(1), T_1019) + node T_1021 = mux(T_880, UInt<1>(1), T_1020) + node T_1022 = mux(T_878, UInt<1>(1), T_1021) + node T_1023 = mux(T_876, UInt<1>(1), T_1022) + node T_1024 = mux(T_874, UInt<1>(1), T_1023) + node T_1025 = mux(T_872, UInt<1>(1), T_1024) + node T_1026 = mux(T_870, UInt<1>(1), T_1025) + node T_1027 = mux(T_868, UInt<1>(1), T_1026) + node T_1028 = mux(T_866, UInt<1>(1), T_1027) + node T_1029 = mux(T_864, UInt<1>(1), T_1028) + node T_1030 = mux(T_862, UInt<1>(1), T_1029) + node T_1031 = mux(T_860, UInt<1>(1), T_1030) + node T_1032 = mux(T_858, UInt<1>(1), T_1031) + node T_1033 = mux(T_856, UInt<1>(1), T_1032) + node T_1034 = mux(T_854, UInt<1>(1), T_1033) + node T_1035 = mux(T_852, UInt<1>(1), T_1034) + node T_1036 = mux(T_850, UInt<1>(1), T_1035) + node T_1037 = mux(T_848, UInt<1>(1), T_1036) + node T_1038 = mux(T_846, UInt<1>(1), T_1037) + node T_1039 = mux(T_844, UInt<1>(1), T_1038) + node T_1040 = mux(T_842, UInt<1>(1), T_1039) + node T_1041 = mux(T_840, UInt<1>(1), T_1040) + node T_1042 = mux(T_838, UInt<1>(1), T_1041) + node T_1043 = mux(T_836, UInt<1>(1), T_1042) + node T_1044 = mux(T_834, UInt<1>(1), T_1043) + node T_1045 = mux(T_832, UInt<1>(1), T_1044) + node T_1046 = mux(T_916, UInt<3>(5), UInt<3>(7)) + node T_1047 = mux(T_914, UInt<3>(5), T_1046) + node T_1048 = mux(T_912, UInt<3>(5), T_1047) + node T_1049 = mux(T_910, UInt<3>(5), T_1048) + node T_1050 = mux(T_908, UInt<3>(5), T_1049) + node T_1051 = mux(T_906, UInt<3>(5), T_1050) + node T_1052 = mux(T_904, UInt<3>(7), T_1051) + node T_1053 = mux(T_902, UInt<3>(7), T_1052) + node T_1054 = mux(T_900, UInt<3>(7), T_1053) + node T_1055 = mux(T_898, UInt<3>(7), T_1054) + node T_1056 = mux(T_896, UInt<3>(7), T_1055) + node T_1057 = mux(T_894, UInt<3>(7), T_1056) + node T_1058 = mux(T_892, UInt<3>(7), T_1057) + node T_1059 = mux(T_890, UInt<3>(7), T_1058) + node T_1060 = mux(T_888, UInt<3>(7), T_1059) + node T_1061 = mux(T_886, UInt<3>(7), T_1060) + node T_1062 = mux(T_884, UInt<3>(0), T_1061) + node T_1063 = mux(T_882, UInt<3>(0), T_1062) + node T_1064 = mux(T_880, UInt<3>(0), T_1063) + node T_1065 = mux(T_878, UInt<3>(0), T_1064) + node T_1066 = mux(T_876, UInt<3>(0), T_1065) + node T_1067 = mux(T_874, UInt<3>(0), T_1066) + node T_1068 = mux(T_872, UInt<3>(0), T_1067) + node T_1069 = mux(T_870, UInt<3>(0), T_1068) + node T_1070 = mux(T_868, UInt<3>(0), T_1069) + node T_1071 = mux(T_866, UInt<3>(1), T_1070) + node T_1072 = mux(T_864, UInt<3>(1), T_1071) + node T_1073 = mux(T_862, UInt<3>(1), T_1072) + node T_1074 = mux(T_860, UInt<3>(0), T_1073) + node T_1075 = mux(T_858, UInt<3>(0), T_1074) + node T_1076 = mux(T_856, UInt<3>(0), T_1075) + node T_1077 = mux(T_854, UInt<3>(0), T_1076) + node T_1078 = mux(T_852, UInt<3>(0), T_1077) + node T_1079 = mux(T_850, UInt<3>(4), T_1078) + node T_1080 = mux(T_848, UInt<3>(4), T_1079) + node T_1081 = mux(T_846, UInt<3>(4), T_1080) + node T_1082 = mux(T_844, UInt<3>(4), T_1081) + node T_1083 = mux(T_842, UInt<3>(4), T_1082) + node T_1084 = mux(T_840, UInt<3>(4), T_1083) + node T_1085 = mux(T_838, UInt<3>(0), T_1084) + node T_1086 = mux(T_836, UInt<3>(3), T_1085) + node T_1087 = mux(T_834, UInt<3>(2), T_1086) + node T_1088 = mux(T_832, UInt<3>(2), T_1087) + node T_1089 = mux(T_916, UInt<4>(11), UInt<4>(15)) + node T_1090 = mux(T_914, UInt<4>(11), T_1089) + node T_1091 = mux(T_912, UInt<4>(11), T_1090) + node T_1092 = mux(T_910, UInt<4>(10), T_1091) + node T_1093 = mux(T_908, UInt<4>(10), T_1092) + node T_1094 = mux(T_906, UInt<4>(10), T_1093) + node T_1095 = mux(T_904, UInt<4>(2), T_1094) + node T_1096 = mux(T_902, UInt<4>(3), T_1095) + node T_1097 = mux(T_900, UInt<4>(9), T_1096) + node T_1098 = mux(T_898, UInt<4>(8), T_1097) + node T_1099 = mux(T_896, UInt<4>(4), T_1098) + node T_1100 = mux(T_894, UInt<4>(7), T_1099) + node T_1101 = mux(T_892, UInt<4>(5), T_1100) + node T_1102 = mux(T_890, UInt<4>(6), T_1101) + node T_1103 = mux(T_888, UInt<4>(1), T_1102) + node T_1104 = mux(T_886, UInt<4>(0), T_1103) + node T_1105 = mux(T_884, UInt<4>(9), T_1104) + node T_1106 = mux(T_882, UInt<4>(8), T_1105) + node T_1107 = mux(T_880, UInt<4>(6), T_1106) + node T_1108 = mux(T_878, UInt<4>(2), T_1107) + node T_1109 = mux(T_876, UInt<4>(3), T_1108) + node T_1110 = mux(T_874, UInt<4>(4), T_1109) + node T_1111 = mux(T_872, UInt<4>(7), T_1110) + node T_1112 = mux(T_870, UInt<4>(5), T_1111) + node T_1113 = mux(T_868, UInt<4>(0), T_1112) + node T_1114 = mux(T_866, UInt<4>(0), T_1113) + node T_1115 = mux(T_864, UInt<4>(0), T_1114) + node T_1116 = mux(T_862, UInt<4>(0), T_1115) + node T_1117 = mux(T_860, UInt<4>(0), T_1116) + node T_1118 = mux(T_858, UInt<4>(0), T_1117) + node T_1119 = mux(T_856, UInt<4>(0), T_1118) + node T_1120 = mux(T_854, UInt<4>(0), T_1119) + node T_1121 = mux(T_852, UInt<4>(0), T_1120) + node T_1122 = mux(T_850, UInt<4>(0), T_1121) + node T_1123 = mux(T_848, UInt<4>(0), T_1122) + node T_1124 = mux(T_846, UInt<4>(0), T_1123) + node T_1125 = mux(T_844, UInt<4>(0), T_1124) + node T_1126 = mux(T_842, UInt<4>(0), T_1125) + node T_1127 = mux(T_840, UInt<4>(0), T_1126) + node T_1128 = mux(T_838, UInt<4>(0), T_1127) + node T_1129 = mux(T_836, UInt<4>(0), T_1128) + node T_1130 = mux(T_834, UInt<4>(0), T_1129) + node T_1131 = mux(T_832, UInt<4>(11), T_1130) + node T_1132 = mux(T_916, UInt<3>(7), UInt<3>(7)) + node T_1133 = mux(T_914, UInt<3>(7), T_1132) + node T_1134 = mux(T_912, UInt<3>(7), T_1133) + node T_1135 = mux(T_910, UInt<3>(7), T_1134) + node T_1136 = mux(T_908, UInt<3>(7), T_1135) + node T_1137 = mux(T_906, UInt<3>(7), T_1136) + node T_1138 = mux(T_904, UInt<3>(7), T_1137) + node T_1139 = mux(T_902, UInt<3>(7), T_1138) + node T_1140 = mux(T_900, UInt<3>(7), T_1139) + node T_1141 = mux(T_898, UInt<3>(7), T_1140) + node T_1142 = mux(T_896, UInt<3>(7), T_1141) + node T_1143 = mux(T_894, UInt<3>(7), T_1142) + node T_1144 = mux(T_892, UInt<3>(7), T_1143) + node T_1145 = mux(T_890, UInt<3>(7), T_1144) + node T_1146 = mux(T_888, UInt<3>(7), T_1145) + node T_1147 = mux(T_886, UInt<3>(7), T_1146) + node T_1148 = mux(T_884, UInt<3>(7), T_1147) + node T_1149 = mux(T_882, UInt<3>(7), T_1148) + node T_1150 = mux(T_880, UInt<3>(7), T_1149) + node T_1151 = mux(T_878, UInt<3>(7), T_1150) + node T_1152 = mux(T_876, UInt<3>(7), T_1151) + node T_1153 = mux(T_874, UInt<3>(7), T_1152) + node T_1154 = mux(T_872, UInt<3>(7), T_1153) + node T_1155 = mux(T_870, UInt<3>(7), T_1154) + node T_1156 = mux(T_868, UInt<3>(7), T_1155) + node T_1157 = mux(T_866, UInt<3>(7), T_1156) + node T_1158 = mux(T_864, UInt<3>(7), T_1157) + node T_1159 = mux(T_862, UInt<3>(7), T_1158) + node T_1160 = mux(T_860, UInt<3>(7), T_1159) + node T_1161 = mux(T_858, UInt<3>(7), T_1160) + node T_1162 = mux(T_856, UInt<3>(7), T_1161) + node T_1163 = mux(T_854, UInt<3>(7), T_1162) + node T_1164 = mux(T_852, UInt<3>(7), T_1163) + node T_1165 = mux(T_850, UInt<3>(4), T_1164) + node T_1166 = mux(T_848, UInt<3>(0), T_1165) + node T_1167 = mux(T_846, UInt<3>(5), T_1166) + node T_1168 = mux(T_844, UInt<3>(1), T_1167) + node T_1169 = mux(T_842, UInt<3>(6), T_1168) + node T_1170 = mux(T_840, UInt<3>(2), T_1169) + node T_1171 = mux(T_838, UInt<3>(7), T_1170) + node T_1172 = mux(T_836, UInt<3>(7), T_1171) + node T_1173 = mux(T_834, UInt<3>(7), T_1172) + node T_1174 = mux(T_832, UInt<3>(7), T_1173) + node T_1175 = mux(T_916, UInt<1>(0), UInt<1>(0)) + node T_1176 = mux(T_914, UInt<1>(0), T_1175) + node T_1177 = mux(T_912, UInt<1>(0), T_1176) + node T_1178 = mux(T_910, UInt<1>(0), T_1177) + node T_1179 = mux(T_908, UInt<1>(0), T_1178) + node T_1180 = mux(T_906, UInt<1>(0), T_1179) + node T_1181 = mux(T_904, UInt<1>(0), T_1180) + node T_1182 = mux(T_902, UInt<1>(0), T_1181) + node T_1183 = mux(T_900, UInt<1>(0), T_1182) + node T_1184 = mux(T_898, UInt<1>(0), T_1183) + node T_1185 = mux(T_896, UInt<1>(0), T_1184) + node T_1186 = mux(T_894, UInt<1>(0), T_1185) + node T_1187 = mux(T_892, UInt<1>(0), T_1186) + node T_1188 = mux(T_890, UInt<1>(0), T_1187) + node T_1189 = mux(T_888, UInt<1>(0), T_1188) + node T_1190 = mux(T_886, UInt<1>(0), T_1189) + node T_1191 = mux(T_884, UInt<1>(0), T_1190) + node T_1192 = mux(T_882, UInt<1>(0), T_1191) + node T_1193 = mux(T_880, UInt<1>(0), T_1192) + node T_1194 = mux(T_878, UInt<1>(0), T_1193) + node T_1195 = mux(T_876, UInt<1>(0), T_1194) + node T_1196 = mux(T_874, UInt<1>(0), T_1195) + node T_1197 = mux(T_872, UInt<1>(0), T_1196) + node T_1198 = mux(T_870, UInt<1>(0), T_1197) + node T_1199 = mux(T_868, UInt<1>(0), T_1198) + node T_1200 = mux(T_866, UInt<1>(0), T_1199) + node T_1201 = mux(T_864, UInt<1>(0), T_1200) + node T_1202 = mux(T_862, UInt<1>(0), T_1201) + node T_1203 = mux(T_860, UInt<1>(0), T_1202) + node T_1204 = mux(T_858, UInt<1>(0), T_1203) + node T_1205 = mux(T_856, UInt<1>(0), T_1204) + node T_1206 = mux(T_854, UInt<1>(0), T_1205) + node T_1207 = mux(T_852, UInt<1>(0), T_1206) + node T_1208 = mux(T_850, UInt<1>(0), T_1207) + node T_1209 = mux(T_848, UInt<1>(0), T_1208) + node T_1210 = mux(T_846, UInt<1>(0), T_1209) + node T_1211 = mux(T_844, UInt<1>(0), T_1210) + node T_1212 = mux(T_842, UInt<1>(0), T_1211) + node T_1213 = mux(T_840, UInt<1>(0), T_1212) + node T_1214 = mux(T_838, UInt<1>(1), T_1213) + node T_1215 = mux(T_836, UInt<1>(1), T_1214) + node T_1216 = mux(T_834, UInt<1>(0), T_1215) + node T_1217 = mux(T_832, UInt<1>(0), T_1216) + node T_1218 = mux(T_916, UInt<2>(3), UInt<2>(3)) + node T_1219 = mux(T_914, UInt<2>(3), T_1218) + node T_1220 = mux(T_912, UInt<2>(3), T_1219) + node T_1221 = mux(T_910, UInt<2>(3), T_1220) + node T_1222 = mux(T_908, UInt<2>(3), T_1221) + node T_1223 = mux(T_906, UInt<2>(3), T_1222) + node T_1224 = mux(T_904, UInt<2>(3), T_1223) + node T_1225 = mux(T_902, UInt<2>(3), T_1224) + node T_1226 = mux(T_900, UInt<2>(3), T_1225) + node T_1227 = mux(T_898, UInt<2>(3), T_1226) + node T_1228 = mux(T_896, UInt<2>(3), T_1227) + node T_1229 = mux(T_894, UInt<2>(3), T_1228) + node T_1230 = mux(T_892, UInt<2>(3), T_1229) + node T_1231 = mux(T_890, UInt<2>(3), T_1230) + node T_1232 = mux(T_888, UInt<2>(3), T_1231) + node T_1233 = mux(T_886, UInt<2>(3), T_1232) + node T_1234 = mux(T_884, UInt<2>(3), T_1233) + node T_1235 = mux(T_882, UInt<2>(3), T_1234) + node T_1236 = mux(T_880, UInt<2>(3), T_1235) + node T_1237 = mux(T_878, UInt<2>(3), T_1236) + node T_1238 = mux(T_876, UInt<2>(3), T_1237) + node T_1239 = mux(T_874, UInt<2>(3), T_1238) + node T_1240 = mux(T_872, UInt<2>(3), T_1239) + node T_1241 = mux(T_870, UInt<2>(3), T_1240) + node T_1242 = mux(T_868, UInt<2>(3), T_1241) + node T_1243 = mux(T_866, UInt<2>(0), T_1242) + node T_1244 = mux(T_864, UInt<2>(1), T_1243) + node T_1245 = mux(T_862, UInt<2>(2), T_1244) + node T_1246 = mux(T_860, UInt<2>(3), T_1245) + node T_1247 = mux(T_858, UInt<2>(3), T_1246) + node T_1248 = mux(T_856, UInt<2>(3), T_1247) + node T_1249 = mux(T_854, UInt<2>(3), T_1248) + node T_1250 = mux(T_852, UInt<2>(3), T_1249) + node T_1251 = mux(T_850, UInt<2>(3), T_1250) + node T_1252 = mux(T_848, UInt<2>(3), T_1251) + node T_1253 = mux(T_846, UInt<2>(3), T_1252) + node T_1254 = mux(T_844, UInt<2>(3), T_1253) + node T_1255 = mux(T_842, UInt<2>(3), T_1254) + node T_1256 = mux(T_840, UInt<2>(3), T_1255) + node T_1257 = mux(T_838, UInt<2>(3), T_1256) + node T_1258 = mux(T_836, UInt<2>(3), T_1257) + node T_1259 = mux(T_834, UInt<2>(3), T_1258) + node T_1260 = mux(T_832, UInt<2>(3), T_1259) + node T_1261 = mux(T_916, UInt<3>(7), UInt<3>(7)) + node T_1262 = mux(T_914, UInt<3>(7), T_1261) + node T_1263 = mux(T_912, UInt<3>(7), T_1262) + node T_1264 = mux(T_910, UInt<3>(7), T_1263) + node T_1265 = mux(T_908, UInt<3>(7), T_1264) + node T_1266 = mux(T_906, UInt<3>(7), T_1265) + node T_1267 = mux(T_904, UInt<3>(7), T_1266) + node T_1268 = mux(T_902, UInt<3>(7), T_1267) + node T_1269 = mux(T_900, UInt<3>(7), T_1268) + node T_1270 = mux(T_898, UInt<3>(7), T_1269) + node T_1271 = mux(T_896, UInt<3>(7), T_1270) + node T_1272 = mux(T_894, UInt<3>(7), T_1271) + node T_1273 = mux(T_892, UInt<3>(7), T_1272) + node T_1274 = mux(T_890, UInt<3>(7), T_1273) + node T_1275 = mux(T_888, UInt<3>(7), T_1274) + node T_1276 = mux(T_886, UInt<3>(7), T_1275) + node T_1277 = mux(T_884, UInt<3>(7), T_1276) + node T_1278 = mux(T_882, UInt<3>(7), T_1277) + node T_1279 = mux(T_880, UInt<3>(7), T_1278) + node T_1280 = mux(T_878, UInt<3>(7), T_1279) + node T_1281 = mux(T_876, UInt<3>(7), T_1280) + node T_1282 = mux(T_874, UInt<3>(7), T_1281) + node T_1283 = mux(T_872, UInt<3>(7), T_1282) + node T_1284 = mux(T_870, UInt<3>(7), T_1283) + node T_1285 = mux(T_868, UInt<3>(7), T_1284) + node T_1286 = mux(T_866, UInt<3>(7), T_1285) + node T_1287 = mux(T_864, UInt<3>(7), T_1286) + node T_1288 = mux(T_862, UInt<3>(7), T_1287) + node T_1289 = mux(T_860, UInt<3>(3), T_1288) + node T_1290 = mux(T_858, UInt<3>(4), T_1289) + node T_1291 = mux(T_856, UInt<3>(0), T_1290) + node T_1292 = mux(T_854, UInt<3>(1), T_1291) + node T_1293 = mux(T_852, UInt<3>(2), T_1292) + node T_1294 = mux(T_850, UInt<3>(7), T_1293) + node T_1295 = mux(T_848, UInt<3>(7), T_1294) + node T_1296 = mux(T_846, UInt<3>(7), T_1295) + node T_1297 = mux(T_844, UInt<3>(7), T_1296) + node T_1298 = mux(T_842, UInt<3>(7), T_1297) + node T_1299 = mux(T_840, UInt<3>(7), T_1298) + node T_1300 = mux(T_838, UInt<3>(7), T_1299) + node T_1301 = mux(T_836, UInt<3>(7), T_1300) + node T_1302 = mux(T_834, UInt<3>(7), T_1301) + node T_1303 = mux(T_832, UInt<3>(7), T_1302) + node T_1304 = mux(T_916, UInt<2>(3), UInt<2>(0)) + node T_1305 = mux(T_914, UInt<2>(3), T_1304) + node T_1306 = mux(T_912, UInt<2>(3), T_1305) + node T_1307 = mux(T_910, UInt<2>(3), T_1306) + node T_1308 = mux(T_908, UInt<2>(3), T_1307) + node T_1309 = mux(T_906, UInt<2>(3), T_1308) + node T_1310 = mux(T_904, UInt<2>(0), T_1309) + node T_1311 = mux(T_902, UInt<2>(0), T_1310) + node T_1312 = mux(T_900, UInt<2>(0), T_1311) + node T_1313 = mux(T_898, UInt<2>(0), T_1312) + node T_1314 = mux(T_896, UInt<2>(0), T_1313) + node T_1315 = mux(T_894, UInt<2>(0), T_1314) + node T_1316 = mux(T_892, UInt<2>(0), T_1315) + node T_1317 = mux(T_890, UInt<2>(0), T_1316) + node T_1318 = mux(T_888, UInt<2>(0), T_1317) + node T_1319 = mux(T_886, UInt<2>(0), T_1318) + node T_1320 = mux(T_884, UInt<2>(0), T_1319) + node T_1321 = mux(T_882, UInt<2>(0), T_1320) + node T_1322 = mux(T_880, UInt<2>(0), T_1321) + node T_1323 = mux(T_878, UInt<2>(0), T_1322) + node T_1324 = mux(T_876, UInt<2>(0), T_1323) + node T_1325 = mux(T_874, UInt<2>(0), T_1324) + node T_1326 = mux(T_872, UInt<2>(0), T_1325) + node T_1327 = mux(T_870, UInt<2>(0), T_1326) + node T_1328 = mux(T_868, UInt<2>(0), T_1327) + node T_1329 = mux(T_866, UInt<2>(0), T_1328) + node T_1330 = mux(T_864, UInt<2>(0), T_1329) + node T_1331 = mux(T_862, UInt<2>(0), T_1330) + node T_1332 = mux(T_860, UInt<2>(1), T_1331) + node T_1333 = mux(T_858, UInt<2>(1), T_1332) + node T_1334 = mux(T_856, UInt<2>(1), T_1333) + node T_1335 = mux(T_854, UInt<2>(1), T_1334) + node T_1336 = mux(T_852, UInt<2>(1), T_1335) + node T_1337 = mux(T_850, UInt<2>(0), T_1336) + node T_1338 = mux(T_848, UInt<2>(0), T_1337) + node T_1339 = mux(T_846, UInt<2>(0), T_1338) + node T_1340 = mux(T_844, UInt<2>(0), T_1339) + node T_1341 = mux(T_842, UInt<2>(0), T_1340) + node T_1342 = mux(T_840, UInt<2>(0), T_1341) + node T_1343 = mux(T_838, UInt<2>(2), T_1342) + node T_1344 = mux(T_836, UInt<2>(2), T_1343) + node T_1345 = mux(T_834, UInt<2>(0), T_1344) + node T_1346 = mux(T_832, UInt<2>(0), T_1345) + node T_1347 = mux(T_916, UInt<1>(0), UInt<1>(0)) + node T_1348 = mux(T_914, UInt<1>(0), T_1347) + node T_1349 = mux(T_912, UInt<1>(0), T_1348) + node T_1350 = mux(T_910, UInt<1>(0), T_1349) + node T_1351 = mux(T_908, UInt<1>(0), T_1350) + node T_1352 = mux(T_906, UInt<1>(0), T_1351) + node T_1353 = mux(T_904, UInt<1>(1), T_1352) + node T_1354 = mux(T_902, UInt<1>(1), T_1353) + node T_1355 = mux(T_900, UInt<1>(1), T_1354) + node T_1356 = mux(T_898, UInt<1>(1), T_1355) + node T_1357 = mux(T_896, UInt<1>(1), T_1356) + node T_1358 = mux(T_894, UInt<1>(1), T_1357) + node T_1359 = mux(T_892, UInt<1>(1), T_1358) + node T_1360 = mux(T_890, UInt<1>(1), T_1359) + node T_1361 = mux(T_888, UInt<1>(1), T_1360) + node T_1362 = mux(T_886, UInt<1>(1), T_1361) + node T_1363 = mux(T_884, UInt<1>(1), T_1362) + node T_1364 = mux(T_882, UInt<1>(1), T_1363) + node T_1365 = mux(T_880, UInt<1>(1), T_1364) + node T_1366 = mux(T_878, UInt<1>(1), T_1365) + node T_1367 = mux(T_876, UInt<1>(1), T_1366) + node T_1368 = mux(T_874, UInt<1>(1), T_1367) + node T_1369 = mux(T_872, UInt<1>(1), T_1368) + node T_1370 = mux(T_870, UInt<1>(1), T_1369) + node T_1371 = mux(T_868, UInt<1>(1), T_1370) + node T_1372 = mux(T_866, UInt<1>(0), T_1371) + node T_1373 = mux(T_864, UInt<1>(0), T_1372) + node T_1374 = mux(T_862, UInt<1>(0), T_1373) + node T_1375 = mux(T_860, UInt<1>(1), T_1374) + node T_1376 = mux(T_858, UInt<1>(1), T_1375) + node T_1377 = mux(T_856, UInt<1>(1), T_1376) + node T_1378 = mux(T_854, UInt<1>(1), T_1377) + node T_1379 = mux(T_852, UInt<1>(1), T_1378) + node T_1380 = mux(T_850, UInt<1>(0), T_1379) + node T_1381 = mux(T_848, UInt<1>(0), T_1380) + node T_1382 = mux(T_846, UInt<1>(0), T_1381) + node T_1383 = mux(T_844, UInt<1>(0), T_1382) + node T_1384 = mux(T_842, UInt<1>(0), T_1383) + node T_1385 = mux(T_840, UInt<1>(0), T_1384) + node T_1386 = mux(T_838, UInt<1>(1), T_1385) + node T_1387 = mux(T_836, UInt<1>(1), T_1386) + node T_1388 = mux(T_834, UInt<1>(1), T_1387) + node T_1389 = mux(T_832, UInt<1>(1), T_1388) + node T_1390 = mux(T_916, UInt<2>(3), UInt<2>(0)) + node T_1391 = mux(T_914, UInt<2>(2), T_1390) + node T_1392 = mux(T_912, UInt<2>(1), T_1391) + node T_1393 = mux(T_910, UInt<2>(3), T_1392) + node T_1394 = mux(T_908, UInt<2>(2), T_1393) + node T_1395 = mux(T_906, UInt<2>(1), T_1394) + node T_1396 = mux(T_904, UInt<2>(0), T_1395) + node T_1397 = mux(T_902, UInt<2>(0), T_1396) + node T_1398 = mux(T_900, UInt<2>(0), T_1397) + node T_1399 = mux(T_898, UInt<2>(0), T_1398) + node T_1400 = mux(T_896, UInt<2>(0), T_1399) + node T_1401 = mux(T_894, UInt<2>(0), T_1400) + node T_1402 = mux(T_892, UInt<2>(0), T_1401) + node T_1403 = mux(T_890, UInt<2>(0), T_1402) + node T_1404 = mux(T_888, UInt<2>(0), T_1403) + node T_1405 = mux(T_886, UInt<2>(0), T_1404) + node T_1406 = mux(T_884, UInt<2>(0), T_1405) + node T_1407 = mux(T_882, UInt<2>(0), T_1406) + node T_1408 = mux(T_880, UInt<2>(0), T_1407) + node T_1409 = mux(T_878, UInt<2>(0), T_1408) + node T_1410 = mux(T_876, UInt<2>(0), T_1409) + node T_1411 = mux(T_874, UInt<2>(0), T_1410) + node T_1412 = mux(T_872, UInt<2>(0), T_1411) + node T_1413 = mux(T_870, UInt<2>(0), T_1412) + node T_1414 = mux(T_868, UInt<2>(0), T_1413) + node T_1415 = mux(T_866, UInt<2>(0), T_1414) + node T_1416 = mux(T_864, UInt<2>(0), T_1415) + node T_1417 = mux(T_862, UInt<2>(0), T_1416) + node T_1418 = mux(T_860, UInt<2>(0), T_1417) + node T_1419 = mux(T_858, UInt<2>(0), T_1418) + node T_1420 = mux(T_856, UInt<2>(0), T_1419) + node T_1421 = mux(T_854, UInt<2>(0), T_1420) + node T_1422 = mux(T_852, UInt<2>(0), T_1421) + node T_1423 = mux(T_850, UInt<2>(0), T_1422) + node T_1424 = mux(T_848, UInt<2>(0), T_1423) + node T_1425 = mux(T_846, UInt<2>(0), T_1424) + node T_1426 = mux(T_844, UInt<2>(0), T_1425) + node T_1427 = mux(T_842, UInt<2>(0), T_1426) + node T_1428 = mux(T_840, UInt<2>(0), T_1427) + node T_1429 = mux(T_838, UInt<2>(0), T_1428) + node T_1430 = mux(T_836, UInt<2>(0), T_1429) + node T_1431 = mux(T_834, UInt<2>(0), T_1430) + node T_1432 = mux(T_832, UInt<2>(0), T_1431) node rs1_addr = bits(ctrl.inst, 19, 15) node rs2_addr = bits(ctrl.inst, 24, 20) - reg st_type : UInt<2> - reg ld_type : UInt<3> - reg wb_sel : UInt<2> - node T_2038 = bit(T_1994, 0) - reg wb_en : UInt<1> - reg csr_cmd : UInt<2> - ctrl.pc_sel := T_1564 - node T_2039 = bit-not(ctrl.stall) - node T_2040 = bit-not(ctrl.data_re) - node T_2041 = bit-and(T_2039, T_2040) - ctrl.inst_re := T_2041 - node T_2042 = neq(T_1908, UInt<3>(7)) - node T_2043 = bit(T_1822, 0) - node T_2044 = bit-or(T_2042, T_2043) - node T_2045 = mux(T_2044, UInt<1>(1), UInt<1>(0)) - ctrl.inst_type := T_2045 - ctrl.A_sel := T_1607 - ctrl.B_sel := T_1650 - ctrl.imm_sel := T_1693 - ctrl.alu_op := T_1736 - ctrl.br_type := T_1779 - ctrl.st_type := T_1865 - node T_2046 = bit-not(ctrl.stall) - when T_2046 : + reg st_type : UInt<2>, clk, reset + reg ld_type : UInt<3>, clk, reset + reg wb_sel : UInt<2>, clk, reset + node T_1433 = bit(T_1389, 0) + reg wb_en : UInt<1>, clk, reset + reg csr_cmd : UInt<2>, clk, reset + ctrl.pc_sel := T_959 + node T_1434 = not(ctrl.stall) + node T_1435 = not(ctrl.data_re) + node T_1436 = and(T_1434, T_1435) + ctrl.inst_re := T_1436 + node T_1437 = neq(T_1303, UInt<3>(7)) + node T_1438 = bit(T_1217, 0) + node T_1439 = or(T_1437, T_1438) + node T_1440 = mux(T_1439, UInt<1>(1), UInt<1>(0)) + ctrl.inst_type := T_1440 + ctrl.A_sel := T_1002 + ctrl.B_sel := T_1045 + ctrl.imm_sel := T_1088 + ctrl.alu_op := T_1131 + ctrl.br_type := T_1174 + ctrl.st_type := T_1260 + node T_1441 = not(ctrl.stall) + when T_1441 : st_type := ctrl.st_type - ld_type := T_1908 - wb_sel := T_1951 - node T_2047 = bit(T_1994, 0) - wb_en := T_2047 - csr_cmd := T_2037 - node T_2048 = neq(ctrl.ld_type, UInt<3>(7)) - node T_2049 = neq(T_1908, UInt<3>(7)) - node T_2050 = mux(ctrl.stall, T_2048, T_2049) - ctrl.data_re := T_2050 + ld_type := T_1303 + wb_sel := T_1346 + node T_1442 = bit(T_1389, 0) + wb_en := T_1442 + csr_cmd := T_1432 + node T_1443 = neq(ctrl.ld_type, UInt<3>(7)) + node T_1444 = neq(T_1303, UInt<3>(7)) + node T_1445 = mux(ctrl.stall, T_1443, T_1444) + ctrl.data_re := T_1445 ctrl.ld_type := ld_type ctrl.wb_en := wb_en ctrl.wb_sel := wb_sel |