graphene/Pal/regression/AtomicMath.c

#include <atomic.h>
#include <limits.h>
#include <stdint.h>
#include <string.h>

#include "pal.h"
#include "pal_debug.h"

int main (int argc, char ** argv, char ** envp)
{
  int64_t my_int = 0;
  struct atomic_int a_int;
  atomic_set(&a_int, 0);

  /* Check that INT_MIN and INT_MAX wrap around consistently
   * with atomic values.
   *
   * Check atomic_sub specifically.
   */
  my_int -= INT_MIN;
  atomic_sub(INT_MIN, &a_int);

  if (my_int == atomic_read(&a_int))
    pal_printf("Subtract INT_MIN: Both values match %ld\n", my_int);
  else
    pal_printf("Subtract INT_MIN: Values do not match %ld, %ld\n", my_int, atomic_read(&a_int));

  atomic_set(&a_int, 0);
  my_int = 0;

  my_int -= INT_MAX;
  atomic_sub(INT_MAX, &a_int);

  if (my_int == atomic_read(&a_int))
    pal_printf("Subtract INT_MAX: Both values match %ld\n", my_int);
  else
    pal_printf("Subtract INT_MAX: Values do not match %ld, %ld\n", my_int, atomic_read(&a_int));

  /* Check that 64-bit signed values also wrap properly. */
  atomic_set(&a_int, 0);
  my_int = 0;

  my_int -= LLONG_MIN;
  atomic_sub(LLONG_MIN, &a_int);

  if (my_int == atomic_read(&a_int))
    pal_printf("Subtract LLONG_MIN: Both values match %ld\n", my_int);
  else
    pal_printf("Subtract LLONG_MIN: Values do not match %ld, %ld\n", my_int, atomic_read(&a_int));

  atomic_set(&a_int, 0);
  my_int = 0;

  my_int -= LLONG_MAX;
  atomic_sub(LLONG_MAX, &a_int);

  if (my_int == atomic_read(&a_int))
    pal_printf("Subtract LLONG_MAX: Both values match %ld\n", my_int);
  else
    pal_printf("Subtract LLONG_MAX: Values do not match %ld, %ld\n", my_int, atomic_read(&a_int));


  return 0;
}