13b62047bSLouis Dionne // -*- C++ -*-
23b62047bSLouis Dionne //===-- count.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 // Tests for count and count_if
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 test_count
233b62047bSLouis Dionne {
243b62047bSLouis Dionne template <typename Policy, typename Iterator, typename T>
253b62047bSLouis Dionne void
operator ()test_count263b62047bSLouis Dionne operator()(Policy&& exec, Iterator first, Iterator last, T needle)
273b62047bSLouis Dionne {
283b62047bSLouis Dionne auto expected = std::count(first, last, needle);
293b62047bSLouis Dionne auto result = std::count(exec, first, last, needle);
303b62047bSLouis Dionne EXPECT_EQ(expected, result, "wrong count result");
313b62047bSLouis Dionne }
323b62047bSLouis Dionne };
333b62047bSLouis Dionne
343b62047bSLouis Dionne struct test_count_if
353b62047bSLouis Dionne {
363b62047bSLouis Dionne template <typename Policy, typename Iterator, typename Predicate>
373b62047bSLouis Dionne void
operator ()test_count_if383b62047bSLouis Dionne operator()(Policy&& exec, Iterator first, Iterator last, Predicate pred)
393b62047bSLouis Dionne {
403b62047bSLouis Dionne auto expected = std::count_if(first, last, pred);
413b62047bSLouis Dionne auto result = std::count_if(exec, first, last, pred);
423b62047bSLouis Dionne EXPECT_EQ(expected, result, "wrong count_if result");
433b62047bSLouis Dionne }
443b62047bSLouis Dionne };
453b62047bSLouis Dionne
463b62047bSLouis Dionne template <typename T>
473b62047bSLouis Dionne class IsEqual
483b62047bSLouis Dionne {
493b62047bSLouis Dionne T value;
503b62047bSLouis Dionne
513b62047bSLouis Dionne public:
IsEqual(T value_,OddTag)523b62047bSLouis Dionne IsEqual(T value_, OddTag) : value(value_) {}
533b62047bSLouis Dionne bool
operator ()(const T & x) const543b62047bSLouis Dionne operator()(const T& x) const
553b62047bSLouis Dionne {
563b62047bSLouis Dionne return x == value;
573b62047bSLouis Dionne }
583b62047bSLouis Dionne };
593b62047bSLouis Dionne
603b62047bSLouis Dionne template <typename In, typename T, typename Predicate, typename Convert>
613b62047bSLouis Dionne void
test(T needle,Predicate pred,Convert convert)623b62047bSLouis Dionne test(T needle, Predicate pred, Convert convert)
633b62047bSLouis Dionne {
643b62047bSLouis Dionne // Try sequences of various lengths.
653b62047bSLouis Dionne for (size_t n = 0; n <= 100000; n = n <= 16 ? n + 1 : size_t(3.1415 * n))
663b62047bSLouis Dionne {
673b62047bSLouis Dionne Sequence<In> in(n, [=](size_t k) -> In {
683b62047bSLouis Dionne // Sprinkle "42" and "50" early, so that short sequences have non-zero count.
693b62047bSLouis Dionne return convert((n - k - 1) % 3 == 0 ? 42 : (n - k - 2) % 5 == 0 ? 50 : 3 * (int(k) % 1000 - 500));
703b62047bSLouis Dionne });
713b62047bSLouis Dionne invoke_on_all_policies(test_count(), in.begin(), in.end(), needle);
723b62047bSLouis Dionne invoke_on_all_policies(test_count_if(), in.begin(), in.end(), pred);
733b62047bSLouis Dionne
743b62047bSLouis Dionne invoke_on_all_policies(test_count(), in.cbegin(), in.cend(), needle);
753b62047bSLouis Dionne invoke_on_all_policies(test_count_if(), in.cbegin(), in.cend(), pred);
763b62047bSLouis Dionne }
773b62047bSLouis Dionne }
783b62047bSLouis Dionne
793b62047bSLouis Dionne struct test_non_const
803b62047bSLouis Dionne {
813b62047bSLouis Dionne template <typename Policy, typename Iterator>
823b62047bSLouis Dionne void
operator ()test_non_const833b62047bSLouis Dionne operator()(Policy&& exec, Iterator iter)
843b62047bSLouis Dionne {
853b62047bSLouis Dionne auto is_even = [&](float64_t v) {
863b62047bSLouis Dionne uint32_t i = (uint32_t)v;
873b62047bSLouis Dionne return i % 2 == 0;
883b62047bSLouis Dionne };
893b62047bSLouis Dionne count_if(exec, iter, iter, non_const(is_even));
903b62047bSLouis Dionne }
913b62047bSLouis Dionne };
923b62047bSLouis Dionne
93249c1c74SLouis Dionne int
main()943b62047bSLouis Dionne main()
953b62047bSLouis Dionne {
963b62047bSLouis Dionne test<int32_t>(42, IsEqual<int32_t>(50, OddTag()), [](int32_t j) { return j; });
97*3b9a1bb1SLouis Dionne #if !defined(_PSTL_ICC_16_17_TEST_REDUCTION_RELEASE_BROKEN)
983491119fSLouis Dionne test<int32_t>(42, [](const int32_t&) { return true; }, [](int32_t j) { return j; });
993b62047bSLouis Dionne #endif
1003b62047bSLouis Dionne test<float64_t>(42, IsEqual<float64_t>(50, OddTag()), [](int32_t j) { return float64_t(j); });
1013b62047bSLouis Dionne test<Number>(Number(42, OddTag()), IsEqual<Number>(Number(50, OddTag()), OddTag()),
1023b62047bSLouis Dionne [](int32_t j) { return Number(j, OddTag()); });
1033b62047bSLouis Dionne
1043b62047bSLouis Dionne test_algo_basic_single<int32_t>(run_for_rnd_fw<test_non_const>());
1053b62047bSLouis Dionne
1063b62047bSLouis Dionne std::cout << done() << std::endl;
1073b62047bSLouis Dionne return 0;
1083b62047bSLouis Dionne }
109