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_atomic_bool (_Atomic _Bool *a) { enum { SEQ_CST = __ATOMIC_SEQ_CST }; __atomic_fetch_add (a, 1, SEQ_CST); /* { dg-error "operand type ._Atomic _Bool \\*. is incompatible with argument 1 of .__atomic_fetch_add." } */ __atomic_fetch_sub (a, 1, SEQ_CST); /* { dg-error "operand type ._Atomic _Bool \\*. is incompatible with argument 1 of .__atomic_fetch_sub." } */ __atomic_fetch_and (a, 1, SEQ_CST); /* { dg-error "operand type ._Atomic _Bool \\*. is incompatible with argument 1 of .__atomic_fetch_and." } */ __atomic_fetch_xor (a, 1, SEQ_CST); /* { dg-error "operand type ._Atomic _Bool \\*. is incompatible with argument 1 of .__atomic_fetch_xor." } */ __atomic_fetch_or (a, 1, SEQ_CST); /* { dg-error "operand type ._Atomic _Bool \\*. is incompatible with argument 1 of .__atomic_fetch_or." } */ __atomic_fetch_nand (a, 1, SEQ_CST); /* { dg-error "operand type ._Atomic _Bool \\*. is incompatible with argument 1 of .__atomic_fetch_nand." } */ __atomic_add_fetch (a, 1, SEQ_CST); /* { dg-error "operand type ._Atomic _Bool \\*. is incompatible with argument 1 of .__atomic_add_fetch." } */ __atomic_sub_fetch (a, 1, SEQ_CST); /* { dg-error "operand type ._Atomic _Bool \\*. is incompatible with argument 1 of .__atomic_sub_fetch." } */ __atomic_and_fetch (a, 1, SEQ_CST); /* { dg-error "operand type ._Atomic _Bool \\*. is incompatible with argument 1 of .__atomic_and_fetch." } */ __atomic_xor_fetch (a, 1, SEQ_CST); /* { dg-error "operand type ._Atomic _Bool \\*. is incompatible with argument 1 of .__atomic_xor_fetch." } */ __atomic_or_fetch (a, 1, SEQ_CST); /* { dg-error "operand type ._Atomic _Bool \\*. is incompatible with argument 1 of .__atomic_or_fetch." } */ __atomic_nand_fetch (a, 1, SEQ_CST); /* { dg-error "operand type ._Atomic _Bool \\*. is incompatible with argument 1 of .__atomic_nand_fetch." } */ /* The following are valid and must be accepted. */ _Bool val = 0, ret = 0; __atomic_exchange (a, &val, &ret, SEQ_CST); __atomic_exchange_n (a, val, SEQ_CST); __atomic_compare_exchange (a, &val, &ret, !1, SEQ_CST, SEQ_CST); __atomic_compare_exchange_n (a, &val, ret, !1, SEQ_CST, SEQ_CST); __atomic_test_and_set (a, SEQ_CST); __atomic_clear (a, SEQ_CST); }
int atomic_fetch_nand_ACQUIRE (int a) { return __atomic_fetch_nand (&v, a, __ATOMIC_ACQUIRE); }
short short_fetch_nand_seq_cst (short *ptr, int value) { return __atomic_fetch_nand (ptr, value, __ATOMIC_SEQ_CST); }
char char_fetch_nand_seq_cst (char *ptr, int value) { return __atomic_fetch_nand (ptr, value, __ATOMIC_SEQ_CST); }
__int128_t quad_fetch_nand_seq_cst (__int128_t *ptr, __int128_t value) { return __atomic_fetch_nand (ptr, value, __ATOMIC_SEQ_CST); }
long long_fetch_nand_seq_cst (long *ptr, long value) { return __atomic_fetch_nand (ptr, value, __ATOMIC_SEQ_CST); }
long atomic_fetch_nand_RELAXED (long a) { return __atomic_fetch_nand (&v, a, __ATOMIC_RELAXED); }
int atomic_fetch_nand_ACQ_REL () { return __atomic_fetch_nand (&v, 4096, __ATOMIC_ACQ_REL); }