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__11() -> bits[11] {
  literal.2: bits[11] = literal(value=0, id=2, pos=[(0,835,41)])
  X: bits[32] = literal(value=11, id=1, pos=[(0,835,17)])
  ret not.3: bits[11] = not(literal.2, id=3, pos=[(0,835,40)])
}

fn __apfloat__is_inf__11_52(x: (bits[1], bits[11], bits[52]) id=4) -> bits[1] {
  x_bexp: bits[11] = tuple_index(x, index=1, id=7, pos=[(1,96,6)])
  invoke.8: bits[11] = invoke(to_apply=__std__mask_bits__11, id=8, pos=[(1,96,29)])
  x_fraction: bits[52] = tuple_index(x, index=2, id=10, pos=[(1,96,44)])
  literal.11: bits[52] = literal(value=0, id=11, pos=[(1,96,57)])
  eq.9: bits[1] = eq(x_bexp, invoke.8, id=9, pos=[(1,96,6)])
  eq.12: bits[1] = eq(x_fraction, literal.11, id=12, pos=[(1,96,44)])
  EXP_SZ: bits[32] = literal(value=11, id=5, pos=[(1,95,14)])
  FRACTION_SZ: bits[32] = literal(value=52, id=6, pos=[(1,95,27)])
  ret and.13: bits[1] = and(eq.9, eq.12, id=13, pos=[(1,96,6)])
}

fn __apfloat__is_neg_inf__11_52(x: (bits[1], bits[11], bits[52]) id=14) -> bits[1] {
  invoke.17: bits[1] = invoke(x, to_apply=__apfloat__is_inf__11_52, id=17, pos=[(1,106,10)])
  x_sign: bits[1] = tuple_index(x, index=0, id=18, pos=[(1,106,18)])
  EXP_SZ: bits[32] = literal(value=11, id=15, pos=[(1,105,18)])
  FRACTION_SZ: bits[32] = literal(value=52, id=16, pos=[(1,105,31)])
  ret and.19: bits[1] = and(invoke.17, x_sign, id=19, pos=[(1,106,10)])
}

top fn __float64__is_neg_inf(f: (bits[1], bits[11], bits[52]) id=20) -> bits[1] {
  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[1] = invoke(f, to_apply=__apfloat__is_neg_inf__11_52, id=23, pos=[(2,36,55)])
}