154fa9ecdSOlivier Giroux //===----------------------------------------------------------------------===// 254fa9ecdSOlivier Giroux // 354fa9ecdSOlivier Giroux // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 454fa9ecdSOlivier Giroux // See https://llvm.org/LICENSE.txt for license information. 554fa9ecdSOlivier Giroux // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 654fa9ecdSOlivier Giroux // 754fa9ecdSOlivier Giroux //===----------------------------------------------------------------------===// 854fa9ecdSOlivier Giroux // 9*a7f9895cSLouis Dionne // UNSUPPORTED: no-threads 1031cbe0f2SLouis Dionne // UNSUPPORTED: c++03, c++11 1154fa9ecdSOlivier Giroux 12c0efe8f2SLouis Dionne // This test requires the dylib support introduced in D68480, which shipped in macOS 11.0. 13c360553cSLouis Dionne // XFAIL: use_system_cxx_lib && target={{.+}}-apple-macosx10.{{9|10|11|12|13|14|15}} 1480e73f22SLouis Dionne 1554fa9ecdSOlivier Giroux // <semaphore> 1654fa9ecdSOlivier Giroux 17d4303307SArthur O'Dwyer #include <cassert> 1854fa9ecdSOlivier Giroux #include <semaphore> 1954fa9ecdSOlivier Giroux #include <thread> 2054fa9ecdSOlivier Giroux 2156462801SLouis Dionne #include "make_test_thread.h" 2254fa9ecdSOlivier Giroux #include "test_macros.h" 2354fa9ecdSOlivier Giroux main(int,char **)2454fa9ecdSOlivier Girouxint main(int, char**) 2554fa9ecdSOlivier Giroux { 2654fa9ecdSOlivier Giroux std::counting_semaphore<> s(1); 2754fa9ecdSOlivier Giroux 2854fa9ecdSOlivier Giroux assert(s.try_acquire()); 29c92a253cSArthur O'Dwyer assert(!s.try_acquire()); 3054fa9ecdSOlivier Giroux s.release(); 3154fa9ecdSOlivier Giroux assert(s.try_acquire()); 32c92a253cSArthur O'Dwyer assert(!s.try_acquire()); 3354fa9ecdSOlivier Giroux s.release(2); 3456462801SLouis Dionne std::thread t = support::make_test_thread([&](){ 3554fa9ecdSOlivier Giroux assert(s.try_acquire()); 3654fa9ecdSOlivier Giroux }); 3754fa9ecdSOlivier Giroux t.join(); 3854fa9ecdSOlivier Giroux assert(s.try_acquire()); 39c92a253cSArthur O'Dwyer assert(!s.try_acquire()); 4054fa9ecdSOlivier Giroux 4154fa9ecdSOlivier Giroux return 0; 4254fa9ecdSOlivier Giroux } 43