1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121
|
/* Test the atomic_init generic function. Verify that __atomic_store_N
is called with the last argument of memory_order_relaxed (i.e., 0)
for each invocation of the atomic_init() macro in the test and that
there are no calls to __atomic_store_N with a non-zero last argument. */
/* { dg-do compile } */
/* { dg-options "-fdump-tree-gimple -std=c11 -pedantic-errors" } */
/* { dg-final { scan-tree-dump-times "__atomic_store_. \\(\[^\n\r]*, 0\\)" 54 "gimple" } } */
/* { dg-final { scan-tree-dump-not "__atomic_store_. \\(\[^\n\r]*, \[1-5\]\\)" "gimple" } } */
#include <stdatomic.h>
struct Atomic {
/* Volatile to prevent re-initialization from being optimized away. */
volatile atomic_bool b;
volatile atomic_char c;
volatile atomic_schar sc;
volatile atomic_uchar uc;
volatile atomic_short ss;
volatile atomic_ushort us;
volatile atomic_int si;
volatile atomic_uint ui;
volatile atomic_long sl;
volatile atomic_ulong ul;
volatile atomic_llong sll;
volatile atomic_ullong ull;
volatile atomic_size_t sz;
};
struct Value {
_Bool b;
char c;
signed char sc;
unsigned char uc;
short ss;
unsigned short us;
int si;
unsigned int ui;
long sl;
unsigned long ul;
long long sll;
unsigned long long ull;
__SIZE_TYPE__ sz;
};
/* Exercise the atomic_init() macro with a literal argument. */
void atomic_init_lit (struct Atomic *pa)
{
atomic_init (&pa->b, 0);
atomic_init (&pa->b, 1);
atomic_init (&pa->c, 'x');
atomic_init (&pa->c, 0);
atomic_init (&pa->c, 1);
atomic_init (&pa->c, 255);
atomic_init (&pa->sc, (signed char)'x');
atomic_init (&pa->sc, (signed char)0);
atomic_init (&pa->sc, (signed char)1);
atomic_init (&pa->sc, (signed char)__SCHAR_MAX__);
atomic_init (&pa->uc, (unsigned char)'x');
atomic_init (&pa->uc, (unsigned char)0);
atomic_init (&pa->uc, (unsigned char)1);
atomic_init (&pa->sc, (unsigned char)__SCHAR_MAX__);
atomic_init (&pa->ss, (signed short)0);
atomic_init (&pa->ss, (signed short)1);
atomic_init (&pa->ss, (signed short)__SHRT_MAX__);
atomic_init (&pa->us, (unsigned short)0);
atomic_init (&pa->us, (unsigned short)1);
atomic_init (&pa->us, (unsigned short)__SHRT_MAX__);
atomic_init (&pa->si, (signed int)0);
atomic_init (&pa->si, (signed int)1);
atomic_init (&pa->si, (signed int)__INT_MAX__);
atomic_init (&pa->ui, (unsigned int)0);
atomic_init (&pa->ui, (unsigned int)1);
atomic_init (&pa->ui, (unsigned int)__INT_MAX__);
atomic_init (&pa->sl, (signed long)0);
atomic_init (&pa->sl, (signed long)1);
atomic_init (&pa->sl, (signed long)__LONG_MAX__);
atomic_init (&pa->ul, (unsigned long)0);
atomic_init (&pa->ul, (unsigned long)1);
atomic_init (&pa->ul, (unsigned long)__LONG_MAX__);
atomic_init (&pa->sll, (signed long long)0);
atomic_init (&pa->sll, (signed long long)1);
atomic_init (&pa->sll, (signed long long)__LONG_LONG_MAX__);
atomic_init (&pa->ull, (unsigned long long)0);
atomic_init (&pa->ull, (unsigned long long)1);
atomic_init (&pa->ull, (unsigned long long)__LONG_LONG_MAX__);
atomic_init (&pa->sz, 0);
atomic_init (&pa->sz, 1);
atomic_init (&pa->sz, __SIZE_MAX__);
}
/* Exercise the atomic_init() macro with an lvalue argument. */
void atomic_init_lval (struct Atomic *pa, const struct Value *pv)
{
atomic_init (&pa->b, pv->b);
atomic_init (&pa->c, pv->c);
atomic_init (&pa->sc, pv->sc);
atomic_init (&pa->uc, pv->uc);
atomic_init (&pa->ss, pv->ss);
atomic_init (&pa->us, pv->us);
atomic_init (&pa->si, pv->si);
atomic_init (&pa->ui, pv->ui);
atomic_init (&pa->sl, pv->sl);
atomic_init (&pa->ul, pv->ul);
atomic_init (&pa->sll, pv->sll);
atomic_init (&pa->ull, pv->ull);
atomic_init (&pa->sz, pv->sz);
}
|