xref: /llvm-project/pstl/test/std/algorithms/alg.modifying.operations/transform_binary.pass.cpp (revision b5e896c0493d44c2d9819d584fe2814af7cfd476)
13b62047bSLouis Dionne // -*- C++ -*-
23b62047bSLouis Dionne //===-- transform_binary.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 In1, typename In2, typename Out>
223b62047bSLouis Dionne class TheOperation
233b62047bSLouis Dionne {
243b62047bSLouis Dionne     Out val;
253b62047bSLouis Dionne 
263b62047bSLouis Dionne   public:
TheOperation(Out v)273b62047bSLouis Dionne     TheOperation(Out v) : val(v) {}
283b62047bSLouis Dionne     Out
operator ()(const In1 & x,const In2 & y) const293b62047bSLouis Dionne     operator()(const In1& x, const In2& y) const
303b62047bSLouis Dionne     {
313b62047bSLouis Dionne         return Out(val + x - y);
323b62047bSLouis Dionne     }
333b62047bSLouis Dionne };
343b62047bSLouis Dionne 
353b62047bSLouis Dionne template <typename InputIterator1, typename InputIterator2, typename OutputIterator>
363b62047bSLouis Dionne void
check_and_reset(InputIterator1 first1,InputIterator1 last1,InputIterator2 first2,OutputIterator out_first)373b62047bSLouis Dionne check_and_reset(InputIterator1 first1, InputIterator1 last1, InputIterator2 first2, OutputIterator out_first)
383b62047bSLouis Dionne {
393b62047bSLouis Dionne     typedef typename std::iterator_traits<OutputIterator>::value_type Out;
403b62047bSLouis Dionne     typename std::iterator_traits<OutputIterator>::difference_type k = 0;
413b62047bSLouis Dionne     for (; first1 != last1; ++first1, ++first2, ++out_first, ++k)
423b62047bSLouis Dionne     {
433b62047bSLouis Dionne         // check
443b62047bSLouis Dionne         Out expected = Out(1.5) + *first1 - *first2;
453b62047bSLouis Dionne         Out actual = *out_first;
463b62047bSLouis Dionne         if (std::is_floating_point<Out>::value)
473b62047bSLouis Dionne         {
483b62047bSLouis Dionne             EXPECT_TRUE((expected > actual ? expected - actual : actual - expected) < 1e7,
493b62047bSLouis Dionne                         "wrong value in output sequence");
503b62047bSLouis Dionne         }
513b62047bSLouis Dionne         else
523b62047bSLouis Dionne         {
533b62047bSLouis Dionne             EXPECT_EQ(expected, actual, "wrong value in output sequence");
543b62047bSLouis Dionne         }
553b62047bSLouis Dionne         // reset
563b62047bSLouis Dionne         *out_first = k % 7 != 4 ? 7 * k - 5 : 0;
573b62047bSLouis Dionne     }
583b62047bSLouis Dionne }
593b62047bSLouis Dionne 
603b62047bSLouis Dionne struct test_one_policy
613b62047bSLouis Dionne {
623b62047bSLouis Dionne     template <typename Policy, typename InputIterator1, typename InputIterator2, typename OutputIterator,
633b62047bSLouis Dionne               typename BinaryOp>
643b62047bSLouis Dionne     void
operator ()test_one_policy653491119fSLouis Dionne     operator()(Policy&& exec, InputIterator1 first1, InputIterator1 last1, InputIterator2 first2, InputIterator2,
663491119fSLouis Dionne                OutputIterator out_first, OutputIterator, BinaryOp op)
673b62047bSLouis Dionne     {
683491119fSLouis Dionne         auto result = std::transform(exec, first1, last1, first2, out_first, op);
693491119fSLouis Dionne         (void)result;
703b62047bSLouis Dionne         check_and_reset(first1, last1, first2, out_first);
713b62047bSLouis Dionne     }
723b62047bSLouis Dionne };
733b62047bSLouis Dionne 
743b62047bSLouis Dionne template <typename In1, typename In2, typename Out, typename Predicate>
753b62047bSLouis Dionne void
test(Predicate pred)763b62047bSLouis Dionne test(Predicate pred)
773b62047bSLouis Dionne {
783b62047bSLouis Dionne     for (size_t n = 0; n <= 100000; n = n <= 16 ? n + 1 : size_t(3.1415 * n))
793b62047bSLouis Dionne     {
803b62047bSLouis Dionne         Sequence<In1> in1(n, [](size_t k) { return k % 5 != 1 ? 3 * k - 7 : 0; });
813b62047bSLouis Dionne         Sequence<In2> in2(n, [](size_t k) { return k % 7 != 2 ? 5 * k - 5 : 0; });
823b62047bSLouis Dionne 
833491119fSLouis Dionne         Sequence<Out> out(n, [](size_t) { return -1; });
843b62047bSLouis Dionne 
853b62047bSLouis Dionne         invoke_on_all_policies(test_one_policy(), in1.begin(), in1.end(), in2.begin(), in2.end(), out.begin(),
863b62047bSLouis Dionne                                out.end(), pred);
873b62047bSLouis Dionne         invoke_on_all_policies(test_one_policy(), in1.cbegin(), in1.cend(), in2.cbegin(), in2.cend(), out.begin(),
883b62047bSLouis Dionne                                out.end(), pred);
893b62047bSLouis Dionne     }
903b62047bSLouis Dionne }
913b62047bSLouis Dionne 
923b62047bSLouis Dionne template <typename T>
933b62047bSLouis Dionne struct test_non_const
943b62047bSLouis Dionne {
953b62047bSLouis Dionne     template <typename Policy, typename InputIterator, typename OutputInterator>
963b62047bSLouis Dionne     void
operator ()test_non_const973b62047bSLouis Dionne     operator()(Policy&& exec, InputIterator input_iter, OutputInterator out_iter)
983b62047bSLouis Dionne     {
993b62047bSLouis Dionne         invoke_if(exec, [&]() {
1003b62047bSLouis Dionne             InputIterator input_iter2 = input_iter;
1013b62047bSLouis Dionne             transform(exec, input_iter, input_iter, input_iter2, out_iter, non_const(std::plus<T>()));
1023b62047bSLouis Dionne         });
1033b62047bSLouis Dionne     }
1043b62047bSLouis Dionne };
1053b62047bSLouis Dionne 
106249c1c74SLouis Dionne int
main()1073b62047bSLouis Dionne main()
1083b62047bSLouis Dionne {
1093b62047bSLouis Dionne     //const operator()
1103b62047bSLouis Dionne     test<int32_t, int32_t, int32_t>(TheOperation<int32_t, int32_t, int32_t>(1));
1113b62047bSLouis Dionne     test<float32_t, float32_t, float32_t>(TheOperation<float32_t, float32_t, float32_t>(1.5));
1123b62047bSLouis Dionne     //non-const operator()
1133b62047bSLouis Dionne     test<int32_t, float32_t, float32_t>(non_const(TheOperation<int32_t, float32_t, float32_t>(1.5)));
1143b62047bSLouis Dionne     test<int64_t, float64_t, float32_t>(non_const(TheOperation<int64_t, float64_t, float32_t>(1.5)));
1153b62047bSLouis Dionne     //lambda
1163b62047bSLouis Dionne     test<int8_t, float64_t, int8_t>([](const int8_t& x, const float64_t& y) { return int8_t(int8_t(1.5) + x - y); });
1173b62047bSLouis Dionne 
1183b62047bSLouis Dionne     test_algo_basic_double<int32_t>(run_for_rnd_fw<test_non_const<int32_t>>());
1193b62047bSLouis Dionne 
1203b62047bSLouis Dionne     std::cout << done() << std::endl;
1213b62047bSLouis Dionne     return 0;
1223b62047bSLouis Dionne }
123