package float64

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

fn __apfloat__flatten__11_52_64(x: (bits[1], bits[11], bits[52]) id=1) -> bits[64] {
  x_sign: bits[1] = tuple_index(x, index=0, id=5, pos=[(0,370,5)])
  x_bexp: bits[11] = tuple_index(x, index=1, id=6, pos=[(0,370,15)])
  concat.7: bits[12] = concat(x_sign, x_bexp, id=7, pos=[(0,370,5)])
  x_fraction: bits[52] = tuple_index(x, index=2, id=8, pos=[(0,370,25)])
  EXP_SZ: bits[32] = literal(value=11, id=2, pos=[(0,368,15)])
  FRACTION_SZ: bits[32] = literal(value=52, id=3, pos=[(0,368,28)])
  TOTAL_SZ: bits[32] = literal(value=64, id=4, pos=[(0,368,46)])
  ret concat.9: bits[64] = concat(concat.7, x_fraction, id=9, pos=[(0,370,5)])
}

top fn __float64__flatten(f: (bits[1], bits[11], bits[52]) id=10) -> bits[64] {
  F64_EXP_SZ: bits[32] = literal(value=11, id=11, pos=[(1,17,23)])
  F64_FRACTION_SZ: bits[32] = literal(value=52, id=12, pos=[(1,18,28)])
  ret invoke.13: bits[64] = invoke(f, to_apply=__apfloat__flatten__11_52_64, id=13, pos=[(1,58,61)])
}