aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.8.1/gcc/testsuite/gcc.dg/atomic-op-4.c
diff options
context:
space:
mode:
Diffstat (limited to 'gcc-4.8.1/gcc/testsuite/gcc.dg/atomic-op-4.c')
-rw-r--r--gcc-4.8.1/gcc/testsuite/gcc.dg/atomic-op-4.c556
1 files changed, 0 insertions, 556 deletions
diff --git a/gcc-4.8.1/gcc/testsuite/gcc.dg/atomic-op-4.c b/gcc-4.8.1/gcc/testsuite/gcc.dg/atomic-op-4.c
deleted file mode 100644
index 7c4a819bf..000000000
--- a/gcc-4.8.1/gcc/testsuite/gcc.dg/atomic-op-4.c
+++ /dev/null
@@ -1,556 +0,0 @@
-/* Test __atomic routines for existence and proper execution on 8 byte
- values with each valid memory model. */
-/* { dg-do run } */
-/* { dg-require-effective-target sync_long_long_runtime } */
-/* { dg-options "" } */
-/* { dg-options "-march=pentium" { target { { i?86-*-* x86_64-*-* } && ia32 } } } */
-
-/* Test the execution of the __atomic_*OP builtin routines for long long. */
-
-extern void abort(void);
-
-long long v, count, res;
-const long long init = ~0;
-
-/* The fetch_op routines return the original value before the operation. */
-
-void
-test_fetch_add ()
-{
- v = 0;
- count = 1;
-
- if (__atomic_fetch_add (&v, count, __ATOMIC_RELAXED) != 0)
- abort ();
-
- if (__atomic_fetch_add (&v, 1, __ATOMIC_CONSUME) != 1)
- abort ();
-
- if (__atomic_fetch_add (&v, count, __ATOMIC_ACQUIRE) != 2)
- abort ();
-
- if (__atomic_fetch_add (&v, 1, __ATOMIC_RELEASE) != 3)
- abort ();
-
- if (__atomic_fetch_add (&v, count, __ATOMIC_ACQ_REL) != 4)
- abort ();
-
- if (__atomic_fetch_add (&v, 1, __ATOMIC_SEQ_CST) != 5)
- abort ();
-}
-
-
-void
-test_fetch_sub()
-{
- v = res = 20;
- count = 0;
-
- if (__atomic_fetch_sub (&v, count + 1, __ATOMIC_RELAXED) != res--)
- abort ();
-
- if (__atomic_fetch_sub (&v, 1, __ATOMIC_CONSUME) != res--)
- abort ();
-
- if (__atomic_fetch_sub (&v, count + 1, __ATOMIC_ACQUIRE) != res--)
- abort ();
-
- if (__atomic_fetch_sub (&v, 1, __ATOMIC_RELEASE) != res--)
- abort ();
-
- if (__atomic_fetch_sub (&v, count + 1, __ATOMIC_ACQ_REL) != res--)
- abort ();
-
- if (__atomic_fetch_sub (&v, 1, __ATOMIC_SEQ_CST) != res--)
- abort ();
-}
-
-void
-test_fetch_and ()
-{
- v = init;
-
- if (__atomic_fetch_and (&v, 0, __ATOMIC_RELAXED) != init)
- abort ();
-
- if (__atomic_fetch_and (&v, init, __ATOMIC_CONSUME) != 0)
- abort ();
-
- if (__atomic_fetch_and (&v, 0, __ATOMIC_ACQUIRE) != 0)
- abort ();
-
- v = ~v;
- if (__atomic_fetch_and (&v, init, __ATOMIC_RELEASE) != init)
- abort ();
-
- if (__atomic_fetch_and (&v, 0, __ATOMIC_ACQ_REL) != init)
- abort ();
-
- if (__atomic_fetch_and (&v, 0, __ATOMIC_SEQ_CST) != 0)
- abort ();
-}
-
-void
-test_fetch_nand ()
-{
- v = init;
-
- if (__atomic_fetch_nand (&v, 0, __ATOMIC_RELAXED) != init)
- abort ();
-
- if (__atomic_fetch_nand (&v, init, __ATOMIC_CONSUME) != init)
- abort ();
-
- if (__atomic_fetch_nand (&v, 0, __ATOMIC_ACQUIRE) != 0 )
- abort ();
-
- if (__atomic_fetch_nand (&v, init, __ATOMIC_RELEASE) != init)
- abort ();
-
- if (__atomic_fetch_nand (&v, init, __ATOMIC_ACQ_REL) != 0)
- abort ();
-
- if (__atomic_fetch_nand (&v, 0, __ATOMIC_SEQ_CST) != init)
- abort ();
-}
-
-void
-test_fetch_xor ()
-{
- v = init;
- count = 0;
-
- if (__atomic_fetch_xor (&v, count, __ATOMIC_RELAXED) != init)
- abort ();
-
- if (__atomic_fetch_xor (&v, ~count, __ATOMIC_CONSUME) != init)
- abort ();
-
- if (__atomic_fetch_xor (&v, 0, __ATOMIC_ACQUIRE) != 0)
- abort ();
-
- if (__atomic_fetch_xor (&v, ~count, __ATOMIC_RELEASE) != 0)
- abort ();
-
- if (__atomic_fetch_xor (&v, 0, __ATOMIC_ACQ_REL) != init)
- abort ();
-
- if (__atomic_fetch_xor (&v, ~count, __ATOMIC_SEQ_CST) != init)
- abort ();
-}
-
-void
-test_fetch_or ()
-{
- v = 0;
- count = 1;
-
- if (__atomic_fetch_or (&v, count, __ATOMIC_RELAXED) != 0)
- abort ();
-
- count *= 2;
- if (__atomic_fetch_or (&v, 2, __ATOMIC_CONSUME) != 1)
- abort ();
-
- count *= 2;
- if (__atomic_fetch_or (&v, count, __ATOMIC_ACQUIRE) != 3)
- abort ();
-
- count *= 2;
- if (__atomic_fetch_or (&v, 8, __ATOMIC_RELEASE) != 7)
- abort ();
-
- count *= 2;
- if (__atomic_fetch_or (&v, count, __ATOMIC_ACQ_REL) != 15)
- abort ();
-
- count *= 2;
- if (__atomic_fetch_or (&v, count, __ATOMIC_SEQ_CST) != 31)
- abort ();
-}
-
-/* The OP_fetch routines return the new value after the operation. */
-
-void
-test_add_fetch ()
-{
- v = 0;
- count = 1;
-
- if (__atomic_add_fetch (&v, count, __ATOMIC_RELAXED) != 1)
- abort ();
-
- if (__atomic_add_fetch (&v, 1, __ATOMIC_CONSUME) != 2)
- abort ();
-
- if (__atomic_add_fetch (&v, count, __ATOMIC_ACQUIRE) != 3)
- abort ();
-
- if (__atomic_add_fetch (&v, 1, __ATOMIC_RELEASE) != 4)
- abort ();
-
- if (__atomic_add_fetch (&v, count, __ATOMIC_ACQ_REL) != 5)
- abort ();
-
- if (__atomic_add_fetch (&v, count, __ATOMIC_SEQ_CST) != 6)
- abort ();
-}
-
-
-void
-test_sub_fetch ()
-{
- v = res = 20;
- count = 0;
-
- if (__atomic_sub_fetch (&v, count + 1, __ATOMIC_RELAXED) != --res)
- abort ();
-
- if (__atomic_sub_fetch (&v, 1, __ATOMIC_CONSUME) != --res)
- abort ();
-
- if (__atomic_sub_fetch (&v, count + 1, __ATOMIC_ACQUIRE) != --res)
- abort ();
-
- if (__atomic_sub_fetch (&v, 1, __ATOMIC_RELEASE) != --res)
- abort ();
-
- if (__atomic_sub_fetch (&v, count + 1, __ATOMIC_ACQ_REL) != --res)
- abort ();
-
- if (__atomic_sub_fetch (&v, count + 1, __ATOMIC_SEQ_CST) != --res)
- abort ();
-}
-
-void
-test_and_fetch ()
-{
- v = init;
-
- if (__atomic_and_fetch (&v, 0, __ATOMIC_RELAXED) != 0)
- abort ();
-
- v = init;
- if (__atomic_and_fetch (&v, init, __ATOMIC_CONSUME) != init)
- abort ();
-
- if (__atomic_and_fetch (&v, 0, __ATOMIC_ACQUIRE) != 0)
- abort ();
-
- v = ~v;
- if (__atomic_and_fetch (&v, init, __ATOMIC_RELEASE) != init)
- abort ();
-
- if (__atomic_and_fetch (&v, 0, __ATOMIC_ACQ_REL) != 0)
- abort ();
-
- v = ~v;
- if (__atomic_and_fetch (&v, 0, __ATOMIC_SEQ_CST) != 0)
- abort ();
-}
-
-void
-test_nand_fetch ()
-{
- v = init;
-
- if (__atomic_nand_fetch (&v, 0, __ATOMIC_RELAXED) != init)
- abort ();
-
- if (__atomic_nand_fetch (&v, init, __ATOMIC_CONSUME) != 0)
- abort ();
-
- if (__atomic_nand_fetch (&v, 0, __ATOMIC_ACQUIRE) != init)
- abort ();
-
- if (__atomic_nand_fetch (&v, init, __ATOMIC_RELEASE) != 0)
- abort ();
-
- if (__atomic_nand_fetch (&v, init, __ATOMIC_ACQ_REL) != init)
- abort ();
-
- if (__atomic_nand_fetch (&v, 0, __ATOMIC_SEQ_CST) != init)
- abort ();
-}
-
-
-
-void
-test_xor_fetch ()
-{
- v = init;
- count = 0;
-
- if (__atomic_xor_fetch (&v, count, __ATOMIC_RELAXED) != init)
- abort ();
-
- if (__atomic_xor_fetch (&v, ~count, __ATOMIC_CONSUME) != 0)
- abort ();
-
- if (__atomic_xor_fetch (&v, 0, __ATOMIC_ACQUIRE) != 0)
- abort ();
-
- if (__atomic_xor_fetch (&v, ~count, __ATOMIC_RELEASE) != init)
- abort ();
-
- if (__atomic_xor_fetch (&v, 0, __ATOMIC_ACQ_REL) != init)
- abort ();
-
- if (__atomic_xor_fetch (&v, ~count, __ATOMIC_SEQ_CST) != 0)
- abort ();
-}
-
-void
-test_or_fetch ()
-{
- v = 0;
- count = 1;
-
- if (__atomic_or_fetch (&v, count, __ATOMIC_RELAXED) != 1)
- abort ();
-
- count *= 2;
- if (__atomic_or_fetch (&v, 2, __ATOMIC_CONSUME) != 3)
- abort ();
-
- count *= 2;
- if (__atomic_or_fetch (&v, count, __ATOMIC_ACQUIRE) != 7)
- abort ();
-
- count *= 2;
- if (__atomic_or_fetch (&v, 8, __ATOMIC_RELEASE) != 15)
- abort ();
-
- count *= 2;
- if (__atomic_or_fetch (&v, count, __ATOMIC_ACQ_REL) != 31)
- abort ();
-
- count *= 2;
- if (__atomic_or_fetch (&v, count, __ATOMIC_SEQ_CST) != 63)
- abort ();
-}
-
-
-/* Test the OP routines with a result which isn't used. Use both variations
- within each function. */
-
-void
-test_add ()
-{
- v = 0;
- count = 1;
-
- __atomic_add_fetch (&v, count, __ATOMIC_RELAXED);
- if (v != 1)
- abort ();
-
- __atomic_fetch_add (&v, count, __ATOMIC_CONSUME);
- if (v != 2)
- abort ();
-
- __atomic_add_fetch (&v, 1 , __ATOMIC_ACQUIRE);
- if (v != 3)
- abort ();
-
- __atomic_fetch_add (&v, 1, __ATOMIC_RELEASE);
- if (v != 4)
- abort ();
-
- __atomic_add_fetch (&v, count, __ATOMIC_ACQ_REL);
- if (v != 5)
- abort ();
-
- __atomic_fetch_add (&v, count, __ATOMIC_SEQ_CST);
- if (v != 6)
- abort ();
-}
-
-
-void
-test_sub()
-{
- v = res = 20;
- count = 0;
-
- __atomic_sub_fetch (&v, count + 1, __ATOMIC_RELAXED);
- if (v != --res)
- abort ();
-
- __atomic_fetch_sub (&v, count + 1, __ATOMIC_CONSUME);
- if (v != --res)
- abort ();
-
- __atomic_sub_fetch (&v, 1, __ATOMIC_ACQUIRE);
- if (v != --res)
- abort ();
-
- __atomic_fetch_sub (&v, 1, __ATOMIC_RELEASE);
- if (v != --res)
- abort ();
-
- __atomic_sub_fetch (&v, count + 1, __ATOMIC_ACQ_REL);
- if (v != --res)
- abort ();
-
- __atomic_fetch_sub (&v, count + 1, __ATOMIC_SEQ_CST);
- if (v != --res)
- abort ();
-}
-
-void
-test_and ()
-{
- v = init;
-
- __atomic_and_fetch (&v, 0, __ATOMIC_RELAXED);
- if (v != 0)
- abort ();
-
- v = init;
- __atomic_fetch_and (&v, init, __ATOMIC_CONSUME);
- if (v != init)
- abort ();
-
- __atomic_and_fetch (&v, 0, __ATOMIC_ACQUIRE);
- if (v != 0)
- abort ();
-
- v = ~v;
- __atomic_fetch_and (&v, init, __ATOMIC_RELEASE);
- if (v != init)
- abort ();
-
- __atomic_and_fetch (&v, 0, __ATOMIC_ACQ_REL);
- if (v != 0)
- abort ();
-
- v = ~v;
- __atomic_fetch_and (&v, 0, __ATOMIC_SEQ_CST);
- if (v != 0)
- abort ();
-}
-
-void
-test_nand ()
-{
- v = init;
-
- __atomic_fetch_nand (&v, 0, __ATOMIC_RELAXED);
- if (v != init)
- abort ();
-
- __atomic_fetch_nand (&v, init, __ATOMIC_CONSUME);
- if (v != 0)
- abort ();
-
- __atomic_nand_fetch (&v, 0, __ATOMIC_ACQUIRE);
- if (v != init)
- abort ();
-
- __atomic_nand_fetch (&v, init, __ATOMIC_RELEASE);
- if (v != 0)
- abort ();
-
- __atomic_fetch_nand (&v, init, __ATOMIC_ACQ_REL);
- if (v != init)
- abort ();
-
- __atomic_nand_fetch (&v, 0, __ATOMIC_SEQ_CST);
- if (v != init)
- abort ();
-}
-
-
-
-void
-test_xor ()
-{
- v = init;
- count = 0;
-
- __atomic_xor_fetch (&v, count, __ATOMIC_RELAXED);
- if (v != init)
- abort ();
-
- __atomic_fetch_xor (&v, ~count, __ATOMIC_CONSUME);
- if (v != 0)
- abort ();
-
- __atomic_xor_fetch (&v, 0, __ATOMIC_ACQUIRE);
- if (v != 0)
- abort ();
-
- __atomic_fetch_xor (&v, ~count, __ATOMIC_RELEASE);
- if (v != init)
- abort ();
-
- __atomic_fetch_xor (&v, 0, __ATOMIC_ACQ_REL);
- if (v != init)
- abort ();
-
- __atomic_xor_fetch (&v, ~count, __ATOMIC_SEQ_CST);
- if (v != 0)
- abort ();
-}
-
-void
-test_or ()
-{
- v = 0;
- count = 1;
-
- __atomic_or_fetch (&v, count, __ATOMIC_RELAXED);
- if (v != 1)
- abort ();
-
- count *= 2;
- __atomic_fetch_or (&v, count, __ATOMIC_CONSUME);
- if (v != 3)
- abort ();
-
- count *= 2;
- __atomic_or_fetch (&v, 4, __ATOMIC_ACQUIRE);
- if (v != 7)
- abort ();
-
- count *= 2;
- __atomic_fetch_or (&v, 8, __ATOMIC_RELEASE);
- if (v != 15)
- abort ();
-
- count *= 2;
- __atomic_or_fetch (&v, count, __ATOMIC_ACQ_REL);
- if (v != 31)
- abort ();
-
- count *= 2;
- __atomic_fetch_or (&v, count, __ATOMIC_SEQ_CST);
- if (v != 63)
- abort ();
-}
-
-main ()
-{
- test_fetch_add ();
- test_fetch_sub ();
- test_fetch_and ();
- test_fetch_nand ();
- test_fetch_xor ();
- test_fetch_or ();
-
- test_add_fetch ();
- test_sub_fetch ();
- test_and_fetch ();
- test_nand_fetch ();
- test_xor_fetch ();
- test_or_fetch ();
-
- test_add ();
- test_sub ();
- test_and ();
- test_nand ();
- test_xor ();
- test_or ();
-
- return 0;
-}