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 222