combinational_critical_path {
  total_delay_ps: 5469
  nodes {
    total_delay_ps: 5469
    op: OP_TUPLE
    id: 1755
    ir: "tuple.1755: (bits[1], bits[8], bits[7]) = tuple(result_sign__2: bits[1], result_exp__2: bits[8], result_fraction__4: bits[7], id=1755, pos=[(0,3757,33), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 5469
    node_delay_ps: 112
    op: OP_SEL
    id: 1753
    ir: "result_fraction__4: bits[7] = sel(is_result_nan, cases=[result_fraction__3, literal.1749], id=1753, pos=[(0,3754,8), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 5357
    node_delay_ps: 23
    op: OP_AND
    id: 1816
    ir: "result_fraction__3: bits[7] = and(result_fraction: bits[7], sign_ext.1815: bits[7], id=1816, pos=[(0,3743,26), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 5334
    node_delay_ps: 17
    op: OP_SIGN_EXT
    id: 1815
    ir: "sign_ext.1815: bits[7] = sign_ext(not.1814: bits[1], new_bit_count=7, id=1815, pos=[(0,3743,26), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 5317
    op: OP_NOT
    id: 1814
    ir: "not.1814: bits[1] = not(or.1743: bits[1], id=1814, pos=[(0,3743,26), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 5317
    node_delay_ps: 33
    op: OP_OR
    id: 1743
    ir: "or.1743: bits[1] = or(is_operand_inf: bits[1], bit_slice.1737: bits[1], and_reduce.1738: bits[1], eq.1739: bits[1], id=1743, pos=[(0,3743,26), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 5284
    node_delay_ps: 99
    op: OP_EQ
    id: 1739
    ir: "eq.1739: bits[1] = eq(bexp__6: bits[9], literal.1552: bits[9], id=1739, pos=[(0,3732,29), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 5185
    node_delay_ps: 23
    op: OP_AND
    id: 1813
    ir: "bexp__6: bits[9] = and(bit_slice.1717: bits[9], sign_ext.1812: bits[9], id=1813, pos=[(0,3727,15), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 5162
    node_delay_ps: 17
    op: OP_SIGN_EXT
    id: 1812
    ir: "sign_ext.1812: bits[9] = sign_ext(not.1811: bits[1], new_bit_count=9, id=1812, pos=[(0,3727,15), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 5145
    op: OP_NOT
    id: 1811
    ir: "not.1811: bits[1] = not(bit_slice.1716: bits[1], id=1811, pos=[(0,3727,15), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 5145
    op: OP_BIT_SLICE
    id: 1716
    ir: "bit_slice.1716: bits[1] = bit_slice(bexp__2: bits[10], start=9, width=1, id=1716, pos=[(0,3727,18), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 5145
    node_delay_ps: 23
    op: OP_AND
    id: 1810
    ir: "bexp__2: bits[10] = and(bexp__1: bits[10], sign_ext.1809: bits[10], id=1810, pos=[(0,3726,15), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 5122
    node_delay_ps: 235
    op: OP_ADD
    id: 1706
    ir: "bexp__1: bits[10] = add(bexp_associative_element__1: bits[10], bexp_associative_element__4: bits[10], id=1706, pos=[(0,3724,15), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 4887
    node_delay_ps: 235
    op: OP_ADD
    id: 1704
    ir: "bexp_associative_element__4: bits[10] = add(concat.1700: bits[10], concat.1701: bits[10], id=1704, pos=[(0,3724,15), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 4652
    op: OP_CONCAT
    id: 1701
    ir: "concat.1701: bits[10] = concat(literal.1552: bits[9], rounding_carry: bits[1], id=1701, pos=[(3,172,60)])"
  }
  nodes {
    total_delay_ps: 4652
    op: OP_BIT_SLICE
    id: 1698
    ir: "rounding_carry: bits[1] = bit_slice(rounded_fraction__1: bits[9], start=8, width=1, id=1698, pos=[(0,3719,41), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 4652
    node_delay_ps: 117
    op: OP_SEL
    id: 1695
    ir: "rounded_fraction__1: bits[9] = sel(or.1692, cases=[concat.1693, add.1819], id=1695, pos=[(0,3712,27), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 4535
    node_delay_ps: 224
    op: OP_ADD
    id: 1819
    ir: "add.1819: bits[9] = add(concat.1693: bits[9], literal.1829: bits[9], id=1819, pos=[(0,3713,8), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 4311
    op: OP_CONCAT
    id: 1693
    ir: "concat.1693: bits[9] = concat(cancel__1: bits[1], bit_slice.1690: bits[8], id=1693, pos=[(0,3712,27), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 4311
    op: OP_BIT_SLICE
    id: 1690
    ir: "bit_slice.1690: bits[8] = bit_slice(shifted_fraction: bits[25], start=17, width=8, id=1690, pos=[(0,3712,27), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 4311
    node_delay_ps: 177
    op: OP_PRIORITY_SEL
    id: 1681
    ir: "shifted_fraction: bits[25] = priority_sel(concat.1677, cases=[carry_fraction__2, cancel_fraction__2, bit_slice.1675], default=literal.1680, id=1681, pos=[(3,172,60)])"
  }
  nodes {
    total_delay_ps: 4134
    node_delay_ps: 239
    op: OP_SHLL
    id: 1679
    ir: "cancel_fraction__2: bits[25] = shll(bit_slice.1675: bits[25], sign_ext.1676: bits[26], id=1679, pos=[(3,172,60)])"
  }
  nodes {
    total_delay_ps: 3895
    node_delay_ps: 17
    op: OP_SIGN_EXT
    id: 1676
    ir: "sign_ext.1676: bits[26] = sign_ext(add.1669: bits[6], new_bit_count=26, id=1676, pos=[(0,3694,26), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 3878
    node_delay_ps: 182
    op: OP_ADD
    id: 1669
    ir: "add.1669: bits[6] = add(concat.1663: bits[6], literal.1664: bits[6], id=1669, pos=[(0,3694,26), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 3696
    op: OP_CONCAT
    id: 1663
    ir: "concat.1663: bits[6] = concat(cancel__1: bits[1], encode.1659: bits[5], id=1663, pos=[(0,3691,28), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 3696
    node_delay_ps: 76
    op: OP_ENCODE
    id: 1659
    ir: "encode.1659: bits[5] = encode(one_hot.1658: bits[27], id=1659, pos=[(0,3691,28), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 3620
    node_delay_ps: 178
    op: OP_ONE_HOT
    id: 1658
    ir: "one_hot.1658: bits[27] = one_hot(reverse.1657: bits[26], lsb_prio=true, id=1658, pos=[(0,3691,28), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 3442
    op: OP_REVERSE
    id: 1657
    ir: "reverse.1657: bits[26] = reverse(abs_fraction__2: bits[26], id=1657, pos=[(0,3691,28), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 3442
    node_delay_ps: 138
    op: OP_SEL
    id: 1656
    ir: "abs_fraction__2: bits[26] = sel(bit_slice.1654, cases=[bit_slice.1653, neg.1655], id=1656, pos=[(0,3677,24), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 3304
    node_delay_ps: 232
    op: OP_NEG
    id: 1655
    ir: "neg.1655: bits[26] = neg(bit_slice.1653: bits[26], id=1655, pos=[(0,3678,27), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 3072
    op: OP_BIT_SLICE
    id: 1653
    ir: "bit_slice.1653: bits[26] = bit_slice(sum_fraction: bits[27], start=0, width=26, id=1653, pos=[(0,3677,24), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 3072
    node_delay_ps: 340
    op: OP_ADD
    id: 1652
    ir: "sum_fraction: bits[27] = add(shifted_ab__2: bits[27], shifted_c__2: bits[27], id=1652, pos=[(0,3668,23), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 2732
    node_delay_ps: 17
    op: OP_SIGN_EXT
    id: 1856
    ir: "shifted_ab__2: bits[27] = sign_ext(shifted_ab__2_squeezed: bits[26], new_bit_count=27, id=1856, pos=[(0,3664,21), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 2715
    node_delay_ps: 138
    op: OP_SEL
    id: 1855
    ir: "shifted_ab__2_squeezed: bits[26] = sel(xor.1644, cases=[shifted_ab__1_squeezed, neg.1642], id=1855, pos=[(0,3664,21), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 2577
    node_delay_ps: 232
    op: OP_NEG
    id: 1642
    ir: "neg.1642: bits[26] = neg(shifted_ab__1_squeezed: bits[26], id=1642, pos=[(0,3664,50), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 2345
    op: OP_CONCAT
    id: 1862
    ir: "shifted_ab__1_squeezed: bits[26] = concat(cancel__1: bits[1], bit_slice.1632: bits[24], or.1633: bits[1], id=1862, pos=[(3,172,60)])"
  }
  nodes {
    total_delay_ps: 2345
    node_delay_ps: 19
    op: OP_OR
    id: 1633
    ir: "or.1633: bits[1] = or(bit_slice.1627: bits[1], ne.1628: bits[1], id=1633, pos=[(0,3660,22), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 2326
    node_delay_ps: 115
    op: OP_NE
    id: 1628
    ir: "ne.1628: bits[1] = ne(nor.1623: bits[16], literal.1540: bits[16], id=1628, pos=[(1,1501,17), (1,1528,22), (0,3656,38), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 2211
    node_delay_ps: 27
    op: OP_NOR
    id: 1623
    ir: "nor.1623: bits[16] = nor(not.1606: bits[16], bit_slice.1617: bits[16], id=1623, pos=[(1,1411,4), (1,1501,17), (1,1528,22), (0,3656,38), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 2184
    op: OP_BIT_SLICE
    id: 1617
    ir: "bit_slice.1617: bits[16] = bit_slice(shll.1613: bits[25], start=9, width=16, id=1617, pos=[(1,1411,19), (1,1501,17), (1,1528,22), (0,3656,38), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 2184
    node_delay_ps: 239
    op: OP_SHLL
    id: 1613
    ir: "shll.1613: bits[25] = shll(literal.1607: bits[25], rshift_ab: bits[9], id=1613, pos=[(1,1411,19), (1,1501,17), (1,1528,22), (0,3656,38), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 1945
    node_delay_ps: 23
    op: OP_AND
    id: 1802
    ir: "rshift_ab: bits[9] = and(exp_difference: bits[9], ab_bexpor_mask__2: bits[9], id=1802, pos=[(0,3652,20), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 1922
    node_delay_ps: 224
    op: OP_ADD
    id: 1604
    ir: "exp_difference: bits[9] = add(result: bits[9], concat.1601: bits[9], id=1604, pos=[(2,54,7), (0,3006,68), (0,3635,33), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 1698
    node_delay_ps: 49
    op: OP_XOR
    id: 1600
    ir: "result: bits[9] = xor(narrowed_result: bits[9], ab_bexpor_mask__2: bits[9], id=1600, pos=[(2,95,18), (0,3005,44), (0,3635,33), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 1649
    node_delay_ps: 17
    op: OP_SIGN_EXT
    id: 1596
    ir: "ab_bexpor_mask__2: bits[9] = sign_ext(nc: bits[1], new_bit_count=9, id=1596, pos=[(2,94,32), (0,3005,44), (0,3635,33), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 1632
    op: OP_NOT
    id: 1591
    ir: "nc: bits[1] = not(overflow_detected: bits[1], id=1591, pos=[(2,92,19), (0,3005,44), (0,3635,33), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 1632
    op: OP_BIT_SLICE
    id: 1587
    ir: "overflow_detected: bits[1] = bit_slice(full_result: bits[10], start=9, width=1, id=1587, pos=[(1,1121,49), (2,91,63), (0,3005,44), (0,3635,33), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 1632
    node_delay_ps: 235
    op: OP_ADD
    id: 1585
    ir: "full_result: bits[10] = add(ab_bexp_extended__1: bits[10], bnot_extended__2: bits[10], id=1585, pos=[(1,1119,45), (2,91,63), (0,3005,44), (0,3635,33), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 1397
    op: OP_CONCAT
    id: 1581
    ir: "ab_bexp_extended__1: bits[10] = concat(cancel__1: bits[1], ab_bexp__2: bits[9], id=1581, pos=[(2,91,63), (0,3005,44), (0,3635,33), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 1397
    node_delay_ps: 117
    op: OP_SEL
    id: 1578
    ir: "ab_bexp__2: bits[9] = sel(is_result_nan__1, cases=[result_exp, literal.1575], id=1578, pos=[(0,3584,4), (0,3632,25), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 1280
    node_delay_ps: 23
    op: OP_AND
    id: 1794
    ir: "result_exp: bits[9] = and(bit_slice.1570: bits[9], sign_ext.1793: bits[9], id=1794, pos=[(0,3577,21), (0,3632,25), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 1257
    node_delay_ps: 17
    op: OP_SIGN_EXT
    id: 1793
    ir: "sign_ext.1793: bits[9] = sign_ext(not.1792: bits[1], new_bit_count=9, id=1793, pos=[(0,3577,21), (0,3632,25), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 1240
    op: OP_NOT
    id: 1792
    ir: "not.1792: bits[1] = not(is_subnormal: bits[1], id=1792, pos=[(0,3577,21), (0,3632,25), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 1240
    node_delay_ps: 147
    op: OP_SLE
    id: 1569
    ir: "is_subnormal: bits[1] = sle(result_exp__3: bits[10], literal.1551: bits[10], id=1569, pos=[(0,3576,34), (0,3632,25), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 1093
    node_delay_ps: 119
    op: OP_SEL
    id: 1564
    ir: "result_exp__3: bits[10] = sel(has_inf_arg, cases=[result_exp__1, literal.1560], id=1564, pos=[(0,3478,21), (0,3570,29), (0,3632,25), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 974
    node_delay_ps: 235
    op: OP_ADD
    id: 1559
    ir: "result_exp__1: bits[10] = add(exp__1: bits[10], concat.1557: bits[10], id=1559, pos=[(0,3464,14), (0,3570,29), (0,3632,25), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 739
    op: OP_CONCAT
    id: 1557
    ir: "concat.1557: bits[10] = concat(literal.1552: bits[9], in_upper_binade: bits[1], id=1557, pos=[(0,3570,29), (0,3632,25), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 739
    op: OP_BIT_SLICE
    id: 1553
    ir: "in_upper_binade: bits[1] = bit_slice(full_product: bits[16], start=15, width=1, id=1553, pos=[(1,357,61), (0,3459,34), (0,3570,29), (0,3632,25), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 739
    node_delay_ps: 23
    op: OP_AND
    id: 1788
    ir: "full_product: bits[16] = and(umul.1539: bits[16], sign_ext.1787: bits[16], id=1788, pos=[(0,3435,8), (0,3570,29), (0,3632,25), (3,172,60)])"
  }
  nodes {
    total_delay_ps: 716
    node_delay_ps: 716
    op: OP_UMUL
    id: 1539
    ir: "umul.1539: bits[16] = umul(a_significand__1: bits[8], b_significand__1: bits[8], id=1539, pos=[(1,224,5), (0,3435,61), (0,3570,29), (0,3632,25), (3,172,60)])"
  }
  nodes {
    op: OP_CONCAT
    id: 1536
    ir: "b_significand__1: bits[8] = concat(bnot__1: bits[1], b_fraction__1: bits[7], id=1536, pos=[(0,3431,24), (0,3570,29), (0,3632,25), (3,172,60)])"
  }
  nodes {
    op: OP_TUPLE_INDEX
    id: 1530
    ir: "b_fraction__1: bits[7] = tuple_index(b: (bits[1], bits[8], bits[7]), index=2, id=1530, pos=[(0,3431,33), (0,3570,29), (0,3632,25), (3,172,60)])"
  }
  nodes {
    op: OP_PARAM
    id: 518
    ir: "b: (bits[1], bits[8], bits[7]) = param(name=b, id=518)"
  }
}
all_nodes {
  op: OP_PARAM
  id: 517
  ir: "a: (bits[1], bits[8], bits[7]) = param(name=a, id=517)"
}
all_nodes {
  op: OP_PARAM
  id: 518
  ir: "b: (bits[1], bits[8], bits[7]) = param(name=b, id=518)"
}
all_nodes {
  op: OP_TUPLE_INDEX
  id: 1525
  ir: "a_bexp__1: bits[8] = tuple_index(a: (bits[1], bits[8], bits[7]), index=1, id=1525, pos=[(0,3444,16), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1527
  ir: "literal.1527: bits[8] = literal(value=0, id=1527, pos=[(0,3642,30), (3,172,60)])"
}
all_nodes {
  op: OP_TUPLE_INDEX
  id: 1526
  ir: "b_bexp__1: bits[8] = tuple_index(b: (bits[1], bits[8], bits[7]), index=1, id=1526, pos=[(0,3444,45), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1524
  ir: "cancel__1: bits[1] = literal(value=0, id=1524, pos=[(0,3692,17), (3,172,60)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1528
  ir: "bnot__1: bits[1] = literal(value=1, id=1528, pos=[(2,90,15), (0,3005,44), (0,3635,33), (3,172,60)])"
}
all_nodes {
  op: OP_TUPLE_INDEX
  id: 1529
  ir: "a_fraction__1: bits[7] = tuple_index(a: (bits[1], bits[8], bits[7]), index=2, id=1529, pos=[(0,3430,33), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  op: OP_TUPLE_INDEX
  id: 1530
  ir: "b_fraction__1: bits[7] = tuple_index(b: (bits[1], bits[8], bits[7]), index=2, id=1530, pos=[(0,3431,33), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 96
  op: OP_EQ
  id: 1533
  ir: "eq.1533: bits[1] = eq(a_bexp__1: bits[8], literal.1527: bits[8], id=1533, pos=[(0,804,5), (0,3427,40), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 96
  op: OP_EQ
  id: 1534
  ir: "eq.1534: bits[1] = eq(b_bexp__1: bits[8], literal.1527: bits[8], id=1534, pos=[(0,804,5), (0,3427,67), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1531
  ir: "concat.1531: bits[9] = concat(cancel__1: bits[1], a_bexp__1: bits[8], id=1531, pos=[(0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1532
  ir: "concat.1532: bits[9] = concat(cancel__1: bits[1], b_bexp__1: bits[8], id=1532, pos=[(0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1535
  ir: "a_significand__1: bits[8] = concat(bnot__1: bits[1], a_fraction__1: bits[7], id=1535, pos=[(0,3430,24), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1536
  ir: "b_significand__1: bits[8] = concat(bnot__1: bits[1], b_fraction__1: bits[7], id=1536, pos=[(0,3431,24), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 1831
  ir: "nor.1831: bits[1] = nor(eq.1533: bits[1], eq.1534: bits[1], id=1831, pos=[(0,3435,8), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 224
  op: OP_ADD
  id: 1537
  ir: "add.1537: bits[9] = add(concat.1531: bits[9], concat.1532: bits[9], id=1537, pos=[(0,3444,16), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 716
  op: OP_UMUL
  id: 1539
  ir: "umul.1539: bits[16] = umul(a_significand__1: bits[8], b_significand__1: bits[8], id=1539, pos=[(1,224,5), (0,3435,61), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1787
  ir: "sign_ext.1787: bits[16] = sign_ext(nor.1831: bits[1], new_bit_count=16, id=1787, pos=[(0,3435,8), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1541
  ir: "max_exp: bits[8] = literal(value=255, id=1541, pos=[(0,3736,32), (3,172,60)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1542
  ir: "literal.1542: bits[7] = literal(value=0, id=1542, pos=[(0,3732,55), (3,172,60)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1543
  ir: "concat.1543: bits[10] = concat(cancel__1: bits[1], add.1537: bits[9], id=1543, pos=[(0,3444,16), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1544
  ir: "literal.1544: bits[10] = literal(value=897, id=1544, pos=[(0,3444,16), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1788
  ir: "full_product: bits[16] = and(umul.1539: bits[16], sign_ext.1787: bits[16], id=1788, pos=[(0,3435,8), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 96
  op: OP_EQ
  id: 1546
  ir: "eq.1546: bits[1] = eq(a_bexp__1: bits[8], max_exp: bits[8], id=1546, pos=[(0,71,6), (0,3483,28), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 93
  op: OP_EQ
  id: 1547
  ir: "eq.1547: bits[1] = eq(a_fraction__1: bits[7], literal.1542: bits[7], id=1547, pos=[(0,96,44), (0,3477,31), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 96
  op: OP_EQ
  id: 1548
  ir: "eq.1548: bits[1] = eq(b_bexp__1: bits[8], max_exp: bits[8], id=1548, pos=[(0,71,6), (0,3483,41), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 93
  op: OP_EQ
  id: 1549
  ir: "eq.1549: bits[1] = eq(b_fraction__1: bits[7], literal.1542: bits[7], id=1549, pos=[(0,96,44), (0,3477,44), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 235
  op: OP_ADD
  id: 1550
  ir: "exp: bits[10] = add(concat.1543: bits[10], literal.1544: bits[10], id=1550, pos=[(0,3444,16), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1790
  ir: "sign_ext.1790: bits[10] = sign_ext(nor.1831: bits[1], new_bit_count=10, id=1790, pos=[(0,3453,14), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1552
  ir: "literal.1552: bits[9] = literal(value=0, id=1552, pos=[(0,3652,64), (3,172,60)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1553
  ir: "in_upper_binade: bits[1] = bit_slice(full_product: bits[16], start=15, width=1, id=1553, pos=[(1,357,61), (0,3459,34), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1554
  ir: "and.1554: bits[1] = and(eq.1546: bits[1], eq.1547: bits[1], id=1554, pos=[(0,96,6), (0,3477,31), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1555
  ir: "and.1555: bits[1] = and(eq.1548: bits[1], eq.1549: bits[1], id=1555, pos=[(0,96,6), (0,3477,44), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1791
  ir: "exp__1: bits[10] = and(exp: bits[10], sign_ext.1790: bits[10], id=1791, pos=[(0,3453,14), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1557
  ir: "concat.1557: bits[10] = concat(literal.1552: bits[9], in_upper_binade: bits[1], id=1557, pos=[(0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 19
  op: OP_OR
  id: 1558
  ir: "has_inf_arg: bits[1] = or(and.1554: bits[1], and.1555: bits[1], id=1558, pos=[(0,3484,28), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 235
  op: OP_ADD
  id: 1559
  ir: "result_exp__1: bits[10] = add(exp__1: bits[10], concat.1557: bits[10], id=1559, pos=[(0,3464,14), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1560
  ir: "literal.1560: bits[10] = literal(value=511, id=1560, pos=[(0,3478,62), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 119
  op: OP_SEL
  id: 1564
  ir: "result_exp__3: bits[10] = sel(has_inf_arg, cases=[result_exp__1, literal.1560], id=1564, pos=[(0,3478,21), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1551
  ir: "literal.1551: bits[10] = literal(value=0, id=1551, pos=[(0,3726,37), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 147
  op: OP_SLE
  id: 1569
  ir: "is_subnormal: bits[1] = sle(result_exp__3: bits[10], literal.1551: bits[10], id=1569, pos=[(0,3576,34), (0,3632,25), (3,172,60)])"
}
all_nodes {
  op: OP_NOT
  id: 1562
  ir: "not.1562: bits[1] = not(eq.1546: bits[1], id=1562, pos=[(0,71,6), (0,3483,28), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  op: OP_NOT
  id: 1563
  ir: "not.1563: bits[1] = not(eq.1548: bits[1], id=1563, pos=[(0,71,6), (0,3483,41), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 19
  op: OP_OR
  id: 1538
  ir: "has_0_arg: bits[1] = or(eq.1533: bits[1], eq.1534: bits[1], id=1538, pos=[(0,3427,40), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  op: OP_NOT
  id: 1792
  ir: "not.1792: bits[1] = not(is_subnormal: bits[1], id=1792, pos=[(0,3577,21), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 1566
  ir: "nor.1566: bits[1] = nor(not.1562: bits[1], eq.1547: bits[1], id=1566, pos=[(0,71,6), (0,3483,28), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 1567
  ir: "nor.1567: bits[1] = nor(not.1563: bits[1], eq.1549: bits[1], id=1567, pos=[(0,71,6), (0,3483,41), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1568
  ir: "and.1568: bits[1] = and(has_0_arg: bits[1], has_inf_arg: bits[1], id=1568, pos=[(0,3485,40), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1570
  ir: "bit_slice.1570: bits[9] = bit_slice(result_exp__3: bits[10], start=0, width=9, id=1570, pos=[(0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1793
  ir: "sign_ext.1793: bits[9] = sign_ext(not.1792: bits[1], new_bit_count=9, id=1793, pos=[(0,3577,21), (0,3632,25), (3,172,60)])"
}
all_nodes {
  op: OP_PARAM
  id: 519
  ir: "c: (bits[1], bits[8], bits[7]) = param(name=c, id=519)"
}
all_nodes {
  node_delay_ps: 27
  op: OP_OR
  id: 1573
  ir: "is_result_nan__1: bits[1] = or(nor.1566: bits[1], nor.1567: bits[1], and.1568: bits[1], id=1573, pos=[(0,3485,24), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1794
  ir: "result_exp: bits[9] = and(bit_slice.1570: bits[9], sign_ext.1793: bits[9], id=1794, pos=[(0,3577,21), (0,3632,25), (3,172,60)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1575
  ir: "literal.1575: bits[9] = literal(value=511, id=1575, pos=[(0,3584,4), (0,3632,25), (3,172,60)])"
}
all_nodes {
  op: OP_TUPLE_INDEX
  id: 1561
  ir: "c_bexp__2: bits[8] = tuple_index(c: (bits[1], bits[8], bits[7]), index=1, id=1561, pos=[(0,3635,44), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 117
  op: OP_SEL
  id: 1578
  ir: "ab_bexp__2: bits[9] = sel(is_result_nan__1, cases=[result_exp, literal.1575], id=1578, pos=[(0,3584,4), (0,3632,25), (3,172,60)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1771
  ir: "literal.1771: bits[2] = literal(value=1, id=1771, pos=[(2,91,63), (0,3005,44), (0,3635,33), (3,172,60)])"
}
all_nodes {
  op: OP_NOT
  id: 1576
  ir: "bnot__2: bits[8] = not(c_bexp__2: bits[8], id=1576, pos=[(2,90,15), (0,3005,44), (0,3635,33), (3,172,60)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1581
  ir: "ab_bexp_extended__1: bits[10] = concat(cancel__1: bits[1], ab_bexp__2: bits[9], id=1581, pos=[(2,91,63), (0,3005,44), (0,3635,33), (3,172,60)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1772
  ir: "bnot_extended__2: bits[10] = concat(literal.1771: bits[2], bnot__2: bits[8], id=1772, pos=[(2,91,63), (0,3005,44), (0,3635,33), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 235
  op: OP_ADD
  id: 1585
  ir: "full_result: bits[10] = add(ab_bexp_extended__1: bits[10], bnot_extended__2: bits[10], id=1585, pos=[(1,1119,45), (2,91,63), (0,3005,44), (0,3635,33), (3,172,60)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1587
  ir: "overflow_detected: bits[1] = bit_slice(full_result: bits[10], start=9, width=1, id=1587, pos=[(1,1121,49), (2,91,63), (0,3005,44), (0,3635,33), (3,172,60)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1572
  ir: "bit_slice.1572: bits[15] = bit_slice(full_product: bits[16], start=0, width=15, id=1572, pos=[(0,3460,74), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  op: OP_NOT
  id: 1591
  ir: "nc: bits[1] = not(overflow_detected: bits[1], id=1591, pos=[(2,92,19), (0,3005,44), (0,3635,33), (3,172,60)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1577
  ir: "concat.1577: bits[16] = concat(bit_slice.1572: bits[15], cancel__1: bits[1], id=1577, pos=[(0,3460,74), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  op: OP_NOT
  id: 1795
  ir: "not.1795: bits[1] = not(has_inf_arg: bits[1], id=1795, pos=[(0,3479,26), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1595
  ir: "narrowed_result: bits[9] = bit_slice(full_result: bits[10], start=0, width=9, id=1595, pos=[(2,91,63), (0,3005,44), (0,3635,33), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1596
  ir: "ab_bexpor_mask__2: bits[9] = sign_ext(nc: bits[1], new_bit_count=9, id=1596, pos=[(2,94,32), (0,3005,44), (0,3635,33), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 128
  op: OP_SEL
  id: 1580
  ir: "result_fraction__1: bits[16] = sel(in_upper_binade, cases=[concat.1577, umul.1539], id=1580, pos=[(0,3460,30), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1796
  ir: "sign_ext.1796: bits[16] = sign_ext(not.1795: bits[1], new_bit_count=16, id=1796, pos=[(0,3479,26), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 151
  op: OP_NEG
  id: 1584
  ir: "neg.1584: bits[9] = neg(bit_slice.1570: bits[9], id=1584, pos=[(0,3579,33), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1798
  ir: "sign_ext.1798: bits[9] = sign_ext(is_subnormal: bits[1], new_bit_count=9, id=1798)"
}
all_nodes {
  node_delay_ps: 49
  op: OP_XOR
  id: 1600
  ir: "result: bits[9] = xor(narrowed_result: bits[9], ab_bexpor_mask__2: bits[9], id=1600, pos=[(2,95,18), (0,3005,44), (0,3635,33), (3,172,60)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1601
  ir: "concat.1601: bits[9] = concat(literal.1527: bits[8], overflow_detected: bits[1], id=1601, pos=[(0,3006,68), (0,3635,33), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1797
  ir: "result_fraction__2: bits[16] = and(result_fraction__1: bits[16], sign_ext.1796: bits[16], id=1797, pos=[(0,3479,26), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1799
  ir: "and.1799: bits[9] = and(neg.1584: bits[9], sign_ext.1798: bits[9], id=1799)"
}
all_nodes {
  node_delay_ps: 224
  op: OP_ADD
  id: 1604
  ir: "exp_difference: bits[9] = add(result: bits[9], concat.1601: bits[9], id=1604, pos=[(2,54,7), (0,3006,68), (0,3635,33), (3,172,60)])"
}
all_nodes {
  op: OP_TUPLE_INDEX
  id: 1588
  ir: "c_fraction__2: bits[7] = tuple_index(c: (bits[1], bits[8], bits[7]), index=2, id=1588, pos=[(0,3641,18), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 96
  op: OP_NE
  id: 1828
  ir: "ne.1828: bits[1] = ne(c_bexp__2: bits[8], literal.1527: bits[8], id=1828, pos=[(0,3642,17), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1803
  ir: "sign_ext.1803: bits[9] = sign_ext(overflow_detected: bits[1], new_bit_count=9, id=1803, pos=[(0,3653,19), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 208
  op: OP_SHRL
  id: 1785
  ir: "result_fraction__5: bits[16] = shrl(result_fraction__2: bits[16], and.1799: bits[9], id=1785)"
}
all_nodes {
  op: OP_LITERAL
  id: 1590
  ir: "literal.1590: bits[16] = literal(value=49152, id=1590, pos=[(0,3584,4), (0,3632,25), (3,172,60)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1607
  ir: "literal.1607: bits[25] = literal(value=33554431, id=1607, pos=[(1,1411,19), (1,1501,17), (1,1528,22), (0,3656,38), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1802
  ir: "rshift_ab: bits[9] = and(exp_difference: bits[9], ab_bexpor_mask__2: bits[9], id=1802, pos=[(0,3652,20), (3,172,60)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1593
  ir: "concat.1593: bits[8] = concat(bnot__1: bits[1], c_fraction__2: bits[7], id=1593, pos=[(0,3642,17), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1806
  ir: "sign_ext.1806: bits[8] = sign_ext(ne.1828: bits[1], new_bit_count=8, id=1806, pos=[(0,3642,17), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1804
  ir: "rshift_c: bits[9] = and(exp_difference: bits[9], sign_ext.1803: bits[9], id=1804, pos=[(0,3653,19), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 128
  op: OP_SEL
  id: 1594
  ir: "ab_fraction__2: bits[16] = sel(is_result_nan__1, cases=[result_fraction__5, literal.1590], id=1594, pos=[(0,3584,4), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 239
  op: OP_SHLL
  id: 1613
  ir: "shll.1613: bits[25] = shll(literal.1607: bits[25], rshift_ab: bits[9], id=1613, pos=[(1,1411,19), (1,1501,17), (1,1528,22), (0,3656,38), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1807
  ir: "wide_c__3: bits[8] = and(concat.1593: bits[8], sign_ext.1806: bits[8], id=1807, pos=[(0,3642,17), (3,172,60)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1598
  ir: "literal.1598: bits[17] = literal(value=0, id=1598, pos=[(0,3648,17), (3,172,60)])"
}
all_nodes {
  op: OP_NOT
  id: 1846
  ir: "not.1846: bits[7] = not(c_fraction__2: bits[7], id=1846, pos=[(1,1411,4), (1,1501,17), (1,1528,22), (0,3657,37), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 239
  op: OP_SHLL
  id: 1615
  ir: "shll.1615: bits[25] = shll(literal.1607: bits[25], rshift_c: bits[9], id=1615, pos=[(1,1411,19), (1,1501,17), (1,1528,22), (0,3657,37), (3,172,60)])"
}
all_nodes {
  op: OP_TUPLE_INDEX
  id: 1620
  ir: "a_sign__1: bits[1] = tuple_index(a: (bits[1], bits[8], bits[7]), index=0, id=1620, pos=[(0,3467,23), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  op: OP_TUPLE_INDEX
  id: 1621
  ir: "b_sign__1: bits[1] = tuple_index(b: (bits[1], bits[8], bits[7]), index=0, id=1621, pos=[(0,3467,33), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1599
  ir: "wide_ab: bits[25] = concat(ab_fraction__2: bits[16], literal.1552: bits[9], id=1599, pos=[(0,3647,11), (3,172,60)])"
}
all_nodes {
  op: OP_NOT
  id: 1606
  ir: "not.1606: bits[16] = not(ab_fraction__2: bits[16], id=1606, pos=[(1,1411,4), (1,1501,17), (1,1528,22), (0,3656,38), (3,172,60)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1617
  ir: "bit_slice.1617: bits[16] = bit_slice(shll.1613: bits[25], start=9, width=16, id=1617, pos=[(1,1411,19), (1,1501,17), (1,1528,22), (0,3656,38), (3,172,60)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1602
  ir: "wide_c__2: bits[25] = concat(wide_c__3: bits[8], literal.1598: bits[17], id=1602, pos=[(0,3648,17), (3,172,60)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1849
  ir: "concat.1849: bits[8] = concat(cancel__1: bits[1], not.1846: bits[7], id=1849, pos=[(1,1411,4), (1,1501,17), (1,1528,22), (0,3657,37), (3,172,60)])"
}
all_nodes {
  op: OP_NOT
  id: 1834
  ir: "not.1834: bits[8] = not(sign_ext.1806: bits[8], id=1834, pos=[(1,1411,4), (1,1501,17), (1,1528,22), (0,3657,37), (3,172,60)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1619
  ir: "bit_slice.1619: bits[8] = bit_slice(shll.1615: bits[25], start=17, width=8, id=1619, pos=[(1,1411,19), (1,1501,17), (1,1528,22), (0,3657,37), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 49
  op: OP_XOR
  id: 1626
  ir: "result_sign__3: bits[1] = xor(a_sign__1: bits[1], b_sign__1: bits[1], id=1626, pos=[(0,3467,23), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 239
  op: OP_SHRL
  id: 1622
  ir: "shifted_ab: bits[25] = shrl(wide_ab: bits[25], rshift_ab: bits[9], id=1622, pos=[(0,3654,21), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 1623
  ir: "nor.1623: bits[16] = nor(not.1606: bits[16], bit_slice.1617: bits[16], id=1623, pos=[(1,1411,4), (1,1501,17), (1,1528,22), (0,3656,38), (3,172,60)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1540
  ir: "literal.1540: bits[16] = literal(value=0, id=1540, pos=[(0,3435,23), (0,3570,29), (0,3632,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 239
  op: OP_SHRL
  id: 1624
  ir: "shifted_c: bits[25] = shrl(wide_c__2: bits[25], rshift_c: bits[9], id=1624, pos=[(0,3655,20), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 38
  op: OP_NOR
  id: 1835
  ir: "nor.1835: bits[8] = nor(concat.1849: bits[8], not.1834: bits[8], bit_slice.1619: bits[8], id=1835, pos=[(1,1411,4), (1,1501,17), (1,1528,22), (0,3657,37), (3,172,60)])"
}
all_nodes {
  op: OP_NOT
  id: 1631
  ir: "not.1631: bits[1] = not(result_sign__3: bits[1], id=1631, pos=[(0,3584,4), (0,3632,25), (3,172,60)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1627
  ir: "bit_slice.1627: bits[1] = bit_slice(shifted_ab: bits[25], start=0, width=1, id=1627, pos=[(0,3660,22), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 115
  op: OP_NE
  id: 1628
  ir: "ne.1628: bits[1] = ne(nor.1623: bits[16], literal.1540: bits[16], id=1628, pos=[(1,1501,17), (1,1528,22), (0,3656,38), (3,172,60)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1629
  ir: "bit_slice.1629: bits[1] = bit_slice(shifted_c: bits[25], start=0, width=1, id=1629, pos=[(0,3661,21), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 96
  op: OP_NE
  id: 1630
  ir: "ne.1630: bits[1] = ne(nor.1835: bits[8], literal.1527: bits[8], id=1630, pos=[(1,1501,17), (1,1528,22), (0,3657,37), (3,172,60)])"
}
all_nodes {
  op: OP_TUPLE_INDEX
  id: 1637
  ir: "c_sign__2: bits[1] = tuple_index(c: (bits[1], bits[8], bits[7]), index=0, id=1637, pos=[(0,3637,55), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 1636
  ir: "ab_sign__2: bits[1] = nor(is_result_nan__1: bits[1], not.1631: bits[1], id=1636, pos=[(0,3584,4), (0,3632,25), (3,172,60)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1632
  ir: "bit_slice.1632: bits[24] = bit_slice(shifted_ab: bits[25], start=1, width=24, id=1632, pos=[(0,3660,22), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 19
  op: OP_OR
  id: 1633
  ir: "or.1633: bits[1] = or(bit_slice.1627: bits[1], ne.1628: bits[1], id=1633, pos=[(0,3660,22), (3,172,60)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1634
  ir: "bit_slice.1634: bits[24] = bit_slice(shifted_c: bits[25], start=1, width=24, id=1634, pos=[(0,3661,21), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 19
  op: OP_OR
  id: 1635
  ir: "or.1635: bits[1] = or(bit_slice.1629: bits[1], ne.1630: bits[1], id=1635, pos=[(0,3661,21), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 75
  op: OP_SEL
  id: 1760
  ir: "greater_sign: bits[1] = sel(overflow_detected, cases=[c_sign__2, ab_sign__2], id=1760, pos=[(0,3637,8), (3,172,60)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1862
  ir: "shifted_ab__1_squeezed: bits[26] = concat(cancel__1: bits[1], bit_slice.1632: bits[24], or.1633: bits[1], id=1862, pos=[(3,172,60)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1865
  ir: "shifted_c__1_squeezed: bits[26] = concat(cancel__1: bits[1], bit_slice.1634: bits[24], or.1635: bits[1], id=1865, pos=[(3,172,60)])"
}
all_nodes {
  node_delay_ps: 49
  op: OP_XOR
  id: 1644
  ir: "xor.1644: bits[1] = xor(ab_sign__2: bits[1], greater_sign: bits[1], id=1644, pos=[(0,3664,26), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 232
  op: OP_NEG
  id: 1642
  ir: "neg.1642: bits[26] = neg(shifted_ab__1_squeezed: bits[26], id=1642, pos=[(0,3664,50), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 49
  op: OP_XOR
  id: 1647
  ir: "xor.1647: bits[1] = xor(c_sign__2: bits[1], greater_sign: bits[1], id=1647, pos=[(0,3665,24), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 232
  op: OP_NEG
  id: 1643
  ir: "neg.1643: bits[26] = neg(shifted_c__1_squeezed: bits[26], id=1643, pos=[(0,3665,48), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 138
  op: OP_SEL
  id: 1855
  ir: "shifted_ab__2_squeezed: bits[26] = sel(xor.1644, cases=[shifted_ab__1_squeezed, neg.1642], id=1855, pos=[(0,3664,21), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 138
  op: OP_SEL
  id: 1859
  ir: "shifted_c__2_squeezed: bits[26] = sel(xor.1647, cases=[shifted_c__1_squeezed, neg.1643], id=1859, pos=[(0,3665,20), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1856
  ir: "shifted_ab__2: bits[27] = sign_ext(shifted_ab__2_squeezed: bits[26], new_bit_count=27, id=1856, pos=[(0,3664,21), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1860
  ir: "shifted_c__2: bits[27] = sign_ext(shifted_c__2_squeezed: bits[26], new_bit_count=27, id=1860, pos=[(0,3665,20), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 340
  op: OP_ADD
  id: 1652
  ir: "sum_fraction: bits[27] = add(shifted_ab__2: bits[27], shifted_c__2: bits[27], id=1652, pos=[(0,3668,23), (3,172,60)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1653
  ir: "bit_slice.1653: bits[26] = bit_slice(sum_fraction: bits[27], start=0, width=26, id=1653, pos=[(0,3677,24), (3,172,60)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1654
  ir: "bit_slice.1654: bits[1] = bit_slice(sum_fraction: bits[27], start=26, width=1, id=1654, pos=[(0,3670,47), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 232
  op: OP_NEG
  id: 1655
  ir: "neg.1655: bits[26] = neg(bit_slice.1653: bits[26], id=1655, pos=[(0,3678,27), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 138
  op: OP_SEL
  id: 1656
  ir: "abs_fraction__2: bits[26] = sel(bit_slice.1654, cases=[bit_slice.1653, neg.1655], id=1656, pos=[(0,3677,24), (3,172,60)])"
}
all_nodes {
  op: OP_REVERSE
  id: 1657
  ir: "reverse.1657: bits[26] = reverse(abs_fraction__2: bits[26], id=1657, pos=[(0,3691,28), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 178
  op: OP_ONE_HOT
  id: 1658
  ir: "one_hot.1658: bits[27] = one_hot(reverse.1657: bits[26], lsb_prio=true, id=1658, pos=[(0,3691,28), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 76
  op: OP_ENCODE
  id: 1659
  ir: "encode.1659: bits[5] = encode(one_hot.1658: bits[27], id=1659, pos=[(0,3691,28), (3,172,60)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1660
  ir: "bit_slice.1660: bits[4] = bit_slice(encode.1659: bits[5], start=1, width=4, id=1660, pos=[(0,3692,17), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 29
  op: OP_OR_REDUCE
  id: 1661
  ir: "cancel__2: bits[1] = or_reduce(bit_slice.1660: bits[4], id=1661, pos=[(0,3692,17), (3,172,60)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1662
  ir: "carry_bit__2: bits[1] = bit_slice(abs_fraction__2: bits[26], start=25, width=1, id=1662, pos=[(0,3685,32), (3,172,60)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1663
  ir: "concat.1663: bits[6] = concat(cancel__1: bits[1], encode.1659: bits[5], id=1663, pos=[(0,3691,28), (3,172,60)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1664
  ir: "literal.1664: bits[6] = literal(value=63, id=1664, pos=[(0,3694,26), (3,172,60)])"
}
all_nodes {
  op: OP_NOT
  id: 1665
  ir: "not.1665: bits[1] = not(cancel__2: bits[1], id=1665, pos=[(3,172,60)])"
}
all_nodes {
  op: OP_NOT
  id: 1666
  ir: "not.1666: bits[1] = not(carry_bit__2: bits[1], id=1666, pos=[(3,172,60)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1667
  ir: "bit_slice.1667: bits[1] = bit_slice(abs_fraction__2: bits[26], start=1, width=1, id=1667, pos=[(0,3687,25), (3,172,60)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1668
  ir: "bit_slice.1668: bits[1] = bit_slice(abs_fraction__2: bits[26], start=0, width=1, id=1668, pos=[(0,3687,55), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 182
  op: OP_ADD
  id: 1669
  ir: "add.1669: bits[6] = add(concat.1663: bits[6], literal.1664: bits[6], id=1669, pos=[(0,3694,26), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 1670
  ir: "nor.1670: bits[1] = nor(carry_bit__2: bits[1], cancel__2: bits[1], id=1670, pos=[(3,172,60)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 1671
  ir: "nor.1671: bits[1] = nor(carry_bit__2: bits[1], not.1665: bits[1], id=1671, pos=[(3,172,60)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 1672
  ir: "nor.1672: bits[1] = nor(not.1666: bits[1], cancel__2: bits[1], id=1672, pos=[(3,172,60)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1673
  ir: "bit_slice.1673: bits[24] = bit_slice(abs_fraction__2: bits[26], start=2, width=24, id=1673, pos=[(0,3687,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 19
  op: OP_OR
  id: 1674
  ir: "carry_fraction__1: bits[1] = or(bit_slice.1667: bits[1], bit_slice.1668: bits[1], id=1674, pos=[(0,3687,25), (3,172,60)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1675
  ir: "bit_slice.1675: bits[25] = bit_slice(abs_fraction__2: bits[26], start=0, width=25, id=1675, pos=[(3,172,60)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1676
  ir: "sign_ext.1676: bits[26] = sign_ext(add.1669: bits[6], new_bit_count=26, id=1676, pos=[(0,3694,26), (3,172,60)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1677
  ir: "concat.1677: bits[3] = concat(nor.1670: bits[1], nor.1671: bits[1], nor.1672: bits[1], id=1677, pos=[(3,172,60)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1678
  ir: "carry_fraction__2: bits[25] = concat(bit_slice.1673: bits[24], carry_fraction__1: bits[1], id=1678, pos=[(0,3687,25), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 239
  op: OP_SHLL
  id: 1679
  ir: "cancel_fraction__2: bits[25] = shll(bit_slice.1675: bits[25], sign_ext.1676: bits[26], id=1679, pos=[(3,172,60)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1680
  ir: "literal.1680: bits[25] = literal(value=0, id=1680, pos=[(0,3699,39), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 177
  op: OP_PRIORITY_SEL
  id: 1681
  ir: "shifted_fraction: bits[25] = priority_sel(concat.1677, cases=[carry_fraction__2, cancel_fraction__2, bit_slice.1675], default=literal.1680, id=1681, pos=[(3,172,60)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1682
  ir: "normal_chunk: bits[17] = bit_slice(shifted_fraction: bits[25], start=0, width=17, id=1682, pos=[(0,3706,39), (3,172,60)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1683
  ir: "half_of_extra: bits[17] = literal(value=65536, id=1683, pos=[(0,3709,24), (3,172,60)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1684
  ir: "half_way_chunk: bits[2] = bit_slice(shifted_fraction: bits[25], start=16, width=2, id=1684, pos=[(0,3708,24), (3,172,60)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1685
  ir: "literal.1685: bits[2] = literal(value=3, id=1685, pos=[(0,3711,63), (3,172,60)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1690
  ir: "bit_slice.1690: bits[8] = bit_slice(shifted_fraction: bits[25], start=17, width=8, id=1690, pos=[(0,3712,27), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 194
  op: OP_UGT
  id: 1688
  ir: "ugt.1688: bits[1] = ugt(normal_chunk: bits[17], half_of_extra: bits[17], id=1688, pos=[(0,3711,12), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 64
  op: OP_EQ
  id: 1689
  ir: "eq.1689: bits[1] = eq(half_way_chunk: bits[2], literal.1685: bits[2], id=1689, pos=[(0,3711,45), (3,172,60)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1693
  ir: "concat.1693: bits[9] = concat(cancel__1: bits[1], bit_slice.1690: bits[8], id=1693, pos=[(0,3712,27), (3,172,60)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1829
  ir: "literal.1829: bits[9] = literal(value=1, id=1829, pos=[(0,3713,8), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 19
  op: OP_OR
  id: 1692
  ir: "or.1692: bits[1] = or(ugt.1688: bits[1], eq.1689: bits[1], id=1692, pos=[(0,3711,12), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 224
  op: OP_ADD
  id: 1819
  ir: "add.1819: bits[9] = add(concat.1693: bits[9], literal.1829: bits[9], id=1819, pos=[(0,3713,8), (3,172,60)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1830
  ir: "literal.1830: bits[5] = literal(value=0, id=1830, pos=[(0,3724,15), (3,172,60)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1842
  ir: "concat.1842: bits[5] = concat(cancel__1: bits[1], bit_slice.1660: bits[4], id=1842, pos=[(0,3724,15), (3,172,60)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1843
  ir: "bit_slice.1843: bits[1] = bit_slice(encode.1659: bits[5], start=0, width=1, id=1843, pos=[(0,3724,15), (3,172,60)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1565
  ir: "concat.1565: bits[9] = concat(cancel__1: bits[1], c_bexp__2: bits[8], id=1565, pos=[(3,172,60)])"
}
all_nodes {
  node_delay_ps: 117
  op: OP_SEL
  id: 1695
  ir: "rounded_fraction__1: bits[9] = sel(or.1692, cases=[concat.1693, add.1819], id=1695, pos=[(0,3712,27), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 164
  op: OP_SUB
  id: 1824
  ir: "sub.1824: bits[5] = sub(literal.1830: bits[5], concat.1842: bits[5], id=1824, pos=[(0,3724,15), (3,172,60)])"
}
all_nodes {
  op: OP_NOT
  id: 1826
  ir: "not.1826: bits[1] = not(bit_slice.1843: bits[1], id=1826, pos=[(0,3724,15), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 117
  op: OP_SEL
  id: 1761
  ir: "greater_exp: bits[9] = sel(overflow_detected, cases=[concat.1565, ab_bexp__2], id=1761, pos=[(0,3637,8), (3,172,60)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1698
  ir: "rounding_carry: bits[1] = bit_slice(rounded_fraction__1: bits[9], start=8, width=1, id=1698, pos=[(0,3719,41), (3,172,60)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1702
  ir: "literal.1702: bits[27] = literal(value=0, id=1702, pos=[(0,3669,43), (3,172,60)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1827
  ir: "concat.1827: bits[6] = concat(sub.1824: bits[5], not.1826: bits[1], id=1827, pos=[(0,3724,15), (3,172,60)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1700
  ir: "concat.1700: bits[10] = concat(cancel__1: bits[1], greater_exp: bits[9], id=1700, pos=[(3,172,60)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1701
  ir: "concat.1701: bits[10] = concat(literal.1552: bits[9], rounding_carry: bits[1], id=1701, pos=[(3,172,60)])"
}
all_nodes {
  node_delay_ps: 130
  op: OP_EQ
  id: 1705
  ir: "fraction_is_zero: bits[1] = eq(sum_fraction: bits[27], literal.1702: bits[27], id=1705, pos=[(0,3669,27), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1703
  ir: "bexp_associative_element__1: bits[10] = sign_ext(concat.1827: bits[6], new_bit_count=10, id=1703, pos=[(0,3724,15), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 235
  op: OP_ADD
  id: 1704
  ir: "bexp_associative_element__4: bits[10] = add(concat.1700: bits[10], concat.1701: bits[10], id=1704, pos=[(0,3724,15), (3,172,60)])"
}
all_nodes {
  op: OP_NOT
  id: 1808
  ir: "not.1808: bits[1] = not(fraction_is_zero: bits[1], id=1808, pos=[(0,3726,15), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 235
  op: OP_ADD
  id: 1706
  ir: "bexp__1: bits[10] = add(bexp_associative_element__1: bits[10], bexp_associative_element__4: bits[10], id=1706, pos=[(0,3724,15), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1809
  ir: "sign_ext.1809: bits[10] = sign_ext(not.1808: bits[1], new_bit_count=10, id=1809, pos=[(0,3726,15), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1810
  ir: "bexp__2: bits[10] = and(bexp__1: bits[10], sign_ext.1809: bits[10], id=1810, pos=[(0,3726,15), (3,172,60)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1716
  ir: "bit_slice.1716: bits[1] = bit_slice(bexp__2: bits[10], start=9, width=1, id=1716, pos=[(0,3727,18), (3,172,60)])"
}
all_nodes {
  op: OP_NOT
  id: 1811
  ir: "not.1811: bits[1] = not(bit_slice.1716: bits[1], id=1811, pos=[(0,3727,15), (3,172,60)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1717
  ir: "bit_slice.1717: bits[9] = bit_slice(bexp__2: bits[10], start=0, width=9, id=1717, pos=[(3,172,60)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1812
  ir: "sign_ext.1812: bits[9] = sign_ext(not.1811: bits[1], new_bit_count=9, id=1812, pos=[(0,3727,15), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 99
  op: OP_EQ
  id: 1707
  ir: "eq.1707: bits[1] = eq(ab_bexp__2: bits[9], literal.1575: bits[9], id=1707, pos=[(0,3552,5), (0,3751,38), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 115
  op: OP_EQ
  id: 1708
  ir: "eq.1708: bits[1] = eq(ab_fraction__2: bits[16], literal.1540: bits[16], id=1708, pos=[(0,3546,46), (0,3741,39), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 96
  op: OP_EQ
  id: 1709
  ir: "eq.1709: bits[1] = eq(c_bexp__2: bits[8], max_exp: bits[8], id=1709, pos=[(0,71,6), (0,3751,51), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 93
  op: OP_EQ
  id: 1710
  ir: "eq.1710: bits[1] = eq(c_fraction__2: bits[7], literal.1542: bits[7], id=1710, pos=[(0,96,44), (0,3741,52), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1813
  ir: "bexp__6: bits[9] = and(bit_slice.1717: bits[9], sign_ext.1812: bits[9], id=1813, pos=[(0,3727,15), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 25
  op: OP_NAND
  id: 1712
  ir: "nand.1712: bits[1] = nand(eq.1707: bits[1], eq.1708: bits[1], id=1712, pos=[(0,3745,37), (3,172,60)])"
}
all_nodes {
  op: OP_NOT
  id: 1713
  ir: "not.1713: bits[1] = not(eq.1709: bits[1], id=1713, pos=[(0,3745,72), (3,172,60)])"
}
all_nodes {
  op: OP_NOT
  id: 1714
  ir: "not.1714: bits[1] = not(eq.1710: bits[1], id=1714, pos=[(0,3745,72), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1715
  ir: "and.1715: bits[1] = and(eq.1707: bits[1], eq.1708: bits[1], id=1715, pos=[(0,3546,5), (0,3741,39), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1729
  ir: "and.1729: bits[1] = and(eq.1709: bits[1], eq.1710: bits[1], id=1729, pos=[(0,96,6), (0,3741,52), (3,172,60)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1730
  ir: "bit_slice.1730: bits[8] = bit_slice(bexp__6: bits[9], start=0, width=8, id=1730, pos=[(3,172,60)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 1718
  ir: "nor.1718: bits[1] = nor(nand.1712: bits[1], ab_sign__2: bits[1], id=1718, pos=[(0,3745,37), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 38
  op: OP_NOR
  id: 1719
  ir: "nor.1719: bits[1] = nor(not.1713: bits[1], not.1714: bits[1], c_sign__2: bits[1], id=1719, pos=[(0,3745,72), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1720
  ir: "and.1720: bits[1] = and(and.1715: bits[1], ab_sign__2: bits[1], id=1720, pos=[(0,3750,37), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 35
  op: OP_AND
  id: 1721
  ir: "and.1721: bits[1] = and(eq.1709: bits[1], eq.1710: bits[1], c_sign__2: bits[1], id=1721, pos=[(0,3750,72), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 19
  op: OP_OR
  id: 1736
  ir: "is_operand_inf: bits[1] = or(and.1715: bits[1], and.1729: bits[1], id=1736, pos=[(0,3741,39), (3,172,60)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1737
  ir: "bit_slice.1737: bits[1] = bit_slice(bexp__6: bits[9], start=8, width=1, id=1737, pos=[(0,3737,29), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 67
  op: OP_AND_REDUCE
  id: 1738
  ir: "and_reduce.1738: bits[1] = and_reduce(bit_slice.1730: bits[8], id=1738, pos=[(0,3737,29), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 99
  op: OP_EQ
  id: 1739
  ir: "eq.1739: bits[1] = eq(bexp__6: bits[9], literal.1552: bits[9], id=1739, pos=[(0,3732,29), (3,172,60)])"
}
all_nodes {
  op: OP_NOT
  id: 1773
  ir: "not.1773: bits[1] = not(eq.1707: bits[1], id=1773, pos=[(0,3552,5), (0,3751,38), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 19
  op: OP_OR
  id: 1726
  ir: "has_pos_inf: bits[1] = or(nor.1718: bits[1], nor.1719: bits[1], id=1726, pos=[(0,3745,37), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 19
  op: OP_OR
  id: 1727
  ir: "has_neg_inf: bits[1] = or(and.1720: bits[1], and.1721: bits[1], id=1727, pos=[(0,3750,37), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 33
  op: OP_OR
  id: 1743
  ir: "or.1743: bits[1] = or(is_operand_inf: bits[1], bit_slice.1737: bits[1], and_reduce.1738: bits[1], eq.1739: bits[1], id=1743, pos=[(0,3743,26), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 1774
  ir: "nor.1774: bits[1] = nor(not.1773: bits[1], eq.1708: bits[1], id=1774, pos=[(0,3552,5), (0,3751,38), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 1776
  ir: "nor.1776: bits[1] = nor(not.1713: bits[1], eq.1710: bits[1], id=1776, pos=[(0,71,6), (0,3751,51), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1733
  ir: "and.1733: bits[1] = and(has_pos_inf: bits[1], has_neg_inf: bits[1], id=1733, pos=[(0,3751,58), (3,172,60)])"
}
all_nodes {
  op: OP_CONCAT
  id: 1734
  ir: "concat.1734: bits[2] = concat(bit_slice.1654: bits[1], fraction_is_zero: bits[1], id=1734, pos=[(3,172,60)])"
}
all_nodes {
  op: OP_NOT
  id: 1735
  ir: "not.1735: bits[1] = not(greater_sign: bits[1], id=1735, pos=[(0,3672,25), (3,172,60)])"
}
all_nodes {
  op: OP_NOT
  id: 1814
  ir: "not.1814: bits[1] = not(or.1743: bits[1], id=1814, pos=[(0,3743,26), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_OR
  id: 1740
  ir: "is_result_nan: bits[1] = or(nor.1774: bits[1], nor.1776: bits[1], and.1733: bits[1], id=1740, pos=[(0,3751,38), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 90
  op: OP_PRIORITY_SEL
  id: 1741
  ir: "result_sign: bits[1] = priority_sel(concat.1734, cases=[cancel__1, not.1735], default=greater_sign, id=1741, pos=[(3,172,60)])"
}
all_nodes {
  op: OP_NOT
  id: 1742
  ir: "not.1742: bits[1] = not(has_pos_inf: bits[1], id=1742, pos=[(0,3746,42), (3,172,60)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 1744
  ir: "result_fraction: bits[7] = bit_slice(rounded_fraction__1: bits[9], start=0, width=7, id=1744, pos=[(3,172,60)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 1815
  ir: "sign_ext.1815: bits[7] = sign_ext(not.1814: bits[1], new_bit_count=7, id=1815, pos=[(0,3743,26), (3,172,60)])"
}
all_nodes {
  op: OP_NOT
  id: 1745
  ir: "not.1745: bits[1] = not(is_result_nan: bits[1], id=1745, pos=[(0,3755,22), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 75
  op: OP_SEL
  id: 1746
  ir: "result_sign__1: bits[1] = sel(is_operand_inf, cases=[result_sign, not.1742], id=1746, pos=[(0,3746,22), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 33
  op: OP_OR
  id: 1747
  ir: "or.1747: bits[1] = or(is_result_nan: bits[1], is_operand_inf: bits[1], bit_slice.1737: bits[1], and_reduce.1738: bits[1], id=1747, pos=[(0,3752,21), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1816
  ir: "result_fraction__3: bits[7] = and(result_fraction: bits[7], sign_ext.1815: bits[7], id=1816, pos=[(0,3743,26), (3,172,60)])"
}
all_nodes {
  op: OP_LITERAL
  id: 1749
  ir: "literal.1749: bits[7] = literal(value=8, id=1749, pos=[(0,3754,27), (3,172,60)])"
}
all_nodes {
  op: OP_AFTER_ALL
  id: 520
  ir: "after_all.520: token = after_all(id=520)"
}
all_nodes {
  node_delay_ps: 25
  op: OP_NAND
  id: 1762
  ir: "nand.1762: bits[1] = nand(carry_bit__2: bits[1], cancel__2: bits[1], id=1762, pos=[(3,172,60)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 1751
  ir: "result_sign__2: bits[1] = and(not.1745: bits[1], result_sign__1: bits[1], id=1751, pos=[(0,3755,22), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 115
  op: OP_SEL
  id: 1752
  ir: "result_exp__2: bits[8] = sel(or.1747, cases=[bit_slice.1730, max_exp], id=1752, pos=[(0,3752,21), (3,172,60)])"
}
all_nodes {
  node_delay_ps: 112
  op: OP_SEL
  id: 1753
  ir: "result_fraction__4: bits[7] = sel(is_result_nan, cases=[result_fraction__3, literal.1749], id=1753, pos=[(0,3754,8), (3,172,60)])"
}
all_nodes {
  op: OP_ASSERT
  id: 1757
  ir: "assert_1520__2: token = assert(after_all.520: token, nand.1762: bits[1], message=\"Assertion failure via fail! @ /inputs/subtree/xls/dslx/stdlib/apfloat.x:3700:19-3700:60\", label=\"carry_and_cancel\", id=1757, pos=[(3,172,60)])"
}
all_nodes {
  op: OP_TUPLE
  id: 1755
  ir: "tuple.1755: (bits[1], bits[8], bits[7]) = tuple(result_sign__2: bits[1], result_exp__2: bits[8], result_fraction__4: bits[7], id=1755, pos=[(0,3757,33), (3,172,60)])"
}