xref: /freebsd-src/contrib/llvm-project/libcxx/include/__algorithm/shuffle.h (revision cb14a3fe5122c879eae1fb480ed7ce82a699ddb6)
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