15a83710eSEric Fiselier //===----------------------------------------------------------------------===// 25a83710eSEric Fiselier // 357b08b09SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 457b08b09SChandler Carruth // See https://llvm.org/LICENSE.txt for license information. 557b08b09SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 65a83710eSEric Fiselier // 75a83710eSEric Fiselier //===----------------------------------------------------------------------===// 85a83710eSEric Fiselier 95a83710eSEric Fiselier // <atomic> 105a83710eSEric Fiselier 115a83710eSEric Fiselier // struct atomic_flag 125a83710eSEric Fiselier 135a83710eSEric Fiselier // bool test_and_set(memory_order = memory_order_seq_cst); 145a83710eSEric Fiselier // bool test_and_set(memory_order = memory_order_seq_cst) volatile; 155a83710eSEric Fiselier 165a83710eSEric Fiselier #include <atomic> 175a83710eSEric Fiselier #include <cassert> 185a83710eSEric Fiselier 19*7fc6a556SMarshall Clow #include "test_macros.h" 20*7fc6a556SMarshall Clow main(int,char **)212df59c50SJF Bastienint main(int, char**) 225a83710eSEric Fiselier { 235a83710eSEric Fiselier { 245a83710eSEric Fiselier std::atomic_flag f; 255a83710eSEric Fiselier f.clear(); 265a83710eSEric Fiselier assert(f.test_and_set() == 0); 275a83710eSEric Fiselier assert(f.test_and_set() == 1); 285a83710eSEric Fiselier } 295a83710eSEric Fiselier { 305a83710eSEric Fiselier std::atomic_flag f; 315a83710eSEric Fiselier f.clear(); 325a83710eSEric Fiselier assert(f.test_and_set(std::memory_order_relaxed) == 0); 335a83710eSEric Fiselier assert(f.test_and_set(std::memory_order_relaxed) == 1); 345a83710eSEric Fiselier } 355a83710eSEric Fiselier { 365a83710eSEric Fiselier std::atomic_flag f; 375a83710eSEric Fiselier f.clear(); 385a83710eSEric Fiselier assert(f.test_and_set(std::memory_order_consume) == 0); 395a83710eSEric Fiselier assert(f.test_and_set(std::memory_order_consume) == 1); 405a83710eSEric Fiselier } 415a83710eSEric Fiselier { 425a83710eSEric Fiselier std::atomic_flag f; 435a83710eSEric Fiselier f.clear(); 445a83710eSEric Fiselier assert(f.test_and_set(std::memory_order_acquire) == 0); 455a83710eSEric Fiselier assert(f.test_and_set(std::memory_order_acquire) == 1); 465a83710eSEric Fiselier } 475a83710eSEric Fiselier { 485a83710eSEric Fiselier std::atomic_flag f; 495a83710eSEric Fiselier f.clear(); 505a83710eSEric Fiselier assert(f.test_and_set(std::memory_order_release) == 0); 515a83710eSEric Fiselier assert(f.test_and_set(std::memory_order_release) == 1); 525a83710eSEric Fiselier } 535a83710eSEric Fiselier { 545a83710eSEric Fiselier std::atomic_flag f; 555a83710eSEric Fiselier f.clear(); 565a83710eSEric Fiselier assert(f.test_and_set(std::memory_order_acq_rel) == 0); 575a83710eSEric Fiselier assert(f.test_and_set(std::memory_order_acq_rel) == 1); 585a83710eSEric Fiselier } 595a83710eSEric Fiselier { 605a83710eSEric Fiselier std::atomic_flag f; 615a83710eSEric Fiselier f.clear(); 625a83710eSEric Fiselier assert(f.test_and_set(std::memory_order_seq_cst) == 0); 635a83710eSEric Fiselier assert(f.test_and_set(std::memory_order_seq_cst) == 1); 645a83710eSEric Fiselier } 655a83710eSEric Fiselier { 665a83710eSEric Fiselier volatile std::atomic_flag f; 675a83710eSEric Fiselier f.clear(); 685a83710eSEric Fiselier assert(f.test_and_set() == 0); 695a83710eSEric Fiselier assert(f.test_and_set() == 1); 705a83710eSEric Fiselier } 715a83710eSEric Fiselier { 725a83710eSEric Fiselier volatile std::atomic_flag f; 735a83710eSEric Fiselier f.clear(); 745a83710eSEric Fiselier assert(f.test_and_set(std::memory_order_relaxed) == 0); 755a83710eSEric Fiselier assert(f.test_and_set(std::memory_order_relaxed) == 1); 765a83710eSEric Fiselier } 775a83710eSEric Fiselier { 785a83710eSEric Fiselier volatile std::atomic_flag f; 795a83710eSEric Fiselier f.clear(); 805a83710eSEric Fiselier assert(f.test_and_set(std::memory_order_consume) == 0); 815a83710eSEric Fiselier assert(f.test_and_set(std::memory_order_consume) == 1); 825a83710eSEric Fiselier } 835a83710eSEric Fiselier { 845a83710eSEric Fiselier volatile std::atomic_flag f; 855a83710eSEric Fiselier f.clear(); 865a83710eSEric Fiselier assert(f.test_and_set(std::memory_order_acquire) == 0); 875a83710eSEric Fiselier assert(f.test_and_set(std::memory_order_acquire) == 1); 885a83710eSEric Fiselier } 895a83710eSEric Fiselier { 905a83710eSEric Fiselier volatile std::atomic_flag f; 915a83710eSEric Fiselier f.clear(); 925a83710eSEric Fiselier assert(f.test_and_set(std::memory_order_release) == 0); 935a83710eSEric Fiselier assert(f.test_and_set(std::memory_order_release) == 1); 945a83710eSEric Fiselier } 955a83710eSEric Fiselier { 965a83710eSEric Fiselier volatile std::atomic_flag f; 975a83710eSEric Fiselier f.clear(); 985a83710eSEric Fiselier assert(f.test_and_set(std::memory_order_acq_rel) == 0); 995a83710eSEric Fiselier assert(f.test_and_set(std::memory_order_acq_rel) == 1); 1005a83710eSEric Fiselier } 1015a83710eSEric Fiselier { 1025a83710eSEric Fiselier volatile std::atomic_flag f; 1035a83710eSEric Fiselier f.clear(); 1045a83710eSEric Fiselier assert(f.test_and_set(std::memory_order_seq_cst) == 0); 1055a83710eSEric Fiselier assert(f.test_and_set(std::memory_order_seq_cst) == 1); 1065a83710eSEric Fiselier } 1072df59c50SJF Bastien 1082df59c50SJF Bastien return 0; 1095a83710eSEric Fiselier } 110