| //===----------------------------------------------------------------------===// |
| // |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| // See https://llvm.org/LICENSE.txt for license information. |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| // |
| //===----------------------------------------------------------------------===// |
| |
| // <numeric> |
| // UNSUPPORTED: c++03, c++11, c++14 |
| // UNSUPPORTED: clang-8 |
| // UNSUPPORTED: gcc-9 |
| |
| // Became constexpr in C++20 |
| // template<class InputIterator, class OutputIterator, class T> |
| // OutputIterator inclusive_scan(InputIterator first, InputIterator last, |
| // OutputIterator result, T init); |
| // |
| |
| #include <numeric> |
| #include <algorithm> |
| #include <array> |
| #include <cassert> |
| #include <functional> |
| #include <iterator> |
| #include <vector> |
| |
| #include "test_macros.h" |
| #include "test_iterators.h" |
| // FIXME Remove constexpr vector workaround introduced in D90569 |
| #if TEST_STD_VER > 17 |
| #include <span> |
| #endif |
| |
| template <class Iter1, class Iter2> |
| TEST_CONSTEXPR_CXX20 void |
| test(Iter1 first, Iter1 last, Iter2 rFirst, Iter2 rLast) |
| { |
| // C++17 doesn't test constexpr so can use a vector. |
| // C++20 can use vector in constexpr evaluation, but both libc++ and MSVC |
| // don't have the support yet. In these cases use a std::span for the test. |
| // FIXME Remove constexpr vector workaround introduced in D90569 |
| size_t size = std::distance(first, last); |
| #if TEST_STD_VER < 20 || \ |
| (defined(__cpp_lib_constexpr_vector) && __cpp_lib_constexpr_vector >= 201907L) |
| |
| std::vector<typename std::iterator_traits<Iter1>::value_type> v(size); |
| #else |
| assert((size <= 5) && "Increment the size of the array"); |
| typename std::iterator_traits<Iter1>::value_type b[5]; |
| std::span<typename std::iterator_traits<Iter1>::value_type> v{b, size}; |
| #endif |
| |
| // Not in place |
| std::inclusive_scan(first, last, v.begin()); |
| assert(std::equal(v.begin(), v.end(), rFirst, rLast)); |
| |
| // In place |
| std::copy(first, last, v.begin()); |
| std::inclusive_scan(v.begin(), v.end(), v.begin()); |
| assert(std::equal(v.begin(), v.end(), rFirst, rLast)); |
| } |
| |
| |
| template <class Iter> |
| TEST_CONSTEXPR_CXX20 void |
| test() |
| { |
| int ia[] = {1, 3, 5, 7, 9}; |
| const int pRes[] = {1, 4, 9, 16, 25}; |
| const unsigned sa = sizeof(ia) / sizeof(ia[0]); |
| static_assert(sa == sizeof(pRes) / sizeof(pRes[0])); // just to be sure |
| |
| for (unsigned int i = 0; i < sa; ++i ) |
| test(Iter(ia), Iter(ia + i), pRes, pRes + i); |
| } |
| |
| constexpr size_t triangle(size_t n) { return n*(n+1)/2; } |
| |
| // Basic sanity |
| TEST_CONSTEXPR_CXX20 void |
| basic_tests() |
| { |
| { |
| std::array<size_t, 10> v; |
| std::fill(v.begin(), v.end(), 3); |
| std::inclusive_scan(v.begin(), v.end(), v.begin()); |
| for (size_t i = 0; i < v.size(); ++i) |
| assert(v[i] == (i+1) * 3); |
| } |
| |
| { |
| std::array<size_t, 10> v; |
| std::iota(v.begin(), v.end(), 0); |
| std::inclusive_scan(v.begin(), v.end(), v.begin()); |
| for (size_t i = 0; i < v.size(); ++i) |
| assert(v[i] == triangle(i)); |
| } |
| |
| { |
| std::array<size_t, 10> v; |
| std::iota(v.begin(), v.end(), 1); |
| std::inclusive_scan(v.begin(), v.end(), v.begin()); |
| for (size_t i = 0; i < v.size(); ++i) |
| assert(v[i] == triangle(i + 1)); |
| } |
| |
| { |
| // C++17 doesn't test constexpr so can use a vector. |
| // C++20 can use vector in constexpr evaluation, but both libc++ and MSVC |
| // don't have the support yet. In these cases use a std::span for the test. |
| // FIXME Remove constexpr vector workaround introduced in D90569 |
| #if TEST_STD_VER < 20 || \ |
| (defined(__cpp_lib_constexpr_vector) && __cpp_lib_constexpr_vector >= 201907L) |
| std::vector<size_t> v, res; |
| std::inclusive_scan(v.begin(), v.end(), std::back_inserter(res)); |
| #else |
| std::array<size_t, 0> v, res; |
| std::inclusive_scan(v.begin(), v.end(), res.begin()); |
| #endif |
| assert(res.empty()); |
| } |
| } |
| |
| TEST_CONSTEXPR_CXX20 bool |
| test() |
| { |
| basic_tests(); |
| |
| // All the iterator categories |
| test<input_iterator <const int*> >(); |
| test<forward_iterator <const int*> >(); |
| test<bidirectional_iterator<const int*> >(); |
| test<random_access_iterator<const int*> >(); |
| test<const int*>(); |
| test< int*>(); |
| |
| return true; |
| } |
| |
| int main(int, char**) |
| { |
| test(); |
| #if TEST_STD_VER > 17 |
| static_assert(test()); |
| #endif |
| return 0; |
| } |