1*42ba740aSDamien L-G //
2*42ba740aSDamien L-G // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
3*42ba740aSDamien L-G // See https://llvm.org/LICENSE.txt for license information.
4*42ba740aSDamien L-G // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
5*42ba740aSDamien L-G //
6*42ba740aSDamien L-G //===----------------------------------------------------------------------===//
7*42ba740aSDamien L-G
8*42ba740aSDamien L-G // UNSUPPORTED: c++03, c++11, c++14, c++17
9*42ba740aSDamien L-G // XFAIL: !has-64-bit-atomics
10*42ba740aSDamien L-G // XFAIL: !has-1024-bit-atomics
11*42ba740aSDamien L-G
12*42ba740aSDamien L-G // T load(memory_order = memory_order::seq_cst) const noexcept;
13*42ba740aSDamien L-G
14*42ba740aSDamien L-G #include <atomic>
15*42ba740aSDamien L-G #include <concepts>
16*42ba740aSDamien L-G #include <cassert>
17*42ba740aSDamien L-G #include <type_traits>
18*42ba740aSDamien L-G
19*42ba740aSDamien L-G #include "atomic_helpers.h"
20*42ba740aSDamien L-G #include "test_helper.h"
21*42ba740aSDamien L-G #include "test_macros.h"
22*42ba740aSDamien L-G
23*42ba740aSDamien L-G template <typename T>
24*42ba740aSDamien L-G struct TestLoad {
operator ()TestLoad25*42ba740aSDamien L-G void operator()() const {
26*42ba740aSDamien L-G T x(T(1));
27*42ba740aSDamien L-G std::atomic_ref<T> const a(x);
28*42ba740aSDamien L-G
29*42ba740aSDamien L-G {
30*42ba740aSDamien L-G std::same_as<T> decltype(auto) y = a.load();
31*42ba740aSDamien L-G assert(y == T(1));
32*42ba740aSDamien L-G ASSERT_NOEXCEPT(a.load());
33*42ba740aSDamien L-G }
34*42ba740aSDamien L-G
35*42ba740aSDamien L-G {
36*42ba740aSDamien L-G std::same_as<T> decltype(auto) y = a.load(std::memory_order_seq_cst);
37*42ba740aSDamien L-G assert(y == T(1));
38*42ba740aSDamien L-G ASSERT_NOEXCEPT(a.load(std::memory_order_seq_cst));
39*42ba740aSDamien L-G }
40*42ba740aSDamien L-G
41*42ba740aSDamien L-G // memory_order::seq_cst
42*42ba740aSDamien L-G {
43*42ba740aSDamien L-G auto store = [](std::atomic_ref<T> const& y, T, T new_val) { y.store(new_val); };
44*42ba740aSDamien L-G auto load_no_arg = [](std::atomic_ref<T> const& y) { return y.load(); };
45*42ba740aSDamien L-G auto load_with_order = [](std::atomic_ref<T> const& y) { return y.load(std::memory_order::seq_cst); };
46*42ba740aSDamien L-G test_seq_cst<T>(store, load_no_arg);
47*42ba740aSDamien L-G test_seq_cst<T>(store, load_with_order);
48*42ba740aSDamien L-G }
49*42ba740aSDamien L-G
50*42ba740aSDamien L-G // memory_order::release
51*42ba740aSDamien L-G {
52*42ba740aSDamien L-G auto store = [](std::atomic_ref<T> const& y, T, T new_val) { y.store(new_val, std::memory_order::release); };
53*42ba740aSDamien L-G auto load = [](std::atomic_ref<T> const& y) { return y.load(std::memory_order::acquire); };
54*42ba740aSDamien L-G test_acquire_release<T>(store, load);
55*42ba740aSDamien L-G }
56*42ba740aSDamien L-G }
57*42ba740aSDamien L-G };
58*42ba740aSDamien L-G
main(int,char **)59*42ba740aSDamien L-G int main(int, char**) {
60*42ba740aSDamien L-G TestEachAtomicType<TestLoad>()();
61*42ba740aSDamien L-G return 0;
62*42ba740aSDamien L-G }
63