xref: /llvm-project/pstl/test/std/numerics/numeric.ops/transform_scan.pass.cpp (revision 3b9a1bb1af90db9472340ef2122d3855eb9ba3fc)
13b62047bSLouis Dionne // -*- C++ -*-
23b62047bSLouis Dionne //===-- transform_scan.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 // Most of the framework required for testing inclusive and exclusive transform-scans is identical,
223b62047bSLouis Dionne // so the tests for both are in this file.  Which is being tested is controlled by the global
233b62047bSLouis Dionne // flag inclusive, which is set to each alternative by main().
243b62047bSLouis Dionne static bool inclusive;
253b62047bSLouis Dionne 
263b62047bSLouis Dionne template <typename Iterator, typename Size, typename T>
273b62047bSLouis Dionne void
check_and_reset(Iterator expected_first,Iterator out_first,Size n,T trash)283b62047bSLouis Dionne check_and_reset(Iterator expected_first, Iterator out_first, Size n, T trash)
293b62047bSLouis Dionne {
303b62047bSLouis Dionne     EXPECT_EQ_N(expected_first, out_first, n,
313b62047bSLouis Dionne                 inclusive ? "wrong result from transform_inclusive_scan"
323b62047bSLouis Dionne                           : "wrong result from transform_exclusive_scan");
333b62047bSLouis Dionne     std::fill_n(out_first, n, trash);
343b62047bSLouis Dionne }
353b62047bSLouis Dionne 
363b62047bSLouis Dionne struct test_transform_scan
373b62047bSLouis Dionne {
383b62047bSLouis Dionne     template <typename Policy, typename InputIterator, typename OutputIterator, typename Size, typename UnaryOp,
393b62047bSLouis Dionne               typename T, typename BinaryOp>
403b62047bSLouis Dionne     typename std::enable_if<!TestUtils::isReverse<InputIterator>::value, void>::type
operator ()test_transform_scan413b62047bSLouis Dionne     operator()(Policy&& exec, InputIterator first, InputIterator last, OutputIterator out_first,
4201963cecSLouis Dionne                OutputIterator out_last, OutputIterator expected_first, OutputIterator, Size n, UnaryOp unary_op, T init,
4301963cecSLouis Dionne                BinaryOp binary_op, T trash)
443b62047bSLouis Dionne     {
453b62047bSLouis Dionne         using namespace std;
463b62047bSLouis Dionne 
4701963cecSLouis Dionne         auto orr1 =
4801963cecSLouis Dionne             inclusive
4901963cecSLouis Dionne                 ? transform_inclusive_scan(std::execution::seq, first, last, expected_first, binary_op, unary_op, init)
5001963cecSLouis Dionne                 : transform_exclusive_scan(std::execution::seq, first, last, expected_first, init, binary_op, unary_op);
513b62047bSLouis Dionne         auto orr2 = inclusive ? transform_inclusive_scan(exec, first, last, out_first, binary_op, unary_op, init)
523b62047bSLouis Dionne                               : transform_exclusive_scan(exec, first, last, out_first, init, binary_op, unary_op);
533b62047bSLouis Dionne         EXPECT_TRUE(out_last == orr2, "transform...scan returned wrong iterator");
543b62047bSLouis Dionne         check_and_reset(expected_first, out_first, n, trash);
553b62047bSLouis Dionne 
563b62047bSLouis Dionne         // Checks inclusive scan if init is not provided
573b62047bSLouis Dionne         if (inclusive && n > 0)
583b62047bSLouis Dionne         {
599d54063cSLouis Dionne             orr1 = transform_inclusive_scan(std::execution::seq, first, last, expected_first, binary_op, unary_op);
603b62047bSLouis Dionne             orr2 = transform_inclusive_scan(exec, first, last, out_first, binary_op, unary_op);
613b62047bSLouis Dionne             EXPECT_TRUE(out_last == orr2, "transform...scan returned wrong iterator");
623b62047bSLouis Dionne             check_and_reset(expected_first, out_first, n, trash);
633b62047bSLouis Dionne         }
643b62047bSLouis Dionne     }
653b62047bSLouis Dionne 
663b62047bSLouis Dionne     template <typename Policy, typename InputIterator, typename OutputIterator, typename Size, typename UnaryOp,
673b62047bSLouis Dionne               typename T, typename BinaryOp>
683b62047bSLouis Dionne     typename std::enable_if<TestUtils::isReverse<InputIterator>::value, void>::type
operator ()test_transform_scan6901963cecSLouis Dionne     operator()(Policy&&, InputIterator, InputIterator, OutputIterator, OutputIterator, OutputIterator, OutputIterator,
7001963cecSLouis Dionne                Size, UnaryOp, T, BinaryOp, T)
713b62047bSLouis Dionne     {
723b62047bSLouis Dionne     }
733b62047bSLouis Dionne };
743b62047bSLouis Dionne 
753b62047bSLouis Dionne const uint32_t encryption_mask = 0x314;
763b62047bSLouis Dionne 
773b62047bSLouis Dionne template <typename InputIterator, typename OutputIterator, typename UnaryOperation, typename T,
783b62047bSLouis Dionne           typename BinaryOperation>
793b62047bSLouis Dionne std::pair<OutputIterator, T>
transform_inclusive_scan_serial(InputIterator first,InputIterator last,OutputIterator result,UnaryOperation unary_op,T init,BinaryOperation binary_op)803b62047bSLouis Dionne transform_inclusive_scan_serial(InputIterator first, InputIterator last, OutputIterator result, UnaryOperation unary_op,
813b62047bSLouis Dionne                                 T init, BinaryOperation binary_op) noexcept
823b62047bSLouis Dionne {
833b62047bSLouis Dionne     for (; first != last; ++first, ++result)
843b62047bSLouis Dionne     {
853b62047bSLouis Dionne         init = binary_op(init, unary_op(*first));
863b62047bSLouis Dionne         *result = init;
873b62047bSLouis Dionne     }
883b62047bSLouis Dionne     return std::make_pair(result, init);
893b62047bSLouis Dionne }
903b62047bSLouis Dionne 
913b62047bSLouis Dionne template <typename InputIterator, typename OutputIterator, typename UnaryOperation, typename T,
923b62047bSLouis Dionne           typename BinaryOperation>
933b62047bSLouis Dionne std::pair<OutputIterator, T>
transform_exclusive_scan_serial(InputIterator first,InputIterator last,OutputIterator result,UnaryOperation unary_op,T init,BinaryOperation binary_op)943b62047bSLouis Dionne transform_exclusive_scan_serial(InputIterator first, InputIterator last, OutputIterator result, UnaryOperation unary_op,
953b62047bSLouis Dionne                                 T init, BinaryOperation binary_op) noexcept
963b62047bSLouis Dionne {
973b62047bSLouis Dionne     for (; first != last; ++first, ++result)
983b62047bSLouis Dionne     {
993b62047bSLouis Dionne         *result = init;
1003b62047bSLouis Dionne         init = binary_op(init, unary_op(*first));
1013b62047bSLouis Dionne     }
1023b62047bSLouis Dionne     return std::make_pair(result, init);
1033b62047bSLouis Dionne }
1043b62047bSLouis Dionne 
1053b62047bSLouis Dionne template <typename In, typename Out, typename UnaryOp, typename BinaryOp>
1063b62047bSLouis Dionne void
test(UnaryOp unary_op,Out init,BinaryOp binary_op,Out trash)1073b62047bSLouis Dionne test(UnaryOp unary_op, Out init, BinaryOp binary_op, Out trash)
1083b62047bSLouis Dionne {
1093b62047bSLouis Dionne     for (size_t n = 0; n <= 100000; n = n <= 16 ? n + 1 : size_t(3.1415 * n))
1103b62047bSLouis Dionne     {
1113b62047bSLouis Dionne         Sequence<In> in(n, [](size_t k) { return In(k ^ encryption_mask); });
1123b62047bSLouis Dionne 
1133b62047bSLouis Dionne         Out tmp = init;
1143b62047bSLouis Dionne         Sequence<Out> expected(n, [&](size_t k) -> Out {
1153b62047bSLouis Dionne             if (inclusive)
1163b62047bSLouis Dionne             {
1173b62047bSLouis Dionne                 tmp = binary_op(tmp, unary_op(in[k]));
1183b62047bSLouis Dionne                 return tmp;
1193b62047bSLouis Dionne             }
1203b62047bSLouis Dionne             else
1213b62047bSLouis Dionne             {
1223b62047bSLouis Dionne                 Out val = tmp;
1233b62047bSLouis Dionne                 tmp = binary_op(tmp, unary_op(in[k]));
1243b62047bSLouis Dionne                 return val;
1253b62047bSLouis Dionne             }
1263b62047bSLouis Dionne         });
1273b62047bSLouis Dionne 
1283b62047bSLouis Dionne         Sequence<Out> out(n, [&](size_t) { return trash; });
1293b62047bSLouis Dionne 
1303b62047bSLouis Dionne         auto result =
1313b62047bSLouis Dionne             inclusive
1323b62047bSLouis Dionne                 ? transform_inclusive_scan_serial(in.cbegin(), in.cend(), out.fbegin(), unary_op, init, binary_op)
1333b62047bSLouis Dionne                 : transform_exclusive_scan_serial(in.cbegin(), in.cend(), out.fbegin(), unary_op, init, binary_op);
1343491119fSLouis Dionne         (void)result;
1353b62047bSLouis Dionne         check_and_reset(expected.begin(), out.begin(), out.size(), trash);
1363b62047bSLouis Dionne 
1373b62047bSLouis Dionne         invoke_on_all_policies(test_transform_scan(), in.begin(), in.end(), out.begin(), out.end(), expected.begin(),
1383b62047bSLouis Dionne                                expected.end(), in.size(), unary_op, init, binary_op, trash);
1393b62047bSLouis Dionne         invoke_on_all_policies(test_transform_scan(), in.cbegin(), in.cend(), out.begin(), out.end(), expected.begin(),
1403b62047bSLouis Dionne                                expected.end(), in.size(), unary_op, init, binary_op, trash);
1413b62047bSLouis Dionne     }
1423b62047bSLouis Dionne }
1433b62047bSLouis Dionne 
1443b62047bSLouis Dionne template <typename In, typename Out, typename UnaryOp, typename BinaryOp>
1453b62047bSLouis Dionne void
test_matrix(UnaryOp unary_op,Out init,BinaryOp binary_op,Out trash)1463b62047bSLouis Dionne test_matrix(UnaryOp unary_op, Out init, BinaryOp binary_op, Out trash)
1473b62047bSLouis Dionne {
1483b62047bSLouis Dionne     for (size_t n = 0; n <= 100000; n = n <= 16 ? n + 1 : size_t(3.1415 * n))
1493b62047bSLouis Dionne     {
1503b62047bSLouis Dionne         Sequence<In> in(n, [](size_t k) { return In(k, k + 1); });
1513b62047bSLouis Dionne 
1523b62047bSLouis Dionne         Sequence<Out> out(n, [&](size_t) { return trash; });
1533b62047bSLouis Dionne         Sequence<Out> expected(n, [&](size_t) { return trash; });
1543b62047bSLouis Dionne 
1553b62047bSLouis Dionne         invoke_on_all_policies(test_transform_scan(), in.begin(), in.end(), out.begin(), out.end(), expected.begin(),
1563b62047bSLouis Dionne                                expected.end(), in.size(), unary_op, init, binary_op, trash);
1573b62047bSLouis Dionne         invoke_on_all_policies(test_transform_scan(), in.cbegin(), in.cend(), out.begin(), out.end(), expected.begin(),
1583b62047bSLouis Dionne                                expected.end(), in.size(), unary_op, init, binary_op, trash);
1593b62047bSLouis Dionne     }
1603b62047bSLouis Dionne }
1613b62047bSLouis Dionne 
162249c1c74SLouis Dionne int
main()1633b62047bSLouis Dionne main()
1643b62047bSLouis Dionne {
1653b62047bSLouis Dionne     for (int32_t mode = 0; mode < 2; ++mode)
1663b62047bSLouis Dionne     {
1673b62047bSLouis Dionne         inclusive = mode != 0;
168*3b9a1bb1SLouis Dionne #if !defined(_PSTL_ICC_19_TEST_SIMD_UDS_WINDOWS_RELEASE_BROKEN)
1693b62047bSLouis Dionne         test_matrix<Matrix2x2<int32_t>, Matrix2x2<int32_t>>([](const Matrix2x2<int32_t> x) { return x; },
1703b62047bSLouis Dionne                                                             Matrix2x2<int32_t>(), multiply_matrix<int32_t>,
1713b62047bSLouis Dionne                                                             Matrix2x2<int32_t>(-666, 666));
1723b62047bSLouis Dionne #endif
1733b62047bSLouis Dionne         test<int32_t, uint32_t>([](int32_t x) { return x++; }, -123, [](int32_t x, int32_t y) { return x + y; }, 666);
1743b62047bSLouis Dionne     }
1753b62047bSLouis Dionne     std::cout << done() << std::endl;
1763b62047bSLouis Dionne     return 0;
1773b62047bSLouis Dionne }
178