xref: /freebsd/contrib/llvm-project/clang/lib/Headers/stdatomic.h (revision 0eae32dcef82f6f06de6419a0d623d7def0cc8f6)
1 /*===---- stdatomic.h - Standard header for atomic types and operations -----===
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 
10 #ifndef __CLANG_STDATOMIC_H
11 #define __CLANG_STDATOMIC_H
12 
13 /* If we're hosted, fall back to the system's stdatomic.h. FreeBSD, for
14  * example, already has a Clang-compatible stdatomic.h header.
15  *
16  * Exclude the MSVC path as well as the MSVC header as of the 14.31.30818
17  * explicitly disallows `stdatomic.h` in the C mode via an `#error`.  Fallback
18  * to the clang resource header until that is fully supported.
19  */
20 #if __STDC_HOSTED__ && __has_include_next(<stdatomic.h>) && !defined(_MSC_VER)
21 # include_next <stdatomic.h>
22 #else
23 
24 #include <stddef.h>
25 #include <stdint.h>
26 
27 #ifdef __cplusplus
28 extern "C" {
29 #endif
30 
31 /* 7.17.1 Introduction */
32 
33 #define ATOMIC_BOOL_LOCK_FREE       __CLANG_ATOMIC_BOOL_LOCK_FREE
34 #define ATOMIC_CHAR_LOCK_FREE       __CLANG_ATOMIC_CHAR_LOCK_FREE
35 #define ATOMIC_CHAR16_T_LOCK_FREE   __CLANG_ATOMIC_CHAR16_T_LOCK_FREE
36 #define ATOMIC_CHAR32_T_LOCK_FREE   __CLANG_ATOMIC_CHAR32_T_LOCK_FREE
37 #define ATOMIC_WCHAR_T_LOCK_FREE    __CLANG_ATOMIC_WCHAR_T_LOCK_FREE
38 #define ATOMIC_SHORT_LOCK_FREE      __CLANG_ATOMIC_SHORT_LOCK_FREE
39 #define ATOMIC_INT_LOCK_FREE        __CLANG_ATOMIC_INT_LOCK_FREE
40 #define ATOMIC_LONG_LOCK_FREE       __CLANG_ATOMIC_LONG_LOCK_FREE
41 #define ATOMIC_LLONG_LOCK_FREE      __CLANG_ATOMIC_LLONG_LOCK_FREE
42 #define ATOMIC_POINTER_LOCK_FREE    __CLANG_ATOMIC_POINTER_LOCK_FREE
43 
44 /* 7.17.2 Initialization */
45 
46 #define ATOMIC_VAR_INIT(value) (value)
47 #define atomic_init __c11_atomic_init
48 
49 /* 7.17.3 Order and consistency */
50 
51 typedef enum memory_order {
52   memory_order_relaxed = __ATOMIC_RELAXED,
53   memory_order_consume = __ATOMIC_CONSUME,
54   memory_order_acquire = __ATOMIC_ACQUIRE,
55   memory_order_release = __ATOMIC_RELEASE,
56   memory_order_acq_rel = __ATOMIC_ACQ_REL,
57   memory_order_seq_cst = __ATOMIC_SEQ_CST
58 } memory_order;
59 
60 #define kill_dependency(y) (y)
61 
62 /* 7.17.4 Fences */
63 
64 /* These should be provided by the libc implementation. */
65 void atomic_thread_fence(memory_order);
66 void atomic_signal_fence(memory_order);
67 
68 #define atomic_thread_fence(order) __c11_atomic_thread_fence(order)
69 #define atomic_signal_fence(order) __c11_atomic_signal_fence(order)
70 
71 /* 7.17.5 Lock-free property */
72 
73 #define atomic_is_lock_free(obj) __c11_atomic_is_lock_free(sizeof(*(obj)))
74 
75 /* 7.17.6 Atomic integer types */
76 
77 #ifdef __cplusplus
78 typedef _Atomic(bool)               atomic_bool;
79 #else
80 typedef _Atomic(_Bool)              atomic_bool;
81 #endif
82 typedef _Atomic(char)               atomic_char;
83 typedef _Atomic(signed char)        atomic_schar;
84 typedef _Atomic(unsigned char)      atomic_uchar;
85 typedef _Atomic(short)              atomic_short;
86 typedef _Atomic(unsigned short)     atomic_ushort;
87 typedef _Atomic(int)                atomic_int;
88 typedef _Atomic(unsigned int)       atomic_uint;
89 typedef _Atomic(long)               atomic_long;
90 typedef _Atomic(unsigned long)      atomic_ulong;
91 typedef _Atomic(long long)          atomic_llong;
92 typedef _Atomic(unsigned long long) atomic_ullong;
93 typedef _Atomic(uint_least16_t)     atomic_char16_t;
94 typedef _Atomic(uint_least32_t)     atomic_char32_t;
95 typedef _Atomic(wchar_t)            atomic_wchar_t;
96 typedef _Atomic(int_least8_t)       atomic_int_least8_t;
97 typedef _Atomic(uint_least8_t)      atomic_uint_least8_t;
98 typedef _Atomic(int_least16_t)      atomic_int_least16_t;
99 typedef _Atomic(uint_least16_t)     atomic_uint_least16_t;
100 typedef _Atomic(int_least32_t)      atomic_int_least32_t;
101 typedef _Atomic(uint_least32_t)     atomic_uint_least32_t;
102 typedef _Atomic(int_least64_t)      atomic_int_least64_t;
103 typedef _Atomic(uint_least64_t)     atomic_uint_least64_t;
104 typedef _Atomic(int_fast8_t)        atomic_int_fast8_t;
105 typedef _Atomic(uint_fast8_t)       atomic_uint_fast8_t;
106 typedef _Atomic(int_fast16_t)       atomic_int_fast16_t;
107 typedef _Atomic(uint_fast16_t)      atomic_uint_fast16_t;
108 typedef _Atomic(int_fast32_t)       atomic_int_fast32_t;
109 typedef _Atomic(uint_fast32_t)      atomic_uint_fast32_t;
110 typedef _Atomic(int_fast64_t)       atomic_int_fast64_t;
111 typedef _Atomic(uint_fast64_t)      atomic_uint_fast64_t;
112 typedef _Atomic(intptr_t)           atomic_intptr_t;
113 typedef _Atomic(uintptr_t)          atomic_uintptr_t;
114 typedef _Atomic(size_t)             atomic_size_t;
115 typedef _Atomic(ptrdiff_t)          atomic_ptrdiff_t;
116 typedef _Atomic(intmax_t)           atomic_intmax_t;
117 typedef _Atomic(uintmax_t)          atomic_uintmax_t;
118 
119 /* 7.17.7 Operations on atomic types */
120 
121 #define atomic_store(object, desired) __c11_atomic_store(object, desired, __ATOMIC_SEQ_CST)
122 #define atomic_store_explicit __c11_atomic_store
123 
124 #define atomic_load(object) __c11_atomic_load(object, __ATOMIC_SEQ_CST)
125 #define atomic_load_explicit __c11_atomic_load
126 
127 #define atomic_exchange(object, desired) __c11_atomic_exchange(object, desired, __ATOMIC_SEQ_CST)
128 #define atomic_exchange_explicit __c11_atomic_exchange
129 
130 #define atomic_compare_exchange_strong(object, expected, desired) __c11_atomic_compare_exchange_strong(object, expected, desired, __ATOMIC_SEQ_CST, __ATOMIC_SEQ_CST)
131 #define atomic_compare_exchange_strong_explicit __c11_atomic_compare_exchange_strong
132 
133 #define atomic_compare_exchange_weak(object, expected, desired) __c11_atomic_compare_exchange_weak(object, expected, desired, __ATOMIC_SEQ_CST, __ATOMIC_SEQ_CST)
134 #define atomic_compare_exchange_weak_explicit __c11_atomic_compare_exchange_weak
135 
136 #define atomic_fetch_add(object, operand) __c11_atomic_fetch_add(object, operand, __ATOMIC_SEQ_CST)
137 #define atomic_fetch_add_explicit __c11_atomic_fetch_add
138 
139 #define atomic_fetch_sub(object, operand) __c11_atomic_fetch_sub(object, operand, __ATOMIC_SEQ_CST)
140 #define atomic_fetch_sub_explicit __c11_atomic_fetch_sub
141 
142 #define atomic_fetch_or(object, operand) __c11_atomic_fetch_or(object, operand, __ATOMIC_SEQ_CST)
143 #define atomic_fetch_or_explicit __c11_atomic_fetch_or
144 
145 #define atomic_fetch_xor(object, operand) __c11_atomic_fetch_xor(object, operand, __ATOMIC_SEQ_CST)
146 #define atomic_fetch_xor_explicit __c11_atomic_fetch_xor
147 
148 #define atomic_fetch_and(object, operand) __c11_atomic_fetch_and(object, operand, __ATOMIC_SEQ_CST)
149 #define atomic_fetch_and_explicit __c11_atomic_fetch_and
150 
151 /* 7.17.8 Atomic flag type and operations */
152 
153 typedef struct atomic_flag { atomic_bool _Value; } atomic_flag;
154 
155 #define ATOMIC_FLAG_INIT { 0 }
156 
157 /* These should be provided by the libc implementation. */
158 #ifdef __cplusplus
159 bool atomic_flag_test_and_set(volatile atomic_flag *);
160 bool atomic_flag_test_and_set_explicit(volatile atomic_flag *, memory_order);
161 #else
162 _Bool atomic_flag_test_and_set(volatile atomic_flag *);
163 _Bool atomic_flag_test_and_set_explicit(volatile atomic_flag *, memory_order);
164 #endif
165 void atomic_flag_clear(volatile atomic_flag *);
166 void atomic_flag_clear_explicit(volatile atomic_flag *, memory_order);
167 
168 #define atomic_flag_test_and_set(object) __c11_atomic_exchange(&(object)->_Value, 1, __ATOMIC_SEQ_CST)
169 #define atomic_flag_test_and_set_explicit(object, order) __c11_atomic_exchange(&(object)->_Value, 1, order)
170 
171 #define atomic_flag_clear(object) __c11_atomic_store(&(object)->_Value, 0, __ATOMIC_SEQ_CST)
172 #define atomic_flag_clear_explicit(object, order) __c11_atomic_store(&(object)->_Value, 0, order)
173 
174 #ifdef __cplusplus
175 }
176 #endif
177 
178 #endif /* __STDC_HOSTED__ */
179 #endif /* __CLANG_STDATOMIC_H */
180 
181