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
|
/* { dg-do run } */
/* { dg-additional-options "-DSYNC_FALLBACK" { target { ! cas_int } } } */
#ifdef SYNC_FALLBACK
/* The SYNC_FALLBACK code is just so we don't have to restrict this test
to any subset of targets. For targets with no atomics support at
all, the cas_int effective-target is false and the fallback provides
a PASS. Where the bug trigs (at the time this test-case was added),
cas_int is also false but the fallback isn't used. */
__attribute__((__noinline__, __noclone__))
unsigned
# if __INT_MAX__ == 0x7fff
__sync_fetch_and_add_2
# else
__sync_fetch_and_add_4
# endif
(volatile void *at, unsigned val)
{
unsigned tmp = *(volatile unsigned*)at;
asm ("");
*(volatile unsigned*)at = tmp + val;
return tmp;
}
#endif
__attribute__((__noinline__, __noclone__))
void g (unsigned *at, unsigned val)
{
asm ("");
__sync_fetch_and_add (at, val);
}
int main(void)
{
/* On PTX it is not valid to perform atomic operations on auto
variables, which end up in .local. Making this static places it
in .global. */
static unsigned x = 41;
unsigned a = 1;
g (&x, a);
if (x != 42)
__builtin_abort ();
__builtin_exit (0);
}
|
