package hfloat16

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

top fn __hfloat16__normalize(sign: bits[1] id=47, exp: bits[5] id=48, fraction_with_hidden: bits[11] id=49) -> (bits[1], bits[5], bits[10]) {
  reverse.117: bits[11] = reverse(fraction_with_hidden, id=117, pos=[(0,2063,27), (1,101,22)])
  one_hot.118: bits[12] = one_hot(reverse.117, lsb_prio=true, id=118, pos=[(0,2063,27), (1,101,22)])
  literal.119: bits[1] = literal(value=0, id=119, pos=[(1,101,22)])
  encode.120: bits[4] = encode(one_hot.118, id=120, pos=[(0,2063,27), (1,101,22)])
  concat.121: bits[5] = concat(literal.119, encode.120, id=121, pos=[(1,101,22)])
  literal.122: bits[4] = literal(value=11, id=122, pos=[(1,101,22)])
  is_denormal: bits[1] = ule(exp, concat.121, id=125, pos=[(0,2069,22), (1,101,22)])
  eq.126: bits[1] = eq(encode.120, literal.122, id=126, pos=[(1,101,22)])
  nor.158: bits[1] = nor(is_denormal, eq.126, id=158, pos=[(1,101,22)])
  bit_slice.128: bits[10] = bit_slice(fraction_with_hidden, start=0, width=10, id=128, pos=[(0,2067,9), (1,101,22)])
  sub.132: bits[5] = sub(exp, concat.121, id=132, pos=[(0,2078,18), (1,101,22)])
  sign_ext.151: bits[5] = sign_ext(nor.158, new_bit_count=5, id=151, pos=[(1,101,22)])
  normalized_fraction: bits[10] = shll(bit_slice.128, encode.120, id=134, pos=[(1,101,22)])
  sign_ext.155: bits[10] = sign_ext(nor.158, new_bit_count=10, id=155, pos=[(1,101,22)])
  and.152: bits[5] = and(sub.132, sign_ext.151, id=152, pos=[(1,101,22)])
  and.156: bits[10] = and(normalized_fraction, sign_ext.155, id=156, pos=[(1,101,22)])
  ret tuple.138: (bits[1], bits[5], bits[10]) = tuple(sign, and.152, and.156, id=138, pos=[(1,101,22)])
}