combinational_critical_path {
  total_delay_ps: 8177
  nodes {
    total_delay_ps: 8177
    op: OP_TUPLE
    id: 1734
    ir: "tuple.1734: (bits[1], bits[11], bits[52]) = tuple(result_sign__2: bits[1], result_exp__2: bits[11], result_fraction__4: bits[52], id=1734, pos=[(0,3761,33), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 8177
    node_delay_ps: 151
    op: OP_SEL
    id: 1732
    ir: "result_fraction__4: bits[52] = sel(is_result_nan, cases=[result_fraction__3, literal.1728], id=1732, pos=[(0,3758,8), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 8026
    node_delay_ps: 23
    op: OP_AND
    id: 1795
    ir: "result_fraction__3: bits[52] = and(result_fraction: bits[52], sign_ext.1794: bits[52], id=1795, pos=[(0,3747,26), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 8003
    node_delay_ps: 17
    op: OP_SIGN_EXT
    id: 1794
    ir: "sign_ext.1794: bits[52] = sign_ext(not.1793: bits[1], new_bit_count=52, id=1794, pos=[(0,3747,26), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 7986
    op: OP_NOT
    id: 1793
    ir: "not.1793: bits[1] = not(or.1722: bits[1], id=1793, pos=[(0,3747,26), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 7986
    node_delay_ps: 33
    op: OP_OR
    id: 1722
    ir: "or.1722: bits[1] = or(is_operand_inf: bits[1], bit_slice.1716: bits[1], and_reduce.1717: bits[1], eq.1718: bits[1], id=1722, pos=[(0,3747,26), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 7953
    node_delay_ps: 107
    op: OP_EQ
    id: 1718
    ir: "eq.1718: bits[1] = eq(bexp__6: bits[12], literal.1530: bits[12], id=1718, pos=[(0,3736,29), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 7846
    node_delay_ps: 23
    op: OP_AND
    id: 1792
    ir: "bexp__6: bits[12] = and(bit_slice.1696: bits[12], sign_ext.1791: bits[12], id=1792, pos=[(0,3731,15), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 7823
    node_delay_ps: 17
    op: OP_SIGN_EXT
    id: 1791
    ir: "sign_ext.1791: bits[12] = sign_ext(not.1790: bits[1], new_bit_count=12, id=1791, pos=[(0,3731,15), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 7806
    op: OP_NOT
    id: 1790
    ir: "not.1790: bits[1] = not(bit_slice.1695: bits[1], id=1790, pos=[(0,3731,15), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 7806
    op: OP_BIT_SLICE
    id: 1695
    ir: "bit_slice.1695: bits[1] = bit_slice(bexp__2: bits[13], start=12, width=1, id=1695, pos=[(0,3731,18), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 7806
    node_delay_ps: 23
    op: OP_AND
    id: 1789
    ir: "bexp__2: bits[13] = and(bexp__1: bits[13], sign_ext.1788: bits[13], id=1789, pos=[(0,3730,15), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 7783
    node_delay_ps: 262
    op: OP_ADD
    id: 1685
    ir: "bexp__1: bits[13] = add(bexp_associative_element__1: bits[13], bexp_associative_element__4: bits[13], id=1685, pos=[(0,3728,15), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 7521
    node_delay_ps: 262
    op: OP_ADD
    id: 1683
    ir: "bexp_associative_element__4: bits[13] = add(concat.1679: bits[13], concat.1680: bits[13], id=1683, pos=[(0,3728,15), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 7259
    op: OP_CONCAT
    id: 1680
    ir: "concat.1680: bits[13] = concat(literal.1530: bits[12], rounding_carry: bits[1], id=1680, pos=[(3,172,56)])"
  }
  nodes {
    total_delay_ps: 7259
    op: OP_BIT_SLICE
    id: 1677
    ir: "rounding_carry: bits[1] = bit_slice(rounded_fraction__1: bits[54], start=53, width=1, id=1677, pos=[(0,3723,41), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 7259
    node_delay_ps: 152
    op: OP_SEL
    id: 1674
    ir: "rounded_fraction__1: bits[54] = sel(or.1671, cases=[concat.1817, add.1798], id=1674, pos=[(0,3716,27), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 7107
    node_delay_ps: 417
    op: OP_ADD
    id: 1798
    ir: "add.1798: bits[54] = add(concat.1817: bits[54], literal.1808: bits[54], id=1798, pos=[(0,3717,8), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 6690
    op: OP_CONCAT
    id: 1817
    ir: "concat.1817: bits[54] = concat(cancel__1: bits[1], bit_slice.1816: bits[53], id=1817, pos=[(0,3717,8), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 6690
    op: OP_BIT_SLICE
    id: 1816
    ir: "bit_slice.1816: bits[53] = bit_slice(shifted_fraction: bits[160], start=107, width=53, id=1816, pos=[(0,3717,8), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 6690
    node_delay_ps: 218
    op: OP_PRIORITY_SEL
    id: 1660
    ir: "shifted_fraction: bits[160] = priority_sel(concat.1656, cases=[carry_fraction__4, cancel_fraction__2, bit_slice.1654], default=literal.1659, id=1660, pos=[(3,172,56)])"
  }
  nodes {
    total_delay_ps: 6472
    node_delay_ps: 392
    op: OP_SHLL
    id: 1658
    ir: "cancel_fraction__2: bits[160] = shll(bit_slice.1654: bits[160], sign_ext.1655: bits[161], id=1658, pos=[(3,172,56)])"
  }
  nodes {
    total_delay_ps: 6080
    node_delay_ps: 17
    op: OP_SIGN_EXT
    id: 1655
    ir: "sign_ext.1655: bits[161] = sign_ext(add.1648: bits[9], new_bit_count=161, id=1655, pos=[(0,3698,26), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 6063
    node_delay_ps: 224
    op: OP_ADD
    id: 1648
    ir: "add.1648: bits[9] = add(concat.1643: bits[9], literal.1644: bits[9], id=1648, pos=[(0,3698,26), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 5839
    op: OP_CONCAT
    id: 1643
    ir: "concat.1643: bits[9] = concat(cancel__1: bits[1], encode.1639: bits[8], id=1643, pos=[(0,3695,28), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 5839
    node_delay_ps: 127
    op: OP_ENCODE
    id: 1639
    ir: "encode.1639: bits[8] = encode(one_hot.1638: bits[162], id=1639, pos=[(0,3695,28), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 5712
    node_delay_ps: 289
    op: OP_ONE_HOT
    id: 1638
    ir: "one_hot.1638: bits[162] = one_hot(reverse.1637: bits[161], lsb_prio=true, id=1638, pos=[(0,3695,28), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 5423
    op: OP_REVERSE
    id: 1637
    ir: "reverse.1637: bits[161] = reverse(abs_fraction__2: bits[161], id=1637, pos=[(0,3695,28), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 5423
    node_delay_ps: 175
    op: OP_SEL
    id: 1636
    ir: "abs_fraction__2: bits[161] = sel(bit_slice.1634, cases=[bit_slice.1633, neg.1635], id=1636, pos=[(0,3681,24), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 5248
    node_delay_ps: 437
    op: OP_NEG
    id: 1635
    ir: "neg.1635: bits[161] = neg(bit_slice.1633: bits[161], id=1635, pos=[(0,3682,27), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 4811
    op: OP_BIT_SLICE
    id: 1633
    ir: "bit_slice.1633: bits[161] = bit_slice(sum_fraction: bits[162], start=0, width=161, id=1633, pos=[(0,3672,23), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 4811
    node_delay_ps: 559
    op: OP_ADD
    id: 1632
    ir: "sum_fraction: bits[162] = add(shifted_ab__2: bits[162], shifted_c__2: bits[162], id=1632, pos=[(0,3672,23), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 4252
    node_delay_ps: 17
    op: OP_SIGN_EXT
    id: 1835
    ir: "shifted_ab__2: bits[162] = sign_ext(shifted_ab__2_squeezed: bits[161], new_bit_count=162, id=1835, pos=[(0,3668,21), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 4235
    node_delay_ps: 175
    op: OP_SEL
    id: 1834
    ir: "shifted_ab__2_squeezed: bits[161] = sel(xor.1624, cases=[shifted_ab__1_squeezed, neg.1622], id=1834, pos=[(0,3668,21), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 4060
    node_delay_ps: 437
    op: OP_NEG
    id: 1622
    ir: "neg.1622: bits[161] = neg(shifted_ab__1_squeezed: bits[161], id=1622, pos=[(0,3668,50), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 3623
    op: OP_CONCAT
    id: 1618
    ir: "shifted_ab__1_squeezed: bits[161] = concat(cancel__1: bits[1], or.1614: bits[160], id=1618, pos=[(0,3668,50), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 3623
    node_delay_ps: 19
    op: OP_OR
    id: 1614
    ir: "or.1614: bits[160] = or(shifted_ab: bits[160], sticky_ab: bits[160], id=1614, pos=[(0,3664,22), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 3604
    op: OP_CONCAT
    id: 1610
    ir: "sticky_ab: bits[160] = concat(literal.1605: bits[159], ne.1606: bits[1], id=1610, pos=[(3,172,56)])"
  }
  nodes {
    total_delay_ps: 3604
    node_delay_ps: 189
    op: OP_NE
    id: 1606
    ir: "ne.1606: bits[1] = ne(nor.1601: bits[106], literal.1518: bits[106], id=1606, pos=[(1,1502,17), (1,1529,22), (0,3660,38), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 3415
    node_delay_ps: 27
    op: OP_NOR
    id: 1601
    ir: "nor.1601: bits[106] = nor(not.1586: bits[106], bit_slice.1598: bits[106], id=1601, pos=[(1,1412,4), (1,1502,17), (1,1529,22), (0,3660,38), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 3388
    op: OP_BIT_SLICE
    id: 1598
    ir: "bit_slice.1598: bits[106] = bit_slice(shll.1594: bits[160], start=54, width=106, id=1598, pos=[(1,1412,19), (1,1502,17), (1,1529,22), (0,3660,38), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 3388
    node_delay_ps: 392
    op: OP_SHLL
    id: 1594
    ir: "shll.1594: bits[160] = shll(literal.1588: bits[160], rshift_ab: bits[12], id=1594, pos=[(1,1412,19), (1,1502,17), (1,1529,22), (0,3660,38), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 2996
    node_delay_ps: 23
    op: OP_AND
    id: 1781
    ir: "rshift_ab: bits[12] = and(exp_difference: bits[12], ab_bexpor_mask__2: bits[12], id=1781, pos=[(0,3656,20), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 2973
    node_delay_ps: 254
    op: OP_ADD
    id: 1584
    ir: "exp_difference: bits[12] = add(result: bits[12], concat.1581: bits[12], id=1584, pos=[(2,54,7), (0,3010,68), (0,3639,33), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 2719
    node_delay_ps: 49
    op: OP_XOR
    id: 1580
    ir: "result: bits[12] = xor(narrowed_result: bits[12], ab_bexpor_mask__2: bits[12], id=1580, pos=[(2,95,18), (0,3009,44), (0,3639,33), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 2670
    node_delay_ps: 17
    op: OP_SIGN_EXT
    id: 1576
    ir: "ab_bexpor_mask__2: bits[12] = sign_ext(nc: bits[1], new_bit_count=12, id=1576, pos=[(2,94,32), (0,3009,44), (0,3639,33), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 2653
    op: OP_NOT
    id: 1569
    ir: "nc: bits[1] = not(overflow_detected: bits[1], id=1569, pos=[(2,92,19), (0,3009,44), (0,3639,33), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 2653
    op: OP_BIT_SLICE
    id: 1565
    ir: "overflow_detected: bits[1] = bit_slice(full_result: bits[13], start=12, width=1, id=1565, pos=[(1,1122,49), (2,91,63), (0,3009,44), (0,3639,33), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 2653
    node_delay_ps: 262
    op: OP_ADD
    id: 1563
    ir: "full_result: bits[13] = add(ab_bexp_extended__1: bits[13], bnot_extended__2: bits[13], id=1563, pos=[(1,1120,45), (2,91,63), (0,3009,44), (0,3639,33), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 2391
    op: OP_CONCAT
    id: 1559
    ir: "ab_bexp_extended__1: bits[13] = concat(cancel__1: bits[1], ab_bexp__2: bits[12], id=1559, pos=[(2,91,63), (0,3009,44), (0,3639,33), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 2391
    node_delay_ps: 123
    op: OP_SEL
    id: 1556
    ir: "ab_bexp__2: bits[12] = sel(is_result_nan__1, cases=[result_exp__5, literal.1553], id=1556, pos=[(0,3588,4), (0,3636,25), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 2268
    node_delay_ps: 23
    op: OP_AND
    id: 1773
    ir: "result_exp__5: bits[12] = and(bit_slice.1548: bits[12], sign_ext.1772: bits[12], id=1773, pos=[(0,3581,21), (0,3636,25), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 2245
    node_delay_ps: 17
    op: OP_SIGN_EXT
    id: 1772
    ir: "sign_ext.1772: bits[12] = sign_ext(not.1771: bits[1], new_bit_count=12, id=1772, pos=[(0,3581,21), (0,3636,25), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 2228
    op: OP_NOT
    id: 1771
    ir: "not.1771: bits[1] = not(is_subnormal: bits[1], id=1771, pos=[(0,3581,21), (0,3636,25), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 2228
    node_delay_ps: 163
    op: OP_SLE
    id: 1547
    ir: "is_subnormal: bits[1] = sle(result_exp__4: bits[13], literal.1529: bits[13], id=1547, pos=[(0,3580,34), (0,3636,25), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 2065
    node_delay_ps: 124
    op: OP_SEL
    id: 1542
    ir: "result_exp__4: bits[13] = sel(has_inf_arg, cases=[result_exp__3, literal.1538], id=1542, pos=[(0,3482,21), (0,3574,29), (0,3636,25), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 1941
    node_delay_ps: 262
    op: OP_ADD
    id: 1537
    ir: "result_exp__3: bits[13] = add(exp__1: bits[13], concat.1535: bits[13], id=1537, pos=[(0,3468,14), (0,3574,29), (0,3636,25), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 1679
    op: OP_CONCAT
    id: 1535
    ir: "concat.1535: bits[13] = concat(literal.1530: bits[12], in_upper_binade: bits[1], id=1535, pos=[(0,3574,29), (0,3636,25), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 1679
    op: OP_BIT_SLICE
    id: 1531
    ir: "in_upper_binade: bits[1] = bit_slice(full_product: bits[106], start=105, width=1, id=1531, pos=[(1,357,61), (0,3463,34), (0,3574,29), (0,3636,25), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 1679
    node_delay_ps: 23
    op: OP_AND
    id: 1767
    ir: "full_product: bits[106] = and(umul.1517: bits[106], sign_ext.1766: bits[106], id=1767, pos=[(0,3439,8), (0,3574,29), (0,3636,25), (3,172,56)])"
  }
  nodes {
    total_delay_ps: 1656
    node_delay_ps: 1656
    op: OP_UMUL
    id: 1517
    ir: "umul.1517: bits[106] = umul(a_significand__1: bits[53], b_significand__1: bits[53], id=1517, pos=[(1,224,5), (0,3439,61), (0,3574,29), (0,3636,25), (3,172,56)])"
  }
  nodes {
    op: OP_CONCAT
    id: 1514
    ir: "b_significand__1: bits[53] = concat(bnot__1: bits[1], b_fraction__1: bits[52], id=1514, pos=[(0,3435,24), (0,3574,29), (0,3636,25), (3,172,56)])"
  }
  nodes {
    op: OP_TUPLE_INDEX
    id: 1508
    ir: "b_fraction__1: bits[52] = tuple_index(b: (bits[1], bits[11], bits[52]), index=2, id=1508, pos=[(0,3435,33), (0,3574,29), (0,3636,25), (3,172,56)])"
  }
  nodes {
    op: OP_PARAM
    id: 518
    ir: "b: (bits[1], bits[11], bits[52]) = param(name=b, id=518)"
  }
}
all_nodes {
  op: OP_PARAM
  id: 517
  ir: "a: (bits[1], bits[11], bits[52]) = param(name=a, id=517)"
}
all_nodes {
  op: OP_PARAM
  id: 518
  ir: "b: (bits[1], bits[11], bits[52]) = param(name=b, id=518)"
}
all_nodes {
  op: OP_TUPLE_INDEX
  id: 1503
  ir: "a_bexp__1: bits[11] = tuple_index(a: (bits[1], bits[11], bits[52]), index=1, id=1503, pos=[(0,3448,16), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1505
  ir: "literal.1505: bits[11] = literal(value=0, id=1505, pos=[(0,804,14), (0,3431,40), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_TUPLE_INDEX
  id: 1504
  ir: "b_bexp__1: bits[11] = tuple_index(b: (bits[1], bits[11], bits[52]), index=1, id=1504, pos=[(0,3448,45), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1502
  ir: "cancel__1: bits[1] = literal(value=0, id=1502, pos=[(0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1506
  ir: "bnot__1: bits[1] = literal(value=1, id=1506, pos=[(0,3434,24), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_TUPLE_INDEX
  id: 1507
  ir: "a_fraction__1: bits[52] = tuple_index(a: (bits[1], bits[11], bits[52]), index=2, id=1507, pos=[(0,3434,33), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_TUPLE_INDEX
  id: 1508
  ir: "b_fraction__1: bits[52] = tuple_index(b: (bits[1], bits[11], bits[52]), index=2, id=1508, pos=[(0,3435,33), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 105
  op: OP_EQ
  id: 1511
  ir: "eq.1511: bits[1] = eq(a_bexp__1: bits[11], literal.1505: bits[11], id=1511, pos=[(0,804,5), (0,3431,40), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 105
  op: OP_EQ
  id: 1512
  ir: "eq.1512: bits[1] = eq(b_bexp__1: bits[11], literal.1505: bits[11], id=1512, pos=[(0,804,5), (0,3431,67), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1509
  ir: "concat.1509: bits[12] = concat(cancel__1: bits[1], a_bexp__1: bits[11], id=1509, pos=[(0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1510
  ir: "concat.1510: bits[12] = concat(cancel__1: bits[1], b_bexp__1: bits[11], id=1510, pos=[(0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1513
  ir: "a_significand__1: bits[53] = concat(bnot__1: bits[1], a_fraction__1: bits[52], id=1513, pos=[(0,3434,24), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1514
  ir: "b_significand__1: bits[53] = concat(bnot__1: bits[1], b_fraction__1: bits[52], id=1514, pos=[(0,3435,24), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 1810
  ir: "nor.1810: bits[1] = nor(eq.1511: bits[1], eq.1512: bits[1], id=1810, pos=[(0,3439,8), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 254
  op: OP_ADD
  id: 1515
  ir: "add.1515: bits[12] = add(concat.1509: bits[12], concat.1510: bits[12], id=1515, pos=[(0,3448,16), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 1656
  op: OP_UMUL
  id: 1517
  ir: "umul.1517: bits[106] = umul(a_significand__1: bits[53], b_significand__1: bits[53], id=1517, pos=[(1,224,5), (0,3439,61), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1766
  ir: "sign_ext.1766: bits[106] = sign_ext(nor.1810: bits[1], new_bit_count=106, id=1766, pos=[(0,3439,8), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1519
  ir: "max_exp: bits[11] = literal(value=2047, id=1519, pos=[(0,96,29), (0,3488,28), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1520
  ir: "literal.1520: bits[52] = literal(value=0, id=1520, pos=[(0,96,57), (0,3488,28), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1521
  ir: "concat.1521: bits[13] = concat(cancel__1: bits[1], add.1515: bits[12], id=1521, pos=[(0,3448,16), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1522
  ir: "literal.1522: bits[13] = literal(value=7169, id=1522, pos=[(0,3448,16), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1767
  ir: "full_product: bits[106] = and(umul.1517: bits[106], sign_ext.1766: bits[106], id=1767, pos=[(0,3439,8), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 105
  op: OP_EQ
  id: 1524
  ir: "eq.1524: bits[1] = eq(a_bexp__1: bits[11], max_exp: bits[11], id=1524, pos=[(0,96,6), (0,3488,28), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 154
  op: OP_EQ
  id: 1525
  ir: "eq.1525: bits[1] = eq(a_fraction__1: bits[52], literal.1520: bits[52], id=1525, pos=[(0,96,44), (0,3488,28), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 105
  op: OP_EQ
  id: 1526
  ir: "eq.1526: bits[1] = eq(b_bexp__1: bits[11], max_exp: bits[11], id=1526, pos=[(0,96,6), (0,3488,41), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 154
  op: OP_EQ
  id: 1527
  ir: "eq.1527: bits[1] = eq(b_fraction__1: bits[52], literal.1520: bits[52], id=1527, pos=[(0,96,44), (0,3488,41), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 262
  op: OP_ADD
  id: 1528
  ir: "exp: bits[13] = add(concat.1521: bits[13], literal.1522: bits[13], id=1528, pos=[(0,3448,16), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1769
  ir: "sign_ext.1769: bits[13] = sign_ext(nor.1810: bits[1], new_bit_count=13, id=1769, pos=[(0,3457,14), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1530
  ir: "literal.1530: bits[12] = literal(value=0, id=1530, pos=[(0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1531
  ir: "in_upper_binade: bits[1] = bit_slice(full_product: bits[106], start=105, width=1, id=1531, pos=[(1,357,61), (0,3463,34), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1532
  ir: "and.1532: bits[1] = and(eq.1524: bits[1], eq.1525: bits[1], id=1532, pos=[(0,96,6), (0,3488,28), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1533
  ir: "and.1533: bits[1] = and(eq.1526: bits[1], eq.1527: bits[1], id=1533, pos=[(0,96,6), (0,3488,41), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1770
  ir: "exp__1: bits[13] = and(exp: bits[13], sign_ext.1769: bits[13], id=1770, pos=[(0,3457,14), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1535
  ir: "concat.1535: bits[13] = concat(literal.1530: bits[12], in_upper_binade: bits[1], id=1535, pos=[(0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 19
  op: OP_OR
  id: 1536
  ir: "has_inf_arg: bits[1] = or(and.1532: bits[1], and.1533: bits[1], id=1536, pos=[(0,3488,28), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 262
  op: OP_ADD
  id: 1537
  ir: "result_exp__3: bits[13] = add(exp__1: bits[13], concat.1535: bits[13], id=1537, pos=[(0,3468,14), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1538
  ir: "literal.1538: bits[13] = literal(value=4095, id=1538, pos=[(0,3482,62), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 124
  op: OP_SEL
  id: 1542
  ir: "result_exp__4: bits[13] = sel(has_inf_arg, cases=[result_exp__3, literal.1538], id=1542, pos=[(0,3482,21), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1529
  ir: "literal.1529: bits[13] = literal(value=0, id=1529, pos=[(0,3457,29), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 163
  op: OP_SLE
  id: 1547
  ir: "is_subnormal: bits[1] = sle(result_exp__4: bits[13], literal.1529: bits[13], id=1547, pos=[(0,3580,34), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_NOT
  id: 1540
  ir: "not.1540: bits[1] = not(eq.1524: bits[1], id=1540, pos=[(0,71,6), (0,3487,28), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_NOT
  id: 1541
  ir: "not.1541: bits[1] = not(eq.1526: bits[1], id=1541, pos=[(0,71,6), (0,3487,41), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 19
  op: OP_OR
  id: 1516
  ir: "has_0_arg: bits[1] = or(eq.1511: bits[1], eq.1512: bits[1], id=1516, pos=[(0,3431,40), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_NOT
  id: 1771
  ir: "not.1771: bits[1] = not(is_subnormal: bits[1], id=1771, pos=[(0,3581,21), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 1544
  ir: "nor.1544: bits[1] = nor(not.1540: bits[1], eq.1525: bits[1], id=1544, pos=[(0,71,6), (0,3487,28), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 1545
  ir: "nor.1545: bits[1] = nor(not.1541: bits[1], eq.1527: bits[1], id=1545, pos=[(0,71,6), (0,3487,41), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1546
  ir: "and.1546: bits[1] = and(has_0_arg: bits[1], has_inf_arg: bits[1], id=1546, pos=[(0,3489,40), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1548
  ir: "bit_slice.1548: bits[12] = bit_slice(result_exp__4: bits[13], start=0, width=12, id=1548, pos=[(0,3583,45), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1772
  ir: "sign_ext.1772: bits[12] = sign_ext(not.1771: bits[1], new_bit_count=12, id=1772, pos=[(0,3581,21), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_PARAM
  id: 519
  ir: "c: (bits[1], bits[11], bits[52]) = param(name=c, id=519)"
}
all_nodes {
  node_delay_ps: 27
  op: OP_OR
  id: 1551
  ir: "is_result_nan__1: bits[1] = or(nor.1544: bits[1], nor.1545: bits[1], and.1546: bits[1], id=1551, pos=[(0,3489,24), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1773
  ir: "result_exp__5: bits[12] = and(bit_slice.1548: bits[12], sign_ext.1772: bits[12], id=1773, pos=[(0,3581,21), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1553
  ir: "literal.1553: bits[12] = literal(value=4095, id=1553, pos=[(0,3588,4), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_TUPLE_INDEX
  id: 1539
  ir: "c_bexp__2: bits[11] = tuple_index(c: (bits[1], bits[11], bits[52]), index=1, id=1539, pos=[(0,3639,44), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 123
  op: OP_SEL
  id: 1556
  ir: "ab_bexp__2: bits[12] = sel(is_result_nan__1, cases=[result_exp__5, literal.1553], id=1556, pos=[(0,3588,4), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1750
  ir: "literal.1750: bits[2] = literal(value=1, id=1750, pos=[(2,91,63), (0,3009,44), (0,3639,33), (3,172,56)])"
}
all_nodes {
  op: OP_NOT
  id: 1554
  ir: "bnot__2: bits[11] = not(c_bexp__2: bits[11], id=1554, pos=[(2,90,15), (0,3009,44), (0,3639,33), (3,172,56)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1559
  ir: "ab_bexp_extended__1: bits[13] = concat(cancel__1: bits[1], ab_bexp__2: bits[12], id=1559, pos=[(2,91,63), (0,3009,44), (0,3639,33), (3,172,56)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1751
  ir: "bnot_extended__2: bits[13] = concat(literal.1750: bits[2], bnot__2: bits[11], id=1751, pos=[(2,91,63), (0,3009,44), (0,3639,33), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 262
  op: OP_ADD
  id: 1563
  ir: "full_result: bits[13] = add(ab_bexp_extended__1: bits[13], bnot_extended__2: bits[13], id=1563, pos=[(1,1120,45), (2,91,63), (0,3009,44), (0,3639,33), (3,172,56)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1565
  ir: "overflow_detected: bits[1] = bit_slice(full_result: bits[13], start=12, width=1, id=1565, pos=[(1,1122,49), (2,91,63), (0,3009,44), (0,3639,33), (3,172,56)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1550
  ir: "bit_slice.1550: bits[105] = bit_slice(full_product: bits[106], start=0, width=105, id=1550, pos=[(0,3464,74), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_NOT
  id: 1569
  ir: "nc: bits[1] = not(overflow_detected: bits[1], id=1569, pos=[(2,92,19), (0,3009,44), (0,3639,33), (3,172,56)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1555
  ir: "concat.1555: bits[106] = concat(bit_slice.1550: bits[105], cancel__1: bits[1], id=1555, pos=[(0,3464,74), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_NOT
  id: 1774
  ir: "not.1774: bits[1] = not(has_inf_arg: bits[1], id=1774, pos=[(0,3483,26), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1575
  ir: "narrowed_result: bits[12] = bit_slice(full_result: bits[13], start=0, width=12, id=1575, pos=[(2,91,63), (0,3009,44), (0,3639,33), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1576
  ir: "ab_bexpor_mask__2: bits[12] = sign_ext(nc: bits[1], new_bit_count=12, id=1576, pos=[(2,94,32), (0,3009,44), (0,3639,33), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 166
  op: OP_SEL
  id: 1558
  ir: "result_fraction__5: bits[106] = sel(in_upper_binade, cases=[concat.1555, full_product], id=1558, pos=[(0,3464,30), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1775
  ir: "sign_ext.1775: bits[106] = sign_ext(not.1774: bits[1], new_bit_count=106, id=1775, pos=[(0,3483,26), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 172
  op: OP_NEG
  id: 1562
  ir: "neg.1562: bits[12] = neg(bit_slice.1548: bits[12], id=1562, pos=[(0,3583,33), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1777
  ir: "sign_ext.1777: bits[12] = sign_ext(is_subnormal: bits[1], new_bit_count=12, id=1777)"
}
all_nodes {
  node_delay_ps: 49
  op: OP_XOR
  id: 1580
  ir: "result: bits[12] = xor(narrowed_result: bits[12], ab_bexpor_mask__2: bits[12], id=1580, pos=[(2,95,18), (0,3009,44), (0,3639,33), (3,172,56)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1581
  ir: "concat.1581: bits[12] = concat(literal.1505: bits[11], overflow_detected: bits[1], id=1581, pos=[(0,3010,68), (0,3639,33), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1776
  ir: "result_fraction__6: bits[106] = and(result_fraction__5: bits[106], sign_ext.1775: bits[106], id=1776, pos=[(0,3483,26), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1778
  ir: "and.1778: bits[12] = and(neg.1562: bits[12], sign_ext.1777: bits[12], id=1778)"
}
all_nodes {
  node_delay_ps: 254
  op: OP_ADD
  id: 1584
  ir: "exp_difference: bits[12] = add(result: bits[12], concat.1581: bits[12], id=1584, pos=[(2,54,7), (0,3010,68), (0,3639,33), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1782
  ir: "sign_ext.1782: bits[12] = sign_ext(overflow_detected: bits[1], new_bit_count=12, id=1782, pos=[(0,3657,19), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 352
  op: OP_SHRL
  id: 1764
  ir: "result_fraction__7: bits[106] = shrl(result_fraction__6: bits[106], and.1778: bits[12], id=1764)"
}
all_nodes {
  op: OP_LITERAL
  id: 1568
  ir: "literal.1568: bits[106] = literal(value=0x300_0000_0000_0000_0000_0000_0000, id=1568, pos=[(0,3588,4), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1588
  ir: "literal.1588: bits[160] = literal(value=0xffff_ffff_ffff_ffff_ffff_ffff_ffff_ffff_ffff_ffff, id=1588, pos=[(1,1412,19), (1,1502,17), (1,1529,22), (0,3660,38), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1781
  ir: "rshift_ab: bits[12] = and(exp_difference: bits[12], ab_bexpor_mask__2: bits[12], id=1781, pos=[(0,3656,20), (3,172,56)])"
}
all_nodes {
  op: OP_TUPLE_INDEX
  id: 1566
  ir: "c_fraction__2: bits[52] = tuple_index(c: (bits[1], bits[11], bits[52]), index=2, id=1566, pos=[(0,3645,18), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 105
  op: OP_NE
  id: 1807
  ir: "ne.1807: bits[1] = ne(c_bexp__2: bits[11], literal.1505: bits[11], id=1807, pos=[(0,3646,17), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1783
  ir: "rshift_c: bits[12] = and(exp_difference: bits[12], sign_ext.1782: bits[12], id=1783, pos=[(0,3657,19), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 166
  op: OP_SEL
  id: 1573
  ir: "ab_fraction__2: bits[106] = sel(is_result_nan__1, cases=[result_fraction__7, literal.1568], id=1573, pos=[(0,3588,4), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 392
  op: OP_SHLL
  id: 1594
  ir: "shll.1594: bits[160] = shll(literal.1588: bits[160], rshift_ab: bits[12], id=1594, pos=[(1,1412,19), (1,1502,17), (1,1529,22), (0,3660,38), (3,172,56)])"
}
all_nodes {
  op: OP_NOT
  id: 1825
  ir: "not.1825: bits[52] = not(c_fraction__2: bits[52], id=1825, pos=[(1,1412,4), (1,1502,17), (1,1529,22), (0,3661,37), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1785
  ir: "sign_ext.1785: bits[53] = sign_ext(ne.1807: bits[1], new_bit_count=53, id=1785, pos=[(0,3646,17), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 392
  op: OP_SHLL
  id: 1596
  ir: "shll.1596: bits[160] = shll(literal.1588: bits[160], rshift_c: bits[12], id=1596, pos=[(1,1412,19), (1,1502,17), (1,1529,22), (0,3661,37), (3,172,56)])"
}
all_nodes {
  op: OP_NOT
  id: 1586
  ir: "not.1586: bits[106] = not(ab_fraction__2: bits[106], id=1586, pos=[(1,1412,4), (1,1502,17), (1,1529,22), (0,3660,38), (3,172,56)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1598
  ir: "bit_slice.1598: bits[106] = bit_slice(shll.1594: bits[160], start=54, width=106, id=1598, pos=[(1,1412,19), (1,1502,17), (1,1529,22), (0,3660,38), (3,172,56)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1571
  ir: "concat.1571: bits[53] = concat(bnot__1: bits[1], c_fraction__2: bits[52], id=1571, pos=[(0,3646,17), (3,172,56)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1828
  ir: "concat.1828: bits[53] = concat(cancel__1: bits[1], not.1825: bits[52], id=1828, pos=[(1,1412,4), (1,1502,17), (1,1529,22), (0,3661,37), (3,172,56)])"
}
all_nodes {
  op: OP_NOT
  id: 1813
  ir: "not.1813: bits[53] = not(sign_ext.1785: bits[53], id=1813, pos=[(1,1412,4), (1,1502,17), (1,1529,22), (0,3661,37), (3,172,56)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1600
  ir: "bit_slice.1600: bits[53] = bit_slice(shll.1596: bits[160], start=107, width=53, id=1600, pos=[(1,1412,19), (1,1502,17), (1,1529,22), (0,3661,37), (3,172,56)])"
}
all_nodes {
  op: OP_TUPLE_INDEX
  id: 1603
  ir: "a_sign__1: bits[1] = tuple_index(a: (bits[1], bits[11], bits[52]), index=0, id=1603, pos=[(0,3471,23), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_TUPLE_INDEX
  id: 1604
  ir: "b_sign__1: bits[1] = tuple_index(b: (bits[1], bits[11], bits[52]), index=0, id=1604, pos=[(0,3471,33), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1574
  ir: "literal.1574: bits[54] = literal(value=0, id=1574, pos=[(0,3651,11), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 1601
  ir: "nor.1601: bits[106] = nor(not.1586: bits[106], bit_slice.1598: bits[106], id=1601, pos=[(1,1412,4), (1,1502,17), (1,1529,22), (0,3660,38), (3,172,56)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1518
  ir: "literal.1518: bits[106] = literal(value=0x0, id=1518, pos=[(0,3439,23), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1786
  ir: "wide_c__3: bits[53] = and(concat.1571: bits[53], sign_ext.1785: bits[53], id=1786, pos=[(0,3646,17), (3,172,56)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1578
  ir: "literal.1578: bits[107] = literal(value=0x0, id=1578, pos=[(0,3652,17), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 38
  op: OP_NOR
  id: 1814
  ir: "nor.1814: bits[53] = nor(concat.1828: bits[53], not.1813: bits[53], bit_slice.1600: bits[53], id=1814, pos=[(1,1412,4), (1,1502,17), (1,1529,22), (0,3661,37), (3,172,56)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1572
  ir: "literal.1572: bits[53] = literal(value=0, id=1572, pos=[(0,3646,17), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 49
  op: OP_XOR
  id: 1608
  ir: "result_sign__3: bits[1] = xor(a_sign__1: bits[1], b_sign__1: bits[1], id=1608, pos=[(0,3471,23), (0,3574,29), (0,3636,25), (3,172,56)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1579
  ir: "wide_ab: bits[160] = concat(ab_fraction__2: bits[106], literal.1574: bits[54], id=1579, pos=[(0,3651,11), (3,172,56)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1605
  ir: "literal.1605: bits[159] = literal(value=0x0, id=1605, pos=[(3,172,56)])"
}
all_nodes {
  node_delay_ps: 189
  op: OP_NE
  id: 1606
  ir: "ne.1606: bits[1] = ne(nor.1601: bits[106], literal.1518: bits[106], id=1606, pos=[(1,1502,17), (1,1529,22), (0,3660,38), (3,172,56)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1582
  ir: "wide_c__2: bits[160] = concat(wide_c__3: bits[53], literal.1578: bits[107], id=1582, pos=[(0,3652,17), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 154
  op: OP_NE
  id: 1607
  ir: "ne.1607: bits[1] = ne(nor.1814: bits[53], literal.1572: bits[53], id=1607, pos=[(1,1502,17), (1,1529,22), (0,3661,37), (3,172,56)])"
}
all_nodes {
  op: OP_NOT
  id: 1613
  ir: "not.1613: bits[1] = not(result_sign__3: bits[1], id=1613, pos=[(0,3588,4), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 392
  op: OP_SHRL
  id: 1609
  ir: "shifted_ab: bits[160] = shrl(wide_ab: bits[160], rshift_ab: bits[12], id=1609, pos=[(0,3658,21), (3,172,56)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1610
  ir: "sticky_ab: bits[160] = concat(literal.1605: bits[159], ne.1606: bits[1], id=1610, pos=[(3,172,56)])"
}
all_nodes {
  node_delay_ps: 392
  op: OP_SHRL
  id: 1611
  ir: "shifted_c: bits[160] = shrl(wide_c__2: bits[160], rshift_c: bits[12], id=1611, pos=[(0,3659,20), (3,172,56)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1612
  ir: "sticky_c: bits[160] = concat(literal.1605: bits[159], ne.1607: bits[1], id=1612, pos=[(3,172,56)])"
}
all_nodes {
  op: OP_TUPLE_INDEX
  id: 1617
  ir: "c_sign__2: bits[1] = tuple_index(c: (bits[1], bits[11], bits[52]), index=0, id=1617, pos=[(0,3641,55), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 1616
  ir: "ab_sign__2: bits[1] = nor(is_result_nan__1: bits[1], not.1613: bits[1], id=1616, pos=[(0,3588,4), (0,3636,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 19
  op: OP_OR
  id: 1614
  ir: "or.1614: bits[160] = or(shifted_ab: bits[160], sticky_ab: bits[160], id=1614, pos=[(0,3664,22), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 19
  op: OP_OR
  id: 1615
  ir: "or.1615: bits[160] = or(shifted_c: bits[160], sticky_c: bits[160], id=1615, pos=[(0,3665,21), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 75
  op: OP_SEL
  id: 1739
  ir: "greater_sign: bits[1] = sel(overflow_detected, cases=[c_sign__2, ab_sign__2], id=1739, pos=[(0,3641,8), (3,172,56)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1618
  ir: "shifted_ab__1_squeezed: bits[161] = concat(cancel__1: bits[1], or.1614: bits[160], id=1618, pos=[(0,3668,50), (3,172,56)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1619
  ir: "shifted_c__1_squeezed: bits[161] = concat(cancel__1: bits[1], or.1615: bits[160], id=1619, pos=[(0,3669,48), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 49
  op: OP_XOR
  id: 1624
  ir: "xor.1624: bits[1] = xor(ab_sign__2: bits[1], greater_sign: bits[1], id=1624, pos=[(0,3668,26), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 437
  op: OP_NEG
  id: 1622
  ir: "neg.1622: bits[161] = neg(shifted_ab__1_squeezed: bits[161], id=1622, pos=[(0,3668,50), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 49
  op: OP_XOR
  id: 1627
  ir: "xor.1627: bits[1] = xor(c_sign__2: bits[1], greater_sign: bits[1], id=1627, pos=[(0,3669,24), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 437
  op: OP_NEG
  id: 1623
  ir: "neg.1623: bits[161] = neg(shifted_c__1_squeezed: bits[161], id=1623, pos=[(0,3669,48), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 175
  op: OP_SEL
  id: 1834
  ir: "shifted_ab__2_squeezed: bits[161] = sel(xor.1624, cases=[shifted_ab__1_squeezed, neg.1622], id=1834, pos=[(0,3668,21), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 175
  op: OP_SEL
  id: 1838
  ir: "shifted_c__2_squeezed: bits[161] = sel(xor.1627, cases=[shifted_c__1_squeezed, neg.1623], id=1838, pos=[(0,3669,20), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1835
  ir: "shifted_ab__2: bits[162] = sign_ext(shifted_ab__2_squeezed: bits[161], new_bit_count=162, id=1835, pos=[(0,3668,21), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1839
  ir: "shifted_c__2: bits[162] = sign_ext(shifted_c__2_squeezed: bits[161], new_bit_count=162, id=1839, pos=[(0,3669,20), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 559
  op: OP_ADD
  id: 1632
  ir: "sum_fraction: bits[162] = add(shifted_ab__2: bits[162], shifted_c__2: bits[162], id=1632, pos=[(0,3672,23), (3,172,56)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1633
  ir: "bit_slice.1633: bits[161] = bit_slice(sum_fraction: bits[162], start=0, width=161, id=1633, pos=[(0,3672,23), (3,172,56)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1634
  ir: "bit_slice.1634: bits[1] = bit_slice(sum_fraction: bits[162], start=161, width=1, id=1634, pos=[(0,3681,27), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 437
  op: OP_NEG
  id: 1635
  ir: "neg.1635: bits[161] = neg(bit_slice.1633: bits[161], id=1635, pos=[(0,3682,27), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 175
  op: OP_SEL
  id: 1636
  ir: "abs_fraction__2: bits[161] = sel(bit_slice.1634, cases=[bit_slice.1633, neg.1635], id=1636, pos=[(0,3681,24), (3,172,56)])"
}
all_nodes {
  op: OP_REVERSE
  id: 1637
  ir: "reverse.1637: bits[161] = reverse(abs_fraction__2: bits[161], id=1637, pos=[(0,3695,28), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 289
  op: OP_ONE_HOT
  id: 1638
  ir: "one_hot.1638: bits[162] = one_hot(reverse.1637: bits[161], lsb_prio=true, id=1638, pos=[(0,3695,28), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 127
  op: OP_ENCODE
  id: 1639
  ir: "encode.1639: bits[8] = encode(one_hot.1638: bits[162], id=1639, pos=[(0,3695,28), (3,172,56)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1640
  ir: "bit_slice.1640: bits[7] = bit_slice(encode.1639: bits[8], start=1, width=7, id=1640, pos=[(0,3696,17), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 41
  op: OP_OR_REDUCE
  id: 1641
  ir: "cancel__2: bits[1] = or_reduce(bit_slice.1640: bits[7], id=1641, pos=[(0,3696,17), (3,172,56)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1642
  ir: "carry_bit__2: bits[1] = bit_slice(abs_fraction__2: bits[161], start=160, width=1, id=1642, pos=[(0,3689,32), (3,172,56)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1643
  ir: "concat.1643: bits[9] = concat(cancel__1: bits[1], encode.1639: bits[8], id=1643, pos=[(0,3695,28), (3,172,56)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1644
  ir: "literal.1644: bits[9] = literal(value=511, id=1644, pos=[(0,3698,26), (3,172,56)])"
}
all_nodes {
  op: OP_NOT
  id: 1645
  ir: "not.1645: bits[1] = not(cancel__2: bits[1], id=1645, pos=[(3,172,56)])"
}
all_nodes {
  op: OP_NOT
  id: 1646
  ir: "not.1646: bits[1] = not(carry_bit__2: bits[1], id=1646, pos=[(3,172,56)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1647
  ir: "bit_slice.1647: bits[1] = bit_slice(abs_fraction__2: bits[161], start=0, width=1, id=1647, pos=[(0,3691,55), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 224
  op: OP_ADD
  id: 1648
  ir: "add.1648: bits[9] = add(concat.1643: bits[9], literal.1644: bits[9], id=1648, pos=[(0,3698,26), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 1649
  ir: "nor.1649: bits[1] = nor(carry_bit__2: bits[1], cancel__2: bits[1], id=1649, pos=[(3,172,56)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 1650
  ir: "nor.1650: bits[1] = nor(carry_bit__2: bits[1], not.1645: bits[1], id=1650, pos=[(3,172,56)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 1651
  ir: "nor.1651: bits[1] = nor(not.1646: bits[1], cancel__2: bits[1], id=1651, pos=[(3,172,56)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1652
  ir: "carry_fraction__1: bits[160] = bit_slice(abs_fraction__2: bits[161], start=1, width=160, id=1652, pos=[(0,3690,26), (3,172,56)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1653
  ir: "concat.1653: bits[160] = concat(literal.1605: bits[159], bit_slice.1647: bits[1], id=1653, pos=[(3,172,56)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1654
  ir: "bit_slice.1654: bits[160] = bit_slice(abs_fraction__2: bits[161], start=0, width=160, id=1654, pos=[(0,3698,9), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1655
  ir: "sign_ext.1655: bits[161] = sign_ext(add.1648: bits[9], new_bit_count=161, id=1655, pos=[(0,3698,26), (3,172,56)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1656
  ir: "concat.1656: bits[3] = concat(nor.1649: bits[1], nor.1650: bits[1], nor.1651: bits[1], id=1656, pos=[(3,172,56)])"
}
all_nodes {
  node_delay_ps: 19
  op: OP_OR
  id: 1657
  ir: "carry_fraction__4: bits[160] = or(carry_fraction__1: bits[160], concat.1653: bits[160], id=1657, pos=[(0,3691,25), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 392
  op: OP_SHLL
  id: 1658
  ir: "cancel_fraction__2: bits[160] = shll(bit_slice.1654: bits[160], sign_ext.1655: bits[161], id=1658, pos=[(3,172,56)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1659
  ir: "literal.1659: bits[160] = literal(value=0x0, id=1659, pos=[(0,3703,39), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 218
  op: OP_PRIORITY_SEL
  id: 1660
  ir: "shifted_fraction: bits[160] = priority_sel(concat.1656, cases=[carry_fraction__4, cancel_fraction__2, bit_slice.1654], default=literal.1659, id=1660, pos=[(3,172,56)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1661
  ir: "normal_chunk: bits[107] = bit_slice(shifted_fraction: bits[160], start=0, width=107, id=1661, pos=[(0,3710,39), (3,172,56)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1662
  ir: "half_of_extra: bits[107] = literal(value=0x400_0000_0000_0000_0000_0000_0000, id=1662, pos=[(0,3713,24), (3,172,56)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1663
  ir: "half_way_chunk: bits[2] = bit_slice(shifted_fraction: bits[160], start=106, width=2, id=1663, pos=[(0,3712,24), (3,172,56)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1664
  ir: "literal.1664: bits[2] = literal(value=3, id=1664, pos=[(0,3715,63), (3,172,56)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1816
  ir: "bit_slice.1816: bits[53] = bit_slice(shifted_fraction: bits[160], start=107, width=53, id=1816, pos=[(0,3717,8), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 320
  op: OP_UGT
  id: 1667
  ir: "ugt.1667: bits[1] = ugt(normal_chunk: bits[107], half_of_extra: bits[107], id=1667, pos=[(0,3715,12), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 64
  op: OP_EQ
  id: 1668
  ir: "eq.1668: bits[1] = eq(half_way_chunk: bits[2], literal.1664: bits[2], id=1668, pos=[(0,3715,45), (3,172,56)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1817
  ir: "concat.1817: bits[54] = concat(cancel__1: bits[1], bit_slice.1816: bits[53], id=1817, pos=[(0,3717,8), (3,172,56)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1808
  ir: "literal.1808: bits[54] = literal(value=1, id=1808, pos=[(0,3717,8), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 19
  op: OP_OR
  id: 1671
  ir: "or.1671: bits[1] = or(ugt.1667: bits[1], eq.1668: bits[1], id=1671, pos=[(0,3715,12), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 417
  op: OP_ADD
  id: 1798
  ir: "add.1798: bits[54] = add(concat.1817: bits[54], literal.1808: bits[54], id=1798, pos=[(0,3717,8), (3,172,56)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1809
  ir: "literal.1809: bits[8] = literal(value=0, id=1809, pos=[(0,3728,15), (3,172,56)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1821
  ir: "concat.1821: bits[8] = concat(cancel__1: bits[1], bit_slice.1640: bits[7], id=1821, pos=[(0,3728,15), (3,172,56)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1822
  ir: "bit_slice.1822: bits[1] = bit_slice(encode.1639: bits[8], start=0, width=1, id=1822, pos=[(0,3728,15), (3,172,56)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1543
  ir: "concat.1543: bits[12] = concat(cancel__1: bits[1], c_bexp__2: bits[11], id=1543, pos=[(3,172,56)])"
}
all_nodes {
  node_delay_ps: 152
  op: OP_SEL
  id: 1674
  ir: "rounded_fraction__1: bits[54] = sel(or.1671, cases=[concat.1817, add.1798], id=1674, pos=[(0,3716,27), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 206
  op: OP_SUB
  id: 1803
  ir: "sub.1803: bits[8] = sub(literal.1809: bits[8], concat.1821: bits[8], id=1803, pos=[(0,3728,15), (3,172,56)])"
}
all_nodes {
  op: OP_NOT
  id: 1805
  ir: "not.1805: bits[1] = not(bit_slice.1822: bits[1], id=1805, pos=[(0,3728,15), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 123
  op: OP_SEL
  id: 1740
  ir: "greater_exp: bits[12] = sel(overflow_detected, cases=[concat.1543, ab_bexp__2], id=1740, pos=[(0,3641,8), (3,172,56)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1677
  ir: "rounding_carry: bits[1] = bit_slice(rounded_fraction__1: bits[54], start=53, width=1, id=1677, pos=[(0,3723,41), (3,172,56)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1681
  ir: "literal.1681: bits[162] = literal(value=0x0, id=1681, pos=[(0,3673,43), (3,172,56)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1806
  ir: "concat.1806: bits[9] = concat(sub.1803: bits[8], not.1805: bits[1], id=1806, pos=[(0,3728,15), (3,172,56)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1679
  ir: "concat.1679: bits[13] = concat(cancel__1: bits[1], greater_exp: bits[12], id=1679, pos=[(3,172,56)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1680
  ir: "concat.1680: bits[13] = concat(literal.1530: bits[12], rounding_carry: bits[1], id=1680, pos=[(3,172,56)])"
}
all_nodes {
  node_delay_ps: 218
  op: OP_EQ
  id: 1684
  ir: "fraction_is_zero: bits[1] = eq(sum_fraction: bits[162], literal.1681: bits[162], id=1684, pos=[(0,3673,27), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1682
  ir: "bexp_associative_element__1: bits[13] = sign_ext(concat.1806: bits[9], new_bit_count=13, id=1682, pos=[(0,3728,15), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 262
  op: OP_ADD
  id: 1683
  ir: "bexp_associative_element__4: bits[13] = add(concat.1679: bits[13], concat.1680: bits[13], id=1683, pos=[(0,3728,15), (3,172,56)])"
}
all_nodes {
  op: OP_NOT
  id: 1787
  ir: "not.1787: bits[1] = not(fraction_is_zero: bits[1], id=1787, pos=[(0,3730,15), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 262
  op: OP_ADD
  id: 1685
  ir: "bexp__1: bits[13] = add(bexp_associative_element__1: bits[13], bexp_associative_element__4: bits[13], id=1685, pos=[(0,3728,15), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1788
  ir: "sign_ext.1788: bits[13] = sign_ext(not.1787: bits[1], new_bit_count=13, id=1788, pos=[(0,3730,15), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1789
  ir: "bexp__2: bits[13] = and(bexp__1: bits[13], sign_ext.1788: bits[13], id=1789, pos=[(0,3730,15), (3,172,56)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1695
  ir: "bit_slice.1695: bits[1] = bit_slice(bexp__2: bits[13], start=12, width=1, id=1695, pos=[(0,3731,18), (3,172,56)])"
}
all_nodes {
  op: OP_NOT
  id: 1790
  ir: "not.1790: bits[1] = not(bit_slice.1695: bits[1], id=1790, pos=[(0,3731,15), (3,172,56)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1696
  ir: "bit_slice.1696: bits[12] = bit_slice(bexp__2: bits[13], start=0, width=12, id=1696, pos=[(3,172,56)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1791
  ir: "sign_ext.1791: bits[12] = sign_ext(not.1790: bits[1], new_bit_count=12, id=1791, pos=[(0,3731,15), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 107
  op: OP_EQ
  id: 1686
  ir: "eq.1686: bits[1] = eq(ab_bexp__2: bits[12], literal.1553: bits[12], id=1686, pos=[(0,3550,5), (0,3749,37), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 189
  op: OP_EQ
  id: 1687
  ir: "eq.1687: bits[1] = eq(ab_fraction__2: bits[106], literal.1518: bits[106], id=1687, pos=[(0,3550,46), (0,3749,37), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 105
  op: OP_EQ
  id: 1688
  ir: "eq.1688: bits[1] = eq(c_bexp__2: bits[11], max_exp: bits[11], id=1688, pos=[(0,96,6), (0,3749,72), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 154
  op: OP_EQ
  id: 1689
  ir: "eq.1689: bits[1] = eq(c_fraction__2: bits[52], literal.1520: bits[52], id=1689, pos=[(0,96,44), (0,3749,72), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1792
  ir: "bexp__6: bits[12] = and(bit_slice.1696: bits[12], sign_ext.1791: bits[12], id=1792, pos=[(0,3731,15), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 25
  op: OP_NAND
  id: 1691
  ir: "nand.1691: bits[1] = nand(eq.1686: bits[1], eq.1687: bits[1], id=1691, pos=[(0,3749,37), (3,172,56)])"
}
all_nodes {
  op: OP_NOT
  id: 1692
  ir: "not.1692: bits[1] = not(eq.1688: bits[1], id=1692, pos=[(0,3749,72), (3,172,56)])"
}
all_nodes {
  op: OP_NOT
  id: 1693
  ir: "not.1693: bits[1] = not(eq.1689: bits[1], id=1693, pos=[(0,3749,72), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1694
  ir: "and.1694: bits[1] = and(eq.1686: bits[1], eq.1687: bits[1], id=1694, pos=[(0,3550,5), (0,3749,37), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1708
  ir: "and.1708: bits[1] = and(eq.1688: bits[1], eq.1689: bits[1], id=1708, pos=[(0,96,6), (0,3749,72), (3,172,56)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1709
  ir: "bit_slice.1709: bits[11] = bit_slice(bexp__6: bits[12], start=0, width=11, id=1709, pos=[(0,3742,24), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 1697
  ir: "nor.1697: bits[1] = nor(nand.1691: bits[1], ab_sign__2: bits[1], id=1697, pos=[(0,3749,37), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 38
  op: OP_NOR
  id: 1698
  ir: "nor.1698: bits[1] = nor(not.1692: bits[1], not.1693: bits[1], c_sign__2: bits[1], id=1698, pos=[(0,3749,72), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1699
  ir: "and.1699: bits[1] = and(and.1694: bits[1], ab_sign__2: bits[1], id=1699, pos=[(0,3754,37), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 35
  op: OP_AND
  id: 1700
  ir: "and.1700: bits[1] = and(eq.1688: bits[1], eq.1689: bits[1], c_sign__2: bits[1], id=1700, pos=[(0,3754,72), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 19
  op: OP_OR
  id: 1715
  ir: "is_operand_inf: bits[1] = or(and.1694: bits[1], and.1708: bits[1], id=1715, pos=[(0,3745,39), (3,172,56)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1716
  ir: "bit_slice.1716: bits[1] = bit_slice(bexp__6: bits[12], start=11, width=1, id=1716, pos=[(0,3742,24), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 76
  op: OP_AND_REDUCE
  id: 1717
  ir: "and_reduce.1717: bits[1] = and_reduce(bit_slice.1709: bits[11], id=1717, pos=[(0,3742,24), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 107
  op: OP_EQ
  id: 1718
  ir: "eq.1718: bits[1] = eq(bexp__6: bits[12], literal.1530: bits[12], id=1718, pos=[(0,3736,29), (3,172,56)])"
}
all_nodes {
  op: OP_NOT
  id: 1752
  ir: "not.1752: bits[1] = not(eq.1686: bits[1], id=1752, pos=[(0,3556,5), (0,3755,38), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 19
  op: OP_OR
  id: 1705
  ir: "has_pos_inf: bits[1] = or(nor.1697: bits[1], nor.1698: bits[1], id=1705, pos=[(0,3749,37), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 19
  op: OP_OR
  id: 1706
  ir: "has_neg_inf: bits[1] = or(and.1699: bits[1], and.1700: bits[1], id=1706, pos=[(0,3754,37), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 33
  op: OP_OR
  id: 1722
  ir: "or.1722: bits[1] = or(is_operand_inf: bits[1], bit_slice.1716: bits[1], and_reduce.1717: bits[1], eq.1718: bits[1], id=1722, pos=[(0,3747,26), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 1753
  ir: "nor.1753: bits[1] = nor(not.1752: bits[1], eq.1687: bits[1], id=1753, pos=[(0,3556,5), (0,3755,38), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 1755
  ir: "nor.1755: bits[1] = nor(not.1692: bits[1], eq.1689: bits[1], id=1755, pos=[(0,71,6), (0,3755,51), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1712
  ir: "and.1712: bits[1] = and(has_pos_inf: bits[1], has_neg_inf: bits[1], id=1712, pos=[(0,3755,58), (3,172,56)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1713
  ir: "concat.1713: bits[2] = concat(bit_slice.1634: bits[1], fraction_is_zero: bits[1], id=1713, pos=[(3,172,56)])"
}
all_nodes {
  op: OP_NOT
  id: 1714
  ir: "not.1714: bits[1] = not(greater_sign: bits[1], id=1714, pos=[(0,3676,25), (3,172,56)])"
}
all_nodes {
  op: OP_NOT
  id: 1793
  ir: "not.1793: bits[1] = not(or.1722: bits[1], id=1793, pos=[(0,3747,26), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_OR
  id: 1719
  ir: "is_result_nan: bits[1] = or(nor.1753: bits[1], nor.1755: bits[1], and.1712: bits[1], id=1719, pos=[(0,3755,38), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 90
  op: OP_PRIORITY_SEL
  id: 1720
  ir: "result_sign: bits[1] = priority_sel(concat.1713, cases=[cancel__1, not.1714], default=greater_sign, id=1720, pos=[(3,172,56)])"
}
all_nodes {
  op: OP_NOT
  id: 1721
  ir: "not.1721: bits[1] = not(has_pos_inf: bits[1], id=1721, pos=[(0,3750,42), (3,172,56)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1723
  ir: "result_fraction: bits[52] = bit_slice(rounded_fraction__1: bits[54], start=0, width=52, id=1723, pos=[(3,172,56)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1794
  ir: "sign_ext.1794: bits[52] = sign_ext(not.1793: bits[1], new_bit_count=52, id=1794, pos=[(0,3747,26), (3,172,56)])"
}
all_nodes {
  op: OP_NOT
  id: 1724
  ir: "not.1724: bits[1] = not(is_result_nan: bits[1], id=1724, pos=[(0,3759,22), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 75
  op: OP_SEL
  id: 1725
  ir: "result_sign__1: bits[1] = sel(is_operand_inf, cases=[result_sign, not.1721], id=1725, pos=[(0,3750,22), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 33
  op: OP_OR
  id: 1726
  ir: "or.1726: bits[1] = or(is_result_nan: bits[1], is_operand_inf: bits[1], bit_slice.1716: bits[1], and_reduce.1717: bits[1], id=1726, pos=[(0,3756,21), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1795
  ir: "result_fraction__3: bits[52] = and(result_fraction: bits[52], sign_ext.1794: bits[52], id=1795, pos=[(0,3747,26), (3,172,56)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1728
  ir: "literal.1728: bits[52] = literal(value=281474976710656, id=1728, pos=[(0,3758,27), (3,172,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: 1741
  ir: "nand.1741: bits[1] = nand(carry_bit__2: bits[1], cancel__2: bits[1], id=1741, pos=[(3,172,56)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1730
  ir: "result_sign__2: bits[1] = and(not.1724: bits[1], result_sign__1: bits[1], id=1730, pos=[(0,3759,22), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 121
  op: OP_SEL
  id: 1731
  ir: "result_exp__2: bits[11] = sel(or.1726, cases=[bit_slice.1709, max_exp], id=1731, pos=[(0,3756,21), (3,172,56)])"
}
all_nodes {
  node_delay_ps: 151
  op: OP_SEL
  id: 1732
  ir: "result_fraction__4: bits[52] = sel(is_result_nan, cases=[result_fraction__3, literal.1728], id=1732, pos=[(0,3758,8), (3,172,56)])"
}
all_nodes {
  op: OP_ASSERT
  id: 1736
  ir: "assert_1498__2: token = assert(after_all.520: token, nand.1741: bits[1], message=\"Assertion failure via fail! @ /inputs/subtree/xls/dslx/stdlib/apfloat.x:3704:19-3704:60\", label=\"carry_and_cancel\", id=1736, pos=[(3,172,56)])"
}
all_nodes {
  op: OP_TUPLE
  id: 1734
  ir: "tuple.1734: (bits[1], bits[11], bits[52]) = tuple(result_sign__2: bits[1], result_exp__2: bits[11], result_fraction__4: bits[52], id=1734, pos=[(0,3761,33), (3,172,56)])"
}