-
Notifications
You must be signed in to change notification settings - Fork 169
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Ensure that
swap is not ambiguous for types that pull in namespace …
…std via ADL
- Loading branch information
Showing
4 changed files
with
361 additions
and
5 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
152 changes: 152 additions & 0 deletions
152
libcudacxx/test/libcudacxx/std/utilities/utility/utility.swap/swap.pass.cpp
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,152 @@ | ||
| //===----------------------------------------------------------------------===// | ||
| // | ||
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. | ||
| // See https://llvm.org/LICENSE.txt for license information. | ||
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception | ||
| // | ||
| //===----------------------------------------------------------------------===// | ||
|
|
||
| // <utility> | ||
|
|
||
| // template<class T> | ||
| // requires MoveAssignable<T> && MoveConstructible<T> | ||
| // void | ||
| // swap(T& a, T& b); | ||
|
|
||
| #include <cuda/std/__memory_> | ||
| #include <cuda/std/cassert> | ||
| #include <cuda/std/type_traits> | ||
| #include <cuda/std/utility> | ||
|
|
||
| #include "test_macros.h" | ||
|
|
||
| #if !defined(TEST_COMPILER_NVRTC) | ||
| # include <utility> | ||
| #endif // !TEST_COMPILER_NVRTC | ||
|
|
||
| struct CopyOnly | ||
| { | ||
| __host__ __device__ CopyOnly() {} | ||
| __host__ __device__ CopyOnly(CopyOnly const&) noexcept {} | ||
| __host__ __device__ CopyOnly& operator=(CopyOnly const&) | ||
| { | ||
| return *this; | ||
| } | ||
| }; | ||
|
|
||
| struct MoveOnly | ||
| { | ||
| __host__ __device__ MoveOnly() {} | ||
| __host__ __device__ MoveOnly(MoveOnly&&) {} | ||
| __host__ __device__ MoveOnly& operator=(MoveOnly&&) noexcept | ||
| { | ||
| return *this; | ||
| } | ||
| }; | ||
|
|
||
| struct NoexceptMoveOnly | ||
| { | ||
| __host__ __device__ NoexceptMoveOnly() {} | ||
| __host__ __device__ NoexceptMoveOnly(NoexceptMoveOnly&&) noexcept {} | ||
| __host__ __device__ NoexceptMoveOnly& operator=(NoexceptMoveOnly&&) noexcept | ||
| { | ||
| return *this; | ||
| } | ||
| }; | ||
|
|
||
| struct NotMoveConstructible | ||
| { | ||
| __host__ __device__ NotMoveConstructible& operator=(NotMoveConstructible&&) | ||
| { | ||
| return *this; | ||
| } | ||
|
|
||
| private: | ||
| __host__ __device__ NotMoveConstructible(NotMoveConstructible&&); | ||
| }; | ||
|
|
||
| struct NotMoveAssignable | ||
| { | ||
| __host__ __device__ NotMoveAssignable(NotMoveAssignable&&); | ||
|
|
||
| private: | ||
| __host__ __device__ NotMoveAssignable& operator=(NotMoveAssignable&&); | ||
| }; | ||
|
|
||
| template <class Tp> | ||
| __host__ __device__ auto can_swap_test(int) | ||
| -> decltype(cuda::std::swap(cuda::std::declval<Tp>(), cuda::std::declval<Tp>())); | ||
|
|
||
| template <class Tp> | ||
| __host__ __device__ auto can_swap_test(...) -> cuda::std::false_type; | ||
|
|
||
| template <class Tp> | ||
| __host__ __device__ constexpr bool can_swap() | ||
| { | ||
| return cuda::std::is_same<decltype(can_swap_test<Tp>(0)), void>::value; | ||
| } | ||
|
|
||
| #if TEST_STD_VER >= 2014 | ||
| __host__ __device__ constexpr bool test_swap_constexpr() | ||
| { | ||
| int i = 1; | ||
| int j = 2; | ||
| cuda::std::swap(i, j); | ||
| return i == 2 && j == 1; | ||
| } | ||
| #endif // TEST_STD_VER >= 2014 | ||
|
|
||
| __host__ __device__ void test_ambiguous_std() | ||
| { | ||
| #if !defined(TEST_COMPILER_NVRTC) | ||
| // clang-format off | ||
| NV_IF_TARGET(NV_IS_HOST, ( | ||
| cuda::std::pair<::std::pair<int, int>, int> i = {}; | ||
| cuda::std::pair<::std::pair<int, int>, int> j = {}; | ||
| swap(i,j); | ||
| )) | ||
| // clang-format on | ||
| #endif // !TEST_COMPILER_NVRTC | ||
| } | ||
|
|
||
| int main(int, char**) | ||
| { | ||
| { | ||
| int i = 1; | ||
| int j = 2; | ||
| cuda::std::swap(i, j); | ||
| assert(i == 2); | ||
| assert(j == 1); | ||
| } | ||
| { | ||
| cuda::std::unique_ptr<int> i(new int(1)); | ||
| cuda::std::unique_ptr<int> j(new int(2)); | ||
| cuda::std::swap(i, j); | ||
| assert(*i == 2); | ||
| assert(*j == 1); | ||
| } | ||
| { | ||
| // test that the swap | ||
| static_assert(can_swap<CopyOnly&>(), ""); | ||
| static_assert(can_swap<MoveOnly&>(), ""); | ||
| static_assert(can_swap<NoexceptMoveOnly&>(), ""); | ||
|
|
||
| static_assert(!can_swap<NotMoveConstructible&>(), ""); | ||
| static_assert(!can_swap<NotMoveAssignable&>(), ""); | ||
|
|
||
| CopyOnly c; | ||
| MoveOnly m; | ||
| NoexceptMoveOnly nm; | ||
| static_assert(!noexcept(cuda::std::swap(c, c)), ""); | ||
| static_assert(!noexcept(cuda::std::swap(m, m)), ""); | ||
| static_assert(noexcept(cuda::std::swap(nm, nm)), ""); | ||
| } | ||
|
|
||
| #if TEST_STD_VER >= 2014 | ||
| static_assert(test_swap_constexpr()); | ||
| #endif // TEST_STD_VER >= 2014 | ||
|
|
||
| test_ambiguous_std(); | ||
|
|
||
| return 0; | ||
| } |
Oops, something went wrong.