xref: /llvm-project/pstl/test/std/algorithms/alg.merge/inplace_merge.pass.cpp (revision 3b9a1bb1af90db9472340ef2122d3855eb9ba3fc)
13b62047bSLouis Dionne // -*- C++ -*-
23b62047bSLouis Dionne //===-- inplace_merge.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 <execution>
153b62047bSLouis Dionne #include <algorithm>
163b62047bSLouis Dionne 
173b62047bSLouis Dionne #include "support/utils.h"
183b62047bSLouis Dionne 
193b62047bSLouis Dionne using namespace TestUtils;
203b62047bSLouis Dionne 
213b62047bSLouis Dionne struct test_one_policy
223b62047bSLouis Dionne {
23*3b9a1bb1SLouis Dionne #if defined(_PSTL_ICC_17_VC141_TEST_SIMD_LAMBDA_DEBUG_32_BROKEN) ||                                                             \
24*3b9a1bb1SLouis Dionne     defined(_PSTL_ICC_16_VC14_TEST_SIMD_LAMBDA_DEBUG_32_BROKEN) // dummy specialization by policy type, in case of broken configuration
253b62047bSLouis Dionne     template <typename BiDirIt1, typename Size, typename Generator1, typename Generator2, typename Compare>
263b62047bSLouis Dionne     void
operator ()test_one_policy273b62047bSLouis Dionne     operator()(pstl::execution::unsequenced_policy, BiDirIt1 first1, BiDirIt1 last1, BiDirIt1 first2, BiDirIt1 last2,
283b62047bSLouis Dionne                Size n, Size m, Generator1 generator1, Generator2 generator2, Compare comp)
293b62047bSLouis Dionne     {
303b62047bSLouis Dionne     }
313b62047bSLouis Dionne 
323b62047bSLouis Dionne     template <typename BiDirIt1, typename Size, typename Generator1, typename Generator2, typename Compare>
333b62047bSLouis Dionne     void
operator ()test_one_policy343b62047bSLouis Dionne     operator()(pstl::execution::parallel_unsequenced_policy, BiDirIt1 first1, BiDirIt1 last1, BiDirIt1 first2,
353b62047bSLouis Dionne                BiDirIt1 last2, Size n, Size m, Generator1 generator1, Generator2 generator2, Compare comp)
363b62047bSLouis Dionne     {
373b62047bSLouis Dionne     }
383b62047bSLouis Dionne #endif
393b62047bSLouis Dionne 
403b62047bSLouis Dionne     // inplace_merge works with bidirectional iterators at least
413b62047bSLouis Dionne     template <typename Policy, typename BiDirIt1, typename Size, typename Generator1, typename Generator2,
423b62047bSLouis Dionne               typename Compare>
433b62047bSLouis Dionne     typename std::enable_if<!is_same_iterator_category<BiDirIt1, std::forward_iterator_tag>::value, void>::type
operator ()test_one_policy443b62047bSLouis Dionne     operator()(Policy&& exec, BiDirIt1 first1, BiDirIt1 last1, BiDirIt1 first2, BiDirIt1 last2, Size n, Size m,
453b62047bSLouis Dionne                Generator1 generator1, Generator2 generator2, Compare comp)
463b62047bSLouis Dionne     {
473b62047bSLouis Dionne         const BiDirIt1 mid1 = std::next(first1, m);
483b62047bSLouis Dionne         fill_data(first1, mid1, generator1);
493b62047bSLouis Dionne         fill_data(mid1, last1, generator2);
503b62047bSLouis Dionne 
513b62047bSLouis Dionne         const BiDirIt1 mid2 = std::next(first2, m);
523b62047bSLouis Dionne         fill_data(first2, mid2, generator1);
533b62047bSLouis Dionne         fill_data(mid2, last2, generator2);
543b62047bSLouis Dionne 
553b62047bSLouis Dionne         std::inplace_merge(first1, mid1, last1, comp);
563b62047bSLouis Dionne         std::inplace_merge(exec, first2, mid2, last2, comp);
573b62047bSLouis Dionne         EXPECT_EQ_N(first1, first2, n, "wrong effect from inplace_merge with predicate");
583b62047bSLouis Dionne     }
593b62047bSLouis Dionne 
603b62047bSLouis Dionne     template <typename Policy, typename BiDirIt1, typename Size, typename Generator1, typename Generator2,
613b62047bSLouis Dionne               typename Compare>
623b62047bSLouis Dionne     typename std::enable_if<is_same_iterator_category<BiDirIt1, std::forward_iterator_tag>::value, void>::type
operator ()test_one_policy6301963cecSLouis Dionne     operator()(Policy&&, BiDirIt1, BiDirIt1, BiDirIt1, BiDirIt1, Size, Size, Generator1, Generator2, Compare)
643b62047bSLouis Dionne     {
653b62047bSLouis Dionne     }
663b62047bSLouis Dionne };
673b62047bSLouis Dionne 
683b62047bSLouis Dionne template <typename T, typename Generator1, typename Generator2, typename Compare>
693b62047bSLouis Dionne void
test_by_type(Generator1 generator1,Generator2 generator2,Compare comp)703b62047bSLouis Dionne test_by_type(Generator1 generator1, Generator2 generator2, Compare comp)
713b62047bSLouis Dionne {
723b62047bSLouis Dionne     using namespace std;
733b62047bSLouis Dionne     size_t max_size = 100000;
743b62047bSLouis Dionne     Sequence<T> in1(max_size, [](size_t v) { return T(v); });
753b62047bSLouis Dionne     Sequence<T> exp(max_size, [](size_t v) { return T(v); });
763b62047bSLouis Dionne     size_t m;
773b62047bSLouis Dionne 
783b62047bSLouis Dionne     for (size_t n = 0; n <= max_size; n = n <= 16 ? n + 1 : size_t(3.1415 * n))
793b62047bSLouis Dionne     {
803b62047bSLouis Dionne         m = 0;
813b62047bSLouis Dionne         invoke_on_all_policies(test_one_policy(), in1.begin(), in1.begin() + n, exp.begin(), exp.begin() + n, n, m,
823b62047bSLouis Dionne                                generator1, generator2, comp);
833b62047bSLouis Dionne 
843b62047bSLouis Dionne         m = n / 3;
853b62047bSLouis Dionne         invoke_on_all_policies(test_one_policy(), in1.begin(), in1.begin() + n, exp.begin(), exp.begin() + n, n, m,
863b62047bSLouis Dionne                                generator1, generator2, comp);
873b62047bSLouis Dionne 
883b62047bSLouis Dionne         m = 2 * n / 3;
893b62047bSLouis Dionne         invoke_on_all_policies(test_one_policy(), in1.begin(), in1.begin() + n, exp.begin(), exp.begin() + n, n, m,
903b62047bSLouis Dionne                                generator1, generator2, comp);
913b62047bSLouis Dionne     }
923b62047bSLouis Dionne }
933b62047bSLouis Dionne 
943b62047bSLouis Dionne template <typename T>
953b62047bSLouis Dionne struct LocalWrapper
963b62047bSLouis Dionne {
LocalWrapperLocalWrapper973b62047bSLouis Dionne     explicit LocalWrapper(int32_t k) : my_val(k) {}
LocalWrapperLocalWrapper983b62047bSLouis Dionne     LocalWrapper(LocalWrapper&& input) { my_val = std::move(input.my_val); }
993b62047bSLouis Dionne     LocalWrapper&
operator =LocalWrapper1003b62047bSLouis Dionne     operator=(LocalWrapper&& input)
1013b62047bSLouis Dionne     {
1023b62047bSLouis Dionne         my_val = std::move(input.my_val);
1033b62047bSLouis Dionne         return *this;
1043b62047bSLouis Dionne     }
1053b62047bSLouis Dionne     bool
operator <LocalWrapper1063b62047bSLouis Dionne     operator<(const LocalWrapper<T>& w) const
1073b62047bSLouis Dionne     {
1083b62047bSLouis Dionne         return my_val < w.my_val;
1093b62047bSLouis Dionne     }
1103b62047bSLouis Dionne     friend bool
operator ==(const LocalWrapper<T> & x,const LocalWrapper<T> & y)1113b62047bSLouis Dionne     operator==(const LocalWrapper<T>& x, const LocalWrapper<T>& y)
1123b62047bSLouis Dionne     {
1133b62047bSLouis Dionne         return x.my_val == y.my_val;
1143b62047bSLouis Dionne     }
1153b62047bSLouis Dionne     friend std::ostream&
operator <<(std::ostream & stream,const LocalWrapper<T> & input)1163b62047bSLouis Dionne     operator<<(std::ostream& stream, const LocalWrapper<T>& input)
1173b62047bSLouis Dionne     {
1183b62047bSLouis Dionne         return stream << input.my_val;
1193b62047bSLouis Dionne     }
1203b62047bSLouis Dionne 
1213b62047bSLouis Dionne   private:
1223b62047bSLouis Dionne     T my_val;
1233b62047bSLouis Dionne };
1243b62047bSLouis Dionne 
1253b62047bSLouis Dionne template <typename T>
1263b62047bSLouis Dionne struct test_non_const
1273b62047bSLouis Dionne {
1283b62047bSLouis Dionne     template <typename Policy, typename Iterator>
1293b62047bSLouis Dionne     void
operator ()test_non_const1303b62047bSLouis Dionne     operator()(Policy&& exec, Iterator iter)
1313b62047bSLouis Dionne     {
1323b62047bSLouis Dionne         invoke_if(exec, [&]() { inplace_merge(exec, iter, iter, iter, non_const(std::less<T>())); });
1333b62047bSLouis Dionne     }
1343b62047bSLouis Dionne };
1353b62047bSLouis Dionne 
136249c1c74SLouis Dionne int
main()1373b62047bSLouis Dionne main()
1383b62047bSLouis Dionne {
1393b62047bSLouis Dionne     test_by_type<float64_t>([](int32_t i) { return -2 * i; }, [](int32_t i) { return -(2 * i + 1); },
1403b62047bSLouis Dionne                             [](const float64_t x, const float64_t y) { return x > y; });
1413b62047bSLouis Dionne 
1423b62047bSLouis Dionne     test_by_type<int32_t>([](int32_t i) { return 10 * i; }, [](int32_t i) { return i + 1; }, std::less<int32_t>());
1433b62047bSLouis Dionne 
1443b62047bSLouis Dionne     test_by_type<LocalWrapper<float32_t>>([](int32_t i) { return LocalWrapper<float32_t>(2 * i + 1); },
1453b62047bSLouis Dionne                                           [](int32_t i) { return LocalWrapper<float32_t>(2 * i); },
1463b62047bSLouis Dionne                                           std::less<LocalWrapper<float32_t>>());
1473b62047bSLouis Dionne 
1483b62047bSLouis Dionne     test_algo_basic_single<int32_t>(run_for_rnd_bi<test_non_const<int32_t>>());
1493b62047bSLouis Dionne 
1505b0502dfSDvorskiy, Mikhail     test_by_type<MemoryChecker>(
1515b0502dfSDvorskiy, Mikhail         [](std::size_t idx){ return MemoryChecker{std::int32_t(idx * 2)}; },
1525b0502dfSDvorskiy, Mikhail         [](std::size_t idx){ return MemoryChecker{std::int32_t(idx * 2 + 1)}; },
1535b0502dfSDvorskiy, Mikhail         [](const MemoryChecker& val1, const MemoryChecker& val2){ return val1.value() == val2.value(); });
1545b0502dfSDvorskiy, Mikhail     EXPECT_FALSE(MemoryChecker::alive_objects() < 0, "wrong effect from inplace_merge: number of ctors calls < num of dtors calls");
1555b0502dfSDvorskiy, Mikhail     EXPECT_FALSE(MemoryChecker::alive_objects() > 0, "wrong effect from inplace_merge: number of ctors calls > num of dtors calls");
1565b0502dfSDvorskiy, Mikhail 
1573b62047bSLouis Dionne     std::cout << done() << std::endl;
1583b62047bSLouis Dionne     return 0;
1593b62047bSLouis Dionne }
160