package bfloat16

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/bfloat16.x"

top fn __bfloat16__eq_2(x: (bits[1], bits[8], bits[7]) id=46, y: (bits[1], bits[8], bits[7]) id=47) -> bits[1] {
  x_bexp__2: bits[8] = tuple_index(x, index=1, id=109, pos=[(1,71,6), (1,2300,15), (2,86,53)])
  literal.110: bits[8] = literal(value=255, id=110, pos=[(1,71,29), (1,2300,15), (2,86,53)])
  x_fraction__2: bits[7] = tuple_index(x, index=2, id=111, pos=[(1,71,44), (1,2300,15), (2,86,53)])
  literal.112: bits[7] = literal(value=0, id=112, pos=[(1,71,57), (1,2300,15), (2,86,53)])
  y_bexp__1: bits[8] = tuple_index(y, index=1, id=106, pos=[(1,71,6), (1,2300,28), (2,86,53)])
  y_fraction__1: bits[7] = tuple_index(y, index=2, id=107, pos=[(1,71,44), (1,2300,28), (2,86,53)])
  x_sign__2: bits[1] = tuple_index(x, index=0, id=113, pos=[(1,370,5), (1,2301,17), (2,86,53)])
  y_sign__1: bits[1] = tuple_index(y, index=0, id=105, pos=[(1,370,5), (1,2301,31), (2,86,53)])
  literal.117: bits[8] = literal(value=0, id=117, pos=[(1,804,14), (1,2301,60), (2,86,53)])
  eq.118: bits[1] = eq(x_bexp__2, literal.110, id=118, pos=[(1,71,6), (1,2300,15), (2,86,53)])
  ne.119: bits[1] = ne(x_fraction__2, literal.112, id=119, pos=[(1,71,44), (1,2300,15), (2,86,53)])
  eq.120: bits[1] = eq(y_bexp__1, literal.110, id=120, pos=[(1,71,6), (1,2300,28), (2,86,53)])
  ne.121: bits[1] = ne(y_fraction__1, literal.112, id=121, pos=[(1,71,44), (1,2300,28), (2,86,53)])
  eq.122: bits[1] = eq(x_sign__2, y_sign__1, id=122, pos=[(1,2301,17), (2,86,53)])
  eq.123: bits[1] = eq(x_bexp__2, y_bexp__1, id=123, pos=[(1,2301,17), (2,86,53)])
  eq.124: bits[1] = eq(x_fraction__2, y_fraction__1, id=124, pos=[(1,2301,17), (2,86,53)])
  eq.125: bits[1] = eq(x_bexp__2, literal.117, id=125, pos=[(1,804,5), (1,2301,60), (2,86,53)])
  eq.126: bits[1] = eq(y_bexp__1, literal.117, id=126, pos=[(1,804,5), (1,2301,87), (2,86,53)])
  and.127: bits[1] = and(eq.118, ne.119, id=127, pos=[(1,71,6), (1,2300,15), (2,86,53)])
  and.128: bits[1] = and(eq.120, ne.121, id=128, pos=[(1,71,6), (1,2300,28), (2,86,53)])
  and.129: bits[1] = and(eq.122, eq.123, eq.124, id=129, pos=[(1,2301,17), (2,86,53)])
  and.130: bits[1] = and(eq.125, eq.126, id=130, pos=[(1,2301,60), (2,86,53)])
  nor.131: bits[1] = nor(and.127, and.128, id=131, pos=[(1,2300,4), (2,86,53)])
  or.132: bits[1] = or(and.129, and.130, id=132, pos=[(1,2301,17), (2,86,53)])
  ret and.133: bits[1] = and(nor.131, or.132, id=133, pos=[(1,2300,4), (2,86,53)])
}