package hfloat16

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

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

top fn __hfloat16__negate(x: (bits[1], bits[5], bits[10]) id=9) -> (bits[1], bits[5], bits[10]) {
  ret invoke.10: (bits[1], bits[5], bits[10]) = invoke(x, to_apply=__apfloat__negate__5_10, id=10, pos=[(1,44,48)])
}