xref: /llvm-project/pstl/test/std/algorithms/alg.nonmodifying/adjacent_find.pass.cpp (revision b5e896c0493d44c2d9819d584fe2814af7cfd476)
13b62047bSLouis Dionne // -*- C++ -*-
23b62047bSLouis Dionne //===-- adjacent_find.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 
10*b5e896c0SLouis 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_adjacent_find
223b62047bSLouis Dionne {
233b62047bSLouis Dionne     template <typename Policy, typename Iterator, typename Pred>
243b62047bSLouis Dionne     void
operator ()test_adjacent_find253b62047bSLouis Dionne     operator()(Policy&& exec, Iterator first, Iterator last, Pred pred)
263b62047bSLouis Dionne     {
273b62047bSLouis Dionne         using namespace std;
283b62047bSLouis Dionne 
293b62047bSLouis Dionne         auto k = std::adjacent_find(first, last, pred);
303b62047bSLouis Dionne         auto i = adjacent_find(exec, first, last, pred);
313b62047bSLouis Dionne         EXPECT_TRUE(i == k, "wrong return value from adjacent_find with predicate");
323b62047bSLouis Dionne 
333b62047bSLouis Dionne         i = adjacent_find(exec, first, last);
343b62047bSLouis Dionne         EXPECT_TRUE(i == k, "wrong return value from adjacent_find without predicate");
353b62047bSLouis Dionne     }
363b62047bSLouis Dionne };
373b62047bSLouis Dionne 
383b62047bSLouis Dionne template <typename T>
393b62047bSLouis Dionne void
test_adjacent_find_by_type()403b62047bSLouis Dionne test_adjacent_find_by_type()
413b62047bSLouis Dionne {
423b62047bSLouis Dionne 
433b62047bSLouis Dionne     size_t counts[] = {2, 3, 500};
445c4c4431SLouis Dionne     for (size_t c = 0; c < const_size(counts); ++c)
453b62047bSLouis Dionne     {
463b62047bSLouis Dionne 
475c4c4431SLouis Dionne         for (size_t e = 0; e < (counts[c] >= 64 ? 64 : (counts[c] == 2 ? 1 : 2)); ++e)
483b62047bSLouis Dionne         {
495c4c4431SLouis Dionne             Sequence<T> in(counts[c], [](size_t v) -> T { return T(v); }); //fill 0...n
503b62047bSLouis Dionne             in[e] = in[e + 1] = -1;                                        //make an adjacent pair
513b62047bSLouis Dionne 
523b62047bSLouis Dionne             auto i = std::adjacent_find(in.cbegin(), in.cend(), std::equal_to<T>());
533b62047bSLouis Dionne             EXPECT_TRUE(i == in.cbegin() + e, "std::adjacent_find returned wrong result");
543b62047bSLouis Dionne 
553b62047bSLouis Dionne             invoke_on_all_policies(test_adjacent_find(), in.begin(), in.end(), std::equal_to<T>());
563b62047bSLouis Dionne             invoke_on_all_policies(test_adjacent_find(), in.cbegin(), in.cend(), std::equal_to<T>());
573b62047bSLouis Dionne         }
583b62047bSLouis Dionne     }
593b62047bSLouis Dionne 
603b62047bSLouis Dionne     //special cases: size=0, size=1;
615c4c4431SLouis Dionne     for (size_t expect = 0; expect < 1; ++expect)
623b62047bSLouis Dionne     {
635c4c4431SLouis Dionne         Sequence<T> in(expect, [](size_t v) -> T { return T(v); }); //fill 0...n
643b62047bSLouis Dionne         auto i = std::adjacent_find(in.cbegin(), in.cend(), std::equal_to<T>());
653b62047bSLouis Dionne         EXPECT_TRUE(i == in.cbegin() + expect, "std::adjacent_find returned wrong result");
663b62047bSLouis Dionne 
673b62047bSLouis Dionne         invoke_on_all_policies(test_adjacent_find(), in.begin(), in.end(), std::equal_to<T>());
683b62047bSLouis Dionne         invoke_on_all_policies(test_adjacent_find(), in.cbegin(), in.cend(), std::equal_to<T>());
693b62047bSLouis Dionne     }
703b62047bSLouis Dionne 
713b62047bSLouis Dionne     //special cases:
723b62047bSLouis Dionne     Sequence<T> a1 = {5, 5, 5, 6, 7, 8, 9};
733b62047bSLouis Dionne     invoke_on_all_policies(test_adjacent_find(), a1.begin(), a1.end(), std::equal_to<T>());
743b62047bSLouis Dionne     invoke_on_all_policies(test_adjacent_find(), a1.begin() + 1, a1.end(), std::equal_to<T>());
753b62047bSLouis Dionne 
763b62047bSLouis Dionne     invoke_on_all_policies(test_adjacent_find(), a1.cbegin(), a1.cend(), std::equal_to<T>());
773b62047bSLouis Dionne     invoke_on_all_policies(test_adjacent_find(), a1.cbegin() + 1, a1.cend(), std::equal_to<T>());
783b62047bSLouis Dionne 
793b62047bSLouis Dionne     Sequence<T> a2 = {5, 6, 7, 8, 9, 9};
803b62047bSLouis Dionne     invoke_on_all_policies(test_adjacent_find(), a2.begin(), a2.end(), std::equal_to<T>());
813b62047bSLouis Dionne     invoke_on_all_policies(test_adjacent_find(), a2.begin(), a2.end() - 1, std::equal_to<T>());
823b62047bSLouis Dionne 
833b62047bSLouis Dionne     invoke_on_all_policies(test_adjacent_find(), a2.cbegin(), a2.cend(), std::equal_to<T>());
843b62047bSLouis Dionne     invoke_on_all_policies(test_adjacent_find(), a2.cbegin(), a2.cend() - 1, std::equal_to<T>());
853b62047bSLouis Dionne 
863b62047bSLouis Dionne     Sequence<T> a3 = {5, 6, 6, 6, 7, 9, 9, 9, 9};
873b62047bSLouis Dionne     invoke_on_all_policies(test_adjacent_find(), a3.begin(), a3.end(), std::equal_to<T>());
883b62047bSLouis Dionne 
893b62047bSLouis Dionne     invoke_on_all_policies(test_adjacent_find(), a3.cbegin(), a3.cend(), std::equal_to<T>());
903b62047bSLouis Dionne }
913b62047bSLouis Dionne 
923b62047bSLouis Dionne template <typename T>
933b62047bSLouis Dionne struct test_non_const
943b62047bSLouis Dionne {
953b62047bSLouis Dionne     template <typename Policy, typename Iterator>
963b62047bSLouis Dionne     void
operator ()test_non_const973b62047bSLouis Dionne     operator()(Policy&& exec, Iterator iter)
983b62047bSLouis Dionne     {
993b62047bSLouis Dionne         adjacent_find(exec, iter, iter, non_const(std::equal_to<T>()));
1003b62047bSLouis Dionne     }
1013b62047bSLouis Dionne };
1023b62047bSLouis Dionne 
103249c1c74SLouis Dionne int
main()1043b62047bSLouis Dionne main()
1053b62047bSLouis Dionne {
1063b62047bSLouis Dionne 
1073b62047bSLouis Dionne     test_adjacent_find_by_type<int32_t>();
1083b62047bSLouis Dionne     test_adjacent_find_by_type<float64_t>();
1093b62047bSLouis Dionne 
1103b62047bSLouis Dionne     test_algo_basic_single<int32_t>(run_for_rnd_bi<test_non_const<int32_t>>());
1113b62047bSLouis Dionne 
1123b62047bSLouis Dionne     std::cout << done() << std::endl;
1133b62047bSLouis Dionne     return 0;
1143b62047bSLouis Dionne }
115