combinational_critical_path { total_delay_ps: 5572 nodes { total_delay_ps: 5572 op: OP_TUPLE id: 1751 ir: "tuple.1751: (bits[1], bits[5], bits[10]) = tuple(result_sign__2: bits[1], result_exp__2: bits[5], result_fraction__4: bits[10], id=1751, pos=[(0,3757,33), (3,122,60)])" } nodes { total_delay_ps: 5572 node_delay_ps: 119 op: OP_SEL id: 1749 ir: "result_fraction__4: bits[10] = sel(is_result_nan, cases=[result_fraction__3, literal.1745], id=1749, pos=[(0,3754,8), (3,122,60)])" } nodes { total_delay_ps: 5453 node_delay_ps: 23 op: OP_AND id: 1812 ir: "result_fraction__3: bits[10] = and(result_fraction: bits[10], sign_ext.1811: bits[10], id=1812, pos=[(0,3743,26), (3,122,60)])" } nodes { total_delay_ps: 5430 node_delay_ps: 17 op: OP_SIGN_EXT id: 1811 ir: "sign_ext.1811: bits[10] = sign_ext(not.1810: bits[1], new_bit_count=10, id=1811, pos=[(0,3743,26), (3,122,60)])" } nodes { total_delay_ps: 5413 op: OP_NOT id: 1810 ir: "not.1810: bits[1] = not(or.1739: bits[1], id=1810, pos=[(0,3743,26), (3,122,60)])" } nodes { total_delay_ps: 5413 node_delay_ps: 33 op: OP_OR id: 1739 ir: "or.1739: bits[1] = or(is_operand_inf: bits[1], bit_slice.1733: bits[1], and_reduce.1734: bits[1], eq.1735: bits[1], id=1739, pos=[(0,3743,26), (3,122,60)])" } nodes { total_delay_ps: 5380 node_delay_ps: 89 op: OP_EQ id: 1735 ir: "eq.1735: bits[1] = eq(bexp__6: bits[6], literal.1546: bits[6], id=1735, pos=[(0,3732,29), (3,122,60)])" } nodes { total_delay_ps: 5291 node_delay_ps: 23 op: OP_AND id: 1809 ir: "bexp__6: bits[6] = and(bit_slice.1713: bits[6], sign_ext.1808: bits[6], id=1809, pos=[(0,3727,15), (3,122,60)])" } nodes { total_delay_ps: 5268 node_delay_ps: 17 op: OP_SIGN_EXT id: 1808 ir: "sign_ext.1808: bits[6] = sign_ext(not.1807: bits[1], new_bit_count=6, id=1808, pos=[(0,3727,15), (3,122,60)])" } nodes { total_delay_ps: 5251 op: OP_NOT id: 1807 ir: "not.1807: bits[1] = not(bit_slice.1712: bits[1], id=1807, pos=[(0,3727,15), (3,122,60)])" } nodes { total_delay_ps: 5251 op: OP_BIT_SLICE id: 1712 ir: "bit_slice.1712: bits[1] = bit_slice(bexp__2: bits[7], start=6, width=1, id=1712, pos=[(0,3727,18), (3,122,60)])" } nodes { total_delay_ps: 5251 node_delay_ps: 23 op: OP_AND id: 1806 ir: "bexp__2: bits[7] = and(bexp__1: bits[7], sign_ext.1805: bits[7], id=1806, pos=[(0,3726,15), (3,122,60)])" } nodes { total_delay_ps: 5228 node_delay_ps: 198 op: OP_ADD id: 1702 ir: "bexp__1: bits[7] = add(bexp_associative_element__1: bits[7], bexp_associative_element__4: bits[7], id=1702, pos=[(0,3724,15), (3,122,60)])" } nodes { total_delay_ps: 5030 node_delay_ps: 198 op: OP_ADD id: 1700 ir: "bexp_associative_element__4: bits[7] = add(concat.1696: bits[7], concat.1697: bits[7], id=1700, pos=[(0,3724,15), (3,122,60)])" } nodes { total_delay_ps: 4832 op: OP_CONCAT id: 1697 ir: "concat.1697: bits[7] = concat(literal.1546: bits[6], rounding_carry: bits[1], id=1697, pos=[(3,122,60)])" } nodes { total_delay_ps: 4832 op: OP_BIT_SLICE id: 1694 ir: "rounding_carry: bits[1] = bit_slice(rounded_fraction__1: bits[12], start=11, width=1, id=1694, pos=[(0,3719,41), (3,122,60)])" } nodes { total_delay_ps: 4832 node_delay_ps: 123 op: OP_SEL id: 1692 ir: "rounded_fraction__1: bits[12] = sel(or.1689, cases=[concat.1690, add.1815], id=1692, pos=[(0,3712,27), (3,122,60)])" } nodes { total_delay_ps: 4709 node_delay_ps: 254 op: OP_ADD id: 1815 ir: "add.1815: bits[12] = add(concat.1690: bits[12], literal.1825: bits[12], id=1815, pos=[(0,3713,8), (3,122,60)])" } nodes { total_delay_ps: 4455 op: OP_CONCAT id: 1690 ir: "concat.1690: bits[12] = concat(cancel__1: bits[1], bit_slice.1687: bits[11], id=1690, pos=[(0,3712,27), (3,122,60)])" } nodes { total_delay_ps: 4455 op: OP_BIT_SLICE id: 1687 ir: "bit_slice.1687: bits[11] = bit_slice(shifted_fraction: bits[34], start=23, width=11, id=1687, pos=[(0,3712,27), (3,122,60)])" } nodes { total_delay_ps: 4455 node_delay_ps: 184 op: OP_PRIORITY_SEL id: 1678 ir: "shifted_fraction: bits[34] = priority_sel(concat.1674, cases=[carry_fraction__2, cancel_fraction__2, bit_slice.1672], default=literal.1677, id=1678, pos=[(3,122,60)])" } nodes { total_delay_ps: 4271 node_delay_ps: 261 op: OP_SHLL id: 1676 ir: "cancel_fraction__2: bits[34] = shll(bit_slice.1672: bits[34], sign_ext.1673: bits[35], id=1676, pos=[(3,122,60)])" } nodes { total_delay_ps: 4010 node_delay_ps: 17 op: OP_SIGN_EXT id: 1673 ir: "sign_ext.1673: bits[35] = sign_ext(add.1666: bits[7], new_bit_count=35, id=1673, pos=[(0,3694,26), (3,122,60)])" } nodes { total_delay_ps: 3993 node_delay_ps: 198 op: OP_ADD id: 1666 ir: "add.1666: bits[7] = add(concat.1660: bits[7], literal.1661: bits[7], id=1666, pos=[(0,3694,26), (3,122,60)])" } nodes { total_delay_ps: 3795 op: OP_CONCAT id: 1660 ir: "concat.1660: bits[7] = concat(cancel__1: bits[1], encode.1656: bits[6], id=1660, pos=[(3,122,60)])" } nodes { total_delay_ps: 3795 node_delay_ps: 83 op: OP_ENCODE id: 1656 ir: "encode.1656: bits[6] = encode(one_hot.1655: bits[36], id=1656, pos=[(0,3691,28), (3,122,60)])" } nodes { total_delay_ps: 3712 node_delay_ps: 194 op: OP_ONE_HOT id: 1655 ir: "one_hot.1655: bits[36] = one_hot(reverse.1654: bits[35], lsb_prio=true, id=1655, pos=[(0,3691,28), (3,122,60)])" } nodes { total_delay_ps: 3518 op: OP_REVERSE id: 1654 ir: "reverse.1654: bits[35] = reverse(abs_fraction__2: bits[35], id=1654, pos=[(0,3691,28), (3,122,60)])" } nodes { total_delay_ps: 3518 node_delay_ps: 144 op: OP_SEL id: 1653 ir: "abs_fraction__2: bits[35] = sel(bit_slice.1651, cases=[bit_slice.1650, neg.1652], id=1653, pos=[(0,3677,24), (3,122,60)])" } nodes { total_delay_ps: 3374 node_delay_ps: 257 op: OP_NEG id: 1652 ir: "neg.1652: bits[35] = neg(bit_slice.1650: bits[35], id=1652, pos=[(0,3678,27), (3,122,60)])" } nodes { total_delay_ps: 3117 op: OP_BIT_SLICE id: 1650 ir: "bit_slice.1650: bits[35] = bit_slice(sum_fraction: bits[36], start=0, width=35, id=1650, pos=[(0,3677,24), (3,122,60)])" } nodes { total_delay_ps: 3117 node_delay_ps: 371 op: OP_ADD id: 1649 ir: "sum_fraction: bits[36] = add(shifted_ab__2: bits[36], shifted_c__2: bits[36], id=1649, pos=[(0,3668,23), (3,122,60)])" } nodes { total_delay_ps: 2746 node_delay_ps: 17 op: OP_SIGN_EXT id: 1852 ir: "shifted_ab__2: bits[36] = sign_ext(shifted_ab__2_squeezed: bits[35], new_bit_count=36, id=1852, pos=[(0,3664,21), (3,122,60)])" } nodes { total_delay_ps: 2729 node_delay_ps: 144 op: OP_SEL id: 1851 ir: "shifted_ab__2_squeezed: bits[35] = sel(xor.1641, cases=[shifted_ab__1_squeezed, neg.1639], id=1851, pos=[(0,3664,21), (3,122,60)])" } nodes { total_delay_ps: 2585 node_delay_ps: 257 op: OP_NEG id: 1639 ir: "neg.1639: bits[35] = neg(shifted_ab__1_squeezed: bits[35], id=1639, pos=[(0,3664,50), (3,122,60)])" } nodes { total_delay_ps: 2328 op: OP_CONCAT id: 1858 ir: "shifted_ab__1_squeezed: bits[35] = concat(cancel__1: bits[1], bit_slice.1629: bits[33], or.1630: bits[1], id=1858, pos=[(3,122,60)])" } nodes { total_delay_ps: 2328 node_delay_ps: 19 op: OP_OR id: 1630 ir: "or.1630: bits[1] = or(bit_slice.1624: bits[1], ne.1625: bits[1], id=1630, pos=[(0,3660,22), (3,122,60)])" } nodes { total_delay_ps: 2309 node_delay_ps: 124 op: OP_NE id: 1625 ir: "ne.1625: bits[1] = ne(nor.1620: bits[22], literal.1534: bits[22], id=1625, pos=[(1,1501,17), (1,1528,22), (0,3656,38), (3,122,60)])" } nodes { total_delay_ps: 2185 node_delay_ps: 27 op: OP_NOR id: 1620 ir: "nor.1620: bits[22] = nor(not.1602: bits[22], bit_slice.1614: bits[22], id=1620, pos=[(1,1411,4), (1,1501,17), (1,1528,22), (0,3656,38), (3,122,60)])" } nodes { total_delay_ps: 2158 op: OP_BIT_SLICE id: 1614 ir: "bit_slice.1614: bits[22] = bit_slice(shll.1610: bits[34], start=12, width=22, id=1614, pos=[(1,1411,19), (1,1501,17), (1,1528,22), (0,3656,38), (3,122,60)])" } nodes { total_delay_ps: 2158 node_delay_ps: 261 op: OP_SHLL id: 1610 ir: "shll.1610: bits[34] = shll(literal.1604: bits[34], rshift_ab: bits[6], id=1610, pos=[(1,1411,19), (1,1501,17), (1,1528,22), (0,3656,38), (3,122,60)])" } nodes { total_delay_ps: 1897 node_delay_ps: 23 op: OP_AND id: 1798 ir: "rshift_ab: bits[6] = and(exp_difference: bits[6], ab_bexpor_mask__2: bits[6], id=1798, pos=[(0,3652,20), (3,122,60)])" } nodes { total_delay_ps: 1874 node_delay_ps: 182 op: OP_ADD id: 1600 ir: "exp_difference: bits[6] = add(result: bits[6], concat.1597: bits[6], id=1600, pos=[(2,54,7), (0,3006,68), (0,3635,33), (3,122,60)])" } nodes { total_delay_ps: 1692 node_delay_ps: 49 op: OP_XOR id: 1596 ir: "result: bits[6] = xor(narrowed_result: bits[6], ab_bexpor_mask__2: bits[6], id=1596, pos=[(2,95,18), (0,3005,44), (0,3635,33), (3,122,60)])" } nodes { total_delay_ps: 1643 node_delay_ps: 17 op: OP_SIGN_EXT id: 1592 ir: "ab_bexpor_mask__2: bits[6] = sign_ext(nc: bits[1], new_bit_count=6, id=1592, pos=[(2,94,32), (0,3005,44), (0,3635,33), (3,122,60)])" } nodes { total_delay_ps: 1626 op: OP_NOT id: 1585 ir: "nc: bits[1] = not(overflow_detected: bits[1], id=1585, pos=[(2,92,19), (0,3005,44), (0,3635,33), (3,122,60)])" } nodes { total_delay_ps: 1626 op: OP_BIT_SLICE id: 1581 ir: "overflow_detected: bits[1] = bit_slice(full_result: bits[7], start=6, width=1, id=1581, pos=[(1,1121,49), (2,91,63), (0,3005,44), (0,3635,33), (3,122,60)])" } nodes { total_delay_ps: 1626 node_delay_ps: 198 op: OP_ADD id: 1579 ir: "full_result: bits[7] = add(ab_bexp_extended__1: bits[7], bnot_extended__2: bits[7], id=1579, pos=[(1,1119,45), (2,91,63), (0,3005,44), (0,3635,33), (3,122,60)])" } nodes { total_delay_ps: 1428 op: OP_CONCAT id: 1575 ir: "ab_bexp_extended__1: bits[7] = concat(cancel__1: bits[1], ab_bexp__2: bits[6], id=1575, pos=[(2,91,63), (0,3005,44), (0,3635,33), (3,122,60)])" } nodes { total_delay_ps: 1428 node_delay_ps: 109 op: OP_SEL id: 1572 ir: "ab_bexp__2: bits[6] = sel(is_result_nan__1, cases=[result_exp, literal.1569], id=1572, pos=[(0,3584,4), (0,3632,25), (3,122,60)])" } nodes { total_delay_ps: 1319 node_delay_ps: 23 op: OP_AND id: 1790 ir: "result_exp: bits[6] = and(bit_slice.1564: bits[6], sign_ext.1789: bits[6], id=1790, pos=[(0,3577,21), (0,3632,25), (3,122,60)])" } nodes { total_delay_ps: 1296 node_delay_ps: 17 op: OP_SIGN_EXT id: 1789 ir: "sign_ext.1789: bits[6] = sign_ext(not.1788: bits[1], new_bit_count=6, id=1789, pos=[(0,3577,21), (0,3632,25), (3,122,60)])" } nodes { total_delay_ps: 1279 op: OP_NOT id: 1788 ir: "not.1788: bits[1] = not(is_subnormal: bits[1], id=1788, pos=[(0,3577,21), (0,3632,25), (3,122,60)])" } nodes { total_delay_ps: 1279 node_delay_ps: 124 op: OP_SLE id: 1563 ir: "is_subnormal: bits[1] = sle(result_exp__3: bits[7], literal.1545: bits[7], id=1563, pos=[(0,3576,34), (0,3632,25), (3,122,60)])" } nodes { total_delay_ps: 1155 node_delay_ps: 112 op: OP_SEL id: 1558 ir: "result_exp__3: bits[7] = sel(has_inf_arg, cases=[result_exp__1, literal.1554], id=1558, pos=[(0,3478,21), (0,3570,29), (0,3632,25), (3,122,60)])" } nodes { total_delay_ps: 1043 node_delay_ps: 198 op: OP_ADD id: 1553 ir: "result_exp__1: bits[7] = add(exp__1: bits[7], concat.1551: bits[7], id=1553, pos=[(0,3464,14), (0,3570,29), (0,3632,25), (3,122,60)])" } nodes { total_delay_ps: 845 op: OP_CONCAT id: 1551 ir: "concat.1551: bits[7] = concat(literal.1546: bits[6], in_upper_binade: bits[1], id=1551, pos=[(0,3570,29), (0,3632,25), (3,122,60)])" } nodes { total_delay_ps: 845 op: OP_BIT_SLICE id: 1547 ir: "in_upper_binade: bits[1] = bit_slice(full_product: bits[22], start=21, width=1, id=1547, pos=[(1,357,61), (0,3459,34), (0,3570,29), (0,3632,25), (3,122,60)])" } nodes { total_delay_ps: 845 node_delay_ps: 23 op: OP_AND id: 1784 ir: "full_product: bits[22] = and(umul.1533: bits[22], sign_ext.1783: bits[22], id=1784, pos=[(0,3435,8), (0,3570,29), (0,3632,25), (3,122,60)])" } nodes { total_delay_ps: 822 node_delay_ps: 822 op: OP_UMUL id: 1533 ir: "umul.1533: bits[22] = umul(a_significand__1: bits[11], b_significand__1: bits[11], id=1533, pos=[(1,224,5), (0,3435,61), (0,3570,29), (0,3632,25), (3,122,60)])" } nodes { op: OP_CONCAT id: 1530 ir: "b_significand__1: bits[11] = concat(bnot__1: bits[1], b_fraction__1: bits[10], id=1530, pos=[(0,3431,24), (0,3570,29), (0,3632,25), (3,122,60)])" } nodes { op: OP_TUPLE_INDEX id: 1524 ir: "b_fraction__1: bits[10] = tuple_index(b: (bits[1], bits[5], bits[10]), index=2, id=1524, pos=[(0,3431,33), (0,3570,29), (0,3632,25), (3,122,60)])" } nodes { op: OP_PARAM id: 518 ir: "b: (bits[1], bits[5], bits[10]) = param(name=b, id=518)" } } all_nodes { op: OP_PARAM id: 517 ir: "a: (bits[1], bits[5], bits[10]) = param(name=a, id=517)" } all_nodes { op: OP_PARAM id: 518 ir: "b: (bits[1], bits[5], bits[10]) = param(name=b, id=518)" } all_nodes { op: OP_TUPLE_INDEX id: 1519 ir: "a_bexp__1: bits[5] = tuple_index(a: (bits[1], bits[5], bits[10]), index=1, id=1519, pos=[(0,3444,16), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_LITERAL id: 1521 ir: "literal.1521: bits[5] = literal(value=0, id=1521, pos=[(0,3642,30), (3,122,60)])" } all_nodes { op: OP_TUPLE_INDEX id: 1520 ir: "b_bexp__1: bits[5] = tuple_index(b: (bits[1], bits[5], bits[10]), index=1, id=1520, pos=[(0,3444,45), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_LITERAL id: 1518 ir: "cancel__1: bits[1] = literal(value=0, id=1518, pos=[(0,3692,17), (3,122,60)])" } all_nodes { op: OP_LITERAL id: 1522 ir: "bnot__1: bits[1] = literal(value=1, id=1522, pos=[(2,90,15), (0,3005,44), (0,3635,33), (3,122,60)])" } all_nodes { op: OP_TUPLE_INDEX id: 1523 ir: "a_fraction__1: bits[10] = tuple_index(a: (bits[1], bits[5], bits[10]), index=2, id=1523, pos=[(0,3430,33), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_TUPLE_INDEX id: 1524 ir: "b_fraction__1: bits[10] = tuple_index(b: (bits[1], bits[5], bits[10]), index=2, id=1524, pos=[(0,3431,33), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 85 op: OP_EQ id: 1527 ir: "eq.1527: bits[1] = eq(a_bexp__1: bits[5], literal.1521: bits[5], id=1527, pos=[(0,804,5), (0,3427,40), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 85 op: OP_EQ id: 1528 ir: "eq.1528: bits[1] = eq(b_bexp__1: bits[5], literal.1521: bits[5], id=1528, pos=[(0,804,5), (0,3427,67), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_CONCAT id: 1525 ir: "concat.1525: bits[6] = concat(cancel__1: bits[1], a_bexp__1: bits[5], id=1525, pos=[(0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_CONCAT id: 1526 ir: "concat.1526: bits[6] = concat(cancel__1: bits[1], b_bexp__1: bits[5], id=1526, pos=[(0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_CONCAT id: 1529 ir: "a_significand__1: bits[11] = concat(bnot__1: bits[1], a_fraction__1: bits[10], id=1529, pos=[(0,3430,24), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_CONCAT id: 1530 ir: "b_significand__1: bits[11] = concat(bnot__1: bits[1], b_fraction__1: bits[10], id=1530, pos=[(0,3431,24), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 27 op: OP_NOR id: 1827 ir: "nor.1827: bits[1] = nor(eq.1527: bits[1], eq.1528: bits[1], id=1827, pos=[(0,3435,8), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 182 op: OP_ADD id: 1531 ir: "add.1531: bits[6] = add(concat.1525: bits[6], concat.1526: bits[6], id=1531, pos=[(0,3444,16), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 822 op: OP_UMUL id: 1533 ir: "umul.1533: bits[22] = umul(a_significand__1: bits[11], b_significand__1: bits[11], id=1533, pos=[(1,224,5), (0,3435,61), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 17 op: OP_SIGN_EXT id: 1783 ir: "sign_ext.1783: bits[22] = sign_ext(nor.1827: bits[1], new_bit_count=22, id=1783, pos=[(0,3435,8), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_LITERAL id: 1535 ir: "max_exp: bits[5] = literal(value=31, id=1535, pos=[(0,3736,32), (3,122,60)])" } all_nodes { op: OP_LITERAL id: 1536 ir: "literal.1536: bits[10] = literal(value=0, id=1536, pos=[(0,3732,55), (3,122,60)])" } all_nodes { op: OP_CONCAT id: 1537 ir: "concat.1537: bits[7] = concat(cancel__1: bits[1], add.1531: bits[6], id=1537, pos=[(0,3444,16), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_LITERAL id: 1538 ir: "literal.1538: bits[7] = literal(value=113, id=1538, pos=[(0,3444,16), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1784 ir: "full_product: bits[22] = and(umul.1533: bits[22], sign_ext.1783: bits[22], id=1784, pos=[(0,3435,8), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 85 op: OP_EQ id: 1540 ir: "eq.1540: bits[1] = eq(a_bexp__1: bits[5], max_exp: bits[5], id=1540, pos=[(0,71,6), (0,3483,28), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 102 op: OP_EQ id: 1541 ir: "eq.1541: bits[1] = eq(a_fraction__1: bits[10], literal.1536: bits[10], id=1541, pos=[(0,96,44), (0,3477,31), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 85 op: OP_EQ id: 1542 ir: "eq.1542: bits[1] = eq(b_bexp__1: bits[5], max_exp: bits[5], id=1542, pos=[(0,71,6), (0,3483,41), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 102 op: OP_EQ id: 1543 ir: "eq.1543: bits[1] = eq(b_fraction__1: bits[10], literal.1536: bits[10], id=1543, pos=[(0,96,44), (0,3477,44), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 198 op: OP_ADD id: 1544 ir: "exp: bits[7] = add(concat.1537: bits[7], literal.1538: bits[7], id=1544, pos=[(0,3444,16), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 17 op: OP_SIGN_EXT id: 1786 ir: "sign_ext.1786: bits[7] = sign_ext(nor.1827: bits[1], new_bit_count=7, id=1786, pos=[(0,3453,14), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_LITERAL id: 1546 ir: "literal.1546: bits[6] = literal(value=0, id=1546, pos=[(0,3652,64), (3,122,60)])" } all_nodes { op: OP_BIT_SLICE id: 1547 ir: "in_upper_binade: bits[1] = bit_slice(full_product: bits[22], start=21, width=1, id=1547, pos=[(1,357,61), (0,3459,34), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1548 ir: "and.1548: bits[1] = and(eq.1540: bits[1], eq.1541: bits[1], id=1548, pos=[(0,96,6), (0,3477,31), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1549 ir: "and.1549: bits[1] = and(eq.1542: bits[1], eq.1543: bits[1], id=1549, pos=[(0,96,6), (0,3477,44), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1787 ir: "exp__1: bits[7] = and(exp: bits[7], sign_ext.1786: bits[7], id=1787, pos=[(0,3453,14), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_CONCAT id: 1551 ir: "concat.1551: bits[7] = concat(literal.1546: bits[6], in_upper_binade: bits[1], id=1551, pos=[(0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 19 op: OP_OR id: 1552 ir: "has_inf_arg: bits[1] = or(and.1548: bits[1], and.1549: bits[1], id=1552, pos=[(0,3484,28), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 198 op: OP_ADD id: 1553 ir: "result_exp__1: bits[7] = add(exp__1: bits[7], concat.1551: bits[7], id=1553, pos=[(0,3464,14), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_LITERAL id: 1554 ir: "literal.1554: bits[7] = literal(value=63, id=1554, pos=[(0,3478,62), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 112 op: OP_SEL id: 1558 ir: "result_exp__3: bits[7] = sel(has_inf_arg, cases=[result_exp__1, literal.1554], id=1558, pos=[(0,3478,21), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_LITERAL id: 1545 ir: "literal.1545: bits[7] = literal(value=0, id=1545, pos=[(0,3726,37), (3,122,60)])" } all_nodes { node_delay_ps: 124 op: OP_SLE id: 1563 ir: "is_subnormal: bits[1] = sle(result_exp__3: bits[7], literal.1545: bits[7], id=1563, pos=[(0,3576,34), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_NOT id: 1556 ir: "not.1556: bits[1] = not(eq.1540: bits[1], id=1556, pos=[(0,71,6), (0,3483,28), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_NOT id: 1557 ir: "not.1557: bits[1] = not(eq.1542: bits[1], id=1557, pos=[(0,71,6), (0,3483,41), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 19 op: OP_OR id: 1532 ir: "has_0_arg: bits[1] = or(eq.1527: bits[1], eq.1528: bits[1], id=1532, pos=[(0,3427,40), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_NOT id: 1788 ir: "not.1788: bits[1] = not(is_subnormal: bits[1], id=1788, pos=[(0,3577,21), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 27 op: OP_NOR id: 1560 ir: "nor.1560: bits[1] = nor(not.1556: bits[1], eq.1541: bits[1], id=1560, pos=[(0,71,6), (0,3483,28), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 27 op: OP_NOR id: 1561 ir: "nor.1561: bits[1] = nor(not.1557: bits[1], eq.1543: bits[1], id=1561, pos=[(0,71,6), (0,3483,41), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1562 ir: "and.1562: bits[1] = and(has_0_arg: bits[1], has_inf_arg: bits[1], id=1562, pos=[(0,3485,40), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_BIT_SLICE id: 1564 ir: "bit_slice.1564: bits[6] = bit_slice(result_exp__3: bits[7], start=0, width=6, id=1564, pos=[(0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 17 op: OP_SIGN_EXT id: 1789 ir: "sign_ext.1789: bits[6] = sign_ext(not.1788: bits[1], new_bit_count=6, id=1789, pos=[(0,3577,21), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_PARAM id: 519 ir: "c: (bits[1], bits[5], bits[10]) = param(name=c, id=519)" } all_nodes { node_delay_ps: 27 op: OP_OR id: 1567 ir: "is_result_nan__1: bits[1] = or(nor.1560: bits[1], nor.1561: bits[1], and.1562: bits[1], id=1567, pos=[(0,3485,24), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1790 ir: "result_exp: bits[6] = and(bit_slice.1564: bits[6], sign_ext.1789: bits[6], id=1790, pos=[(0,3577,21), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_LITERAL id: 1569 ir: "literal.1569: bits[6] = literal(value=63, id=1569, pos=[(0,3584,4), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_TUPLE_INDEX id: 1555 ir: "c_bexp__2: bits[5] = tuple_index(c: (bits[1], bits[5], bits[10]), index=1, id=1555, pos=[(0,3635,44), (3,122,60)])" } all_nodes { node_delay_ps: 109 op: OP_SEL id: 1572 ir: "ab_bexp__2: bits[6] = sel(is_result_nan__1, cases=[result_exp, literal.1569], id=1572, pos=[(0,3584,4), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_LITERAL id: 1767 ir: "literal.1767: bits[2] = literal(value=1, id=1767, pos=[(2,91,63), (0,3005,44), (0,3635,33), (3,122,60)])" } all_nodes { op: OP_NOT id: 1570 ir: "bnot__2: bits[5] = not(c_bexp__2: bits[5], id=1570, pos=[(2,90,15), (0,3005,44), (0,3635,33), (3,122,60)])" } all_nodes { op: OP_CONCAT id: 1575 ir: "ab_bexp_extended__1: bits[7] = concat(cancel__1: bits[1], ab_bexp__2: bits[6], id=1575, pos=[(2,91,63), (0,3005,44), (0,3635,33), (3,122,60)])" } all_nodes { op: OP_CONCAT id: 1768 ir: "bnot_extended__2: bits[7] = concat(literal.1767: bits[2], bnot__2: bits[5], id=1768, pos=[(2,91,63), (0,3005,44), (0,3635,33), (3,122,60)])" } all_nodes { node_delay_ps: 198 op: OP_ADD id: 1579 ir: "full_result: bits[7] = add(ab_bexp_extended__1: bits[7], bnot_extended__2: bits[7], id=1579, pos=[(1,1119,45), (2,91,63), (0,3005,44), (0,3635,33), (3,122,60)])" } all_nodes { op: OP_BIT_SLICE id: 1581 ir: "overflow_detected: bits[1] = bit_slice(full_result: bits[7], start=6, width=1, id=1581, pos=[(1,1121,49), (2,91,63), (0,3005,44), (0,3635,33), (3,122,60)])" } all_nodes { op: OP_BIT_SLICE id: 1566 ir: "bit_slice.1566: bits[21] = bit_slice(full_product: bits[22], start=0, width=21, id=1566, pos=[(0,3460,74), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_NOT id: 1585 ir: "nc: bits[1] = not(overflow_detected: bits[1], id=1585, pos=[(2,92,19), (0,3005,44), (0,3635,33), (3,122,60)])" } all_nodes { op: OP_CONCAT id: 1571 ir: "concat.1571: bits[22] = concat(bit_slice.1566: bits[21], cancel__1: bits[1], id=1571, pos=[(0,3460,74), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_NOT id: 1791 ir: "not.1791: bits[1] = not(has_inf_arg: bits[1], id=1791, pos=[(0,3479,26), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_BIT_SLICE id: 1591 ir: "narrowed_result: bits[6] = bit_slice(full_result: bits[7], start=0, width=6, id=1591, pos=[(2,91,63), (0,3005,44), (0,3635,33), (3,122,60)])" } all_nodes { node_delay_ps: 17 op: OP_SIGN_EXT id: 1592 ir: "ab_bexpor_mask__2: bits[6] = sign_ext(nc: bits[1], new_bit_count=6, id=1592, pos=[(2,94,32), (0,3005,44), (0,3635,33), (3,122,60)])" } all_nodes { node_delay_ps: 134 op: OP_SEL id: 1574 ir: "result_fraction__1: bits[22] = sel(in_upper_binade, cases=[concat.1571, umul.1533], id=1574, pos=[(0,3460,30), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 17 op: OP_SIGN_EXT id: 1792 ir: "sign_ext.1792: bits[22] = sign_ext(not.1791: bits[1], new_bit_count=22, id=1792, pos=[(0,3479,26), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 122 op: OP_NEG id: 1578 ir: "neg.1578: bits[6] = neg(bit_slice.1564: bits[6], id=1578, pos=[(0,3579,33), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 17 op: OP_SIGN_EXT id: 1794 ir: "sign_ext.1794: bits[6] = sign_ext(is_subnormal: bits[1], new_bit_count=6, id=1794)" } all_nodes { node_delay_ps: 49 op: OP_XOR id: 1596 ir: "result: bits[6] = xor(narrowed_result: bits[6], ab_bexpor_mask__2: bits[6], id=1596, pos=[(2,95,18), (0,3005,44), (0,3635,33), (3,122,60)])" } all_nodes { op: OP_CONCAT id: 1597 ir: "concat.1597: bits[6] = concat(literal.1521: bits[5], overflow_detected: bits[1], id=1597, pos=[(0,3006,68), (0,3635,33), (3,122,60)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1793 ir: "result_fraction__2: bits[22] = and(result_fraction__1: bits[22], sign_ext.1792: bits[22], id=1793, pos=[(0,3479,26), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1795 ir: "and.1795: bits[6] = and(neg.1578: bits[6], sign_ext.1794: bits[6], id=1795)" } all_nodes { node_delay_ps: 182 op: OP_ADD id: 1600 ir: "exp_difference: bits[6] = add(result: bits[6], concat.1597: bits[6], id=1600, pos=[(2,54,7), (0,3006,68), (0,3635,33), (3,122,60)])" } all_nodes { op: OP_TUPLE_INDEX id: 1582 ir: "c_fraction__2: bits[10] = tuple_index(c: (bits[1], bits[5], bits[10]), index=2, id=1582, pos=[(0,3641,18), (3,122,60)])" } all_nodes { node_delay_ps: 85 op: OP_NE id: 1824 ir: "ne.1824: bits[1] = ne(c_bexp__2: bits[5], literal.1521: bits[5], id=1824, pos=[(0,3642,17), (3,122,60)])" } all_nodes { node_delay_ps: 17 op: OP_SIGN_EXT id: 1799 ir: "sign_ext.1799: bits[6] = sign_ext(overflow_detected: bits[1], new_bit_count=6, id=1799, pos=[(0,3653,19), (3,122,60)])" } all_nodes { node_delay_ps: 230 op: OP_SHRL id: 1781 ir: "result_fraction__5: bits[22] = shrl(result_fraction__2: bits[22], and.1795: bits[6], id=1781)" } all_nodes { op: OP_LITERAL id: 1584 ir: "literal.1584: bits[22] = literal(value=3145728, id=1584, pos=[(0,3584,4), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_LITERAL id: 1604 ir: "literal.1604: bits[34] = literal(value=17179869183, id=1604, pos=[(1,1411,19), (1,1501,17), (1,1528,22), (0,3656,38), (3,122,60)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1798 ir: "rshift_ab: bits[6] = and(exp_difference: bits[6], ab_bexpor_mask__2: bits[6], id=1798, pos=[(0,3652,20), (3,122,60)])" } all_nodes { op: OP_CONCAT id: 1587 ir: "concat.1587: bits[11] = concat(bnot__1: bits[1], c_fraction__2: bits[10], id=1587, pos=[(0,3642,17), (3,122,60)])" } all_nodes { node_delay_ps: 17 op: OP_SIGN_EXT id: 1802 ir: "sign_ext.1802: bits[11] = sign_ext(ne.1824: bits[1], new_bit_count=11, id=1802, pos=[(0,3642,17), (3,122,60)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1800 ir: "rshift_c: bits[6] = and(exp_difference: bits[6], sign_ext.1799: bits[6], id=1800, pos=[(0,3653,19), (3,122,60)])" } all_nodes { node_delay_ps: 134 op: OP_SEL id: 1589 ir: "ab_fraction__2: bits[22] = sel(is_result_nan__1, cases=[result_fraction__5, literal.1584], id=1589, pos=[(0,3584,4), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_LITERAL id: 1590 ir: "literal.1590: bits[12] = literal(value=0, id=1590, pos=[(0,3647,11), (3,122,60)])" } all_nodes { node_delay_ps: 261 op: OP_SHLL id: 1610 ir: "shll.1610: bits[34] = shll(literal.1604: bits[34], rshift_ab: bits[6], id=1610, pos=[(1,1411,19), (1,1501,17), (1,1528,22), (0,3656,38), (3,122,60)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1803 ir: "wide_c__3: bits[11] = and(concat.1587: bits[11], sign_ext.1802: bits[11], id=1803, pos=[(0,3642,17), (3,122,60)])" } all_nodes { op: OP_LITERAL id: 1594 ir: "literal.1594: bits[23] = literal(value=0, id=1594, pos=[(0,3648,17), (3,122,60)])" } all_nodes { op: OP_NOT id: 1842 ir: "not.1842: bits[10] = not(c_fraction__2: bits[10], id=1842, pos=[(1,1411,4), (1,1501,17), (1,1528,22), (0,3657,37), (3,122,60)])" } all_nodes { node_delay_ps: 261 op: OP_SHLL id: 1612 ir: "shll.1612: bits[34] = shll(literal.1604: bits[34], rshift_c: bits[6], id=1612, pos=[(1,1411,19), (1,1501,17), (1,1528,22), (0,3657,37), (3,122,60)])" } all_nodes { op: OP_TUPLE_INDEX id: 1617 ir: "a_sign__1: bits[1] = tuple_index(a: (bits[1], bits[5], bits[10]), index=0, id=1617, pos=[(0,3467,23), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_TUPLE_INDEX id: 1618 ir: "b_sign__1: bits[1] = tuple_index(b: (bits[1], bits[5], bits[10]), index=0, id=1618, pos=[(0,3467,33), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_CONCAT id: 1595 ir: "wide_ab: bits[34] = concat(ab_fraction__2: bits[22], literal.1590: bits[12], id=1595, pos=[(0,3647,11), (3,122,60)])" } all_nodes { op: OP_NOT id: 1602 ir: "not.1602: bits[22] = not(ab_fraction__2: bits[22], id=1602, pos=[(1,1411,4), (1,1501,17), (1,1528,22), (0,3656,38), (3,122,60)])" } all_nodes { op: OP_BIT_SLICE id: 1614 ir: "bit_slice.1614: bits[22] = bit_slice(shll.1610: bits[34], start=12, width=22, id=1614, pos=[(1,1411,19), (1,1501,17), (1,1528,22), (0,3656,38), (3,122,60)])" } all_nodes { op: OP_CONCAT id: 1598 ir: "wide_c__2: bits[34] = concat(wide_c__3: bits[11], literal.1594: bits[23], id=1598, pos=[(0,3648,17), (3,122,60)])" } all_nodes { op: OP_CONCAT id: 1845 ir: "concat.1845: bits[11] = concat(cancel__1: bits[1], not.1842: bits[10], id=1845, pos=[(1,1411,4), (1,1501,17), (1,1528,22), (0,3657,37), (3,122,60)])" } all_nodes { op: OP_NOT id: 1830 ir: "not.1830: bits[11] = not(sign_ext.1802: bits[11], id=1830, pos=[(1,1411,4), (1,1501,17), (1,1528,22), (0,3657,37), (3,122,60)])" } all_nodes { op: OP_BIT_SLICE id: 1616 ir: "bit_slice.1616: bits[11] = bit_slice(shll.1612: bits[34], start=23, width=11, id=1616, pos=[(1,1411,19), (1,1501,17), (1,1528,22), (0,3657,37), (3,122,60)])" } all_nodes { node_delay_ps: 49 op: OP_XOR id: 1623 ir: "result_sign__3: bits[1] = xor(a_sign__1: bits[1], b_sign__1: bits[1], id=1623, pos=[(0,3467,23), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 261 op: OP_SHRL id: 1619 ir: "shifted_ab: bits[34] = shrl(wide_ab: bits[34], rshift_ab: bits[6], id=1619, pos=[(0,3654,21), (3,122,60)])" } all_nodes { node_delay_ps: 27 op: OP_NOR id: 1620 ir: "nor.1620: bits[22] = nor(not.1602: bits[22], bit_slice.1614: bits[22], id=1620, pos=[(1,1411,4), (1,1501,17), (1,1528,22), (0,3656,38), (3,122,60)])" } all_nodes { op: OP_LITERAL id: 1534 ir: "literal.1534: bits[22] = literal(value=0, id=1534, pos=[(0,3435,23), (0,3570,29), (0,3632,25), (3,122,60)])" } all_nodes { node_delay_ps: 261 op: OP_SHRL id: 1621 ir: "shifted_c: bits[34] = shrl(wide_c__2: bits[34], rshift_c: bits[6], id=1621, pos=[(0,3655,20), (3,122,60)])" } all_nodes { node_delay_ps: 38 op: OP_NOR id: 1831 ir: "nor.1831: bits[11] = nor(concat.1845: bits[11], not.1830: bits[11], bit_slice.1616: bits[11], id=1831, pos=[(1,1411,4), (1,1501,17), (1,1528,22), (0,3657,37), (3,122,60)])" } all_nodes { op: OP_LITERAL id: 1588 ir: "literal.1588: bits[11] = literal(value=0, id=1588, pos=[(0,3642,17), (3,122,60)])" } all_nodes { op: OP_NOT id: 1628 ir: "not.1628: bits[1] = not(result_sign__3: bits[1], id=1628, pos=[(0,3584,4), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_BIT_SLICE id: 1624 ir: "bit_slice.1624: bits[1] = bit_slice(shifted_ab: bits[34], start=0, width=1, id=1624, pos=[(0,3660,22), (3,122,60)])" } all_nodes { node_delay_ps: 124 op: OP_NE id: 1625 ir: "ne.1625: bits[1] = ne(nor.1620: bits[22], literal.1534: bits[22], id=1625, pos=[(1,1501,17), (1,1528,22), (0,3656,38), (3,122,60)])" } all_nodes { op: OP_BIT_SLICE id: 1626 ir: "bit_slice.1626: bits[1] = bit_slice(shifted_c: bits[34], start=0, width=1, id=1626, pos=[(0,3661,21), (3,122,60)])" } all_nodes { node_delay_ps: 105 op: OP_NE id: 1627 ir: "ne.1627: bits[1] = ne(nor.1831: bits[11], literal.1588: bits[11], id=1627, pos=[(1,1501,17), (1,1528,22), (0,3657,37), (3,122,60)])" } all_nodes { op: OP_TUPLE_INDEX id: 1634 ir: "c_sign__2: bits[1] = tuple_index(c: (bits[1], bits[5], bits[10]), index=0, id=1634, pos=[(0,3637,55), (3,122,60)])" } all_nodes { node_delay_ps: 27 op: OP_NOR id: 1633 ir: "ab_sign__2: bits[1] = nor(is_result_nan__1: bits[1], not.1628: bits[1], id=1633, pos=[(0,3584,4), (0,3632,25), (3,122,60)])" } all_nodes { op: OP_BIT_SLICE id: 1629 ir: "bit_slice.1629: bits[33] = bit_slice(shifted_ab: bits[34], start=1, width=33, id=1629, pos=[(0,3660,22), (3,122,60)])" } all_nodes { node_delay_ps: 19 op: OP_OR id: 1630 ir: "or.1630: bits[1] = or(bit_slice.1624: bits[1], ne.1625: bits[1], id=1630, pos=[(0,3660,22), (3,122,60)])" } all_nodes { op: OP_BIT_SLICE id: 1631 ir: "bit_slice.1631: bits[33] = bit_slice(shifted_c: bits[34], start=1, width=33, id=1631, pos=[(0,3661,21), (3,122,60)])" } all_nodes { node_delay_ps: 19 op: OP_OR id: 1632 ir: "or.1632: bits[1] = or(bit_slice.1626: bits[1], ne.1627: bits[1], id=1632, pos=[(0,3661,21), (3,122,60)])" } all_nodes { node_delay_ps: 75 op: OP_SEL id: 1756 ir: "greater_sign: bits[1] = sel(overflow_detected, cases=[c_sign__2, ab_sign__2], id=1756, pos=[(0,3637,8), (3,122,60)])" } all_nodes { op: OP_CONCAT id: 1858 ir: "shifted_ab__1_squeezed: bits[35] = concat(cancel__1: bits[1], bit_slice.1629: bits[33], or.1630: bits[1], id=1858, pos=[(3,122,60)])" } all_nodes { op: OP_CONCAT id: 1861 ir: "shifted_c__1_squeezed: bits[35] = concat(cancel__1: bits[1], bit_slice.1631: bits[33], or.1632: bits[1], id=1861, pos=[(3,122,60)])" } all_nodes { node_delay_ps: 49 op: OP_XOR id: 1641 ir: "xor.1641: bits[1] = xor(ab_sign__2: bits[1], greater_sign: bits[1], id=1641, pos=[(0,3664,26), (3,122,60)])" } all_nodes { node_delay_ps: 257 op: OP_NEG id: 1639 ir: "neg.1639: bits[35] = neg(shifted_ab__1_squeezed: bits[35], id=1639, pos=[(0,3664,50), (3,122,60)])" } all_nodes { node_delay_ps: 49 op: OP_XOR id: 1644 ir: "xor.1644: bits[1] = xor(c_sign__2: bits[1], greater_sign: bits[1], id=1644, pos=[(0,3665,24), (3,122,60)])" } all_nodes { node_delay_ps: 257 op: OP_NEG id: 1640 ir: "neg.1640: bits[35] = neg(shifted_c__1_squeezed: bits[35], id=1640, pos=[(0,3665,48), (3,122,60)])" } all_nodes { node_delay_ps: 144 op: OP_SEL id: 1851 ir: "shifted_ab__2_squeezed: bits[35] = sel(xor.1641, cases=[shifted_ab__1_squeezed, neg.1639], id=1851, pos=[(0,3664,21), (3,122,60)])" } all_nodes { node_delay_ps: 144 op: OP_SEL id: 1855 ir: "shifted_c__2_squeezed: bits[35] = sel(xor.1644, cases=[shifted_c__1_squeezed, neg.1640], id=1855, pos=[(0,3665,20), (3,122,60)])" } all_nodes { node_delay_ps: 17 op: OP_SIGN_EXT id: 1852 ir: "shifted_ab__2: bits[36] = sign_ext(shifted_ab__2_squeezed: bits[35], new_bit_count=36, id=1852, pos=[(0,3664,21), (3,122,60)])" } all_nodes { node_delay_ps: 17 op: OP_SIGN_EXT id: 1856 ir: "shifted_c__2: bits[36] = sign_ext(shifted_c__2_squeezed: bits[35], new_bit_count=36, id=1856, pos=[(0,3665,20), (3,122,60)])" } all_nodes { node_delay_ps: 371 op: OP_ADD id: 1649 ir: "sum_fraction: bits[36] = add(shifted_ab__2: bits[36], shifted_c__2: bits[36], id=1649, pos=[(0,3668,23), (3,122,60)])" } all_nodes { op: OP_BIT_SLICE id: 1650 ir: "bit_slice.1650: bits[35] = bit_slice(sum_fraction: bits[36], start=0, width=35, id=1650, pos=[(0,3677,24), (3,122,60)])" } all_nodes { op: OP_BIT_SLICE id: 1651 ir: "bit_slice.1651: bits[1] = bit_slice(sum_fraction: bits[36], start=35, width=1, id=1651, pos=[(0,3670,47), (3,122,60)])" } all_nodes { node_delay_ps: 257 op: OP_NEG id: 1652 ir: "neg.1652: bits[35] = neg(bit_slice.1650: bits[35], id=1652, pos=[(0,3678,27), (3,122,60)])" } all_nodes { node_delay_ps: 144 op: OP_SEL id: 1653 ir: "abs_fraction__2: bits[35] = sel(bit_slice.1651, cases=[bit_slice.1650, neg.1652], id=1653, pos=[(0,3677,24), (3,122,60)])" } all_nodes { op: OP_REVERSE id: 1654 ir: "reverse.1654: bits[35] = reverse(abs_fraction__2: bits[35], id=1654, pos=[(0,3691,28), (3,122,60)])" } all_nodes { node_delay_ps: 194 op: OP_ONE_HOT id: 1655 ir: "one_hot.1655: bits[36] = one_hot(reverse.1654: bits[35], lsb_prio=true, id=1655, pos=[(0,3691,28), (3,122,60)])" } all_nodes { node_delay_ps: 83 op: OP_ENCODE id: 1656 ir: "encode.1656: bits[6] = encode(one_hot.1655: bits[36], id=1656, pos=[(0,3691,28), (3,122,60)])" } all_nodes { op: OP_BIT_SLICE id: 1657 ir: "bit_slice.1657: bits[5] = bit_slice(encode.1656: bits[6], start=1, width=5, id=1657, pos=[(0,3692,17), (3,122,60)])" } all_nodes { node_delay_ps: 34 op: OP_OR_REDUCE id: 1658 ir: "cancel__2: bits[1] = or_reduce(bit_slice.1657: bits[5], id=1658, pos=[(0,3692,17), (3,122,60)])" } all_nodes { op: OP_BIT_SLICE id: 1659 ir: "carry_bit__2: bits[1] = bit_slice(abs_fraction__2: bits[35], start=34, width=1, id=1659, pos=[(0,3685,32), (3,122,60)])" } all_nodes { op: OP_CONCAT id: 1660 ir: "concat.1660: bits[7] = concat(cancel__1: bits[1], encode.1656: bits[6], id=1660, pos=[(3,122,60)])" } all_nodes { op: OP_LITERAL id: 1661 ir: "literal.1661: bits[7] = literal(value=127, id=1661, pos=[(0,3694,26), (3,122,60)])" } all_nodes { op: OP_NOT id: 1662 ir: "not.1662: bits[1] = not(cancel__2: bits[1], id=1662, pos=[(3,122,60)])" } all_nodes { op: OP_NOT id: 1663 ir: "not.1663: bits[1] = not(carry_bit__2: bits[1], id=1663, pos=[(3,122,60)])" } all_nodes { op: OP_BIT_SLICE id: 1664 ir: "bit_slice.1664: bits[1] = bit_slice(abs_fraction__2: bits[35], start=1, width=1, id=1664, pos=[(0,3687,25), (3,122,60)])" } all_nodes { op: OP_BIT_SLICE id: 1665 ir: "bit_slice.1665: bits[1] = bit_slice(abs_fraction__2: bits[35], start=0, width=1, id=1665, pos=[(0,3687,55), (3,122,60)])" } all_nodes { node_delay_ps: 198 op: OP_ADD id: 1666 ir: "add.1666: bits[7] = add(concat.1660: bits[7], literal.1661: bits[7], id=1666, pos=[(0,3694,26), (3,122,60)])" } all_nodes { node_delay_ps: 27 op: OP_NOR id: 1667 ir: "nor.1667: bits[1] = nor(carry_bit__2: bits[1], cancel__2: bits[1], id=1667, pos=[(3,122,60)])" } all_nodes { node_delay_ps: 27 op: OP_NOR id: 1668 ir: "nor.1668: bits[1] = nor(carry_bit__2: bits[1], not.1662: bits[1], id=1668, pos=[(3,122,60)])" } all_nodes { node_delay_ps: 27 op: OP_NOR id: 1669 ir: "nor.1669: bits[1] = nor(not.1663: bits[1], cancel__2: bits[1], id=1669, pos=[(3,122,60)])" } all_nodes { op: OP_BIT_SLICE id: 1670 ir: "bit_slice.1670: bits[33] = bit_slice(abs_fraction__2: bits[35], start=2, width=33, id=1670, pos=[(0,3687,25), (3,122,60)])" } all_nodes { node_delay_ps: 19 op: OP_OR id: 1671 ir: "carry_fraction__1: bits[1] = or(bit_slice.1664: bits[1], bit_slice.1665: bits[1], id=1671, pos=[(0,3687,25), (3,122,60)])" } all_nodes { op: OP_BIT_SLICE id: 1672 ir: "bit_slice.1672: bits[34] = bit_slice(abs_fraction__2: bits[35], start=0, width=34, id=1672, pos=[(3,122,60)])" } all_nodes { node_delay_ps: 17 op: OP_SIGN_EXT id: 1673 ir: "sign_ext.1673: bits[35] = sign_ext(add.1666: bits[7], new_bit_count=35, id=1673, pos=[(0,3694,26), (3,122,60)])" } all_nodes { op: OP_CONCAT id: 1674 ir: "concat.1674: bits[3] = concat(nor.1667: bits[1], nor.1668: bits[1], nor.1669: bits[1], id=1674, pos=[(3,122,60)])" } all_nodes { op: OP_CONCAT id: 1675 ir: "carry_fraction__2: bits[34] = concat(bit_slice.1670: bits[33], carry_fraction__1: bits[1], id=1675, pos=[(0,3687,25), (3,122,60)])" } all_nodes { node_delay_ps: 261 op: OP_SHLL id: 1676 ir: "cancel_fraction__2: bits[34] = shll(bit_slice.1672: bits[34], sign_ext.1673: bits[35], id=1676, pos=[(3,122,60)])" } all_nodes { op: OP_LITERAL id: 1677 ir: "literal.1677: bits[34] = literal(value=0, id=1677, pos=[(0,3699,39), (3,122,60)])" } all_nodes { node_delay_ps: 184 op: OP_PRIORITY_SEL id: 1678 ir: "shifted_fraction: bits[34] = priority_sel(concat.1674, cases=[carry_fraction__2, cancel_fraction__2, bit_slice.1672], default=literal.1677, id=1678, pos=[(3,122,60)])" } all_nodes { op: OP_BIT_SLICE id: 1679 ir: "normal_chunk: bits[23] = bit_slice(shifted_fraction: bits[34], start=0, width=23, id=1679, pos=[(0,3706,39), (3,122,60)])" } all_nodes { op: OP_LITERAL id: 1680 ir: "half_of_extra: bits[23] = literal(value=4194304, id=1680, pos=[(0,3709,24), (3,122,60)])" } all_nodes { op: OP_BIT_SLICE id: 1681 ir: "half_way_chunk: bits[2] = bit_slice(shifted_fraction: bits[34], start=22, width=2, id=1681, pos=[(0,3708,24), (3,122,60)])" } all_nodes { op: OP_LITERAL id: 1682 ir: "literal.1682: bits[2] = literal(value=3, id=1682, pos=[(0,3711,63), (3,122,60)])" } all_nodes { op: OP_BIT_SLICE id: 1687 ir: "bit_slice.1687: bits[11] = bit_slice(shifted_fraction: bits[34], start=23, width=11, id=1687, pos=[(0,3712,27), (3,122,60)])" } all_nodes { node_delay_ps: 215 op: OP_UGT id: 1685 ir: "ugt.1685: bits[1] = ugt(normal_chunk: bits[23], half_of_extra: bits[23], id=1685, pos=[(0,3711,12), (3,122,60)])" } all_nodes { node_delay_ps: 64 op: OP_EQ id: 1686 ir: "eq.1686: bits[1] = eq(half_way_chunk: bits[2], literal.1682: bits[2], id=1686, pos=[(0,3711,45), (3,122,60)])" } all_nodes { op: OP_CONCAT id: 1690 ir: "concat.1690: bits[12] = concat(cancel__1: bits[1], bit_slice.1687: bits[11], id=1690, pos=[(0,3712,27), (3,122,60)])" } all_nodes { op: OP_LITERAL id: 1825 ir: "literal.1825: bits[12] = literal(value=1, id=1825, pos=[(0,3713,8), (3,122,60)])" } all_nodes { node_delay_ps: 19 op: OP_OR id: 1689 ir: "or.1689: bits[1] = or(ugt.1685: bits[1], eq.1686: bits[1], id=1689, pos=[(0,3711,12), (3,122,60)])" } all_nodes { node_delay_ps: 254 op: OP_ADD id: 1815 ir: "add.1815: bits[12] = add(concat.1690: bits[12], literal.1825: bits[12], id=1815, pos=[(0,3713,8), (3,122,60)])" } all_nodes { op: OP_CONCAT id: 1559 ir: "concat.1559: bits[6] = concat(cancel__1: bits[1], c_bexp__2: bits[5], id=1559, pos=[(3,122,60)])" } all_nodes { node_delay_ps: 123 op: OP_SEL id: 1692 ir: "rounded_fraction__1: bits[12] = sel(or.1689, cases=[concat.1690, add.1815], id=1692, pos=[(0,3712,27), (3,122,60)])" } all_nodes { op: OP_CONCAT id: 1838 ir: "concat.1838: bits[6] = concat(cancel__1: bits[1], bit_slice.1657: bits[5], id=1838, pos=[(0,3724,15), (3,122,60)])" } all_nodes { op: OP_BIT_SLICE id: 1839 ir: "bit_slice.1839: bits[1] = bit_slice(encode.1656: bits[6], start=0, width=1, id=1839, pos=[(0,3724,15), (3,122,60)])" } all_nodes { node_delay_ps: 109 op: OP_SEL id: 1757 ir: "greater_exp: bits[6] = sel(overflow_detected, cases=[concat.1559, ab_bexp__2], id=1757, pos=[(0,3637,8), (3,122,60)])" } all_nodes { op: OP_BIT_SLICE id: 1694 ir: "rounding_carry: bits[1] = bit_slice(rounded_fraction__1: bits[12], start=11, width=1, id=1694, pos=[(0,3719,41), (3,122,60)])" } all_nodes { op: OP_LITERAL id: 1698 ir: "literal.1698: bits[36] = literal(value=0, id=1698, pos=[(0,3669,43), (3,122,60)])" } all_nodes { node_delay_ps: 180 op: OP_SUB id: 1820 ir: "sub.1820: bits[6] = sub(literal.1546: bits[6], concat.1838: bits[6], id=1820, pos=[(0,3724,15), (3,122,60)])" } all_nodes { op: OP_NOT id: 1822 ir: "not.1822: bits[1] = not(bit_slice.1839: bits[1], id=1822, pos=[(0,3724,15), (3,122,60)])" } all_nodes { op: OP_CONCAT id: 1696 ir: "concat.1696: bits[7] = concat(cancel__1: bits[1], greater_exp: bits[6], id=1696, pos=[(3,122,60)])" } all_nodes { op: OP_CONCAT id: 1697 ir: "concat.1697: bits[7] = concat(literal.1546: bits[6], rounding_carry: bits[1], id=1697, pos=[(3,122,60)])" } all_nodes { node_delay_ps: 140 op: OP_EQ id: 1701 ir: "fraction_is_zero: bits[1] = eq(sum_fraction: bits[36], literal.1698: bits[36], id=1701, pos=[(0,3669,27), (3,122,60)])" } all_nodes { op: OP_CONCAT id: 1823 ir: "bexp_associative_element__1: bits[7] = concat(sub.1820: bits[6], not.1822: bits[1], id=1823, pos=[(0,3724,15), (3,122,60)])" } all_nodes { node_delay_ps: 198 op: OP_ADD id: 1700 ir: "bexp_associative_element__4: bits[7] = add(concat.1696: bits[7], concat.1697: bits[7], id=1700, pos=[(0,3724,15), (3,122,60)])" } all_nodes { op: OP_NOT id: 1804 ir: "not.1804: bits[1] = not(fraction_is_zero: bits[1], id=1804, pos=[(0,3726,15), (3,122,60)])" } all_nodes { node_delay_ps: 198 op: OP_ADD id: 1702 ir: "bexp__1: bits[7] = add(bexp_associative_element__1: bits[7], bexp_associative_element__4: bits[7], id=1702, pos=[(0,3724,15), (3,122,60)])" } all_nodes { node_delay_ps: 17 op: OP_SIGN_EXT id: 1805 ir: "sign_ext.1805: bits[7] = sign_ext(not.1804: bits[1], new_bit_count=7, id=1805, pos=[(0,3726,15), (3,122,60)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1806 ir: "bexp__2: bits[7] = and(bexp__1: bits[7], sign_ext.1805: bits[7], id=1806, pos=[(0,3726,15), (3,122,60)])" } all_nodes { op: OP_BIT_SLICE id: 1712 ir: "bit_slice.1712: bits[1] = bit_slice(bexp__2: bits[7], start=6, width=1, id=1712, pos=[(0,3727,18), (3,122,60)])" } all_nodes { op: OP_NOT id: 1807 ir: "not.1807: bits[1] = not(bit_slice.1712: bits[1], id=1807, pos=[(0,3727,15), (3,122,60)])" } all_nodes { op: OP_BIT_SLICE id: 1713 ir: "bit_slice.1713: bits[6] = bit_slice(bexp__2: bits[7], start=0, width=6, id=1713, pos=[(3,122,60)])" } all_nodes { node_delay_ps: 17 op: OP_SIGN_EXT id: 1808 ir: "sign_ext.1808: bits[6] = sign_ext(not.1807: bits[1], new_bit_count=6, id=1808, pos=[(0,3727,15), (3,122,60)])" } all_nodes { node_delay_ps: 89 op: OP_EQ id: 1703 ir: "eq.1703: bits[1] = eq(ab_bexp__2: bits[6], literal.1569: bits[6], id=1703, pos=[(0,3552,5), (0,3751,38), (3,122,60)])" } all_nodes { node_delay_ps: 124 op: OP_EQ id: 1704 ir: "eq.1704: bits[1] = eq(ab_fraction__2: bits[22], literal.1534: bits[22], id=1704, pos=[(0,3546,46), (0,3741,39), (3,122,60)])" } all_nodes { node_delay_ps: 85 op: OP_EQ id: 1705 ir: "eq.1705: bits[1] = eq(c_bexp__2: bits[5], max_exp: bits[5], id=1705, pos=[(0,71,6), (0,3751,51), (3,122,60)])" } all_nodes { node_delay_ps: 102 op: OP_EQ id: 1706 ir: "eq.1706: bits[1] = eq(c_fraction__2: bits[10], literal.1536: bits[10], id=1706, pos=[(0,96,44), (0,3741,52), (3,122,60)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1809 ir: "bexp__6: bits[6] = and(bit_slice.1713: bits[6], sign_ext.1808: bits[6], id=1809, pos=[(0,3727,15), (3,122,60)])" } all_nodes { node_delay_ps: 25 op: OP_NAND id: 1708 ir: "nand.1708: bits[1] = nand(eq.1703: bits[1], eq.1704: bits[1], id=1708, pos=[(0,3745,37), (3,122,60)])" } all_nodes { op: OP_NOT id: 1709 ir: "not.1709: bits[1] = not(eq.1705: bits[1], id=1709, pos=[(0,3745,72), (3,122,60)])" } all_nodes { op: OP_NOT id: 1710 ir: "not.1710: bits[1] = not(eq.1706: bits[1], id=1710, pos=[(0,3745,72), (3,122,60)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1711 ir: "and.1711: bits[1] = and(eq.1703: bits[1], eq.1704: bits[1], id=1711, pos=[(0,3546,5), (0,3741,39), (3,122,60)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1725 ir: "and.1725: bits[1] = and(eq.1705: bits[1], eq.1706: bits[1], id=1725, pos=[(0,96,6), (0,3741,52), (3,122,60)])" } all_nodes { op: OP_BIT_SLICE id: 1726 ir: "bit_slice.1726: bits[5] = bit_slice(bexp__6: bits[6], start=0, width=5, id=1726, pos=[(3,122,60)])" } all_nodes { node_delay_ps: 27 op: OP_NOR id: 1714 ir: "nor.1714: bits[1] = nor(nand.1708: bits[1], ab_sign__2: bits[1], id=1714, pos=[(0,3745,37), (3,122,60)])" } all_nodes { node_delay_ps: 38 op: OP_NOR id: 1715 ir: "nor.1715: bits[1] = nor(not.1709: bits[1], not.1710: bits[1], c_sign__2: bits[1], id=1715, pos=[(0,3745,72), (3,122,60)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1716 ir: "and.1716: bits[1] = and(and.1711: bits[1], ab_sign__2: bits[1], id=1716, pos=[(0,3750,37), (3,122,60)])" } all_nodes { node_delay_ps: 35 op: OP_AND id: 1717 ir: "and.1717: bits[1] = and(eq.1705: bits[1], eq.1706: bits[1], c_sign__2: bits[1], id=1717, pos=[(0,3750,72), (3,122,60)])" } all_nodes { node_delay_ps: 19 op: OP_OR id: 1732 ir: "is_operand_inf: bits[1] = or(and.1711: bits[1], and.1725: bits[1], id=1732, pos=[(0,3741,39), (3,122,60)])" } all_nodes { op: OP_BIT_SLICE id: 1733 ir: "bit_slice.1733: bits[1] = bit_slice(bexp__6: bits[6], start=5, width=1, id=1733, pos=[(0,3737,29), (3,122,60)])" } all_nodes { node_delay_ps: 54 op: OP_AND_REDUCE id: 1734 ir: "and_reduce.1734: bits[1] = and_reduce(bit_slice.1726: bits[5], id=1734, pos=[(0,3737,29), (3,122,60)])" } all_nodes { node_delay_ps: 89 op: OP_EQ id: 1735 ir: "eq.1735: bits[1] = eq(bexp__6: bits[6], literal.1546: bits[6], id=1735, pos=[(0,3732,29), (3,122,60)])" } all_nodes { op: OP_NOT id: 1769 ir: "not.1769: bits[1] = not(eq.1703: bits[1], id=1769, pos=[(0,3552,5), (0,3751,38), (3,122,60)])" } all_nodes { node_delay_ps: 19 op: OP_OR id: 1722 ir: "has_pos_inf: bits[1] = or(nor.1714: bits[1], nor.1715: bits[1], id=1722, pos=[(0,3745,37), (3,122,60)])" } all_nodes { node_delay_ps: 19 op: OP_OR id: 1723 ir: "has_neg_inf: bits[1] = or(and.1716: bits[1], and.1717: bits[1], id=1723, pos=[(0,3750,37), (3,122,60)])" } all_nodes { node_delay_ps: 33 op: OP_OR id: 1739 ir: "or.1739: bits[1] = or(is_operand_inf: bits[1], bit_slice.1733: bits[1], and_reduce.1734: bits[1], eq.1735: bits[1], id=1739, pos=[(0,3743,26), (3,122,60)])" } all_nodes { node_delay_ps: 27 op: OP_NOR id: 1770 ir: "nor.1770: bits[1] = nor(not.1769: bits[1], eq.1704: bits[1], id=1770, pos=[(0,3552,5), (0,3751,38), (3,122,60)])" } all_nodes { node_delay_ps: 27 op: OP_NOR id: 1772 ir: "nor.1772: bits[1] = nor(not.1709: bits[1], eq.1706: bits[1], id=1772, pos=[(0,71,6), (0,3751,51), (3,122,60)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1729 ir: "and.1729: bits[1] = and(has_pos_inf: bits[1], has_neg_inf: bits[1], id=1729, pos=[(0,3751,58), (3,122,60)])" } all_nodes { op: OP_CONCAT id: 1730 ir: "concat.1730: bits[2] = concat(bit_slice.1651: bits[1], fraction_is_zero: bits[1], id=1730, pos=[(3,122,60)])" } all_nodes { op: OP_NOT id: 1731 ir: "not.1731: bits[1] = not(greater_sign: bits[1], id=1731, pos=[(0,3672,25), (3,122,60)])" } all_nodes { op: OP_NOT id: 1810 ir: "not.1810: bits[1] = not(or.1739: bits[1], id=1810, pos=[(0,3743,26), (3,122,60)])" } all_nodes { node_delay_ps: 27 op: OP_OR id: 1736 ir: "is_result_nan: bits[1] = or(nor.1770: bits[1], nor.1772: bits[1], and.1729: bits[1], id=1736, pos=[(0,3751,38), (3,122,60)])" } all_nodes { node_delay_ps: 90 op: OP_PRIORITY_SEL id: 1737 ir: "result_sign: bits[1] = priority_sel(concat.1730, cases=[cancel__1, not.1731], default=greater_sign, id=1737, pos=[(3,122,60)])" } all_nodes { op: OP_NOT id: 1738 ir: "not.1738: bits[1] = not(has_pos_inf: bits[1], id=1738, pos=[(0,3746,42), (3,122,60)])" } all_nodes { op: OP_BIT_SLICE id: 1740 ir: "result_fraction: bits[10] = bit_slice(rounded_fraction__1: bits[12], start=0, width=10, id=1740, pos=[(3,122,60)])" } all_nodes { node_delay_ps: 17 op: OP_SIGN_EXT id: 1811 ir: "sign_ext.1811: bits[10] = sign_ext(not.1810: bits[1], new_bit_count=10, id=1811, pos=[(0,3743,26), (3,122,60)])" } all_nodes { op: OP_NOT id: 1741 ir: "not.1741: bits[1] = not(is_result_nan: bits[1], id=1741, pos=[(0,3755,22), (3,122,60)])" } all_nodes { node_delay_ps: 75 op: OP_SEL id: 1742 ir: "result_sign__1: bits[1] = sel(is_operand_inf, cases=[result_sign, not.1738], id=1742, pos=[(0,3746,22), (3,122,60)])" } all_nodes { node_delay_ps: 33 op: OP_OR id: 1743 ir: "or.1743: bits[1] = or(is_result_nan: bits[1], is_operand_inf: bits[1], bit_slice.1733: bits[1], and_reduce.1734: bits[1], id=1743, pos=[(0,3752,21), (3,122,60)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1812 ir: "result_fraction__3: bits[10] = and(result_fraction: bits[10], sign_ext.1811: bits[10], id=1812, pos=[(0,3743,26), (3,122,60)])" } all_nodes { op: OP_LITERAL id: 1745 ir: "literal.1745: bits[10] = literal(value=64, id=1745, pos=[(0,3754,27), (3,122,60)])" } all_nodes { op: OP_AFTER_ALL id: 520 ir: "after_all.520: token = after_all(id=520)" } all_nodes { node_delay_ps: 25 op: OP_NAND id: 1758 ir: "nand.1758: bits[1] = nand(carry_bit__2: bits[1], cancel__2: bits[1], id=1758, pos=[(3,122,60)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1747 ir: "result_sign__2: bits[1] = and(not.1741: bits[1], result_sign__1: bits[1], id=1747, pos=[(0,3755,22), (3,122,60)])" } all_nodes { node_delay_ps: 106 op: OP_SEL id: 1748 ir: "result_exp__2: bits[5] = sel(or.1743, cases=[bit_slice.1726, max_exp], id=1748, pos=[(0,3752,21), (3,122,60)])" } all_nodes { node_delay_ps: 119 op: OP_SEL id: 1749 ir: "result_fraction__4: bits[10] = sel(is_result_nan, cases=[result_fraction__3, literal.1745], id=1749, pos=[(0,3754,8), (3,122,60)])" } all_nodes { op: OP_ASSERT id: 1753 ir: "assert_1514__2: token = assert(after_all.520: token, nand.1758: bits[1], message=\"Assertion failure via fail! @ /inputs/subtree/xls/dslx/stdlib/apfloat.x:3700:19-3700:60\", label=\"carry_and_cancel\", id=1753, pos=[(3,122,60)])" } all_nodes { op: OP_TUPLE id: 1751 ir: "tuple.1751: (bits[1], bits[5], bits[10]) = tuple(result_sign__2: bits[1], result_exp__2: bits[5], result_fraction__4: bits[10], id=1751, pos=[(0,3757,33), (3,122,60)])" }