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_nan(f: (bits[1], bits[8], bits[7]) id=14) -> bits[1] {
  f_bexp: bits[8] = tuple_index(f, index=1, id=22, pos=[(1,71,6), (2,24,48)])
  literal.23: bits[8] = literal(value=255, id=23, pos=[(1,71,29), (2,24,48)])
  f_fraction: bits[7] = tuple_index(f, index=2, id=24, pos=[(1,71,44), (2,24,48)])
  literal.25: bits[7] = literal(value=0, id=25, pos=[(1,71,57), (2,24,48)])
  eq.26: bits[1] = eq(f_bexp, literal.23, id=26, pos=[(1,71,6), (2,24,48)])
  ne.27: bits[1] = ne(f_fraction, literal.25, id=27, pos=[(1,71,44), (2,24,48)])
  ret and.29: bits[1] = and(eq.26, ne.27, id=29, pos=[(1,71,6), (2,24,48)])
}