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 
1754fa9ecdSOlivier Giroux #include <semaphore>
1854fa9ecdSOlivier Giroux #include <chrono>
1954fa9ecdSOlivier Giroux #include <thread>
20c9af0e61SArthur O'Dwyer #include <type_traits>
2154fa9ecdSOlivier Giroux 
2256462801SLouis Dionne #include "make_test_thread.h"
2354fa9ecdSOlivier Giroux #include "test_macros.h"
2454fa9ecdSOlivier Giroux 
25c9af0e61SArthur O'Dwyer static_assert(std::is_same<std::binary_semaphore, std::counting_semaphore<1>>::value, "");
26c9af0e61SArthur O'Dwyer 
main(int,char **)2754fa9ecdSOlivier Giroux int main(int, char**)
2854fa9ecdSOlivier Giroux {
2954fa9ecdSOlivier Giroux   std::binary_semaphore s(1);
3054fa9ecdSOlivier Giroux 
3154fa9ecdSOlivier Giroux   auto l = [&](){
3254fa9ecdSOlivier Giroux     for(int i = 0; i < 1024; ++i) {
3354fa9ecdSOlivier Giroux         s.acquire();
3454fa9ecdSOlivier Giroux         std::this_thread::sleep_for(std::chrono::microseconds(1));
3554fa9ecdSOlivier Giroux         s.release();
3654fa9ecdSOlivier Giroux     }
3754fa9ecdSOlivier Giroux   };
3854fa9ecdSOlivier Giroux 
3956462801SLouis Dionne   std::thread t = support::make_test_thread(l);
4054fa9ecdSOlivier Giroux   l();
4154fa9ecdSOlivier Giroux 
4254fa9ecdSOlivier Giroux   t.join();
4354fa9ecdSOlivier Giroux 
4454fa9ecdSOlivier Giroux   return 0;
4554fa9ecdSOlivier Giroux }
46