diff --git a/libcxx/include/CMakeLists.txt b/libcxx/include/CMakeLists.txt --- a/libcxx/include/CMakeLists.txt +++ b/libcxx/include/CMakeLists.txt @@ -69,6 +69,7 @@ __algorithm/partition_point.h __algorithm/pop_heap.h __algorithm/prev_permutation.h + __algorithm/pstl_any_all_none_of.h __algorithm/push_heap.h __algorithm/ranges_adjacent_find.h __algorithm/ranges_all_of.h @@ -698,6 +699,7 @@ __type_traits/is_empty.h __type_traits/is_enum.h __type_traits/is_equality_comparable.h + __type_traits/is_execution_policy.h __type_traits/is_final.h __type_traits/is_floating_point.h __type_traits/is_function.h @@ -798,6 +800,7 @@ __utility/priority_tag.h __utility/rel_ops.h __utility/swap.h + __utility/terminate_on_exception.h __utility/to_underlying.h __utility/unreachable.h __variant/monostate.h diff --git a/libcxx/include/__algorithm/all_of.h b/libcxx/include/__algorithm/all_of.h --- a/libcxx/include/__algorithm/all_of.h +++ b/libcxx/include/__algorithm/all_of.h @@ -19,7 +19,7 @@ _LIBCPP_BEGIN_NAMESPACE_STD template -_LIBCPP_NODISCARD_EXT inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_SINCE_CXX20 bool +_LIBCPP_NODISCARD_EXT inline _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX20 bool all_of(_InputIterator __first, _InputIterator __last, _Predicate __pred) { for (; __first != __last; ++__first) if (!__pred(*__first)) diff --git a/libcxx/include/__algorithm/pstl_any_all_none_of.h b/libcxx/include/__algorithm/pstl_any_all_none_of.h new file mode 100644 --- /dev/null +++ b/libcxx/include/__algorithm/pstl_any_all_none_of.h @@ -0,0 +1,77 @@ +//===----------------------------------------------------------------------===// +// +// 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___ALGORITHM_PSTL_ANY_ALL_NONE_OF_H +#define _LIBCPP___ALGORITHM_PSTL_ANY_ALL_NONE_OF_H + +#include <__algorithm/any_of.h> +#include <__config> +#include <__functional/not_fn.h> +#include <__pstl/internal/parallel_impl.h> +#include <__pstl/internal/unseq_backend_simd.h> +#include <__type_traits/enable_if.h> +#include <__type_traits/is_execution_policy.h> +#include <__utility/terminate_on_exception.h> + +#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) +# pragma GCC system_header +#endif + +#if _LIBCPP_STD_VER >= 17 + +_LIBCPP_BEGIN_NAMESPACE_STD + +template >, int> = 0> +_LIBCPP_NODISCARD_EXT _LIBCPP_HIDE_FROM_ABI bool +any_of(_ExecutionPolicy&& __policy, _ForwardIterator __first, _ForwardIterator __last, _Predicate __pred) { + if constexpr (__is_parallel_execution_policy_v<_ExecutionPolicy> && + __is_cpp17_random_access_iterator<_ForwardIterator>::value) { + return std::__terminate_on_exception([&] { + return __pstl::__internal::__parallel_or( + __pstl::__internal::__par_backend_tag{}, + __policy, + __first, + __last, + [&__policy, &__pred](_ForwardIterator __brick_first, _ForwardIterator __brick_last) { + return std::any_of(std::__remove_parallel_policy(__policy), __brick_first, __brick_last, __pred); + }); + }); + } else if constexpr (__is_unsequenced_execution_policy_v<_ExecutionPolicy> && + __is_cpp17_random_access_iterator<_ForwardIterator>::value) { + return __pstl::__unseq_backend::__simd_or(__first, __last - __first, __pred); + } else { + return std::any_of(__first, __last, __pred); + } +} + +template >, int> = 0> +_LIBCPP_NODISCARD_EXT _LIBCPP_HIDE_FROM_ABI bool +all_of(_ExecutionPolicy&& __policy, _ForwardIterator __first, _ForwardIterator __last, _Pred __pred) { + return !std::any_of(__policy, __first, __last, std::not_fn(__pred)); +} + +template >, int> = 0> +_LIBCPP_NODISCARD_EXT _LIBCPP_HIDE_FROM_ABI bool +none_of(_ExecutionPolicy&& __policy, _ForwardIterator __first, _ForwardIterator __last, _Pred __pred) { + return !std::any_of(__policy, __first, __last, __pred); +} + +_LIBCPP_END_NAMESPACE_STD + +#endif // _LIBCPP_STD_VER >= 17 + +#endif // _LIBCPP___ALGORITHM_PSTL_ANY_ALL_NONE_OF_H diff --git a/libcxx/include/__pstl/internal/algorithm_fwd.h b/libcxx/include/__pstl/internal/algorithm_fwd.h --- a/libcxx/include/__pstl/internal/algorithm_fwd.h +++ b/libcxx/include/__pstl/internal/algorithm_fwd.h @@ -21,29 +21,6 @@ namespace __pstl { namespace __internal { -//------------------------------------------------------------------------ -// any_of -//------------------------------------------------------------------------ - -template -bool __brick_any_of(const _ForwardIterator, - const _ForwardIterator, - _Pred, - /*__is_vector=*/std::false_type) noexcept; - -template -bool __brick_any_of(const _RandomAccessIterator, - const _RandomAccessIterator, - _Pred, - /*__is_vector=*/std::true_type) noexcept; - -template -bool __pattern_any_of(_Tag, _ExecutionPolicy&&, _ForwardIterator, _ForwardIterator, _Pred) noexcept; - -template -bool __pattern_any_of( - __parallel_tag<_IsVector>, _ExecutionPolicy&&, _RandomAccessIterator, _RandomAccessIterator, _Pred); - //------------------------------------------------------------------------ // walk1 (pseudo) // diff --git a/libcxx/include/__pstl/internal/algorithm_impl.h b/libcxx/include/__pstl/internal/algorithm_impl.h --- a/libcxx/include/__pstl/internal/algorithm_impl.h +++ b/libcxx/include/__pstl/internal/algorithm_impl.h @@ -29,52 +29,6 @@ namespace __pstl { namespace __internal { -//------------------------------------------------------------------------ -// any_of -//------------------------------------------------------------------------ - -template -bool __brick_any_of(const _ForwardIterator __first, - const _ForwardIterator __last, - _Pred __pred, - /*__is_vector=*/std::false_type) noexcept { - return std::any_of(__first, __last, __pred); -}; - -template -bool __brick_any_of(const _RandomAccessIterator __first, - const _RandomAccessIterator __last, - _Pred __pred, - /*__is_vector=*/std::true_type) noexcept { - return __unseq_backend::__simd_or(__first, __last - __first, __pred); -}; - -template -bool __pattern_any_of( - _Tag, _ExecutionPolicy&&, _ForwardIterator __first, _ForwardIterator __last, _Pred __pred) noexcept { - return __internal::__brick_any_of(__first, __last, __pred, typename _Tag::__is_vector{}); -} - -template -bool __pattern_any_of(__parallel_tag<_IsVector> __tag, - _ExecutionPolicy&& __exec, - _RandomAccessIterator __first, - _RandomAccessIterator __last, - _Pred __pred) { - using __backend_tag = typename decltype(__tag)::__backend_tag; - - return __internal::__except_handler([&]() { - return __internal::__parallel_or( - __backend_tag{}, - std::forward<_ExecutionPolicy>(__exec), - __first, - __last, - [__pred](_RandomAccessIterator __i, _RandomAccessIterator __j) { - return __internal::__brick_any_of(__i, __j, __pred, _IsVector{}); - }); - }); -} - // [alg.foreach] // for_each_n with no policy diff --git a/libcxx/include/__pstl/internal/glue_algorithm_defs.h b/libcxx/include/__pstl/internal/glue_algorithm_defs.h --- a/libcxx/include/__pstl/internal/glue_algorithm_defs.h +++ b/libcxx/include/__pstl/internal/glue_algorithm_defs.h @@ -20,24 +20,6 @@ namespace std { -// [alg.any_of] - -template -__pstl::__internal::__enable_if_execution_policy<_ExecutionPolicy, bool> -any_of(_ExecutionPolicy&& __exec, _ForwardIterator __first, _ForwardIterator __last, _Predicate __pred); - -// [alg.all_of] - -template -__pstl::__internal::__enable_if_execution_policy<_ExecutionPolicy, bool> -all_of(_ExecutionPolicy&& __exec, _ForwardIterator __first, _ForwardIterator __last, _Predicate __pred); - -// [alg.none_of] - -template -__pstl::__internal::__enable_if_execution_policy<_ExecutionPolicy, bool> -none_of(_ExecutionPolicy&& __exec, _ForwardIterator __first, _ForwardIterator __last, _Predicate __pred); - // [alg.foreach] template diff --git a/libcxx/include/__pstl/internal/glue_algorithm_impl.h b/libcxx/include/__pstl/internal/glue_algorithm_impl.h --- a/libcxx/include/__pstl/internal/glue_algorithm_impl.h +++ b/libcxx/include/__pstl/internal/glue_algorithm_impl.h @@ -25,33 +25,6 @@ namespace std { -// [alg.any_of] - -template -__pstl::__internal::__enable_if_execution_policy<_ExecutionPolicy, bool> -any_of(_ExecutionPolicy&& __exec, _ForwardIterator __first, _ForwardIterator __last, _Predicate __pred) { - auto __dispatch_tag = __pstl::__internal::__select_backend(__exec, __first); - - return __pstl::__internal::__pattern_any_of( - __dispatch_tag, std::forward<_ExecutionPolicy>(__exec), __first, __last, __pred); -} - -// [alg.all_of] - -template -__pstl::__internal::__enable_if_execution_policy<_ExecutionPolicy, bool> -all_of(_ExecutionPolicy&& __exec, _ForwardIterator __first, _ForwardIterator __last, _Pred __pred) { - return !std::any_of(std::forward<_ExecutionPolicy>(__exec), __first, __last, std::not_fn(__pred)); -} - -// [alg.none_of] - -template -__pstl::__internal::__enable_if_execution_policy<_ExecutionPolicy, bool> -none_of(_ExecutionPolicy&& __exec, _ForwardIterator __first, _ForwardIterator __last, _Predicate __pred) { - return !std::any_of(std::forward<_ExecutionPolicy>(__exec), __first, __last, __pred); -} - // [alg.foreach] template diff --git a/libcxx/include/__pstl/internal/parallel_backend_serial.h b/libcxx/include/__pstl/internal/parallel_backend_serial.h --- a/libcxx/include/__pstl/internal/parallel_backend_serial.h +++ b/libcxx/include/__pstl/internal/parallel_backend_serial.h @@ -10,11 +10,9 @@ #ifndef _PSTL_PARALLEL_BACKEND_SERIAL_H #define _PSTL_PARALLEL_BACKEND_SERIAL_H -#include -#include -#include -#include -#include +#include <__memory/allocator.h> +#include <__pstl/internal/execution_impl.h> +#include <__utility/forward.h> #include "pstl_config.h" diff --git a/libcxx/include/__pstl/internal/parallel_impl.h b/libcxx/include/__pstl/internal/parallel_impl.h --- a/libcxx/include/__pstl/internal/parallel_impl.h +++ b/libcxx/include/__pstl/internal/parallel_impl.h @@ -12,6 +12,7 @@ #include "pstl_config.h" +#include <__pstl/internal/parallel_backend.h> #include // This header defines the minimum set of parallel routines required to support Parallel STL, // implemented on top of Intel(R) Threading Building Blocks (Intel(R) TBB) library @@ -66,9 +67,7 @@ //------------------------------------------------------------------------ //! Return true if brick f[i,j) returns true for some subrange [i,j) of [first,last) template -bool -__parallel_or(_BackendTag __tag, _ExecutionPolicy&& __exec, _Index __first, _Index __last, _Brick __f) -{ +bool __parallel_or(_BackendTag __tag, _ExecutionPolicy&& __exec, _Index __first, _Index __last, _Brick __f) { std::atomic __found(false); __par_backend::__parallel_for(__tag, std::forward<_ExecutionPolicy>(__exec), __first, __last, [__f, &__found](_Index __i, _Index __j) diff --git a/libcxx/include/__pstl/internal/unseq_backend_simd.h b/libcxx/include/__pstl/internal/unseq_backend_simd.h --- a/libcxx/include/__pstl/internal/unseq_backend_simd.h +++ b/libcxx/include/__pstl/internal/unseq_backend_simd.h @@ -10,6 +10,7 @@ #ifndef _PSTL_UNSEQ_BACKEND_SIMD_H #define _PSTL_UNSEQ_BACKEND_SIMD_H +#include <__functional/operations.h> #include #include "pstl_config.h" diff --git a/libcxx/include/__pstl/internal/utils.h b/libcxx/include/__pstl/internal/utils.h --- a/libcxx/include/__pstl/internal/utils.h +++ b/libcxx/include/__pstl/internal/utils.h @@ -10,6 +10,7 @@ #ifndef _PSTL_UTILS_H #define _PSTL_UTILS_H +#include <__exception/terminate.h> #include #include #include diff --git a/libcxx/include/__type_traits/is_execution_policy.h b/libcxx/include/__type_traits/is_execution_policy.h new file mode 100644 --- /dev/null +++ b/libcxx/include/__type_traits/is_execution_policy.h @@ -0,0 +1,47 @@ +//===----------------------------------------------------------------------===// +// +// 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___TYPE_TRAITS_IS_EXECUTION_POLICY_H +#define _LIBCPP___TYPE_TRAITS_IS_EXECUTION_POLICY_H + +#include <__config> +#include <__type_traits/remove_cvref.h> + +#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) +# pragma GCC system_header +#endif + +#if _LIBCPP_STD_VER >= 17 + +_LIBCPP_BEGIN_NAMESPACE_STD + +template +inline constexpr bool is_execution_policy_v = false; + +template +inline constexpr bool __is_unsequenced_execution_policy_impl = false; + +template +inline constexpr bool __is_unsequenced_execution_policy_v = __is_unsequenced_execution_policy_impl>; + +template +inline constexpr bool __is_parallel_execution_policy_impl = false; + +template +inline constexpr bool __is_parallel_execution_policy_v = __is_parallel_execution_policy_impl>; + +// Removes the "parallel" part of an execution policy. +// For example, turns par_unseq into unseq, and par into seq. +template +const auto& __remove_parallel_policy(_ExecutionPolicy&&); + +_LIBCPP_END_NAMESPACE_STD + +#endif // _LIBCPP_STD_VER >= 17 + +#endif // _LIBCPP___TYPE_TRAITS_IS_EXECUTION_POLICY_H diff --git a/libcxx/include/__algorithm/all_of.h b/libcxx/include/__utility/terminate_on_exception.h copy from libcxx/include/__algorithm/all_of.h copy to libcxx/include/__utility/terminate_on_exception.h --- a/libcxx/include/__algorithm/all_of.h +++ b/libcxx/include/__utility/terminate_on_exception.h @@ -1,4 +1,3 @@ -// -*- C++ -*- //===----------------------------------------------------------------------===// // // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. @@ -7,10 +6,11 @@ // //===----------------------------------------------------------------------===// -#ifndef _LIBCPP___ALGORITHM_ALL_OF_H -#define _LIBCPP___ALGORITHM_ALL_OF_H +#ifndef _LIBCPP___UTILITY_TERMINATE_ON_EXCEPTION_H +#define _LIBCPP___UTILITY_TERMINATE_ON_EXCEPTION_H #include <__config> +#include #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) # pragma GCC system_header @@ -18,15 +18,19 @@ _LIBCPP_BEGIN_NAMESPACE_STD -template -_LIBCPP_NODISCARD_EXT inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_SINCE_CXX20 bool -all_of(_InputIterator __first, _InputIterator __last, _Predicate __pred) { - for (; __first != __last; ++__first) - if (!__pred(*__first)) - return false; - return true; +template +_LIBCPP_HIDE_FROM_ABI auto __terminate_on_exception(_Func __func) { +#ifndef _LIBCPP_NO_EXCEPTIONS + try { +#endif + return __func(); +#ifndef _LIBCPP_NO_EXCEPTIONS + } catch (...) { + std::terminate(); + } +#endif } _LIBCPP_END_NAMESPACE_STD -#endif // _LIBCPP___ALGORITHM_ALL_OF_H +#endif // _LIBCPP___UTILITY_TERMINATE_ON_EXCEPTION_H diff --git a/libcxx/include/algorithm b/libcxx/include/algorithm --- a/libcxx/include/algorithm +++ b/libcxx/include/algorithm @@ -1908,6 +1908,10 @@ #include <__algorithm/unwrap_iter.h> #include <__algorithm/upper_bound.h> +#ifdef _LIBCPP_HAS_PARALLEL_ALGORITHMS +# include <__algorithm/pstl_any_all_none_of.h> +#endif + // standard-mandated includes // [algorithm.syn] diff --git a/libcxx/include/execution b/libcxx/include/execution --- a/libcxx/include/execution +++ b/libcxx/include/execution @@ -34,7 +34,9 @@ #include <__assert> // all public C++ headers provide the assertion handler #include <__config> -#include <__type_traits/integral_constant.h> +#include <__type_traits/is_execution_policy.h> +#include <__type_traits/is_same.h> +#include <__type_traits/remove_cvref.h> #include #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) @@ -74,6 +76,14 @@ inline constexpr parallel_unsequenced_policy par_unseq{__disable_user_instantiations_tag{}}; +struct __unsequenced_policy { + constexpr explicit __unsequenced_policy(__disable_user_instantiations_tag) {} + __unsequenced_policy(const __unsequenced_policy&) = delete; + __unsequenced_policy& operator=(const __unsequenced_policy&) = delete; +}; + +constexpr __unsequenced_policy __unseq{__disable_user_instantiations_tag{}}; + # if _LIBCPP_STD_VER >= 20 struct unsequenced_policy { @@ -88,9 +98,6 @@ } // namespace execution -template -inline constexpr bool is_execution_policy_v = false; - template <> inline constexpr bool is_execution_policy_v = true; @@ -100,14 +107,43 @@ template <> inline constexpr bool is_execution_policy_v = true; +template <> +inline constexpr bool is_execution_policy_v = true; + +template <> +inline constexpr bool __is_parallel_execution_policy_impl = true; + +template <> +inline constexpr bool __is_parallel_execution_policy_impl = true; + +template <> +inline constexpr bool __is_unsequenced_execution_policy_impl = true; + +template <> +inline constexpr bool __is_unsequenced_execution_policy_impl = true; + # if _LIBCPP_STD_VER >= 20 template <> inline constexpr bool is_execution_policy_v = true; + +template <> +inline constexpr bool __is_unsequenced_execution_policy_impl = true; + # endif template struct is_execution_policy : bool_constant> {}; +template +const auto& __remove_parallel_policy(_ExecutionPolicy&&) { + using _ExecPol = remove_cvref_t<_ExecutionPolicy>; + if constexpr (is_same_v<_ExecPol, execution::parallel_policy>) { + return execution::seq; + } else if constexpr (is_same_v<_ExecPol, execution::parallel_unsequenced_policy>) { + return execution::__unseq; + } +} + _LIBCPP_END_NAMESPACE_STD #endif // defined(_LIBCPP_HAS_PARALLEL_ALGORITHMS) && _LIBCPP_STD_VER >= 17 diff --git a/libcxx/include/module.modulemap.in b/libcxx/include/module.modulemap.in --- a/libcxx/include/module.modulemap.in +++ b/libcxx/include/module.modulemap.in @@ -320,6 +320,7 @@ module partition_point { private header "__algorithm/partition_point.h" } module pop_heap { private header "__algorithm/pop_heap.h" } module prev_permutation { private header "__algorithm/prev_permutation.h" } + module pstl_all_any_none_of { private header "__algorithm/pstl_all_any_none_of.h" } module push_heap { private header "__algorithm/push_heap.h" } module ranges_adjacent_find { private header "__algorithm/ranges_adjacent_find.h" } module ranges_all_of { private header "__algorithm/ranges_all_of.h" } @@ -1555,6 +1556,7 @@ private header "__type_traits/is_equality_comparable.h" export integral_constant } + module is_execution_policy { private header "__type_traits/is_execution_policy.h" } module is_final { private header "__type_traits/is_final.h" } module is_floating_point { private header "__type_traits/is_floating_point.h" } module is_function { private header "__type_traits/is_function.h" } @@ -1672,29 +1674,30 @@ export * module __utility { - module as_const { private header "__utility/as_const.h" } - module auto_cast { + module as_const { private header "__utility/as_const.h" } + module auto_cast { private header "__utility/auto_cast.h" export type_traits.decay } - module cmp { private header "__utility/cmp.h" } - module convert_to_integral { private header "__utility/convert_to_integral.h" } - module declval { private header "__utility/declval.h" } - module exception_guard { private header "__utility/exception_guard.h" } - module exchange { private header "__utility/exchange.h" } - module forward { private header "__utility/forward.h" } - module forward_like { private header "__utility/forward_like.h" } - module in_place { private header "__utility/in_place.h" } - module integer_sequence { private header "__utility/integer_sequence.h" } - module move { private header "__utility/move.h" } - module pair { private header "__utility/pair.h" } - module pair_fwd { private header "__fwd/pair.h" } - module piecewise_construct { private header "__utility/piecewise_construct.h" } - module priority_tag { private header "__utility/priority_tag.h" } - module rel_ops { private header "__utility/rel_ops.h" } - module swap { private header "__utility/swap.h" } - module to_underlying { private header "__utility/to_underlying.h" } - module unreachable { private header "__utility/unreachable.h" } + module cmp { private header "__utility/cmp.h" } + module convert_to_integral { private header "__utility/convert_to_integral.h" } + module declval { private header "__utility/declval.h" } + module exception_guard { private header "__utility/exception_guard.h" } + module exchange { private header "__utility/exchange.h" } + module forward { private header "__utility/forward.h" } + module forward_like { private header "__utility/forward_like.h" } + module in_place { private header "__utility/in_place.h" } + module integer_sequence { private header "__utility/integer_sequence.h" } + module move { private header "__utility/move.h" } + module pair { private header "__utility/pair.h" } + module pair_fwd { private header "__fwd/pair.h" } + module piecewise_construct { private header "__utility/piecewise_construct.h" } + module priority_tag { private header "__utility/priority_tag.h" } + module rel_ops { private header "__utility/rel_ops.h" } + module swap { private header "__utility/swap.h" } + module terminate_on_exception { private header "__utility/terminate_on_exception.h" } + module to_underlying { private header "__utility/to_underlying.h" } + module unreachable { private header "__utility/unreachable.h" } } } module valarray { diff --git a/libcxx/test/libcxx/diagnostics/pstl.nodiscard_extensions.compile.pass.cpp b/libcxx/test/libcxx/diagnostics/pstl.nodiscard_extensions.compile.pass.cpp new file mode 100644 --- /dev/null +++ b/libcxx/test/libcxx/diagnostics/pstl.nodiscard_extensions.compile.pass.cpp @@ -0,0 +1,27 @@ +//===----------------------------------------------------------------------===// +// +// 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 +// +//===----------------------------------------------------------------------===// + +// Check that PSTL algorithms aren't marked [[nodiscard]] when +// _LIBCPP_DISBALE_NODISCARD_EXT is defined + +// ADDITIONAL_COMPILE_FLAGS: -D_LIBCPP_DISABLE_NODISCARD_EXT + +// REQUIRES: with-pstl + +// UNSUPPORTED: c++03, c++11, c++14 + +#include +#include + +void test() { + int a[] = {1}; + auto pred = [](auto) { return false; }; + std::all_of(std::execution::par, std::begin(a), std::end(a), pred); + std::any_of(std::execution::par, std::begin(a), std::end(a), pred); + std::none_of(std::execution::par, std::begin(a), std::end(a), pred); +} diff --git a/libcxx/test/libcxx/diagnostics/pstl.nodiscard_extensions.verify.cpp b/libcxx/test/libcxx/diagnostics/pstl.nodiscard_extensions.verify.cpp new file mode 100644 --- /dev/null +++ b/libcxx/test/libcxx/diagnostics/pstl.nodiscard_extensions.verify.cpp @@ -0,0 +1,24 @@ +//===----------------------------------------------------------------------===// +// +// 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 +// +//===----------------------------------------------------------------------===// + +// Check that PSTL algorithms are marked [[nodiscard]] as a conforming extension + +// REQUIRES: with-pstl + +// UNSUPPORTED: c++03, c++11, c++14 + +#include +#include + +void test() { + int a[] = {1}; + auto pred = [](auto) { return false; }; + std::all_of(std::execution::par, std::begin(a), std::end(a), pred); // expected-warning {{ignoring return value of function declared with 'nodiscard' attribute}} + std::any_of(std::execution::par, std::begin(a), std::end(a), pred); // expected-warning {{ignoring return value of function declared with 'nodiscard' attribute}} + std::none_of(std::execution::par, std::begin(a), std::end(a), pred); // expected-warning {{ignoring return value of function declared with 'nodiscard' attribute}} +} diff --git a/libcxx/test/libcxx/private_headers.verify.cpp b/libcxx/test/libcxx/private_headers.verify.cpp --- a/libcxx/test/libcxx/private_headers.verify.cpp +++ b/libcxx/test/libcxx/private_headers.verify.cpp @@ -114,6 +114,7 @@ #include <__algorithm/partition_point.h> // expected-error@*:* {{use of private header from outside its module: '__algorithm/partition_point.h'}} #include <__algorithm/pop_heap.h> // expected-error@*:* {{use of private header from outside its module: '__algorithm/pop_heap.h'}} #include <__algorithm/prev_permutation.h> // expected-error@*:* {{use of private header from outside its module: '__algorithm/prev_permutation.h'}} +#include <__algorithm/pstl_any_all_none_of.h> // expected-error@*:* {{use of private header from outside its module: '__algorithm/pstl_any_all_none_of.h'}} #include <__algorithm/push_heap.h> // expected-error@*:* {{use of private header from outside its module: '__algorithm/push_heap.h'}} #include <__algorithm/ranges_adjacent_find.h> // expected-error@*:* {{use of private header from outside its module: '__algorithm/ranges_adjacent_find.h'}} #include <__algorithm/ranges_all_of.h> // expected-error@*:* {{use of private header from outside its module: '__algorithm/ranges_all_of.h'}} @@ -683,6 +684,7 @@ #include <__type_traits/is_empty.h> // expected-error@*:* {{use of private header from outside its module: '__type_traits/is_empty.h'}} #include <__type_traits/is_enum.h> // expected-error@*:* {{use of private header from outside its module: '__type_traits/is_enum.h'}} #include <__type_traits/is_equality_comparable.h> // expected-error@*:* {{use of private header from outside its module: '__type_traits/is_equality_comparable.h'}} +#include <__type_traits/is_execution_policy.h> // expected-error@*:* {{use of private header from outside its module: '__type_traits/is_execution_policy.h'}} #include <__type_traits/is_final.h> // expected-error@*:* {{use of private header from outside its module: '__type_traits/is_final.h'}} #include <__type_traits/is_floating_point.h> // expected-error@*:* {{use of private header from outside its module: '__type_traits/is_floating_point.h'}} #include <__type_traits/is_function.h> // expected-error@*:* {{use of private header from outside its module: '__type_traits/is_function.h'}} @@ -782,6 +784,7 @@ #include <__utility/priority_tag.h> // expected-error@*:* {{use of private header from outside its module: '__utility/priority_tag.h'}} #include <__utility/rel_ops.h> // expected-error@*:* {{use of private header from outside its module: '__utility/rel_ops.h'}} #include <__utility/swap.h> // expected-error@*:* {{use of private header from outside its module: '__utility/swap.h'}} +#include <__utility/terminate_on_exception.h> // expected-error@*:* {{use of private header from outside its module: '__utility/terminate_on_exception.h'}} #include <__utility/to_underlying.h> // expected-error@*:* {{use of private header from outside its module: '__utility/to_underlying.h'}} #include <__utility/unreachable.h> // expected-error@*:* {{use of private header from outside its module: '__utility/unreachable.h'}} #include <__variant/monostate.h> // expected-error@*:* {{use of private header from outside its module: '__variant/monostate.h'}} diff --git a/libcxx/test/libcxx/transitive_includes/cxx03.csv b/libcxx/test/libcxx/transitive_includes/cxx03.csv --- a/libcxx/test/libcxx/transitive_includes/cxx03.csv +++ b/libcxx/test/libcxx/transitive_includes/cxx03.csv @@ -213,6 +213,7 @@ exception cstdlib exception type_traits exception version +execution cstddef execution version expected cstddef expected initializer_list diff --git a/libcxx/test/libcxx/transitive_includes/cxx11.csv b/libcxx/test/libcxx/transitive_includes/cxx11.csv --- a/libcxx/test/libcxx/transitive_includes/cxx11.csv +++ b/libcxx/test/libcxx/transitive_includes/cxx11.csv @@ -213,6 +213,7 @@ exception cstdlib exception type_traits exception version +execution cstddef execution version expected cstddef expected initializer_list diff --git a/libcxx/test/libcxx/transitive_includes/cxx14.csv b/libcxx/test/libcxx/transitive_includes/cxx14.csv --- a/libcxx/test/libcxx/transitive_includes/cxx14.csv +++ b/libcxx/test/libcxx/transitive_includes/cxx14.csv @@ -213,6 +213,7 @@ exception cstdlib exception type_traits exception version +execution cstddef execution version expected cstddef expected initializer_list diff --git a/libcxx/test/libcxx/transitive_includes/cxx17.csv b/libcxx/test/libcxx/transitive_includes/cxx17.csv --- a/libcxx/test/libcxx/transitive_includes/cxx17.csv +++ b/libcxx/test/libcxx/transitive_includes/cxx17.csv @@ -213,6 +213,7 @@ exception cstdlib exception type_traits exception version +execution cstddef execution version expected cstddef expected initializer_list diff --git a/libcxx/test/libcxx/transitive_includes/cxx20.csv b/libcxx/test/libcxx/transitive_includes/cxx20.csv --- a/libcxx/test/libcxx/transitive_includes/cxx20.csv +++ b/libcxx/test/libcxx/transitive_includes/cxx20.csv @@ -221,6 +221,7 @@ exception cstdlib exception type_traits exception version +execution cstddef execution version expected cstddef expected initializer_list diff --git a/libcxx/test/libcxx/transitive_includes/cxx2b.csv b/libcxx/test/libcxx/transitive_includes/cxx2b.csv --- a/libcxx/test/libcxx/transitive_includes/cxx2b.csv +++ b/libcxx/test/libcxx/transitive_includes/cxx2b.csv @@ -140,6 +140,7 @@ exception cstddef exception cstdlib exception version +execution cstddef execution version expected cstddef expected initializer_list diff --git a/libcxx/test/std/algorithms/alg.nonmodifying/alg.all_of/pstl.all_of.pass.cpp b/libcxx/test/std/algorithms/alg.nonmodifying/alg.all_of/pstl.all_of.pass.cpp new file mode 100644 --- /dev/null +++ b/libcxx/test/std/algorithms/alg.nonmodifying/alg.all_of/pstl.all_of.pass.cpp @@ -0,0 +1,77 @@ +//===----------------------------------------------------------------------===// +// +// 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 +// +//===----------------------------------------------------------------------===// + +// UNSUPPORTED: c++03, c++11, c++14 + +// REQUIRES: with-pstl + +// + +// template +// bool any_of(ExecutionPolicy&& exec, ForwardIterator first, ForwardIterator last, +// Predicate pred); + +#include +#include +#include + +#include "test_macros.h" +#include "test_execution_policies.h" +#include "test_iterators.h" + +EXECUTION_POLICY_SFINAE_TEST(all_of); + +static_assert(sfinae_test_all_of); +static_assert(!sfinae_test_all_of); + +template +struct Test { + template + void operator()(Policy&& policy) { + int a[] = {1, 2, 3, 4, 5, 6, 7, 8}; + // simple test + assert(std::all_of(policy, Iter(std::begin(a)), Iter(std::end(a)), [](int i) { return i < 9; })); + assert(!std::all_of(policy, Iter(std::begin(a)), Iter(std::end(a)), [](int i) { return i < 8; })); + + // check that an empty range works + assert(std::all_of(policy, Iter(std::begin(a)), Iter(std::begin(a)), [](int) { return false; })); + + // check that a single-element range works + assert(std::all_of(policy, Iter(a), Iter(a + 1), [](int i) { return i < 2; })); + + // check that a two-element range works + assert(std::all_of(policy, Iter(a), Iter(a + 2), [](int i) { return i < 3; })); + + // check that false is returned if no element satisfies the condition + assert(!std::all_of(policy, Iter(std::begin(a)), Iter(std::end(a)), [](int i) { return i == 9; })); + + // check that false is returned if only one elements satisfies the condition + assert(!std::all_of(policy, Iter(std::begin(a)), Iter(std::end(a)), [](int i) { return i == 1; })); + + // check that a large number of elements works + std::vector vec(100); + std::fill(vec.begin(), vec.end(), 3); + assert(std::all_of(Iter(vec.data()), Iter(vec.data() + vec.size()), [](int i) { return i == 3; })); + } +}; + +int main(int, char**) { + types::for_each(types::forward_iterator_list{}, TestIteratorWithPolicies{}); + +#ifndef TEST_HAS_NO_EXCEPTIONS + std::set_terminate(terminate_successful); + int a[] = {1, 2}; + try { + (void)std::all_of(std::execution::par, std::begin(a), std::end(a), [](int i) -> bool { throw i; }); + } catch (int) { + assert(false); + } +#endif + + return 0; +} diff --git a/libcxx/test/std/algorithms/alg.nonmodifying/alg.any_of/pstl.any_of.pass.cpp b/libcxx/test/std/algorithms/alg.nonmodifying/alg.any_of/pstl.any_of.pass.cpp new file mode 100644 --- /dev/null +++ b/libcxx/test/std/algorithms/alg.nonmodifying/alg.any_of/pstl.any_of.pass.cpp @@ -0,0 +1,65 @@ +//===----------------------------------------------------------------------===// +// +// 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 +// +//===----------------------------------------------------------------------===// + +// UNSUPPORTED: c++03, c++11, c++14 + +// REQUIRES: with-pstl + +// + +// template +// bool any_of(ExecutionPolicy&& exec, ForwardIterator first, ForwardIterator last, +// Predicate pred); + +#include +#include + +#include "test_macros.h" +#include "test_execution_policies.h" +#include "test_iterators.h" + +EXECUTION_POLICY_SFINAE_TEST(any_of); + +static_assert(sfinae_test_any_of); +static_assert(!sfinae_test_any_of); + +template +struct Test { + template + void operator()(Policy&& policy) { + int a[] = {1, 2, 3, 4, 5, 6, 7, 8}; + // simple test + assert(std::any_of(policy, Iter(std::begin(a)), Iter(std::end(a)), [](int i) { return i < 9; })); + assert(!std::any_of(policy, Iter(std::begin(a)), Iter(std::end(a)), [](int i) { return i > 8; })); + + // check that an empty range works + assert(!std::any_of(policy, Iter(std::begin(a)), Iter(std::begin(a)), [](int) { return false; })); + + // check that false is returned if no element satisfies the condition + assert(!std::any_of(policy, Iter(std::begin(a)), Iter(std::end(a)), [](int i) { return i == 9; })); + + // check that true is returned if only one elements satisfies the condition + assert(std::any_of(policy, Iter(std::begin(a)), Iter(std::end(a)), [](int i) { return i == 1; })); + } +}; + +int main(int, char**) { + types::for_each(types::forward_iterator_list{}, TestIteratorWithPolicies{}); + +#ifndef TEST_HAS_NO_EXCEPTIONS + std::set_terminate(terminate_successful); + int a[] = {1, 2}; + try { + (void)std::any_of(std::execution::par, std::begin(a), std::end(a), [](int i) -> bool { throw i; }); + } catch (int) { + assert(false); + } +#endif + + return 0; +} diff --git a/libcxx/test/std/algorithms/alg.nonmodifying/alg.none_of/pstl.none_of.pass.cpp b/libcxx/test/std/algorithms/alg.nonmodifying/alg.none_of/pstl.none_of.pass.cpp new file mode 100644 --- /dev/null +++ b/libcxx/test/std/algorithms/alg.nonmodifying/alg.none_of/pstl.none_of.pass.cpp @@ -0,0 +1,63 @@ +//===----------------------------------------------------------------------===// +// +// 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 +// +//===----------------------------------------------------------------------===// + +// REQUIRES: with-pstl + +// + +// template +// bool any_of(ExecutionPolicy&& exec, ForwardIterator first, ForwardIterator last, +// Predicate pred); + +#include +#include + +#include "test_macros.h" +#include "test_execution_policies.h" +#include "test_iterators.h" + +EXECUTION_POLICY_SFINAE_TEST(none_of); + +static_assert(sfinae_test_none_of); +static_assert(!sfinae_test_none_of); + +template +struct Test { + template + void operator()(Policy&& policy) { + int a[] = {1, 2, 3, 4, 5, 6, 7, 8}; + // simple test + assert(std::none_of(policy, Iter(std::begin(a)), Iter(std::end(a)), [](int i) { return i > 9; })); + assert(!std::none_of(policy, Iter(std::begin(a)), Iter(std::end(a)), [](int i) { return i >= 8; })); + + // check that an empty range works + assert(std::none_of(policy, Iter(std::begin(a)), Iter(std::begin(a)), [](int) { return false; })); + + // check that true is returned if no element satisfies the condition + assert(std::none_of(policy, Iter(std::begin(a)), Iter(std::end(a)), [](int i) { return i == 9; })); + + // check that false is returned if only one elements satisfies the condition + assert(!std::none_of(policy, Iter(std::begin(a)), Iter(std::end(a)), [](int i) { return i == 1; })); + } +}; + +int main(int, char**) { + types::for_each(types::forward_iterator_list{}, TestIteratorWithPolicies{}); + +#ifndef TEST_HAS_NO_EXCEPTIONS + std::set_terminate(terminate_successful); + int a[] = {1, 2}; + try { + (void)std::none_of(std::execution::par, std::begin(a), std::end(a), [](int i) -> bool { throw i; }); + } catch (int) { + assert(false); + } +#endif + + return 0; +} diff --git a/libcxx/test/support/test_execution_policies.h b/libcxx/test/support/test_execution_policies.h new file mode 100644 --- /dev/null +++ b/libcxx/test/support/test_execution_policies.h @@ -0,0 +1,52 @@ +//===----------------------------------------------------------------------===// +// +// 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 TEST_SUPPORT_TEST_EXECUTION_POLICIES +#define TEST_SUPPORT_TEST_EXECUTION_POLICIES + +#include +#include +#include +#include + +#include "test_macros.h" + +#define EXECUTION_POLICY_SFINAE_TEST(function) \ + template \ + struct sfinae_test_##function##_impl : std::true_type {}; \ + \ + template \ + struct sfinae_test_##function##_impl()...))>, Args...> \ + : std::false_type {}; \ + \ + template \ + constexpr bool sfinae_test_##function = sfinae_test_##function##_impl::value; + +template +bool test_execution_policies(Functor func) { + func(std::execution::seq); +#if TEST_STD_VER >= 20 + func(std::execution::unseq); +#endif + func(std::execution::par); + func(std::execution::par_unseq); + + return true; +} + +template