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_inf(f: (bits[1], bits[11], bits[52]) id=14) -> bits[1] {
  f_bexp: bits[11] = tuple_index(f, index=1, id=24, pos=[(1,96,6), (2,32,47)])
  literal.25: bits[11] = literal(value=2047, id=25, pos=[(1,96,29), (2,32,47)])
  f_fraction: bits[52] = tuple_index(f, index=2, id=26, pos=[(1,96,44), (2,32,47)])
  literal.27: bits[52] = literal(value=0, id=27, pos=[(1,96,57), (2,32,47)])
  eq.28: bits[1] = eq(f_bexp, literal.25, id=28, pos=[(1,96,6), (2,32,47)])
  eq.29: bits[1] = eq(f_fraction, literal.27, id=29, pos=[(1,96,44), (2,32,47)])
  ret and.31: bits[1] = and(eq.28, eq.29, id=31, pos=[(1,96,6), (2,32,47)])
}