contrib/llvm-project/compiler-rt/include/sanitizer/tsan_interface_atomic.h

   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;  // NOLINT
  22 typedef int      __tsan_atomic32;
  23 typedef long     __tsan_atomic64;  // NOLINT
  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/master/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