combinational_critical_path { total_delay_ps: 6742 nodes { total_delay_ps: 6742 op: OP_TUPLE id: 1732 ir: "tuple.1732: (bits[1], bits[8], bits[23]) = tuple(result_sign__2: bits[1], result_exp__2: bits[8], result_fraction__4: bits[23], id=1732, pos=[(0,3761,33), (3,369,56)])" } nodes { total_delay_ps: 6742 node_delay_ps: 135 op: OP_SEL id: 1730 ir: "result_fraction__4: bits[23] = sel(is_result_nan, cases=[result_fraction__3, literal.1726], id=1730, pos=[(0,3758,8), (3,369,56)])" } nodes { total_delay_ps: 6607 node_delay_ps: 23 op: OP_AND id: 1791 ir: "result_fraction__3: bits[23] = and(result_fraction: bits[23], sign_ext.1790: bits[23], id=1791, pos=[(0,3747,26), (3,369,56)])" } nodes { total_delay_ps: 6584 node_delay_ps: 17 op: OP_SIGN_EXT id: 1790 ir: "sign_ext.1790: bits[23] = sign_ext(not.1789: bits[1], new_bit_count=23, id=1790, pos=[(0,3747,26), (3,369,56)])" } nodes { total_delay_ps: 6567 op: OP_NOT id: 1789 ir: "not.1789: bits[1] = not(or.1720: bits[1], id=1789, pos=[(0,3747,26), (3,369,56)])" } nodes { total_delay_ps: 6567 node_delay_ps: 33 op: OP_OR id: 1720 ir: "or.1720: bits[1] = or(is_operand_inf: bits[1], bit_slice.1714: bits[1], and_reduce.1715: bits[1], eq.1716: bits[1], id=1720, pos=[(0,3747,26), (3,369,56)])" } nodes { total_delay_ps: 6534 node_delay_ps: 99 op: OP_EQ id: 1716 ir: "eq.1716: bits[1] = eq(bexp__6: bits[9], literal.1529: bits[9], id=1716, pos=[(0,3736,29), (3,369,56)])" } nodes { total_delay_ps: 6435 node_delay_ps: 23 op: OP_AND id: 1788 ir: "bexp__6: bits[9] = and(bit_slice.1694: bits[9], sign_ext.1787: bits[9], id=1788, pos=[(0,3731,15), (3,369,56)])" } nodes { total_delay_ps: 6412 node_delay_ps: 17 op: OP_SIGN_EXT id: 1787 ir: "sign_ext.1787: bits[9] = sign_ext(not.1786: bits[1], new_bit_count=9, id=1787, pos=[(0,3731,15), (3,369,56)])" } nodes { total_delay_ps: 6395 op: OP_NOT id: 1786 ir: "not.1786: bits[1] = not(bit_slice.1693: bits[1], id=1786, pos=[(0,3731,15), (3,369,56)])" } nodes { total_delay_ps: 6395 op: OP_BIT_SLICE id: 1693 ir: "bit_slice.1693: bits[1] = bit_slice(bexp__2: bits[10], start=9, width=1, id=1693, pos=[(0,3731,18), (3,369,56)])" } nodes { total_delay_ps: 6395 node_delay_ps: 23 op: OP_AND id: 1785 ir: "bexp__2: bits[10] = and(bexp__1: bits[10], sign_ext.1784: bits[10], id=1785, pos=[(0,3730,15), (3,369,56)])" } nodes { total_delay_ps: 6372 node_delay_ps: 235 op: OP_ADD id: 1683 ir: "bexp__1: bits[10] = add(bexp_associative_element__1: bits[10], bexp_associative_element__4: bits[10], id=1683, pos=[(0,3728,15), (3,369,56)])" } nodes { total_delay_ps: 6137 node_delay_ps: 235 op: OP_ADD id: 1681 ir: "bexp_associative_element__4: bits[10] = add(concat.1677: bits[10], concat.1678: bits[10], id=1681, pos=[(0,3728,15), (3,369,56)])" } nodes { total_delay_ps: 5902 op: OP_CONCAT id: 1678 ir: "concat.1678: bits[10] = concat(literal.1529: bits[9], rounding_carry: bits[1], id=1678, pos=[(3,369,56)])" } nodes { total_delay_ps: 5902 op: OP_BIT_SLICE id: 1675 ir: "rounding_carry: bits[1] = bit_slice(rounded_fraction__1: bits[25], start=24, width=1, id=1675, pos=[(0,3723,41), (3,369,56)])" } nodes { total_delay_ps: 5902 node_delay_ps: 137 op: OP_SEL id: 1672 ir: "rounded_fraction__1: bits[25] = sel(or.1669, cases=[concat.1806, add.1794], id=1672, pos=[(0,3716,27), (3,369,56)])" } nodes { total_delay_ps: 5765 node_delay_ps: 332 op: OP_ADD id: 1794 ir: "add.1794: bits[25] = add(concat.1806: bits[25], literal.1798: bits[25], id=1794, pos=[(0,3717,8), (3,369,56)])" } nodes { total_delay_ps: 5433 op: OP_CONCAT id: 1806 ir: "concat.1806: bits[25] = concat(cancel__1: bits[1], bit_slice.1805: bits[24], id=1806, pos=[(0,3717,8), (3,369,56)])" } nodes { total_delay_ps: 5433 op: OP_BIT_SLICE id: 1805 ir: "bit_slice.1805: bits[24] = bit_slice(shifted_fraction: bits[73], start=49, width=24, id=1805, pos=[(0,3717,8), (3,369,56)])" } nodes { total_delay_ps: 5433 node_delay_ps: 201 op: OP_PRIORITY_SEL id: 1658 ir: "shifted_fraction: bits[73] = priority_sel(concat.1654, cases=[carry_fraction__4, cancel_fraction__2, bit_slice.1652], default=literal.1657, id=1658, pos=[(3,369,56)])" } nodes { total_delay_ps: 5232 node_delay_ps: 320 op: OP_SHLL id: 1656 ir: "cancel_fraction__2: bits[73] = shll(bit_slice.1652: bits[73], sign_ext.1653: bits[74], id=1656, pos=[(3,369,56)])" } nodes { total_delay_ps: 4912 node_delay_ps: 17 op: OP_SIGN_EXT id: 1653 ir: "sign_ext.1653: bits[74] = sign_ext(add.1646: bits[8], new_bit_count=74, id=1653, pos=[(0,3698,26), (3,369,56)])" } nodes { total_delay_ps: 4895 node_delay_ps: 212 op: OP_ADD id: 1646 ir: "add.1646: bits[8] = add(concat.1642: bits[8], max_exp: bits[8], id=1646, pos=[(0,3698,26), (3,369,56)])" } nodes { total_delay_ps: 4683 op: OP_CONCAT id: 1642 ir: "concat.1642: bits[8] = concat(cancel__1: bits[1], encode.1638: bits[7], id=1642, pos=[(0,3695,28), (3,369,56)])" } nodes { total_delay_ps: 4683 node_delay_ps: 103 op: OP_ENCODE id: 1638 ir: "encode.1638: bits[7] = encode(one_hot.1637: bits[75], id=1638, pos=[(0,3695,28), (3,369,56)])" } nodes { total_delay_ps: 4580 node_delay_ps: 238 op: OP_ONE_HOT id: 1637 ir: "one_hot.1637: bits[75] = one_hot(reverse.1636: bits[74], lsb_prio=true, id=1637, pos=[(0,3695,28), (3,369,56)])" } nodes { total_delay_ps: 4342 op: OP_REVERSE id: 1636 ir: "reverse.1636: bits[74] = reverse(abs_fraction__2: bits[74], id=1636, pos=[(0,3695,28), (3,369,56)])" } nodes { total_delay_ps: 4342 node_delay_ps: 158 op: OP_SEL id: 1635 ir: "abs_fraction__2: bits[74] = sel(bit_slice.1633, cases=[bit_slice.1632, neg.1634], id=1635, pos=[(0,3681,24), (3,369,56)])" } nodes { total_delay_ps: 4184 node_delay_ps: 331 op: OP_NEG id: 1634 ir: "neg.1634: bits[74] = neg(bit_slice.1632: bits[74], id=1634, pos=[(0,3682,27), (3,369,56)])" } nodes { total_delay_ps: 3853 op: OP_BIT_SLICE id: 1632 ir: "bit_slice.1632: bits[74] = bit_slice(sum_fraction: bits[75], start=0, width=74, id=1632, pos=[(0,3672,23), (3,369,56)])" } nodes { total_delay_ps: 3853 node_delay_ps: 456 op: OP_ADD id: 1631 ir: "sum_fraction: bits[75] = add(shifted_ab__2: bits[75], shifted_c__2: bits[75], id=1631, pos=[(0,3672,23), (3,369,56)])" } nodes { total_delay_ps: 3397 node_delay_ps: 17 op: OP_SIGN_EXT id: 1820 ir: "shifted_ab__2: bits[75] = sign_ext(shifted_ab__2_squeezed: bits[74], new_bit_count=75, id=1820, pos=[(0,3668,21), (3,369,56)])" } nodes { total_delay_ps: 3380 node_delay_ps: 158 op: OP_SEL id: 1819 ir: "shifted_ab__2_squeezed: bits[74] = sel(xor.1623, cases=[shifted_ab__1_squeezed, neg.1621], id=1819, pos=[(0,3668,21), (3,369,56)])" } nodes { total_delay_ps: 3222 node_delay_ps: 331 op: OP_NEG id: 1621 ir: "neg.1621: bits[74] = neg(shifted_ab__1_squeezed: bits[74], id=1621, pos=[(0,3668,50), (3,369,56)])" } nodes { total_delay_ps: 2891 op: OP_CONCAT id: 1617 ir: "shifted_ab__1_squeezed: bits[74] = concat(cancel__1: bits[1], or.1613: bits[73], id=1617, pos=[(0,3668,50), (3,369,56)])" } nodes { total_delay_ps: 2891 node_delay_ps: 19 op: OP_OR id: 1613 ir: "or.1613: bits[73] = or(shifted_ab: bits[73], sticky_ab: bits[73], id=1613, pos=[(0,3664,22), (3,369,56)])" } nodes { total_delay_ps: 2872 op: OP_CONCAT id: 1609 ir: "sticky_ab: bits[73] = concat(literal.1604: bits[72], ne.1605: bits[1], id=1609, pos=[(3,369,56)])" } nodes { total_delay_ps: 2872 node_delay_ps: 150 op: OP_NE id: 1605 ir: "ne.1605: bits[1] = ne(nor.1600: bits[48], literal.1517: bits[48], id=1605, pos=[(1,1496,17), (1,1523,22), (0,3660,38), (3,369,56)])" } nodes { total_delay_ps: 2722 node_delay_ps: 27 op: OP_NOR id: 1600 ir: "nor.1600: bits[48] = nor(not.1585: bits[48], bit_slice.1597: bits[48], id=1600, pos=[(1,1406,4), (1,1496,17), (1,1523,22), (0,3660,38), (3,369,56)])" } nodes { total_delay_ps: 2695 op: OP_BIT_SLICE id: 1597 ir: "bit_slice.1597: bits[48] = bit_slice(shll.1593: bits[73], start=25, width=48, id=1597, pos=[(1,1406,19), (1,1496,17), (1,1523,22), (0,3660,38), (3,369,56)])" } nodes { total_delay_ps: 2695 node_delay_ps: 320 op: OP_SHLL id: 1593 ir: "shll.1593: bits[73] = shll(literal.1587: bits[73], rshift_ab: bits[9], id=1593, pos=[(1,1406,19), (1,1496,17), (1,1523,22), (0,3660,38), (3,369,56)])" } nodes { total_delay_ps: 2375 node_delay_ps: 23 op: OP_AND id: 1777 ir: "rshift_ab: bits[9] = and(exp_difference: bits[9], ab_bexpor_mask__2: bits[9], id=1777, pos=[(0,3656,20), (3,369,56)])" } nodes { total_delay_ps: 2352 node_delay_ps: 224 op: OP_ADD id: 1583 ir: "exp_difference: bits[9] = add(result: bits[9], concat.1580: bits[9], id=1583, pos=[(2,54,7), (0,3010,68), (0,3639,33), (3,369,56)])" } nodes { total_delay_ps: 2128 node_delay_ps: 49 op: OP_XOR id: 1579 ir: "result: bits[9] = xor(narrowed_result: bits[9], ab_bexpor_mask__2: bits[9], id=1579, pos=[(2,95,18), (0,3009,44), (0,3639,33), (3,369,56)])" } nodes { total_delay_ps: 2079 node_delay_ps: 17 op: OP_SIGN_EXT id: 1575 ir: "ab_bexpor_mask__2: bits[9] = sign_ext(nc: bits[1], new_bit_count=9, id=1575, pos=[(2,94,32), (0,3009,44), (0,3639,33), (3,369,56)])" } nodes { total_delay_ps: 2062 op: OP_NOT id: 1568 ir: "nc: bits[1] = not(overflow_detected: bits[1], id=1568, pos=[(2,92,19), (0,3009,44), (0,3639,33), (3,369,56)])" } nodes { total_delay_ps: 2062 op: OP_BIT_SLICE id: 1564 ir: "overflow_detected: bits[1] = bit_slice(full_result: bits[10], start=9, width=1, id=1564, pos=[(1,1116,49), (2,91,63), (0,3009,44), (0,3639,33), (3,369,56)])" } nodes { total_delay_ps: 2062 node_delay_ps: 235 op: OP_ADD id: 1562 ir: "full_result: bits[10] = add(ab_bexp_extended__1: bits[10], bnot_extended__2: bits[10], id=1562, pos=[(1,1114,45), (2,91,63), (0,3009,44), (0,3639,33), (3,369,56)])" } nodes { total_delay_ps: 1827 op: OP_CONCAT id: 1558 ir: "ab_bexp_extended__1: bits[10] = concat(cancel__1: bits[1], ab_bexp__2: bits[9], id=1558, pos=[(2,91,63), (0,3009,44), (0,3639,33), (3,369,56)])" } nodes { total_delay_ps: 1827 node_delay_ps: 117 op: OP_SEL id: 1555 ir: "ab_bexp__2: bits[9] = sel(is_result_nan__1, cases=[result_exp__5, literal.1552], id=1555, pos=[(0,3588,4), (0,3636,25), (3,369,56)])" } nodes { total_delay_ps: 1710 node_delay_ps: 23 op: OP_AND id: 1769 ir: "result_exp__5: bits[9] = and(bit_slice.1547: bits[9], sign_ext.1768: bits[9], id=1769, pos=[(0,3581,21), (0,3636,25), (3,369,56)])" } nodes { total_delay_ps: 1687 node_delay_ps: 17 op: OP_SIGN_EXT id: 1768 ir: "sign_ext.1768: bits[9] = sign_ext(not.1767: bits[1], new_bit_count=9, id=1768, pos=[(0,3581,21), (0,3636,25), (3,369,56)])" } nodes { total_delay_ps: 1670 op: OP_NOT id: 1767 ir: "not.1767: bits[1] = not(is_subnormal: bits[1], id=1767, pos=[(0,3581,21), (0,3636,25), (3,369,56)])" } nodes { total_delay_ps: 1670 node_delay_ps: 147 op: OP_SLE id: 1546 ir: "is_subnormal: bits[1] = sle(result_exp__4: bits[10], literal.1528: bits[10], id=1546, pos=[(0,3580,34), (0,3636,25), (3,369,56)])" } nodes { total_delay_ps: 1523 node_delay_ps: 119 op: OP_SEL id: 1541 ir: "result_exp__4: bits[10] = sel(has_inf_arg, cases=[result_exp__3, literal.1537], id=1541, pos=[(0,3482,21), (0,3574,29), (0,3636,25), (3,369,56)])" } nodes { total_delay_ps: 1404 node_delay_ps: 235 op: OP_ADD id: 1536 ir: "result_exp__3: bits[10] = add(exp__1: bits[10], concat.1534: bits[10], id=1536, pos=[(0,3468,14), (0,3574,29), (0,3636,25), (3,369,56)])" } nodes { total_delay_ps: 1169 op: OP_CONCAT id: 1534 ir: "concat.1534: bits[10] = concat(literal.1529: bits[9], in_upper_binade: bits[1], id=1534, pos=[(0,3574,29), (0,3636,25), (3,369,56)])" } nodes { total_delay_ps: 1169 op: OP_BIT_SLICE id: 1530 ir: "in_upper_binade: bits[1] = bit_slice(full_product: bits[48], start=47, width=1, id=1530, pos=[(1,357,61), (0,3463,34), (0,3574,29), (0,3636,25), (3,369,56)])" } nodes { total_delay_ps: 1169 node_delay_ps: 23 op: OP_AND id: 1763 ir: "full_product: bits[48] = and(umul.1516: bits[48], sign_ext.1762: bits[48], id=1763, pos=[(0,3439,8), (0,3574,29), (0,3636,25), (3,369,56)])" } nodes { total_delay_ps: 1146 node_delay_ps: 1146 op: OP_UMUL id: 1516 ir: "umul.1516: bits[48] = umul(a_significand__1: bits[24], b_significand__1: bits[24], id=1516, pos=[(1,224,5), (0,3439,61), (0,3574,29), (0,3636,25), (3,369,56)])" } nodes { op: OP_CONCAT id: 1513 ir: "b_significand__1: bits[24] = concat(bnot__1: bits[1], b_fraction__1: bits[23], id=1513, pos=[(0,3435,24), (0,3574,29), (0,3636,25), (3,369,56)])" } nodes { op: OP_TUPLE_INDEX id: 1507 ir: "b_fraction__1: bits[23] = tuple_index(b: (bits[1], bits[8], bits[23]), index=2, id=1507, pos=[(0,3435,33), (0,3574,29), (0,3636,25), (3,369,56)])" } nodes { op: OP_PARAM id: 518 ir: "b: (bits[1], bits[8], bits[23]) = param(name=b, id=518)" } } all_nodes { op: OP_PARAM id: 517 ir: "a: (bits[1], bits[8], bits[23]) = param(name=a, id=517)" } all_nodes { op: OP_PARAM id: 518 ir: "b: (bits[1], bits[8], bits[23]) = param(name=b, id=518)" } all_nodes { op: OP_TUPLE_INDEX id: 1502 ir: "a_bexp__1: bits[8] = tuple_index(a: (bits[1], bits[8], bits[23]), index=1, id=1502, pos=[(0,3448,16), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_LITERAL id: 1504 ir: "literal.1504: bits[8] = literal(value=0, id=1504, pos=[(0,804,14), (0,3431,40), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_TUPLE_INDEX id: 1503 ir: "b_bexp__1: bits[8] = tuple_index(b: (bits[1], bits[8], bits[23]), index=1, id=1503, pos=[(0,3448,45), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_LITERAL id: 1501 ir: "cancel__1: bits[1] = literal(value=0, id=1501, pos=[(0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_LITERAL id: 1505 ir: "bnot__1: bits[1] = literal(value=1, id=1505, pos=[(0,3434,24), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_TUPLE_INDEX id: 1506 ir: "a_fraction__1: bits[23] = tuple_index(a: (bits[1], bits[8], bits[23]), index=2, id=1506, pos=[(0,3434,33), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_TUPLE_INDEX id: 1507 ir: "b_fraction__1: bits[23] = tuple_index(b: (bits[1], bits[8], bits[23]), index=2, id=1507, pos=[(0,3435,33), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 96 op: OP_EQ id: 1510 ir: "eq.1510: bits[1] = eq(a_bexp__1: bits[8], literal.1504: bits[8], id=1510, pos=[(0,804,5), (0,3431,40), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 96 op: OP_EQ id: 1511 ir: "eq.1511: bits[1] = eq(b_bexp__1: bits[8], literal.1504: bits[8], id=1511, pos=[(0,804,5), (0,3431,67), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_CONCAT id: 1508 ir: "concat.1508: bits[9] = concat(cancel__1: bits[1], a_bexp__1: bits[8], id=1508, pos=[(0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_CONCAT id: 1509 ir: "concat.1509: bits[9] = concat(cancel__1: bits[1], b_bexp__1: bits[8], id=1509, pos=[(0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_CONCAT id: 1512 ir: "a_significand__1: bits[24] = concat(bnot__1: bits[1], a_fraction__1: bits[23], id=1512, pos=[(0,3434,24), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_CONCAT id: 1513 ir: "b_significand__1: bits[24] = concat(bnot__1: bits[1], b_fraction__1: bits[23], id=1513, pos=[(0,3435,24), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 27 op: OP_NOR id: 1799 ir: "nor.1799: bits[1] = nor(eq.1510: bits[1], eq.1511: bits[1], id=1799, pos=[(0,3439,8), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 224 op: OP_ADD id: 1514 ir: "add.1514: bits[9] = add(concat.1508: bits[9], concat.1509: bits[9], id=1514, pos=[(0,3448,16), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 1146 op: OP_UMUL id: 1516 ir: "umul.1516: bits[48] = umul(a_significand__1: bits[24], b_significand__1: bits[24], id=1516, pos=[(1,224,5), (0,3439,61), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 17 op: OP_SIGN_EXT id: 1762 ir: "sign_ext.1762: bits[48] = sign_ext(nor.1799: bits[1], new_bit_count=48, id=1762, pos=[(0,3439,8), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_LITERAL id: 1518 ir: "max_exp: bits[8] = literal(value=255, id=1518, pos=[(0,96,29), (0,3488,28), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_LITERAL id: 1519 ir: "literal.1519: bits[23] = literal(value=0, id=1519, pos=[(0,96,57), (0,3488,28), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_CONCAT id: 1520 ir: "concat.1520: bits[10] = concat(cancel__1: bits[1], add.1514: bits[9], id=1520, pos=[(0,3448,16), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_LITERAL id: 1521 ir: "literal.1521: bits[10] = literal(value=897, id=1521, pos=[(0,3448,16), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1763 ir: "full_product: bits[48] = and(umul.1516: bits[48], sign_ext.1762: bits[48], id=1763, pos=[(0,3439,8), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 96 op: OP_EQ id: 1523 ir: "eq.1523: bits[1] = eq(a_bexp__1: bits[8], max_exp: bits[8], id=1523, pos=[(0,96,6), (0,3488,28), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 125 op: OP_EQ id: 1524 ir: "eq.1524: bits[1] = eq(a_fraction__1: bits[23], literal.1519: bits[23], id=1524, pos=[(0,96,44), (0,3488,28), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 96 op: OP_EQ id: 1525 ir: "eq.1525: bits[1] = eq(b_bexp__1: bits[8], max_exp: bits[8], id=1525, pos=[(0,96,6), (0,3488,41), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 125 op: OP_EQ id: 1526 ir: "eq.1526: bits[1] = eq(b_fraction__1: bits[23], literal.1519: bits[23], id=1526, pos=[(0,96,44), (0,3488,41), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 235 op: OP_ADD id: 1527 ir: "exp: bits[10] = add(concat.1520: bits[10], literal.1521: bits[10], id=1527, pos=[(0,3448,16), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 17 op: OP_SIGN_EXT id: 1765 ir: "sign_ext.1765: bits[10] = sign_ext(nor.1799: bits[1], new_bit_count=10, id=1765, pos=[(0,3457,14), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_LITERAL id: 1529 ir: "literal.1529: bits[9] = literal(value=0, id=1529, pos=[(0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_BIT_SLICE id: 1530 ir: "in_upper_binade: bits[1] = bit_slice(full_product: bits[48], start=47, width=1, id=1530, pos=[(1,357,61), (0,3463,34), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1531 ir: "and.1531: bits[1] = and(eq.1523: bits[1], eq.1524: bits[1], id=1531, pos=[(0,96,6), (0,3488,28), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1532 ir: "and.1532: bits[1] = and(eq.1525: bits[1], eq.1526: bits[1], id=1532, pos=[(0,96,6), (0,3488,41), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1766 ir: "exp__1: bits[10] = and(exp: bits[10], sign_ext.1765: bits[10], id=1766, pos=[(0,3457,14), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_CONCAT id: 1534 ir: "concat.1534: bits[10] = concat(literal.1529: bits[9], in_upper_binade: bits[1], id=1534, pos=[(0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 19 op: OP_OR id: 1535 ir: "has_inf_arg: bits[1] = or(and.1531: bits[1], and.1532: bits[1], id=1535, pos=[(0,3488,28), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 235 op: OP_ADD id: 1536 ir: "result_exp__3: bits[10] = add(exp__1: bits[10], concat.1534: bits[10], id=1536, pos=[(0,3468,14), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_LITERAL id: 1537 ir: "literal.1537: bits[10] = literal(value=511, id=1537, pos=[(0,3482,62), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 119 op: OP_SEL id: 1541 ir: "result_exp__4: bits[10] = sel(has_inf_arg, cases=[result_exp__3, literal.1537], id=1541, pos=[(0,3482,21), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_LITERAL id: 1528 ir: "literal.1528: bits[10] = literal(value=0, id=1528, pos=[(0,3457,29), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 147 op: OP_SLE id: 1546 ir: "is_subnormal: bits[1] = sle(result_exp__4: bits[10], literal.1528: bits[10], id=1546, pos=[(0,3580,34), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_NOT id: 1539 ir: "not.1539: bits[1] = not(eq.1523: bits[1], id=1539, pos=[(0,71,6), (0,3487,28), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_NOT id: 1540 ir: "not.1540: bits[1] = not(eq.1525: bits[1], id=1540, pos=[(0,71,6), (0,3487,41), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 19 op: OP_OR id: 1515 ir: "has_0_arg: bits[1] = or(eq.1510: bits[1], eq.1511: bits[1], id=1515, pos=[(0,3431,40), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_NOT id: 1767 ir: "not.1767: bits[1] = not(is_subnormal: bits[1], id=1767, pos=[(0,3581,21), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 27 op: OP_NOR id: 1543 ir: "nor.1543: bits[1] = nor(not.1539: bits[1], eq.1524: bits[1], id=1543, pos=[(0,71,6), (0,3487,28), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 27 op: OP_NOR id: 1544 ir: "nor.1544: bits[1] = nor(not.1540: bits[1], eq.1526: bits[1], id=1544, pos=[(0,71,6), (0,3487,41), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1545 ir: "and.1545: bits[1] = and(has_0_arg: bits[1], has_inf_arg: bits[1], id=1545, pos=[(0,3489,40), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_BIT_SLICE id: 1547 ir: "bit_slice.1547: bits[9] = bit_slice(result_exp__4: bits[10], start=0, width=9, id=1547, pos=[(0,3583,45), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 17 op: OP_SIGN_EXT id: 1768 ir: "sign_ext.1768: bits[9] = sign_ext(not.1767: bits[1], new_bit_count=9, id=1768, pos=[(0,3581,21), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_PARAM id: 519 ir: "c: (bits[1], bits[8], bits[23]) = param(name=c, id=519)" } all_nodes { node_delay_ps: 27 op: OP_OR id: 1550 ir: "is_result_nan__1: bits[1] = or(nor.1543: bits[1], nor.1544: bits[1], and.1545: bits[1], id=1550, pos=[(0,3489,24), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1769 ir: "result_exp__5: bits[9] = and(bit_slice.1547: bits[9], sign_ext.1768: bits[9], id=1769, pos=[(0,3581,21), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_LITERAL id: 1552 ir: "literal.1552: bits[9] = literal(value=511, id=1552, pos=[(0,3588,4), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_TUPLE_INDEX id: 1538 ir: "c_bexp__2: bits[8] = tuple_index(c: (bits[1], bits[8], bits[23]), index=1, id=1538, pos=[(0,3639,44), (3,369,56)])" } all_nodes { node_delay_ps: 117 op: OP_SEL id: 1555 ir: "ab_bexp__2: bits[9] = sel(is_result_nan__1, cases=[result_exp__5, literal.1552], id=1555, pos=[(0,3588,4), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_LITERAL id: 1748 ir: "literal.1748: bits[2] = literal(value=1, id=1748, pos=[(2,91,63), (0,3009,44), (0,3639,33), (3,369,56)])" } all_nodes { op: OP_NOT id: 1553 ir: "bnot__2: bits[8] = not(c_bexp__2: bits[8], id=1553, pos=[(2,90,15), (0,3009,44), (0,3639,33), (3,369,56)])" } all_nodes { op: OP_CONCAT id: 1558 ir: "ab_bexp_extended__1: bits[10] = concat(cancel__1: bits[1], ab_bexp__2: bits[9], id=1558, pos=[(2,91,63), (0,3009,44), (0,3639,33), (3,369,56)])" } all_nodes { op: OP_CONCAT id: 1749 ir: "bnot_extended__2: bits[10] = concat(literal.1748: bits[2], bnot__2: bits[8], id=1749, pos=[(2,91,63), (0,3009,44), (0,3639,33), (3,369,56)])" } all_nodes { node_delay_ps: 235 op: OP_ADD id: 1562 ir: "full_result: bits[10] = add(ab_bexp_extended__1: bits[10], bnot_extended__2: bits[10], id=1562, pos=[(1,1114,45), (2,91,63), (0,3009,44), (0,3639,33), (3,369,56)])" } all_nodes { op: OP_BIT_SLICE id: 1564 ir: "overflow_detected: bits[1] = bit_slice(full_result: bits[10], start=9, width=1, id=1564, pos=[(1,1116,49), (2,91,63), (0,3009,44), (0,3639,33), (3,369,56)])" } all_nodes { op: OP_BIT_SLICE id: 1549 ir: "bit_slice.1549: bits[47] = bit_slice(full_product: bits[48], start=0, width=47, id=1549, pos=[(0,3464,74), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_NOT id: 1568 ir: "nc: bits[1] = not(overflow_detected: bits[1], id=1568, pos=[(2,92,19), (0,3009,44), (0,3639,33), (3,369,56)])" } all_nodes { op: OP_CONCAT id: 1554 ir: "concat.1554: bits[48] = concat(bit_slice.1549: bits[47], cancel__1: bits[1], id=1554, pos=[(0,3464,74), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_NOT id: 1770 ir: "not.1770: bits[1] = not(has_inf_arg: bits[1], id=1770, pos=[(0,3483,26), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_BIT_SLICE id: 1574 ir: "narrowed_result: bits[9] = bit_slice(full_result: bits[10], start=0, width=9, id=1574, pos=[(2,91,63), (0,3009,44), (0,3639,33), (3,369,56)])" } all_nodes { node_delay_ps: 17 op: OP_SIGN_EXT id: 1575 ir: "ab_bexpor_mask__2: bits[9] = sign_ext(nc: bits[1], new_bit_count=9, id=1575, pos=[(2,94,32), (0,3009,44), (0,3639,33), (3,369,56)])" } all_nodes { node_delay_ps: 150 op: OP_SEL id: 1557 ir: "result_fraction__5: bits[48] = sel(in_upper_binade, cases=[concat.1554, full_product], id=1557, pos=[(0,3464,30), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 17 op: OP_SIGN_EXT id: 1771 ir: "sign_ext.1771: bits[48] = sign_ext(not.1770: bits[1], new_bit_count=48, id=1771, pos=[(0,3483,26), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 151 op: OP_NEG id: 1561 ir: "neg.1561: bits[9] = neg(bit_slice.1547: bits[9], id=1561, pos=[(0,3583,33), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 17 op: OP_SIGN_EXT id: 1773 ir: "sign_ext.1773: bits[9] = sign_ext(is_subnormal: bits[1], new_bit_count=9, id=1773)" } all_nodes { node_delay_ps: 49 op: OP_XOR id: 1579 ir: "result: bits[9] = xor(narrowed_result: bits[9], ab_bexpor_mask__2: bits[9], id=1579, pos=[(2,95,18), (0,3009,44), (0,3639,33), (3,369,56)])" } all_nodes { op: OP_CONCAT id: 1580 ir: "concat.1580: bits[9] = concat(literal.1504: bits[8], overflow_detected: bits[1], id=1580, pos=[(0,3010,68), (0,3639,33), (3,369,56)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1772 ir: "result_fraction__6: bits[48] = and(result_fraction__5: bits[48], sign_ext.1771: bits[48], id=1772, pos=[(0,3483,26), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1774 ir: "and.1774: bits[9] = and(neg.1561: bits[9], sign_ext.1773: bits[9], id=1774)" } all_nodes { node_delay_ps: 224 op: OP_ADD id: 1583 ir: "exp_difference: bits[9] = add(result: bits[9], concat.1580: bits[9], id=1583, pos=[(2,54,7), (0,3010,68), (0,3639,33), (3,369,56)])" } all_nodes { node_delay_ps: 17 op: OP_SIGN_EXT id: 1778 ir: "sign_ext.1778: bits[9] = sign_ext(overflow_detected: bits[1], new_bit_count=9, id=1778, pos=[(0,3657,19), (3,369,56)])" } all_nodes { node_delay_ps: 287 op: OP_SHRL id: 1760 ir: "result_fraction__7: bits[48] = shrl(result_fraction__6: bits[48], and.1774: bits[9], id=1760)" } all_nodes { op: OP_LITERAL id: 1567 ir: "literal.1567: bits[48] = literal(value=211106232532992, id=1567, pos=[(0,3588,4), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_LITERAL id: 1587 ir: "literal.1587: bits[73] = literal(value=0x1ff_ffff_ffff_ffff_ffff, id=1587, pos=[(1,1406,19), (1,1496,17), (1,1523,22), (0,3660,38), (3,369,56)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1777 ir: "rshift_ab: bits[9] = and(exp_difference: bits[9], ab_bexpor_mask__2: bits[9], id=1777, pos=[(0,3656,20), (3,369,56)])" } all_nodes { op: OP_TUPLE_INDEX id: 1565 ir: "c_fraction__2: bits[23] = tuple_index(c: (bits[1], bits[8], bits[23]), index=2, id=1565, pos=[(0,3645,18), (3,369,56)])" } all_nodes { node_delay_ps: 96 op: OP_NE id: 1797 ir: "ne.1797: bits[1] = ne(c_bexp__2: bits[8], literal.1504: bits[8], id=1797, pos=[(0,3646,17), (3,369,56)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1779 ir: "rshift_c: bits[9] = and(exp_difference: bits[9], sign_ext.1778: bits[9], id=1779, pos=[(0,3657,19), (3,369,56)])" } all_nodes { node_delay_ps: 150 op: OP_SEL id: 1572 ir: "ab_fraction__2: bits[48] = sel(is_result_nan__1, cases=[result_fraction__7, literal.1567], id=1572, pos=[(0,3588,4), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 320 op: OP_SHLL id: 1593 ir: "shll.1593: bits[73] = shll(literal.1587: bits[73], rshift_ab: bits[9], id=1593, pos=[(1,1406,19), (1,1496,17), (1,1523,22), (0,3660,38), (3,369,56)])" } all_nodes { op: OP_NOT id: 1810 ir: "not.1810: bits[23] = not(c_fraction__2: bits[23], id=1810, pos=[(1,1406,4), (1,1496,17), (1,1523,22), (0,3661,37), (3,369,56)])" } all_nodes { node_delay_ps: 17 op: OP_SIGN_EXT id: 1781 ir: "sign_ext.1781: bits[24] = sign_ext(ne.1797: bits[1], new_bit_count=24, id=1781, pos=[(0,3646,17), (3,369,56)])" } all_nodes { node_delay_ps: 320 op: OP_SHLL id: 1595 ir: "shll.1595: bits[73] = shll(literal.1587: bits[73], rshift_c: bits[9], id=1595, pos=[(1,1406,19), (1,1496,17), (1,1523,22), (0,3661,37), (3,369,56)])" } all_nodes { op: OP_NOT id: 1585 ir: "not.1585: bits[48] = not(ab_fraction__2: bits[48], id=1585, pos=[(1,1406,4), (1,1496,17), (1,1523,22), (0,3660,38), (3,369,56)])" } all_nodes { op: OP_BIT_SLICE id: 1597 ir: "bit_slice.1597: bits[48] = bit_slice(shll.1593: bits[73], start=25, width=48, id=1597, pos=[(1,1406,19), (1,1496,17), (1,1523,22), (0,3660,38), (3,369,56)])" } all_nodes { op: OP_CONCAT id: 1570 ir: "concat.1570: bits[24] = concat(bnot__1: bits[1], c_fraction__2: bits[23], id=1570, pos=[(0,3646,17), (3,369,56)])" } all_nodes { op: OP_CONCAT id: 1813 ir: "concat.1813: bits[24] = concat(cancel__1: bits[1], not.1810: bits[23], id=1813, pos=[(1,1406,4), (1,1496,17), (1,1523,22), (0,3661,37), (3,369,56)])" } all_nodes { op: OP_NOT id: 1802 ir: "not.1802: bits[24] = not(sign_ext.1781: bits[24], id=1802, pos=[(1,1406,4), (1,1496,17), (1,1523,22), (0,3661,37), (3,369,56)])" } all_nodes { op: OP_BIT_SLICE id: 1599 ir: "bit_slice.1599: bits[24] = bit_slice(shll.1595: bits[73], start=49, width=24, id=1599, pos=[(1,1406,19), (1,1496,17), (1,1523,22), (0,3661,37), (3,369,56)])" } all_nodes { op: OP_TUPLE_INDEX id: 1602 ir: "a_sign__1: bits[1] = tuple_index(a: (bits[1], bits[8], bits[23]), index=0, id=1602, pos=[(0,3471,23), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_TUPLE_INDEX id: 1603 ir: "b_sign__1: bits[1] = tuple_index(b: (bits[1], bits[8], bits[23]), index=0, id=1603, pos=[(0,3471,33), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_LITERAL id: 1573 ir: "literal.1573: bits[25] = literal(value=0, id=1573, pos=[(0,3651,11), (3,369,56)])" } all_nodes { node_delay_ps: 27 op: OP_NOR id: 1600 ir: "nor.1600: bits[48] = nor(not.1585: bits[48], bit_slice.1597: bits[48], id=1600, pos=[(1,1406,4), (1,1496,17), (1,1523,22), (0,3660,38), (3,369,56)])" } all_nodes { op: OP_LITERAL id: 1517 ir: "literal.1517: bits[48] = literal(value=0, id=1517, pos=[(0,3439,23), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1782 ir: "wide_c__3: bits[24] = and(concat.1570: bits[24], sign_ext.1781: bits[24], id=1782, pos=[(0,3646,17), (3,369,56)])" } all_nodes { op: OP_LITERAL id: 1577 ir: "literal.1577: bits[49] = literal(value=0, id=1577, pos=[(0,3652,17), (3,369,56)])" } all_nodes { node_delay_ps: 38 op: OP_NOR id: 1803 ir: "nor.1803: bits[24] = nor(concat.1813: bits[24], not.1802: bits[24], bit_slice.1599: bits[24], id=1803, pos=[(1,1406,4), (1,1496,17), (1,1523,22), (0,3661,37), (3,369,56)])" } all_nodes { op: OP_LITERAL id: 1571 ir: "literal.1571: bits[24] = literal(value=0, id=1571, pos=[(0,3646,17), (3,369,56)])" } all_nodes { node_delay_ps: 49 op: OP_XOR id: 1607 ir: "result_sign__3: bits[1] = xor(a_sign__1: bits[1], b_sign__1: bits[1], id=1607, pos=[(0,3471,23), (0,3574,29), (0,3636,25), (3,369,56)])" } all_nodes { op: OP_CONCAT id: 1578 ir: "wide_ab: bits[73] = concat(ab_fraction__2: bits[48], literal.1573: bits[25], id=1578, pos=[(0,3651,11), (3,369,56)])" } all_nodes { op: OP_LITERAL id: 1604 ir: "literal.1604: bits[72] = literal(value=0x0, id=1604, pos=[(3,369,56)])" } all_nodes { node_delay_ps: 150 op: OP_NE id: 1605 ir: "ne.1605: bits[1] = ne(nor.1600: bits[48], literal.1517: bits[48], id=1605, pos=[(1,1496,17), (1,1523,22), (0,3660,38), (3,369,56)])" } all_nodes { op: OP_CONCAT id: 1581 ir: "wide_c__2: bits[73] = concat(wide_c__3: bits[24], literal.1577: bits[49], id=1581, pos=[(0,3652,17), (3,369,56)])" } all_nodes { node_delay_ps: 126 op: OP_NE id: 1606 ir: "ne.1606: bits[1] = ne(nor.1803: bits[24], literal.1571: bits[24], id=1606, pos=[(1,1496,17), (1,1523,22), (0,3661,37), (3,369,56)])" } all_nodes { op: OP_NOT id: 1612 ir: "not.1612: bits[1] = not(result_sign__3: bits[1], id=1612, pos=[(0,3588,4), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 320 op: OP_SHRL id: 1608 ir: "shifted_ab: bits[73] = shrl(wide_ab: bits[73], rshift_ab: bits[9], id=1608, pos=[(0,3658,21), (3,369,56)])" } all_nodes { op: OP_CONCAT id: 1609 ir: "sticky_ab: bits[73] = concat(literal.1604: bits[72], ne.1605: bits[1], id=1609, pos=[(3,369,56)])" } all_nodes { node_delay_ps: 320 op: OP_SHRL id: 1610 ir: "shifted_c: bits[73] = shrl(wide_c__2: bits[73], rshift_c: bits[9], id=1610, pos=[(0,3659,20), (3,369,56)])" } all_nodes { op: OP_CONCAT id: 1611 ir: "sticky_c: bits[73] = concat(literal.1604: bits[72], ne.1606: bits[1], id=1611, pos=[(3,369,56)])" } all_nodes { op: OP_TUPLE_INDEX id: 1616 ir: "c_sign__2: bits[1] = tuple_index(c: (bits[1], bits[8], bits[23]), index=0, id=1616, pos=[(0,3641,55), (3,369,56)])" } all_nodes { node_delay_ps: 27 op: OP_NOR id: 1615 ir: "ab_sign__2: bits[1] = nor(is_result_nan__1: bits[1], not.1612: bits[1], id=1615, pos=[(0,3588,4), (0,3636,25), (3,369,56)])" } all_nodes { node_delay_ps: 19 op: OP_OR id: 1613 ir: "or.1613: bits[73] = or(shifted_ab: bits[73], sticky_ab: bits[73], id=1613, pos=[(0,3664,22), (3,369,56)])" } all_nodes { node_delay_ps: 19 op: OP_OR id: 1614 ir: "or.1614: bits[73] = or(shifted_c: bits[73], sticky_c: bits[73], id=1614, pos=[(0,3665,21), (3,369,56)])" } all_nodes { node_delay_ps: 75 op: OP_SEL id: 1737 ir: "greater_sign: bits[1] = sel(overflow_detected, cases=[c_sign__2, ab_sign__2], id=1737, pos=[(0,3641,8), (3,369,56)])" } all_nodes { op: OP_CONCAT id: 1617 ir: "shifted_ab__1_squeezed: bits[74] = concat(cancel__1: bits[1], or.1613: bits[73], id=1617, pos=[(0,3668,50), (3,369,56)])" } all_nodes { op: OP_CONCAT id: 1618 ir: "shifted_c__1_squeezed: bits[74] = concat(cancel__1: bits[1], or.1614: bits[73], id=1618, pos=[(0,3669,48), (3,369,56)])" } all_nodes { node_delay_ps: 49 op: OP_XOR id: 1623 ir: "xor.1623: bits[1] = xor(ab_sign__2: bits[1], greater_sign: bits[1], id=1623, pos=[(0,3668,26), (3,369,56)])" } all_nodes { node_delay_ps: 331 op: OP_NEG id: 1621 ir: "neg.1621: bits[74] = neg(shifted_ab__1_squeezed: bits[74], id=1621, pos=[(0,3668,50), (3,369,56)])" } all_nodes { node_delay_ps: 49 op: OP_XOR id: 1626 ir: "xor.1626: bits[1] = xor(c_sign__2: bits[1], greater_sign: bits[1], id=1626, pos=[(0,3669,24), (3,369,56)])" } all_nodes { node_delay_ps: 331 op: OP_NEG id: 1622 ir: "neg.1622: bits[74] = neg(shifted_c__1_squeezed: bits[74], id=1622, pos=[(0,3669,48), (3,369,56)])" } all_nodes { node_delay_ps: 158 op: OP_SEL id: 1819 ir: "shifted_ab__2_squeezed: bits[74] = sel(xor.1623, cases=[shifted_ab__1_squeezed, neg.1621], id=1819, pos=[(0,3668,21), (3,369,56)])" } all_nodes { node_delay_ps: 158 op: OP_SEL id: 1823 ir: "shifted_c__2_squeezed: bits[74] = sel(xor.1626, cases=[shifted_c__1_squeezed, neg.1622], id=1823, pos=[(0,3669,20), (3,369,56)])" } all_nodes { node_delay_ps: 17 op: OP_SIGN_EXT id: 1820 ir: "shifted_ab__2: bits[75] = sign_ext(shifted_ab__2_squeezed: bits[74], new_bit_count=75, id=1820, pos=[(0,3668,21), (3,369,56)])" } all_nodes { node_delay_ps: 17 op: OP_SIGN_EXT id: 1824 ir: "shifted_c__2: bits[75] = sign_ext(shifted_c__2_squeezed: bits[74], new_bit_count=75, id=1824, pos=[(0,3669,20), (3,369,56)])" } all_nodes { node_delay_ps: 456 op: OP_ADD id: 1631 ir: "sum_fraction: bits[75] = add(shifted_ab__2: bits[75], shifted_c__2: bits[75], id=1631, pos=[(0,3672,23), (3,369,56)])" } all_nodes { op: OP_BIT_SLICE id: 1632 ir: "bit_slice.1632: bits[74] = bit_slice(sum_fraction: bits[75], start=0, width=74, id=1632, pos=[(0,3672,23), (3,369,56)])" } all_nodes { op: OP_BIT_SLICE id: 1633 ir: "bit_slice.1633: bits[1] = bit_slice(sum_fraction: bits[75], start=74, width=1, id=1633, pos=[(0,3681,27), (3,369,56)])" } all_nodes { node_delay_ps: 331 op: OP_NEG id: 1634 ir: "neg.1634: bits[74] = neg(bit_slice.1632: bits[74], id=1634, pos=[(0,3682,27), (3,369,56)])" } all_nodes { node_delay_ps: 158 op: OP_SEL id: 1635 ir: "abs_fraction__2: bits[74] = sel(bit_slice.1633, cases=[bit_slice.1632, neg.1634], id=1635, pos=[(0,3681,24), (3,369,56)])" } all_nodes { op: OP_REVERSE id: 1636 ir: "reverse.1636: bits[74] = reverse(abs_fraction__2: bits[74], id=1636, pos=[(0,3695,28), (3,369,56)])" } all_nodes { node_delay_ps: 238 op: OP_ONE_HOT id: 1637 ir: "one_hot.1637: bits[75] = one_hot(reverse.1636: bits[74], lsb_prio=true, id=1637, pos=[(0,3695,28), (3,369,56)])" } all_nodes { node_delay_ps: 103 op: OP_ENCODE id: 1638 ir: "encode.1638: bits[7] = encode(one_hot.1637: bits[75], id=1638, pos=[(0,3695,28), (3,369,56)])" } all_nodes { op: OP_BIT_SLICE id: 1639 ir: "bit_slice.1639: bits[6] = bit_slice(encode.1638: bits[7], start=1, width=6, id=1639, pos=[(0,3696,17), (3,369,56)])" } all_nodes { node_delay_ps: 38 op: OP_OR_REDUCE id: 1640 ir: "cancel__2: bits[1] = or_reduce(bit_slice.1639: bits[6], id=1640, pos=[(0,3696,17), (3,369,56)])" } all_nodes { op: OP_BIT_SLICE id: 1641 ir: "carry_bit__2: bits[1] = bit_slice(abs_fraction__2: bits[74], start=73, width=1, id=1641, pos=[(0,3689,32), (3,369,56)])" } all_nodes { op: OP_CONCAT id: 1642 ir: "concat.1642: bits[8] = concat(cancel__1: bits[1], encode.1638: bits[7], id=1642, pos=[(0,3695,28), (3,369,56)])" } all_nodes { op: OP_NOT id: 1643 ir: "not.1643: bits[1] = not(cancel__2: bits[1], id=1643, pos=[(3,369,56)])" } all_nodes { op: OP_NOT id: 1644 ir: "not.1644: bits[1] = not(carry_bit__2: bits[1], id=1644, pos=[(3,369,56)])" } all_nodes { op: OP_BIT_SLICE id: 1645 ir: "bit_slice.1645: bits[1] = bit_slice(abs_fraction__2: bits[74], start=0, width=1, id=1645, pos=[(0,3691,55), (3,369,56)])" } all_nodes { node_delay_ps: 212 op: OP_ADD id: 1646 ir: "add.1646: bits[8] = add(concat.1642: bits[8], max_exp: bits[8], id=1646, pos=[(0,3698,26), (3,369,56)])" } all_nodes { node_delay_ps: 27 op: OP_NOR id: 1647 ir: "nor.1647: bits[1] = nor(carry_bit__2: bits[1], cancel__2: bits[1], id=1647, pos=[(3,369,56)])" } all_nodes { node_delay_ps: 27 op: OP_NOR id: 1648 ir: "nor.1648: bits[1] = nor(carry_bit__2: bits[1], not.1643: bits[1], id=1648, pos=[(3,369,56)])" } all_nodes { node_delay_ps: 27 op: OP_NOR id: 1649 ir: "nor.1649: bits[1] = nor(not.1644: bits[1], cancel__2: bits[1], id=1649, pos=[(3,369,56)])" } all_nodes { op: OP_BIT_SLICE id: 1650 ir: "carry_fraction__1: bits[73] = bit_slice(abs_fraction__2: bits[74], start=1, width=73, id=1650, pos=[(0,3690,26), (3,369,56)])" } all_nodes { op: OP_CONCAT id: 1651 ir: "concat.1651: bits[73] = concat(literal.1604: bits[72], bit_slice.1645: bits[1], id=1651, pos=[(3,369,56)])" } all_nodes { op: OP_BIT_SLICE id: 1652 ir: "bit_slice.1652: bits[73] = bit_slice(abs_fraction__2: bits[74], start=0, width=73, id=1652, pos=[(0,3698,9), (3,369,56)])" } all_nodes { node_delay_ps: 17 op: OP_SIGN_EXT id: 1653 ir: "sign_ext.1653: bits[74] = sign_ext(add.1646: bits[8], new_bit_count=74, id=1653, pos=[(0,3698,26), (3,369,56)])" } all_nodes { op: OP_CONCAT id: 1654 ir: "concat.1654: bits[3] = concat(nor.1647: bits[1], nor.1648: bits[1], nor.1649: bits[1], id=1654, pos=[(3,369,56)])" } all_nodes { node_delay_ps: 19 op: OP_OR id: 1655 ir: "carry_fraction__4: bits[73] = or(carry_fraction__1: bits[73], concat.1651: bits[73], id=1655, pos=[(0,3691,25), (3,369,56)])" } all_nodes { node_delay_ps: 320 op: OP_SHLL id: 1656 ir: "cancel_fraction__2: bits[73] = shll(bit_slice.1652: bits[73], sign_ext.1653: bits[74], id=1656, pos=[(3,369,56)])" } all_nodes { op: OP_LITERAL id: 1657 ir: "literal.1657: bits[73] = literal(value=0x0, id=1657, pos=[(0,3703,39), (3,369,56)])" } all_nodes { node_delay_ps: 201 op: OP_PRIORITY_SEL id: 1658 ir: "shifted_fraction: bits[73] = priority_sel(concat.1654, cases=[carry_fraction__4, cancel_fraction__2, bit_slice.1652], default=literal.1657, id=1658, pos=[(3,369,56)])" } all_nodes { op: OP_BIT_SLICE id: 1659 ir: "normal_chunk: bits[49] = bit_slice(shifted_fraction: bits[73], start=0, width=49, id=1659, pos=[(0,3710,39), (3,369,56)])" } all_nodes { op: OP_LITERAL id: 1660 ir: "half_of_extra: bits[49] = literal(value=281474976710656, id=1660, pos=[(0,3713,24), (3,369,56)])" } all_nodes { op: OP_BIT_SLICE id: 1661 ir: "half_way_chunk: bits[2] = bit_slice(shifted_fraction: bits[73], start=48, width=2, id=1661, pos=[(0,3712,24), (3,369,56)])" } all_nodes { op: OP_LITERAL id: 1662 ir: "literal.1662: bits[2] = literal(value=3, id=1662, pos=[(0,3715,63), (3,369,56)])" } all_nodes { op: OP_BIT_SLICE id: 1805 ir: "bit_slice.1805: bits[24] = bit_slice(shifted_fraction: bits[73], start=49, width=24, id=1805, pos=[(0,3717,8), (3,369,56)])" } all_nodes { node_delay_ps: 267 op: OP_UGT id: 1665 ir: "ugt.1665: bits[1] = ugt(normal_chunk: bits[49], half_of_extra: bits[49], id=1665, pos=[(0,3715,12), (3,369,56)])" } all_nodes { node_delay_ps: 64 op: OP_EQ id: 1666 ir: "eq.1666: bits[1] = eq(half_way_chunk: bits[2], literal.1662: bits[2], id=1666, pos=[(0,3715,45), (3,369,56)])" } all_nodes { op: OP_CONCAT id: 1806 ir: "concat.1806: bits[25] = concat(cancel__1: bits[1], bit_slice.1805: bits[24], id=1806, pos=[(0,3717,8), (3,369,56)])" } all_nodes { op: OP_LITERAL id: 1798 ir: "literal.1798: bits[25] = literal(value=1, id=1798, pos=[(0,3717,8), (3,369,56)])" } all_nodes { node_delay_ps: 19 op: OP_OR id: 1669 ir: "or.1669: bits[1] = or(ugt.1665: bits[1], eq.1666: bits[1], id=1669, pos=[(0,3715,12), (3,369,56)])" } all_nodes { node_delay_ps: 332 op: OP_ADD id: 1794 ir: "add.1794: bits[25] = add(concat.1806: bits[25], literal.1798: bits[25], id=1794, pos=[(0,3717,8), (3,369,56)])" } all_nodes { op: OP_CONCAT id: 1542 ir: "concat.1542: bits[9] = concat(cancel__1: bits[1], c_bexp__2: bits[8], id=1542, pos=[(3,369,56)])" } all_nodes { node_delay_ps: 137 op: OP_SEL id: 1672 ir: "rounded_fraction__1: bits[25] = sel(or.1669, cases=[concat.1806, add.1794], id=1672, pos=[(0,3716,27), (3,369,56)])" } all_nodes { op: OP_LITERAL id: 1673 ir: "literal.1673: bits[8] = literal(value=1, id=1673, pos=[(0,3729,15), (3,369,56)])" } all_nodes { node_delay_ps: 117 op: OP_SEL id: 1738 ir: "greater_exp: bits[9] = sel(overflow_detected, cases=[concat.1542, ab_bexp__2], id=1738, pos=[(0,3641,8), (3,369,56)])" } all_nodes { op: OP_BIT_SLICE id: 1675 ir: "rounding_carry: bits[1] = bit_slice(rounded_fraction__1: bits[25], start=24, width=1, id=1675, pos=[(0,3723,41), (3,369,56)])" } all_nodes { op: OP_LITERAL id: 1679 ir: "literal.1679: bits[75] = literal(value=0x0, id=1679, pos=[(0,3673,43), (3,369,56)])" } all_nodes { node_delay_ps: 206 op: OP_SUB id: 1676 ir: "sub.1676: bits[8] = sub(literal.1673: bits[8], concat.1642: bits[8], id=1676, pos=[(0,3728,15), (3,369,56)])" } all_nodes { op: OP_CONCAT id: 1677 ir: "concat.1677: bits[10] = concat(cancel__1: bits[1], greater_exp: bits[9], id=1677, pos=[(3,369,56)])" } all_nodes { op: OP_CONCAT id: 1678 ir: "concat.1678: bits[10] = concat(literal.1529: bits[9], rounding_carry: bits[1], id=1678, pos=[(3,369,56)])" } all_nodes { node_delay_ps: 170 op: OP_EQ id: 1682 ir: "fraction_is_zero: bits[1] = eq(sum_fraction: bits[75], literal.1679: bits[75], id=1682, pos=[(0,3673,27), (3,369,56)])" } all_nodes { node_delay_ps: 17 op: OP_SIGN_EXT id: 1680 ir: "bexp_associative_element__1: bits[10] = sign_ext(sub.1676: bits[8], new_bit_count=10, id=1680, pos=[(0,3728,15), (3,369,56)])" } all_nodes { node_delay_ps: 235 op: OP_ADD id: 1681 ir: "bexp_associative_element__4: bits[10] = add(concat.1677: bits[10], concat.1678: bits[10], id=1681, pos=[(0,3728,15), (3,369,56)])" } all_nodes { op: OP_NOT id: 1783 ir: "not.1783: bits[1] = not(fraction_is_zero: bits[1], id=1783, pos=[(0,3730,15), (3,369,56)])" } all_nodes { node_delay_ps: 235 op: OP_ADD id: 1683 ir: "bexp__1: bits[10] = add(bexp_associative_element__1: bits[10], bexp_associative_element__4: bits[10], id=1683, pos=[(0,3728,15), (3,369,56)])" } all_nodes { node_delay_ps: 17 op: OP_SIGN_EXT id: 1784 ir: "sign_ext.1784: bits[10] = sign_ext(not.1783: bits[1], new_bit_count=10, id=1784, pos=[(0,3730,15), (3,369,56)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1785 ir: "bexp__2: bits[10] = and(bexp__1: bits[10], sign_ext.1784: bits[10], id=1785, pos=[(0,3730,15), (3,369,56)])" } all_nodes { op: OP_BIT_SLICE id: 1693 ir: "bit_slice.1693: bits[1] = bit_slice(bexp__2: bits[10], start=9, width=1, id=1693, pos=[(0,3731,18), (3,369,56)])" } all_nodes { op: OP_NOT id: 1786 ir: "not.1786: bits[1] = not(bit_slice.1693: bits[1], id=1786, pos=[(0,3731,15), (3,369,56)])" } all_nodes { op: OP_BIT_SLICE id: 1694 ir: "bit_slice.1694: bits[9] = bit_slice(bexp__2: bits[10], start=0, width=9, id=1694, pos=[(3,369,56)])" } all_nodes { node_delay_ps: 17 op: OP_SIGN_EXT id: 1787 ir: "sign_ext.1787: bits[9] = sign_ext(not.1786: bits[1], new_bit_count=9, id=1787, pos=[(0,3731,15), (3,369,56)])" } all_nodes { node_delay_ps: 99 op: OP_EQ id: 1684 ir: "eq.1684: bits[1] = eq(ab_bexp__2: bits[9], literal.1552: bits[9], id=1684, pos=[(0,3550,5), (0,3749,37), (3,369,56)])" } all_nodes { node_delay_ps: 150 op: OP_EQ id: 1685 ir: "eq.1685: bits[1] = eq(ab_fraction__2: bits[48], literal.1517: bits[48], id=1685, pos=[(0,3550,46), (0,3749,37), (3,369,56)])" } all_nodes { node_delay_ps: 96 op: OP_EQ id: 1686 ir: "eq.1686: bits[1] = eq(c_bexp__2: bits[8], max_exp: bits[8], id=1686, pos=[(0,96,6), (0,3749,72), (3,369,56)])" } all_nodes { node_delay_ps: 125 op: OP_EQ id: 1687 ir: "eq.1687: bits[1] = eq(c_fraction__2: bits[23], literal.1519: bits[23], id=1687, pos=[(0,96,44), (0,3749,72), (3,369,56)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1788 ir: "bexp__6: bits[9] = and(bit_slice.1694: bits[9], sign_ext.1787: bits[9], id=1788, pos=[(0,3731,15), (3,369,56)])" } all_nodes { node_delay_ps: 25 op: OP_NAND id: 1689 ir: "nand.1689: bits[1] = nand(eq.1684: bits[1], eq.1685: bits[1], id=1689, pos=[(0,3749,37), (3,369,56)])" } all_nodes { op: OP_NOT id: 1690 ir: "not.1690: bits[1] = not(eq.1686: bits[1], id=1690, pos=[(0,3749,72), (3,369,56)])" } all_nodes { op: OP_NOT id: 1691 ir: "not.1691: bits[1] = not(eq.1687: bits[1], id=1691, pos=[(0,3749,72), (3,369,56)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1692 ir: "and.1692: bits[1] = and(eq.1684: bits[1], eq.1685: bits[1], id=1692, pos=[(0,3550,5), (0,3749,37), (3,369,56)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1706 ir: "and.1706: bits[1] = and(eq.1686: bits[1], eq.1687: bits[1], id=1706, pos=[(0,96,6), (0,3749,72), (3,369,56)])" } all_nodes { op: OP_BIT_SLICE id: 1707 ir: "bit_slice.1707: bits[8] = bit_slice(bexp__6: bits[9], start=0, width=8, id=1707, pos=[(0,3742,24), (3,369,56)])" } all_nodes { node_delay_ps: 27 op: OP_NOR id: 1695 ir: "nor.1695: bits[1] = nor(nand.1689: bits[1], ab_sign__2: bits[1], id=1695, pos=[(0,3749,37), (3,369,56)])" } all_nodes { node_delay_ps: 38 op: OP_NOR id: 1696 ir: "nor.1696: bits[1] = nor(not.1690: bits[1], not.1691: bits[1], c_sign__2: bits[1], id=1696, pos=[(0,3749,72), (3,369,56)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1697 ir: "and.1697: bits[1] = and(and.1692: bits[1], ab_sign__2: bits[1], id=1697, pos=[(0,3754,37), (3,369,56)])" } all_nodes { node_delay_ps: 35 op: OP_AND id: 1698 ir: "and.1698: bits[1] = and(eq.1686: bits[1], eq.1687: bits[1], c_sign__2: bits[1], id=1698, pos=[(0,3754,72), (3,369,56)])" } all_nodes { node_delay_ps: 19 op: OP_OR id: 1713 ir: "is_operand_inf: bits[1] = or(and.1692: bits[1], and.1706: bits[1], id=1713, pos=[(0,3745,39), (3,369,56)])" } all_nodes { op: OP_BIT_SLICE id: 1714 ir: "bit_slice.1714: bits[1] = bit_slice(bexp__6: bits[9], start=8, width=1, id=1714, pos=[(0,3742,24), (3,369,56)])" } all_nodes { node_delay_ps: 67 op: OP_AND_REDUCE id: 1715 ir: "and_reduce.1715: bits[1] = and_reduce(bit_slice.1707: bits[8], id=1715, pos=[(0,3742,24), (3,369,56)])" } all_nodes { node_delay_ps: 99 op: OP_EQ id: 1716 ir: "eq.1716: bits[1] = eq(bexp__6: bits[9], literal.1529: bits[9], id=1716, pos=[(0,3736,29), (3,369,56)])" } all_nodes { op: OP_NOT id: 1750 ir: "not.1750: bits[1] = not(eq.1684: bits[1], id=1750, pos=[(0,3556,5), (0,3755,38), (3,369,56)])" } all_nodes { node_delay_ps: 19 op: OP_OR id: 1703 ir: "has_pos_inf: bits[1] = or(nor.1695: bits[1], nor.1696: bits[1], id=1703, pos=[(0,3749,37), (3,369,56)])" } all_nodes { node_delay_ps: 19 op: OP_OR id: 1704 ir: "has_neg_inf: bits[1] = or(and.1697: bits[1], and.1698: bits[1], id=1704, pos=[(0,3754,37), (3,369,56)])" } all_nodes { node_delay_ps: 33 op: OP_OR id: 1720 ir: "or.1720: bits[1] = or(is_operand_inf: bits[1], bit_slice.1714: bits[1], and_reduce.1715: bits[1], eq.1716: bits[1], id=1720, pos=[(0,3747,26), (3,369,56)])" } all_nodes { node_delay_ps: 27 op: OP_NOR id: 1751 ir: "nor.1751: bits[1] = nor(not.1750: bits[1], eq.1685: bits[1], id=1751, pos=[(0,3556,5), (0,3755,38), (3,369,56)])" } all_nodes { node_delay_ps: 27 op: OP_NOR id: 1753 ir: "nor.1753: bits[1] = nor(not.1690: bits[1], eq.1687: bits[1], id=1753, pos=[(0,71,6), (0,3755,51), (3,369,56)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1710 ir: "and.1710: bits[1] = and(has_pos_inf: bits[1], has_neg_inf: bits[1], id=1710, pos=[(0,3755,58), (3,369,56)])" } all_nodes { op: OP_CONCAT id: 1711 ir: "concat.1711: bits[2] = concat(bit_slice.1633: bits[1], fraction_is_zero: bits[1], id=1711, pos=[(3,369,56)])" } all_nodes { op: OP_NOT id: 1712 ir: "not.1712: bits[1] = not(greater_sign: bits[1], id=1712, pos=[(0,3676,25), (3,369,56)])" } all_nodes { op: OP_NOT id: 1789 ir: "not.1789: bits[1] = not(or.1720: bits[1], id=1789, pos=[(0,3747,26), (3,369,56)])" } all_nodes { node_delay_ps: 27 op: OP_OR id: 1717 ir: "is_result_nan: bits[1] = or(nor.1751: bits[1], nor.1753: bits[1], and.1710: bits[1], id=1717, pos=[(0,3755,38), (3,369,56)])" } all_nodes { node_delay_ps: 90 op: OP_PRIORITY_SEL id: 1718 ir: "result_sign: bits[1] = priority_sel(concat.1711, cases=[cancel__1, not.1712], default=greater_sign, id=1718, pos=[(3,369,56)])" } all_nodes { op: OP_NOT id: 1719 ir: "not.1719: bits[1] = not(has_pos_inf: bits[1], id=1719, pos=[(0,3750,42), (3,369,56)])" } all_nodes { op: OP_BIT_SLICE id: 1721 ir: "result_fraction: bits[23] = bit_slice(rounded_fraction__1: bits[25], start=0, width=23, id=1721, pos=[(3,369,56)])" } all_nodes { node_delay_ps: 17 op: OP_SIGN_EXT id: 1790 ir: "sign_ext.1790: bits[23] = sign_ext(not.1789: bits[1], new_bit_count=23, id=1790, pos=[(0,3747,26), (3,369,56)])" } all_nodes { op: OP_NOT id: 1722 ir: "not.1722: bits[1] = not(is_result_nan: bits[1], id=1722, pos=[(0,3759,22), (3,369,56)])" } all_nodes { node_delay_ps: 75 op: OP_SEL id: 1723 ir: "result_sign__1: bits[1] = sel(is_operand_inf, cases=[result_sign, not.1719], id=1723, pos=[(0,3750,22), (3,369,56)])" } all_nodes { node_delay_ps: 33 op: OP_OR id: 1724 ir: "or.1724: bits[1] = or(is_result_nan: bits[1], is_operand_inf: bits[1], bit_slice.1714: bits[1], and_reduce.1715: bits[1], id=1724, pos=[(0,3756,21), (3,369,56)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1791 ir: "result_fraction__3: bits[23] = and(result_fraction: bits[23], sign_ext.1790: bits[23], id=1791, pos=[(0,3747,26), (3,369,56)])" } all_nodes { op: OP_LITERAL id: 1726 ir: "literal.1726: bits[23] = literal(value=524288, id=1726, pos=[(0,3758,27), (3,369,56)])" } 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: 1739 ir: "nand.1739: bits[1] = nand(carry_bit__2: bits[1], cancel__2: bits[1], id=1739, pos=[(3,369,56)])" } all_nodes { node_delay_ps: 23 op: OP_AND id: 1728 ir: "result_sign__2: bits[1] = and(not.1722: bits[1], result_sign__1: bits[1], id=1728, pos=[(0,3759,22), (3,369,56)])" } all_nodes { node_delay_ps: 115 op: OP_SEL id: 1729 ir: "result_exp__2: bits[8] = sel(or.1724, cases=[bit_slice.1707, max_exp], id=1729, pos=[(0,3756,21), (3,369,56)])" } all_nodes { node_delay_ps: 135 op: OP_SEL id: 1730 ir: "result_fraction__4: bits[23] = sel(is_result_nan, cases=[result_fraction__3, literal.1726], id=1730, pos=[(0,3758,8), (3,369,56)])" } all_nodes { op: OP_ASSERT id: 1734 ir: "assert_1497__2: token = assert(after_all.520: token, nand.1739: bits[1], message=\"Assertion failure via fail! @ /inputs/subtree/xls/dslx/stdlib/apfloat.x:3704:19-3704:60\", label=\"carry_and_cancel\", id=1734, pos=[(3,369,56)])" } all_nodes { op: OP_TUPLE id: 1732 ir: "tuple.1732: (bits[1], bits[8], bits[23]) = tuple(result_sign__2: bits[1], result_exp__2: bits[8], result_fraction__4: bits[23], id=1732, pos=[(0,3761,33), (3,369,56)])" }