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
|
/* { dg-do link } */
/* { dg-require-effective-target sync_long_long_runtime } */
/* { dg-options "" } */
/* { dg-options "-march=pentium" { target { { i?86-*-* x86_64-*-* } && ia32 } } } */
/* { dg-final { simulate-thread } } */
#include <stdio.h>
#include "simulate-thread.h"
/* Test all the __sync routines for proper atomicity on 8 byte values. */
unsigned long long zero = 0;
unsigned long long max = ~0;
unsigned long long changing_value = 0;
unsigned long long value = 0;
unsigned long long ret;
void test_abort()
{
static int reported = 0;
if (!reported)
{
printf ("FAIL: improper execution of __sync builtin.\n");
reported = 1;
}
}
void simulate_thread_other_threads ()
{
}
int simulate_thread_step_verify ()
{
if (value != zero && value != max)
{
printf ("FAIL: invalid intermediate result for value.\n");
return 1;
}
return 0;
}
int simulate_thread_final_verify ()
{
if (value != 0)
{
printf ("FAIL: invalid final result for value.\n");
return 1;
}
return 0;
}
/* All values written to 'value' alternate between 'zero' and 'max'. Any other
value detected by simulate_thread_step_verify() between instructions would indicate
that the value was only partially written, and would thus fail this
atomicity test.
This function tests each different __atomic routine once, with the
exception of the load instruction which requires special testing. */
__attribute__((noinline))
void simulate_thread_main()
{
ret = __atomic_exchange_n (&value, max, __ATOMIC_SEQ_CST);
if (ret != zero || value != max)
test_abort();
__atomic_store_n (&value, zero, __ATOMIC_SEQ_CST);
if (value != zero)
test_abort();
ret = __atomic_fetch_add (&value, max, __ATOMIC_SEQ_CST);
if (value != max || ret != zero)
test_abort ();
ret = __atomic_fetch_sub (&value, max, __ATOMIC_SEQ_CST);
if (value != zero || ret != max)
test_abort ();
ret = __atomic_fetch_or (&value, max, __ATOMIC_SEQ_CST);
if (value != max || ret != zero)
test_abort ();
ret = __atomic_fetch_and (&value, max, __ATOMIC_SEQ_CST);
if (value != max || ret != max)
test_abort ();
ret = __atomic_fetch_xor (&value, max, __ATOMIC_SEQ_CST);
if (value != zero || ret != max)
test_abort ();
ret = __atomic_add_fetch (&value, max, __ATOMIC_SEQ_CST);
if (value != max || ret != max)
test_abort ();
ret = __atomic_sub_fetch (&value, max, __ATOMIC_SEQ_CST);
if (value != zero || ret != zero)
test_abort ();
ret = __atomic_or_fetch (&value, max, __ATOMIC_SEQ_CST);
if (value != max || ret != max)
test_abort ();
ret = __atomic_and_fetch (&value, max, __ATOMIC_SEQ_CST);
if (value != max || ret != max)
test_abort ();
ret = __atomic_xor_fetch (&value, max, __ATOMIC_SEQ_CST);
if (value != zero || ret != zero)
test_abort ();
}
int main ()
{
simulate_thread_main ();
simulate_thread_done ();
return 0;
}
|
