mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-16 00:56:37 +00:00
475cbf0ad6
# Overview As a disclaimer, this is my first PR to LLVM and while I've tried to ensure I've followed the LLVM and libc++ contributing guidelines, there's probably a good chance I missed something. If I have, just let me know and I'll try to correct it as soon as I can. This PR implements `std::ranges::iota` and `std::ranges::out_value_result` outlined in [P2440r1](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2440r1.html). As outlined in the paper above, I've: - Implemented `out_value_result` and added to `<algorithm>` - Added `out_value_result`, `iota_result`, and two overloads of `iota` to `std::ranges` in `<numeric>` - Updated the version macro `__cpp_lib_ranges_iota` in `<version>` I've also added tests for `ranges::iota` and `ranges::out_value_result`. Lastly, I added those structs to the appropriate module files. Partially implements #105184 EDIT: Forgot to mention in the original post, thanks to @hawkinsw for taking a look at a preliminary version of this PR! # TODOs - [x] Updating the range [status doc](https://github.com/jamesETsmith/llvm-project/blob/main/libcxx/docs/Status/RangesMajorFeatures.csv) - [x] Ensure all comments from https://reviews.llvm.org/D121436 are addressed here - [X] EDIT (I'll do this in a separate PR). ~~I'm open to implementing the rest of P2440r1 (`ranges::shift_left` and `ranges::shift_right`) if that's ok, I just wanted to get feedback on `ranges::iota` first~~ - [x] I've been having trouble building the modules locally and want to make sure that's working properly Closes: #134060
213 lines
8.5 KiB
C++
213 lines
8.5 KiB
C++
// -*- C++ -*-
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// 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
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef _LIBCPP_NUMERIC
|
|
#define _LIBCPP_NUMERIC
|
|
|
|
/*
|
|
numeric synopsis
|
|
|
|
namespace std
|
|
{
|
|
|
|
template <class InputIterator, class T>
|
|
constexpr T // constexpr since C++20
|
|
accumulate(InputIterator first, InputIterator last, T init);
|
|
|
|
template <class InputIterator, class T, class BinaryOperation>
|
|
constexpr T // constexpr since C++20
|
|
accumulate(InputIterator first, InputIterator last, T init, BinaryOperation binary_op);
|
|
|
|
template<class InputIterator>
|
|
constexpr typename iterator_traits<InputIterator>::value_type // constexpr since C++20
|
|
reduce(InputIterator first, InputIterator last); // C++17
|
|
|
|
template<class InputIterator, class T>
|
|
constexpr T // constexpr since C++20
|
|
reduce(InputIterator first, InputIterator last, T init); // C++17
|
|
|
|
template<class InputIterator, class T, class BinaryOperation>
|
|
constexpr T // constexpr since C++20
|
|
reduce(InputIterator first, InputIterator last, T init, BinaryOperation binary_op); // C++17
|
|
|
|
template <class InputIterator1, class InputIterator2, class T>
|
|
constexpr T // constexpr since C++20
|
|
inner_product(InputIterator1 first1, InputIterator1 last1, InputIterator2 first2, T init);
|
|
|
|
template <class InputIterator1, class InputIterator2, class T, class BinaryOperation1, class BinaryOperation2>
|
|
constexpr T // constexpr since C++20
|
|
inner_product(InputIterator1 first1, InputIterator1 last1, InputIterator2 first2,
|
|
T init, BinaryOperation1 binary_op1, BinaryOperation2 binary_op2);
|
|
|
|
|
|
template<class InputIterator1, class InputIterator2, class T>
|
|
constexpr T // constexpr since C++20
|
|
transform_reduce(InputIterator1 first1, InputIterator1 last1,
|
|
InputIterator2 first2, T init); // C++17
|
|
|
|
template<class InputIterator1, class InputIterator2, class T, class BinaryOperation1, class BinaryOperation2>
|
|
constexpr T // constexpr since C++20
|
|
transform_reduce(InputIterator1 first1, InputIterator1 last1,
|
|
InputIterator2 first2, T init,
|
|
BinaryOperation1 binary_op1, BinaryOperation2 binary_op2); // C++17
|
|
|
|
template<class InputIterator, class T, class BinaryOperation, class UnaryOperation>
|
|
constexpr T // constexpr since C++20
|
|
transform_reduce(InputIterator first, InputIterator last, T init,
|
|
BinaryOperation binary_op, UnaryOperation unary_op); // C++17
|
|
|
|
template <class InputIterator, class OutputIterator>
|
|
constexpr OutputIterator // constexpr since C++20
|
|
partial_sum(InputIterator first, InputIterator last, OutputIterator result);
|
|
|
|
template <class InputIterator, class OutputIterator, class BinaryOperation>
|
|
constexpr OutputIterator // constexpr since C++20
|
|
partial_sum(InputIterator first, InputIterator last, OutputIterator result, BinaryOperation binary_op);
|
|
|
|
template<class InputIterator, class OutputIterator, class T>
|
|
constexpr OutputIterator // constexpr since C++20
|
|
exclusive_scan(InputIterator first, InputIterator last,
|
|
OutputIterator result, T init); // C++17
|
|
|
|
template<class InputIterator, class OutputIterator, class T, class BinaryOperation>
|
|
constexpr OutputIterator // constexpr since C++20
|
|
exclusive_scan(InputIterator first, InputIterator last,
|
|
OutputIterator result, T init, BinaryOperation binary_op); // C++17
|
|
|
|
template<class InputIterator, class OutputIterator>
|
|
constexpr OutputIterator // constexpr since C++20
|
|
inclusive_scan(InputIterator first, InputIterator last, OutputIterator result); // C++17
|
|
|
|
template<class InputIterator, class OutputIterator, class BinaryOperation>
|
|
constexpr OutputIterator // constexpr since C++20
|
|
inclusive_scan(InputIterator first, InputIterator last,
|
|
OutputIterator result, BinaryOperation binary_op); // C++17
|
|
|
|
template<class InputIterator, class OutputIterator, class BinaryOperation, class T>
|
|
constexpr OutputIterator // constexpr since C++20
|
|
inclusive_scan(InputIterator first, InputIterator last,
|
|
OutputIterator result, BinaryOperation binary_op, T init); // C++17
|
|
|
|
template<class InputIterator, class OutputIterator, class T,
|
|
class BinaryOperation, class UnaryOperation>
|
|
constexpr OutputIterator // constexpr since C++20
|
|
transform_exclusive_scan(InputIterator first, InputIterator last,
|
|
OutputIterator result, T init,
|
|
BinaryOperation binary_op, UnaryOperation unary_op); // C++17
|
|
|
|
template<class InputIterator, class OutputIterator,
|
|
class BinaryOperation, class UnaryOperation>
|
|
constexpr OutputIterator // constexpr since C++20
|
|
transform_inclusive_scan(InputIterator first, InputIterator last,
|
|
OutputIterator result,
|
|
BinaryOperation binary_op, UnaryOperation unary_op); // C++17
|
|
|
|
template<class InputIterator, class OutputIterator,
|
|
class BinaryOperation, class UnaryOperation, class T>
|
|
constexpr OutputIterator // constexpr since C++20
|
|
transform_inclusive_scan(InputIterator first, InputIterator last,
|
|
OutputIterator result,
|
|
BinaryOperation binary_op, UnaryOperation unary_op,
|
|
T init); // C++17
|
|
|
|
template <class InputIterator, class OutputIterator>
|
|
constexpr OutputIterator // constexpr since C++20
|
|
adjacent_difference(InputIterator first, InputIterator last, OutputIterator result);
|
|
|
|
template <class InputIterator, class OutputIterator, class BinaryOperation>
|
|
constexpr OutputIterator // constexpr since C++20
|
|
adjacent_difference(InputIterator first, InputIterator last, OutputIterator result, BinaryOperation binary_op);
|
|
|
|
template <class ForwardIterator, class T>
|
|
constexpr void // constexpr since C++20
|
|
iota(ForwardIterator first, ForwardIterator last, T value);
|
|
|
|
template <class M, class N>
|
|
constexpr common_type_t<M,N> gcd(M m, N n); // C++17
|
|
|
|
template <class M, class N>
|
|
constexpr common_type_t<M,N> lcm(M m, N n); // C++17
|
|
|
|
template<class T>
|
|
constexpr T midpoint(T a, T b) noexcept; // C++20
|
|
|
|
template<class T>
|
|
constexpr T* midpoint(T* a, T* b); // C++20
|
|
|
|
// [numeric.sat], saturation arithmetic
|
|
template<class T>
|
|
constexpr T add_sat(T x, T y) noexcept; // freestanding, Since C++26
|
|
template<class T>
|
|
constexpr T sub_sat(T x, T y) noexcept; // freestanding, Since C++26
|
|
template<class T>
|
|
constexpr T mul_sat(T x, T y) noexcept; // freestanding, Since C++26
|
|
template<class T>
|
|
constexpr T div_sat(T x, T y) noexcept; // freestanding, Since C++26
|
|
template<class T, class U>
|
|
constexpr T saturate_cast(U x) noexcept; // freestanding, Since C++26
|
|
|
|
} // std
|
|
|
|
*/
|
|
|
|
#if __cplusplus < 201103L && defined(_LIBCPP_USE_FROZEN_CXX03_HEADERS)
|
|
# include <__cxx03/numeric>
|
|
#else
|
|
# include <__config>
|
|
|
|
# include <__numeric/accumulate.h>
|
|
# include <__numeric/adjacent_difference.h>
|
|
# include <__numeric/inner_product.h>
|
|
# include <__numeric/iota.h>
|
|
# include <__numeric/partial_sum.h>
|
|
|
|
# if _LIBCPP_STD_VER >= 17
|
|
# include <__numeric/exclusive_scan.h>
|
|
# include <__numeric/gcd_lcm.h>
|
|
# include <__numeric/inclusive_scan.h>
|
|
# include <__numeric/pstl.h>
|
|
# include <__numeric/ranges_iota.h>
|
|
# include <__numeric/reduce.h>
|
|
# include <__numeric/transform_exclusive_scan.h>
|
|
# include <__numeric/transform_inclusive_scan.h>
|
|
# include <__numeric/transform_reduce.h>
|
|
# endif
|
|
|
|
# if _LIBCPP_STD_VER >= 20
|
|
# include <__numeric/midpoint.h>
|
|
# include <__numeric/saturation_arithmetic.h>
|
|
# endif
|
|
|
|
# include <version>
|
|
|
|
# if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
|
|
# pragma GCC system_header
|
|
# endif
|
|
|
|
# if !defined(_LIBCPP_REMOVE_TRANSITIVE_INCLUDES) && _LIBCPP_STD_VER <= 14
|
|
# include <initializer_list>
|
|
# include <limits>
|
|
# endif
|
|
|
|
# if !defined(_LIBCPP_REMOVE_TRANSITIVE_INCLUDES) && _LIBCPP_STD_VER <= 20
|
|
# include <climits>
|
|
# include <cmath>
|
|
# include <concepts>
|
|
# include <cstdint>
|
|
# include <execution>
|
|
# include <functional>
|
|
# include <iterator>
|
|
# include <new>
|
|
# include <optional>
|
|
# include <type_traits>
|
|
# endif
|
|
#endif // __cplusplus < 201103L && defined(_LIBCPP_USE_FROZEN_CXX03_HEADERS)
|
|
|
|
#endif // _LIBCPP_NUMERIC
|