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__tag(f: (bits[1], bits[11], bits[52]) id=57) -> bits[3] {
  f_bexp: bits[11] = tuple_index(f, index=1, id=115, pos=[(1,40,22), (2,99,45)])
  literal.119: bits[11] = literal(value=0, id=119, pos=[(1,41,9), (2,99,45)])
  f_fraction: bits[52] = tuple_index(f, index=2, id=117, pos=[(1,40,40), (2,99,45)])
  literal.118: bits[52] = literal(value=0, id=118, pos=[(1,43,20), (2,99,45)])
  EXPR_MASK: bits[11] = literal(value=2047, id=116, pos=[(1,39,36), (2,99,45)])
  eq.122: bits[1] = eq(f_bexp, literal.119, id=122, pos=[(2,99,45)])
  eq.121: bits[1] = eq(f_fraction, literal.118, id=121, pos=[(2,99,45)])
  eq.120: bits[1] = eq(f_bexp, EXPR_MASK, id=120, pos=[(2,99,45)])
  and.124: bits[1] = and(eq.122, eq.121, id=124, pos=[(2,99,45)])
  and.250: bits[1] = and(eq.120, eq.121, id=250, pos=[(2,99,45)])
  nor.223: bits[1] = nor(eq.120, eq.122, id=223, pos=[(2,99,45)])
  or.196: bits[1] = or(and.124, and.250, id=196, pos=[(2,99,45)])
  ret concat.247: bits[3] = concat(nor.223, eq.122, or.196, id=247, pos=[(2,99,45)])
}