heapster-saw/examples/loops.c
/* Returns the sign of the sum of the two inputs, using add_loop! */
Returns the sign of the sum of the two inputs, using add_loop!
Returns the sign of the sum of the two inputs using add_loop!
int64_t sign_of_sum (int64_t x, int64_t y) {
  int64_t d = add_loop(x, y);
  if (d > 0) {
    return 1;
  } else if (d < 0) {
    return -1;
  } else {
    return 0;
  }
}
int64_t sign_of_sum ( int64_t x , int64_t y ) { int64_t d = add_loop ( x , y ) ; if ( d > 0 ) { return 1 ; } else if ( d < 0 ) { return -1 ; } else { return 0 ; } }
Returns the sign of the sum of the two inputs, using add_loop!
Returns the sign of the sum of the two inputs using add_loop!