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
6/* Test basic functionality of the intrinsics.  The operations should
7   not be optimized away if no one checks the return values.  */
8
9extern void abort (void);
10extern void *memcpy (void *, const void *, __SIZE_TYPE__);
11
12static int AI[12];
13static int init_noret_si[12] = { 0, 0, 0, 1, 0, 0, 0, 0, -1, 0, 0, 0 };
14static int test_noret_si[12] = { 1, 1, 1, 0, 1, 4, 22, -12, 7, 8, 9, 7 };
15
16static void
17do_noret_si (void)
18{
19  __sync_val_compare_and_swap(AI+0, 0, 1);
20  __sync_bool_compare_and_swap(AI+1, 0, 1);
21  __sync_lock_test_and_set(AI+2, 1);
22  __sync_lock_release(AI+3);
23
24  __sync_fetch_and_add(AI+4, 1);
25  __sync_fetch_and_add(AI+5, 4);
26  __sync_fetch_and_add(AI+6, 22);
27  __sync_fetch_and_sub(AI+7, 12);
28  __sync_fetch_and_and(AI+8, 7);
29  __sync_fetch_and_or(AI+9, 8);
30  __sync_fetch_and_xor(AI+10, 9);
31  __sync_fetch_and_nand(AI+11, 7);
32}
33
34static long AL[12];
35static long init_noret_di[12] = { 0, 0, 0, 1, 0, 0, 0, 0, -1, 0, 0, 0 };
36static long test_noret_di[12] = { 1, 1, 1, 0, 1, 4, 22, -12, 7, 8, 9, 7 };
37
38static void
39do_noret_di (void)
40{
41  __sync_val_compare_and_swap(AL+0, 0, 1);
42  __sync_bool_compare_and_swap(AL+1, 0, 1);
43  __sync_lock_test_and_set(AL+2, 1);
44  __sync_lock_release(AL+3);
45
46  __sync_fetch_and_add(AL+4, 1);
47  __sync_fetch_and_add(AL+5, 4);
48  __sync_fetch_and_add(AL+6, 22);
49  __sync_fetch_and_sub(AL+7, 12);
50  __sync_fetch_and_and(AL+8, 7);
51  __sync_fetch_and_or(AL+9, 8);
52  __sync_fetch_and_xor(AL+10, 9);
53  __sync_fetch_and_nand(AL+11, 7);
54}
55
56int main()
57{
58  memcpy(AI, init_noret_si, sizeof(init_noret_si));
59  memcpy(AL, init_noret_di, sizeof(init_noret_di));
60
61  do_noret_si ();
62  do_noret_di ();
63
64  if (memcmp (AI, test_noret_si, sizeof(test_noret_si)))
65    abort ();
66  if (memcmp (AL, test_noret_di, sizeof(test_noret_di)))
67    abort ();
68
69  return 0;
70}
71