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__unflatten(f: bits[16] id=14) -> (bits[1], bits[5], bits[10]) {
  bit_slice.32: bits[1] = bit_slice(f, start=15, width=1, id=32, pos=[(0,378,15), (1,63,22)])
  bit_slice.33: bits[5] = bit_slice(f, start=10, width=5, id=33, pos=[(1,63,22)])
  bit_slice.34: bits[10] = bit_slice(f, start=0, width=10, id=34, pos=[(1,63,22)])
  ret tuple.35: (bits[1], bits[5], bits[10]) = tuple(bit_slice.32, bit_slice.33, bit_slice.34, id=35, pos=[(0,377,33), (1,63,22)])
}