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__is_neg_inf(f: (bits[1], bits[8], bits[7]) id=20) -> bits[1] {
  f_bexp__1: bits[8] = tuple_index(f, index=1, id=36, pos=[(1,96,6), (1,106,10), (2,32,56)])
  literal.37: bits[8] = literal(value=255, id=37, pos=[(1,96,29), (1,106,10), (2,32,56)])
  f_fraction__1: bits[7] = tuple_index(f, index=2, id=38, pos=[(1,96,44), (1,106,10), (2,32,56)])
  literal.39: bits[7] = literal(value=0, id=39, pos=[(1,96,57), (1,106,10), (2,32,56)])
  eq.40: bits[1] = eq(f_bexp__1, literal.37, id=40, pos=[(1,96,6), (1,106,10), (2,32,56)])
  eq.41: bits[1] = eq(f_fraction__1, literal.39, id=41, pos=[(1,96,44), (1,106,10), (2,32,56)])
  f_sign: bits[1] = tuple_index(f, index=0, id=43, pos=[(1,106,18), (2,32,56)])
  ret and.46: bits[1] = and(eq.40, eq.41, f_sign, id=46, pos=[(1,106,10), (2,32,56)])
}