package bfloat16

file_number 0 "/inputs/subtree/xls/dslx/stdlib/apfloat.x"
file_number 1 "/inputs/subtree/xls/dslx/stdlib/bfloat16.x"

top fn __bfloat16__negate(x: (bits[1], bits[8], bits[7]) id=9) -> (bits[1], bits[8], bits[7]) {
  x_sign__1: bits[1] = tuple_index(x, index=0, id=13, pos=[(0,192,20), (1,42,48)])
  not.14: bits[1] = not(x_sign__1, id=14, pos=[(0,192,18), (1,42,48)])
  x_bexp__1: bits[8] = tuple_index(x, index=1, id=15, pos=[(0,192,34), (1,42,48)])
  x_fraction__1: bits[7] = tuple_index(x, index=2, id=16, pos=[(0,192,52), (1,42,48)])
  ret tuple.17: (bits[1], bits[8], bits[7]) = tuple(not.14, x_bexp__1, x_fraction__1, id=17, pos=[(0,192,10), (1,42,48)])
}