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__unflatten(f: bits[64] id=14) -> (bits[1], bits[11], bits[52]) {
  bit_slice.34: bits[1] = bit_slice(f, start=63, width=1, id=34, pos=[(0,378,15), (1,60,65)])
  bit_slice.35: bits[11] = bit_slice(f, start=52, width=11, id=35, pos=[(1,60,65)])
  bit_slice.36: bits[52] = bit_slice(f, start=0, width=52, id=36, pos=[(1,60,65)])
  ret tuple.37: (bits[1], bits[11], bits[52]) = tuple(bit_slice.34, bit_slice.35, bit_slice.36, id=37, pos=[(0,377,33), (1,60,65)])
}