package float32

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

top fn __float32__normalize(sign: bits[1] id=47, exp: bits[8] id=48, fraction_with_hidden: bits[24] id=49) -> (bits[1], bits[8], bits[23]) {
  reverse.119: bits[24] = reverse(fraction_with_hidden, id=119, pos=[(0,2063,27), (1,97,22)])
  one_hot.120: bits[25] = one_hot(reverse.119, lsb_prio=true, id=120, pos=[(0,2063,27), (1,97,22)])
  literal.121: bits[3] = literal(value=0, id=121, pos=[(1,97,22)])
  encode.122: bits[5] = encode(one_hot.120, id=122, pos=[(0,2063,27), (1,97,22)])
  concat.123: bits[8] = concat(literal.121, encode.122, id=123, pos=[(1,97,22)])
  literal.124: bits[5] = literal(value=24, id=124, pos=[(1,97,22)])
  is_denormal: bits[1] = ule(exp, concat.123, id=127, pos=[(0,2069,22), (1,97,22)])
  eq.128: bits[1] = eq(encode.122, literal.124, id=128, pos=[(1,97,22)])
  nor.160: bits[1] = nor(is_denormal, eq.128, id=160, pos=[(1,97,22)])
  bit_slice.130: bits[23] = bit_slice(fraction_with_hidden, start=0, width=23, id=130, pos=[(0,2067,9), (1,97,22)])
  sub.134: bits[8] = sub(exp, concat.123, id=134, pos=[(0,2078,18), (1,97,22)])
  sign_ext.153: bits[8] = sign_ext(nor.160, new_bit_count=8, id=153, pos=[(1,97,22)])
  normalized_fraction: bits[23] = shll(bit_slice.130, encode.122, id=136, pos=[(1,97,22)])
  sign_ext.157: bits[23] = sign_ext(nor.160, new_bit_count=23, id=157, pos=[(1,97,22)])
  and.154: bits[8] = and(sub.134, sign_ext.153, id=154, pos=[(1,97,22)])
  and.158: bits[23] = and(normalized_fraction, sign_ext.157, id=158, pos=[(1,97,22)])
  ret tuple.140: (bits[1], bits[8], bits[23]) = tuple(sign, and.154, and.158, id=140, pos=[(1,97,22)])
}