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__signed_max_value__11_10() -> bits[11] {
  literal.3: bits[11] = literal(value=1, id=3, pos=[(0,47,6)])
  N_MINUS_ONE: bits[32] = literal(value=10, id=2, pos=[(0,46,32)])
  shll.4: bits[11] = shll(literal.3, N_MINUS_ONE, id=4, pos=[(0,47,6)])
  literal.5: bits[11] = literal(value=1, id=5, pos=[(0,47,32)])
  sub.6: bits[11] = sub(shll.4, literal.5, id=6, pos=[(0,47,6)])
  N: bits[32] = literal(value=11, id=1, pos=[(0,46,24)])
  ret sign_ext.7: bits[11] = sign_ext(sub.6, new_bit_count=11, id=7)
}

fn __apfloat__exponent_bias__11_52(f: (bits[1], bits[11], bits[52]) id=8) -> bits[11] {
  invoke.11: bits[11] = invoke(to_apply=__std__signed_max_value__11_10, id=11, pos=[(1,221,25)])
  EXP_SZ: bits[32] = literal(value=11, id=9, pos=[(1,220,21)])
  FRACTION_SZ: bits[32] = literal(value=52, id=10, pos=[(1,220,34)])
  ret sign_ext.12: bits[11] = sign_ext(invoke.11, new_bit_count=11, id=12)
}

fn __apfloat__unbiased_exponent__11_52(f: (bits[1], bits[11], bits[52]) id=13) -> bits[11] {
  f_bexp: bits[11] = tuple_index(f, index=1, id=17, pos=[(1,266,6)])
  zero_ext.18: bits[11] = zero_ext(f_bexp, new_bit_count=11, id=18)
  bias: bits[11] = invoke(f, to_apply=__apfloat__exponent_bias__11_52, id=16, pos=[(1,265,28)])
  EXP_SZ: bits[32] = literal(value=11, id=14, pos=[(1,263,25)])
  FRACTION_SZ: bits[32] = literal(value=52, id=15, pos=[(1,263,38)])
  ret sub.19: bits[11] = sub(zero_ext.18, bias, id=19, pos=[(1,266,6)])
}

top fn __float64__unbiased_exponent(f: (bits[1], bits[11], bits[52]) id=20) -> bits[11] {
  F64_EXP_SZ: bits[32] = literal(value=11, id=21, pos=[(2,17,23)])
  F64_FRACTION_SZ: bits[32] = literal(value=52, id=22, pos=[(2,18,28)])
  ret invoke.23: bits[11] = invoke(f, to_apply=__apfloat__unbiased_exponent__11_52, id=23, pos=[(2,51,30)])
}