xref: /llvm-project/libcxx/include/__algorithm/partition_point.h (revision 9783f28cbb155e4a8d49c12e1c60ce14dcfaf0c7)
1134723edSLouis Dionne //===----------------------------------------------------------------------===//
2134723edSLouis Dionne //
3134723edSLouis Dionne // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4134723edSLouis Dionne // See https://llvm.org/LICENSE.txt for license information.
5134723edSLouis Dionne // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6134723edSLouis Dionne //
7134723edSLouis Dionne //===----------------------------------------------------------------------===//
8134723edSLouis Dionne 
9134723edSLouis Dionne #ifndef _LIBCPP___ALGORITHM_PARTITION_POINT_H
10134723edSLouis Dionne #define _LIBCPP___ALGORITHM_PARTITION_POINT_H
11134723edSLouis Dionne 
12134723edSLouis Dionne #include <__algorithm/half_positive.h>
134d81a46fSArthur O'Dwyer #include <__config>
143cd4531bSNikolas Klauser #include <__iterator/advance.h>
153cd4531bSNikolas Klauser #include <__iterator/distance.h>
163cd4531bSNikolas Klauser #include <__iterator/iterator_traits.h>
17134723edSLouis Dionne 
18134723edSLouis Dionne #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
19134723edSLouis Dionne #  pragma GCC system_header
20134723edSLouis Dionne #endif
21134723edSLouis Dionne 
22134723edSLouis Dionne _LIBCPP_BEGIN_NAMESPACE_STD
23134723edSLouis Dionne 
24134723edSLouis Dionne template <class _ForwardIterator, class _Predicate>
255146b57bSNikolas Klauser _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX20 _ForwardIterator
partition_point(_ForwardIterator __first,_ForwardIterator __last,_Predicate __pred)26*9783f28cSLouis Dionne partition_point(_ForwardIterator __first, _ForwardIterator __last, _Predicate __pred) {
27134723edSLouis Dionne   typedef typename iterator_traits<_ForwardIterator>::difference_type difference_type;
2877a00c0dSLouis Dionne   difference_type __len = std::distance(__first, __last);
29*9783f28cSLouis Dionne   while (__len != 0) {
3077a00c0dSLouis Dionne     difference_type __l2 = std::__half_positive(__len);
31134723edSLouis Dionne     _ForwardIterator __m = __first;
3277a00c0dSLouis Dionne     std::advance(__m, __l2);
33*9783f28cSLouis Dionne     if (__pred(*__m)) {
34134723edSLouis Dionne       __first = ++__m;
35134723edSLouis Dionne       __len -= __l2 + 1;
36*9783f28cSLouis Dionne     } else
37134723edSLouis Dionne       __len = __l2;
38134723edSLouis Dionne   }
39134723edSLouis Dionne   return __first;
40134723edSLouis Dionne }
41134723edSLouis Dionne 
42134723edSLouis Dionne _LIBCPP_END_NAMESPACE_STD
43134723edSLouis Dionne 
44134723edSLouis Dionne #endif // _LIBCPP___ALGORITHM_PARTITION_POINT_H
45