package bfloat16

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

fn __apfloat__negate__8_7(x: (bits[1], bits[8], bits[7]) id=1) -> (bits[1], bits[8], bits[7]) {
  x_sign: bits[1] = tuple_index(x, index=0, id=4, pos=[(0,192,20)])
  not.5: bits[1] = not(x_sign, id=5, pos=[(0,192,18)])
  x_bexp: bits[8] = tuple_index(x, index=1, id=6, pos=[(0,192,34)])
  x_fraction: bits[7] = tuple_index(x, index=2, id=7, pos=[(0,192,52)])
  EXP_SZ: bits[32] = literal(value=8, id=2, pos=[(0,189,14)])
  FRACTION_SZ: bits[32] = literal(value=7, id=3, pos=[(0,189,27)])
  ret tuple.8: (bits[1], bits[8], bits[7]) = tuple(not.5, x_bexp, x_fraction, id=8, pos=[(0,192,10)])
}

top fn __bfloat16__negate(x: (bits[1], bits[8], bits[7]) id=9) -> (bits[1], bits[8], bits[7]) {
  ret invoke.10: (bits[1], bits[8], bits[7]) = invoke(x, to_apply=__apfloat__negate__8_7, id=10, pos=[(1,42,48)])
}