combinational_critical_path {
  total_delay_ps: 1622
  nodes {
    total_delay_ps: 1622
    op: OP_TUPLE
    id: 636
    ir: "tuple.636: (bits[1], bits[11], bits[52]) = tuple(nor.644: bits[1], priority_sel.667: bits[11], concat.694: bits[52], id=636, pos=[(0,4604,22), (2,184,52)])"
  }
  nodes {
    total_delay_ps: 1622
    node_delay_ps: 142
    op: OP_PRIORITY_SEL
    id: 667
    ir: "priority_sel.667: bits[11] = priority_sel(concat.716, cases=[EXPR_MASK, literal.576], default=sel.630, id=667, pos=[(0,4604,22), (2,184,52)])"
  }
  nodes {
    total_delay_ps: 1480
    node_delay_ps: 121
    op: OP_SEL
    id: 630
    ir: "sel.630: bits[11] = sel(ult.626, cases=[f_bexp__2, sel.627], id=630, pos=[(0,4497,12), (0,4604,22), (2,184,52)])"
  }
  nodes {
    total_delay_ps: 1359
    node_delay_ps: 121
    op: OP_SEL
    id: 627
    ir: "sel.627: bits[11] = sel(nor.619, cases=[add.652, concat.800], id=627, pos=[(0,4499,19), (0,4604,22), (2,184,52)])"
  }
  nodes {
    total_delay_ps: 1238
    node_delay_ps: 245
    op: OP_ADD
    id: 652
    ir: "add.652: bits[11] = add(f_bexp__2: bits[11], concat.715: bits[11], id=652)"
  }
  nodes {
    total_delay_ps: 993
    op: OP_CONCAT
    id: 715
    ir: "concat.715: bits[11] = concat(literal.595: bits[10], and.714: bits[1], id=715)"
  }
  nodes {
    total_delay_ps: 993
    node_delay_ps: 23
    op: OP_AND
    id: 714
    ir: "and.714: bits[1] = and(f_sign__1: bits[1], bit_slice.596: bits[1], id=714)"
  }
  nodes {
    total_delay_ps: 970
    op: OP_BIT_SLICE
    id: 596
    ir: "bit_slice.596: bits[1] = bit_slice(fraction_up__2: bits[53], start=52, width=1, id=596, pos=[(0,4262,46), (0,4509,45), (0,4604,22), (2,184,52)])"
  }
  nodes {
    total_delay_ps: 970
    node_delay_ps: 415
    op: OP_ADD
    id: 591
    ir: "fraction_up__2: bits[53] = add(concat.588: bits[53], concat.589: bits[53], id=591, pos=[(0,4259,9), (0,4509,45), (0,4604,22), (2,184,52)])"
  }
  nodes {
    total_delay_ps: 555
    op: OP_CONCAT
    id: 589
    ir: "concat.589: bits[53] = concat(literal.585: bits[1], fractional_mask__1: bits[52], id=589, pos=[(0,4509,45), (0,4604,22), (2,184,52)])"
  }
  nodes {
    total_delay_ps: 555
    node_delay_ps: 293
    op: OP_SHRL
    id: 587
    ir: "fractional_mask__1: bits[52] = shrl(literal.583: bits[52], sign_ext.584: bits[32], id=587, pos=[(0,4240,40), (0,4509,45), (0,4604,22), (2,184,52)])"
  }
  nodes {
    total_delay_ps: 262
    node_delay_ps: 17
    op: OP_SIGN_EXT
    id: 584
    ir: "sign_ext.584: bits[32] = sign_ext(exp__1: bits[11], new_bit_count=32, id=584, pos=[(0,4509,45), (0,4604,22), (2,184,52)])"
  }
  nodes {
    total_delay_ps: 245
    node_delay_ps: 245
    op: OP_ADD
    id: 580
    ir: "exp__1: bits[11] = add(f_bexp__2: bits[11], literal.579: bits[11], id=580, pos=[(0,266,6), (0,4238,31), (0,4509,45), (0,4604,22), (2,184,52)])"
  }
  nodes {
    op: OP_LITERAL
    id: 579
    ir: "literal.579: bits[11] = literal(value=1025, id=579, pos=[(0,266,6), (0,4238,31), (0,4509,45), (0,4604,22), (2,184,52)])"
  }
}
all_nodes {
  op: OP_PARAM
  id: 222
  ir: "f: (bits[1], bits[11], bits[52]) = param(name=f, id=222)"
}
all_nodes {
  op: OP_TUPLE_INDEX
  id: 575
  ir: "f_bexp__2: bits[11] = tuple_index(f: (bits[1], bits[11], bits[52]), index=1, id=575, pos=[(0,804,5), (0,809,27), (0,4604,41), (2,184,52)])"
}
all_nodes {
  op: OP_LITERAL
  id: 579
  ir: "literal.579: bits[11] = literal(value=1025, id=579, pos=[(0,266,6), (0,4238,31), (0,4509,45), (0,4604,22), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 245
  op: OP_ADD
  id: 580
  ir: "exp__1: bits[11] = add(f_bexp__2: bits[11], literal.579: bits[11], id=580, pos=[(0,266,6), (0,4238,31), (0,4509,45), (0,4604,22), (2,184,52)])"
}
all_nodes {
  op: OP_LITERAL
  id: 583
  ir: "literal.583: bits[52] = literal(value=4503599627370495, id=583, pos=[(0,4240,40), (0,4509,45), (0,4604,22), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 584
  ir: "sign_ext.584: bits[32] = sign_ext(exp__1: bits[11], new_bit_count=32, id=584, pos=[(0,4509,45), (0,4604,22), (2,184,52)])"
}
all_nodes {
  op: OP_LITERAL
  id: 585
  ir: "literal.585: bits[1] = literal(value=0, id=585, pos=[(0,4509,45), (0,4604,22), (2,184,52)])"
}
all_nodes {
  op: OP_TUPLE_INDEX
  id: 581
  ir: "tuple_index.581: bits[52] = tuple_index(f: (bits[1], bits[11], bits[52]), index=2, id=581, pos=[(0,809,4), (0,4604,41), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 293
  op: OP_SHRL
  id: 587
  ir: "fractional_mask__1: bits[52] = shrl(literal.583: bits[52], sign_ext.584: bits[32], id=587, pos=[(0,4240,40), (0,4509,45), (0,4604,22), (2,184,52)])"
}
all_nodes {
  op: OP_LITERAL
  id: 576
  ir: "literal.576: bits[11] = literal(value=0, id=576, pos=[(0,804,14), (0,809,27), (0,4604,41), (2,184,52)])"
}
all_nodes {
  op: OP_CONCAT
  id: 588
  ir: "concat.588: bits[53] = concat(literal.585: bits[1], tuple_index.581: bits[52], id=588, pos=[(0,4509,45), (0,4604,22), (2,184,52)])"
}
all_nodes {
  op: OP_CONCAT
  id: 589
  ir: "concat.589: bits[53] = concat(literal.585: bits[1], fractional_mask__1: bits[52], id=589, pos=[(0,4509,45), (0,4604,22), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 105
  op: OP_EQ
  id: 577
  ir: "eq.577: bits[1] = eq(f_bexp__2: bits[11], literal.576: bits[11], id=577, pos=[(0,804,5), (0,809,27), (0,4604,41), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 415
  op: OP_ADD
  id: 591
  ir: "fraction_up__2: bits[53] = add(concat.588: bits[53], concat.589: bits[53], id=591, pos=[(0,4259,9), (0,4509,45), (0,4604,22), (2,184,52)])"
}
all_nodes {
  op: OP_NOT
  id: 653
  ir: "not.653: bits[1] = not(eq.577: bits[1], id=653, pos=[(0,809,4), (0,4604,41), (2,184,52)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 597
  ir: "bit_slice.597: bits[52] = bit_slice(fraction_up__2: bits[53], start=0, width=52, id=597, pos=[(0,4264,39), (0,4509,45), (0,4604,22), (2,184,52)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 600
  ir: "bit_slice.600: bits[10] = bit_slice(f_bexp__2: bits[11], start=0, width=10, id=600, pos=[(0,4219,5), (0,4499,43), (0,4604,22), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 654
  ir: "sign_ext.654: bits[52] = sign_ext(not.653: bits[1], new_bit_count=52, id=654, pos=[(0,809,4), (0,4604,41), (2,184,52)])"
}
all_nodes {
  op: OP_NOT
  id: 602
  ir: "not.602: bits[52] = not(tuple_index.581: bits[52], id=602, pos=[(0,4276,29), (0,4512,47), (0,4604,22), (2,184,52)])"
}
all_nodes {
  op: OP_NOT
  id: 603
  ir: "not.603: bits[52] = not(bit_slice.597: bits[52], id=603, pos=[(0,4264,39), (0,4509,45), (0,4604,22), (2,184,52)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 610
  ir: "bit_slice.610: bits[1] = bit_slice(f_bexp__2: bits[11], start=10, width=1, id=610, pos=[(0,4219,5), (0,4499,43), (0,4604,22), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 73
  op: OP_AND_REDUCE
  id: 611
  ir: "and_reduce.611: bits[1] = and_reduce(bit_slice.600: bits[10], id=611, pos=[(0,4219,5), (0,4499,43), (0,4604,22), (2,184,52)])"
}
all_nodes {
  op: OP_TUPLE_INDEX
  id: 612
  ir: "f_sign__1: bits[1] = tuple_index(f: (bits[1], bits[11], bits[52]), index=0, id=612, pos=[(0,809,60), (0,4604,41), (2,184,52)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 596
  ir: "bit_slice.596: bits[1] = bit_slice(fraction_up__2: bits[53], start=52, width=1, id=596, pos=[(0,4262,46), (0,4509,45), (0,4604,22), (2,184,52)])"
}
all_nodes {
  op: OP_LITERAL
  id: 590
  ir: "EXPR_MASK: bits[11] = literal(value=2047, id=590, pos=[(0,39,36), (0,4492,13), (0,4604,22), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 655
  ir: "f_fraction__1: bits[52] = and(tuple_index.581: bits[52], sign_ext.654: bits[52], id=655, pos=[(0,809,4), (0,4604,41), (2,184,52)])"
}
all_nodes {
  op: OP_LITERAL
  id: 582
  ir: "literal.582: bits[52] = literal(value=0, id=582, pos=[(0,131,73), (0,809,37), (0,4604,41), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 615
  ir: "fraction_integral__2: bits[52] = nor(not.602: bits[52], fractional_mask__1: bits[52], id=615, pos=[(0,4276,29), (0,4512,47), (0,4604,22), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 616
  ir: "fraction_integral__4: bits[52] = nor(not.603: bits[52], fractional_mask__1: bits[52], id=616, pos=[(0,4264,39), (0,4509,45), (0,4604,22), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 19
  op: OP_OR
  id: 734
  ir: "or.734: bits[1] = or(bit_slice.610: bits[1], and_reduce.611: bits[1], id=734, pos=[(0,4499,19), (0,4604,22), (2,184,52)])"
}
all_nodes {
  op: OP_LITERAL
  id: 595
  ir: "literal.595: bits[10] = literal(value=0, id=595, pos=[(0,4509,45), (0,4604,22), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 714
  ir: "and.714: bits[1] = and(f_sign__1: bits[1], bit_slice.596: bits[1], id=714)"
}
all_nodes {
  node_delay_ps: 105
  op: OP_EQ
  id: 592
  ir: "eq.592: bits[1] = eq(f_bexp__2: bits[11], EXPR_MASK: bits[11], id=592, pos=[(0,4492,13), (0,4604,22), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 154
  op: OP_EQ
  id: 593
  ir: "eq.593: bits[1] = eq(f_fraction__1: bits[52], literal.582: bits[52], id=593, pos=[(0,4492,13), (0,4604,22), (2,184,52)])"
}
all_nodes {
  op: OP_LITERAL
  id: 618
  ir: "literal.618: bits[11] = literal(value=1075, id=618, pos=[(0,4192,17), (0,4497,35), (0,4604,22), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 151
  op: OP_SEL
  id: 622
  ir: "sel.622: bits[52] = sel(f_sign__1, cases=[fraction_integral__2, fraction_integral__4], id=622, pos=[(0,4507,19), (0,4604,22), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 661
  ir: "sign_ext.661: bits[52] = sign_ext(or.734: bits[1], new_bit_count=52, id=661, pos=[(0,4499,19), (0,4604,22), (2,184,52)])"
}
all_nodes {
  op: OP_CONCAT
  id: 715
  ir: "concat.715: bits[11] = concat(literal.595: bits[10], and.714: bits[1], id=715)"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 796
  ir: "sign_ext.796: bits[10] = sign_ext(f_sign__1: bits[1], new_bit_count=10, id=796, pos=[(0,4500,16), (0,4604,22), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 598
  ir: "and.598: bits[1] = and(eq.592: bits[1], eq.593: bits[1], id=598, pos=[(0,4492,13), (0,4604,22), (2,184,52)])"
}
all_nodes {
  op: OP_NOT
  id: 846
  ir: "not.846: bits[1] = not(eq.592: bits[1], id=846, pos=[(0,4604,22), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 147
  op: OP_ULT
  id: 626
  ir: "ult.626: bits[1] = ult(f_bexp__2: bits[11], literal.618: bits[11], id=626, pos=[(0,4192,5), (0,4497,35), (0,4604,22), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 662
  ir: "and.662: bits[52] = and(sel.622: bits[52], sign_ext.661: bits[52], id=662, pos=[(0,4499,19), (0,4604,22), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 619
  ir: "nor.619: bits[1] = nor(bit_slice.610: bits[1], and_reduce.611: bits[1], id=619, pos=[(0,4219,5), (0,4499,43), (0,4604,22), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 245
  op: OP_ADD
  id: 652
  ir: "add.652: bits[11] = add(f_bexp__2: bits[11], concat.715: bits[11], id=652)"
}
all_nodes {
  op: OP_CONCAT
  id: 800
  ir: "concat.800: bits[11] = concat(literal.585: bits[1], sign_ext.796: bits[10], id=800, pos=[(0,4500,16), (0,4604,22), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 19
  op: OP_OR
  id: 723
  ir: "or.723: bits[1] = or(eq.577: bits[1], and.598: bits[1], id=723, pos=[(0,4604,22), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 851
  ir: "nor.851: bits[1] = nor(not.846: bits[1], eq.593: bits[1], id=851, pos=[(0,4604,22), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 151
  op: OP_SEL
  id: 632
  ir: "sel.632: bits[52] = sel(ult.626, cases=[tuple_index.581, and.662], id=632, pos=[(0,4497,12), (0,4604,22), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 849
  ir: "nor.849: bits[1] = nor(eq.577: bits[1], eq.592: bits[1], id=849, pos=[(0,4604,22), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 121
  op: OP_SEL
  id: 627
  ir: "sel.627: bits[11] = sel(nor.619, cases=[add.652, concat.800], id=627, pos=[(0,4499,19), (0,4604,22), (2,184,52)])"
}
all_nodes {
  op: OP_CONCAT
  id: 717
  ir: "concat.717: bits[2] = concat(or.723: bits[1], nor.851: bits[1], id=717, pos=[(0,4604,22), (2,184,52)])"
}
all_nodes {
  op: OP_LITERAL
  id: 811
  ir: "literal.811: bits[1] = literal(value=1, id=811, pos=[(0,4492,13), (0,4604,22), (2,184,52)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 692
  ir: "bit_slice.692: bits[1] = bit_slice(sel.632: bits[52], start=51, width=1, id=692, pos=[(0,4604,22), (2,184,52)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 688
  ir: "bit_slice.688: bits[51] = bit_slice(sel.632: bits[52], start=0, width=51, id=688, pos=[(0,4604,22), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 792
  ir: "sign_ext.792: bits[51] = sign_ext(nor.849: bits[1], new_bit_count=51, id=792, pos=[(0,4604,22), (2,184,52)])"
}
all_nodes {
  op: OP_NOT
  id: 643
  ir: "not.643: bits[1] = not(f_sign__1: bits[1], id=643, pos=[(0,4604,22), (2,184,52)])"
}
all_nodes {
  op: OP_CONCAT
  id: 716
  ir: "concat.716: bits[2] = concat(eq.577: bits[1], eq.592: bits[1], id=716, pos=[(0,4604,22), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 121
  op: OP_SEL
  id: 630
  ir: "sel.630: bits[11] = sel(ult.626, cases=[f_bexp__2, sel.627], id=630, pos=[(0,4497,12), (0,4604,22), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 90
  op: OP_PRIORITY_SEL
  id: 693
  ir: "priority_sel.693: bits[1] = priority_sel(concat.717, cases=[literal.811, literal.585], default=bit_slice.692, id=693, pos=[(0,4604,22), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 793
  ir: "and.793: bits[51] = and(bit_slice.688: bits[51], sign_ext.792: bits[51], id=793, pos=[(0,4604,22), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 644
  ir: "nor.644: bits[1] = nor(nor.851: bits[1], not.643: bits[1], id=644, pos=[(0,4604,22), (2,184,52)])"
}
all_nodes {
  node_delay_ps: 142
  op: OP_PRIORITY_SEL
  id: 667
  ir: "priority_sel.667: bits[11] = priority_sel(concat.716, cases=[EXPR_MASK, literal.576], default=sel.630, id=667, pos=[(0,4604,22), (2,184,52)])"
}
all_nodes {
  op: OP_CONCAT
  id: 694
  ir: "concat.694: bits[52] = concat(priority_sel.693: bits[1], and.793: bits[51], id=694, pos=[(0,4604,22), (2,184,52)])"
}
all_nodes {
  op: OP_TUPLE
  id: 636
  ir: "tuple.636: (bits[1], bits[11], bits[52]) = tuple(nor.644: bits[1], priority_sel.667: bits[11], concat.694: bits[52], id=636, pos=[(0,4604,22), (2,184,52)])"
}