1b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//===----------------------------------------------------------------------===//
2b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//
3b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//                     The LLVM Compiler Infrastructure
4b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//
5b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// This file is dual licensed under the MIT and the University of Illinois Open
6b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// Source Licenses. See LICENSE.TXT for details.
7b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//
8b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//===----------------------------------------------------------------------===//
9a8bf9de8057ad254cc642f33bd7d0a48dc1ae55cDavid 'Digit' Turner//
10a8bf9de8057ad254cc642f33bd7d0a48dc1ae55cDavid 'Digit' Turner// This test uses new symbols that were not defined in the libc++ shipped on
11a8bf9de8057ad254cc642f33bd7d0a48dc1ae55cDavid 'Digit' Turner// darwin11 and darwin12:
12a8bf9de8057ad254cc642f33bd7d0a48dc1ae55cDavid 'Digit' Turner// XFAIL: with_system_lib=x86_64-apple-darwin11
13a8bf9de8057ad254cc642f33bd7d0a48dc1ae55cDavid 'Digit' Turner// XFAIL: with_system_lib=x86_64-apple-darwin12
14b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
15b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// <memory>
16b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
17b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// shared_ptr
18b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
19b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// template <class T>
20b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// bool
21b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// atomic_compare_exchange_strong_explicit(shared_ptr<T>* p, shared_ptr<T>* v,
22b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//                                         shared_ptr<T> w, memory_order success,
23b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//                                         memory_order failure);
24b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
25b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#include <memory>
26b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#include <cassert>
27b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
28b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerint main()
29b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{
30b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#if __has_feature(cxx_atomic)
31b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    {
32b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        std::shared_ptr<int> p(new int(4));
33b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        std::shared_ptr<int> v(new int(3));
34b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        std::shared_ptr<int> w(new int(2));
35b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        bool b = std::atomic_compare_exchange_strong_explicit(&p, &v, w,
36b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner                                                              std::memory_order_seq_cst,
37b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner                                                              std::memory_order_seq_cst);
38b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        assert(b == false);
39b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        assert(*p == 4);
40b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        assert(*v == 4);
41b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        assert(*w == 2);
42b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    }
43b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    {
44b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        std::shared_ptr<int> p(new int(4));
45b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        std::shared_ptr<int> v = p;
46b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        std::shared_ptr<int> w(new int(2));
47b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        bool b = std::atomic_compare_exchange_strong_explicit(&p, &v, w,
48b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner                                                              std::memory_order_seq_cst,
49b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner                                                              std::memory_order_seq_cst);
50b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        assert(b == true);
51b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        assert(*p == 2);
52b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        assert(*v == 4);
53b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        assert(*w == 2);
54b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    }
55b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#endif
56b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}
57