package bfloat16

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

top fn __bfloat16__unflatten(f: bits[16] id=14) -> (bits[1], bits[8], bits[7]) {
  bit_slice.32: bits[1] = bit_slice(f, start=15, width=1, id=32, pos=[(0,378,15), (1,61,22)])
  bit_slice.33: bits[8] = bit_slice(f, start=7, width=8, id=33, pos=[(1,61,22)])
  bit_slice.34: bits[7] = bit_slice(f, start=0, width=7, id=34, pos=[(1,61,22)])
  ret tuple.35: (bits[1], bits[8], bits[7]) = tuple(bit_slice.32, bit_slice.33, bit_slice.34, id=35, pos=[(0,377,33), (1,61,22)])
}