xref: /llvm-project/pstl/test/std/algorithms/alg.modifying.operations/alg.reverse/reverse_copy.pass.cpp (revision 5425106e493e26f7e0a87077c8eca657a9aff293)
13b62047bSLouis Dionne // -*- C++ -*-
23b62047bSLouis Dionne //===-- reverse_copy.pass.cpp ---------------------------------------------===//
33b62047bSLouis Dionne //
43b62047bSLouis Dionne // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
53b62047bSLouis Dionne // See https://llvm.org/LICENSE.txt for license information.
63b62047bSLouis Dionne // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
73b62047bSLouis Dionne //
83b62047bSLouis Dionne //===----------------------------------------------------------------------===//
93b62047bSLouis Dionne 
10b5e896c0SLouis Dionne // UNSUPPORTED: c++03, c++11, c++14
116ab35c9dSLouis Dionne 
123b62047bSLouis Dionne #include "support/pstl_test_config.h"
133b62047bSLouis Dionne 
143b62047bSLouis Dionne #include <iterator>
153b62047bSLouis Dionne #include <execution>
163b62047bSLouis Dionne #include <algorithm>
173b62047bSLouis Dionne 
183b62047bSLouis Dionne #include "support/utils.h"
193b62047bSLouis Dionne 
203b62047bSLouis Dionne using namespace TestUtils;
213b62047bSLouis Dionne 
223b62047bSLouis Dionne template <typename T>
233b62047bSLouis Dionne struct wrapper
243b62047bSLouis Dionne {
253b62047bSLouis Dionne     T t;
wrapperwrapper263b62047bSLouis Dionne     wrapper() {}
wrapperwrapper273b62047bSLouis Dionne     explicit wrapper(T t_) : t(t_) {}
283b62047bSLouis Dionne     wrapper&
operator =wrapper293b62047bSLouis Dionne     operator=(const T& t_)
303b62047bSLouis Dionne     {
313b62047bSLouis Dionne         t = t_;
323b62047bSLouis Dionne         return *this;
333b62047bSLouis Dionne     }
343b62047bSLouis Dionne     bool
operator ==wrapper353b62047bSLouis Dionne     operator==(const wrapper& t_) const
363b62047bSLouis Dionne     {
373b62047bSLouis Dionne         return t == t_.t;
383b62047bSLouis Dionne     }
393b62047bSLouis Dionne };
403b62047bSLouis Dionne 
413b62047bSLouis Dionne template <typename T1, typename T2>
423b62047bSLouis Dionne bool
eq(const wrapper<T1> & a,const wrapper<T2> & b)433b62047bSLouis Dionne eq(const wrapper<T1>& a, const wrapper<T2>& b)
443b62047bSLouis Dionne {
453b62047bSLouis Dionne     return a.t == b.t;
463b62047bSLouis Dionne }
473b62047bSLouis Dionne 
483b62047bSLouis Dionne template <typename T1, typename T2>
493b62047bSLouis Dionne bool
eq(const T1 & a,const T2 & b)503b62047bSLouis Dionne eq(const T1& a, const T2& b)
513b62047bSLouis Dionne {
523b62047bSLouis Dionne     return a == b;
533b62047bSLouis Dionne }
543b62047bSLouis Dionne 
553b62047bSLouis Dionne // we need to save state here, because we need to test with different types of iterators
563b62047bSLouis Dionne // due to the caller invoke_on_all_policies does forcing modification passed iterator type to cover additional usage cases.
573b62047bSLouis Dionne template <typename Iterator>
583b62047bSLouis Dionne struct test_one_policy
593b62047bSLouis Dionne {
603b62047bSLouis Dionne     Iterator data_b;
613b62047bSLouis Dionne     Iterator data_e;
test_one_policytest_one_policy623b62047bSLouis Dionne     test_one_policy(Iterator b, Iterator e) : data_b(b), data_e(e) {}
633b62047bSLouis Dionne 
64*3b9a1bb1SLouis Dionne #if defined(_PSTL_ICC_17_VC141_TEST_SIMD_LAMBDA_DEBUG_32_BROKEN) ||                                                             \
65*3b9a1bb1SLouis Dionne     defined(_PSTL_ICC_16_VC14_TEST_SIMD_LAMBDA_DEBUG_32_BROKEN) // dummy specialization by policy type, in case of broken configuration
663b62047bSLouis Dionne     template <typename Iterator1>
673b62047bSLouis Dionne     typename std::enable_if<is_same_iterator_category<Iterator1, std::random_access_iterator_tag>::value, void>::type
operator ()test_one_policy683b62047bSLouis Dionne     operator()(pstl::execution::unsequenced_policy, Iterator1 actual_b, Iterator1 actual_e)
693b62047bSLouis Dionne     {
703b62047bSLouis Dionne     }
713b62047bSLouis Dionne     template <typename Iterator1>
723b62047bSLouis Dionne     typename std::enable_if<is_same_iterator_category<Iterator1, std::random_access_iterator_tag>::value, void>::type
operator ()test_one_policy733b62047bSLouis Dionne     operator()(pstl::execution::parallel_unsequenced_policy, Iterator1 actual_b, Iterator1 actual_e)
743b62047bSLouis Dionne     {
753b62047bSLouis Dionne     }
763b62047bSLouis Dionne #endif
773b62047bSLouis Dionne 
783b62047bSLouis Dionne     template <typename ExecutionPolicy, typename Iterator1>
793b62047bSLouis Dionne     void
operator ()test_one_policy803b62047bSLouis Dionne     operator()(ExecutionPolicy&& exec, Iterator1 actual_b, Iterator1 actual_e)
813b62047bSLouis Dionne     {
823b62047bSLouis Dionne         using namespace std;
833b62047bSLouis Dionne         using T = typename iterator_traits<Iterator1>::value_type;
843b62047bSLouis Dionne 
853b62047bSLouis Dionne         fill(actual_b, actual_e, T(-123));
863b62047bSLouis Dionne         Iterator1 actual_return = reverse_copy(exec, data_b, data_e, actual_b);
873b62047bSLouis Dionne 
883b62047bSLouis Dionne         EXPECT_TRUE(actual_return == actual_e, "wrong result of reverse_copy");
893b62047bSLouis Dionne 
903b62047bSLouis Dionne         const auto n = std::distance(data_b, data_e);
913b62047bSLouis Dionne         Sequence<T> res(n);
923b62047bSLouis Dionne         std::copy(std::reverse_iterator<Iterator>(data_e), std::reverse_iterator<Iterator>(data_b), res.begin());
933b62047bSLouis Dionne 
943b62047bSLouis Dionne         EXPECT_EQ_N(res.begin(), actual_b, n, "wrong effect of reverse_copy");
953b62047bSLouis Dionne     }
963b62047bSLouis Dionne };
973b62047bSLouis Dionne 
983b62047bSLouis Dionne template <typename T1, typename T2>
993b62047bSLouis Dionne void
test()1003b62047bSLouis Dionne test()
1013b62047bSLouis Dionne {
1023b62047bSLouis Dionne     typedef typename Sequence<T1>::iterator iterator_type;
1033b62047bSLouis Dionne     typedef typename Sequence<T1>::const_bidirectional_iterator cbi_iterator_type;
1043b62047bSLouis Dionne 
1053b62047bSLouis Dionne     const std::size_t max_len = 100000;
1063b62047bSLouis Dionne 
1073b62047bSLouis Dionne     Sequence<T2> actual(max_len);
1083b62047bSLouis Dionne 
1093b62047bSLouis Dionne     Sequence<T1> data(max_len, [](std::size_t i) { return T1(i); });
1103b62047bSLouis Dionne 
1113b62047bSLouis Dionne     for (std::size_t len = 0; len < max_len; len = len <= 16 ? len + 1 : std::size_t(3.1415 * len))
1123b62047bSLouis Dionne     {
1133b62047bSLouis Dionne         invoke_on_all_policies(test_one_policy<iterator_type>(data.begin(), data.begin() + len), actual.begin(),
1143b62047bSLouis Dionne                                actual.begin() + len);
1153b62047bSLouis Dionne         invoke_on_all_policies(test_one_policy<cbi_iterator_type>(data.cbibegin(), std::next(data.cbibegin(), len)),
1163b62047bSLouis Dionne                                actual.begin(), actual.begin() + len);
1173b62047bSLouis Dionne     }
1183b62047bSLouis Dionne }
1193b62047bSLouis Dionne 
120249c1c74SLouis Dionne int
main()1213b62047bSLouis Dionne main()
1223b62047bSLouis Dionne {
1233b62047bSLouis Dionne     test<int16_t, int8_t>();
1243b62047bSLouis Dionne     test<uint16_t, float32_t>();
1253b62047bSLouis Dionne     test<float64_t, int64_t>();
1263b62047bSLouis Dionne     test<wrapper<float64_t>, wrapper<float64_t>>();
1273b62047bSLouis Dionne 
1283b62047bSLouis Dionne     std::cout << done() << std::endl;
1293b62047bSLouis Dionne     return 0;
1303b62047bSLouis Dionne }
131