| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| #ifndef TSAN_INTERFACE_ATOMIC_H |
| #define TSAN_INTERFACE_ATOMIC_H |
|
|
| #include <sanitizer/common_interface_defs.h> |
|
|
| #ifdef __cplusplus |
| extern "C" { |
| #endif |
|
|
| typedef char __tsan_atomic8; |
| typedef short __tsan_atomic16; |
| typedef int __tsan_atomic32; |
| typedef long __tsan_atomic64; |
| #if defined(__SIZEOF_INT128__) || \ |
| (__clang_major__ * 100 + __clang_minor__ >= 302) |
| __extension__ typedef __int128 __tsan_atomic128; |
| #define __TSAN_HAS_INT128 1 |
| #else |
| #define __TSAN_HAS_INT128 0 |
| #endif |
|
|
| |
| |
| typedef enum { |
| __tsan_memory_order_relaxed, |
| __tsan_memory_order_consume, |
| __tsan_memory_order_acquire, |
| __tsan_memory_order_release, |
| __tsan_memory_order_acq_rel, |
| __tsan_memory_order_seq_cst |
| } __tsan_memory_order; |
|
|
| __tsan_atomic8 SANITIZER_CDECL |
| __tsan_atomic8_load(const volatile __tsan_atomic8 *a, int mo); |
| __tsan_atomic16 SANITIZER_CDECL |
| __tsan_atomic16_load(const volatile __tsan_atomic16 *a, int mo); |
| __tsan_atomic32 SANITIZER_CDECL |
| __tsan_atomic32_load(const volatile __tsan_atomic32 *a, int mo); |
| __tsan_atomic64 SANITIZER_CDECL |
| __tsan_atomic64_load(const volatile __tsan_atomic64 *a, int mo); |
| #if __TSAN_HAS_INT128 |
| __tsan_atomic128 SANITIZER_CDECL |
| __tsan_atomic128_load(const volatile __tsan_atomic128 *a, int mo); |
| #endif |
|
|
| void SANITIZER_CDECL __tsan_atomic8_store(volatile __tsan_atomic8 *a, |
| __tsan_atomic8 v, int mo); |
| void SANITIZER_CDECL __tsan_atomic16_store(volatile __tsan_atomic16 *a, |
| __tsan_atomic16 v, int mo); |
| void SANITIZER_CDECL __tsan_atomic32_store(volatile __tsan_atomic32 *a, |
| __tsan_atomic32 v, int mo); |
| void SANITIZER_CDECL __tsan_atomic64_store(volatile __tsan_atomic64 *a, |
| __tsan_atomic64 v, int mo); |
| #if __TSAN_HAS_INT128 |
| void SANITIZER_CDECL __tsan_atomic128_store(volatile __tsan_atomic128 *a, |
| __tsan_atomic128 v, int mo); |
| #endif |
|
|
| __tsan_atomic8 SANITIZER_CDECL |
| __tsan_atomic8_exchange(volatile __tsan_atomic8 *a, __tsan_atomic8 v, int mo); |
| __tsan_atomic16 SANITIZER_CDECL __tsan_atomic16_exchange( |
| volatile __tsan_atomic16 *a, __tsan_atomic16 v, int mo); |
| __tsan_atomic32 SANITIZER_CDECL __tsan_atomic32_exchange( |
| volatile __tsan_atomic32 *a, __tsan_atomic32 v, int mo); |
| __tsan_atomic64 SANITIZER_CDECL __tsan_atomic64_exchange( |
| volatile __tsan_atomic64 *a, __tsan_atomic64 v, int mo); |
| #if __TSAN_HAS_INT128 |
| __tsan_atomic128 SANITIZER_CDECL __tsan_atomic128_exchange( |
| volatile __tsan_atomic128 *a, __tsan_atomic128 v, int mo); |
| #endif |
|
|
| __tsan_atomic8 SANITIZER_CDECL |
| __tsan_atomic8_fetch_add(volatile __tsan_atomic8 *a, __tsan_atomic8 v, int mo); |
| __tsan_atomic16 SANITIZER_CDECL __tsan_atomic16_fetch_add( |
| volatile __tsan_atomic16 *a, __tsan_atomic16 v, int mo); |
| __tsan_atomic32 SANITIZER_CDECL __tsan_atomic32_fetch_add( |
| volatile __tsan_atomic32 *a, __tsan_atomic32 v, int mo); |
| __tsan_atomic64 SANITIZER_CDECL __tsan_atomic64_fetch_add( |
| volatile __tsan_atomic64 *a, __tsan_atomic64 v, int mo); |
| #if __TSAN_HAS_INT128 |
| __tsan_atomic128 SANITIZER_CDECL __tsan_atomic128_fetch_add( |
| volatile __tsan_atomic128 *a, __tsan_atomic128 v, int mo); |
| #endif |
|
|
| __tsan_atomic8 SANITIZER_CDECL |
| __tsan_atomic8_fetch_sub(volatile __tsan_atomic8 *a, __tsan_atomic8 v, int mo); |
| __tsan_atomic16 SANITIZER_CDECL __tsan_atomic16_fetch_sub( |
| volatile __tsan_atomic16 *a, __tsan_atomic16 v, int mo); |
| __tsan_atomic32 SANITIZER_CDECL __tsan_atomic32_fetch_sub( |
| volatile __tsan_atomic32 *a, __tsan_atomic32 v, int mo); |
| __tsan_atomic64 SANITIZER_CDECL __tsan_atomic64_fetch_sub( |
| volatile __tsan_atomic64 *a, __tsan_atomic64 v, int mo); |
| #if __TSAN_HAS_INT128 |
| __tsan_atomic128 SANITIZER_CDECL __tsan_atomic128_fetch_sub( |
| volatile __tsan_atomic128 *a, __tsan_atomic128 v, int mo); |
| #endif |
|
|
| __tsan_atomic8 SANITIZER_CDECL |
| __tsan_atomic8_fetch_and(volatile __tsan_atomic8 *a, __tsan_atomic8 v, int mo); |
| __tsan_atomic16 SANITIZER_CDECL __tsan_atomic16_fetch_and( |
| volatile __tsan_atomic16 *a, __tsan_atomic16 v, int mo); |
| __tsan_atomic32 SANITIZER_CDECL __tsan_atomic32_fetch_and( |
| volatile __tsan_atomic32 *a, __tsan_atomic32 v, int mo); |
| __tsan_atomic64 SANITIZER_CDECL __tsan_atomic64_fetch_and( |
| volatile __tsan_atomic64 *a, __tsan_atomic64 v, int mo); |
| #if __TSAN_HAS_INT128 |
| __tsan_atomic128 SANITIZER_CDECL __tsan_atomic128_fetch_and( |
| volatile __tsan_atomic128 *a, __tsan_atomic128 v, int mo); |
| #endif |
|
|
| __tsan_atomic8 SANITIZER_CDECL |
| __tsan_atomic8_fetch_or(volatile __tsan_atomic8 *a, __tsan_atomic8 v, int mo); |
| __tsan_atomic16 SANITIZER_CDECL __tsan_atomic16_fetch_or( |
| volatile __tsan_atomic16 *a, __tsan_atomic16 v, int mo); |
| __tsan_atomic32 SANITIZER_CDECL __tsan_atomic32_fetch_or( |
| volatile __tsan_atomic32 *a, __tsan_atomic32 v, int mo); |
| __tsan_atomic64 SANITIZER_CDECL __tsan_atomic64_fetch_or( |
| volatile __tsan_atomic64 *a, __tsan_atomic64 v, int mo); |
| #if __TSAN_HAS_INT128 |
| __tsan_atomic128 SANITIZER_CDECL __tsan_atomic128_fetch_or( |
| volatile __tsan_atomic128 *a, __tsan_atomic128 v, int mo); |
| #endif |
|
|
| __tsan_atomic8 SANITIZER_CDECL |
| __tsan_atomic8_fetch_xor(volatile __tsan_atomic8 *a, __tsan_atomic8 v, int mo); |
| __tsan_atomic16 SANITIZER_CDECL __tsan_atomic16_fetch_xor( |
| volatile __tsan_atomic16 *a, __tsan_atomic16 v, int mo); |
| __tsan_atomic32 SANITIZER_CDECL __tsan_atomic32_fetch_xor( |
| volatile __tsan_atomic32 *a, __tsan_atomic32 v, int mo); |
| __tsan_atomic64 SANITIZER_CDECL __tsan_atomic64_fetch_xor( |
| volatile __tsan_atomic64 *a, __tsan_atomic64 v, int mo); |
| #if __TSAN_HAS_INT128 |
| __tsan_atomic128 SANITIZER_CDECL __tsan_atomic128_fetch_xor( |
| volatile __tsan_atomic128 *a, __tsan_atomic128 v, int mo); |
| #endif |
|
|
| __tsan_atomic8 SANITIZER_CDECL |
| __tsan_atomic8_fetch_nand(volatile __tsan_atomic8 *a, __tsan_atomic8 v, int mo); |
| __tsan_atomic16 SANITIZER_CDECL __tsan_atomic16_fetch_nand( |
| volatile __tsan_atomic16 *a, __tsan_atomic16 v, int mo); |
| __tsan_atomic32 SANITIZER_CDECL __tsan_atomic32_fetch_nand( |
| volatile __tsan_atomic32 *a, __tsan_atomic32 v, int mo); |
| __tsan_atomic64 SANITIZER_CDECL __tsan_atomic64_fetch_nand( |
| volatile __tsan_atomic64 *a, __tsan_atomic64 v, int mo); |
| #if __TSAN_HAS_INT128 |
| __tsan_atomic128 SANITIZER_CDECL __tsan_atomic128_fetch_nand( |
| volatile __tsan_atomic128 *a, __tsan_atomic128 v, int mo); |
| #endif |
|
|
| int SANITIZER_CDECL __tsan_atomic8_compare_exchange_weak( |
| volatile __tsan_atomic8 *a, __tsan_atomic8 *c, __tsan_atomic8 v, int mo, |
| int fail_mo); |
| int SANITIZER_CDECL __tsan_atomic16_compare_exchange_weak( |
| volatile __tsan_atomic16 *a, __tsan_atomic16 *c, __tsan_atomic16 v, int mo, |
| int fail_mo); |
| int SANITIZER_CDECL __tsan_atomic32_compare_exchange_weak( |
| volatile __tsan_atomic32 *a, __tsan_atomic32 *c, __tsan_atomic32 v, int mo, |
| int fail_mo); |
| int SANITIZER_CDECL __tsan_atomic64_compare_exchange_weak( |
| volatile __tsan_atomic64 *a, __tsan_atomic64 *c, __tsan_atomic64 v, int mo, |
| int fail_mo); |
| #if __TSAN_HAS_INT128 |
| int SANITIZER_CDECL __tsan_atomic128_compare_exchange_weak( |
| volatile __tsan_atomic128 *a, __tsan_atomic128 *c, __tsan_atomic128 v, |
| int mo, int fail_mo); |
| #endif |
|
|
| int SANITIZER_CDECL __tsan_atomic8_compare_exchange_strong( |
| volatile __tsan_atomic8 *a, __tsan_atomic8 *c, __tsan_atomic8 v, int mo, |
| int fail_mo); |
| int SANITIZER_CDECL __tsan_atomic16_compare_exchange_strong( |
| volatile __tsan_atomic16 *a, __tsan_atomic16 *c, __tsan_atomic16 v, int mo, |
| int fail_mo); |
| int SANITIZER_CDECL __tsan_atomic32_compare_exchange_strong( |
| volatile __tsan_atomic32 *a, __tsan_atomic32 *c, __tsan_atomic32 v, int mo, |
| int fail_mo); |
| int SANITIZER_CDECL __tsan_atomic64_compare_exchange_strong( |
| volatile __tsan_atomic64 *a, __tsan_atomic64 *c, __tsan_atomic64 v, int mo, |
| int fail_mo); |
| #if __TSAN_HAS_INT128 |
| int SANITIZER_CDECL __tsan_atomic128_compare_exchange_strong( |
| volatile __tsan_atomic128 *a, __tsan_atomic128 *c, __tsan_atomic128 v, |
| int mo, int fail_mo); |
| #endif |
|
|
| __tsan_atomic8 SANITIZER_CDECL __tsan_atomic8_compare_exchange_val( |
| volatile __tsan_atomic8 *a, __tsan_atomic8 c, __tsan_atomic8 v, int mo, |
| int fail_mo); |
| __tsan_atomic16 SANITIZER_CDECL __tsan_atomic16_compare_exchange_val( |
| volatile __tsan_atomic16 *a, __tsan_atomic16 c, __tsan_atomic16 v, int mo, |
| int fail_mo); |
| __tsan_atomic32 SANITIZER_CDECL __tsan_atomic32_compare_exchange_val( |
| volatile __tsan_atomic32 *a, __tsan_atomic32 c, __tsan_atomic32 v, int mo, |
| int fail_mo); |
| __tsan_atomic64 SANITIZER_CDECL __tsan_atomic64_compare_exchange_val( |
| volatile __tsan_atomic64 *a, __tsan_atomic64 c, __tsan_atomic64 v, int mo, |
| int fail_mo); |
| #if __TSAN_HAS_INT128 |
| __tsan_atomic128 SANITIZER_CDECL __tsan_atomic128_compare_exchange_val( |
| volatile __tsan_atomic128 *a, __tsan_atomic128 c, __tsan_atomic128 v, |
| int mo, int fail_mo); |
| #endif |
|
|
| void SANITIZER_CDECL __tsan_atomic_thread_fence(int mo); |
| void SANITIZER_CDECL __tsan_atomic_signal_fence(int mo); |
|
|
| #ifdef __cplusplus |
| } |
| #endif |
|
|
| #endif |
|
|