Howard Hinnant | 748a527 | 2010-09-30 21:05:29 +0000 | [diff] [blame] | 1 | //===----------------------------------------------------------------------===// |
| 2 | // |
Chandler Carruth | 57b08b0 | 2019-01-19 10:56:40 +0000 | [diff] [blame] | 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 |
Howard Hinnant | 748a527 | 2010-09-30 21:05:29 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
Jonathan Roelofs | b3fcc67 | 2014-09-05 19:45:05 +0000 | [diff] [blame] | 8 | // |
| 9 | // UNSUPPORTED: libcpp-has-no-threads |
Howard Hinnant | 748a527 | 2010-09-30 21:05:29 +0000 | [diff] [blame] | 10 | |
| 11 | // <atomic> |
| 12 | |
| 13 | // struct atomic_flag |
| 14 | |
| 15 | // void clear(memory_order = memory_order_seq_cst); |
| 16 | // void clear(memory_order = memory_order_seq_cst) volatile; |
| 17 | |
| 18 | #include <atomic> |
| 19 | #include <cassert> |
| 20 | |
JF Bastien | 2df59c5 | 2019-02-04 20:31:13 +0000 | [diff] [blame] | 21 | int main(int, char**) |
Howard Hinnant | 748a527 | 2010-09-30 21:05:29 +0000 | [diff] [blame] | 22 | { |
| 23 | { |
Eric Fiselier | 990952b | 2016-06-19 07:08:27 +0000 | [diff] [blame] | 24 | std::atomic_flag f; // uninitialized |
| 25 | f.clear(); |
| 26 | assert(f.test_and_set() == 0); |
Howard Hinnant | 748a527 | 2010-09-30 21:05:29 +0000 | [diff] [blame] | 27 | f.clear(); |
| 28 | assert(f.test_and_set() == 0); |
| 29 | } |
| 30 | { |
Eric Fiselier | 15a2972 | 2016-05-03 02:12:26 +0000 | [diff] [blame] | 31 | std::atomic_flag f; |
Eric Fiselier | 990952b | 2016-06-19 07:08:27 +0000 | [diff] [blame] | 32 | f.clear(std::memory_order_relaxed); |
| 33 | assert(f.test_and_set() == 0); |
Howard Hinnant | 748a527 | 2010-09-30 21:05:29 +0000 | [diff] [blame] | 34 | f.clear(std::memory_order_relaxed); |
| 35 | assert(f.test_and_set() == 0); |
| 36 | } |
| 37 | { |
Eric Fiselier | 15a2972 | 2016-05-03 02:12:26 +0000 | [diff] [blame] | 38 | std::atomic_flag f; |
Eric Fiselier | 990952b | 2016-06-19 07:08:27 +0000 | [diff] [blame] | 39 | f.clear(std::memory_order_release); |
| 40 | assert(f.test_and_set() == 0); |
Howard Hinnant | 748a527 | 2010-09-30 21:05:29 +0000 | [diff] [blame] | 41 | f.clear(std::memory_order_release); |
| 42 | assert(f.test_and_set() == 0); |
| 43 | } |
| 44 | { |
Eric Fiselier | 15a2972 | 2016-05-03 02:12:26 +0000 | [diff] [blame] | 45 | std::atomic_flag f; |
Eric Fiselier | 990952b | 2016-06-19 07:08:27 +0000 | [diff] [blame] | 46 | f.clear(std::memory_order_seq_cst); |
| 47 | assert(f.test_and_set() == 0); |
Howard Hinnant | 748a527 | 2010-09-30 21:05:29 +0000 | [diff] [blame] | 48 | f.clear(std::memory_order_seq_cst); |
| 49 | assert(f.test_and_set() == 0); |
| 50 | } |
| 51 | { |
Eric Fiselier | 15a2972 | 2016-05-03 02:12:26 +0000 | [diff] [blame] | 52 | volatile std::atomic_flag f; |
Eric Fiselier | 990952b | 2016-06-19 07:08:27 +0000 | [diff] [blame] | 53 | f.clear(); |
| 54 | assert(f.test_and_set() == 0); |
Howard Hinnant | 748a527 | 2010-09-30 21:05:29 +0000 | [diff] [blame] | 55 | f.clear(); |
| 56 | assert(f.test_and_set() == 0); |
| 57 | } |
| 58 | { |
Eric Fiselier | 15a2972 | 2016-05-03 02:12:26 +0000 | [diff] [blame] | 59 | volatile std::atomic_flag f; |
Eric Fiselier | 990952b | 2016-06-19 07:08:27 +0000 | [diff] [blame] | 60 | f.clear(std::memory_order_relaxed); |
| 61 | assert(f.test_and_set() == 0); |
Howard Hinnant | 748a527 | 2010-09-30 21:05:29 +0000 | [diff] [blame] | 62 | f.clear(std::memory_order_relaxed); |
| 63 | assert(f.test_and_set() == 0); |
| 64 | } |
| 65 | { |
Eric Fiselier | 15a2972 | 2016-05-03 02:12:26 +0000 | [diff] [blame] | 66 | volatile std::atomic_flag f; |
Eric Fiselier | 990952b | 2016-06-19 07:08:27 +0000 | [diff] [blame] | 67 | f.clear(std::memory_order_release); |
| 68 | assert(f.test_and_set() == 0); |
Howard Hinnant | 748a527 | 2010-09-30 21:05:29 +0000 | [diff] [blame] | 69 | f.clear(std::memory_order_release); |
| 70 | assert(f.test_and_set() == 0); |
| 71 | } |
| 72 | { |
Eric Fiselier | 15a2972 | 2016-05-03 02:12:26 +0000 | [diff] [blame] | 73 | volatile std::atomic_flag f; |
Eric Fiselier | 990952b | 2016-06-19 07:08:27 +0000 | [diff] [blame] | 74 | f.clear(std::memory_order_seq_cst); |
| 75 | assert(f.test_and_set() == 0); |
Howard Hinnant | 748a527 | 2010-09-30 21:05:29 +0000 | [diff] [blame] | 76 | f.clear(std::memory_order_seq_cst); |
| 77 | assert(f.test_and_set() == 0); |
| 78 | } |
JF Bastien | 2df59c5 | 2019-02-04 20:31:13 +0000 | [diff] [blame] | 79 | |
| 80 | return 0; |
Howard Hinnant | 748a527 | 2010-09-30 21:05:29 +0000 | [diff] [blame] | 81 | } |