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 // <tuple>
105a83710eSEric Fiselier
115a83710eSEric Fiselier // template <class... Types> class tuple;
125a83710eSEric Fiselier
135a83710eSEric Fiselier // void swap(tuple& rhs);
145a83710eSEric Fiselier
1531cbe0f2SLouis Dionne // UNSUPPORTED: c++03
160a52cd79SEric Fiselier
175a83710eSEric Fiselier #include <tuple>
185a83710eSEric Fiselier #include <cassert>
195a83710eSEric Fiselier
207fc6a556SMarshall Clow #include "test_macros.h"
21949389c3SMarshall Clow #include "MoveOnly.h"
225a83710eSEric Fiselier
2306e2b737SArthur O'Dwyer TEST_CONSTEXPR_CXX20
test()2406e2b737SArthur O'Dwyer bool test()
255a83710eSEric Fiselier {
265a83710eSEric Fiselier {
275a83710eSEric Fiselier typedef std::tuple<> T;
285a83710eSEric Fiselier T t0;
295a83710eSEric Fiselier T t1;
305a83710eSEric Fiselier t0.swap(t1);
315a83710eSEric Fiselier }
325a83710eSEric Fiselier {
335a83710eSEric Fiselier typedef std::tuple<MoveOnly> T;
345a83710eSEric Fiselier T t0(MoveOnly(0));
355a83710eSEric Fiselier T t1(MoveOnly(1));
365a83710eSEric Fiselier t0.swap(t1);
375a83710eSEric Fiselier assert(std::get<0>(t0) == 1);
385a83710eSEric Fiselier assert(std::get<0>(t1) == 0);
395a83710eSEric Fiselier }
405a83710eSEric Fiselier {
415a83710eSEric Fiselier typedef std::tuple<MoveOnly, MoveOnly> T;
425a83710eSEric Fiselier T t0(MoveOnly(0), MoveOnly(1));
435a83710eSEric Fiselier T t1(MoveOnly(2), MoveOnly(3));
445a83710eSEric Fiselier t0.swap(t1);
455a83710eSEric Fiselier assert(std::get<0>(t0) == 2);
465a83710eSEric Fiselier assert(std::get<1>(t0) == 3);
475a83710eSEric Fiselier assert(std::get<0>(t1) == 0);
485a83710eSEric Fiselier assert(std::get<1>(t1) == 1);
495a83710eSEric Fiselier }
505a83710eSEric Fiselier {
515a83710eSEric Fiselier typedef std::tuple<MoveOnly, MoveOnly, MoveOnly> T;
525a83710eSEric Fiselier T t0(MoveOnly(0), MoveOnly(1), MoveOnly(2));
535a83710eSEric Fiselier T t1(MoveOnly(3), MoveOnly(4), MoveOnly(5));
545a83710eSEric Fiselier t0.swap(t1);
555a83710eSEric Fiselier assert(std::get<0>(t0) == 3);
565a83710eSEric Fiselier assert(std::get<1>(t0) == 4);
575a83710eSEric Fiselier assert(std::get<2>(t0) == 5);
585a83710eSEric Fiselier assert(std::get<0>(t1) == 0);
595a83710eSEric Fiselier assert(std::get<1>(t1) == 1);
605a83710eSEric Fiselier assert(std::get<2>(t1) == 2);
615a83710eSEric Fiselier }
6206e2b737SArthur O'Dwyer return true;
6306e2b737SArthur O'Dwyer }
6406e2b737SArthur O'Dwyer
main(int,char **)6506e2b737SArthur O'Dwyer int main(int, char**)
6606e2b737SArthur O'Dwyer {
6706e2b737SArthur O'Dwyer test();
68*16719cd0SHui Xie #if TEST_STD_VER > 17
6906e2b737SArthur O'Dwyer static_assert(test());
7006e2b737SArthur O'Dwyer #endif
712df59c50SJF Bastien
722df59c50SJF Bastien return 0;
735a83710eSEric Fiselier }
74