1fe6060f1SDimitry Andric //===----------------------------------------------------------------------===//
2fe6060f1SDimitry Andric //
3fe6060f1SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4fe6060f1SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5fe6060f1SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6fe6060f1SDimitry Andric //
7fe6060f1SDimitry Andric //===----------------------------------------------------------------------===//
8fe6060f1SDimitry Andric
9fe6060f1SDimitry Andric #ifndef _LIBCPP___ALGORITHM_SHUFFLE_H
10fe6060f1SDimitry Andric #define _LIBCPP___ALGORITHM_SHUFFLE_H
11fe6060f1SDimitry Andric
12fcaf7f86SDimitry Andric #include <__algorithm/iterator_operations.h>
13fe6060f1SDimitry Andric #include <__config>
14fe6060f1SDimitry Andric #include <__iterator/iterator_traits.h>
15fe6060f1SDimitry Andric #include <__random/uniform_int_distribution.h>
16fcaf7f86SDimitry Andric #include <__utility/forward.h>
17fcaf7f86SDimitry Andric #include <__utility/move.h>
18bdd1243dSDimitry Andric #include <__utility/swap.h>
19fe6060f1SDimitry Andric #include <cstddef>
20fe6060f1SDimitry Andric #include <cstdint>
21fe6060f1SDimitry Andric
22fe6060f1SDimitry Andric #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
23fe6060f1SDimitry Andric # pragma GCC system_header
24fe6060f1SDimitry Andric #endif
25fe6060f1SDimitry Andric
26fe6060f1SDimitry Andric _LIBCPP_PUSH_MACROS
27fe6060f1SDimitry Andric #include <__undef_macros>
28fe6060f1SDimitry Andric
29fe6060f1SDimitry Andric _LIBCPP_BEGIN_NAMESPACE_STD
30fe6060f1SDimitry Andric
3106c3fb27SDimitry Andric class _LIBCPP_EXPORTED_FROM_ABI __libcpp_debug_randomizer {
32349cc55cSDimitry Andric public:
__libcpp_debug_randomizer()3306c3fb27SDimitry Andric _LIBCPP_HIDE_FROM_ABI __libcpp_debug_randomizer() {
34bdd1243dSDimitry Andric __state_ = __seed();
35bdd1243dSDimitry Andric __inc_ = __state_ + 0xda3e39cb94b95bdbULL;
36bdd1243dSDimitry Andric __inc_ = (__inc_ << 1) | 1;
37349cc55cSDimitry Andric }
38349cc55cSDimitry Andric typedef uint_fast32_t result_type;
39349cc55cSDimitry Andric
40349cc55cSDimitry Andric static const result_type _Min = 0;
41349cc55cSDimitry Andric static const result_type _Max = 0xFFFFFFFF;
42349cc55cSDimitry Andric
operator()43349cc55cSDimitry Andric _LIBCPP_HIDE_FROM_ABI result_type operator()() {
44bdd1243dSDimitry Andric uint_fast64_t __oldstate = __state_;
45bdd1243dSDimitry Andric __state_ = __oldstate * 6364136223846793005ULL + __inc_;
46349cc55cSDimitry Andric return __oldstate >> 32;
47349cc55cSDimitry Andric }
48349cc55cSDimitry Andric
min()49349cc55cSDimitry Andric static _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR result_type min() { return _Min; }
max()50349cc55cSDimitry Andric static _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR result_type max() { return _Max; }
51349cc55cSDimitry Andric
52349cc55cSDimitry Andric private:
53bdd1243dSDimitry Andric uint_fast64_t __state_;
54bdd1243dSDimitry Andric uint_fast64_t __inc_;
__seed()55349cc55cSDimitry Andric _LIBCPP_HIDE_FROM_ABI static uint_fast64_t __seed() {
56349cc55cSDimitry Andric #ifdef _LIBCPP_DEBUG_RANDOMIZE_UNSPECIFIED_STABILITY_SEED
57349cc55cSDimitry Andric return _LIBCPP_DEBUG_RANDOMIZE_UNSPECIFIED_STABILITY_SEED;
58349cc55cSDimitry Andric #else
59349cc55cSDimitry Andric static char __x;
60349cc55cSDimitry Andric return reinterpret_cast<uintptr_t>(&__x);
61349cc55cSDimitry Andric #endif
62349cc55cSDimitry Andric }
63349cc55cSDimitry Andric };
64fe6060f1SDimitry Andric
65*cb14a3feSDimitry Andric #if _LIBCPP_STD_VER <= 14 || defined(_LIBCPP_ENABLE_CXX17_REMOVED_RANDOM_SHUFFLE) || defined(_LIBCPP_BUILDING_LIBRARY)
6606c3fb27SDimitry Andric class _LIBCPP_EXPORTED_FROM_ABI __rs_default;
67fe6060f1SDimitry Andric
6806c3fb27SDimitry Andric _LIBCPP_EXPORTED_FROM_ABI __rs_default __rs_get();
69fe6060f1SDimitry Andric
70*cb14a3feSDimitry Andric class _LIBCPP_EXPORTED_FROM_ABI __rs_default {
71fe6060f1SDimitry Andric static unsigned __c_;
72fe6060f1SDimitry Andric
73fe6060f1SDimitry Andric __rs_default();
74*cb14a3feSDimitry Andric
75fe6060f1SDimitry Andric public:
76fe6060f1SDimitry Andric typedef uint_fast32_t result_type;
77fe6060f1SDimitry Andric
78fe6060f1SDimitry Andric static const result_type _Min = 0;
79fe6060f1SDimitry Andric static const result_type _Max = 0xFFFFFFFF;
80fe6060f1SDimitry Andric
81fe6060f1SDimitry Andric __rs_default(const __rs_default&);
82fe6060f1SDimitry Andric ~__rs_default();
83fe6060f1SDimitry Andric
84fe6060f1SDimitry Andric result_type operator()();
85fe6060f1SDimitry Andric
min()8606c3fb27SDimitry Andric static _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR result_type min() { return _Min; }
max()8706c3fb27SDimitry Andric static _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR result_type max() { return _Max; }
88fe6060f1SDimitry Andric
8906c3fb27SDimitry Andric friend _LIBCPP_EXPORTED_FROM_ABI __rs_default __rs_get();
90fe6060f1SDimitry Andric };
91fe6060f1SDimitry Andric
9206c3fb27SDimitry Andric _LIBCPP_EXPORTED_FROM_ABI __rs_default __rs_get();
93fe6060f1SDimitry Andric
94fe6060f1SDimitry Andric template <class _RandomAccessIterator>
95bdd1243dSDimitry Andric _LIBCPP_HIDE_FROM_ABI _LIBCPP_DEPRECATED_IN_CXX14 void
random_shuffle(_RandomAccessIterator __first,_RandomAccessIterator __last)96*cb14a3feSDimitry Andric random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last) {
97fe6060f1SDimitry Andric typedef typename iterator_traits<_RandomAccessIterator>::difference_type difference_type;
98fe6060f1SDimitry Andric typedef uniform_int_distribution<ptrdiff_t> _Dp;
99fe6060f1SDimitry Andric typedef typename _Dp::param_type _Pp;
100fe6060f1SDimitry Andric difference_type __d = __last - __first;
101*cb14a3feSDimitry Andric if (__d > 1) {
102fe6060f1SDimitry Andric _Dp __uid;
103fe6060f1SDimitry Andric __rs_default __g = __rs_get();
104*cb14a3feSDimitry Andric for (--__last, (void)--__d; __first < __last; ++__first, (void)--__d) {
105fe6060f1SDimitry Andric difference_type __i = __uid(__g, _Pp(0, __d));
106fe6060f1SDimitry Andric if (__i != difference_type(0))
107fe6060f1SDimitry Andric swap(*__first, *(__first + __i));
108fe6060f1SDimitry Andric }
109fe6060f1SDimitry Andric }
110fe6060f1SDimitry Andric }
111fe6060f1SDimitry Andric
112fe6060f1SDimitry Andric template <class _RandomAccessIterator, class _RandomNumberGenerator>
113bdd1243dSDimitry Andric _LIBCPP_HIDE_FROM_ABI _LIBCPP_DEPRECATED_IN_CXX14 void
random_shuffle(_RandomAccessIterator __first,_RandomAccessIterator __last,_RandomNumberGenerator && __rand)114*cb14a3feSDimitry Andric random_shuffle(_RandomAccessIterator __first,
115*cb14a3feSDimitry Andric _RandomAccessIterator __last,
116fe6060f1SDimitry Andric # ifndef _LIBCPP_CXX03_LANG
117fe6060f1SDimitry Andric _RandomNumberGenerator&& __rand)
118fe6060f1SDimitry Andric # else
119fe6060f1SDimitry Andric _RandomNumberGenerator& __rand)
120fe6060f1SDimitry Andric # endif
121fe6060f1SDimitry Andric {
122fe6060f1SDimitry Andric typedef typename iterator_traits<_RandomAccessIterator>::difference_type difference_type;
123fe6060f1SDimitry Andric difference_type __d = __last - __first;
124*cb14a3feSDimitry Andric if (__d > 1) {
125*cb14a3feSDimitry Andric for (--__last; __first < __last; ++__first, (void)--__d) {
126fe6060f1SDimitry Andric difference_type __i = __rand(__d);
127fe6060f1SDimitry Andric if (__i != difference_type(0))
128fe6060f1SDimitry Andric swap(*__first, *(__first + __i));
129fe6060f1SDimitry Andric }
130fe6060f1SDimitry Andric }
131fe6060f1SDimitry Andric }
132fe6060f1SDimitry Andric #endif
133fe6060f1SDimitry Andric
134fcaf7f86SDimitry Andric template <class _AlgPolicy, class _RandomAccessIterator, class _Sentinel, class _UniformRandomNumberGenerator>
135*cb14a3feSDimitry Andric _LIBCPP_HIDE_FROM_ABI _RandomAccessIterator
__shuffle(_RandomAccessIterator __first,_Sentinel __last_sentinel,_UniformRandomNumberGenerator && __g)136*cb14a3feSDimitry Andric __shuffle(_RandomAccessIterator __first, _Sentinel __last_sentinel, _UniformRandomNumberGenerator&& __g) {
137fe6060f1SDimitry Andric typedef typename iterator_traits<_RandomAccessIterator>::difference_type difference_type;
138fe6060f1SDimitry Andric typedef uniform_int_distribution<ptrdiff_t> _Dp;
139fe6060f1SDimitry Andric typedef typename _Dp::param_type _Pp;
140fcaf7f86SDimitry Andric
141fcaf7f86SDimitry Andric auto __original_last = _IterOps<_AlgPolicy>::next(__first, __last_sentinel);
142fcaf7f86SDimitry Andric auto __last = __original_last;
143fe6060f1SDimitry Andric difference_type __d = __last - __first;
144*cb14a3feSDimitry Andric if (__d > 1) {
145fe6060f1SDimitry Andric _Dp __uid;
146*cb14a3feSDimitry Andric for (--__last, (void)--__d; __first < __last; ++__first, (void)--__d) {
147fe6060f1SDimitry Andric difference_type __i = __uid(__g, _Pp(0, __d));
148fe6060f1SDimitry Andric if (__i != difference_type(0))
149fcaf7f86SDimitry Andric _IterOps<_AlgPolicy>::iter_swap(__first, __first + __i);
150fe6060f1SDimitry Andric }
151fe6060f1SDimitry Andric }
152fcaf7f86SDimitry Andric
153fcaf7f86SDimitry Andric return __original_last;
154fcaf7f86SDimitry Andric }
155fcaf7f86SDimitry Andric
156fcaf7f86SDimitry Andric template <class _RandomAccessIterator, class _UniformRandomNumberGenerator>
157bdd1243dSDimitry Andric _LIBCPP_HIDE_FROM_ABI void
shuffle(_RandomAccessIterator __first,_RandomAccessIterator __last,_UniformRandomNumberGenerator && __g)158bdd1243dSDimitry Andric shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last, _UniformRandomNumberGenerator&& __g) {
159fcaf7f86SDimitry Andric (void)std::__shuffle<_ClassicAlgPolicy>(
160fcaf7f86SDimitry Andric std::move(__first), std::move(__last), std::forward<_UniformRandomNumberGenerator>(__g));
161fe6060f1SDimitry Andric }
162fe6060f1SDimitry Andric
163fe6060f1SDimitry Andric _LIBCPP_END_NAMESPACE_STD
164fe6060f1SDimitry Andric
165fe6060f1SDimitry Andric _LIBCPP_POP_MACROS
166fe6060f1SDimitry Andric
167fe6060f1SDimitry Andric #endif // _LIBCPP___ALGORITHM_SHUFFLE_H
168