gcc/testsuite/gcc.target/aarch64/pr87839.c

   1 /* PR target/87839 */
   2 /* { dg-do compile } */
   3 /* { dg-options "-O2 -w" } */
   4
   5 long long b[64];
   6 void foo (void);
   7 int bar (void (*) (void));
   8 void qux (long long *, long long) __attribute__((noreturn));
   9 void quux (long long *, long long);
  10
  11 void
  12 baz (void)
  13 {
  14   __sync_val_compare_and_swap (b, 4294967298LL, 78187493520LL);
  15   __sync_bool_compare_and_swap (b + 1, 8589934595LL, 21474836489LL);
  16   __sync_fetch_and_xor (b, 60129542145LL);
  17   quux (b, 42949672967LL);
  18   __sync_xor_and_fetch (b + 22, 60129542145LL);
  19   quux (b + 23, 42949672967LL);
  20   if (bar (baz))
  21     __builtin_abort ();
  22   foo ();
  23   __sync_val_compare_and_swap (b, 4294967298LL, 0);
  24   __sync_bool_compare_and_swap (b + 1, 8589934595LL, 78187493520LL);
  25   if (__sync_or_and_fetch (b, 21474836489LL) != 21474836489LL)
  26     qux (b + 22, 60129542145LL);
  27   __atomic_fetch_nand (b + 23, 42949672967LL, __ATOMIC_RELAXED);
  28   bar (baz);
  29 }