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_pos_inf(f: (bits[1], bits[8], bits[7]) id=21) -> bits[1] {
  f_bexp__1: bits[8] = tuple_index(f, index=1, id=39, pos=[(1,96,6), (1,101,10), (2,30,56)])
  literal.40: bits[8] = literal(value=255, id=40, pos=[(1,96,29), (1,101,10), (2,30,56)])
  f_fraction__1: bits[7] = tuple_index(f, index=2, id=41, pos=[(1,96,44), (1,101,10), (2,30,56)])
  literal.42: bits[7] = literal(value=0, id=42, pos=[(1,96,57), (1,101,10), (2,30,56)])
  ne.55: bits[1] = ne(f_bexp__1, literal.40, id=55, pos=[(1,101,10), (2,30,56)])
  ne.54: bits[1] = ne(f_fraction__1, literal.42, id=54, pos=[(1,101,10), (2,30,56)])
  f_sign: bits[1] = tuple_index(f, index=0, id=47, pos=[(1,101,19), (2,30,56)])
  ret nor.53: bits[1] = nor(ne.55, ne.54, f_sign, id=53, pos=[(1,101,10), (2,30,56)])
}