1 //===-- tsan_interface_atomic.h ---------------------------------*- C++ -*-===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 // This file is a part of ThreadSanitizer (TSan), a race detector.
10 //
11 // Public interface header for TSan atomics.
12 //===----------------------------------------------------------------------===//
13 #ifndef TSAN_INTERFACE_ATOMIC_H
14 #define TSAN_INTERFACE_ATOMIC_H
15
16 #ifdef __cplusplus
17 extern "C" {
18 #endif
19
20 typedef char __tsan_atomic8;
21 typedef short __tsan_atomic16;
22 typedef int __tsan_atomic32;
23 typedef long __tsan_atomic64;
24 #if defined(__SIZEOF_INT128__) \
25 || (__clang_major__ * 100 + __clang_minor__ >= 302)
26 __extension__ typedef __int128 __tsan_atomic128;
27 # define __TSAN_HAS_INT128 1
28 #else
29 # define __TSAN_HAS_INT128 0
30 #endif
31
32 // Part of ABI, do not change.
33 // https://github.com/llvm/llvm-project/blob/main/libcxx/include/atomic
34 typedef enum {
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;
42
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 #if __TSAN_HAS_INT128
52 __tsan_atomic128 __tsan_atomic128_load(const volatile __tsan_atomic128 *a,
53 __tsan_memory_order mo);
54 #endif
55
56 void __tsan_atomic8_store(volatile __tsan_atomic8 *a, __tsan_atomic8 v,
57 __tsan_memory_order mo);
58 void __tsan_atomic16_store(volatile __tsan_atomic16 *a, __tsan_atomic16 v,
59 __tsan_memory_order mo);
60 void __tsan_atomic32_store(volatile __tsan_atomic32 *a, __tsan_atomic32 v,
61 __tsan_memory_order mo);
62 void __tsan_atomic64_store(volatile __tsan_atomic64 *a, __tsan_atomic64 v,
63 __tsan_memory_order mo);
64 #if __TSAN_HAS_INT128
65 void __tsan_atomic128_store(volatile __tsan_atomic128 *a, __tsan_atomic128 v,
66 __tsan_memory_order mo);
67 #endif
68
69 __tsan_atomic8 __tsan_atomic8_exchange(volatile __tsan_atomic8 *a,
70 __tsan_atomic8 v, __tsan_memory_order mo);
71 __tsan_atomic16 __tsan_atomic16_exchange(volatile __tsan_atomic16 *a,
72 __tsan_atomic16 v, __tsan_memory_order mo);
73 __tsan_atomic32 __tsan_atomic32_exchange(volatile __tsan_atomic32 *a,
74 __tsan_atomic32 v, __tsan_memory_order mo);
75 __tsan_atomic64 __tsan_atomic64_exchange(volatile __tsan_atomic64 *a,
76 __tsan_atomic64 v, __tsan_memory_order mo);
77 #if __TSAN_HAS_INT128
78 __tsan_atomic128 __tsan_atomic128_exchange(volatile __tsan_atomic128 *a,
79 __tsan_atomic128 v, __tsan_memory_order mo);
80 #endif
81
82 __tsan_atomic8 __tsan_atomic8_fetch_add(volatile __tsan_atomic8 *a,
83 __tsan_atomic8 v, __tsan_memory_order mo);
84 __tsan_atomic16 __tsan_atomic16_fetch_add(volatile __tsan_atomic16 *a,
85 __tsan_atomic16 v, __tsan_memory_order mo);
86 __tsan_atomic32 __tsan_atomic32_fetch_add(volatile __tsan_atomic32 *a,
87 __tsan_atomic32 v, __tsan_memory_order mo);
88 __tsan_atomic64 __tsan_atomic64_fetch_add(volatile __tsan_atomic64 *a,
89 __tsan_atomic64 v, __tsan_memory_order mo);
90 #if __TSAN_HAS_INT128
91 __tsan_atomic128 __tsan_atomic128_fetch_add(volatile __tsan_atomic128 *a,
92 __tsan_atomic128 v, __tsan_memory_order mo);
93 #endif
94
95 __tsan_atomic8 __tsan_atomic8_fetch_sub(volatile __tsan_atomic8 *a,
96 __tsan_atomic8 v, __tsan_memory_order mo);
97 __tsan_atomic16 __tsan_atomic16_fetch_sub(volatile __tsan_atomic16 *a,
98 __tsan_atomic16 v, __tsan_memory_order mo);
99 __tsan_atomic32 __tsan_atomic32_fetch_sub(volatile __tsan_atomic32 *a,
100 __tsan_atomic32 v, __tsan_memory_order mo);
101 __tsan_atomic64 __tsan_atomic64_fetch_sub(volatile __tsan_atomic64 *a,
102 __tsan_atomic64 v, __tsan_memory_order mo);
103 #if __TSAN_HAS_INT128
104 __tsan_atomic128 __tsan_atomic128_fetch_sub(volatile __tsan_atomic128 *a,
105 __tsan_atomic128 v, __tsan_memory_order mo);
106 #endif
107
108 __tsan_atomic8 __tsan_atomic8_fetch_and(volatile __tsan_atomic8 *a,
109 __tsan_atomic8 v, __tsan_memory_order mo);
110 __tsan_atomic16 __tsan_atomic16_fetch_and(volatile __tsan_atomic16 *a,
111 __tsan_atomic16 v, __tsan_memory_order mo);
112 __tsan_atomic32 __tsan_atomic32_fetch_and(volatile __tsan_atomic32 *a,
113 __tsan_atomic32 v, __tsan_memory_order mo);
114 __tsan_atomic64 __tsan_atomic64_fetch_and(volatile __tsan_atomic64 *a,
115 __tsan_atomic64 v, __tsan_memory_order mo);
116 #if __TSAN_HAS_INT128
117 __tsan_atomic128 __tsan_atomic128_fetch_and(volatile __tsan_atomic128 *a,
118 __tsan_atomic128 v, __tsan_memory_order mo);
119 #endif
120
121 __tsan_atomic8 __tsan_atomic8_fetch_or(volatile __tsan_atomic8 *a,
122 __tsan_atomic8 v, __tsan_memory_order mo);
123 __tsan_atomic16 __tsan_atomic16_fetch_or(volatile __tsan_atomic16 *a,
124 __tsan_atomic16 v, __tsan_memory_order mo);
125 __tsan_atomic32 __tsan_atomic32_fetch_or(volatile __tsan_atomic32 *a,
126 __tsan_atomic32 v, __tsan_memory_order mo);
127 __tsan_atomic64 __tsan_atomic64_fetch_or(volatile __tsan_atomic64 *a,
128 __tsan_atomic64 v, __tsan_memory_order mo);
129 #if __TSAN_HAS_INT128
130 __tsan_atomic128 __tsan_atomic128_fetch_or(volatile __tsan_atomic128 *a,
131 __tsan_atomic128 v, __tsan_memory_order mo);
132 #endif
133
134 __tsan_atomic8 __tsan_atomic8_fetch_xor(volatile __tsan_atomic8 *a,
135 __tsan_atomic8 v, __tsan_memory_order mo);
136 __tsan_atomic16 __tsan_atomic16_fetch_xor(volatile __tsan_atomic16 *a,
137 __tsan_atomic16 v, __tsan_memory_order mo);
138 __tsan_atomic32 __tsan_atomic32_fetch_xor(volatile __tsan_atomic32 *a,
139 __tsan_atomic32 v, __tsan_memory_order mo);
140 __tsan_atomic64 __tsan_atomic64_fetch_xor(volatile __tsan_atomic64 *a,
141 __tsan_atomic64 v, __tsan_memory_order mo);
142 #if __TSAN_HAS_INT128
143 __tsan_atomic128 __tsan_atomic128_fetch_xor(volatile __tsan_atomic128 *a,
144 __tsan_atomic128 v, __tsan_memory_order mo);
145 #endif
146
147 __tsan_atomic8 __tsan_atomic8_fetch_nand(volatile __tsan_atomic8 *a,
148 __tsan_atomic8 v, __tsan_memory_order mo);
149 __tsan_atomic16 __tsan_atomic16_fetch_nand(volatile __tsan_atomic16 *a,
150 __tsan_atomic16 v, __tsan_memory_order mo);
151 __tsan_atomic32 __tsan_atomic32_fetch_nand(volatile __tsan_atomic32 *a,
152 __tsan_atomic32 v, __tsan_memory_order mo);
153 __tsan_atomic64 __tsan_atomic64_fetch_nand(volatile __tsan_atomic64 *a,
154 __tsan_atomic64 v, __tsan_memory_order mo);
155 #if __TSAN_HAS_INT128
156 __tsan_atomic128 __tsan_atomic128_fetch_nand(volatile __tsan_atomic128 *a,
157 __tsan_atomic128 v, __tsan_memory_order mo);
158 #endif
159
160 int __tsan_atomic8_compare_exchange_weak(volatile __tsan_atomic8 *a,
161 __tsan_atomic8 *c, __tsan_atomic8 v, __tsan_memory_order mo,
162 __tsan_memory_order fail_mo);
163 int __tsan_atomic16_compare_exchange_weak(volatile __tsan_atomic16 *a,
164 __tsan_atomic16 *c, __tsan_atomic16 v, __tsan_memory_order mo,
165 __tsan_memory_order fail_mo);
166 int __tsan_atomic32_compare_exchange_weak(volatile __tsan_atomic32 *a,
167 __tsan_atomic32 *c, __tsan_atomic32 v, __tsan_memory_order mo,
168 __tsan_memory_order fail_mo);
169 int __tsan_atomic64_compare_exchange_weak(volatile __tsan_atomic64 *a,
170 __tsan_atomic64 *c, __tsan_atomic64 v, __tsan_memory_order mo,
171 __tsan_memory_order fail_mo);
172 #if __TSAN_HAS_INT128
173 int __tsan_atomic128_compare_exchange_weak(volatile __tsan_atomic128 *a,
174 __tsan_atomic128 *c, __tsan_atomic128 v, __tsan_memory_order mo,
175 __tsan_memory_order fail_mo);
176 #endif
177
178 int __tsan_atomic8_compare_exchange_strong(volatile __tsan_atomic8 *a,
179 __tsan_atomic8 *c, __tsan_atomic8 v, __tsan_memory_order mo,
180 __tsan_memory_order fail_mo);
181 int __tsan_atomic16_compare_exchange_strong(volatile __tsan_atomic16 *a,
182 __tsan_atomic16 *c, __tsan_atomic16 v, __tsan_memory_order mo,
183 __tsan_memory_order fail_mo);
184 int __tsan_atomic32_compare_exchange_strong(volatile __tsan_atomic32 *a,
185 __tsan_atomic32 *c, __tsan_atomic32 v, __tsan_memory_order mo,
186 __tsan_memory_order fail_mo);
187 int __tsan_atomic64_compare_exchange_strong(volatile __tsan_atomic64 *a,
188 __tsan_atomic64 *c, __tsan_atomic64 v, __tsan_memory_order mo,
189 __tsan_memory_order fail_mo);
190 #if __TSAN_HAS_INT128
191 int __tsan_atomic128_compare_exchange_strong(volatile __tsan_atomic128 *a,
192 __tsan_atomic128 *c, __tsan_atomic128 v, __tsan_memory_order mo,
193 __tsan_memory_order fail_mo);
194 #endif
195
196 __tsan_atomic8 __tsan_atomic8_compare_exchange_val(
197 volatile __tsan_atomic8 *a, __tsan_atomic8 c, __tsan_atomic8 v,
198 __tsan_memory_order mo, __tsan_memory_order fail_mo);
199 __tsan_atomic16 __tsan_atomic16_compare_exchange_val(
200 volatile __tsan_atomic16 *a, __tsan_atomic16 c, __tsan_atomic16 v,
201 __tsan_memory_order mo, __tsan_memory_order fail_mo);
202 __tsan_atomic32 __tsan_atomic32_compare_exchange_val(
203 volatile __tsan_atomic32 *a, __tsan_atomic32 c, __tsan_atomic32 v,
204 __tsan_memory_order mo, __tsan_memory_order fail_mo);
205 __tsan_atomic64 __tsan_atomic64_compare_exchange_val(
206 volatile __tsan_atomic64 *a, __tsan_atomic64 c, __tsan_atomic64 v,
207 __tsan_memory_order mo, __tsan_memory_order fail_mo);
208 #if __TSAN_HAS_INT128
209 __tsan_atomic128 __tsan_atomic128_compare_exchange_val(
210 volatile __tsan_atomic128 *a, __tsan_atomic128 c, __tsan_atomic128 v,
211 __tsan_memory_order mo, __tsan_memory_order fail_mo);
212 #endif
213
214 void __tsan_atomic_thread_fence(__tsan_memory_order mo);
215 void __tsan_atomic_signal_fence(__tsan_memory_order mo);
216
217 #ifdef __cplusplus
218 } // extern "C"
219 #endif
220
221 #endif // TSAN_INTERFACE_ATOMIC_H