| 1 | // -*- C++ -*- |
| 2 | //===-- reverse.pass.cpp --------------------------------------------------===// |
| 3 | // |
| 4 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| 5 | // See https://llvm.org/LICENSE.txt for license information. |
| 6 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | |
| 10 | // UNSUPPORTED: c++03, c++11, c++14 |
| 11 | |
| 12 | #include "support/pstl_test_config.h" |
| 13 | |
| 14 | #include <iterator> |
| 15 | #include <execution> |
| 16 | #include <algorithm> |
| 17 | |
| 18 | #include "support/utils.h" |
| 19 | |
| 20 | using namespace TestUtils; |
| 21 | |
| 22 | struct test_one_policy |
| 23 | { |
| 24 | #if defined(_PSTL_ICC_18_VC141_TEST_SIMD_LAMBDA_RELEASE_BROKEN) || defined(_PSTL_ICC_17_VC141_TEST_SIMD_LAMBDA_DEBUG_32_BROKEN) || \ |
| 25 | defined(_PSTL_ICC_16_VC14_TEST_SIMD_LAMBDA_DEBUG_32_BROKEN) // dummy specialization by policy type, in case of broken configuration |
| 26 | template <typename Iterator1, typename Iterator2> |
| 27 | typename std::enable_if<is_same_iterator_category<Iterator1, std::random_access_iterator_tag>::value, void>::type |
| 28 | operator()(pstl::execution::unsequenced_policy, Iterator1 data_b, Iterator1 data_e, Iterator2 actual_b, |
| 29 | Iterator2 actual_e) |
| 30 | { |
| 31 | } |
| 32 | template <typename Iterator1, typename Iterator2> |
| 33 | typename std::enable_if<is_same_iterator_category<Iterator1, std::random_access_iterator_tag>::value, void>::type |
| 34 | operator()(pstl::execution::parallel_unsequenced_policy, Iterator1 data_b, Iterator1 data_e, Iterator2 actual_b, |
| 35 | Iterator2 actual_e) |
| 36 | { |
| 37 | } |
| 38 | #endif |
| 39 | |
| 40 | template <typename ExecutionPolicy, typename Iterator1, typename Iterator2> |
| 41 | typename std::enable_if<!is_same_iterator_category<Iterator1, std::forward_iterator_tag>::value>::type |
| 42 | operator()(ExecutionPolicy&& exec, Iterator1 data_b, Iterator1 data_e, Iterator2 actual_b, Iterator2 actual_e) |
| 43 | { |
| 44 | using namespace std; |
| 45 | |
| 46 | copy(data_b, data_e, actual_b); |
| 47 | |
| 48 | reverse(exec, actual_b, actual_e); |
| 49 | |
| 50 | bool check = equal(data_b, data_e, reverse_iterator<Iterator2>(actual_e)); |
| 51 | |
| 52 | EXPECT_TRUE(check, "wrong result of reverse" ); |
| 53 | } |
| 54 | |
| 55 | template <typename ExecutionPolicy, typename Iterator1, typename Iterator2> |
| 56 | typename std::enable_if<is_same_iterator_category<Iterator1, std::forward_iterator_tag>::value>::type |
| 57 | operator()(ExecutionPolicy&&, Iterator1, Iterator1, Iterator2, Iterator2) |
| 58 | { |
| 59 | } |
| 60 | }; |
| 61 | |
| 62 | template <typename T> |
| 63 | void |
| 64 | test() |
| 65 | { |
| 66 | const std::size_t max_len = 100000; |
| 67 | |
| 68 | Sequence<T> actual(max_len); |
| 69 | |
| 70 | Sequence<T> data(max_len, [](std::size_t i) { return T(i); }); |
| 71 | |
| 72 | for (std::size_t len = 0; len < max_len; len = len <= 16 ? len + 1 : std::size_t(3.1415 * len)) |
| 73 | { |
| 74 | invoke_on_all_policies(test_one_policy(), data.begin(), data.begin() + len, actual.begin(), |
| 75 | actual.begin() + len); |
| 76 | } |
| 77 | } |
| 78 | |
| 79 | template <typename T> |
| 80 | struct wrapper |
| 81 | { |
| 82 | T t; |
| 83 | wrapper() {} |
| 84 | explicit wrapper(T t_) : t(t_) {} |
| 85 | bool |
| 86 | operator==(const wrapper<T>& a) const |
| 87 | { |
| 88 | return t == a.t; |
| 89 | } |
| 90 | }; |
| 91 | |
| 92 | int |
| 93 | main() |
| 94 | { |
| 95 | test<int32_t>(); |
| 96 | test<uint16_t>(); |
| 97 | test<float64_t>(); |
| 98 | #if !defined(_PSTL_ICC_17_TEST_MAC_RELEASE_32_BROKEN) |
| 99 | test<wrapper<float64_t>>(); |
| 100 | #endif |
| 101 | |
| 102 | std::cout << done() << std::endl; |
| 103 | return 0; |
| 104 | } |
| 105 | |