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