xref: /llvm-project/pstl/test/std/algorithms/alg.nonmodifying/for_each.pass.cpp (revision b5e896c0493d44c2d9819d584fe2814af7cfd476)
13b62047bSLouis Dionne // -*- C++ -*-
23b62047bSLouis Dionne //===-- for_each.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 template <typename Type>
223b62047bSLouis Dionne struct Gen
233b62047bSLouis Dionne {
243b62047bSLouis Dionne     Type
operator ()Gen253b62047bSLouis Dionne     operator()(std::size_t k)
263b62047bSLouis Dionne     {
273b62047bSLouis Dionne         return Type(k % 5 != 1 ? 3 * k - 7 : 0);
283b62047bSLouis Dionne     };
293b62047bSLouis Dionne };
303b62047bSLouis Dionne 
313b62047bSLouis Dionne template <typename T>
323b62047bSLouis Dionne struct Flip
333b62047bSLouis Dionne {
343b62047bSLouis Dionne     int32_t val;
FlipFlip353b62047bSLouis Dionne     Flip(int32_t y) : val(y) {}
363b62047bSLouis Dionne     T
operator ()Flip373b62047bSLouis Dionne     operator()(T& x) const
383b62047bSLouis Dionne     {
393b62047bSLouis Dionne         return x = val - x;
403b62047bSLouis Dionne     }
413b62047bSLouis Dionne };
423b62047bSLouis Dionne 
433b62047bSLouis Dionne struct test_one_policy
443b62047bSLouis Dionne {
453b62047bSLouis Dionne     template <typename Policy, typename Iterator, typename Size>
463b62047bSLouis Dionne     void
operator ()test_one_policy473b62047bSLouis Dionne     operator()(Policy&& exec, Iterator first, Iterator last, Iterator expected_first, Iterator expected_last, Size n)
483b62047bSLouis Dionne     {
493b62047bSLouis Dionne         typedef typename std::iterator_traits<Iterator>::value_type T;
503b62047bSLouis Dionne 
513b62047bSLouis Dionne         // Try for_each
523b62047bSLouis Dionne         std::for_each(expected_first, expected_last, Flip<T>(1));
533b62047bSLouis Dionne         for_each(exec, first, last, Flip<T>(1));
543b62047bSLouis Dionne         EXPECT_EQ_N(expected_first, first, n, "wrong effect from for_each");
553b62047bSLouis Dionne 
563b62047bSLouis Dionne         // Try for_each_n
579d54063cSLouis Dionne         std::for_each_n(std::execution::seq, expected_first, n, Flip<T>(1));
583b62047bSLouis Dionne         for_each_n(exec, first, n, Flip<T>(1));
593b62047bSLouis Dionne         EXPECT_EQ_N(expected_first, first, n, "wrong effect from for_each_n");
603b62047bSLouis Dionne     }
613b62047bSLouis Dionne };
623b62047bSLouis Dionne 
633b62047bSLouis Dionne template <typename T>
643b62047bSLouis Dionne void
test()653b62047bSLouis Dionne test()
663b62047bSLouis Dionne {
673b62047bSLouis Dionne     for (size_t n = 0; n <= 100000; n = n <= 16 ? n + 1 : size_t(3.1415 * n))
683b62047bSLouis Dionne     {
693b62047bSLouis Dionne         Sequence<T> inout(n, Gen<T>());
703b62047bSLouis Dionne         Sequence<T> expected(n, Gen<T>());
713b62047bSLouis Dionne         invoke_on_all_policies(test_one_policy(), inout.begin(), inout.end(), expected.begin(), expected.end(),
723b62047bSLouis Dionne                                inout.size());
733b62047bSLouis Dionne     }
743b62047bSLouis Dionne }
753b62047bSLouis Dionne 
763b62047bSLouis Dionne struct test_non_const
773b62047bSLouis Dionne {
783b62047bSLouis Dionne     template <typename Policy, typename Iterator>
793b62047bSLouis Dionne     void
operator ()test_non_const803b62047bSLouis Dionne     operator()(Policy&& exec, Iterator iter)
813b62047bSLouis Dionne     {
823b62047bSLouis Dionne         invoke_if(exec, [&]() {
833b62047bSLouis Dionne             auto f = [](typename std::iterator_traits<Iterator>::reference x) { x = x + 1; };
843b62047bSLouis Dionne 
853b62047bSLouis Dionne             for_each(exec, iter, iter, non_const(f));
863b62047bSLouis Dionne             for_each_n(exec, iter, 0, non_const(f));
873b62047bSLouis Dionne         });
883b62047bSLouis Dionne     }
893b62047bSLouis Dionne };
903b62047bSLouis Dionne 
91249c1c74SLouis Dionne int
main()923b62047bSLouis Dionne main()
933b62047bSLouis Dionne {
943b62047bSLouis Dionne     test<int32_t>();
953b62047bSLouis Dionne     test<uint16_t>();
963b62047bSLouis Dionne     test<float64_t>();
973b62047bSLouis Dionne 
983b62047bSLouis Dionne     test_algo_basic_single<int32_t>(run_for_rnd_fw<test_non_const>());
993b62047bSLouis Dionne 
1003b62047bSLouis Dionne     std::cout << done() << std::endl;
1013b62047bSLouis Dionne     return 0;
1023b62047bSLouis Dionne }
103