1 //===-- tsan_interface_atomic.h ---------------------------------*- C++ -*-===//
3 // This file is distributed under the University of Illinois Open Source
4 // License. See LICENSE.TXT for details.
6 //===----------------------------------------------------------------------===//
8 // This file is a part of ThreadSanitizer (TSan), a race detector.
10 //===----------------------------------------------------------------------===//
11 #ifndef TSAN_INTERFACE_ATOMIC_H
12 #define TSAN_INTERFACE_ATOMIC_H
18 typedef char __tsan_atomic8
;
19 typedef short __tsan_atomic16
; // NOLINT
20 typedef int __tsan_atomic32
;
21 typedef long __tsan_atomic64
; // NOLINT
23 #if defined(__SIZEOF_INT128__) \
24 || (__clang_major__ * 100 + __clang_minor__ >= 302)
25 typedef __int128 __tsan_atomic128
;
26 #define __TSAN_HAS_INT128 1
28 typedef char __tsan_atomic128
;
29 #define __TSAN_HAS_INT128 0
32 // Part of ABI, do not change.
33 // http://llvm.org/viewvc/llvm-project/libcxx/trunk/include/atomic?view=markup
35 __tsan_memory_order_relaxed
,
36 __tsan_memory_order_consume
,
37 __tsan_memory_order_acquire
,
38 __tsan_memory_order_release
,
39 __tsan_memory_order_acq_rel
,
40 __tsan_memory_order_seq_cst
41 } __tsan_memory_order
;
43 __tsan_atomic8
__tsan_atomic8_load(const volatile __tsan_atomic8
*a
,
44 __tsan_memory_order mo
);
45 __tsan_atomic16
__tsan_atomic16_load(const volatile __tsan_atomic16
*a
,
46 __tsan_memory_order mo
);
47 __tsan_atomic32
__tsan_atomic32_load(const volatile __tsan_atomic32
*a
,
48 __tsan_memory_order mo
);
49 __tsan_atomic64
__tsan_atomic64_load(const volatile __tsan_atomic64
*a
,
50 __tsan_memory_order mo
);
51 __tsan_atomic128
__tsan_atomic128_load(const volatile __tsan_atomic128
*a
,
52 __tsan_memory_order mo
);
54 void __tsan_atomic8_store(volatile __tsan_atomic8
*a
, __tsan_atomic8 v
,
55 __tsan_memory_order mo
);
56 void __tsan_atomic16_store(volatile __tsan_atomic16
*a
, __tsan_atomic16 v
,
57 __tsan_memory_order mo
);
58 void __tsan_atomic32_store(volatile __tsan_atomic32
*a
, __tsan_atomic32 v
,
59 __tsan_memory_order mo
);
60 void __tsan_atomic64_store(volatile __tsan_atomic64
*a
, __tsan_atomic64 v
,
61 __tsan_memory_order mo
);
62 void __tsan_atomic128_store(volatile __tsan_atomic128
*a
, __tsan_atomic128 v
,
63 __tsan_memory_order mo
);
65 __tsan_atomic8
__tsan_atomic8_exchange(volatile __tsan_atomic8
*a
,
66 __tsan_atomic8 v
, __tsan_memory_order mo
);
67 __tsan_atomic16
__tsan_atomic16_exchange(volatile __tsan_atomic16
*a
,
68 __tsan_atomic16 v
, __tsan_memory_order mo
);
69 __tsan_atomic32
__tsan_atomic32_exchange(volatile __tsan_atomic32
*a
,
70 __tsan_atomic32 v
, __tsan_memory_order mo
);
71 __tsan_atomic64
__tsan_atomic64_exchange(volatile __tsan_atomic64
*a
,
72 __tsan_atomic64 v
, __tsan_memory_order mo
);
73 __tsan_atomic128
__tsan_atomic128_exchange(volatile __tsan_atomic128
*a
,
74 __tsan_atomic128 v
, __tsan_memory_order mo
);
76 __tsan_atomic8
__tsan_atomic8_fetch_add(volatile __tsan_atomic8
*a
,
77 __tsan_atomic8 v
, __tsan_memory_order mo
);
78 __tsan_atomic16
__tsan_atomic16_fetch_add(volatile __tsan_atomic16
*a
,
79 __tsan_atomic16 v
, __tsan_memory_order mo
);
80 __tsan_atomic32
__tsan_atomic32_fetch_add(volatile __tsan_atomic32
*a
,
81 __tsan_atomic32 v
, __tsan_memory_order mo
);
82 __tsan_atomic64
__tsan_atomic64_fetch_add(volatile __tsan_atomic64
*a
,
83 __tsan_atomic64 v
, __tsan_memory_order mo
);
84 __tsan_atomic128
__tsan_atomic128_fetch_add(volatile __tsan_atomic128
*a
,
85 __tsan_atomic128 v
, __tsan_memory_order mo
);
87 __tsan_atomic8
__tsan_atomic8_fetch_sub(volatile __tsan_atomic8
*a
,
88 __tsan_atomic8 v
, __tsan_memory_order mo
);
89 __tsan_atomic16
__tsan_atomic16_fetch_sub(volatile __tsan_atomic16
*a
,
90 __tsan_atomic16 v
, __tsan_memory_order mo
);
91 __tsan_atomic32
__tsan_atomic32_fetch_sub(volatile __tsan_atomic32
*a
,
92 __tsan_atomic32 v
, __tsan_memory_order mo
);
93 __tsan_atomic64
__tsan_atomic64_fetch_sub(volatile __tsan_atomic64
*a
,
94 __tsan_atomic64 v
, __tsan_memory_order mo
);
95 __tsan_atomic128
__tsan_atomic128_fetch_sub(volatile __tsan_atomic128
*a
,
96 __tsan_atomic128 v
, __tsan_memory_order mo
);
98 __tsan_atomic8
__tsan_atomic8_fetch_and(volatile __tsan_atomic8
*a
,
99 __tsan_atomic8 v
, __tsan_memory_order mo
);
100 __tsan_atomic16
__tsan_atomic16_fetch_and(volatile __tsan_atomic16
*a
,
101 __tsan_atomic16 v
, __tsan_memory_order mo
);
102 __tsan_atomic32
__tsan_atomic32_fetch_and(volatile __tsan_atomic32
*a
,
103 __tsan_atomic32 v
, __tsan_memory_order mo
);
104 __tsan_atomic64
__tsan_atomic64_fetch_and(volatile __tsan_atomic64
*a
,
105 __tsan_atomic64 v
, __tsan_memory_order mo
);
106 __tsan_atomic128
__tsan_atomic128_fetch_and(volatile __tsan_atomic128
*a
,
107 __tsan_atomic128 v
, __tsan_memory_order mo
);
109 __tsan_atomic8
__tsan_atomic8_fetch_or(volatile __tsan_atomic8
*a
,
110 __tsan_atomic8 v
, __tsan_memory_order mo
);
111 __tsan_atomic16
__tsan_atomic16_fetch_or(volatile __tsan_atomic16
*a
,
112 __tsan_atomic16 v
, __tsan_memory_order mo
);
113 __tsan_atomic32
__tsan_atomic32_fetch_or(volatile __tsan_atomic32
*a
,
114 __tsan_atomic32 v
, __tsan_memory_order mo
);
115 __tsan_atomic64
__tsan_atomic64_fetch_or(volatile __tsan_atomic64
*a
,
116 __tsan_atomic64 v
, __tsan_memory_order mo
);
117 __tsan_atomic128
__tsan_atomic128_fetch_or(volatile __tsan_atomic128
*a
,
118 __tsan_atomic128 v
, __tsan_memory_order mo
);
120 __tsan_atomic8
__tsan_atomic8_fetch_xor(volatile __tsan_atomic8
*a
,
121 __tsan_atomic8 v
, __tsan_memory_order mo
);
122 __tsan_atomic16
__tsan_atomic16_fetch_xor(volatile __tsan_atomic16
*a
,
123 __tsan_atomic16 v
, __tsan_memory_order mo
);
124 __tsan_atomic32
__tsan_atomic32_fetch_xor(volatile __tsan_atomic32
*a
,
125 __tsan_atomic32 v
, __tsan_memory_order mo
);
126 __tsan_atomic64
__tsan_atomic64_fetch_xor(volatile __tsan_atomic64
*a
,
127 __tsan_atomic64 v
, __tsan_memory_order mo
);
128 __tsan_atomic128
__tsan_atomic128_fetch_xor(volatile __tsan_atomic128
*a
,
129 __tsan_atomic128 v
, __tsan_memory_order mo
);
131 __tsan_atomic8
__tsan_atomic8_fetch_nand(volatile __tsan_atomic8
*a
,
132 __tsan_atomic8 v
, __tsan_memory_order mo
);
133 __tsan_atomic16
__tsan_atomic16_fetch_nand(volatile __tsan_atomic16
*a
,
134 __tsan_atomic16 v
, __tsan_memory_order mo
);
135 __tsan_atomic32
__tsan_atomic32_fetch_nand(volatile __tsan_atomic32
*a
,
136 __tsan_atomic32 v
, __tsan_memory_order mo
);
137 __tsan_atomic64
__tsan_atomic64_fetch_nand(volatile __tsan_atomic64
*a
,
138 __tsan_atomic64 v
, __tsan_memory_order mo
);
139 __tsan_atomic128
__tsan_atomic128_fetch_nand(volatile __tsan_atomic128
*a
,
140 __tsan_atomic128 v
, __tsan_memory_order mo
);
142 int __tsan_atomic8_compare_exchange_weak(volatile __tsan_atomic8
*a
,
143 __tsan_atomic8
*c
, __tsan_atomic8 v
, __tsan_memory_order mo
,
144 __tsan_memory_order fail_mo
);
145 int __tsan_atomic16_compare_exchange_weak(volatile __tsan_atomic16
*a
,
146 __tsan_atomic16
*c
, __tsan_atomic16 v
, __tsan_memory_order mo
,
147 __tsan_memory_order fail_mo
);
148 int __tsan_atomic32_compare_exchange_weak(volatile __tsan_atomic32
*a
,
149 __tsan_atomic32
*c
, __tsan_atomic32 v
, __tsan_memory_order mo
,
150 __tsan_memory_order fail_mo
);
151 int __tsan_atomic64_compare_exchange_weak(volatile __tsan_atomic64
*a
,
152 __tsan_atomic64
*c
, __tsan_atomic64 v
, __tsan_memory_order mo
,
153 __tsan_memory_order fail_mo
);
154 int __tsan_atomic128_compare_exchange_weak(volatile __tsan_atomic128
*a
,
155 __tsan_atomic128
*c
, __tsan_atomic128 v
, __tsan_memory_order mo
,
156 __tsan_memory_order fail_mo
);
158 int __tsan_atomic8_compare_exchange_strong(volatile __tsan_atomic8
*a
,
159 __tsan_atomic8
*c
, __tsan_atomic8 v
, __tsan_memory_order mo
,
160 __tsan_memory_order fail_mo
);
161 int __tsan_atomic16_compare_exchange_strong(volatile __tsan_atomic16
*a
,
162 __tsan_atomic16
*c
, __tsan_atomic16 v
, __tsan_memory_order mo
,
163 __tsan_memory_order fail_mo
);
164 int __tsan_atomic32_compare_exchange_strong(volatile __tsan_atomic32
*a
,
165 __tsan_atomic32
*c
, __tsan_atomic32 v
, __tsan_memory_order mo
,
166 __tsan_memory_order fail_mo
);
167 int __tsan_atomic64_compare_exchange_strong(volatile __tsan_atomic64
*a
,
168 __tsan_atomic64
*c
, __tsan_atomic64 v
, __tsan_memory_order mo
,
169 __tsan_memory_order fail_mo
);
170 int __tsan_atomic128_compare_exchange_strong(volatile __tsan_atomic128
*a
,
171 __tsan_atomic128
*c
, __tsan_atomic128 v
, __tsan_memory_order mo
,
172 __tsan_memory_order fail_mo
);
174 __tsan_atomic8
__tsan_atomic8_compare_exchange_val(
175 volatile __tsan_atomic8
*a
, __tsan_atomic8 c
, __tsan_atomic8 v
,
176 __tsan_memory_order mo
, __tsan_memory_order fail_mo
);
177 __tsan_atomic16
__tsan_atomic16_compare_exchange_val(
178 volatile __tsan_atomic16
*a
, __tsan_atomic16 c
, __tsan_atomic16 v
,
179 __tsan_memory_order mo
, __tsan_memory_order fail_mo
);
180 __tsan_atomic32
__tsan_atomic32_compare_exchange_val(
181 volatile __tsan_atomic32
*a
, __tsan_atomic32 c
, __tsan_atomic32 v
,
182 __tsan_memory_order mo
, __tsan_memory_order fail_mo
);
183 __tsan_atomic64
__tsan_atomic64_compare_exchange_val(
184 volatile __tsan_atomic64
*a
, __tsan_atomic64 c
, __tsan_atomic64 v
,
185 __tsan_memory_order mo
, __tsan_memory_order fail_mo
);
186 __tsan_atomic128
__tsan_atomic128_compare_exchange_val(
187 volatile __tsan_atomic128
*a
, __tsan_atomic128 c
, __tsan_atomic128 v
,
188 __tsan_memory_order mo
, __tsan_memory_order fail_mo
);
190 void __tsan_atomic_thread_fence(__tsan_memory_order mo
);
191 void __tsan_atomic_signal_fence(__tsan_memory_order mo
);
197 #endif // #ifndef TSAN_INTERFACE_ATOMIC_H