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__tag(f: (bits[1], bits[8], bits[7]) id=57) -> bits[3] {
  f_bexp: bits[8] = tuple_index(f, index=1, id=113, pos=[(1,40,22), (2,110,46)])
  literal.117: bits[8] = literal(value=0, id=117, pos=[(1,41,9), (2,110,46)])
  f_fraction: bits[7] = tuple_index(f, index=2, id=115, pos=[(1,40,40), (2,110,46)])
  literal.116: bits[7] = literal(value=0, id=116, pos=[(1,41,23), (2,110,46)])
  EXPR_MASK: bits[8] = literal(value=255, id=114, pos=[(1,39,36), (2,110,46)])
  eq.120: bits[1] = eq(f_bexp, literal.117, id=120, pos=[(2,110,46)])
  eq.119: bits[1] = eq(f_fraction, literal.116, id=119, pos=[(2,110,46)])
  eq.118: bits[1] = eq(f_bexp, EXPR_MASK, id=118, pos=[(2,110,46)])
  and.122: bits[1] = and(eq.120, eq.119, id=122, pos=[(2,110,46)])
  and.248: bits[1] = and(eq.118, eq.119, id=248, pos=[(2,110,46)])
  nor.221: bits[1] = nor(eq.118, eq.120, id=221, pos=[(2,110,46)])
  or.194: bits[1] = or(and.122, and.248, id=194, pos=[(2,110,46)])
  ret concat.245: bits[3] = concat(nor.221, eq.120, or.194, id=245, pos=[(2,110,46)])
}