cxx_atomic_impl.h 21 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535
  1. //===----------------------------------------------------------------------===//
  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. #ifndef _LIBCPP___ATOMIC_CXX_ATOMIC_IMPL_H
  9. #define _LIBCPP___ATOMIC_CXX_ATOMIC_IMPL_H
  10. #include <__atomic/memory_order.h>
  11. #include <__config>
  12. #include <__memory/addressof.h>
  13. #include <__type_traits/is_assignable.h>
  14. #include <__type_traits/is_trivially_copyable.h>
  15. #include <__type_traits/remove_const.h>
  16. #include <cstddef>
  17. #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
  18. # pragma GCC system_header
  19. #endif
  20. _LIBCPP_BEGIN_NAMESPACE_STD
  21. #if defined(_LIBCPP_HAS_GCC_ATOMIC_IMP)
  22. // [atomics.types.generic]p1 guarantees _Tp is trivially copyable. Because
  23. // the default operator= in an object is not volatile, a byte-by-byte copy
  24. // is required.
  25. template <typename _Tp, typename _Tv, __enable_if_t<is_assignable<_Tp&, _Tv>::value, int> = 0>
  26. _LIBCPP_HIDE_FROM_ABI void __cxx_atomic_assign_volatile(_Tp& __a_value, _Tv const& __val) {
  27. __a_value = __val;
  28. }
  29. template <typename _Tp, typename _Tv, __enable_if_t<is_assignable<_Tp&, _Tv>::value, int> = 0>
  30. _LIBCPP_HIDE_FROM_ABI void __cxx_atomic_assign_volatile(_Tp volatile& __a_value, _Tv volatile const& __val) {
  31. volatile char* __to = reinterpret_cast<volatile char*>(std::addressof(__a_value));
  32. volatile char* __end = __to + sizeof(_Tp);
  33. volatile const char* __from = reinterpret_cast<volatile const char*>(std::addressof(__val));
  34. while (__to != __end)
  35. *__to++ = *__from++;
  36. }
  37. template <typename _Tp>
  38. struct __cxx_atomic_base_impl {
  39. _LIBCPP_HIDE_FROM_ABI
  40. # ifndef _LIBCPP_CXX03_LANG
  41. __cxx_atomic_base_impl() _NOEXCEPT = default;
  42. # else
  43. __cxx_atomic_base_impl() _NOEXCEPT : __a_value() {
  44. }
  45. # endif // _LIBCPP_CXX03_LANG
  46. _LIBCPP_CONSTEXPR explicit __cxx_atomic_base_impl(_Tp value) _NOEXCEPT : __a_value(value) {}
  47. _Tp __a_value;
  48. };
  49. _LIBCPP_HIDE_FROM_ABI inline _LIBCPP_CONSTEXPR int __to_gcc_order(memory_order __order) {
  50. // Avoid switch statement to make this a constexpr.
  51. return __order == memory_order_relaxed
  52. ? __ATOMIC_RELAXED
  53. : (__order == memory_order_acquire
  54. ? __ATOMIC_ACQUIRE
  55. : (__order == memory_order_release
  56. ? __ATOMIC_RELEASE
  57. : (__order == memory_order_seq_cst
  58. ? __ATOMIC_SEQ_CST
  59. : (__order == memory_order_acq_rel ? __ATOMIC_ACQ_REL : __ATOMIC_CONSUME))));
  60. }
  61. _LIBCPP_HIDE_FROM_ABI inline _LIBCPP_CONSTEXPR int __to_gcc_failure_order(memory_order __order) {
  62. // Avoid switch statement to make this a constexpr.
  63. return __order == memory_order_relaxed
  64. ? __ATOMIC_RELAXED
  65. : (__order == memory_order_acquire
  66. ? __ATOMIC_ACQUIRE
  67. : (__order == memory_order_release
  68. ? __ATOMIC_RELAXED
  69. : (__order == memory_order_seq_cst
  70. ? __ATOMIC_SEQ_CST
  71. : (__order == memory_order_acq_rel ? __ATOMIC_ACQUIRE : __ATOMIC_CONSUME))));
  72. }
  73. template <typename _Tp>
  74. _LIBCPP_HIDE_FROM_ABI void __cxx_atomic_init(volatile __cxx_atomic_base_impl<_Tp>* __a, _Tp __val) {
  75. __cxx_atomic_assign_volatile(__a->__a_value, __val);
  76. }
  77. template <typename _Tp>
  78. _LIBCPP_HIDE_FROM_ABI void __cxx_atomic_init(__cxx_atomic_base_impl<_Tp>* __a, _Tp __val) {
  79. __a->__a_value = __val;
  80. }
  81. _LIBCPP_HIDE_FROM_ABI inline void __cxx_atomic_thread_fence(memory_order __order) {
  82. __atomic_thread_fence(__to_gcc_order(__order));
  83. }
  84. _LIBCPP_HIDE_FROM_ABI inline void __cxx_atomic_signal_fence(memory_order __order) {
  85. __atomic_signal_fence(__to_gcc_order(__order));
  86. }
  87. template <typename _Tp>
  88. _LIBCPP_HIDE_FROM_ABI void
  89. __cxx_atomic_store(volatile __cxx_atomic_base_impl<_Tp>* __a, _Tp __val, memory_order __order) {
  90. __atomic_store(std::addressof(__a->__a_value), std::addressof(__val), __to_gcc_order(__order));
  91. }
  92. template <typename _Tp>
  93. _LIBCPP_HIDE_FROM_ABI void __cxx_atomic_store(__cxx_atomic_base_impl<_Tp>* __a, _Tp __val, memory_order __order) {
  94. __atomic_store(std::addressof(__a->__a_value), std::addressof(__val), __to_gcc_order(__order));
  95. }
  96. template <typename _Tp>
  97. _LIBCPP_HIDE_FROM_ABI _Tp __cxx_atomic_load(const volatile __cxx_atomic_base_impl<_Tp>* __a, memory_order __order) {
  98. _Tp __ret;
  99. __atomic_load(std::addressof(__a->__a_value), std::addressof(__ret), __to_gcc_order(__order));
  100. return __ret;
  101. }
  102. template <typename _Tp>
  103. _LIBCPP_HIDE_FROM_ABI void
  104. __cxx_atomic_load_inplace(const volatile __cxx_atomic_base_impl<_Tp>* __a, _Tp* __dst, memory_order __order) {
  105. __atomic_load(std::addressof(__a->__a_value), __dst, __to_gcc_order(__order));
  106. }
  107. template <typename _Tp>
  108. _LIBCPP_HIDE_FROM_ABI void
  109. __cxx_atomic_load_inplace(const __cxx_atomic_base_impl<_Tp>* __a, _Tp* __dst, memory_order __order) {
  110. __atomic_load(std::addressof(__a->__a_value), __dst, __to_gcc_order(__order));
  111. }
  112. template <typename _Tp>
  113. _LIBCPP_HIDE_FROM_ABI _Tp __cxx_atomic_load(const __cxx_atomic_base_impl<_Tp>* __a, memory_order __order) {
  114. _Tp __ret;
  115. __atomic_load(std::addressof(__a->__a_value), std::addressof(__ret), __to_gcc_order(__order));
  116. return __ret;
  117. }
  118. template <typename _Tp>
  119. _LIBCPP_HIDE_FROM_ABI _Tp
  120. __cxx_atomic_exchange(volatile __cxx_atomic_base_impl<_Tp>* __a, _Tp __value, memory_order __order) {
  121. _Tp __ret;
  122. __atomic_exchange(
  123. std::addressof(__a->__a_value), std::addressof(__value), std::addressof(__ret), __to_gcc_order(__order));
  124. return __ret;
  125. }
  126. template <typename _Tp>
  127. _LIBCPP_HIDE_FROM_ABI _Tp __cxx_atomic_exchange(__cxx_atomic_base_impl<_Tp>* __a, _Tp __value, memory_order __order) {
  128. _Tp __ret;
  129. __atomic_exchange(
  130. std::addressof(__a->__a_value), std::addressof(__value), std::addressof(__ret), __to_gcc_order(__order));
  131. return __ret;
  132. }
  133. template <typename _Tp>
  134. _LIBCPP_HIDE_FROM_ABI bool __cxx_atomic_compare_exchange_strong(
  135. volatile __cxx_atomic_base_impl<_Tp>* __a,
  136. _Tp* __expected,
  137. _Tp __value,
  138. memory_order __success,
  139. memory_order __failure) {
  140. return __atomic_compare_exchange(
  141. std::addressof(__a->__a_value),
  142. __expected,
  143. std::addressof(__value),
  144. false,
  145. __to_gcc_order(__success),
  146. __to_gcc_failure_order(__failure));
  147. }
  148. template <typename _Tp>
  149. _LIBCPP_HIDE_FROM_ABI bool __cxx_atomic_compare_exchange_strong(
  150. __cxx_atomic_base_impl<_Tp>* __a, _Tp* __expected, _Tp __value, memory_order __success, memory_order __failure) {
  151. return __atomic_compare_exchange(
  152. std::addressof(__a->__a_value),
  153. __expected,
  154. std::addressof(__value),
  155. false,
  156. __to_gcc_order(__success),
  157. __to_gcc_failure_order(__failure));
  158. }
  159. template <typename _Tp>
  160. _LIBCPP_HIDE_FROM_ABI bool __cxx_atomic_compare_exchange_weak(
  161. volatile __cxx_atomic_base_impl<_Tp>* __a,
  162. _Tp* __expected,
  163. _Tp __value,
  164. memory_order __success,
  165. memory_order __failure) {
  166. return __atomic_compare_exchange(
  167. std::addressof(__a->__a_value),
  168. __expected,
  169. std::addressof(__value),
  170. true,
  171. __to_gcc_order(__success),
  172. __to_gcc_failure_order(__failure));
  173. }
  174. template <typename _Tp>
  175. _LIBCPP_HIDE_FROM_ABI bool __cxx_atomic_compare_exchange_weak(
  176. __cxx_atomic_base_impl<_Tp>* __a, _Tp* __expected, _Tp __value, memory_order __success, memory_order __failure) {
  177. return __atomic_compare_exchange(
  178. std::addressof(__a->__a_value),
  179. __expected,
  180. std::addressof(__value),
  181. true,
  182. __to_gcc_order(__success),
  183. __to_gcc_failure_order(__failure));
  184. }
  185. template <typename _Tp>
  186. struct __skip_amt {
  187. enum { value = 1 };
  188. };
  189. template <typename _Tp>
  190. struct __skip_amt<_Tp*> {
  191. enum { value = sizeof(_Tp) };
  192. };
  193. // FIXME: Haven't figured out what the spec says about using arrays with
  194. // atomic_fetch_add. Force a failure rather than creating bad behavior.
  195. template <typename _Tp>
  196. struct __skip_amt<_Tp[]> {};
  197. template <typename _Tp, int n>
  198. struct __skip_amt<_Tp[n]> {};
  199. template <typename _Tp, typename _Td>
  200. _LIBCPP_HIDE_FROM_ABI _Tp
  201. __cxx_atomic_fetch_add(volatile __cxx_atomic_base_impl<_Tp>* __a, _Td __delta, memory_order __order) {
  202. return __atomic_fetch_add(std::addressof(__a->__a_value), __delta * __skip_amt<_Tp>::value, __to_gcc_order(__order));
  203. }
  204. template <typename _Tp, typename _Td>
  205. _LIBCPP_HIDE_FROM_ABI _Tp __cxx_atomic_fetch_add(__cxx_atomic_base_impl<_Tp>* __a, _Td __delta, memory_order __order) {
  206. return __atomic_fetch_add(std::addressof(__a->__a_value), __delta * __skip_amt<_Tp>::value, __to_gcc_order(__order));
  207. }
  208. template <typename _Tp, typename _Td>
  209. _LIBCPP_HIDE_FROM_ABI _Tp
  210. __cxx_atomic_fetch_sub(volatile __cxx_atomic_base_impl<_Tp>* __a, _Td __delta, memory_order __order) {
  211. return __atomic_fetch_sub(std::addressof(__a->__a_value), __delta * __skip_amt<_Tp>::value, __to_gcc_order(__order));
  212. }
  213. template <typename _Tp, typename _Td>
  214. _LIBCPP_HIDE_FROM_ABI _Tp __cxx_atomic_fetch_sub(__cxx_atomic_base_impl<_Tp>* __a, _Td __delta, memory_order __order) {
  215. return __atomic_fetch_sub(std::addressof(__a->__a_value), __delta * __skip_amt<_Tp>::value, __to_gcc_order(__order));
  216. }
  217. template <typename _Tp>
  218. _LIBCPP_HIDE_FROM_ABI _Tp
  219. __cxx_atomic_fetch_and(volatile __cxx_atomic_base_impl<_Tp>* __a, _Tp __pattern, memory_order __order) {
  220. return __atomic_fetch_and(std::addressof(__a->__a_value), __pattern, __to_gcc_order(__order));
  221. }
  222. template <typename _Tp>
  223. _LIBCPP_HIDE_FROM_ABI _Tp
  224. __cxx_atomic_fetch_and(__cxx_atomic_base_impl<_Tp>* __a, _Tp __pattern, memory_order __order) {
  225. return __atomic_fetch_and(std::addressof(__a->__a_value), __pattern, __to_gcc_order(__order));
  226. }
  227. template <typename _Tp>
  228. _LIBCPP_HIDE_FROM_ABI _Tp
  229. __cxx_atomic_fetch_or(volatile __cxx_atomic_base_impl<_Tp>* __a, _Tp __pattern, memory_order __order) {
  230. return __atomic_fetch_or(std::addressof(__a->__a_value), __pattern, __to_gcc_order(__order));
  231. }
  232. template <typename _Tp>
  233. _LIBCPP_HIDE_FROM_ABI _Tp __cxx_atomic_fetch_or(__cxx_atomic_base_impl<_Tp>* __a, _Tp __pattern, memory_order __order) {
  234. return __atomic_fetch_or(std::addressof(__a->__a_value), __pattern, __to_gcc_order(__order));
  235. }
  236. template <typename _Tp>
  237. _LIBCPP_HIDE_FROM_ABI _Tp
  238. __cxx_atomic_fetch_xor(volatile __cxx_atomic_base_impl<_Tp>* __a, _Tp __pattern, memory_order __order) {
  239. return __atomic_fetch_xor(std::addressof(__a->__a_value), __pattern, __to_gcc_order(__order));
  240. }
  241. template <typename _Tp>
  242. _LIBCPP_HIDE_FROM_ABI _Tp
  243. __cxx_atomic_fetch_xor(__cxx_atomic_base_impl<_Tp>* __a, _Tp __pattern, memory_order __order) {
  244. return __atomic_fetch_xor(std::addressof(__a->__a_value), __pattern, __to_gcc_order(__order));
  245. }
  246. # define __cxx_atomic_is_lock_free(__s) __atomic_is_lock_free(__s, 0)
  247. #elif defined(_LIBCPP_HAS_C_ATOMIC_IMP)
  248. template <typename _Tp>
  249. struct __cxx_atomic_base_impl {
  250. _LIBCPP_HIDE_FROM_ABI
  251. # ifndef _LIBCPP_CXX03_LANG
  252. __cxx_atomic_base_impl() _NOEXCEPT = default;
  253. # else
  254. __cxx_atomic_base_impl() _NOEXCEPT : __a_value() {
  255. }
  256. # endif // _LIBCPP_CXX03_LANG
  257. _LIBCPP_CONSTEXPR explicit __cxx_atomic_base_impl(_Tp __value) _NOEXCEPT : __a_value(__value) {}
  258. _LIBCPP_DISABLE_EXTENSION_WARNING _Atomic(_Tp) __a_value;
  259. };
  260. # define __cxx_atomic_is_lock_free(__s) __c11_atomic_is_lock_free(__s)
  261. _LIBCPP_HIDE_FROM_ABI inline void __cxx_atomic_thread_fence(memory_order __order) _NOEXCEPT {
  262. __c11_atomic_thread_fence(static_cast<__memory_order_underlying_t>(__order));
  263. }
  264. _LIBCPP_HIDE_FROM_ABI inline void __cxx_atomic_signal_fence(memory_order __order) _NOEXCEPT {
  265. __c11_atomic_signal_fence(static_cast<__memory_order_underlying_t>(__order));
  266. }
  267. template <class _Tp>
  268. _LIBCPP_HIDE_FROM_ABI void __cxx_atomic_init(__cxx_atomic_base_impl<_Tp> volatile* __a, _Tp __val) _NOEXCEPT {
  269. __c11_atomic_init(std::addressof(__a->__a_value), __val);
  270. }
  271. template <class _Tp>
  272. _LIBCPP_HIDE_FROM_ABI void __cxx_atomic_init(__cxx_atomic_base_impl<_Tp>* __a, _Tp __val) _NOEXCEPT {
  273. __c11_atomic_init(std::addressof(__a->__a_value), __val);
  274. }
  275. template <class _Tp>
  276. _LIBCPP_HIDE_FROM_ABI void
  277. __cxx_atomic_store(__cxx_atomic_base_impl<_Tp> volatile* __a, _Tp __val, memory_order __order) _NOEXCEPT {
  278. __c11_atomic_store(std::addressof(__a->__a_value), __val, static_cast<__memory_order_underlying_t>(__order));
  279. }
  280. template <class _Tp>
  281. _LIBCPP_HIDE_FROM_ABI void
  282. __cxx_atomic_store(__cxx_atomic_base_impl<_Tp>* __a, _Tp __val, memory_order __order) _NOEXCEPT {
  283. __c11_atomic_store(std::addressof(__a->__a_value), __val, static_cast<__memory_order_underlying_t>(__order));
  284. }
  285. template <class _Tp>
  286. _LIBCPP_HIDE_FROM_ABI _Tp
  287. __cxx_atomic_load(__cxx_atomic_base_impl<_Tp> const volatile* __a, memory_order __order) _NOEXCEPT {
  288. using __ptr_type = __remove_const_t<decltype(__a->__a_value)>*;
  289. return __c11_atomic_load(
  290. const_cast<__ptr_type>(std::addressof(__a->__a_value)), static_cast<__memory_order_underlying_t>(__order));
  291. }
  292. template <class _Tp>
  293. _LIBCPP_HIDE_FROM_ABI _Tp __cxx_atomic_load(__cxx_atomic_base_impl<_Tp> const* __a, memory_order __order) _NOEXCEPT {
  294. using __ptr_type = __remove_const_t<decltype(__a->__a_value)>*;
  295. return __c11_atomic_load(
  296. const_cast<__ptr_type>(std::addressof(__a->__a_value)), static_cast<__memory_order_underlying_t>(__order));
  297. }
  298. template <class _Tp>
  299. _LIBCPP_HIDE_FROM_ABI void
  300. __cxx_atomic_load_inplace(__cxx_atomic_base_impl<_Tp> const volatile* __a, _Tp* __dst, memory_order __order) _NOEXCEPT {
  301. using __ptr_type = __remove_const_t<decltype(__a->__a_value)>*;
  302. *__dst = __c11_atomic_load(
  303. const_cast<__ptr_type>(std::addressof(__a->__a_value)), static_cast<__memory_order_underlying_t>(__order));
  304. }
  305. template <class _Tp>
  306. _LIBCPP_HIDE_FROM_ABI void
  307. __cxx_atomic_load_inplace(__cxx_atomic_base_impl<_Tp> const* __a, _Tp* __dst, memory_order __order) _NOEXCEPT {
  308. using __ptr_type = __remove_const_t<decltype(__a->__a_value)>*;
  309. *__dst = __c11_atomic_load(
  310. const_cast<__ptr_type>(std::addressof(__a->__a_value)), static_cast<__memory_order_underlying_t>(__order));
  311. }
  312. template <class _Tp>
  313. _LIBCPP_HIDE_FROM_ABI _Tp
  314. __cxx_atomic_exchange(__cxx_atomic_base_impl<_Tp> volatile* __a, _Tp __value, memory_order __order) _NOEXCEPT {
  315. return __c11_atomic_exchange(
  316. std::addressof(__a->__a_value), __value, static_cast<__memory_order_underlying_t>(__order));
  317. }
  318. template <class _Tp>
  319. _LIBCPP_HIDE_FROM_ABI _Tp
  320. __cxx_atomic_exchange(__cxx_atomic_base_impl<_Tp>* __a, _Tp __value, memory_order __order) _NOEXCEPT {
  321. return __c11_atomic_exchange(
  322. std::addressof(__a->__a_value), __value, static_cast<__memory_order_underlying_t>(__order));
  323. }
  324. _LIBCPP_HIDE_FROM_ABI inline _LIBCPP_CONSTEXPR memory_order __to_failure_order(memory_order __order) {
  325. // Avoid switch statement to make this a constexpr.
  326. return __order == memory_order_release
  327. ? memory_order_relaxed
  328. : (__order == memory_order_acq_rel ? memory_order_acquire : __order);
  329. }
  330. template <class _Tp>
  331. _LIBCPP_HIDE_FROM_ABI bool __cxx_atomic_compare_exchange_strong(
  332. __cxx_atomic_base_impl<_Tp> volatile* __a,
  333. _Tp* __expected,
  334. _Tp __value,
  335. memory_order __success,
  336. memory_order __failure) _NOEXCEPT {
  337. return __c11_atomic_compare_exchange_strong(
  338. std::addressof(__a->__a_value),
  339. __expected,
  340. __value,
  341. static_cast<__memory_order_underlying_t>(__success),
  342. static_cast<__memory_order_underlying_t>(__to_failure_order(__failure)));
  343. }
  344. template <class _Tp>
  345. _LIBCPP_HIDE_FROM_ABI bool __cxx_atomic_compare_exchange_strong(
  346. __cxx_atomic_base_impl<_Tp>* __a, _Tp* __expected, _Tp __value, memory_order __success, memory_order __failure)
  347. _NOEXCEPT {
  348. return __c11_atomic_compare_exchange_strong(
  349. std::addressof(__a->__a_value),
  350. __expected,
  351. __value,
  352. static_cast<__memory_order_underlying_t>(__success),
  353. static_cast<__memory_order_underlying_t>(__to_failure_order(__failure)));
  354. }
  355. template <class _Tp>
  356. _LIBCPP_HIDE_FROM_ABI bool __cxx_atomic_compare_exchange_weak(
  357. __cxx_atomic_base_impl<_Tp> volatile* __a,
  358. _Tp* __expected,
  359. _Tp __value,
  360. memory_order __success,
  361. memory_order __failure) _NOEXCEPT {
  362. return __c11_atomic_compare_exchange_weak(
  363. std::addressof(__a->__a_value),
  364. __expected,
  365. __value,
  366. static_cast<__memory_order_underlying_t>(__success),
  367. static_cast<__memory_order_underlying_t>(__to_failure_order(__failure)));
  368. }
  369. template <class _Tp>
  370. _LIBCPP_HIDE_FROM_ABI bool __cxx_atomic_compare_exchange_weak(
  371. __cxx_atomic_base_impl<_Tp>* __a, _Tp* __expected, _Tp __value, memory_order __success, memory_order __failure)
  372. _NOEXCEPT {
  373. return __c11_atomic_compare_exchange_weak(
  374. std::addressof(__a->__a_value),
  375. __expected,
  376. __value,
  377. static_cast<__memory_order_underlying_t>(__success),
  378. static_cast<__memory_order_underlying_t>(__to_failure_order(__failure)));
  379. }
  380. template <class _Tp>
  381. _LIBCPP_HIDE_FROM_ABI _Tp
  382. __cxx_atomic_fetch_add(__cxx_atomic_base_impl<_Tp> volatile* __a, _Tp __delta, memory_order __order) _NOEXCEPT {
  383. return __c11_atomic_fetch_add(
  384. std::addressof(__a->__a_value), __delta, static_cast<__memory_order_underlying_t>(__order));
  385. }
  386. template <class _Tp>
  387. _LIBCPP_HIDE_FROM_ABI _Tp
  388. __cxx_atomic_fetch_add(__cxx_atomic_base_impl<_Tp>* __a, _Tp __delta, memory_order __order) _NOEXCEPT {
  389. return __c11_atomic_fetch_add(
  390. std::addressof(__a->__a_value), __delta, static_cast<__memory_order_underlying_t>(__order));
  391. }
  392. template <class _Tp>
  393. _LIBCPP_HIDE_FROM_ABI _Tp*
  394. __cxx_atomic_fetch_add(__cxx_atomic_base_impl<_Tp*> volatile* __a, ptrdiff_t __delta, memory_order __order) _NOEXCEPT {
  395. return __c11_atomic_fetch_add(
  396. std::addressof(__a->__a_value), __delta, static_cast<__memory_order_underlying_t>(__order));
  397. }
  398. template <class _Tp>
  399. _LIBCPP_HIDE_FROM_ABI _Tp*
  400. __cxx_atomic_fetch_add(__cxx_atomic_base_impl<_Tp*>* __a, ptrdiff_t __delta, memory_order __order) _NOEXCEPT {
  401. return __c11_atomic_fetch_add(
  402. std::addressof(__a->__a_value), __delta, static_cast<__memory_order_underlying_t>(__order));
  403. }
  404. template <class _Tp>
  405. _LIBCPP_HIDE_FROM_ABI _Tp
  406. __cxx_atomic_fetch_sub(__cxx_atomic_base_impl<_Tp> volatile* __a, _Tp __delta, memory_order __order) _NOEXCEPT {
  407. return __c11_atomic_fetch_sub(
  408. std::addressof(__a->__a_value), __delta, static_cast<__memory_order_underlying_t>(__order));
  409. }
  410. template <class _Tp>
  411. _LIBCPP_HIDE_FROM_ABI _Tp
  412. __cxx_atomic_fetch_sub(__cxx_atomic_base_impl<_Tp>* __a, _Tp __delta, memory_order __order) _NOEXCEPT {
  413. return __c11_atomic_fetch_sub(
  414. std::addressof(__a->__a_value), __delta, static_cast<__memory_order_underlying_t>(__order));
  415. }
  416. template <class _Tp>
  417. _LIBCPP_HIDE_FROM_ABI _Tp*
  418. __cxx_atomic_fetch_sub(__cxx_atomic_base_impl<_Tp*> volatile* __a, ptrdiff_t __delta, memory_order __order) _NOEXCEPT {
  419. return __c11_atomic_fetch_sub(
  420. std::addressof(__a->__a_value), __delta, static_cast<__memory_order_underlying_t>(__order));
  421. }
  422. template <class _Tp>
  423. _LIBCPP_HIDE_FROM_ABI _Tp*
  424. __cxx_atomic_fetch_sub(__cxx_atomic_base_impl<_Tp*>* __a, ptrdiff_t __delta, memory_order __order) _NOEXCEPT {
  425. return __c11_atomic_fetch_sub(
  426. std::addressof(__a->__a_value), __delta, static_cast<__memory_order_underlying_t>(__order));
  427. }
  428. template <class _Tp>
  429. _LIBCPP_HIDE_FROM_ABI _Tp
  430. __cxx_atomic_fetch_and(__cxx_atomic_base_impl<_Tp> volatile* __a, _Tp __pattern, memory_order __order) _NOEXCEPT {
  431. return __c11_atomic_fetch_and(
  432. std::addressof(__a->__a_value), __pattern, static_cast<__memory_order_underlying_t>(__order));
  433. }
  434. template <class _Tp>
  435. _LIBCPP_HIDE_FROM_ABI _Tp
  436. __cxx_atomic_fetch_and(__cxx_atomic_base_impl<_Tp>* __a, _Tp __pattern, memory_order __order) _NOEXCEPT {
  437. return __c11_atomic_fetch_and(
  438. std::addressof(__a->__a_value), __pattern, static_cast<__memory_order_underlying_t>(__order));
  439. }
  440. template <class _Tp>
  441. _LIBCPP_HIDE_FROM_ABI _Tp
  442. __cxx_atomic_fetch_or(__cxx_atomic_base_impl<_Tp> volatile* __a, _Tp __pattern, memory_order __order) _NOEXCEPT {
  443. return __c11_atomic_fetch_or(
  444. std::addressof(__a->__a_value), __pattern, static_cast<__memory_order_underlying_t>(__order));
  445. }
  446. template <class _Tp>
  447. _LIBCPP_HIDE_FROM_ABI _Tp
  448. __cxx_atomic_fetch_or(__cxx_atomic_base_impl<_Tp>* __a, _Tp __pattern, memory_order __order) _NOEXCEPT {
  449. return __c11_atomic_fetch_or(
  450. std::addressof(__a->__a_value), __pattern, static_cast<__memory_order_underlying_t>(__order));
  451. }
  452. template <class _Tp>
  453. _LIBCPP_HIDE_FROM_ABI _Tp
  454. __cxx_atomic_fetch_xor(__cxx_atomic_base_impl<_Tp> volatile* __a, _Tp __pattern, memory_order __order) _NOEXCEPT {
  455. return __c11_atomic_fetch_xor(
  456. std::addressof(__a->__a_value), __pattern, static_cast<__memory_order_underlying_t>(__order));
  457. }
  458. template <class _Tp>
  459. _LIBCPP_HIDE_FROM_ABI _Tp
  460. __cxx_atomic_fetch_xor(__cxx_atomic_base_impl<_Tp>* __a, _Tp __pattern, memory_order __order) _NOEXCEPT {
  461. return __c11_atomic_fetch_xor(
  462. std::addressof(__a->__a_value), __pattern, static_cast<__memory_order_underlying_t>(__order));
  463. }
  464. #endif // _LIBCPP_HAS_GCC_ATOMIC_IMP, _LIBCPP_HAS_C_ATOMIC_IMP
  465. template <typename _Tp, typename _Base = __cxx_atomic_base_impl<_Tp> >
  466. struct __cxx_atomic_impl : public _Base {
  467. static_assert(is_trivially_copyable<_Tp>::value, "std::atomic<T> requires that 'T' be a trivially copyable type");
  468. _LIBCPP_HIDE_FROM_ABI __cxx_atomic_impl() _NOEXCEPT = default;
  469. _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR explicit __cxx_atomic_impl(_Tp __value) _NOEXCEPT : _Base(__value) {}
  470. };
  471. _LIBCPP_END_NAMESPACE_STD
  472. #endif // _LIBCPP___ATOMIC_CXX_ATOMIC_IMPL_H