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"

top fn __float64__is_neg_inf(f: (bits[1], bits[11], bits[52]) id=20) -> bits[1] {
  f_bexp__1: bits[11] = tuple_index(f, index=1, id=38, pos=[(1,96,6), (1,106,10), (2,36,55)])
  literal.39: bits[11] = literal(value=2047, id=39, pos=[(1,96,29), (1,106,10), (2,36,55)])
  f_fraction__1: bits[52] = tuple_index(f, index=2, id=40, pos=[(1,96,44), (1,106,10), (2,36,55)])
  literal.41: bits[52] = literal(value=0, id=41, pos=[(1,96,57), (1,106,10), (2,36,55)])
  eq.42: bits[1] = eq(f_bexp__1, literal.39, id=42, pos=[(1,96,6), (1,106,10), (2,36,55)])
  eq.43: bits[1] = eq(f_fraction__1, literal.41, id=43, pos=[(1,96,44), (1,106,10), (2,36,55)])
  f_sign: bits[1] = tuple_index(f, index=0, id=45, pos=[(1,106,18), (2,36,55)])
  ret and.48: bits[1] = and(eq.42, eq.43, f_sign, id=48, pos=[(1,106,10), (2,36,55)])
}