blob: 571727b0c95249581bc3b5bb21a4b834948bd312 (
plain)
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
|
/* { 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__))
int
# if __INT_MAX__ == 0x7fff
__sync_fetch_and_add_2
# else
__sync_fetch_and_add_4
# endif
(int *at, int val)
{
int tmp = *at;
asm ("");
*at = tmp + val;
return tmp;
}
#endif
__attribute__((__noinline__, __noclone__))
void g (int *at, int val)
{
asm ("");
__sync_fetch_and_add (at, val);
}
int main(void)
{
int x = 41;
int a = 1;
g (&x, a);
if (x != 42)
__builtin_abort ();
__builtin_exit (0);
}
|
