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
|
/*
* Copyright (c) 2017 Ivan Maidanski
*
* THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY EXPRESSED
* OR IMPLIED. ANY USE IS AT YOUR OWN RISK.
*
* Permission is hereby granted to use or copy this program
* for any purpose, provided the above notices are retained on all copies.
* Permission to modify the code and to distribute modified code is granted,
* provided the above notices are retained, and a notice that the code was
* modified is included with the above copyright notice.
*/
/* Minimal testing of atomic operations used by the BDWGC. Primary use */
/* is to determine whether compiler atomic intrinsics can be relied on. */
#ifdef HAVE_CONFIG_H
# include "config.h"
#endif
#include <stdio.h>
#if defined(GC_BUILTIN_ATOMIC) || defined(GC_THREADS)
# include <stdlib.h>
# ifdef PARALLEL_MARK
# define AO_REQUIRE_CAS
# endif
# include "private/gc_atomic_ops.h"
# define TA_assert(e) \
if (!(e)) { \
fprintf(stderr, "Assertion failure, line %d: " #e "\n", __LINE__); \
exit(-1); \
}
int main(void) {
AO_t x = 13;
# if defined(AO_HAVE_char_load) || defined(AO_HAVE_char_store)
unsigned char c = 117;
# endif
# ifdef AO_HAVE_test_and_set_acquire
AO_TS_t z = AO_TS_INITIALIZER;
TA_assert(AO_test_and_set_acquire(&z) == AO_TS_CLEAR);
TA_assert(AO_test_and_set_acquire(&z) == AO_TS_SET);
AO_CLEAR(&z);
# endif
AO_compiler_barrier();
# ifdef AO_HAVE_nop_full
AO_nop_full();
# endif
# ifdef AO_HAVE_char_load
TA_assert(AO_char_load(&c) == 117);
# endif
# ifdef AO_HAVE_char_store
AO_char_store(&c, 119);
TA_assert(c == 119);
# endif
# ifdef AO_HAVE_load_acquire
TA_assert(AO_load_acquire(&x) == 13);
# endif
# if defined(AO_HAVE_fetch_and_add) && defined(AO_HAVE_fetch_and_add1)
TA_assert(AO_fetch_and_add(&x, 42) == 13);
TA_assert(AO_fetch_and_add(&x, (AO_t)(-43)) == 55);
TA_assert(AO_fetch_and_add1(&x) == 12);
# endif
# ifdef AO_HAVE_compare_and_swap_release
TA_assert(!AO_compare_and_swap(&x, 14, 42));
TA_assert(x == 13);
TA_assert(AO_compare_and_swap_release(&x, 13, 42));
TA_assert(x == 42);
# else
if (*(volatile AO_t *)&x == 13)
*(volatile AO_t *)&x = 42;
# endif
# ifdef AO_HAVE_or
AO_or(&x, 66);
TA_assert(x == 106);
# endif
# ifdef AO_HAVE_store_release
AO_store_release(&x, 113);
TA_assert(x == 113);
# endif
return 0;
}
#else
int main(void)
{
printf("test skipped\n");
return 0;
}
#endif
|
