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=30378, pos=[(2,3242,65), (3,365,48)])
  literal.30382: bits[1] = literal(value=0, id=30382, pos=[(1,91,63), (2,3009,44), (2,3091,57), (2,3243,7), (3,365,48)])
  x_bexp__2: bits[8] = tuple_index(x, index=1, id=30383, pos=[(2,3091,59), (2,3243,7), (3,365,48)])
  y__1_bexpnot__1: bits[8] = not(y_bexp__2, id=30384, pos=[(1,90,15), (2,3009,44), (2,3091,57), (2,3243,7), (3,365,48)])
  x_bexp_extended__2: bits[9] = concat(literal.30382, x_bexp__2, id=30385, pos=[(1,91,63), (2,3009,44), (2,3091,57), (2,3243,7), (3,365,48)])
  y__1_bexpnot_extended__1: bits[9] = concat(literal.30382, y__1_bexpnot__1, id=30386, pos=[(1,91,63), (2,3009,44), (2,3091,57), (2,3243,7), (3,365,48)])
  full_result: bits[9] = add(x_bexp_extended__2, y__1_bexpnot_extended__1, id=30387, pos=[(0,1119,45), (1,91,63), (2,3009,44), (2,3091,57), (2,3243,7), (3,365,48)])
  overflow_detected: bits[1] = bit_slice(full_result, start=8, width=1, id=30388, pos=[(0,1121,49), (1,91,63), (2,3009,44), (2,3091,57), (2,3243,7), (3,365,48)])
  y_fraction__2: bits[23] = tuple_index(y, index=2, id=30379, pos=[(2,3242,83), (3,365,48)])
  tuple_index.30391: bits[23] = tuple_index(x, index=2, id=30391, pos=[(2,3092,17), (2,3243,7), (3,365,48)])
  x_bexp__3: bits[8] = sel(overflow_detected, cases=[y_bexp__2, x_bexp__2], id=30808, pos=[(2,3092,17), (2,3243,7), (3,365,48)])
  literal.30393: bits[8] = literal(value=0, id=30393, pos=[(2,3099,34), (2,3243,7), (3,365,48)])
  y_bexp__3: bits[8] = sel(overflow_detected, cases=[x_bexp__2, y_bexp__2], id=30806, pos=[(2,3092,17), (2,3243,7), (3,365,48)])
  literal.30394: bits[1] = literal(value=1, id=30394, pos=[(2,3095,22), (2,3243,7), (3,365,48)])
  x_fraction__1: bits[23] = sel(overflow_detected, cases=[y_fraction__2, tuple_index.30391], id=30809, pos=[(2,3092,17), (2,3243,7), (3,365,48)])
  ne.31203: bits[1] = ne(x_bexp__3, literal.30393, id=31203, pos=[(2,3099,21), (2,3243,7), (3,365,48)])
  y_fraction__3: bits[23] = sel(overflow_detected, cases=[tuple_index.30391, y_fraction__2], id=30807, pos=[(2,3092,17), (2,3243,7), (3,365,48)])
  ne.31202: bits[1] = ne(y_bexp__3, literal.30393, id=31202, pos=[(2,3100,21), (2,3243,7), (3,365,48)])
  nc: bits[1] = not(overflow_detected, id=30389, pos=[(1,92,19), (2,3009,44), (2,3091,57), (2,3243,7), (3,365,48)])
  y_sign__2: bits[1] = tuple_index(y, index=0, id=30376, pos=[(2,3242,51), (3,365,48)])
  fraction_x: bits[24] = concat(literal.30394, x_fraction__1, id=30415, pos=[(2,3095,22), (2,3243,7), (3,365,48)])
  sign_ext.30937: bits[24] = sign_ext(ne.31203, new_bit_count=24, id=30937, pos=[(2,3099,21), (2,3243,7), (3,365,48)])
  fraction_y: bits[24] = concat(literal.30394, y_fraction__3, id=30397, pos=[(2,3096,22), (2,3243,7), (3,365,48)])
  sign_ext.30940: bits[24] = sign_ext(ne.31202, new_bit_count=24, id=30940, pos=[(2,3100,21), (2,3243,7), (3,365,48)])
  narrowed_result: bits[8] = bit_slice(full_result, start=0, width=8, id=30402, pos=[(1,91,63), (2,3009,44), (2,3091,57), (2,3243,7), (3,365,48)])
  x_bexpor_mask__1: bits[8] = sign_ext(nc, new_bit_count=8, id=30403, pos=[(1,94,32), (2,3009,44), (2,3091,57), (2,3243,7), (3,365,48)])
  literal.30404: bits[7] = literal(value=0, id=30404, pos=[(2,3010,68), (2,3091,57), (2,3243,7), (3,365,48)])
  not.30377: bits[1] = not(y_sign__2, id=30377, pos=[(2,3242,49), (3,365,48)])
  tuple_index.30422: bits[1] = tuple_index(x, index=0, id=30422, pos=[(2,3092,17), (2,3243,7), (3,365,48)])
  fraction_x__1: bits[24] = and(fraction_x, sign_ext.30937, id=30938, pos=[(2,3099,21), (2,3243,7), (3,365,48)])
  fraction_y__1: bits[24] = and(fraction_y, sign_ext.30940, id=30941, pos=[(2,3100,21), (2,3243,7), (3,365,48)])
  xddend_x__2_squeezed_const_lsb_bits: bits[3] = literal(value=0, id=30400, pos=[(2,3104,17), (2,3243,7), (3,365,48)])
  result: bits[8] = xor(narrowed_result, x_bexpor_mask__1, id=30406, pos=[(1,95,18), (2,3009,44), (2,3091,57), (2,3243,7), (3,365,48)])
  concat.30407: bits[8] = concat(literal.30404, overflow_detected, id=30407, pos=[(2,3010,68), (2,3091,57), (2,3243,7), (3,365,48)])
  x_sign__1: bits[1] = sel(overflow_detected, cases=[not.30377, tuple_index.30422], id=30810, pos=[(2,3092,17), (2,3243,7), (3,365,48)])
  y_sign__3: bits[1] = sel(overflow_detected, cases=[tuple_index.30422, not.30377], id=30811, pos=[(2,3092,17), (2,3243,7), (3,365,48)])
  wide_x_squeezed: bits[25] = concat(literal.30382, fraction_x__1, id=30424, pos=[(2,3103,17), (2,3243,7), (3,365,48)])
  wide_y_shift_bits: bits[27] = concat(fraction_y__1, xddend_x__2_squeezed_const_lsb_bits, id=30419, pos=[(2,3116,31), (2,3243,7), (3,365,48)])
  shift: bits[8] = add(result, concat.30407, id=30413, pos=[(1,54,7), (2,3010,68), (2,3091,57), (2,3243,7), (3,365,48)])
  literal.30412: bits[28] = literal(value=268435455, id=30412, pos=[(0,1411,19), (0,1501,17), (0,1528,22), (2,3115,35), (2,3243,7), (3,365,48)])
  xor.30432: bits[1] = xor(x_sign__1, y_sign__3, id=30432, pos=[(2,3110,23), (2,3243,7), (3,365,48)])
  neg.30429: bits[25] = neg(wide_x_squeezed, id=30429, pos=[(2,3110,41), (2,3243,7), (3,365,48)])
  shrl.30425: bits[27] = shrl(wide_y_shift_bits, shift, id=30425, pos=[(2,3116,31), (2,3243,7), (3,365,48)])
  not.31284: bits[23] = not(y_fraction__3, id=31284, pos=[(0,1411,4), (0,1501,17), (0,1528,22), (2,3115,35), (2,3243,7), (3,365,48)])
  shll.30417: bits[28] = shll(literal.30412, shift, id=30417, pos=[(0,1411,19), (0,1501,17), (0,1528,22), (2,3115,35), (2,3243,7), (3,365,48)])
  xddend_x__2_squeezed: bits[25] = sel(xor.30432, cases=[wide_x_squeezed, neg.30429], id=30944, pos=[(2,3110,19), (2,3243,7), (3,365,48)])
  literal.30819: bits[2] = literal(value=0, id=30819, pos=[(2,3243,7), (3,365,48)])
  bit_slice.31276: bits[24] = bit_slice(shrl.30425, start=3, width=24, id=31276, pos=[(2,3120,20), (2,3243,7), (3,365,48)])
  concat.31287: bits[24] = concat(literal.30382, not.31284, id=31287, pos=[(0,1411,4), (0,1501,17), (0,1528,22), (2,3115,35), (2,3243,7), (3,365,48)])
  not.31206: bits[24] = not(sign_ext.30940, id=31206, pos=[(0,1411,4), (0,1501,17), (0,1528,22), (2,3115,35), (2,3243,7), (3,365,48)])
  bit_slice.30421: bits[24] = bit_slice(shll.30417, start=3, width=24, id=30421, pos=[(0,1411,19), (0,1501,17), (0,1528,22), (2,3115,35), (2,3243,7), (3,365,48)])
  sign_ext.31253: bits[26] = sign_ext(xddend_x__2_squeezed, new_bit_count=26, id=31253, pos=[(2,3120,20), (2,3243,7), (3,365,48)])
  concat.31255: bits[26] = concat(literal.30819, bit_slice.31276, id=31255, pos=[(2,3120,20), (2,3243,7), (3,365,48)])
  nor.31207: bits[24] = nor(concat.31287, not.31206, bit_slice.30421, id=31207, pos=[(0,1411,4), (0,1501,17), (0,1528,22), (2,3115,35), (2,3243,7), (3,365,48)])
  literal.30398: bits[24] = literal(value=0, id=30398, pos=[(2,3099,49), (2,3243,7), (3,365,48)])
  add.31187: bits[26] = add(sign_ext.31253, concat.31255, id=31187, pos=[(2,3120,20), (2,3243,7), (3,365,48)])
  bit_slice.30430: bits[1] = bit_slice(shrl.30425, start=0, width=1, id=30430, pos=[(2,3053,40), (2,3116,30), (2,3243,7), (3,365,48)])
  sticky: bits[1] = ne(nor.31207, literal.30398, id=30431, pos=[(0,1501,17), (0,1528,22), (2,3115,35), (2,3243,7), (3,365,48)])
  bit_slice.31246: bits[25] = bit_slice(add.31187, start=0, width=25, id=31246, pos=[(2,3120,20), (2,3243,7), (3,365,48)])
  bit_slice.31277: bits[2] = bit_slice(shrl.30425, start=1, width=2, id=31277, pos=[(2,3120,20), (2,3243,7), (3,365,48)])
  or.30436: bits[1] = or(bit_slice.30430, sticky, id=30436, pos=[(2,3053,40), (2,3116,30), (2,3243,7), (3,365,48)])
  concat.31282: bits[28] = concat(bit_slice.31246, bit_slice.31277, or.30436, id=31282, pos=[(2,3120,20), (2,3243,7), (3,365,48)])
  bit_slice.31248: bits[1] = bit_slice(add.31187, start=25, width=1, id=31248, pos=[(2,3130,12), (2,3243,7), (3,365,48)])
  neg.30444: bits[28] = neg(concat.31282, id=30444, pos=[(2,3130,46), (2,3243,7), (3,365,48)])
  xbs_fraction__1: bits[28] = sel(bit_slice.31248, cases=[concat.31282, neg.30444], id=30445, pos=[(2,3130,9), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  carry_bit: bits[1] = bit_slice(xbs_fraction__1, start=27, width=1, id=30447, pos=[(0,1590,40), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  not.31376: bits[1] = not(bit_slice.30509, id=31376, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  or.30898: bits[1] = or(bit_slice.30506, bit_slice.30484, id=30898, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  not.31380: bits[1] = not(bit_slice.30484, id=31380, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  or.30900: bits[1] = or(bit_slice.30460, bit_slice.30451, id=30900, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  not.31383: bits[1] = not(bit_slice.30451, id=31383, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  or.30901: bits[1] = or(carry_bit, bit_slice.30446, id=30901, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.31387: bits[1] = not(bit_slice.30446, id=31387, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.30577: bits[1] = bit_slice(xbs_fraction__1, start=0, width=1, id=30577, pos=[(0,1590,70), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  or.30897: bits[1] = or(bit_slice.30531, bit_slice.30509, id=30897, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  nor.31374: bits[1] = nor(bit_slice.30531, bit_slice.30509, id=31374, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.31377: bits[1] = nor(bit_slice.30531, not.31376, id=31377, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.30630: bits[1] = nor(or.30898, nor.30548, id=30630, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  nor.31381: bits[1] = nor(bit_slice.30506, not.31380, id=31381, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  or.30899: bits[1] = or(bit_slice.30481, bit_slice.30463, id=30899, pos=[(0,1595,22), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  nor.30585: bits[1] = nor(or.30900, nor.30499, id=30585, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  nor.31384: bits[1] = nor(bit_slice.30460, not.31383, id=31384, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  nor.30556: bits[1] = nor(or.30901, nor.30469, id=30556, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.31388: bits[1] = nor(carry_bit, not.31387, id=31388, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  or.30902: bits[1] = or(bit_slice.30457, bit_slice.30450, id=30902, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  or.30896: bits[1] = or(bit_slice.30575, bit_slice.30555, id=30896, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  not.31372: bits[1] = not(bit_slice.30555, id=31372, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.30647: bits[1] = nor(or.30897, nor.30573, id=30647, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.30886: bits[2] = concat(literal.30394, nor.30572, id=30886, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.31010: bits[2] = concat(nor.31374, nor.31377, id=31010, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  concat.31183: bits[2] = concat(nor.31381, literal.30382, id=31183, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.31158: bits[2] = concat(literal.30394, nor.30547, id=31158, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.31001: bits[2] = concat(nor.30527, nor.31381, id=31001, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  nor.30610: bits[1] = nor(or.30899, nor.30524, id=30610, pos=[(0,1595,22), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.30881: bits[2] = concat(literal.30394, nor.30523, id=30881, pos=[(0,1595,22), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.31397: bits[2] = concat(literal.30382, nor.30501, id=31397, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  concat.31153: bits[2] = concat(literal.30394, nor.30498, id=31153, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.30992: bits[2] = concat(nor.30477, nor.31384, id=30992, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  concat.31182: bits[2] = concat(nor.31388, literal.30382, id=31182, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.31148: bits[2] = concat(literal.30394, nor.30468, id=31148, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.30983: bits[2] = concat(literal.30382, nor.31388, id=30983, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.30582: bits[1] = nor(or.30902, nor.30493, id=30582, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.30878: bits[2] = concat(literal.30394, nor.30492, id=30878, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.31398: bits[2] = concat(literal.30382, nor.30471, id=31398, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.30673: bits[1] = nor(or.30896, nor.30621, id=30673, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  nor.31373: bits[1] = nor(bit_slice.30575, not.31372, id=31373, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  and.30648: bits[1] = and(nor.31374, nor.30573, id=30648, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.30907: bits[2] = priority_sel(nor.30647, cases=[concat.30886], default=concat.31010, id=30907, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.31041: bits[2] = priority_sel(concat.30643, cases=[concat.31183, concat.31158], default=concat.31001, id=31041, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.30862: bits[2] = priority_sel(nor.30610, cases=[concat.30881], default=concat.31397, id=30862, pos=[(0,1595,22), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.31023: bits[2] = priority_sel(concat.30606, cases=[literal.30819, concat.31153], default=concat.30992, id=31023, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.31014: bits[2] = priority_sel(concat.30578, cases=[concat.31182, concat.31148], default=concat.30983, id=31014, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.30859: bits[2] = priority_sel(nor.30582, cases=[concat.30878], default=concat.31398, id=30859, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  concat.31170: bits[2] = concat(literal.30394, nor.30620, id=31170, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.31037: bits[2] = concat(nor.30597, nor.31373, id=31037, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  concat.31137: bits[3] = concat(literal.30394, priority_sel.30907, id=31137, pos=[(0,1540,24), (0,1600,22), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.31046: bits[3] = concat(and.30631, priority_sel.31041, id=31046, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  concat.30889: bits[3] = concat(literal.30394, priority_sel.30862, id=30889, pos=[(0,1600,22), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.31028: bits[3] = concat(and.30586, priority_sel.31023, id=31028, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  concat.31184: bits[3] = concat(priority_sel.31014, literal.30382, id=31184, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.31165: bits[3] = concat(literal.30394, priority_sel.30859, id=31165, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.31019: bits[3] = concat(literal.30382, priority_sel.31014, id=31019, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.31059: bits[2] = priority_sel(concat.30683, cases=[literal.30819, concat.31170], default=concat.31037, id=31059, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.30954: bits[3] = priority_sel(nor.30689, cases=[concat.31137], default=concat.31046, id=30954, pos=[(0,1600,22), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.30909: bits[3] = priority_sel(nor.30668, cases=[concat.30889], default=concat.31028, id=30909, pos=[(0,1600,22), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.31050: bits[3] = priority_sel(concat.30664, cases=[concat.31184, concat.31165], default=concat.31019, id=31050, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  concat.31178: bits[4] = concat(literal.30394, and.30674, priority_sel.31059, id=31178, pos=[(0,1605,22), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.31180: bits[4] = concat(literal.30382, priority_sel.30954, id=31180, pos=[(0,1600,22), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  concat.31140: bits[4] = concat(literal.30394, priority_sel.30909, id=31140, pos=[(0,1540,24), (0,1605,22), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.31055: bits[4] = concat(and.30653, priority_sel.31050, id=31055, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.30713: bits[4] = priority_sel(and.30690, cases=[concat.31178], default=concat.31180, id=30713, pos=[(0,1605,22), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.30960: bits[4] = priority_sel(nor.30701, cases=[concat.31140], default=concat.31055, id=30960, pos=[(0,1605,22), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,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,3141,34), (2,3243,7), (3,365,48)])
  concat.30715: bits[5] = concat(literal.30394, priority_sel.30713, id=30715, pos=[(0,1610,22), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.31181: bits[5] = concat(literal.30382, priority_sel.30960, id=31181, pos=[(0,1605,22), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.30716: bits[29] = concat(literal.30382, xbs_fraction__1, id=30716, pos=[(2,3243,7), (3,365,48)])
  leading_zeroes: bits[5] = priority_sel(and.30702, cases=[concat.30715], default=concat.31181, id=30717, pos=[(0,1610,22), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  cancel_fraction: bits[29] = shll(concat.30716, leading_zeroes, id=30718, pos=[(2,3144,26), (2,3243,7), (3,365,48)])
  bit_slice.30719: bits[26] = bit_slice(xbs_fraction__1, start=2, width=26, id=30719, pos=[(2,3053,20), (2,3137,36), (2,3243,7), (3,365,48)])
  or.30720: bits[1] = or(bit_slice.30599, bit_slice.30577, id=30720, pos=[(2,3053,40), (2,3137,36), (2,3243,7), (3,365,48)])
  cancel_fraction__1: bits[27] = bit_slice(cancel_fraction, start=1, width=27, id=30721, pos=[(2,3243,7), (3,365,48)])
  carry_fraction__1: bits[27] = concat(bit_slice.30719, or.30720, id=30722, pos=[(2,3053,20), (2,3137,36), (2,3243,7), (3,365,48)])
  shifted_fraction: bits[27] = sel(carry_bit, cases=[cancel_fraction__1, carry_fraction__1], id=30723, pos=[(2,3146,27), (2,3243,7), (3,365,48)])
  normal_chunk: bits[3] = bit_slice(shifted_fraction, start=0, width=3, id=30724, pos=[(2,3158,39), (2,3243,7), (3,365,48)])
  fraction_shift__3: bits[3] = literal(value=4, id=30831, pos=[(0,1539,24), (0,1595,22), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (2,3243,7), (3,365,48)])
  half_way_chunk: bits[2] = bit_slice(shifted_fraction, start=2, width=2, id=30725, pos=[(2,3159,41), (2,3243,7), (3,365,48)])
  literal.30726: bits[2] = literal(value=3, id=30726, pos=[(2,3160,68), (2,3243,7), (3,365,48)])
  ugt.30727: bits[1] = ugt(normal_chunk, fraction_shift__3, id=30727, pos=[(2,3160,23), (2,3243,7), (3,365,48)])
  eq.30728: bits[1] = eq(half_way_chunk, literal.30726, id=30728, pos=[(2,3160,50), (2,3243,7), (3,365,48)])
  bit_slice.31258: bits[24] = bit_slice(shifted_fraction, start=3, width=24, id=31258)
  do_round_up: bits[1] = or(ugt.30727, eq.30728, id=30731, pos=[(2,3160,23), (2,3243,7), (3,365,48)])
  concat.31259: bits[25] = concat(literal.30382, bit_slice.31258, id=31259)
  concat.31399: bits[25] = concat(literal.30398, do_round_up, id=31399)
  add.31199: bits[25] = add(concat.31259, concat.31399, id=31199)
  literal.30734: bits[5] = literal(value=0, id=30734, pos=[(2,3243,7), (3,365,48)])
  rounding_carry: bits[1] = bit_slice(add.31199, start=24, width=1, id=31250, pos=[(2,3168,41), (2,3243,7), (3,365,48)])
  literal.31346: bits[26] = literal(value=0, id=31346, pos=[(2,3121,39), (2,3243,7), (3,365,48)])
  bit_slice.31395: bits[1] = bit_slice(shrl.30425, start=1, width=1, id=31395, pos=[(2,3121,27), (2,3243,7), (3,365,48)])
  bit_slice.31396: bits[1] = bit_slice(shrl.30425, start=2, width=1, id=31396, pos=[(2,3121,27), (2,3243,7), (3,365,48)])
  concat.30736: bits[9] = concat(literal.30382, x_bexp__3, id=30736, pos=[(2,3243,7), (3,365,48)])
  literal.30737: bits[9] = literal(value=1, id=30737, pos=[(2,3180,24), (2,3243,7), (3,365,48)])
  concat.31278: bits[6] = concat(literal.30734, rounding_carry, id=31278, pos=[(2,3243,7), (3,365,48)])
  concat.30739: bits[6] = concat(literal.30382, leading_zeroes, id=30739, pos=[(2,3243,7), (3,365,48)])
  eq.31314: bits[1] = eq(add.31187, literal.31346, id=31314, pos=[(2,3121,27), (2,3243,7), (3,365,48)])
  nor.31369: bits[1] = nor(bit_slice.31395, bit_slice.31396, id=31369, pos=[(2,3121,27), (2,3243,7), (3,365,48)])
  nor.31370: bits[1] = nor(bit_slice.30430, sticky, id=31370, pos=[(2,3121,27), (2,3243,7), (3,365,48)])
  add.30740: bits[9] = add(concat.30736, literal.30737, id=30740, pos=[(2,3179,26), (2,3243,7), (3,365,48)])
  sub.30741: bits[6] = sub(concat.31278, concat.30739, id=30741, pos=[(2,3179,26), (2,3243,7), (3,365,48)])
  fraction_is_zero: bits[1] = and(eq.31314, nor.31369, nor.31370, id=31368, pos=[(2,3121,27), (2,3243,7), (3,365,48)])
  wide_exponent_associative_element: bits[10] = concat(literal.30382, add.30740, id=30743, pos=[(2,3179,26), (2,3243,7), (3,365,48)])
  wide_exponent_associative_element__1: bits[10] = sign_ext(sub.30741, new_bit_count=10, id=30744, pos=[(2,3179,26), (2,3243,7), (3,365,48)])
  not.30966: bits[1] = not(fraction_is_zero, id=30966, pos=[(2,3181,24), (2,3243,7), (3,365,48)])
  wide_exponent: bits[10] = add(wide_exponent_associative_element, wide_exponent_associative_element__1, id=30746, pos=[(2,3179,26), (2,3243,7), (3,365,48)])
  sign_ext.30967: bits[10] = sign_ext(not.30966, new_bit_count=10, id=30967, pos=[(2,3181,24), (2,3243,7), (3,365,48)])
  wide_exponent__1: bits[10] = and(wide_exponent, sign_ext.30967, id=30968, pos=[(2,3181,24), (2,3243,7), (3,365,48)])
  bit_slice.30755: bits[1] = bit_slice(wide_exponent__1, start=9, width=1, id=30755, pos=[(2,3184,27), (2,3243,7), (3,365,48)])
  not.30969: bits[1] = not(bit_slice.30755, id=30969, pos=[(2,3184,24), (2,3243,7), (3,365,48)])
  bit_slice.30756: bits[9] = bit_slice(wide_exponent__1, start=0, width=9, id=30756, pos=[(2,3243,7), (3,365,48)])
  sign_ext.30970: bits[9] = sign_ext(not.30969, new_bit_count=9, id=30970, pos=[(2,3184,24), (2,3243,7), (3,365,48)])
  MAX_EXPONENT: bits[8] = literal(value=255, id=30748, pos=[(2,96,29), (2,3209,29), (2,3243,7), (3,365,48)])
  literal.30749: bits[23] = literal(value=0, id=30749, pos=[(2,96,57), (2,3209,29), (2,3243,7), (3,365,48)])
  wide_exponent__2: bits[9] = and(bit_slice.30756, sign_ext.30970, id=30971, pos=[(2,3184,24), (2,3243,7), (3,365,48)])
  eq.30751: bits[1] = eq(x_bexp__3, MAX_EXPONENT, id=30751, pos=[(2,96,6), (2,3209,29), (2,3243,7), (3,365,48)])
  eq.30752: bits[1] = eq(x_fraction__1, literal.30749, id=30752, pos=[(2,96,44), (2,3209,29), (2,3243,7), (3,365,48)])
  eq.30753: bits[1] = eq(y_bexp__3, MAX_EXPONENT, id=30753, pos=[(2,96,6), (2,3210,29), (2,3243,7), (3,365,48)])
  eq.30754: bits[1] = eq(y_fraction__3, literal.30749, id=30754, pos=[(2,96,44), (2,3210,29), (2,3243,7), (3,365,48)])
  bit_slice.30768: bits[8] = bit_slice(wide_exponent__2, start=1, width=8, id=30768, pos=[(2,3194,11), (2,3243,7), (3,365,48)])
  not.30758: bits[1] = not(eq.30751, id=30758, pos=[(2,3209,29), (2,3243,7), (3,365,48)])
  not.30759: bits[1] = not(eq.30752, id=30759, pos=[(2,3209,29), (2,3243,7), (3,365,48)])
  not.30760: bits[1] = not(eq.30753, id=30760, pos=[(2,3210,29), (2,3243,7), (3,365,48)])
  not.30761: bits[1] = not(eq.30754, id=30761, pos=[(2,3210,29), (2,3243,7), (3,365,48)])
  and.30775: bits[1] = and(eq.30751, eq.30752, id=30775, pos=[(2,96,6), (2,3209,29), (2,3243,7), (3,365,48)])
  and.30776: bits[1] = and(eq.30753, eq.30754, id=30776, pos=[(2,96,6), (2,3210,29), (2,3243,7), (3,365,48)])
  bit_slice.30777: bits[8] = bit_slice(wide_exponent__2, start=0, width=8, id=30777, pos=[(2,3202,11), (2,3243,7), (3,365,48)])
  or_reduce.30778: bits[1] = or_reduce(bit_slice.30768, id=30778, pos=[(2,3194,11), (2,3243,7), (3,365,48)])
  bit_slice.30779: bits[1] = bit_slice(wide_exponent__2, start=0, width=1, id=30779, pos=[(2,3194,11), (2,3243,7), (3,365,48)])
  nor.30763: bits[1] = nor(not.30758, not.30759, x_sign__1, id=30763, pos=[(2,3209,29), (2,3243,7), (3,365,48)])
  nor.30764: bits[1] = nor(not.30760, not.30761, y_sign__3, id=30764, pos=[(2,3210,29), (2,3243,7), (3,365,48)])
  and.30765: bits[1] = and(eq.30751, eq.30752, x_sign__1, id=30765, pos=[(2,3215,29), (2,3243,7), (3,365,48)])
  and.30766: bits[1] = and(eq.30753, eq.30754, y_sign__3, id=30766, pos=[(2,3216,29), (2,3243,7), (3,365,48)])
  fraction_shift__2: bits[3] = literal(value=3, id=30769, pos=[(2,3174,8), (2,3243,7), (3,365,48)])
  is_operand_inf: bits[1] = or(and.30775, and.30776, id=30787, pos=[(2,3205,31), (2,3243,7), (3,365,48)])
  bit_slice.30788: bits[1] = bit_slice(wide_exponent__2, start=8, width=1, id=30788, pos=[(2,3202,11), (2,3243,7), (3,365,48)])
  and_reduce.30789: bits[1] = and_reduce(bit_slice.30777, id=30789, pos=[(2,3202,11), (2,3243,7), (3,365,48)])
  nor.30790: bits[1] = nor(or_reduce.30778, bit_slice.30779, id=30790, pos=[(2,3194,11), (2,3243,7), (3,365,48)])
  has_pos_inf: bits[1] = or(nor.30763, nor.30764, id=30772, pos=[(2,3209,29), (2,3243,7), (3,365,48)])
  has_neg_inf: bits[1] = or(and.30765, and.30766, id=30773, pos=[(2,3215,29), (2,3243,7), (3,365,48)])
  rounded_fraction: bits[28] = concat(add.31199, normal_chunk, id=31281)
  fraction_shift__1: bits[3] = sel(rounding_carry, cases=[fraction_shift__2, fraction_shift__3], id=30780, pos=[(2,3174,8), (2,3243,7), (3,365,48)])
  or.30795: bits[1] = or(is_operand_inf, bit_slice.30788, and_reduce.30789, nor.30790, id=30795, pos=[(2,3207,26), (2,3243,7), (3,365,48)])
  nor.30822: bits[1] = nor(not.30758, eq.30752, id=30822, pos=[(2,71,6), (2,3217,30), (2,3243,7), (3,365,48)])
  nor.30824: bits[1] = nor(not.30760, eq.30754, id=30824, pos=[(2,71,6), (2,3217,64), (2,3243,7), (3,365,48)])
  and.30783: bits[1] = and(has_pos_inf, has_neg_inf, id=30783, pos=[(2,3218,25), (2,3243,7), (3,365,48)])
  concat.31279: bits[2] = concat(bit_slice.31248, fraction_is_zero, id=31279, pos=[(2,3243,7), (3,365,48)])
  and.30785: bits[1] = and(x_sign__1, y_sign__3, id=30785, pos=[(2,3123,22), (2,3243,7), (3,365,48)])
  not.30786: bits[1] = not(y_sign__3, id=30786, pos=[(2,3210,59), (2,3243,7), (3,365,48)])
  shrl.30791: bits[28] = shrl(rounded_fraction, fraction_shift__1, id=30791, pos=[(2,3175,27), (2,3243,7), (3,365,48)])
  not.30972: bits[1] = not(or.30795, id=30972, pos=[(2,3207,26), (2,3243,7), (3,365,48)])
  is_result_nan: bits[1] = or(nor.30822, nor.30824, and.30783, id=30792, pos=[(2,3217,30), (2,3243,7), (3,365,48)])
  result_sign: bits[1] = priority_sel(concat.31279, cases=[and.30785, not.30786], default=y_sign__3, id=30793, pos=[(2,3243,7), (3,365,48)])
  not.30794: bits[1] = not(has_pos_inf, id=30794, pos=[(2,3211,42), (2,3243,7), (3,365,48)])
  result_fraction: bits[23] = bit_slice(shrl.30791, start=0, width=23, id=30796, pos=[(2,3243,7), (3,365,48)])
  sign_ext.30973: bits[23] = sign_ext(not.30972, new_bit_count=23, id=30973, pos=[(2,3207,26), (2,3243,7), (3,365,48)])
  not.30797: bits[1] = not(is_result_nan, id=30797, pos=[(2,3222,22), (2,3243,7), (3,365,48)])
  result_sign__1: bits[1] = sel(is_operand_inf, cases=[result_sign, not.30794], id=30798, pos=[(2,3211,22), (2,3243,7), (3,365,48)])
  or.30799: bits[1] = or(is_result_nan, is_operand_inf, bit_slice.30788, and_reduce.30789, id=30799, pos=[(2,3220,26), (2,3243,7), (3,365,48)])
  result_fraction__3: bits[23] = and(result_fraction, sign_ext.30973, id=30974, pos=[(2,3207,26), (2,3243,7), (3,365,48)])
  FRACTION_HIGH_BIT: bits[23] = literal(value=4194304, id=30801, pos=[(2,3219,30), (2,3243,7), (3,365,48)])
  result_sign__2: bits[1] = and(not.30797, result_sign__1, id=30802, pos=[(2,3222,22), (2,3243,7), (3,365,48)])
  result_exponent__2: bits[8] = sel(or.30799, cases=[bit_slice.30777, MAX_EXPONENT], id=30803, pos=[(2,3220,26), (2,3243,7), (3,365,48)])
  result_fraction__4: bits[23] = sel(is_result_nan, cases=[result_fraction__3, FRACTION_HIGH_BIT], id=30804, pos=[(2,3221,26), (2,3243,7), (3,365,48)])
  ret tuple.30805: (bits[1], bits[8], bits[23]) = tuple(result_sign__2, result_exponent__2, result_fraction__4, id=30805, pos=[(2,3225,33), (2,3243,7), (3,365,48)])
}