gcc/testsuite/gcc.dg/ia64-sync-2.c

   1 /* { dg-do run } */
   2 /* { dg-require-effective-target sync_int_long } */
   3 /* { dg-options } */
   4 /* { dg-options "-march=i486" { target { { i?86-*-* x86_64-*-* } && ilp32 } } } */
   5 /* { dg-options "-mcpu=v9" { target sparc*-*-* } } */
   6
   7 /* Test basic functionality of the intrinsics.  */
   8
   9 __extension__ typedef __SIZE_TYPE__ size_t;
  10
  11 extern void abort (void);
  12 extern void *memcpy (void *, const void *, size_t);
  13
  14 static int AI[18];
  15 static int init_si[18] = { 0,0,0,1,0,0,0,0,-1,0,0,0,0,0,-1,0,0,0 };
  16 static int test_si[18] = { 1,1,1,1,1,4,22,-12,7,8,9,7,1,-12,7,8,9,7 };
  17
  18 static void
  19 do_si (void)
  20 {
  21   if (__sync_val_compare_and_swap(AI+0, 0, 1) != 0)
  22     abort ();
  23   if (__sync_val_compare_and_swap(AI+0, 0, 1) != 1)
  24     abort ();
  25   if (__sync_bool_compare_and_swap(AI+1, 0, 1) != 1)
  26     abort ();
  27   if (__sync_bool_compare_and_swap(AI+1, 0, 1) != 0)
  28     abort ();
  29
  30   if (__sync_lock_test_and_set(AI+2, 1) != 0)
  31     abort ();
  32
  33   if (__sync_fetch_and_add(AI+4, 1) != 0)
  34     abort ();
  35   if (__sync_fetch_and_add(AI+5, 4) != 0)
  36     abort ();
  37   if (__sync_fetch_and_add(AI+6, 22) != 0)
  38     abort ();
  39   if (__sync_fetch_and_sub(AI+7, 12) != 0)
  40     abort ();
  41   if (__sync_fetch_and_and(AI+8, 7) != -1)
  42     abort ();
  43   if (__sync_fetch_and_or(AI+9, 8) != 0)
  44     abort ();
  45   if (__sync_fetch_and_xor(AI+10, 9) != 0)
  46     abort ();
  47   if (__sync_fetch_and_nand(AI+11, 7) != 0)
  48     abort ();
  49
  50   if (__sync_add_and_fetch(AI+12, 1) != 1)
  51     abort ();
  52   if (__sync_sub_and_fetch(AI+13, 12) != -12)
  53     abort ();
  54   if (__sync_and_and_fetch(AI+14, 7) != 7)
  55     abort ();
  56   if (__sync_or_and_fetch(AI+15, 8) != 8)
  57     abort ();
  58   if (__sync_xor_and_fetch(AI+16, 9) != 9)
  59     abort ();
  60   if (__sync_nand_and_fetch(AI+17, 7) != 7)
  61     abort ();
  62 }
  63
  64 static long AL[18];
  65 static long init_di[18] = { 0,0,0,1,0,0,0,0,-1,0,0,0,0,0,-1,0,0,0 };
  66 static long test_di[18] = { 1,1,1,1,1,4,22,-12,7,8,9,7,1,-12,7,8,9,7 };
  67
  68 static void
  69 do_di (void)
  70 {
  71   if (__sync_val_compare_and_swap(AL+0, 0, 1) != 0)
  72     abort ();
  73   if (__sync_val_compare_and_swap(AL+0, 0, 1) != 1)
  74     abort ();
  75   if (__sync_bool_compare_and_swap(AL+1, 0, 1) != 1)
  76     abort ();
  77   if (__sync_bool_compare_and_swap(AL+1, 0, 1) != 0)
  78     abort ();
  79
  80   if (__sync_lock_test_and_set(AL+2, 1) != 0)
  81     abort ();
  82
  83   if (__sync_fetch_and_add(AL+4, 1) != 0)
  84     abort ();
  85   if (__sync_fetch_and_add(AL+5, 4) != 0)
  86     abort ();
  87   if (__sync_fetch_and_add(AL+6, 22) != 0)
  88     abort ();
  89   if (__sync_fetch_and_sub(AL+7, 12) != 0)
  90     abort ();
  91   if (__sync_fetch_and_and(AL+8, 7) != -1)
  92     abort ();
  93   if (__sync_fetch_and_or(AL+9, 8) != 0)
  94     abort ();
  95   if (__sync_fetch_and_xor(AL+10, 9) != 0)
  96     abort ();
  97   if (__sync_fetch_and_nand(AL+11, 7) != 0)
  98     abort ();
  99
 100   if (__sync_add_and_fetch(AL+12, 1) != 1)
 101     abort ();
 102   if (__sync_sub_and_fetch(AL+13, 12) != -12)
 103     abort ();
 104   if (__sync_and_and_fetch(AL+14, 7) != 7)
 105     abort ();
 106   if (__sync_or_and_fetch(AL+15, 8) != 8)
 107     abort ();
 108   if (__sync_xor_and_fetch(AL+16, 9) != 9)
 109     abort ();
 110   if (__sync_nand_and_fetch(AL+17, 7) != 7)
 111     abort ();
 112 }
 113
 114 int main()
 115 {
 116   memcpy(AI, init_si, sizeof(init_si));
 117   memcpy(AL, init_di, sizeof(init_di));
 118
 119   do_si ();
 120   do_di ();
 121
 122   if (memcmp (AI, test_si, sizeof(test_si)))
 123     abort ();
 124   if (memcmp (AL, test_di, sizeof(test_di)))
 125     abort ();
 126
 127   return 0;
 128 }