package float64

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

fn __std__mask_bits__10() -> bits[10] {
  literal.2: bits[10] = literal(value=0, id=2, pos=[(0,835,41)])
  X: bits[32] = literal(value=10, id=1, pos=[(0,835,17)])
  ret not.3: bits[10] = not(literal.2, id=3, pos=[(0,835,40)])
}

fn __apfloat__one__11_52(sign: bits[1] id=4) -> (bits[1], bits[11], bits[52]) {
  invoke.9: bits[10] = invoke(to_apply=__std__mask_bits__10, id=9, pos=[(1,150,28)])
  EXP_SZ: bits[32] = literal(value=11, id=5, pos=[(1,146,11)])
  literal.7: bits[32] = literal(value=1, id=7, pos=[(1,147,34)])
  zero_ext.10: bits[11] = zero_ext(invoke.9, new_bit_count=11, id=10)
  literal.11: bits[52] = literal(value=0, id=11, pos=[(1,151,18)])
  FRACTION_SZ: bits[32] = literal(value=52, id=6, pos=[(1,146,24)])
  MASK_SZ: bits[32] = sub(EXP_SZ, literal.7, id=8, pos=[(1,147,25)])
  ret tuple.12: (bits[1], bits[11], bits[52]) = tuple(sign, zero_ext.10, literal.11, id=12, pos=[(1,148,33)])
}

top fn __float64__one(sign: bits[1] id=13) -> (bits[1], bits[11], bits[52]) {
  F64_EXP_SZ: bits[32] = literal(value=11, id=14, pos=[(2,17,23)])
  F64_FRACTION_SZ: bits[32] = literal(value=52, id=15, pos=[(2,18,28)])
  ret invoke.16: (bits[1], bits[11], bits[52]) = invoke(sign, to_apply=__apfloat__one__11_52, id=16, pos=[(2,40,42)])
}