package float32

file_number 0 "/inputs/subtree/xls/dslx/stdlib/std.x"
file_number 1 "/inputs/subtree/xls/dslx/stdlib/abs_diff.x"
file_number 2 "/inputs/subtree/xls/dslx/stdlib/apfloat.x"
file_number 3 "/inputs/subtree/xls/dslx/stdlib/float32.x"

top fn __float32__sub(x: (bits[1], bits[8], bits[23]) id=853, y: (bits[1], bits[8], bits[23]) id=854) -> (bits[1], bits[8], bits[23]) {
  y_bexp__2: bits[8] = tuple_index(y, index=1, id=30380, pos=[(2,3238,65), (3,365,48)])
  literal.30384: bits[1] = literal(value=0, id=30384, pos=[(2,3239,7), (3,365,48)])
  x_bexp__2: bits[8] = tuple_index(x, index=1, id=30385, pos=[(2,3087,59), (2,3239,7), (3,365,48)])
  y__1_bexpnot__1: bits[8] = not(y_bexp__2, id=30386, pos=[(1,90,15), (2,3005,44), (2,3087,57), (2,3239,7), (3,365,48)])
  x_bexp_extended__2: bits[9] = concat(literal.30384, x_bexp__2, id=30387, pos=[(1,91,63), (2,3005,44), (2,3087,57), (2,3239,7), (3,365,48)])
  y__1_bexpnot_extended__1: bits[9] = concat(literal.30384, y__1_bexpnot__1, id=30388, pos=[(1,91,63), (2,3005,44), (2,3087,57), (2,3239,7), (3,365,48)])
  full_result: bits[9] = add(x_bexp_extended__2, y__1_bexpnot_extended__1, id=30389, pos=[(0,1119,45), (1,91,63), (2,3005,44), (2,3087,57), (2,3239,7), (3,365,48)])
  overflow_detected: bits[1] = bit_slice(full_result, start=8, width=1, id=30390, pos=[(0,1121,49), (1,91,63), (2,3005,44), (2,3087,57), (2,3239,7), (3,365,48)])
  y_fraction__2: bits[23] = tuple_index(y, index=2, id=30381, pos=[(2,3238,83), (3,365,48)])
  tuple_index.30393: bits[23] = tuple_index(x, index=2, id=30393, pos=[(2,3088,17), (2,3239,7), (3,365,48)])
  x_bexp__3: bits[8] = sel(overflow_detected, cases=[y_bexp__2, x_bexp__2], id=30810, pos=[(2,3088,17), (2,3239,7), (3,365,48)])
  literal.30395: bits[8] = literal(value=0, id=30395, pos=[(2,3095,34), (2,3239,7), (3,365,48)])
  y_bexp__3: bits[8] = sel(overflow_detected, cases=[x_bexp__2, y_bexp__2], id=30808, pos=[(2,3088,17), (2,3239,7), (3,365,48)])
  literal.30396: bits[1] = literal(value=1, id=30396, pos=[(2,3091,22), (2,3239,7), (3,365,48)])
  x_fraction__1: bits[23] = sel(overflow_detected, cases=[y_fraction__2, tuple_index.30393], id=30811, pos=[(2,3088,17), (2,3239,7), (3,365,48)])
  ne.31207: bits[1] = ne(x_bexp__3, literal.30395, id=31207, pos=[(2,3095,21), (2,3239,7), (3,365,48)])
  y_fraction__3: bits[23] = sel(overflow_detected, cases=[tuple_index.30393, y_fraction__2], id=30809, pos=[(2,3088,17), (2,3239,7), (3,365,48)])
  ne.31206: bits[1] = ne(y_bexp__3, literal.30395, id=31206, pos=[(2,3096,21), (2,3239,7), (3,365,48)])
  nc: bits[1] = not(overflow_detected, id=30391, pos=[(1,92,19), (2,3005,44), (2,3087,57), (2,3239,7), (3,365,48)])
  fraction_x: bits[24] = concat(literal.30396, x_fraction__1, id=30417, pos=[(2,3091,22), (2,3239,7), (3,365,48)])
  sign_ext.30941: bits[24] = sign_ext(ne.31207, new_bit_count=24, id=30941, pos=[(2,3095,21), (2,3239,7), (3,365,48)])
  fraction_y: bits[24] = concat(literal.30396, y_fraction__3, id=30399, pos=[(2,3092,22), (2,3239,7), (3,365,48)])
  sign_ext.30944: bits[24] = sign_ext(ne.31206, new_bit_count=24, id=30944, pos=[(2,3096,21), (2,3239,7), (3,365,48)])
  narrowed_result: bits[8] = bit_slice(full_result, start=0, width=8, id=30404, pos=[(1,91,63), (2,3005,44), (2,3087,57), (2,3239,7), (3,365,48)])
  x_bexpor_mask__1: bits[8] = sign_ext(nc, new_bit_count=8, id=30405, pos=[(1,94,32), (2,3005,44), (2,3087,57), (2,3239,7), (3,365,48)])
  literal.30406: bits[7] = literal(value=0, id=30406, pos=[(2,3006,68), (2,3087,57), (2,3239,7), (3,365,48)])
  y_sign__2: bits[1] = tuple_index(y, index=0, id=30378, pos=[(2,3238,51), (3,365,48)])
  fraction_x__1: bits[24] = and(fraction_x, sign_ext.30941, id=30942, pos=[(2,3095,21), (2,3239,7), (3,365,48)])
  fraction_y__1: bits[24] = and(fraction_y, sign_ext.30944, id=30945, pos=[(2,3096,21), (2,3239,7), (3,365,48)])
  xddend_x__2_squeezed_const_lsb_bits: bits[3] = literal(value=0, id=30950, pos=[(2,3106,19), (2,3239,7), (3,365,48)])
  result: bits[8] = xor(narrowed_result, x_bexpor_mask__1, id=30408, pos=[(1,95,18), (2,3005,44), (2,3087,57), (2,3239,7), (3,365,48)])
  concat.30409: bits[8] = concat(literal.30406, overflow_detected, id=30409, pos=[(2,3006,68), (2,3087,57), (2,3239,7), (3,365,48)])
  tuple_index.30427: bits[1] = tuple_index(x, index=0, id=30427, pos=[(2,3088,17), (2,3239,7), (3,365,48)])
  not.30379: bits[1] = not(y_sign__2, id=30379, pos=[(2,3238,49), (3,365,48)])
  wide_x_squeezed: bits[25] = concat(literal.30384, fraction_x__1, id=31138, pos=[(2,3099,17), (2,3239,7), (3,365,48)])
  wide_y_shift_bits: bits[27] = concat(fraction_y__1, xddend_x__2_squeezed_const_lsb_bits, id=30421, pos=[(2,3112,31), (2,3239,7), (3,365,48)])
  shift: bits[8] = add(result, concat.30409, id=30415, pos=[(1,54,7), (2,3006,68), (2,3087,57), (2,3239,7), (3,365,48)])
  literal.30414: bits[28] = literal(value=268435455, id=30414, pos=[(0,1411,19), (0,1501,17), (0,1528,22), (2,3111,35), (2,3239,7), (3,365,48)])
  xor.30432: bits[1] = xor(tuple_index.30427, not.30379, id=30432, pos=[(2,3106,23), (2,3239,7), (3,365,48)])
  neg.30429: bits[25] = neg(wide_x_squeezed, id=30429, pos=[(2,3106,41), (2,3239,7), (3,365,48)])
  shrl.30425: bits[27] = shrl(wide_y_shift_bits, shift, id=30425, pos=[(2,3112,31), (2,3239,7), (3,365,48)])
  not.31288: bits[23] = not(y_fraction__3, id=31288, pos=[(0,1411,4), (0,1501,17), (0,1528,22), (2,3111,35), (2,3239,7), (3,365,48)])
  shll.30419: bits[28] = shll(literal.30414, shift, id=30419, pos=[(0,1411,19), (0,1501,17), (0,1528,22), (2,3111,35), (2,3239,7), (3,365,48)])
  xddend_x__2_squeezed: bits[25] = sel(xor.30432, cases=[wide_x_squeezed, neg.30429], id=30948, pos=[(2,3106,19), (2,3239,7), (3,365,48)])
  literal.30821: bits[2] = literal(value=0, id=30821, pos=[(2,3239,7), (3,365,48)])
  bit_slice.31280: bits[24] = bit_slice(shrl.30425, start=3, width=24, id=31280, pos=[(2,3116,20), (2,3239,7), (3,365,48)])
  concat.31291: bits[24] = concat(literal.30384, not.31288, id=31291, pos=[(0,1411,4), (0,1501,17), (0,1528,22), (2,3111,35), (2,3239,7), (3,365,48)])
  not.31210: bits[24] = not(sign_ext.30944, id=31210, pos=[(0,1411,4), (0,1501,17), (0,1528,22), (2,3111,35), (2,3239,7), (3,365,48)])
  bit_slice.30423: bits[24] = bit_slice(shll.30419, start=3, width=24, id=30423, pos=[(0,1411,19), (0,1501,17), (0,1528,22), (2,3111,35), (2,3239,7), (3,365,48)])
  sign_ext.31257: bits[26] = sign_ext(xddend_x__2_squeezed, new_bit_count=26, id=31257, pos=[(2,3116,20), (2,3239,7), (3,365,48)])
  concat.31259: bits[26] = concat(literal.30821, bit_slice.31280, id=31259, pos=[(2,3116,20), (2,3239,7), (3,365,48)])
  nor.31211: bits[24] = nor(concat.31291, not.31210, bit_slice.30423, id=31211, pos=[(0,1411,4), (0,1501,17), (0,1528,22), (2,3111,35), (2,3239,7), (3,365,48)])
  literal.30400: bits[24] = literal(value=0, id=30400, pos=[(2,3095,49), (2,3239,7), (3,365,48)])
  add.31191: bits[26] = add(sign_ext.31257, concat.31259, id=31191, pos=[(2,3116,20), (2,3239,7), (3,365,48)])
  bit_slice.30430: bits[1] = bit_slice(shrl.30425, start=0, width=1, id=30430, pos=[(2,3049,40), (2,3112,30), (2,3239,7), (3,365,48)])
  sticky: bits[1] = ne(nor.31211, literal.30400, id=30431, pos=[(0,1501,17), (0,1528,22), (2,3111,35), (2,3239,7), (3,365,48)])
  bit_slice.31250: bits[25] = bit_slice(add.31191, start=0, width=25, id=31250, pos=[(2,3126,9), (2,3239,7), (3,365,48)])
  bit_slice.31281: bits[2] = bit_slice(shrl.30425, start=1, width=2, id=31281, pos=[(2,3116,20), (2,3239,7), (3,365,48)])
  or.30436: bits[1] = or(bit_slice.30430, sticky, id=30436, pos=[(2,3049,40), (2,3112,30), (2,3239,7), (3,365,48)])
  concat.31286: bits[28] = concat(bit_slice.31250, bit_slice.31281, or.30436, id=31286, pos=[(2,3126,9), (2,3239,7), (3,365,48)])
  bit_slice.31252: bits[1] = bit_slice(add.31191, start=25, width=1, id=31252, pos=[(2,3118,47), (2,3239,7), (3,365,48)])
  neg.30444: bits[28] = neg(concat.31286, id=30444, pos=[(2,3126,46), (2,3239,7), (3,365,48)])
  xbs_fraction__1: bits[28] = sel(bit_slice.31252, cases=[concat.31286, neg.30444], id=30445, pos=[(2,3126,9), (2,3239,7), (3,365,48)])
  bit_slice.30533: bits[1] = bit_slice(xbs_fraction__1, start=4, width=1, id=30533, pos=[(0,1590,70), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  bit_slice.30509: bits[1] = bit_slice(xbs_fraction__1, start=6, width=1, id=30509, pos=[(0,1590,70), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  bit_slice.30506: bits[1] = bit_slice(xbs_fraction__1, start=11, width=1, id=30506, pos=[(0,1590,40), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  bit_slice.30484: bits[1] = bit_slice(xbs_fraction__1, start=10, width=1, id=30484, pos=[(0,1590,70), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  bit_slice.30529: bits[1] = bit_slice(xbs_fraction__1, start=9, width=1, id=30529, pos=[(0,1590,40), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  bit_slice.30508: bits[1] = bit_slice(xbs_fraction__1, start=8, width=1, id=30508, pos=[(0,1590,70), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  bit_slice.30483: bits[1] = bit_slice(xbs_fraction__1, start=12, width=1, id=30483, pos=[(0,1590,70), (0,1595,64), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  bit_slice.30463: bits[1] = bit_slice(xbs_fraction__1, start=14, width=1, id=30463, pos=[(0,1590,70), (0,1595,34), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  bit_slice.30460: bits[1] = bit_slice(xbs_fraction__1, start=19, width=1, id=30460, pos=[(0,1590,40), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  bit_slice.30451: bits[1] = bit_slice(xbs_fraction__1, start=18, width=1, id=30451, pos=[(0,1590,70), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  bit_slice.30479: bits[1] = bit_slice(xbs_fraction__1, start=17, width=1, id=30479, pos=[(0,1590,40), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  bit_slice.30462: bits[1] = bit_slice(xbs_fraction__1, start=16, width=1, id=30462, pos=[(0,1590,70), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  carry_bit: bits[1] = bit_slice(xbs_fraction__1, start=27, width=1, id=30447, pos=[(2,3131,32), (2,3239,7), (3,365,48)])
  bit_slice.30446: bits[1] = bit_slice(xbs_fraction__1, start=26, width=1, id=30446, pos=[(0,1590,70), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  bit_slice.30455: bits[1] = bit_slice(xbs_fraction__1, start=25, width=1, id=30455, pos=[(0,1590,40), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  bit_slice.30449: bits[1] = bit_slice(xbs_fraction__1, start=24, width=1, id=30449, pos=[(0,1590,70), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  bit_slice.30459: bits[1] = bit_slice(xbs_fraction__1, start=20, width=1, id=30459, pos=[(0,1590,70), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  bit_slice.30450: bits[1] = bit_slice(xbs_fraction__1, start=22, width=1, id=30450, pos=[(0,1590,70), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  bit_slice.30531: bits[1] = bit_slice(xbs_fraction__1, start=7, width=1, id=30531, pos=[(0,1590,40), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  bit_slice.30553: bits[1] = bit_slice(xbs_fraction__1, start=5, width=1, id=30553, pos=[(0,1590,40), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  not.30554: bits[1] = not(bit_slice.30533, id=30554, pos=[(0,1583,4), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  not.31380: bits[1] = not(bit_slice.30509, id=31380, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  or.30902: bits[1] = or(bit_slice.30506, bit_slice.30484, id=30902, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30548: bits[1] = nor(bit_slice.30529, bit_slice.30508, id=30548, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30527: bits[1] = nor(bit_slice.30506, bit_slice.30484, id=30527, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  not.31384: bits[1] = not(bit_slice.30484, id=31384, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  not.30530: bits[1] = not(bit_slice.30508, id=30530, pos=[(0,1583,4), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  bit_slice.30481: bits[1] = bit_slice(xbs_fraction__1, start=15, width=1, id=30481, pos=[(0,1590,40), (0,1595,34), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  bit_slice.30504: bits[1] = bit_slice(xbs_fraction__1, start=13, width=1, id=30504, pos=[(0,1590,40), (0,1595,64), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  not.30505: bits[1] = not(bit_slice.30483, id=30505, pos=[(0,1583,4), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  not.30482: bits[1] = not(bit_slice.30463, id=30482, pos=[(0,1583,4), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  or.30904: bits[1] = or(bit_slice.30460, bit_slice.30451, id=30904, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30499: bits[1] = nor(bit_slice.30479, bit_slice.30462, id=30499, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30477: bits[1] = nor(bit_slice.30460, bit_slice.30451, id=30477, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  not.30480: bits[1] = not(bit_slice.30462, id=30480, pos=[(0,1583,4), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  not.31387: bits[1] = not(bit_slice.30451, id=31387, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30453: bits[1] = nor(carry_bit, bit_slice.30446, id=30453, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30469: bits[1] = nor(bit_slice.30455, bit_slice.30449, id=30469, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  bit_slice.30457: bits[1] = bit_slice(xbs_fraction__1, start=23, width=1, id=30457, pos=[(0,1590,40), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  bit_slice.30474: bits[1] = bit_slice(xbs_fraction__1, start=21, width=1, id=30474, pos=[(0,1590,40), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  or.30905: bits[1] = or(carry_bit, bit_slice.30446, id=30905, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  not.31391: bits[1] = not(bit_slice.30446, id=31391, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  not.30456: bits[1] = not(bit_slice.30449, id=30456, pos=[(0,1583,4), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  not.30475: bits[1] = not(bit_slice.30459, id=30475, pos=[(0,1583,4), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  not.30458: bits[1] = not(bit_slice.30450, id=30458, pos=[(0,1583,4), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  bit_slice.30575: bits[1] = bit_slice(xbs_fraction__1, start=3, width=1, id=30575, pos=[(0,1590,40), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  bit_slice.30555: bits[1] = bit_slice(xbs_fraction__1, start=2, width=1, id=30555, pos=[(0,1590,70), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  bit_slice.30599: bits[1] = bit_slice(xbs_fraction__1, start=1, width=1, id=30599, pos=[(0,1590,40), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  bit_slice.30577: bits[1] = bit_slice(xbs_fraction__1, start=0, width=1, id=30577, pos=[(2,3133,65), (2,3239,7), (3,365,48)])
  or.30901: bits[1] = or(bit_slice.30531, bit_slice.30509, id=30901, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30573: bits[1] = nor(bit_slice.30553, bit_slice.30533, id=30573, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30572: bits[1] = nor(bit_slice.30553, not.30554, id=30572, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30551: bits[1] = nor(bit_slice.30531, bit_slice.30509, id=30551, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.31381: bits[1] = nor(bit_slice.30531, not.31380, id=31381, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30630: bits[1] = nor(or.30902, nor.30548, id=30630, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  and.30631: bits[1] = and(nor.30527, nor.30548, id=30631, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.31385: bits[1] = nor(bit_slice.30506, not.31384, id=31385, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30547: bits[1] = nor(bit_slice.30529, not.30530, id=30547, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  or.30903: bits[1] = or(bit_slice.30481, bit_slice.30463, id=30903, pos=[(0,1595,22), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30524: bits[1] = nor(bit_slice.30504, bit_slice.30483, id=30524, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30523: bits[1] = nor(bit_slice.30504, not.30505, id=30523, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30501: bits[1] = nor(bit_slice.30481, not.30482, id=30501, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30585: bits[1] = nor(or.30904, nor.30499, id=30585, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  and.30586: bits[1] = and(nor.30477, nor.30499, id=30586, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30498: bits[1] = nor(bit_slice.30479, not.30480, id=30498, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.31388: bits[1] = nor(bit_slice.30460, not.31387, id=31388, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  and.30557: bits[1] = and(nor.30453, nor.30469, id=30557, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30472: bits[1] = nor(bit_slice.30457, bit_slice.30450, id=30472, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30493: bits[1] = nor(bit_slice.30474, bit_slice.30459, id=30493, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30556: bits[1] = nor(or.30905, nor.30469, id=30556, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.31392: bits[1] = nor(carry_bit, not.31391, id=31392, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30468: bits[1] = nor(bit_slice.30455, not.30456, id=30468, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  or.30906: bits[1] = or(bit_slice.30457, bit_slice.30450, id=30906, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30492: bits[1] = nor(bit_slice.30474, not.30475, id=30492, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30471: bits[1] = nor(bit_slice.30457, not.30458, id=30471, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  or.30900: bits[1] = or(bit_slice.30575, bit_slice.30555, id=30900, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30621: bits[1] = nor(bit_slice.30599, bit_slice.30577, id=30621, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30597: bits[1] = nor(bit_slice.30575, bit_slice.30555, id=30597, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  not.30600: bits[1] = not(bit_slice.30577, id=30600, pos=[(0,1583,4), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  not.31376: bits[1] = not(bit_slice.30555, id=31376, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30647: bits[1] = nor(or.30901, nor.30573, id=30647, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.30890: bits[2] = concat(literal.30396, nor.30572, id=30890, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.31014: bits[2] = concat(nor.30551, nor.31381, id=31014, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.30643: bits[2] = concat(nor.30630, and.30631, id=30643, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.31187: bits[2] = concat(nor.31385, literal.30384, id=31187, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.31162: bits[2] = concat(literal.30396, nor.30547, id=31162, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.31005: bits[2] = concat(nor.30527, nor.31385, id=31005, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30502: bits[1] = nor(bit_slice.30481, bit_slice.30463, id=30502, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30610: bits[1] = nor(or.30903, nor.30524, id=30610, pos=[(0,1595,22), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.30885: bits[2] = concat(literal.30396, nor.30523, id=30885, pos=[(0,1595,22), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.31401: bits[2] = concat(literal.30384, nor.30501, id=31401, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.30606: bits[2] = concat(nor.30585, and.30586, id=30606, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.31157: bits[2] = concat(literal.30396, nor.30498, id=31157, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.30996: bits[2] = concat(nor.30477, nor.31388, id=30996, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  not.30639: bits[1] = not(and.30557, id=30639, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  and.30583: bits[1] = and(nor.30472, nor.30493, id=30583, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.30578: bits[2] = concat(nor.30556, and.30557, id=30578, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.31186: bits[2] = concat(nor.31392, literal.30384, id=31186, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.31152: bits[2] = concat(literal.30396, nor.30468, id=31152, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.30987: bits[2] = concat(literal.30384, nor.31392, id=30987, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30582: bits[1] = nor(or.30906, nor.30493, id=30582, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.30882: bits[2] = concat(literal.30396, nor.30492, id=30882, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.31402: bits[2] = concat(literal.30384, nor.30471, id=31402, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30673: bits[1] = nor(or.30900, nor.30621, id=30673, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  and.30674: bits[1] = and(nor.30597, nor.30621, id=30674, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30620: bits[1] = nor(bit_slice.30599, not.30600, id=30620, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.31377: bits[1] = nor(bit_slice.30575, not.31376, id=31377, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  not.30681: bits[1] = not(and.30631, id=30681, pos=[(0,1600,22), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  and.30648: bits[1] = and(nor.30551, nor.30573, id=30648, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  priority_sel.30911: bits[2] = priority_sel(nor.30647, cases=[concat.30890], default=concat.31014, id=30911, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  priority_sel.31045: bits[2] = priority_sel(concat.30643, cases=[concat.31187, concat.31162], default=concat.31005, id=31045, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  not.30655: bits[1] = not(and.30586, id=30655, pos=[(0,1600,22), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  and.30611: bits[1] = and(nor.30502, nor.30524, id=30611, pos=[(0,1595,22), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  priority_sel.30866: bits[2] = priority_sel(nor.30610, cases=[concat.30885], default=concat.31401, id=30866, pos=[(0,1595,22), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  priority_sel.31027: bits[2] = priority_sel(concat.30606, cases=[literal.30821, concat.31157], default=concat.30996, id=31027, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30652: bits[1] = nor(not.30639, and.30583, id=30652, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  and.30653: bits[1] = and(and.30557, and.30583, id=30653, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  priority_sel.31018: bits[2] = priority_sel(concat.30578, cases=[concat.31186, concat.31152], default=concat.30987, id=31018, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  priority_sel.30863: bits[2] = priority_sel(nor.30582, cases=[concat.30882], default=concat.31402, id=30863, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.30683: bits[2] = concat(nor.30673, and.30674, id=30683, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.31174: bits[2] = concat(literal.30396, nor.30620, id=31174, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.31041: bits[2] = concat(nor.30597, nor.31377, id=31041, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30689: bits[1] = nor(not.30681, and.30648, id=30689, pos=[(0,1600,22), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.31141: bits[3] = concat(literal.30396, priority_sel.30911, id=31141, pos=[(0,1540,24), (0,1600,22), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.31050: bits[3] = concat(and.30631, priority_sel.31045, id=31050, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30668: bits[1] = nor(not.30655, and.30611, id=30668, pos=[(0,1600,22), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.30893: bits[3] = concat(literal.30396, priority_sel.30866, id=30893, pos=[(0,1600,22), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.31032: bits[3] = concat(and.30586, priority_sel.31027, id=31032, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.30664: bits[2] = concat(nor.30652, and.30653, id=30664, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.31188: bits[3] = concat(priority_sel.31018, literal.30384, id=31188, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.31169: bits[3] = concat(literal.30396, priority_sel.30863, id=31169, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.31023: bits[3] = concat(literal.30384, priority_sel.31018, id=31023, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  priority_sel.31063: bits[2] = priority_sel(concat.30683, cases=[literal.30821, concat.31174], default=concat.31041, id=31063, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  priority_sel.30958: bits[3] = priority_sel(nor.30689, cases=[concat.31141], default=concat.31050, id=30958, pos=[(0,1600,22), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  not.30693: bits[1] = not(and.30653, id=30693, pos=[(0,1605,22), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  and.30669: bits[1] = and(and.30586, and.30611, id=30669, pos=[(0,1600,22), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  priority_sel.30913: bits[3] = priority_sel(nor.30668, cases=[concat.30893], default=concat.31032, id=30913, pos=[(0,1600,22), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  priority_sel.31054: bits[3] = priority_sel(concat.30664, cases=[concat.31188, concat.31169], default=concat.31023, id=31054, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  and.30690: bits[1] = and(and.30631, and.30648, id=30690, pos=[(0,1600,22), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.31182: bits[4] = concat(literal.30396, and.30674, priority_sel.31063, id=31182, pos=[(0,1605,22), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.31184: bits[4] = concat(literal.30384, priority_sel.30958, id=31184, pos=[(0,1600,22), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  nor.30701: bits[1] = nor(not.30693, and.30669, id=30701, pos=[(0,1605,22), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.31144: bits[4] = concat(literal.30396, priority_sel.30913, id=31144, pos=[(0,1540,24), (0,1605,22), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.31059: bits[4] = concat(and.30653, priority_sel.31054, id=31059, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  priority_sel.30713: bits[4] = priority_sel(and.30690, cases=[concat.31182], default=concat.31184, id=30713, pos=[(0,1605,22), (0,1610,66), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  priority_sel.30964: bits[4] = priority_sel(nor.30701, cases=[concat.31144], default=concat.31059, id=30964, pos=[(0,1605,22), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  and.30702: bits[1] = and(and.30653, and.30669, id=30702, pos=[(0,1605,22), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.30715: bits[5] = concat(literal.30396, priority_sel.30713, id=30715, pos=[(0,1610,22), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.31185: bits[5] = concat(literal.30384, priority_sel.30964, id=31185, pos=[(0,1605,22), (0,1610,35), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  concat.30716: bits[29] = concat(literal.30384, xbs_fraction__1, id=30716, pos=[(2,3239,7), (3,365,48)])
  leading_zeroes: bits[5] = priority_sel(and.30702, cases=[concat.30715], default=concat.31185, id=30717, pos=[(0,1610,22), (0,1643,30), (0,1707,13), (2,3137,34), (2,3239,7), (3,365,48)])
  cancel_fraction: bits[29] = shll(concat.30716, leading_zeroes, id=30718, pos=[(2,3140,26), (2,3239,7), (3,365,48)])
  bit_slice.30719: bits[26] = bit_slice(xbs_fraction__1, start=2, width=26, id=30719, pos=[(2,3049,20), (2,3133,36), (2,3239,7), (3,365,48)])
  or.30720: bits[1] = or(bit_slice.30599, bit_slice.30577, id=30720, pos=[(2,3049,40), (2,3133,36), (2,3239,7), (3,365,48)])
  cancel_fraction__1: bits[27] = bit_slice(cancel_fraction, start=1, width=27, id=30721, pos=[(2,3239,7), (3,365,48)])
  carry_fraction__1: bits[27] = concat(bit_slice.30719, or.30720, id=30722, pos=[(2,3049,20), (2,3133,36), (2,3239,7), (3,365,48)])
  shifted_fraction: bits[27] = sel(carry_bit, cases=[cancel_fraction__1, carry_fraction__1], id=30723, pos=[(2,3142,27), (2,3239,7), (3,365,48)])
  normal_chunk: bits[3] = bit_slice(shifted_fraction, start=0, width=3, id=30724, pos=[(2,3154,39), (2,3239,7), (3,365,48)])
  fraction_shift__3: bits[3] = literal(value=4, id=30700, pos=[(2,3170,8), (2,3239,7), (3,365,48)])
  half_way_chunk: bits[2] = bit_slice(shifted_fraction, start=2, width=2, id=30725, pos=[(2,3155,41), (2,3239,7), (3,365,48)])
  literal.30726: bits[2] = literal(value=3, id=30726, pos=[(2,3156,68), (2,3239,7), (3,365,48)])
  ugt.30727: bits[1] = ugt(normal_chunk, fraction_shift__3, id=30727, pos=[(2,3156,23), (2,3239,7), (3,365,48)])
  eq.30728: bits[1] = eq(half_way_chunk, literal.30726, id=30728, pos=[(2,3156,50), (2,3239,7), (3,365,48)])
  bit_slice.31262: bits[24] = bit_slice(shifted_fraction, start=3, width=24, id=31262)
  do_round_up: bits[1] = or(ugt.30727, eq.30728, id=30731, pos=[(2,3156,23), (2,3239,7), (3,365,48)])
  concat.31263: bits[25] = concat(literal.30384, bit_slice.31262, id=31263)
  concat.31403: bits[25] = concat(literal.30400, do_round_up, id=31403)
  add.31203: bits[25] = add(concat.31263, concat.31403, id=31203)
  literal.30734: bits[5] = literal(value=0, id=30734, pos=[(2,3239,7), (3,365,48)])
  rounding_carry: bits[1] = bit_slice(add.31203, start=24, width=1, id=31254, pos=[(2,3164,41), (2,3239,7), (3,365,48)])
  literal.31350: bits[26] = literal(value=0, id=31350, pos=[(2,3117,39), (2,3239,7), (3,365,48)])
  bit_slice.31399: bits[1] = bit_slice(shrl.30425, start=1, width=1, id=31399, pos=[(2,3117,27), (2,3239,7), (3,365,48)])
  bit_slice.31400: bits[1] = bit_slice(shrl.30425, start=2, width=1, id=31400, pos=[(2,3117,27), (2,3239,7), (3,365,48)])
  concat.30736: bits[9] = concat(literal.30384, x_bexp__3, id=30736, pos=[(2,3239,7), (3,365,48)])
  literal.30737: bits[9] = literal(value=1, id=30737, pos=[(2,3176,24), (2,3239,7), (3,365,48)])
  concat.31282: bits[6] = concat(literal.30734, rounding_carry, id=31282, pos=[(2,3239,7), (3,365,48)])
  concat.30739: bits[6] = concat(literal.30384, leading_zeroes, id=30739, pos=[(2,3239,7), (3,365,48)])
  eq.31318: bits[1] = eq(add.31191, literal.31350, id=31318, pos=[(2,3117,27), (2,3239,7), (3,365,48)])
  nor.31373: bits[1] = nor(bit_slice.31399, bit_slice.31400, id=31373, pos=[(2,3117,27), (2,3239,7), (3,365,48)])
  nor.31374: bits[1] = nor(bit_slice.30430, sticky, id=31374, pos=[(2,3117,27), (2,3239,7), (3,365,48)])
  add.30740: bits[9] = add(concat.30736, literal.30737, id=30740, pos=[(2,3175,26), (2,3239,7), (3,365,48)])
  sub.30741: bits[6] = sub(concat.31282, concat.30739, id=30741, pos=[(2,3175,26), (2,3239,7), (3,365,48)])
  fraction_is_zero: bits[1] = and(eq.31318, nor.31373, nor.31374, id=31372, pos=[(2,3117,27), (2,3239,7), (3,365,48)])
  wide_exponent_associative_element: bits[10] = concat(literal.30384, add.30740, id=30743, pos=[(2,3175,26), (2,3239,7), (3,365,48)])
  wide_exponent_associative_element__1: bits[10] = sign_ext(sub.30741, new_bit_count=10, id=30744, pos=[(2,3175,26), (2,3239,7), (3,365,48)])
  not.30970: bits[1] = not(fraction_is_zero, id=30970, pos=[(2,3177,24), (2,3239,7), (3,365,48)])
  wide_exponent: bits[10] = add(wide_exponent_associative_element, wide_exponent_associative_element__1, id=30746, pos=[(2,3175,26), (2,3239,7), (3,365,48)])
  sign_ext.30971: bits[10] = sign_ext(not.30970, new_bit_count=10, id=30971, pos=[(2,3177,24), (2,3239,7), (3,365,48)])
  wide_exponent__1: bits[10] = and(wide_exponent, sign_ext.30971, id=30972, pos=[(2,3177,24), (2,3239,7), (3,365,48)])
  bit_slice.30755: bits[1] = bit_slice(wide_exponent__1, start=9, width=1, id=30755, pos=[(2,3180,27), (2,3239,7), (3,365,48)])
  not.30973: bits[1] = not(bit_slice.30755, id=30973, pos=[(2,3180,24), (2,3239,7), (3,365,48)])
  bit_slice.30756: bits[9] = bit_slice(wide_exponent__1, start=0, width=9, id=30756, pos=[(2,3239,7), (3,365,48)])
  sign_ext.30974: bits[9] = sign_ext(not.30973, new_bit_count=9, id=30974, pos=[(2,3180,24), (2,3239,7), (3,365,48)])
  MAX_EXPONENT: bits[8] = literal(value=255, id=30748, pos=[(2,3193,39), (2,3239,7), (3,365,48)])
  literal.30749: bits[23] = literal(value=0, id=30749, pos=[(2,3190,44), (2,3239,7), (3,365,48)])
  wide_exponent__2: bits[9] = and(bit_slice.30756, sign_ext.30974, id=30975, pos=[(2,3180,24), (2,3239,7), (3,365,48)])
  eq.30751: bits[1] = eq(x_bexp__3, MAX_EXPONENT, id=30751, pos=[(2,71,6), (2,3213,30), (2,3239,7), (3,365,48)])
  eq.30752: bits[1] = eq(x_fraction__1, literal.30749, id=30752, pos=[(2,96,44), (2,3201,31), (2,3239,7), (3,365,48)])
  eq.30753: bits[1] = eq(y_bexp__3, MAX_EXPONENT, id=30753, pos=[(2,71,6), (2,3213,64), (2,3239,7), (3,365,48)])
  eq.30754: bits[1] = eq(y_fraction__3, literal.30749, id=30754, pos=[(2,96,44), (2,3201,65), (2,3239,7), (3,365,48)])
  bit_slice.30770: bits[8] = bit_slice(wide_exponent__2, start=1, width=8, id=30770, pos=[(2,3190,11), (2,3239,7), (3,365,48)])
  not.30758: bits[1] = not(eq.30751, id=30758, pos=[(2,3205,29), (2,3239,7), (3,365,48)])
  not.30759: bits[1] = not(eq.30752, id=30759, pos=[(2,3205,29), (2,3239,7), (3,365,48)])
  x_sign__1: bits[1] = sel(overflow_detected, cases=[not.30379, tuple_index.30427], id=30814, pos=[(2,3088,17), (2,3239,7), (3,365,48)])
  not.30761: bits[1] = not(eq.30753, id=30761, pos=[(2,3206,29), (2,3239,7), (3,365,48)])
  not.30762: bits[1] = not(eq.30754, id=30762, pos=[(2,3206,29), (2,3239,7), (3,365,48)])
  y_sign__3: bits[1] = sel(overflow_detected, cases=[tuple_index.30427, not.30379], id=30815, pos=[(2,3088,17), (2,3239,7), (3,365,48)])
  and.30777: bits[1] = and(eq.30751, eq.30752, id=30777, pos=[(2,96,6), (2,3201,31), (2,3239,7), (3,365,48)])
  and.30778: bits[1] = and(eq.30753, eq.30754, id=30778, pos=[(2,96,6), (2,3201,65), (2,3239,7), (3,365,48)])
  bit_slice.30779: bits[8] = bit_slice(wide_exponent__2, start=0, width=8, id=30779, pos=[(2,3239,7), (3,365,48)])
  or_reduce.30780: bits[1] = or_reduce(bit_slice.30770, id=30780, pos=[(2,3190,11), (2,3239,7), (3,365,48)])
  bit_slice.30781: bits[1] = bit_slice(wide_exponent__2, start=0, width=1, id=30781, pos=[(2,3190,11), (2,3239,7), (3,365,48)])
  nor.30765: bits[1] = nor(not.30758, not.30759, x_sign__1, id=30765, pos=[(2,3205,29), (2,3239,7), (3,365,48)])
  nor.30766: bits[1] = nor(not.30761, not.30762, y_sign__3, id=30766, pos=[(2,3206,29), (2,3239,7), (3,365,48)])
  and.30767: bits[1] = and(eq.30751, eq.30752, x_sign__1, id=30767, pos=[(2,3211,29), (2,3239,7), (3,365,48)])
  and.30768: bits[1] = and(eq.30753, eq.30754, y_sign__3, id=30768, pos=[(2,3212,29), (2,3239,7), (3,365,48)])
  fraction_shift__2: bits[3] = literal(value=3, id=30771, pos=[(2,3170,8), (2,3239,7), (3,365,48)])
  is_operand_inf: bits[1] = or(and.30777, and.30778, id=30789, pos=[(2,3201,31), (2,3239,7), (3,365,48)])
  bit_slice.30790: bits[1] = bit_slice(wide_exponent__2, start=8, width=1, id=30790, pos=[(2,3196,11), (2,3239,7), (3,365,48)])
  and_reduce.30791: bits[1] = and_reduce(bit_slice.30779, id=30791, pos=[(2,3196,11), (2,3239,7), (3,365,48)])
  nor.30792: bits[1] = nor(or_reduce.30780, bit_slice.30781, id=30792, pos=[(2,3190,11), (2,3239,7), (3,365,48)])
  has_pos_inf: bits[1] = or(nor.30765, nor.30766, id=30774, pos=[(2,3205,29), (2,3239,7), (3,365,48)])
  has_neg_inf: bits[1] = or(and.30767, and.30768, id=30775, pos=[(2,3211,29), (2,3239,7), (3,365,48)])
  not.30827: bits[1] = not(tuple_index.30427, id=30827, pos=[(2,3119,22), (2,3239,7), (3,365,48)])
  rounded_fraction: bits[28] = concat(add.31203, normal_chunk, id=31285)
  fraction_shift__1: bits[3] = sel(rounding_carry, cases=[fraction_shift__2, fraction_shift__3], id=30782, pos=[(2,3170,8), (2,3239,7), (3,365,48)])
  or.30797: bits[1] = or(is_operand_inf, bit_slice.30790, and_reduce.30791, nor.30792, id=30797, pos=[(2,3203,26), (2,3239,7), (3,365,48)])
  nor.30824: bits[1] = nor(not.30758, eq.30752, id=30824, pos=[(2,71,6), (2,3213,30), (2,3239,7), (3,365,48)])
  nor.30826: bits[1] = nor(not.30761, eq.30754, id=30826, pos=[(2,71,6), (2,3213,64), (2,3239,7), (3,365,48)])
  and.30785: bits[1] = and(has_pos_inf, has_neg_inf, id=30785, pos=[(2,3214,25), (2,3239,7), (3,365,48)])
  concat.31283: bits[2] = concat(bit_slice.31252, fraction_is_zero, id=31283, pos=[(2,3239,7), (3,365,48)])
  nor.30828: bits[1] = nor(not.30827, y_sign__2, id=30828, pos=[(2,3119,22), (2,3239,7), (3,365,48)])
  not.30788: bits[1] = not(y_sign__3, id=30788, pos=[(2,3120,25), (2,3239,7), (3,365,48)])
  shrl.30793: bits[28] = shrl(rounded_fraction, fraction_shift__1, id=30793, pos=[(2,3171,27), (2,3239,7), (3,365,48)])
  not.30976: bits[1] = not(or.30797, id=30976, pos=[(2,3203,26), (2,3239,7), (3,365,48)])
  is_result_nan: bits[1] = or(nor.30824, nor.30826, and.30785, id=30794, pos=[(2,3213,30), (2,3239,7), (3,365,48)])
  result_sign: bits[1] = priority_sel(concat.31283, cases=[nor.30828, not.30788], default=y_sign__3, id=30795, pos=[(2,3239,7), (3,365,48)])
  not.30796: bits[1] = not(has_pos_inf, id=30796, pos=[(2,3207,42), (2,3239,7), (3,365,48)])
  result_fraction: bits[23] = bit_slice(shrl.30793, start=0, width=23, id=30798, pos=[(2,3239,7), (3,365,48)])
  sign_ext.30977: bits[23] = sign_ext(not.30976, new_bit_count=23, id=30977, pos=[(2,3203,26), (2,3239,7), (3,365,48)])
  not.30799: bits[1] = not(is_result_nan, id=30799, pos=[(2,3218,22), (2,3239,7), (3,365,48)])
  result_sign__1: bits[1] = sel(is_operand_inf, cases=[result_sign, not.30796], id=30800, pos=[(2,3207,22), (2,3239,7), (3,365,48)])
  or.30801: bits[1] = or(is_result_nan, is_operand_inf, bit_slice.30790, and_reduce.30791, id=30801, pos=[(2,3216,26), (2,3239,7), (3,365,48)])
  result_fraction__3: bits[23] = and(result_fraction, sign_ext.30977, id=30978, pos=[(2,3203,26), (2,3239,7), (3,365,48)])
  FRACTION_HIGH_BIT: bits[23] = literal(value=4194304, id=30803, pos=[(2,3215,30), (2,3239,7), (3,365,48)])
  result_sign__2: bits[1] = and(not.30799, result_sign__1, id=30804, pos=[(2,3218,22), (2,3239,7), (3,365,48)])
  result_exponent__2: bits[8] = sel(or.30801, cases=[bit_slice.30779, MAX_EXPONENT], id=30805, pos=[(2,3216,26), (2,3239,7), (3,365,48)])
  result_fraction__4: bits[23] = sel(is_result_nan, cases=[result_fraction__3, FRACTION_HIGH_BIT], id=30806, pos=[(2,3217,26), (2,3239,7), (3,365,48)])
  ret tuple.30807: (bits[1], bits[8], bits[23]) = tuple(result_sign__2, result_exponent__2, result_fraction__4, id=30807, pos=[(2,3221,33), (2,3239,7), (3,365,48)])
}