Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 1 | //===-- tsan_interface_atomic.h ---------------------------------*- C++ -*-===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file is a part of ThreadSanitizer (TSan), a race detector. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | #ifndef TSAN_INTERFACE_ATOMIC_H |
| 14 | #define TSAN_INTERFACE_ATOMIC_H |
| 15 | |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 16 | #ifndef INTERFACE_ATTRIBUTE |
| 17 | # define INTERFACE_ATTRIBUTE __attribute__((visibility("default"))) |
| 18 | #endif |
| 19 | |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 20 | #ifdef __cplusplus |
| 21 | extern "C" { |
| 22 | #endif |
| 23 | |
Dmitry Vyukov | 59d5866 | 2012-11-27 07:41:27 +0000 | [diff] [blame] | 24 | typedef char __tsan_atomic8; |
| 25 | typedef short __tsan_atomic16; // NOLINT |
| 26 | typedef int __tsan_atomic32; |
| 27 | typedef long __tsan_atomic64; // NOLINT |
Dmitry Vyukov | 69a071d | 2012-11-27 09:35:44 +0000 | [diff] [blame] | 28 | |
Dmitry Vyukov | ec8da99 | 2012-11-27 12:51:16 +0000 | [diff] [blame] | 29 | #if defined(__SIZEOF_INT128__) \ |
| 30 | || (__clang_major__ * 100 + __clang_minor__ >= 302) |
Dmitry Vyukov | 12ae889 | 2012-12-13 15:26:04 +0000 | [diff] [blame] | 31 | __extension__ typedef __int128 __tsan_atomic128; |
Dmitry Vyukov | 69a071d | 2012-11-27 09:35:44 +0000 | [diff] [blame] | 32 | #define __TSAN_HAS_INT128 1 |
| 33 | #else |
| 34 | typedef char __tsan_atomic128; |
| 35 | #define __TSAN_HAS_INT128 0 |
| 36 | #endif |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 37 | |
Dmitry Vyukov | be68783 | 2012-10-03 13:00:13 +0000 | [diff] [blame] | 38 | // Part of ABI, do not change. |
| 39 | // http://llvm.org/viewvc/llvm-project/libcxx/trunk/include/atomic?view=markup |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 40 | typedef enum { |
Dmitry Vyukov | 805006b | 2012-11-09 14:11:51 +0000 | [diff] [blame] | 41 | __tsan_memory_order_relaxed, |
| 42 | __tsan_memory_order_consume, |
| 43 | __tsan_memory_order_acquire, |
| 44 | __tsan_memory_order_release, |
| 45 | __tsan_memory_order_acq_rel, |
| 46 | __tsan_memory_order_seq_cst |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 47 | } __tsan_memory_order; |
| 48 | |
| 49 | __tsan_atomic8 __tsan_atomic8_load(const volatile __tsan_atomic8 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 50 | __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 51 | __tsan_atomic16 __tsan_atomic16_load(const volatile __tsan_atomic16 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 52 | __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 53 | __tsan_atomic32 __tsan_atomic32_load(const volatile __tsan_atomic32 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 54 | __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 55 | __tsan_atomic64 __tsan_atomic64_load(const volatile __tsan_atomic64 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 56 | __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 59d5866 | 2012-11-27 07:41:27 +0000 | [diff] [blame] | 57 | __tsan_atomic128 __tsan_atomic128_load(const volatile __tsan_atomic128 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 58 | __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 59 | |
| 60 | void __tsan_atomic8_store(volatile __tsan_atomic8 *a, __tsan_atomic8 v, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 61 | __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 62 | void __tsan_atomic16_store(volatile __tsan_atomic16 *a, __tsan_atomic16 v, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 63 | __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 64 | void __tsan_atomic32_store(volatile __tsan_atomic32 *a, __tsan_atomic32 v, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 65 | __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 66 | void __tsan_atomic64_store(volatile __tsan_atomic64 *a, __tsan_atomic64 v, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 67 | __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 59d5866 | 2012-11-27 07:41:27 +0000 | [diff] [blame] | 68 | void __tsan_atomic128_store(volatile __tsan_atomic128 *a, __tsan_atomic128 v, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 69 | __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 70 | |
Dmitry Vyukov | 572c5b2 | 2012-05-14 15:33:00 +0000 | [diff] [blame] | 71 | __tsan_atomic8 __tsan_atomic8_exchange(volatile __tsan_atomic8 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 72 | __tsan_atomic8 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 572c5b2 | 2012-05-14 15:33:00 +0000 | [diff] [blame] | 73 | __tsan_atomic16 __tsan_atomic16_exchange(volatile __tsan_atomic16 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 74 | __tsan_atomic16 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 75 | __tsan_atomic32 __tsan_atomic32_exchange(volatile __tsan_atomic32 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 76 | __tsan_atomic32 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 77 | __tsan_atomic64 __tsan_atomic64_exchange(volatile __tsan_atomic64 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 78 | __tsan_atomic64 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 59d5866 | 2012-11-27 07:41:27 +0000 | [diff] [blame] | 79 | __tsan_atomic128 __tsan_atomic128_exchange(volatile __tsan_atomic128 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 80 | __tsan_atomic128 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 81 | |
Dmitry Vyukov | 572c5b2 | 2012-05-14 15:33:00 +0000 | [diff] [blame] | 82 | __tsan_atomic8 __tsan_atomic8_fetch_add(volatile __tsan_atomic8 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 83 | __tsan_atomic8 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 572c5b2 | 2012-05-14 15:33:00 +0000 | [diff] [blame] | 84 | __tsan_atomic16 __tsan_atomic16_fetch_add(volatile __tsan_atomic16 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 85 | __tsan_atomic16 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 86 | __tsan_atomic32 __tsan_atomic32_fetch_add(volatile __tsan_atomic32 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 87 | __tsan_atomic32 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 88 | __tsan_atomic64 __tsan_atomic64_fetch_add(volatile __tsan_atomic64 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 89 | __tsan_atomic64 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 59d5866 | 2012-11-27 07:41:27 +0000 | [diff] [blame] | 90 | __tsan_atomic128 __tsan_atomic128_fetch_add(volatile __tsan_atomic128 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 91 | __tsan_atomic128 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 92 | |
Dmitry Vyukov | b96a7b5 | 2012-10-04 10:08:23 +0000 | [diff] [blame] | 93 | __tsan_atomic8 __tsan_atomic8_fetch_sub(volatile __tsan_atomic8 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 94 | __tsan_atomic8 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | b96a7b5 | 2012-10-04 10:08:23 +0000 | [diff] [blame] | 95 | __tsan_atomic16 __tsan_atomic16_fetch_sub(volatile __tsan_atomic16 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 96 | __tsan_atomic16 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | b96a7b5 | 2012-10-04 10:08:23 +0000 | [diff] [blame] | 97 | __tsan_atomic32 __tsan_atomic32_fetch_sub(volatile __tsan_atomic32 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 98 | __tsan_atomic32 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | b96a7b5 | 2012-10-04 10:08:23 +0000 | [diff] [blame] | 99 | __tsan_atomic64 __tsan_atomic64_fetch_sub(volatile __tsan_atomic64 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 100 | __tsan_atomic64 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 59d5866 | 2012-11-27 07:41:27 +0000 | [diff] [blame] | 101 | __tsan_atomic128 __tsan_atomic128_fetch_sub(volatile __tsan_atomic128 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 102 | __tsan_atomic128 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | b96a7b5 | 2012-10-04 10:08:23 +0000 | [diff] [blame] | 103 | |
Dmitry Vyukov | 572c5b2 | 2012-05-14 15:33:00 +0000 | [diff] [blame] | 104 | __tsan_atomic8 __tsan_atomic8_fetch_and(volatile __tsan_atomic8 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 105 | __tsan_atomic8 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 572c5b2 | 2012-05-14 15:33:00 +0000 | [diff] [blame] | 106 | __tsan_atomic16 __tsan_atomic16_fetch_and(volatile __tsan_atomic16 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 107 | __tsan_atomic16 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 572c5b2 | 2012-05-14 15:33:00 +0000 | [diff] [blame] | 108 | __tsan_atomic32 __tsan_atomic32_fetch_and(volatile __tsan_atomic32 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 109 | __tsan_atomic32 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 572c5b2 | 2012-05-14 15:33:00 +0000 | [diff] [blame] | 110 | __tsan_atomic64 __tsan_atomic64_fetch_and(volatile __tsan_atomic64 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 111 | __tsan_atomic64 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 59d5866 | 2012-11-27 07:41:27 +0000 | [diff] [blame] | 112 | __tsan_atomic128 __tsan_atomic128_fetch_and(volatile __tsan_atomic128 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 113 | __tsan_atomic128 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 572c5b2 | 2012-05-14 15:33:00 +0000 | [diff] [blame] | 114 | |
| 115 | __tsan_atomic8 __tsan_atomic8_fetch_or(volatile __tsan_atomic8 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 116 | __tsan_atomic8 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 572c5b2 | 2012-05-14 15:33:00 +0000 | [diff] [blame] | 117 | __tsan_atomic16 __tsan_atomic16_fetch_or(volatile __tsan_atomic16 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 118 | __tsan_atomic16 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 572c5b2 | 2012-05-14 15:33:00 +0000 | [diff] [blame] | 119 | __tsan_atomic32 __tsan_atomic32_fetch_or(volatile __tsan_atomic32 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 120 | __tsan_atomic32 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 572c5b2 | 2012-05-14 15:33:00 +0000 | [diff] [blame] | 121 | __tsan_atomic64 __tsan_atomic64_fetch_or(volatile __tsan_atomic64 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 122 | __tsan_atomic64 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 59d5866 | 2012-11-27 07:41:27 +0000 | [diff] [blame] | 123 | __tsan_atomic128 __tsan_atomic128_fetch_or(volatile __tsan_atomic128 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 124 | __tsan_atomic128 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 572c5b2 | 2012-05-14 15:33:00 +0000 | [diff] [blame] | 125 | |
| 126 | __tsan_atomic8 __tsan_atomic8_fetch_xor(volatile __tsan_atomic8 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 127 | __tsan_atomic8 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 572c5b2 | 2012-05-14 15:33:00 +0000 | [diff] [blame] | 128 | __tsan_atomic16 __tsan_atomic16_fetch_xor(volatile __tsan_atomic16 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 129 | __tsan_atomic16 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 572c5b2 | 2012-05-14 15:33:00 +0000 | [diff] [blame] | 130 | __tsan_atomic32 __tsan_atomic32_fetch_xor(volatile __tsan_atomic32 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 131 | __tsan_atomic32 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 572c5b2 | 2012-05-14 15:33:00 +0000 | [diff] [blame] | 132 | __tsan_atomic64 __tsan_atomic64_fetch_xor(volatile __tsan_atomic64 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 133 | __tsan_atomic64 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 59d5866 | 2012-11-27 07:41:27 +0000 | [diff] [blame] | 134 | __tsan_atomic128 __tsan_atomic128_fetch_xor(volatile __tsan_atomic128 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 135 | __tsan_atomic128 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 572c5b2 | 2012-05-14 15:33:00 +0000 | [diff] [blame] | 136 | |
Dmitry Vyukov | 3b45012 | 2012-11-26 09:42:56 +0000 | [diff] [blame] | 137 | __tsan_atomic8 __tsan_atomic8_fetch_nand(volatile __tsan_atomic8 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 138 | __tsan_atomic8 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 3b45012 | 2012-11-26 09:42:56 +0000 | [diff] [blame] | 139 | __tsan_atomic16 __tsan_atomic16_fetch_nand(volatile __tsan_atomic16 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 140 | __tsan_atomic16 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 3b45012 | 2012-11-26 09:42:56 +0000 | [diff] [blame] | 141 | __tsan_atomic32 __tsan_atomic32_fetch_nand(volatile __tsan_atomic32 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 142 | __tsan_atomic32 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 3b45012 | 2012-11-26 09:42:56 +0000 | [diff] [blame] | 143 | __tsan_atomic64 __tsan_atomic64_fetch_nand(volatile __tsan_atomic64 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 144 | __tsan_atomic64 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 59d5866 | 2012-11-27 07:41:27 +0000 | [diff] [blame] | 145 | __tsan_atomic128 __tsan_atomic128_fetch_nand(volatile __tsan_atomic128 *a, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 146 | __tsan_atomic128 v, __tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 3b45012 | 2012-11-26 09:42:56 +0000 | [diff] [blame] | 147 | |
Dmitry Vyukov | 572c5b2 | 2012-05-14 15:33:00 +0000 | [diff] [blame] | 148 | int __tsan_atomic8_compare_exchange_weak(volatile __tsan_atomic8 *a, |
Dmitry Vyukov | 195eda9 | 2012-11-23 15:51:45 +0000 | [diff] [blame] | 149 | __tsan_atomic8 *c, __tsan_atomic8 v, __tsan_memory_order mo, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 150 | __tsan_memory_order fail_mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 572c5b2 | 2012-05-14 15:33:00 +0000 | [diff] [blame] | 151 | int __tsan_atomic16_compare_exchange_weak(volatile __tsan_atomic16 *a, |
Dmitry Vyukov | 195eda9 | 2012-11-23 15:51:45 +0000 | [diff] [blame] | 152 | __tsan_atomic16 *c, __tsan_atomic16 v, __tsan_memory_order mo, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 153 | __tsan_memory_order fail_mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 572c5b2 | 2012-05-14 15:33:00 +0000 | [diff] [blame] | 154 | int __tsan_atomic32_compare_exchange_weak(volatile __tsan_atomic32 *a, |
Dmitry Vyukov | 195eda9 | 2012-11-23 15:51:45 +0000 | [diff] [blame] | 155 | __tsan_atomic32 *c, __tsan_atomic32 v, __tsan_memory_order mo, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 156 | __tsan_memory_order fail_mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 572c5b2 | 2012-05-14 15:33:00 +0000 | [diff] [blame] | 157 | int __tsan_atomic64_compare_exchange_weak(volatile __tsan_atomic64 *a, |
Dmitry Vyukov | 195eda9 | 2012-11-23 15:51:45 +0000 | [diff] [blame] | 158 | __tsan_atomic64 *c, __tsan_atomic64 v, __tsan_memory_order mo, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 159 | __tsan_memory_order fail_mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 59d5866 | 2012-11-27 07:41:27 +0000 | [diff] [blame] | 160 | int __tsan_atomic128_compare_exchange_weak(volatile __tsan_atomic128 *a, |
| 161 | __tsan_atomic128 *c, __tsan_atomic128 v, __tsan_memory_order mo, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 162 | __tsan_memory_order fail_mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 572c5b2 | 2012-05-14 15:33:00 +0000 | [diff] [blame] | 163 | |
| 164 | int __tsan_atomic8_compare_exchange_strong(volatile __tsan_atomic8 *a, |
Dmitry Vyukov | 195eda9 | 2012-11-23 15:51:45 +0000 | [diff] [blame] | 165 | __tsan_atomic8 *c, __tsan_atomic8 v, __tsan_memory_order mo, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 166 | __tsan_memory_order fail_mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 572c5b2 | 2012-05-14 15:33:00 +0000 | [diff] [blame] | 167 | int __tsan_atomic16_compare_exchange_strong(volatile __tsan_atomic16 *a, |
Dmitry Vyukov | 195eda9 | 2012-11-23 15:51:45 +0000 | [diff] [blame] | 168 | __tsan_atomic16 *c, __tsan_atomic16 v, __tsan_memory_order mo, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 169 | __tsan_memory_order fail_mo) INTERFACE_ATTRIBUTE; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 170 | int __tsan_atomic32_compare_exchange_strong(volatile __tsan_atomic32 *a, |
Dmitry Vyukov | 195eda9 | 2012-11-23 15:51:45 +0000 | [diff] [blame] | 171 | __tsan_atomic32 *c, __tsan_atomic32 v, __tsan_memory_order mo, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 172 | __tsan_memory_order fail_mo) INTERFACE_ATTRIBUTE; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 173 | int __tsan_atomic64_compare_exchange_strong(volatile __tsan_atomic64 *a, |
Dmitry Vyukov | 195eda9 | 2012-11-23 15:51:45 +0000 | [diff] [blame] | 174 | __tsan_atomic64 *c, __tsan_atomic64 v, __tsan_memory_order mo, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 175 | __tsan_memory_order fail_mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 59d5866 | 2012-11-27 07:41:27 +0000 | [diff] [blame] | 176 | int __tsan_atomic128_compare_exchange_strong(volatile __tsan_atomic128 *a, |
| 177 | __tsan_atomic128 *c, __tsan_atomic128 v, __tsan_memory_order mo, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 178 | __tsan_memory_order fail_mo) INTERFACE_ATTRIBUTE; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 179 | |
Dmitry Vyukov | 4e5f72d | 2012-11-09 12:54:37 +0000 | [diff] [blame] | 180 | __tsan_atomic8 __tsan_atomic8_compare_exchange_val( |
| 181 | volatile __tsan_atomic8 *a, __tsan_atomic8 c, __tsan_atomic8 v, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 182 | __tsan_memory_order mo, __tsan_memory_order fail_mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 4e5f72d | 2012-11-09 12:54:37 +0000 | [diff] [blame] | 183 | __tsan_atomic16 __tsan_atomic16_compare_exchange_val( |
| 184 | volatile __tsan_atomic16 *a, __tsan_atomic16 c, __tsan_atomic16 v, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 185 | __tsan_memory_order mo, __tsan_memory_order fail_mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 4e5f72d | 2012-11-09 12:54:37 +0000 | [diff] [blame] | 186 | __tsan_atomic32 __tsan_atomic32_compare_exchange_val( |
| 187 | volatile __tsan_atomic32 *a, __tsan_atomic32 c, __tsan_atomic32 v, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 188 | __tsan_memory_order mo, __tsan_memory_order fail_mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 4e5f72d | 2012-11-09 12:54:37 +0000 | [diff] [blame] | 189 | __tsan_atomic64 __tsan_atomic64_compare_exchange_val( |
| 190 | volatile __tsan_atomic64 *a, __tsan_atomic64 c, __tsan_atomic64 v, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 191 | __tsan_memory_order mo, __tsan_memory_order fail_mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 59d5866 | 2012-11-27 07:41:27 +0000 | [diff] [blame] | 192 | __tsan_atomic128 __tsan_atomic128_compare_exchange_val( |
| 193 | volatile __tsan_atomic128 *a, __tsan_atomic128 c, __tsan_atomic128 v, |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 194 | __tsan_memory_order mo, __tsan_memory_order fail_mo) INTERFACE_ATTRIBUTE; |
Dmitry Vyukov | 4e5f72d | 2012-11-09 12:54:37 +0000 | [diff] [blame] | 195 | |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 196 | void __tsan_atomic_thread_fence(__tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
| 197 | void __tsan_atomic_signal_fence(__tsan_memory_order mo) INTERFACE_ATTRIBUTE; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 198 | |
| 199 | #ifdef __cplusplus |
| 200 | } // extern "C" |
| 201 | #endif |
| 202 | |
Dmitry Vyukov | 01ea653 | 2012-12-04 14:01:21 +0000 | [diff] [blame] | 203 | #undef INTERFACE_ATTRIBUTE |
| 204 | |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 205 | #endif // #ifndef TSAN_INTERFACE_ATOMIC_H |