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