0c748785846f6a9e2e7630a61d54af8555efd408
[llvm-toolchain-10.git] /
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 //
9 // UNSUPPORTED: libcpp-has-no-threads
10 //  ... assertion fails line 34
11
12 // <atomic>
13
14 // template <class T>
15 //     bool
16 //     atomic_compare_exchange_strong(volatile atomic<T>* obj, T* expc, T desr);
17 //
18 // template <class T>
19 //     bool
20 //     atomic_compare_exchange_strong(atomic<T>* obj, T* expc, T desr);
21
22 #include <atomic>
23 #include <type_traits>
24 #include <cassert>
25
26 #include "test_macros.h"
27 #include "atomic_helpers.h"
28
29 template <class T>
30 struct TestFn {
31   void operator()() const {
32     {
33         typedef std::atomic<T> A;
34         A a;
35         T t(T(1));
36         std::atomic_init(&a, t);
37         assert(std::atomic_compare_exchange_strong(&a, &t, T(2)) == true);
38         assert(a == T(2));
39         assert(t == T(1));
40         assert(std::atomic_compare_exchange_strong(&a, &t, T(3)) == false);
41         assert(a == T(2));
42         assert(t == T(2));
43     }
44     {
45         typedef std::atomic<T> A;
46         volatile A a;
47         T t(T(1));
48         std::atomic_init(&a, t);
49         assert(std::atomic_compare_exchange_strong(&a, &t, T(2)) == true);
50         assert(a == T(2));
51         assert(t == T(1));
52         assert(std::atomic_compare_exchange_strong(&a, &t, T(3)) == false);
53         assert(a == T(2));
54         assert(t == T(2));
55     }
56   }
57 };
58
59 int main(int, char**)
60 {
61     TestEachAtomicType<TestFn>()();
62
63   return 0;
64 }