package float32

file_number 0 "/inputs/subtree/xls/dslx/stdlib/float32.x"

top fn __float32__from_uint32(x: bits[32] id=61) -> (bits[1], bits[8], bits[23]) {
  reverse.64: bits[32] = reverse(x, id=64, pos=[(0,271,17)])
  one_hot.65: bits[33] = one_hot(reverse.64, lsb_prio=true, id=65, pos=[(0,271,17)])
  encode.66: bits[6] = encode(one_hot.65, id=66, pos=[(0,271,17)])
  sign: bits[1] = literal(value=0, id=180)
  bit_slice.303: bits[5] = bit_slice(encode.66, start=1, width=5, id=303, pos=[(0,221,40), (0,272,23)])
  concat.304: bits[6] = concat(sign, bit_slice.303, id=304, pos=[(0,221,40), (0,272,23)])
  literal.296: bits[6] = literal(value=1, id=296, pos=[(0,221,40), (0,272,23)])
  add.288: bits[6] = add(concat.304, literal.296, id=288, pos=[(0,221,40), (0,272,23)])
  bit_slice.305: bits[1] = bit_slice(encode.66, start=0, width=1, id=305, pos=[(0,221,40), (0,272,23)])
  concat.187: bits[33] = concat(sign, x, id=187, pos=[(0,221,20), (0,272,23)])
  concat.314: bits[7] = concat(add.288, bit_slice.305, id=314, pos=[(0,221,40), (0,272,23)])
  x__1_narrowed: bits[33] = shll(concat.187, concat.314, id=252, pos=[(0,272,23)])
  bit_slice.266: bits[5] = bit_slice(x__1_narrowed, start=2, width=5, id=266, pos=[(0,227,18), (0,272,23)])
  literal.265: bits[5] = literal(value=0, id=265, pos=[(0,227,18), (0,272,23)])
  literal.195: bits[25] = literal(value=0, id=195, pos=[(0,272,23)])
  ne.264: bits[1] = ne(bit_slice.266, literal.265, id=264, pos=[(0,227,18), (0,272,23)])
  bit_slice.197: bits[26] = bit_slice(x__1_narrowed, start=7, width=26, id=197, pos=[(0,228,20), (0,272,23)])
  concat.198: bits[26] = concat(literal.195, ne.264, id=198, pos=[(0,272,23)])
  x__2: bits[26] = or(bit_slice.197, concat.198, id=199, pos=[(0,228,20), (0,272,23)])
  normal_chunk: bits[3] = bit_slice(x__2, start=0, width=3, id=200, pos=[(0,230,31), (0,272,23)])
  literal.201: bits[3] = literal(value=4, id=201, pos=[(0,233,27), (0,272,23)])
  half_way_chunk: bits[2] = bit_slice(x__2, start=2, width=2, id=202, pos=[(0,231,33), (0,272,23)])
  literal.203: bits[2] = literal(value=3, id=203, pos=[(0,233,56), (0,272,23)])
  ugt.204: bits[1] = ugt(normal_chunk, literal.201, id=204, pos=[(0,233,12), (0,272,23)])
  eq.205: bits[1] = eq(half_way_chunk, literal.203, id=205, pos=[(0,233,38), (0,272,23)])
  bit_slice.307: bits[23] = bit_slice(x__2, start=3, width=23, id=307)
  literal.317: bits[23] = literal(value=0, id=317)
  or.206: bits[1] = or(ugt.204, eq.205, id=206, pos=[(0,233,12), (0,272,23)])
  concat.308: bits[24] = concat(sign, bit_slice.307, id=308)
  concat.323: bits[24] = concat(literal.317, or.206, id=323)
  add.293: bits[24] = add(concat.308, concat.323, id=293)
  bit_slice.299: bits[1] = bit_slice(add.293, start=23, width=1, id=299, pos=[(0,234,19), (0,272,23)])
  bexp_associative_element_squeezed: bits[2] = literal(value=1, id=283, pos=[(0,224,15), (0,272,23)])
  literal.284: bits[2] = literal(value=2, id=284, pos=[(0,238,29), (0,272,23)])
  concat.159: bits[7] = concat(sign, encode.66, id=159)
  literal.181: bits[7] = literal(value=127, id=181, pos=[(0,271,17)])
  literal.277: bits[6] = literal(value=39, id=277)
  sel.276: bits[2] = sel(bit_slice.299, cases=[bexp_associative_element_squeezed, literal.284], id=276)
  add.138: bits[7] = add(concat.159, literal.181, id=138, pos=[(0,271,17)])
  concat.285: bits[8] = concat(literal.277, sel.276, id=285)
  lz: bits[8] = sign_ext(add.138, new_bit_count=8, id=139, pos=[(0,271,17)])
  bexp__1: bits[8] = sub(concat.285, lz, id=271)
  bit_slice.223: bits[7] = bit_slice(bexp__1, start=0, width=7, id=223, pos=[(0,244,20), (0,272,23)])
  x__4: bits[23] = bit_slice(add.293, start=0, width=23, id=301, pos=[(0,272,23)])
  bit_slice.225: bits[1] = bit_slice(bexp__1, start=7, width=1, id=225, pos=[(0,244,20), (0,272,23)])
  and_reduce.226: bits[1] = and_reduce(bit_slice.223, id=226, pos=[(0,244,20), (0,272,23)])
  ne.234: bits[1] = ne(x__4, literal.317, id=234, pos=[(0,244,20), (0,272,23)])
  or.297: bits[1] = or(bit_slice.225, and_reduce.226, ne.234, id=297, pos=[(0,244,17), (0,272,23)])
  sign_ext.281: bits[8] = sign_ext(or.297, new_bit_count=8, id=281, pos=[(0,244,17), (0,272,23)])
  and.282: bits[8] = and(bexp__1, sign_ext.281, id=282, pos=[(0,244,17), (0,272,23)])
  ret result__1: (bits[1], bits[8], bits[23]) = tuple(sign, and.282, x__4, id=233, pos=[(0,244,17), (0,272,23)])
}