From cbe768ec694d4b374cbb84eb32a2ffcde82a0f7b Mon Sep 17 00:00:00 2001 From: Marshall Clow Date: Mon, 22 Jan 2018 18:38:18 +0000 Subject: Add (commented out) constexpr tests for copy/copy_backwards/copy_if/copy_n. These will be enabled when that part of P0202 is implemented. NFC at this time. llvm-svn: 323137 --- .../alg.modifying.operations/alg.copy/copy.pass.cpp | 19 ++++++++++++++++++- .../alg.copy/copy_backward.pass.cpp | 21 ++++++++++++++++++++- .../alg.copy/copy_if.pass.cpp | 19 ++++++++++++++++++- .../alg.copy/copy_n.pass.cpp | 19 ++++++++++++++++++- 4 files changed, 74 insertions(+), 4 deletions(-) (limited to 'libcxx/test/std/algorithms/alg.modifying.operations') diff --git a/libcxx/test/std/algorithms/alg.modifying.operations/alg.copy/copy.pass.cpp b/libcxx/test/std/algorithms/alg.modifying.operations/alg.copy/copy.pass.cpp index a20d6ab7df8..7f75e011bc0 100644 --- a/libcxx/test/std/algorithms/alg.modifying.operations/alg.copy/copy.pass.cpp +++ b/libcxx/test/std/algorithms/alg.modifying.operations/alg.copy/copy.pass.cpp @@ -10,14 +10,27 @@ // // template OutIter> -// OutIter +// constexpr OutIter // constexpr after C++17 // copy(InIter first, InIter last, OutIter result); #include #include +#include "test_macros.h" #include "test_iterators.h" +// #if TEST_STD_VER > 17 +// TEST_CONSTEXPR bool test_constexpr() { +// int ia[] = {1, 2, 3, 4, 5}; +// int ic[] = {6, 6, 6, 6, 6, 6, 6}; +// +// auto p = std::copy(std::begin(ia), std::end(ia), std::begin(ic)); +// return std::equal(std::begin(ia), std::end(ia), std::begin(ic), p) +// && std::all_of(p, std::end(ic), [](int a){return a == 6;}) +// ; +// } +// #endif + template void test() @@ -70,4 +83,8 @@ int main() test >(); test >(); test(); + +// #if TEST_STD_VER > 17 +// static_assert(test_constexpr()); +// #endif } diff --git a/libcxx/test/std/algorithms/alg.modifying.operations/alg.copy/copy_backward.pass.cpp b/libcxx/test/std/algorithms/alg.modifying.operations/alg.copy/copy_backward.pass.cpp index 039fd2fe026..4185354579d 100644 --- a/libcxx/test/std/algorithms/alg.modifying.operations/alg.copy/copy_backward.pass.cpp +++ b/libcxx/test/std/algorithms/alg.modifying.operations/alg.copy/copy_backward.pass.cpp @@ -11,13 +11,28 @@ // template // requires OutputIterator -// OutIter +// constexpr OutIter // constexpr after C++17 // copy_backward(InIter first, InIter last, OutIter result); #include #include +#include "test_macros.h" #include "test_iterators.h" +#include "user_defined_integral.hpp" + +// #if TEST_STD_VER > 17 +// TEST_CONSTEXPR bool test_constexpr() { +// int ia[] = {1, 2, 3, 4, 5}; +// int ic[] = {6, 6, 6, 6, 6, 6, 6}; +// +// size_t N = std::size(ia); +// auto p = std::copy_backward(std::begin(ia), std::end(ia), std::begin(ic) + N); +// return std::equal(std::begin(ic), p, std::begin(ia)) +// && std::all_of(p, std::end(ic), [](int a){return a == 6;}) +// ; +// } +// #endif template void @@ -48,4 +63,8 @@ int main() test >(); test >(); test(); + +// #if TEST_STD_VER > 17 +// static_assert(test_constexpr()); +// #endif } diff --git a/libcxx/test/std/algorithms/alg.modifying.operations/alg.copy/copy_if.pass.cpp b/libcxx/test/std/algorithms/alg.modifying.operations/alg.copy/copy_if.pass.cpp index ab402a5eb8b..ae94ab433e8 100644 --- a/libcxx/test/std/algorithms/alg.modifying.operations/alg.copy/copy_if.pass.cpp +++ b/libcxx/test/std/algorithms/alg.modifying.operations/alg.copy/copy_if.pass.cpp @@ -12,14 +12,27 @@ // template OutIter, // Predicate Pred> // requires CopyConstructible -// OutIter +// constexpr OutIter // constexpr after C++17 // copy_if(InIter first, InIter last, OutIter result, Pred pred); #include #include +#include "test_macros.h" #include "test_iterators.h" +// #if TEST_STD_VER > 17 +// TEST_CONSTEXPR bool test_constexpr() { +// int ia[] = {2, 4, 6, 8, 6}; +// int ic[] = {0, 0, 0, 0, 0, 0}; +// +// auto p = std::copy_if(std::begin(ia), std::end(ia), std::begin(ic), is6); +// return std::all_of(std::begin(ic), p, [](int a){return a == 6;}) +// && std::all_of(p, std::end(ic), [](int a){return a == 0;}) +// ; +// } +// #endif + struct Pred { bool operator()(int i) {return i % 3 == 0;} @@ -77,4 +90,8 @@ int main() test >(); test >(); test(); + +// #if TEST_STD_VER > 17 +// static_assert(test_constexpr()); +// #endif } diff --git a/libcxx/test/std/algorithms/alg.modifying.operations/alg.copy/copy_n.pass.cpp b/libcxx/test/std/algorithms/alg.modifying.operations/alg.copy/copy_n.pass.cpp index 1dba8847c7e..24e5577b04e 100644 --- a/libcxx/test/std/algorithms/alg.modifying.operations/alg.copy/copy_n.pass.cpp +++ b/libcxx/test/std/algorithms/alg.modifying.operations/alg.copy/copy_n.pass.cpp @@ -10,15 +10,28 @@ // // template OutIter> -// OutIter +// constexpr OutIter // constexpr after C++17 // copy_n(InIter first, InIter::difference_type n, OutIter result); #include #include +#include "test_macros.h" #include "test_iterators.h" #include "user_defined_integral.hpp" +// #if TEST_STD_VER > 17 +// TEST_CONSTEXPR bool test_constexpr() { +// int ia[] = {1, 2, 3, 4, 5}; +// int ic[] = {6, 6, 6, 6, 6, 6, 6}; +// +// auto p = std::copy_n(std::begin(ia), 4, std::begin(ic)); +// return std::equal(std::begin(ic), p, std::begin(ia)) +// && std::all_of(p, std::end(ic), [](int a){return a == 6;}) +// ; +// } +// #endif + typedef UserDefinedIntegral UDI; template @@ -73,4 +86,8 @@ int main() test >(); test >(); test(); + +// #if TEST_STD_VER > 17 +// static_assert(test_constexpr()); +// #endif } -- cgit v1.2.3