xref: /llvm-project/pstl/test/std/algorithms/alg.modifying.operations/unique.pass.cpp (revision 3b9a1bb1af90db9472340ef2122d3855eb9ba3fc)
13b62047bSLouis Dionne // -*- C++ -*-
23b62047bSLouis Dionne //===-- unique.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 // Test for unique
133b62047bSLouis Dionne #include "support/pstl_test_config.h"
143b62047bSLouis Dionne 
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 struct run_unique
233b62047bSLouis Dionne {
24*3b9a1bb1SLouis Dionne #if defined(_PSTL_ICC_17_VC141_TEST_SIMD_LAMBDA_DEBUG_32_BROKEN) ||                                                             \
25*3b9a1bb1SLouis Dionne     defined(_PSTL_ICC_16_VC14_TEST_SIMD_LAMBDA_DEBUG_32_BROKEN) //dummy specialization by policy type, in case of broken configuration
263b62047bSLouis Dionne     template <typename ForwardIt, typename Generator>
273b62047bSLouis Dionne     void
operator ()run_unique283b62047bSLouis Dionne     operator()(pstl::execution::unsequenced_policy, ForwardIt first1, ForwardIt last1, ForwardIt first2,
293b62047bSLouis Dionne                ForwardIt last2, Generator generator)
303b62047bSLouis Dionne     {
313b62047bSLouis Dionne     }
323b62047bSLouis Dionne 
333b62047bSLouis Dionne     template <typename ForwardIt, typename Generator>
343b62047bSLouis Dionne     void
operator ()run_unique353b62047bSLouis Dionne     operator()(pstl::execution::parallel_unsequenced_policy, ForwardIt first1, ForwardIt last1, ForwardIt first2,
363b62047bSLouis Dionne                ForwardIt last2, Generator generator)
373b62047bSLouis Dionne     {
383b62047bSLouis Dionne     }
393b62047bSLouis Dionne 
403b62047bSLouis Dionne     template <typename ForwardIt, typename BinaryPred, typename Generator>
413b62047bSLouis Dionne     void
operator ()run_unique423b62047bSLouis Dionne     operator()(pstl::execution::unsequenced_policy, ForwardIt first1, ForwardIt last1, ForwardIt first2,
433b62047bSLouis Dionne                ForwardIt last2, BinaryPred pred, Generator generator)
443b62047bSLouis Dionne     {
453b62047bSLouis Dionne     }
463b62047bSLouis Dionne 
473b62047bSLouis Dionne     template <typename ForwardIt, typename BinaryPred, typename Generator>
483b62047bSLouis Dionne     void
operator ()run_unique493b62047bSLouis Dionne     operator()(pstl::execution::parallel_unsequenced_policy, ForwardIt first1, ForwardIt last1, ForwardIt first2,
503b62047bSLouis Dionne                ForwardIt last2, BinaryPred pred, Generator generator)
513b62047bSLouis Dionne     {
523b62047bSLouis Dionne     }
533b62047bSLouis Dionne #endif
543b62047bSLouis Dionne 
553b62047bSLouis Dionne     template <typename Policy, typename ForwardIt, typename Generator>
563b62047bSLouis Dionne     void
operator ()run_unique573b62047bSLouis Dionne     operator()(Policy&& exec, ForwardIt first1, ForwardIt last1, ForwardIt first2, ForwardIt last2, Generator generator)
583b62047bSLouis Dionne     {
593b62047bSLouis Dionne         using namespace std;
603b62047bSLouis Dionne 
613b62047bSLouis Dionne         // Preparation
623b62047bSLouis Dionne         fill_data(first1, last1, generator);
633b62047bSLouis Dionne         fill_data(first2, last2, generator);
643b62047bSLouis Dionne 
653b62047bSLouis Dionne         ForwardIt i = unique(first1, last1);
663b62047bSLouis Dionne         ForwardIt k = unique(exec, first2, last2);
673b62047bSLouis Dionne 
683b62047bSLouis Dionne         auto n = std::distance(first1, i);
693b62047bSLouis Dionne         EXPECT_TRUE(std::distance(first2, k) == n, "wrong return value from unique without predicate");
703b62047bSLouis Dionne         EXPECT_EQ_N(first1, first2, n, "wrong effect from unique without predicate");
713b62047bSLouis Dionne     }
723b62047bSLouis Dionne 
733b62047bSLouis Dionne     template <typename Policy, typename ForwardIt, typename BinaryPred, typename Generator>
743b62047bSLouis Dionne     void
operator ()run_unique753b62047bSLouis Dionne     operator()(Policy&& exec, ForwardIt first1, ForwardIt last1, ForwardIt first2, ForwardIt last2, BinaryPred pred,
763b62047bSLouis Dionne                Generator generator)
773b62047bSLouis Dionne     {
783b62047bSLouis Dionne         using namespace std;
793b62047bSLouis Dionne 
803b62047bSLouis Dionne         // Preparation
813b62047bSLouis Dionne         fill_data(first1, last1, generator);
823b62047bSLouis Dionne         fill_data(first2, last2, generator);
833b62047bSLouis Dionne 
843b62047bSLouis Dionne         ForwardIt i = unique(first1, last1, pred);
853b62047bSLouis Dionne         ForwardIt k = unique(exec, first2, last2, pred);
863b62047bSLouis Dionne 
873b62047bSLouis Dionne         auto n = std::distance(first1, i);
883b62047bSLouis Dionne         EXPECT_TRUE(std::distance(first2, k) == n, "wrong return value from unique with predicate");
893b62047bSLouis Dionne         EXPECT_EQ_N(first1, first2, n, "wrong effect from unique with predicate");
903b62047bSLouis Dionne     }
913b62047bSLouis Dionne };
923b62047bSLouis Dionne 
933b62047bSLouis Dionne template <typename T, typename Generator, typename Predicate>
943b62047bSLouis Dionne void
test(Generator generator,Predicate pred)953b62047bSLouis Dionne test(Generator generator, Predicate pred)
963b62047bSLouis Dionne {
973b62047bSLouis Dionne     const std::size_t max_size = 1000000;
983b62047bSLouis Dionne     Sequence<T> in(max_size, [](size_t v) { return T(v); });
993b62047bSLouis Dionne     Sequence<T> exp(max_size, [](size_t v) { return T(v); });
1003b62047bSLouis Dionne 
1013b62047bSLouis Dionne     for (size_t n = 0; n <= max_size; n = n <= 16 ? n + 1 : size_t(3.1415 * n))
1023b62047bSLouis Dionne     {
1033b62047bSLouis Dionne         invoke_on_all_policies(run_unique(), exp.begin(), exp.begin() + n, in.begin(), in.begin() + n, generator);
1043b62047bSLouis Dionne         invoke_on_all_policies(run_unique(), exp.begin(), exp.begin() + n, in.begin(), in.begin() + n, pred, generator);
1053b62047bSLouis Dionne     }
1063b62047bSLouis Dionne }
1073b62047bSLouis Dionne 
1083b62047bSLouis Dionne template <typename T>
1093b62047bSLouis Dionne struct LocalWrapper
1103b62047bSLouis Dionne {
1113b62047bSLouis Dionne     T my_val;
1123b62047bSLouis Dionne 
LocalWrapperLocalWrapper1133b62047bSLouis Dionne     explicit LocalWrapper(T k) : my_val(k) {}
LocalWrapperLocalWrapper1143b62047bSLouis Dionne     LocalWrapper(LocalWrapper&& input) : my_val(std::move(input.my_val)) {}
1153b62047bSLouis Dionne     LocalWrapper&
operator =LocalWrapper1163b62047bSLouis Dionne     operator=(LocalWrapper&& input)
1173b62047bSLouis Dionne     {
1183b62047bSLouis Dionne         my_val = std::move(input.my_val);
1193b62047bSLouis Dionne         return *this;
1203b62047bSLouis Dionne     }
1213b62047bSLouis Dionne     friend bool
operator ==(const LocalWrapper<T> & x,const LocalWrapper<T> & y)1223b62047bSLouis Dionne     operator==(const LocalWrapper<T>& x, const LocalWrapper<T>& y)
1233b62047bSLouis Dionne     {
1243b62047bSLouis Dionne         return x.my_val == y.my_val;
1253b62047bSLouis Dionne     }
1263b62047bSLouis Dionne };
1273b62047bSLouis Dionne 
1283b62047bSLouis Dionne template <typename T>
1293b62047bSLouis Dionne struct test_non_const
1303b62047bSLouis Dionne {
1313b62047bSLouis Dionne     template <typename Policy, typename Iterator>
1323b62047bSLouis Dionne     void
operator ()test_non_const1333b62047bSLouis Dionne     operator()(Policy&& exec, Iterator iter)
1343b62047bSLouis Dionne     {
1353b62047bSLouis Dionne         invoke_if(exec, [&]() { unique(exec, iter, iter, non_const(std::equal_to<T>())); });
1363b62047bSLouis Dionne     }
1373b62047bSLouis Dionne };
1383b62047bSLouis Dionne 
139249c1c74SLouis Dionne int
main()1403b62047bSLouis Dionne main()
1413b62047bSLouis Dionne {
142*3b9a1bb1SLouis Dionne #if !defined(_PSTL_ICC_16_17_18_TEST_UNIQUE_MASK_RELEASE_BROKEN)
1433b62047bSLouis Dionne     test<int32_t>([](size_t j) { return j / 3; },
1443b62047bSLouis Dionne                   [](const int32_t& val1, const int32_t& val2) { return val1 * val1 == val2 * val2; });
1453b62047bSLouis Dionne     test<float64_t>([](size_t) { return float64_t(1); },
1463b62047bSLouis Dionne                     [](const float64_t& val1, const float64_t& val2) { return val1 != val2; });
1473b62047bSLouis Dionne #endif
1483b62047bSLouis Dionne     test<LocalWrapper<uint32_t>>([](size_t j) { return LocalWrapper<uint32_t>(j); },
1493b62047bSLouis Dionne                                  [](const LocalWrapper<uint32_t>& val1, const LocalWrapper<uint32_t>& val2) {
1503b62047bSLouis Dionne                                      return val1.my_val != val2.my_val;
1513b62047bSLouis Dionne                                  });
1523b62047bSLouis Dionne 
1533b62047bSLouis Dionne     test_algo_basic_single<int32_t>(run_for_rnd_fw<test_non_const<int32_t>>());
1543b62047bSLouis Dionne 
1555b0502dfSDvorskiy, Mikhail     test<MemoryChecker>(
1565b0502dfSDvorskiy, Mikhail         [](std::size_t idx){ return MemoryChecker{std::int32_t(idx / 3)}; },
1575b0502dfSDvorskiy, Mikhail         [](const MemoryChecker& val1, const MemoryChecker& val2){ return val1.value() == val2.value(); });
1585b0502dfSDvorskiy, Mikhail     EXPECT_FALSE(MemoryChecker::alive_objects() < 0, "wrong effect from unique: number of ctors calls < num of dtors calls");
1595b0502dfSDvorskiy, Mikhail     EXPECT_FALSE(MemoryChecker::alive_objects() > 0, "wrong effect from unique: number of ctors calls > num of dtors calls");
1605b0502dfSDvorskiy, Mikhail 
1613b62047bSLouis Dionne     std::cout << done() << std::endl;
1623b62047bSLouis Dionne     return 0;
1633b62047bSLouis Dionne }
164