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