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