| //===----------------------------------------------------------------------===// |
| // |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| // See https://llvm.org/LICENSE.txt for license information. |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| // |
| //===----------------------------------------------------------------------===// |
| |
| // UNSUPPORTED: c++03 |
| |
| // XFAIL: availability-synchronization_library-missing |
| |
| // <atomic> |
| |
| // Tests the basic features and makes sure they work with a hijacking operator&. |
| |
| // template<class T> struct atomic<T*> { |
| // using value_type = T*; |
| // using difference_type = ptrdiff_t; |
| // |
| // static constexpr bool is_always_lock_free = implementation-defined; |
| // bool is_lock_free() const volatile noexcept; |
| // bool is_lock_free() const noexcept; |
| // |
| // constexpr atomic() noexcept; |
| // constexpr atomic(T*) noexcept; |
| // atomic(const atomic&) = delete; |
| // atomic& operator=(const atomic&) = delete; |
| // atomic& operator=(const atomic&) volatile = delete; |
| // |
| // void store(T*, memory_order = memory_order::seq_cst) volatile noexcept; |
| // void store(T*, memory_order = memory_order::seq_cst) noexcept; |
| // T* operator=(T*) volatile noexcept; |
| // T* operator=(T*) noexcept; |
| // T* load(memory_order = memory_order::seq_cst) const volatile noexcept; |
| // T* load(memory_order = memory_order::seq_cst) const noexcept; |
| // operator T*() const volatile noexcept; |
| // operator T*() const noexcept; |
| // |
| // T* exchange(T*, memory_order = memory_order::seq_cst) volatile noexcept; |
| // T* exchange(T*, memory_order = memory_order::seq_cst) noexcept; |
| // bool compare_exchange_weak(T*&, T*, memory_order, memory_order) volatile noexcept; |
| // bool compare_exchange_weak(T*&, T*, memory_order, memory_order) noexcept; |
| // bool compare_exchange_strong(T*&, T*, memory_order, memory_order) volatile noexcept; |
| // bool compare_exchange_strong(T*&, T*, memory_order, memory_order) noexcept; |
| // bool compare_exchange_weak(T*&, T*, |
| // memory_order = memory_order::seq_cst) volatile noexcept; |
| // bool compare_exchange_weak(T*&, T*, |
| // memory_order = memory_order::seq_cst) noexcept; |
| // bool compare_exchange_strong(T*&, T*, |
| // memory_order = memory_order::seq_cst) volatile noexcept; |
| // bool compare_exchange_strong(T*&, T*, |
| // memory_order = memory_order::seq_cst) noexcept; |
| // |
| // T* fetch_add(ptrdiff_t, memory_order = memory_order::seq_cst) volatile noexcept; |
| // T* fetch_add(ptrdiff_t, memory_order = memory_order::seq_cst) noexcept; |
| // T* fetch_sub(ptrdiff_t, memory_order = memory_order::seq_cst) volatile noexcept; |
| // T* fetch_sub(ptrdiff_t, memory_order = memory_order::seq_cst) noexcept; |
| // |
| // T* operator++(int) volatile noexcept; |
| // T* operator++(int) noexcept; |
| // T* operator--(int) volatile noexcept; |
| // T* operator--(int) noexcept; |
| // T* operator++() volatile noexcept; |
| // T* operator++() noexcept; |
| // T* operator--() volatile noexcept; |
| // T* operator--() noexcept; |
| // T* operator+=(ptrdiff_t) volatile noexcept; |
| // T* operator+=(ptrdiff_t) noexcept; |
| // T* operator-=(ptrdiff_t) volatile noexcept; |
| // T* operator-=(ptrdiff_t) noexcept; |
| // |
| // void wait(T*, memory_order = memory_order::seq_cst) const volatile noexcept; |
| // void wait(T*, memory_order = memory_order::seq_cst) const noexcept; |
| // void notify_one() volatile noexcept; |
| // void notify_one() noexcept; |
| // void notify_all() volatile noexcept; |
| // void notify_all() noexcept; |
| // }; |
| |
| #include <atomic> |
| #include <type_traits> |
| |
| #include "operator_hijacker.h" |
| #include "test_macros.h" |
| |
| template <class T> |
| void test() { |
| T a; |
| typename T::value_type v = nullptr; |
| #if TEST_STD_VER >= 20 |
| std::memory_order m = std::memory_order::seq_cst; |
| #else |
| std::memory_order m = std::memory_order_seq_cst; |
| #endif |
| |
| TEST_IGNORE_NODISCARD a.is_lock_free(); |
| |
| a.store(v); |
| a = v; |
| TEST_IGNORE_NODISCARD T(); |
| TEST_IGNORE_NODISCARD T(v); |
| TEST_IGNORE_NODISCARD a.load(); |
| TEST_IGNORE_NODISCARD static_cast<typename T::value_type>(a); |
| TEST_IGNORE_NODISCARD* a; |
| |
| TEST_IGNORE_NODISCARD a.exchange(v); |
| TEST_IGNORE_NODISCARD a.compare_exchange_weak(v, v, m, m); |
| TEST_IGNORE_NODISCARD a.compare_exchange_strong(v, v, m, m); |
| TEST_IGNORE_NODISCARD a.compare_exchange_weak(v, v); |
| TEST_IGNORE_NODISCARD a.compare_exchange_strong(v, v, m); |
| |
| TEST_IGNORE_NODISCARD a.fetch_add(0); |
| TEST_IGNORE_NODISCARD a.fetch_sub(0); |
| |
| TEST_IGNORE_NODISCARD a++; |
| TEST_IGNORE_NODISCARD a--; |
| TEST_IGNORE_NODISCARD++ a; |
| TEST_IGNORE_NODISCARD-- a; |
| a += 0; |
| a -= 0; |
| |
| a.wait(v); |
| a.notify_one(); |
| a.notify_all(); |
| } |
| |
| void test() { |
| test<std::atomic<operator_hijacker*>>(); |
| test<volatile std::atomic<operator_hijacker*>>(); |
| } |