xref: /llvm-project/pstl/test/std/algorithms/alg.modifying.operations/rotate.pass.cpp (revision 3b9a1bb1af90db9472340ef2122d3855eb9ba3fc)
13b62047bSLouis Dionne // -*- C++ -*-
23b62047bSLouis Dionne //===-- rotate.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;
263b62047bSLouis Dionne     int move_count;
wrapperwrapper273b62047bSLouis Dionne     explicit wrapper(T t_) : t(t_), move_count(0) {}
283b62047bSLouis Dionne     wrapper&
operator =wrapper293b62047bSLouis Dionne     operator=(const T& t_)
303b62047bSLouis Dionne     {
313b62047bSLouis Dionne         t = t_;
323b62047bSLouis Dionne         return *this;
333b62047bSLouis Dionne     }
343b62047bSLouis Dionne 
wrapperwrapper353b62047bSLouis Dionne     wrapper(const wrapper<T>& a) : move_count(0) { t = a.t; }
363b62047bSLouis Dionne 
373b62047bSLouis Dionne     wrapper<T>&
operator =wrapper383b62047bSLouis Dionne     operator=(wrapper<T>& a)
393b62047bSLouis Dionne     {
403b62047bSLouis Dionne         t = a.t;
413b62047bSLouis Dionne         return *this;
423b62047bSLouis Dionne     }
433b62047bSLouis Dionne 
443b62047bSLouis Dionne     wrapper<T>&
operator =wrapper453b62047bSLouis Dionne     operator=(wrapper<T>&& a)
463b62047bSLouis Dionne     {
473b62047bSLouis Dionne         t = a.t;
483b62047bSLouis Dionne         move_count += 1;
493b62047bSLouis Dionne         return *this;
503b62047bSLouis Dionne     }
513b62047bSLouis Dionne };
523b62047bSLouis Dionne 
533b62047bSLouis Dionne template <typename T>
543b62047bSLouis Dionne struct compare
553b62047bSLouis Dionne {
563b62047bSLouis Dionne     bool
operator ()compare573b62047bSLouis Dionne     operator()(const T& a, const T& b)
583b62047bSLouis Dionne     {
593b62047bSLouis Dionne         return a == b;
603b62047bSLouis Dionne     }
613b62047bSLouis Dionne };
623b62047bSLouis Dionne 
633b62047bSLouis Dionne template <typename T>
643b62047bSLouis Dionne struct compare<wrapper<T>>
653b62047bSLouis Dionne {
663b62047bSLouis Dionne     bool
operator ()compare673b62047bSLouis Dionne     operator()(const wrapper<T>& a, const wrapper<T>& b)
683b62047bSLouis Dionne     {
693b62047bSLouis Dionne         return a.t == b.t;
703b62047bSLouis Dionne     }
713b62047bSLouis Dionne };
723b62047bSLouis Dionne #include <typeinfo>
733b62047bSLouis Dionne 
743b62047bSLouis Dionne struct test_one_policy
753b62047bSLouis Dionne {
763b62047bSLouis Dionne 
77*3b9a1bb1SLouis Dionne #if defined(_PSTL_ICC_17_VC141_TEST_SIMD_LAMBDA_DEBUG_32_BROKEN) ||                                                             \
78*3b9a1bb1SLouis Dionne     defined(_PSTL_ICC_16_VC14_TEST_SIMD_LAMBDA_DEBUG_32_BROKEN) // dummy specializations to skip testing in case of broken configuration
793b62047bSLouis Dionne     template <typename Iterator, typename Size>
803b62047bSLouis Dionne     void
operator ()test_one_policy813b62047bSLouis Dionne     operator()(pstl::execution::unsequenced_policy, Iterator data_b, Iterator data_e, Iterator actual_b,
823b62047bSLouis Dionne                Iterator actual_e, Size shift)
833b62047bSLouis Dionne     {
843b62047bSLouis Dionne     }
853b62047bSLouis Dionne     template <typename Iterator, typename Size>
863b62047bSLouis Dionne     void
operator ()test_one_policy873b62047bSLouis Dionne     operator()(pstl::execution::parallel_unsequenced_policy, Iterator data_b, Iterator data_e, Iterator actual_b,
883b62047bSLouis Dionne                Iterator actual_e, Size shift)
893b62047bSLouis Dionne     {
903b62047bSLouis Dionne     }
913b62047bSLouis Dionne #endif
923b62047bSLouis Dionne 
933b62047bSLouis Dionne     template <typename ExecutionPolicy, typename Iterator, typename Size>
943b62047bSLouis Dionne     void
operator ()test_one_policy953b62047bSLouis Dionne     operator()(ExecutionPolicy&& exec, Iterator data_b, Iterator data_e, Iterator actual_b, Iterator actual_e,
963b62047bSLouis Dionne                Size shift)
973b62047bSLouis Dionne     {
983b62047bSLouis Dionne         using namespace std;
993b62047bSLouis Dionne         using T = typename iterator_traits<Iterator>::value_type;
1003b62047bSLouis Dionne         Iterator actual_m = std::next(actual_b, shift);
1013b62047bSLouis Dionne 
1023b62047bSLouis Dionne         copy(data_b, data_e, actual_b);
1033b62047bSLouis Dionne         Iterator actual_return = rotate(exec, actual_b, actual_m, actual_e);
1043b62047bSLouis Dionne 
1053b62047bSLouis Dionne         EXPECT_TRUE(actual_return == std::next(actual_b, std::distance(actual_m, actual_e)), "wrong result of rotate");
1063b62047bSLouis Dionne         auto comparator = compare<T>();
1073b62047bSLouis Dionne         bool check = std::equal(actual_return, actual_e, data_b, comparator);
1083b62047bSLouis Dionne         check = check && std::equal(actual_b, actual_return, std::next(data_b, shift), comparator);
1093b62047bSLouis Dionne 
1103b62047bSLouis Dionne         EXPECT_TRUE(check, "wrong effect of rotate");
1113b62047bSLouis Dionne         EXPECT_TRUE(check_move(exec, actual_b, actual_e, shift), "wrong move test of rotate");
1123b62047bSLouis Dionne     }
1133b62047bSLouis Dionne 
1143b62047bSLouis Dionne     template <typename ExecutionPolicy, typename Iterator, typename Size>
1153b62047bSLouis Dionne     typename std::enable_if<
1163b62047bSLouis Dionne         is_same_iterator_category<Iterator, std::random_access_iterator_tag>::value &&
1179d54063cSLouis Dionne             !std::is_same<ExecutionPolicy, std::execution::sequenced_policy>::value &&
1183b62047bSLouis Dionne             std::is_same<typename std::iterator_traits<Iterator>::value_type, wrapper<float32_t>>::value,
1193b62047bSLouis Dionne         bool>::type
check_movetest_one_policy1203491119fSLouis Dionne     check_move(ExecutionPolicy&&, Iterator b, Iterator e, Size shift)
1213b62047bSLouis Dionne     {
1223b62047bSLouis Dionne         bool result = all_of(b, e, [](wrapper<float32_t>& a) {
1233b62047bSLouis Dionne             bool temp = a.move_count > 0;
1243b62047bSLouis Dionne             a.move_count = 0;
1253b62047bSLouis Dionne             return temp;
1263b62047bSLouis Dionne         });
1273b62047bSLouis Dionne         return shift == 0 || result;
1283b62047bSLouis Dionne     }
1293b62047bSLouis Dionne 
1303b62047bSLouis Dionne     template <typename ExecutionPolicy, typename Iterator, typename Size>
1313b62047bSLouis Dionne     typename std::enable_if<
1323b62047bSLouis Dionne         !(is_same_iterator_category<Iterator, std::random_access_iterator_tag>::value &&
1339d54063cSLouis Dionne           !std::is_same<ExecutionPolicy, std::execution::sequenced_policy>::value &&
1343b62047bSLouis Dionne           std::is_same<typename std::iterator_traits<Iterator>::value_type, wrapper<float32_t>>::value),
1353b62047bSLouis Dionne         bool>::type
check_movetest_one_policy1363491119fSLouis Dionne     check_move(ExecutionPolicy&&, Iterator, Iterator, Size)
1373b62047bSLouis Dionne     {
1383b62047bSLouis Dionne         return true;
1393b62047bSLouis Dionne     }
1403b62047bSLouis Dionne };
1413b62047bSLouis Dionne 
1423b62047bSLouis Dionne template <typename T>
1433b62047bSLouis Dionne void
test()1443b62047bSLouis Dionne test()
1453b62047bSLouis Dionne {
1463b62047bSLouis Dionne     const int32_t max_len = 100000;
1473b62047bSLouis Dionne 
1483b62047bSLouis Dionne     Sequence<T> actual(max_len, [](std::size_t i) { return T(i); });
1493b62047bSLouis Dionne     Sequence<T> data(max_len, [](std::size_t i) { return T(i); });
1503b62047bSLouis Dionne 
1513b62047bSLouis Dionne     for (int32_t len = 0; len < max_len; len = len <= 16 ? len + 1 : int32_t(3.1415 * len))
1523b62047bSLouis Dionne     {
1533b62047bSLouis Dionne         int32_t shifts[] = {0, 1, 2, len / 3, (2 * len) / 3, len - 1};
1543b62047bSLouis Dionne         for (auto shift : shifts)
1553b62047bSLouis Dionne         {
1563b62047bSLouis Dionne             if (shift >= 0 && shift < len)
1573b62047bSLouis Dionne             {
1583b62047bSLouis Dionne                 invoke_on_all_policies(test_one_policy(), data.begin(), data.begin() + len, actual.begin(),
1593b62047bSLouis Dionne                                        actual.begin() + len, shift);
1603b62047bSLouis Dionne             }
1613b62047bSLouis Dionne         }
1623b62047bSLouis Dionne     }
1633b62047bSLouis Dionne }
1643b62047bSLouis Dionne 
165249c1c74SLouis Dionne int
main()1663b62047bSLouis Dionne main()
1673b62047bSLouis Dionne {
1683b62047bSLouis Dionne     test<int32_t>();
1693b62047bSLouis Dionne     test<wrapper<float64_t>>();
1705b0502dfSDvorskiy, Mikhail     test<MemoryChecker>();
1715b0502dfSDvorskiy, Mikhail     EXPECT_FALSE(MemoryChecker::alive_objects() < 0, "wrong effect from rotate: number of ctors calls < num of dtors calls");
1725b0502dfSDvorskiy, Mikhail     EXPECT_FALSE(MemoryChecker::alive_objects() > 0, "wrong effect from rotate: number of ctors calls > num of dtors calls");
1733b62047bSLouis Dionne 
1743b62047bSLouis Dionne     std::cout << done() << std::endl;
1753b62047bSLouis Dionne     return 0;
1763b62047bSLouis Dionne }
177