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 //
9*62cfa3a0SLouis Dionne // UNSUPPORTED: libcpp-has-no-threads
105a83710eSEric Fiselier 
115a83710eSEric Fiselier // <thread>
125a83710eSEric Fiselier 
135a83710eSEric Fiselier // class thread
145a83710eSEric Fiselier 
155a83710eSEric Fiselier // thread(thread&& t);
165a83710eSEric Fiselier 
175a83710eSEric Fiselier #include <thread>
185a83710eSEric Fiselier #include <cassert>
19*62cfa3a0SLouis Dionne #include <cstdlib>
20*62cfa3a0SLouis Dionne #include <utility>
215a83710eSEric Fiselier 
227fc6a556SMarshall Clow #include "test_macros.h"
237fc6a556SMarshall Clow 
245a83710eSEric Fiselier class G
255a83710eSEric Fiselier {
265a83710eSEric Fiselier     int alive_;
275a83710eSEric Fiselier public:
285a83710eSEric Fiselier     static int n_alive;
295a83710eSEric Fiselier     static bool op_run;
305a83710eSEric Fiselier 
315a83710eSEric Fiselier     G() : alive_(1) {++n_alive;}
325a83710eSEric Fiselier     G(const G& g) : alive_(g.alive_) {++n_alive;}
335a83710eSEric Fiselier     ~G() {alive_ = 0; --n_alive;}
345a83710eSEric Fiselier 
355a83710eSEric Fiselier     void operator()()
365a83710eSEric Fiselier     {
375a83710eSEric Fiselier         assert(alive_ == 1);
385a83710eSEric Fiselier         assert(n_alive >= 1);
395a83710eSEric Fiselier         op_run = true;
405a83710eSEric Fiselier     }
415a83710eSEric Fiselier };
425a83710eSEric Fiselier 
435a83710eSEric Fiselier int G::n_alive = 0;
445a83710eSEric Fiselier bool G::op_run = false;
455a83710eSEric Fiselier 
462df59c50SJF Bastien int main(int, char**)
475a83710eSEric Fiselier {
48*62cfa3a0SLouis Dionne     assert(G::n_alive == 0);
49*62cfa3a0SLouis Dionne     assert(!G::op_run);
505a83710eSEric Fiselier     {
519a37bc91SEric Fiselier         G g;
529a37bc91SEric Fiselier         assert(G::n_alive == 1);
535a83710eSEric Fiselier         assert(!G::op_run);
54*62cfa3a0SLouis Dionne 
55*62cfa3a0SLouis Dionne         std::thread t0(g);
565a83710eSEric Fiselier         std::thread::id id = t0.get_id();
57*62cfa3a0SLouis Dionne 
585a83710eSEric Fiselier         std::thread t1 = std::move(t0);
595a83710eSEric Fiselier         assert(t1.get_id() == id);
605a83710eSEric Fiselier         assert(t0.get_id() == std::thread::id());
61*62cfa3a0SLouis Dionne 
625a83710eSEric Fiselier         t1.join();
639a37bc91SEric Fiselier         assert(G::n_alive == 1);
645a83710eSEric Fiselier         assert(G::op_run);
655a83710eSEric Fiselier     }
669a37bc91SEric Fiselier     assert(G::n_alive == 0);
67*62cfa3a0SLouis Dionne     assert(G::op_run);
682df59c50SJF Bastien 
692df59c50SJF Bastien     return 0;
705a83710eSEric Fiselier }
71