package float64

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

fn __apfloat__unflatten__11_52_64(x: bits[64] id=1) -> (bits[1], bits[11], bits[52]) {
  EXP_SZ: bits[32] = literal(value=11, id=2, pos=[(0,374,17)])
  FRACTION_SZ: bits[32] = literal(value=52, 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[64] = zero_ext(SIGN_OFFSET, new_bit_count=64, id=6)
  zero_ext.9: bits[64] = zero_ext(FRACTION_SZ, new_bit_count=64, id=9)
  shrl.7: bits[64] = shrl(x, zero_ext.6, id=7, pos=[(0,378,15)])
  shrl.10: bits[64] = 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[11] = bit_slice(shrl.10, start=0, width=11, id=11)
  bit_slice.12: bits[52] = bit_slice(x, start=0, width=52, id=12)
  TOTAL_SZ: bits[32] = literal(value=64, id=4, pos=[(0,374,48)])
  ret tuple.13: (bits[1], bits[11], bits[52]) = tuple(bit_slice.8, bit_slice.11, bit_slice.12, id=13, pos=[(0,377,33)])
}

top fn __float64__unflatten(f: bits[64] id=14) -> (bits[1], bits[11], bits[52]) {
  F64_EXP_SZ: bits[32] = literal(value=11, id=15, pos=[(1,17,23)])
  F64_FRACTION_SZ: bits[32] = literal(value=52, id=16, pos=[(1,18,28)])
  ret invoke.17: (bits[1], bits[11], bits[52]) = invoke(f, to_apply=__apfloat__unflatten__11_52_64, id=17, pos=[(1,60,65)])
}