xref: /llvm-project/pstl/test/std/algorithms/alg.modifying.operations/rotate_copy.pass.cpp (revision 3b9a1bb1af90db9472340ef2122d3855eb9ba3fc)
13b62047bSLouis Dionne // -*- C++ -*-
23b62047bSLouis Dionne //===-- rotate_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 template <typename T>
263b62047bSLouis Dionne bool
compare(const wrapper<T> & a,const wrapper<T> & b)273b62047bSLouis Dionne compare(const wrapper<T>& a, const wrapper<T>& b)
283b62047bSLouis Dionne {
293b62047bSLouis Dionne     return a.t == b.t;
303b62047bSLouis Dionne }
313b62047bSLouis Dionne 
323b62047bSLouis Dionne template <typename T>
333b62047bSLouis Dionne bool
compare(const T & a,const T & b)343b62047bSLouis Dionne compare(const T& a, const T& b)
353b62047bSLouis Dionne {
363b62047bSLouis Dionne     return a == b;
373b62047bSLouis Dionne }
383b62047bSLouis Dionne 
393b62047bSLouis Dionne template <typename T>
403b62047bSLouis Dionne struct wrapper
413b62047bSLouis Dionne {
wrapperwrapper423b62047bSLouis Dionne     explicit wrapper(T t_) : t(t_) {}
433b62047bSLouis Dionne     wrapper&
operator =wrapper443b62047bSLouis Dionne     operator=(const T& t_)
453b62047bSLouis Dionne     {
463b62047bSLouis Dionne         t = t_;
473b62047bSLouis Dionne         return *this;
483b62047bSLouis Dionne     }
493b62047bSLouis Dionne     friend bool
503b62047bSLouis Dionne     compare<T>(const wrapper<T>& a, const wrapper<T>& b);
513b62047bSLouis Dionne 
523b62047bSLouis Dionne   private:
533b62047bSLouis Dionne     T t;
543b62047bSLouis Dionne };
553b62047bSLouis Dionne 
563b62047bSLouis Dionne template <typename T, typename It1, typename It2>
573b62047bSLouis Dionne struct comparator
583b62047bSLouis Dionne {
593b62047bSLouis Dionne     using T1 = typename std::iterator_traits<It1>::value_type;
603b62047bSLouis Dionne     using T2 = typename std::iterator_traits<It2>::value_type;
613b62047bSLouis Dionne     bool
operator ()comparator623b62047bSLouis Dionne     operator()(T1 a, T2 b)
633b62047bSLouis Dionne     {
643b62047bSLouis Dionne         T temp = a;
653b62047bSLouis Dionne         return compare(temp, b);
663b62047bSLouis Dionne     }
673b62047bSLouis Dionne };
683b62047bSLouis Dionne 
693b62047bSLouis Dionne struct test_one_policy
703b62047bSLouis Dionne {
713b62047bSLouis Dionne 
72*3b9a1bb1SLouis Dionne #if defined(_PSTL_ICC_17_VC141_TEST_SIMD_LAMBDA_DEBUG_32_BROKEN) ||                                                             \
73*3b9a1bb1SLouis Dionne     defined(_PSTL_ICC_16_VC14_TEST_SIMD_LAMBDA_DEBUG_32_BROKEN) // dummy specialization by policy type, in case of broken configuration
743b62047bSLouis Dionne     template <typename Iterator1, typename Iterator2>
753b62047bSLouis Dionne     typename std::enable_if<is_same_iterator_category<Iterator1, std::random_access_iterator_tag>::value, void>::type
operator ()test_one_policy763b62047bSLouis Dionne     operator()(pstl::execution::unsequenced_policy, Iterator1 data_b, Iterator1 data_e, Iterator2 actual_b,
773b62047bSLouis Dionne                Iterator2 actual_e, std::size_t shift)
783b62047bSLouis Dionne     {
793b62047bSLouis Dionne     }
803b62047bSLouis Dionne     template <typename Iterator1, typename Iterator2>
813b62047bSLouis Dionne     typename std::enable_if<is_same_iterator_category<Iterator1, std::random_access_iterator_tag>::value, void>::type
operator ()test_one_policy823b62047bSLouis Dionne     operator()(pstl::execution::parallel_unsequenced_policy, Iterator1 data_b, Iterator1 data_e, Iterator2 actual_b,
833b62047bSLouis Dionne                Iterator2 actual_e, std::size_t shift)
843b62047bSLouis Dionne     {
853b62047bSLouis Dionne     }
863b62047bSLouis Dionne #endif
873b62047bSLouis Dionne 
883b62047bSLouis Dionne     template <typename ExecutionPolicy, typename Iterator1, typename Iterator2>
893b62047bSLouis Dionne     void
operator ()test_one_policy903b62047bSLouis Dionne     operator()(ExecutionPolicy&& exec, Iterator1 data_b, Iterator1 data_e, Iterator2 actual_b, Iterator2 actual_e,
913b62047bSLouis Dionne                std::size_t shift)
923b62047bSLouis Dionne     {
933b62047bSLouis Dionne         using namespace std;
943b62047bSLouis Dionne         using T = typename iterator_traits<Iterator2>::value_type;
953b62047bSLouis Dionne         Iterator1 data_m = std::next(data_b, shift);
963b62047bSLouis Dionne 
973b62047bSLouis Dionne         fill(actual_b, actual_e, T(-123));
983b62047bSLouis Dionne         Iterator2 actual_return = rotate_copy(exec, data_b, data_m, data_e, actual_b);
993b62047bSLouis Dionne 
1003b62047bSLouis Dionne         EXPECT_TRUE(actual_return == actual_e, "wrong result of rotate_copy");
1013b62047bSLouis Dionne         auto comparer = comparator<T, Iterator1, Iterator2>();
1023b62047bSLouis Dionne         bool check = std::equal(data_m, data_e, actual_b, comparer);
1033b62047bSLouis Dionne         check = check && std::equal(data_b, data_m, std::next(actual_b, std::distance(data_m, data_e)), comparer);
1043b62047bSLouis Dionne 
1053b62047bSLouis Dionne         EXPECT_TRUE(check, "wrong effect of rotate_copy");
1063b62047bSLouis Dionne     }
1073b62047bSLouis Dionne };
1083b62047bSLouis Dionne 
1093b62047bSLouis Dionne template <typename T1, typename T2>
1103b62047bSLouis Dionne void
test()1113b62047bSLouis Dionne test()
1123b62047bSLouis Dionne {
1133b62047bSLouis Dionne 
1143b62047bSLouis Dionne     const std::size_t max_len = 100000;
1153b62047bSLouis Dionne 
1163b62047bSLouis Dionne     Sequence<T2> actual(max_len, [](std::size_t i) { return T1(i); });
1173b62047bSLouis Dionne 
1183b62047bSLouis Dionne     Sequence<T1> data(max_len, [](std::size_t i) { return T1(i); });
1193b62047bSLouis Dionne 
1203b62047bSLouis Dionne     for (std::size_t len = 0; len < max_len; len = len <= 16 ? len + 1 : std::size_t(3.1415 * len))
1213b62047bSLouis Dionne     {
1223b62047bSLouis Dionne         std::size_t shifts[] = {0, 1, 2, len / 3, (2 * len) / 3, len - 1};
1233b62047bSLouis Dionne         for (std::size_t shift : shifts)
1243b62047bSLouis Dionne         {
1253b62047bSLouis Dionne             if (shift > 0 && shift < len)
1263b62047bSLouis Dionne             {
1273b62047bSLouis Dionne                 invoke_on_all_policies(test_one_policy(), data.begin(), data.begin() + len, actual.begin(),
1283b62047bSLouis Dionne                                        actual.begin() + len, shift);
1293b62047bSLouis Dionne                 invoke_on_all_policies(test_one_policy(), data.cbegin(), data.cbegin() + len, actual.begin(),
1303b62047bSLouis Dionne                                        actual.begin() + len, shift);
1313b62047bSLouis Dionne             }
1323b62047bSLouis Dionne         }
1333b62047bSLouis Dionne     }
1343b62047bSLouis Dionne }
1353b62047bSLouis Dionne 
136249c1c74SLouis Dionne int
main()1373b62047bSLouis Dionne main()
1383b62047bSLouis Dionne {
1393b62047bSLouis Dionne     test<int32_t, int8_t>();
1403b62047bSLouis Dionne     test<uint16_t, float32_t>();
1413b62047bSLouis Dionne     test<float64_t, int64_t>();
1423b62047bSLouis Dionne     test<wrapper<float64_t>, wrapper<float64_t>>();
1433b62047bSLouis Dionne 
1443b62047bSLouis Dionne     std::cout << done() << std::endl;
1453b62047bSLouis Dionne     return 0;
1463b62047bSLouis Dionne }
147