ETISS 0.8.0
Extendable Translating Instruction Set Simulator (version 0.8.0)
Macros | Typedefs | Enumerations | Functions
tsan_interface_atomic.h File Reference

Go to the source code of this file.

Macros

#define __TSAN_HAS_INT128   0
 

Typedefs

typedef char __tsan_atomic8
 
typedef short __tsan_atomic16
 
typedef int __tsan_atomic32
 
typedef long __tsan_atomic64
 

Enumerations

enum  __tsan_memory_order {
  __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
}
 

Functions

__tsan_atomic8 __tsan_atomic8_load (const volatile __tsan_atomic8 *a, __tsan_memory_order mo)
 
__tsan_atomic16 __tsan_atomic16_load (const volatile __tsan_atomic16 *a, __tsan_memory_order mo)
 
__tsan_atomic32 __tsan_atomic32_load (const volatile __tsan_atomic32 *a, __tsan_memory_order mo)
 
__tsan_atomic64 __tsan_atomic64_load (const volatile __tsan_atomic64 *a, __tsan_memory_order mo)
 
void __tsan_atomic8_store (volatile __tsan_atomic8 *a, __tsan_atomic8 v, __tsan_memory_order mo)
 
void __tsan_atomic16_store (volatile __tsan_atomic16 *a, __tsan_atomic16 v, __tsan_memory_order mo)
 
void __tsan_atomic32_store (volatile __tsan_atomic32 *a, __tsan_atomic32 v, __tsan_memory_order mo)
 
void __tsan_atomic64_store (volatile __tsan_atomic64 *a, __tsan_atomic64 v, __tsan_memory_order mo)
 
__tsan_atomic8 __tsan_atomic8_exchange (volatile __tsan_atomic8 *a, __tsan_atomic8 v, __tsan_memory_order mo)
 
__tsan_atomic16 __tsan_atomic16_exchange (volatile __tsan_atomic16 *a, __tsan_atomic16 v, __tsan_memory_order mo)
 
__tsan_atomic32 __tsan_atomic32_exchange (volatile __tsan_atomic32 *a, __tsan_atomic32 v, __tsan_memory_order mo)
 
__tsan_atomic64 __tsan_atomic64_exchange (volatile __tsan_atomic64 *a, __tsan_atomic64 v, __tsan_memory_order mo)
 
__tsan_atomic8 __tsan_atomic8_fetch_add (volatile __tsan_atomic8 *a, __tsan_atomic8 v, __tsan_memory_order mo)
 
__tsan_atomic16 __tsan_atomic16_fetch_add (volatile __tsan_atomic16 *a, __tsan_atomic16 v, __tsan_memory_order mo)
 
__tsan_atomic32 __tsan_atomic32_fetch_add (volatile __tsan_atomic32 *a, __tsan_atomic32 v, __tsan_memory_order mo)
 
__tsan_atomic64 __tsan_atomic64_fetch_add (volatile __tsan_atomic64 *a, __tsan_atomic64 v, __tsan_memory_order mo)
 
__tsan_atomic8 __tsan_atomic8_fetch_sub (volatile __tsan_atomic8 *a, __tsan_atomic8 v, __tsan_memory_order mo)
 
__tsan_atomic16 __tsan_atomic16_fetch_sub (volatile __tsan_atomic16 *a, __tsan_atomic16 v, __tsan_memory_order mo)
 
__tsan_atomic32 __tsan_atomic32_fetch_sub (volatile __tsan_atomic32 *a, __tsan_atomic32 v, __tsan_memory_order mo)
 
__tsan_atomic64 __tsan_atomic64_fetch_sub (volatile __tsan_atomic64 *a, __tsan_atomic64 v, __tsan_memory_order mo)
 
__tsan_atomic8 __tsan_atomic8_fetch_and (volatile __tsan_atomic8 *a, __tsan_atomic8 v, __tsan_memory_order mo)
 
__tsan_atomic16 __tsan_atomic16_fetch_and (volatile __tsan_atomic16 *a, __tsan_atomic16 v, __tsan_memory_order mo)
 
__tsan_atomic32 __tsan_atomic32_fetch_and (volatile __tsan_atomic32 *a, __tsan_atomic32 v, __tsan_memory_order mo)
 
__tsan_atomic64 __tsan_atomic64_fetch_and (volatile __tsan_atomic64 *a, __tsan_atomic64 v, __tsan_memory_order mo)
 
__tsan_atomic8 __tsan_atomic8_fetch_or (volatile __tsan_atomic8 *a, __tsan_atomic8 v, __tsan_memory_order mo)
 
__tsan_atomic16 __tsan_atomic16_fetch_or (volatile __tsan_atomic16 *a, __tsan_atomic16 v, __tsan_memory_order mo)
 
__tsan_atomic32 __tsan_atomic32_fetch_or (volatile __tsan_atomic32 *a, __tsan_atomic32 v, __tsan_memory_order mo)
 
__tsan_atomic64 __tsan_atomic64_fetch_or (volatile __tsan_atomic64 *a, __tsan_atomic64 v, __tsan_memory_order mo)
 
__tsan_atomic8 __tsan_atomic8_fetch_xor (volatile __tsan_atomic8 *a, __tsan_atomic8 v, __tsan_memory_order mo)
 
__tsan_atomic16 __tsan_atomic16_fetch_xor (volatile __tsan_atomic16 *a, __tsan_atomic16 v, __tsan_memory_order mo)
 
__tsan_atomic32 __tsan_atomic32_fetch_xor (volatile __tsan_atomic32 *a, __tsan_atomic32 v, __tsan_memory_order mo)
 
__tsan_atomic64 __tsan_atomic64_fetch_xor (volatile __tsan_atomic64 *a, __tsan_atomic64 v, __tsan_memory_order mo)
 
__tsan_atomic8 __tsan_atomic8_fetch_nand (volatile __tsan_atomic8 *a, __tsan_atomic8 v, __tsan_memory_order mo)
 
__tsan_atomic16 __tsan_atomic16_fetch_nand (volatile __tsan_atomic16 *a, __tsan_atomic16 v, __tsan_memory_order mo)
 
__tsan_atomic32 __tsan_atomic32_fetch_nand (volatile __tsan_atomic32 *a, __tsan_atomic32 v, __tsan_memory_order mo)
 
__tsan_atomic64 __tsan_atomic64_fetch_nand (volatile __tsan_atomic64 *a, __tsan_atomic64 v, __tsan_memory_order mo)
 
int __tsan_atomic8_compare_exchange_weak (volatile __tsan_atomic8 *a, __tsan_atomic8 *c, __tsan_atomic8 v, __tsan_memory_order mo, __tsan_memory_order fail_mo)
 
int __tsan_atomic16_compare_exchange_weak (volatile __tsan_atomic16 *a, __tsan_atomic16 *c, __tsan_atomic16 v, __tsan_memory_order mo, __tsan_memory_order fail_mo)
 
int __tsan_atomic32_compare_exchange_weak (volatile __tsan_atomic32 *a, __tsan_atomic32 *c, __tsan_atomic32 v, __tsan_memory_order mo, __tsan_memory_order fail_mo)
 
int __tsan_atomic64_compare_exchange_weak (volatile __tsan_atomic64 *a, __tsan_atomic64 *c, __tsan_atomic64 v, __tsan_memory_order mo, __tsan_memory_order fail_mo)
 
int __tsan_atomic8_compare_exchange_strong (volatile __tsan_atomic8 *a, __tsan_atomic8 *c, __tsan_atomic8 v, __tsan_memory_order mo, __tsan_memory_order fail_mo)
 
int __tsan_atomic16_compare_exchange_strong (volatile __tsan_atomic16 *a, __tsan_atomic16 *c, __tsan_atomic16 v, __tsan_memory_order mo, __tsan_memory_order fail_mo)
 
int __tsan_atomic32_compare_exchange_strong (volatile __tsan_atomic32 *a, __tsan_atomic32 *c, __tsan_atomic32 v, __tsan_memory_order mo, __tsan_memory_order fail_mo)
 
int __tsan_atomic64_compare_exchange_strong (volatile __tsan_atomic64 *a, __tsan_atomic64 *c, __tsan_atomic64 v, __tsan_memory_order mo, __tsan_memory_order fail_mo)
 
__tsan_atomic8 __tsan_atomic8_compare_exchange_val (volatile __tsan_atomic8 *a, __tsan_atomic8 c, __tsan_atomic8 v, __tsan_memory_order mo, __tsan_memory_order fail_mo)
 
__tsan_atomic16 __tsan_atomic16_compare_exchange_val (volatile __tsan_atomic16 *a, __tsan_atomic16 c, __tsan_atomic16 v, __tsan_memory_order mo, __tsan_memory_order fail_mo)
 
__tsan_atomic32 __tsan_atomic32_compare_exchange_val (volatile __tsan_atomic32 *a, __tsan_atomic32 c, __tsan_atomic32 v, __tsan_memory_order mo, __tsan_memory_order fail_mo)
 
__tsan_atomic64 __tsan_atomic64_compare_exchange_val (volatile __tsan_atomic64 *a, __tsan_atomic64 c, __tsan_atomic64 v, __tsan_memory_order mo, __tsan_memory_order fail_mo)
 
void __tsan_atomic_thread_fence (__tsan_memory_order mo)
 
void __tsan_atomic_signal_fence (__tsan_memory_order mo)
 

Macro Definition Documentation

◆ __TSAN_HAS_INT128

#define __TSAN_HAS_INT128   0

Definition at line 29 of file tsan_interface_atomic.h.

Typedef Documentation

◆ __tsan_atomic16

typedef short __tsan_atomic16

Definition at line 21 of file tsan_interface_atomic.h.

◆ __tsan_atomic32

Definition at line 22 of file tsan_interface_atomic.h.

◆ __tsan_atomic64

typedef long __tsan_atomic64

Definition at line 23 of file tsan_interface_atomic.h.

◆ __tsan_atomic8

typedef char __tsan_atomic8

Definition at line 20 of file tsan_interface_atomic.h.

Enumeration Type Documentation

◆ __tsan_memory_order

Enumerator
__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 

Definition at line 34 of file tsan_interface_atomic.h.

Function Documentation

◆ __tsan_atomic16_compare_exchange_strong()

int __tsan_atomic16_compare_exchange_strong ( volatile __tsan_atomic16 a,
__tsan_atomic16 c,
__tsan_atomic16  v,
__tsan_memory_order  mo,
__tsan_memory_order  fail_mo 
)

◆ __tsan_atomic16_compare_exchange_val()

__tsan_atomic16 __tsan_atomic16_compare_exchange_val ( volatile __tsan_atomic16 a,
__tsan_atomic16  c,
__tsan_atomic16  v,
__tsan_memory_order  mo,
__tsan_memory_order  fail_mo 
)

◆ __tsan_atomic16_compare_exchange_weak()

int __tsan_atomic16_compare_exchange_weak ( volatile __tsan_atomic16 a,
__tsan_atomic16 c,
__tsan_atomic16  v,
__tsan_memory_order  mo,
__tsan_memory_order  fail_mo 
)

◆ __tsan_atomic16_exchange()

__tsan_atomic16 __tsan_atomic16_exchange ( volatile __tsan_atomic16 a,
__tsan_atomic16  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic16_fetch_add()

__tsan_atomic16 __tsan_atomic16_fetch_add ( volatile __tsan_atomic16 a,
__tsan_atomic16  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic16_fetch_and()

__tsan_atomic16 __tsan_atomic16_fetch_and ( volatile __tsan_atomic16 a,
__tsan_atomic16  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic16_fetch_nand()

__tsan_atomic16 __tsan_atomic16_fetch_nand ( volatile __tsan_atomic16 a,
__tsan_atomic16  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic16_fetch_or()

__tsan_atomic16 __tsan_atomic16_fetch_or ( volatile __tsan_atomic16 a,
__tsan_atomic16  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic16_fetch_sub()

__tsan_atomic16 __tsan_atomic16_fetch_sub ( volatile __tsan_atomic16 a,
__tsan_atomic16  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic16_fetch_xor()

__tsan_atomic16 __tsan_atomic16_fetch_xor ( volatile __tsan_atomic16 a,
__tsan_atomic16  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic16_load()

__tsan_atomic16 __tsan_atomic16_load ( const volatile __tsan_atomic16 a,
__tsan_memory_order  mo 
)

◆ __tsan_atomic16_store()

void __tsan_atomic16_store ( volatile __tsan_atomic16 a,
__tsan_atomic16  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic32_compare_exchange_strong()

int __tsan_atomic32_compare_exchange_strong ( volatile __tsan_atomic32 a,
__tsan_atomic32 c,
__tsan_atomic32  v,
__tsan_memory_order  mo,
__tsan_memory_order  fail_mo 
)

◆ __tsan_atomic32_compare_exchange_val()

__tsan_atomic32 __tsan_atomic32_compare_exchange_val ( volatile __tsan_atomic32 a,
__tsan_atomic32  c,
__tsan_atomic32  v,
__tsan_memory_order  mo,
__tsan_memory_order  fail_mo 
)

◆ __tsan_atomic32_compare_exchange_weak()

int __tsan_atomic32_compare_exchange_weak ( volatile __tsan_atomic32 a,
__tsan_atomic32 c,
__tsan_atomic32  v,
__tsan_memory_order  mo,
__tsan_memory_order  fail_mo 
)

◆ __tsan_atomic32_exchange()

__tsan_atomic32 __tsan_atomic32_exchange ( volatile __tsan_atomic32 a,
__tsan_atomic32  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic32_fetch_add()

__tsan_atomic32 __tsan_atomic32_fetch_add ( volatile __tsan_atomic32 a,
__tsan_atomic32  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic32_fetch_and()

__tsan_atomic32 __tsan_atomic32_fetch_and ( volatile __tsan_atomic32 a,
__tsan_atomic32  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic32_fetch_nand()

__tsan_atomic32 __tsan_atomic32_fetch_nand ( volatile __tsan_atomic32 a,
__tsan_atomic32  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic32_fetch_or()

__tsan_atomic32 __tsan_atomic32_fetch_or ( volatile __tsan_atomic32 a,
__tsan_atomic32  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic32_fetch_sub()

__tsan_atomic32 __tsan_atomic32_fetch_sub ( volatile __tsan_atomic32 a,
__tsan_atomic32  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic32_fetch_xor()

__tsan_atomic32 __tsan_atomic32_fetch_xor ( volatile __tsan_atomic32 a,
__tsan_atomic32  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic32_load()

__tsan_atomic32 __tsan_atomic32_load ( const volatile __tsan_atomic32 a,
__tsan_memory_order  mo 
)

◆ __tsan_atomic32_store()

void __tsan_atomic32_store ( volatile __tsan_atomic32 a,
__tsan_atomic32  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic64_compare_exchange_strong()

int __tsan_atomic64_compare_exchange_strong ( volatile __tsan_atomic64 a,
__tsan_atomic64 c,
__tsan_atomic64  v,
__tsan_memory_order  mo,
__tsan_memory_order  fail_mo 
)

◆ __tsan_atomic64_compare_exchange_val()

__tsan_atomic64 __tsan_atomic64_compare_exchange_val ( volatile __tsan_atomic64 a,
__tsan_atomic64  c,
__tsan_atomic64  v,
__tsan_memory_order  mo,
__tsan_memory_order  fail_mo 
)

◆ __tsan_atomic64_compare_exchange_weak()

int __tsan_atomic64_compare_exchange_weak ( volatile __tsan_atomic64 a,
__tsan_atomic64 c,
__tsan_atomic64  v,
__tsan_memory_order  mo,
__tsan_memory_order  fail_mo 
)

◆ __tsan_atomic64_exchange()

__tsan_atomic64 __tsan_atomic64_exchange ( volatile __tsan_atomic64 a,
__tsan_atomic64  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic64_fetch_add()

__tsan_atomic64 __tsan_atomic64_fetch_add ( volatile __tsan_atomic64 a,
__tsan_atomic64  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic64_fetch_and()

__tsan_atomic64 __tsan_atomic64_fetch_and ( volatile __tsan_atomic64 a,
__tsan_atomic64  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic64_fetch_nand()

__tsan_atomic64 __tsan_atomic64_fetch_nand ( volatile __tsan_atomic64 a,
__tsan_atomic64  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic64_fetch_or()

__tsan_atomic64 __tsan_atomic64_fetch_or ( volatile __tsan_atomic64 a,
__tsan_atomic64  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic64_fetch_sub()

__tsan_atomic64 __tsan_atomic64_fetch_sub ( volatile __tsan_atomic64 a,
__tsan_atomic64  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic64_fetch_xor()

__tsan_atomic64 __tsan_atomic64_fetch_xor ( volatile __tsan_atomic64 a,
__tsan_atomic64  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic64_load()

__tsan_atomic64 __tsan_atomic64_load ( const volatile __tsan_atomic64 a,
__tsan_memory_order  mo 
)

◆ __tsan_atomic64_store()

void __tsan_atomic64_store ( volatile __tsan_atomic64 a,
__tsan_atomic64  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic8_compare_exchange_strong()

int __tsan_atomic8_compare_exchange_strong ( volatile __tsan_atomic8 a,
__tsan_atomic8 c,
__tsan_atomic8  v,
__tsan_memory_order  mo,
__tsan_memory_order  fail_mo 
)

◆ __tsan_atomic8_compare_exchange_val()

__tsan_atomic8 __tsan_atomic8_compare_exchange_val ( volatile __tsan_atomic8 a,
__tsan_atomic8  c,
__tsan_atomic8  v,
__tsan_memory_order  mo,
__tsan_memory_order  fail_mo 
)

◆ __tsan_atomic8_compare_exchange_weak()

int __tsan_atomic8_compare_exchange_weak ( volatile __tsan_atomic8 a,
__tsan_atomic8 c,
__tsan_atomic8  v,
__tsan_memory_order  mo,
__tsan_memory_order  fail_mo 
)

◆ __tsan_atomic8_exchange()

__tsan_atomic8 __tsan_atomic8_exchange ( volatile __tsan_atomic8 a,
__tsan_atomic8  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic8_fetch_add()

__tsan_atomic8 __tsan_atomic8_fetch_add ( volatile __tsan_atomic8 a,
__tsan_atomic8  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic8_fetch_and()

__tsan_atomic8 __tsan_atomic8_fetch_and ( volatile __tsan_atomic8 a,
__tsan_atomic8  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic8_fetch_nand()

__tsan_atomic8 __tsan_atomic8_fetch_nand ( volatile __tsan_atomic8 a,
__tsan_atomic8  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic8_fetch_or()

__tsan_atomic8 __tsan_atomic8_fetch_or ( volatile __tsan_atomic8 a,
__tsan_atomic8  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic8_fetch_sub()

__tsan_atomic8 __tsan_atomic8_fetch_sub ( volatile __tsan_atomic8 a,
__tsan_atomic8  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic8_fetch_xor()

__tsan_atomic8 __tsan_atomic8_fetch_xor ( volatile __tsan_atomic8 a,
__tsan_atomic8  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic8_load()

__tsan_atomic8 __tsan_atomic8_load ( const volatile __tsan_atomic8 a,
__tsan_memory_order  mo 
)

◆ __tsan_atomic8_store()

void __tsan_atomic8_store ( volatile __tsan_atomic8 a,
__tsan_atomic8  v,
__tsan_memory_order  mo 
)

◆ __tsan_atomic_signal_fence()

void __tsan_atomic_signal_fence ( __tsan_memory_order  mo)

◆ __tsan_atomic_thread_fence()

void __tsan_atomic_thread_fence ( __tsan_memory_order  mo)