package float64

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

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