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_pos_inf(f: (bits[1], bits[11], bits[52]) id=21) -> bits[1] {
  f_bexp__1: bits[11] = tuple_index(f, index=1, id=41, pos=[(1,96,6), (1,101,10), (2,34,55)])
  literal.42: bits[11] = literal(value=2047, id=42, pos=[(1,96,29), (1,101,10), (2,34,55)])
  f_fraction__1: bits[52] = tuple_index(f, index=2, id=43, pos=[(1,96,44), (1,101,10), (2,34,55)])
  literal.44: bits[52] = literal(value=0, id=44, pos=[(1,96,57), (1,101,10), (2,34,55)])
  ne.57: bits[1] = ne(f_bexp__1, literal.42, id=57, pos=[(1,101,10), (2,34,55)])
  ne.56: bits[1] = ne(f_fraction__1, literal.44, id=56, pos=[(1,101,10), (2,34,55)])
  f_sign: bits[1] = tuple_index(f, index=0, id=49, pos=[(1,101,19), (2,34,55)])
  ret nor.55: bits[1] = nor(ne.57, ne.56, f_sign, id=55, pos=[(1,101,10), (2,34,55)])
}