package float64

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

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