package float32

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

fn __apfloat__unflatten__8_23_32(x: bits[32] id=1) -> (bits[1], bits[8], bits[23]) {
  EXP_SZ: bits[32] = literal(value=8, id=2, pos=[(0,374,17)])
  FRACTION_SZ: bits[32] = literal(value=23, id=3, pos=[(0,374,30)])
  SIGN_OFFSET: bits[32] = add(EXP_SZ, FRACTION_SZ, id=5, pos=[(0,376,29)])
  zero_ext.6: bits[32] = zero_ext(SIGN_OFFSET, new_bit_count=32, id=6)
  zero_ext.9: bits[32] = zero_ext(FRACTION_SZ, new_bit_count=32, id=9)
  shrl.7: bits[32] = shrl(x, zero_ext.6, id=7, pos=[(0,378,15)])
  shrl.10: bits[32] = shrl(x, zero_ext.9, id=10, pos=[(0,379,15)])
  bit_slice.8: bits[1] = bit_slice(shrl.7, start=0, width=1, id=8)
  bit_slice.11: bits[8] = bit_slice(shrl.10, start=0, width=8, id=11)
  bit_slice.12: bits[23] = bit_slice(x, start=0, width=23, id=12)
  TOTAL_SZ: bits[32] = literal(value=32, id=4, pos=[(0,374,48)])
  ret tuple.13: (bits[1], bits[8], bits[23]) = tuple(bit_slice.8, bit_slice.11, bit_slice.12, id=13, pos=[(0,377,33)])
}

top fn __float32__unflatten(f: bits[32] id=14) -> (bits[1], bits[8], bits[23]) {
  F32_EXP_SZ: bits[32] = literal(value=8, id=15, pos=[(1,18,23)])
  F32_FRACTION_SZ: bits[32] = literal(value=23, id=16, pos=[(1,19,28)])
  ret invoke.17: (bits[1], bits[8], bits[23]) = invoke(f, to_apply=__apfloat__unflatten__8_23_32, id=17, pos=[(1,61,65)])
}