xref: /llvm-project/pstl/test/std/numerics/numeric.ops/transform_reduce.pass.cpp (revision c4823cc5db69f16bb5c96cf7d1b0d070da83605e)
13b62047bSLouis Dionne // -*- C++ -*-
23b62047bSLouis Dionne //===-- transform_reduce.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 #include "support/pstl_test_config.h"
133b62047bSLouis Dionne 
143b62047bSLouis Dionne #include <execution>
153b62047bSLouis Dionne #include <numeric>
163b62047bSLouis Dionne 
173b62047bSLouis Dionne #include "support/utils.h"
183b62047bSLouis Dionne 
193b62047bSLouis Dionne using namespace TestUtils;
203b62047bSLouis Dionne 
213b62047bSLouis Dionne // Functor for xor-operation for modeling binary operations in inner_product
223b62047bSLouis Dionne class XOR
233b62047bSLouis Dionne {
243b62047bSLouis Dionne   public:
253b62047bSLouis Dionne     template <typename T>
263b62047bSLouis Dionne     T
operator ()(const T & left,const T & right) const273b62047bSLouis Dionne     operator()(const T& left, const T& right) const
283b62047bSLouis Dionne     {
293b62047bSLouis Dionne         return left ^ right;
303b62047bSLouis Dionne     }
313b62047bSLouis Dionne };
323b62047bSLouis Dionne 
333b62047bSLouis Dionne // Model of User-defined class
343b62047bSLouis Dionne class MyClass
353b62047bSLouis Dionne {
363b62047bSLouis Dionne   public:
373b62047bSLouis Dionne     int32_t my_field;
MyClass()383b62047bSLouis Dionne     MyClass() { my_field = 0; }
MyClass(int32_t in)393b62047bSLouis Dionne     MyClass(int32_t in) { my_field = in; }
40*c4823cc5SLouis Dionne     MyClass(const MyClass& in) = default;
413b62047bSLouis Dionne 
423b62047bSLouis Dionne     friend MyClass
operator +(const MyClass & x,const MyClass & y)433b62047bSLouis Dionne     operator+(const MyClass& x, const MyClass& y)
443b62047bSLouis Dionne     {
453b62047bSLouis Dionne         return MyClass(x.my_field + y.my_field);
463b62047bSLouis Dionne     }
473b62047bSLouis Dionne     friend MyClass
operator -(const MyClass & x)483b62047bSLouis Dionne     operator-(const MyClass& x)
493b62047bSLouis Dionne     {
503b62047bSLouis Dionne         return MyClass(-x.my_field);
513b62047bSLouis Dionne     }
operator *(const MyClass & x,const MyClass & y)5226b0a230SLouis Dionne     friend MyClass operator*(const MyClass& x, const MyClass& y)
533b62047bSLouis Dionne     {
5426b0a230SLouis Dionne         return MyClass(x.my_field * y.my_field);
5526b0a230SLouis Dionne     }
operator ==(const MyClass & x,const MyClass & y)5626b0a230SLouis Dionne     friend bool operator==(const MyClass& x, const MyClass& y)
5726b0a230SLouis Dionne     {
5826b0a230SLouis Dionne         return x.my_field == y.my_field;
593b62047bSLouis Dionne     }
603b62047bSLouis Dionne };
613b62047bSLouis Dionne 
623b62047bSLouis Dionne template <typename T>
633b62047bSLouis Dionne void
CheckResults(const T & expected,const T & in)643b62047bSLouis Dionne CheckResults(const T& expected, const T& in)
653b62047bSLouis Dionne {
6626b0a230SLouis Dionne     EXPECT_TRUE(expected == in, "wrong result of transform_reduce");
673b62047bSLouis Dionne }
683b62047bSLouis Dionne 
693b62047bSLouis Dionne // We need to check correctness only for "int" (for example) except cases
703b62047bSLouis Dionne // if we have "floating-point type"-specialization
713b62047bSLouis Dionne void
CheckResults(const float32_t &,const float32_t &)723491119fSLouis Dionne CheckResults(const float32_t&, const float32_t&)
733b62047bSLouis Dionne {
743b62047bSLouis Dionne }
753b62047bSLouis Dionne 
763b62047bSLouis Dionne // Test for different types and operations with different iterators
773b62047bSLouis Dionne struct test_transform_reduce
783b62047bSLouis Dionne {
793b62047bSLouis Dionne     template <typename Policy, typename InputIterator1, typename InputIterator2, typename T, typename BinaryOperation1,
803b62047bSLouis Dionne               typename BinaryOperation2, typename UnaryOp>
813b62047bSLouis Dionne     void
operator ()test_transform_reduce823491119fSLouis Dionne     operator()(Policy&& exec, InputIterator1 first1, InputIterator1 last1, InputIterator2 first2, InputIterator2,
833b62047bSLouis Dionne                T init, BinaryOperation1 opB1, BinaryOperation2 opB2, UnaryOp opU)
843b62047bSLouis Dionne     {
853b62047bSLouis Dionne 
863b62047bSLouis Dionne         auto expectedB = std::inner_product(first1, last1, first2, init, opB1, opB2);
873b62047bSLouis Dionne         auto expectedU = transform_reduce_serial(first1, last1, init, opB1, opU);
883b62047bSLouis Dionne         T resRA = std::transform_reduce(exec, first1, last1, first2, init, opB1, opB2);
893b62047bSLouis Dionne         CheckResults(expectedB, resRA);
903b62047bSLouis Dionne         resRA = std::transform_reduce(exec, first1, last1, init, opB1, opU);
913b62047bSLouis Dionne         CheckResults(expectedU, resRA);
923b62047bSLouis Dionne     }
933b62047bSLouis Dionne };
943b62047bSLouis Dionne 
953b62047bSLouis Dionne template <typename T, typename BinaryOperation1, typename BinaryOperation2, typename UnaryOp, typename Initializer>
963b62047bSLouis Dionne void
test_by_type(T init,BinaryOperation1 opB1,BinaryOperation2 opB2,UnaryOp opU,Initializer initObj)973b62047bSLouis Dionne test_by_type(T init, BinaryOperation1 opB1, BinaryOperation2 opB2, UnaryOp opU, Initializer initObj)
983b62047bSLouis Dionne {
993b62047bSLouis Dionne 
1003b62047bSLouis Dionne     std::size_t maxSize = 100000;
1013b62047bSLouis Dionne     Sequence<T> in1(maxSize, initObj);
1023b62047bSLouis Dionne     Sequence<T> in2(maxSize, initObj);
1033b62047bSLouis Dionne 
1043b62047bSLouis Dionne     for (std::size_t n = 0; n < maxSize; n = n < 16 ? n + 1 : size_t(3.1415 * n))
1053b62047bSLouis Dionne     {
1063b62047bSLouis Dionne         invoke_on_all_policies(test_transform_reduce(), in1.begin(), in1.begin() + n, in2.begin(), in2.begin() + n,
1073b62047bSLouis Dionne                                init, opB1, opB2, opU);
1083b62047bSLouis Dionne         invoke_on_all_policies(test_transform_reduce(), in1.cbegin(), in1.cbegin() + n, in2.cbegin(), in2.cbegin() + n,
1093b62047bSLouis Dionne                                init, opB1, opB2, opU);
1103b62047bSLouis Dionne     }
1113b62047bSLouis Dionne }
1123b62047bSLouis Dionne 
113249c1c74SLouis Dionne int
main()1143b62047bSLouis Dionne main()
1153b62047bSLouis Dionne {
1163b62047bSLouis Dionne     test_by_type<int32_t>(42, std::plus<int32_t>(), std::multiplies<int32_t>(), std::negate<int32_t>(),
1173491119fSLouis Dionne                           [](std::size_t) -> int32_t { return int32_t(rand() % 1000); });
1183b62047bSLouis Dionne     test_by_type<int64_t>(0, [](const int64_t& a, const int64_t& b) -> int64_t { return a | b; }, XOR(),
1193b62047bSLouis Dionne                           [](const int64_t& x) -> int64_t { return x * 2; },
1203491119fSLouis Dionne                           [](std::size_t) -> int64_t { return int64_t(rand() % 1000); });
12101963cecSLouis Dionne     test_by_type<float32_t>(
12201963cecSLouis Dionne         1.0f, std::multiplies<float32_t>(), [](const float32_t& a, const float32_t& b) -> float32_t { return a + b; },
12301963cecSLouis Dionne         [](const float32_t& x) -> float32_t { return x + 2; }, [](std::size_t) -> float32_t { return rand() % 1000; });
1243b62047bSLouis Dionne     test_by_type<MyClass>(MyClass(), std::plus<MyClass>(), std::multiplies<MyClass>(), std::negate<MyClass>(),
1253491119fSLouis Dionne                           [](std::size_t) -> MyClass { return MyClass(rand() % 1000); });
1263b62047bSLouis Dionne 
1273b62047bSLouis Dionne     std::cout << done() << std::endl;
1283b62047bSLouis Dionne     return 0;
1293b62047bSLouis Dionne }
130