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___RANDOM_UNIFORM_INT_DISTRIBUTION_H
10fe6060f1SDimitry Andric #define _LIBCPP___RANDOM_UNIFORM_INT_DISTRIBUTION_H
11fe6060f1SDimitry Andric
1206c3fb27SDimitry Andric #include <__bit/countl.h>
13fe6060f1SDimitry Andric #include <__config>
1481ad6265SDimitry Andric #include <__random/is_valid.h>
154824e7fdSDimitry Andric #include <__random/log2.h>
1606c3fb27SDimitry Andric #include <__type_traits/conditional.h>
1706c3fb27SDimitry Andric #include <__type_traits/make_unsigned.h>
18fe6060f1SDimitry Andric #include <cstddef>
19fe6060f1SDimitry Andric #include <cstdint>
20fe6060f1SDimitry Andric #include <iosfwd>
21fe6060f1SDimitry Andric #include <limits>
22fe6060f1SDimitry Andric
23fe6060f1SDimitry Andric #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
24fe6060f1SDimitry Andric # pragma GCC system_header
25fe6060f1SDimitry Andric #endif
26fe6060f1SDimitry Andric
27fe6060f1SDimitry Andric _LIBCPP_PUSH_MACROS
28fe6060f1SDimitry Andric #include <__undef_macros>
29fe6060f1SDimitry Andric
30fe6060f1SDimitry Andric _LIBCPP_BEGIN_NAMESPACE_STD
31fe6060f1SDimitry Andric
32fe6060f1SDimitry Andric template <class _Engine, class _UIntType>
33*cb14a3feSDimitry Andric class __independent_bits_engine {
34fe6060f1SDimitry Andric public:
35fe6060f1SDimitry Andric // types
36fe6060f1SDimitry Andric typedef _UIntType result_type;
37fe6060f1SDimitry Andric
38fe6060f1SDimitry Andric private:
39fe6060f1SDimitry Andric typedef typename _Engine::result_type _Engine_result_type;
40bdd1243dSDimitry Andric typedef __conditional_t<sizeof(_Engine_result_type) <= sizeof(result_type), result_type, _Engine_result_type>
41bdd1243dSDimitry Andric _Working_result_type;
42fe6060f1SDimitry Andric
43fe6060f1SDimitry Andric _Engine& __e_;
44fe6060f1SDimitry Andric size_t __w_;
45fe6060f1SDimitry Andric size_t __w0_;
46fe6060f1SDimitry Andric size_t __n_;
47fe6060f1SDimitry Andric size_t __n0_;
48fe6060f1SDimitry Andric _Working_result_type __y0_;
49fe6060f1SDimitry Andric _Working_result_type __y1_;
50fe6060f1SDimitry Andric _Engine_result_type __mask0_;
51fe6060f1SDimitry Andric _Engine_result_type __mask1_;
52fe6060f1SDimitry Andric
53fe6060f1SDimitry Andric #ifdef _LIBCPP_CXX03_LANG
54*cb14a3feSDimitry Andric static const _Working_result_type _Rp = _Engine::_Max - _Engine::_Min + _Working_result_type(1);
55fe6060f1SDimitry Andric #else
56*cb14a3feSDimitry Andric static _LIBCPP_CONSTEXPR const _Working_result_type _Rp = _Engine::max() - _Engine::min() + _Working_result_type(1);
57fe6060f1SDimitry Andric #endif
58fe6060f1SDimitry Andric static _LIBCPP_CONSTEXPR const size_t __m = __log2<_Working_result_type, _Rp>::value;
59fe6060f1SDimitry Andric static _LIBCPP_CONSTEXPR const size_t _WDt = numeric_limits<_Working_result_type>::digits;
60fe6060f1SDimitry Andric static _LIBCPP_CONSTEXPR const size_t _EDt = numeric_limits<_Engine_result_type>::digits;
61fe6060f1SDimitry Andric
62fe6060f1SDimitry Andric public:
63fe6060f1SDimitry Andric // constructors and seeding functions
6406c3fb27SDimitry Andric _LIBCPP_HIDE_FROM_ABI __independent_bits_engine(_Engine& __e, size_t __w);
65fe6060f1SDimitry Andric
66fe6060f1SDimitry Andric // generating functions
operator()6706c3fb27SDimitry Andric _LIBCPP_HIDE_FROM_ABI result_type operator()() { return __eval(integral_constant<bool, _Rp != 0>()); }
68fe6060f1SDimitry Andric
69fe6060f1SDimitry Andric private:
7006c3fb27SDimitry Andric _LIBCPP_HIDE_FROM_ABI result_type __eval(false_type);
7106c3fb27SDimitry Andric _LIBCPP_HIDE_FROM_ABI result_type __eval(true_type);
72fe6060f1SDimitry Andric };
73fe6060f1SDimitry Andric
74fe6060f1SDimitry Andric template <class _Engine, class _UIntType>
__independent_bits_engine(_Engine & __e,size_t __w)75*cb14a3feSDimitry Andric __independent_bits_engine<_Engine, _UIntType>::__independent_bits_engine(_Engine& __e, size_t __w)
76*cb14a3feSDimitry Andric : __e_(__e), __w_(__w) {
77fe6060f1SDimitry Andric __n_ = __w_ / __m + (__w_ % __m != 0);
78fe6060f1SDimitry Andric __w0_ = __w_ / __n_;
79fe6060f1SDimitry Andric if (_Rp == 0)
80fe6060f1SDimitry Andric __y0_ = _Rp;
81fe6060f1SDimitry Andric else if (__w0_ < _WDt)
82fe6060f1SDimitry Andric __y0_ = (_Rp >> __w0_) << __w0_;
83fe6060f1SDimitry Andric else
84fe6060f1SDimitry Andric __y0_ = 0;
85*cb14a3feSDimitry Andric if (_Rp - __y0_ > __y0_ / __n_) {
86fe6060f1SDimitry Andric ++__n_;
87fe6060f1SDimitry Andric __w0_ = __w_ / __n_;
88fe6060f1SDimitry Andric if (__w0_ < _WDt)
89fe6060f1SDimitry Andric __y0_ = (_Rp >> __w0_) << __w0_;
90fe6060f1SDimitry Andric else
91fe6060f1SDimitry Andric __y0_ = 0;
92fe6060f1SDimitry Andric }
93fe6060f1SDimitry Andric __n0_ = __n_ - __w_ % __n_;
94fe6060f1SDimitry Andric if (__w0_ < _WDt - 1)
95fe6060f1SDimitry Andric __y1_ = (_Rp >> (__w0_ + 1)) << (__w0_ + 1);
96fe6060f1SDimitry Andric else
97fe6060f1SDimitry Andric __y1_ = 0;
98*cb14a3feSDimitry Andric __mask0_ = __w0_ > 0 ? _Engine_result_type(~0) >> (_EDt - __w0_) : _Engine_result_type(0);
99*cb14a3feSDimitry Andric __mask1_ = __w0_ < _EDt - 1 ? _Engine_result_type(~0) >> (_EDt - (__w0_ + 1)) : _Engine_result_type(~0);
100fe6060f1SDimitry Andric }
101fe6060f1SDimitry Andric
102fe6060f1SDimitry Andric template <class _Engine, class _UIntType>
__eval(false_type)103*cb14a3feSDimitry Andric inline _UIntType __independent_bits_engine<_Engine, _UIntType>::__eval(false_type) {
104fe6060f1SDimitry Andric return static_cast<result_type>(__e_() & __mask0_);
105fe6060f1SDimitry Andric }
106fe6060f1SDimitry Andric
107fe6060f1SDimitry Andric template <class _Engine, class _UIntType>
__eval(true_type)108*cb14a3feSDimitry Andric _UIntType __independent_bits_engine<_Engine, _UIntType>::__eval(true_type) {
10906c3fb27SDimitry Andric const size_t __w_rt = numeric_limits<result_type>::digits;
11006c3fb27SDimitry Andric result_type __sp = 0;
111*cb14a3feSDimitry Andric for (size_t __k = 0; __k < __n0_; ++__k) {
112fe6060f1SDimitry Andric _Engine_result_type __u;
113*cb14a3feSDimitry Andric do {
114fe6060f1SDimitry Andric __u = __e_() - _Engine::min();
115fe6060f1SDimitry Andric } while (__u >= __y0_);
11606c3fb27SDimitry Andric if (__w0_ < __w_rt)
11706c3fb27SDimitry Andric __sp <<= __w0_;
118fe6060f1SDimitry Andric else
11906c3fb27SDimitry Andric __sp = 0;
12006c3fb27SDimitry Andric __sp += __u & __mask0_;
121fe6060f1SDimitry Andric }
122*cb14a3feSDimitry Andric for (size_t __k = __n0_; __k < __n_; ++__k) {
123fe6060f1SDimitry Andric _Engine_result_type __u;
124*cb14a3feSDimitry Andric do {
125fe6060f1SDimitry Andric __u = __e_() - _Engine::min();
126fe6060f1SDimitry Andric } while (__u >= __y1_);
12706c3fb27SDimitry Andric if (__w0_ < __w_rt - 1)
12806c3fb27SDimitry Andric __sp <<= __w0_ + 1;
129fe6060f1SDimitry Andric else
13006c3fb27SDimitry Andric __sp = 0;
13106c3fb27SDimitry Andric __sp += __u & __mask1_;
132fe6060f1SDimitry Andric }
13306c3fb27SDimitry Andric return __sp;
134fe6060f1SDimitry Andric }
135fe6060f1SDimitry Andric
13681ad6265SDimitry Andric template <class _IntType = int>
137*cb14a3feSDimitry Andric class uniform_int_distribution {
138fcaf7f86SDimitry Andric static_assert(__libcpp_random_is_valid_inttype<_IntType>::value, "IntType must be a supported integer type");
139*cb14a3feSDimitry Andric
140fe6060f1SDimitry Andric public:
141fe6060f1SDimitry Andric // types
142fe6060f1SDimitry Andric typedef _IntType result_type;
143fe6060f1SDimitry Andric
144*cb14a3feSDimitry Andric class param_type {
145fe6060f1SDimitry Andric result_type __a_;
146fe6060f1SDimitry Andric result_type __b_;
147*cb14a3feSDimitry Andric
148fe6060f1SDimitry Andric public:
149fe6060f1SDimitry Andric typedef uniform_int_distribution distribution_type;
150fe6060f1SDimitry Andric
151*cb14a3feSDimitry Andric _LIBCPP_HIDE_FROM_ABI explicit param_type(result_type __a = 0, result_type __b = numeric_limits<result_type>::max())
__a_(__a)152fe6060f1SDimitry Andric : __a_(__a), __b_(__b) {}
153fe6060f1SDimitry Andric
a()15406c3fb27SDimitry Andric _LIBCPP_HIDE_FROM_ABI result_type a() const { return __a_; }
b()15506c3fb27SDimitry Andric _LIBCPP_HIDE_FROM_ABI result_type b() const { return __b_; }
156fe6060f1SDimitry Andric
157*cb14a3feSDimitry Andric _LIBCPP_HIDE_FROM_ABI friend bool operator==(const param_type& __x, const param_type& __y) {
158*cb14a3feSDimitry Andric return __x.__a_ == __y.__a_ && __x.__b_ == __y.__b_;
159*cb14a3feSDimitry Andric }
160*cb14a3feSDimitry Andric _LIBCPP_HIDE_FROM_ABI friend bool operator!=(const param_type& __x, const param_type& __y) { return !(__x == __y); }
161fe6060f1SDimitry Andric };
162fe6060f1SDimitry Andric
163fe6060f1SDimitry Andric private:
164fe6060f1SDimitry Andric param_type __p_;
165fe6060f1SDimitry Andric
166fe6060f1SDimitry Andric public:
167fe6060f1SDimitry Andric // constructors and reset functions
168fe6060f1SDimitry Andric #ifndef _LIBCPP_CXX03_LANG
uniform_int_distribution()16906c3fb27SDimitry Andric _LIBCPP_HIDE_FROM_ABI uniform_int_distribution() : uniform_int_distribution(0) {}
17006c3fb27SDimitry Andric _LIBCPP_HIDE_FROM_ABI explicit uniform_int_distribution(
171fe6060f1SDimitry Andric result_type __a, result_type __b = numeric_limits<result_type>::max())
__p_(param_type (__a,__b))172fe6060f1SDimitry Andric : __p_(param_type(__a, __b)) {}
173fe6060f1SDimitry Andric #else
174*cb14a3feSDimitry Andric explicit uniform_int_distribution(result_type __a = 0, result_type __b = numeric_limits<result_type>::max())
175fe6060f1SDimitry Andric : __p_(param_type(__a, __b)) {}
176fe6060f1SDimitry Andric #endif
uniform_int_distribution(const param_type & __p)17706c3fb27SDimitry Andric _LIBCPP_HIDE_FROM_ABI explicit uniform_int_distribution(const param_type& __p) : __p_(__p) {}
reset()17806c3fb27SDimitry Andric _LIBCPP_HIDE_FROM_ABI void reset() {}
179fe6060f1SDimitry Andric
180fe6060f1SDimitry Andric // generating functions
18106c3fb27SDimitry Andric template <class _URNG>
operator()182*cb14a3feSDimitry Andric _LIBCPP_HIDE_FROM_ABI result_type operator()(_URNG& __g) {
183*cb14a3feSDimitry Andric return (*this)(__g, __p_);
184*cb14a3feSDimitry Andric }
18506c3fb27SDimitry Andric template <class _URNG>
18606c3fb27SDimitry Andric _LIBCPP_HIDE_FROM_ABI result_type operator()(_URNG& __g, const param_type& __p);
187fe6060f1SDimitry Andric
188fe6060f1SDimitry Andric // property functions
a()18906c3fb27SDimitry Andric _LIBCPP_HIDE_FROM_ABI result_type a() const { return __p_.a(); }
b()19006c3fb27SDimitry Andric _LIBCPP_HIDE_FROM_ABI result_type b() const { return __p_.b(); }
191fe6060f1SDimitry Andric
param()19206c3fb27SDimitry Andric _LIBCPP_HIDE_FROM_ABI param_type param() const { return __p_; }
param(const param_type & __p)19306c3fb27SDimitry Andric _LIBCPP_HIDE_FROM_ABI void param(const param_type& __p) { __p_ = __p; }
194fe6060f1SDimitry Andric
min()19506c3fb27SDimitry Andric _LIBCPP_HIDE_FROM_ABI result_type min() const { return a(); }
max()19606c3fb27SDimitry Andric _LIBCPP_HIDE_FROM_ABI result_type max() const { return b(); }
197fe6060f1SDimitry Andric
198*cb14a3feSDimitry Andric _LIBCPP_HIDE_FROM_ABI friend bool
199*cb14a3feSDimitry Andric operator==(const uniform_int_distribution& __x, const uniform_int_distribution& __y) {
200*cb14a3feSDimitry Andric return __x.__p_ == __y.__p_;
201*cb14a3feSDimitry Andric }
202*cb14a3feSDimitry Andric _LIBCPP_HIDE_FROM_ABI friend bool
203*cb14a3feSDimitry Andric operator!=(const uniform_int_distribution& __x, const uniform_int_distribution& __y) {
204*cb14a3feSDimitry Andric return !(__x == __y);
205*cb14a3feSDimitry Andric }
206fe6060f1SDimitry Andric };
207fe6060f1SDimitry Andric
208fe6060f1SDimitry Andric template <class _IntType>
209fe6060f1SDimitry Andric template <class _URNG>
operator()210*cb14a3feSDimitry Andric typename uniform_int_distribution<_IntType>::result_type uniform_int_distribution<_IntType>::operator()(
211*cb14a3feSDimitry Andric _URNG& __g, const param_type& __p) _LIBCPP_DISABLE_UBSAN_UNSIGNED_INTEGER_CHECK {
21281ad6265SDimitry Andric static_assert(__libcpp_random_is_valid_urng<_URNG>::value, "");
213*cb14a3feSDimitry Andric typedef __conditional_t<sizeof(result_type) <= sizeof(uint32_t), uint32_t, __make_unsigned_t<result_type> > _UIntType;
21406c3fb27SDimitry Andric const _UIntType __rp = _UIntType(__p.b()) - _UIntType(__p.a()) + _UIntType(1);
21506c3fb27SDimitry Andric if (__rp == 1)
216fe6060f1SDimitry Andric return __p.a();
21706c3fb27SDimitry Andric const size_t __dt = numeric_limits<_UIntType>::digits;
218fe6060f1SDimitry Andric typedef __independent_bits_engine<_URNG, _UIntType> _Eng;
21906c3fb27SDimitry Andric if (__rp == 0)
22006c3fb27SDimitry Andric return static_cast<result_type>(_Eng(__g, __dt)());
22106c3fb27SDimitry Andric size_t __w = __dt - std::__countl_zero(__rp) - 1;
22206c3fb27SDimitry Andric if ((__rp & (numeric_limits<_UIntType>::max() >> (__dt - __w))) != 0)
223fe6060f1SDimitry Andric ++__w;
224fe6060f1SDimitry Andric _Eng __e(__g, __w);
225fe6060f1SDimitry Andric _UIntType __u;
226*cb14a3feSDimitry Andric do {
227fe6060f1SDimitry Andric __u = __e();
22806c3fb27SDimitry Andric } while (__u >= __rp);
229fe6060f1SDimitry Andric return static_cast<result_type>(__u + __p.a());
230fe6060f1SDimitry Andric }
231fe6060f1SDimitry Andric
232fe6060f1SDimitry Andric template <class _CharT, class _Traits, class _IT>
233bdd1243dSDimitry Andric _LIBCPP_HIDE_FROM_ABI basic_ostream<_CharT, _Traits>&
234*cb14a3feSDimitry Andric operator<<(basic_ostream<_CharT, _Traits>& __os, const uniform_int_distribution<_IT>& __x) {
235fe6060f1SDimitry Andric __save_flags<_CharT, _Traits> __lx(__os);
236fe6060f1SDimitry Andric typedef basic_ostream<_CharT, _Traits> _Ostream;
237fe6060f1SDimitry Andric __os.flags(_Ostream::dec | _Ostream::left);
238fe6060f1SDimitry Andric _CharT __sp = __os.widen(' ');
239fe6060f1SDimitry Andric __os.fill(__sp);
240fe6060f1SDimitry Andric return __os << __x.a() << __sp << __x.b();
241fe6060f1SDimitry Andric }
242fe6060f1SDimitry Andric
243fe6060f1SDimitry Andric template <class _CharT, class _Traits, class _IT>
244bdd1243dSDimitry Andric _LIBCPP_HIDE_FROM_ABI basic_istream<_CharT, _Traits>&
245*cb14a3feSDimitry Andric operator>>(basic_istream<_CharT, _Traits>& __is, uniform_int_distribution<_IT>& __x) {
246fe6060f1SDimitry Andric typedef uniform_int_distribution<_IT> _Eng;
247fe6060f1SDimitry Andric typedef typename _Eng::result_type result_type;
248fe6060f1SDimitry Andric typedef typename _Eng::param_type param_type;
249fe6060f1SDimitry Andric __save_flags<_CharT, _Traits> __lx(__is);
250fe6060f1SDimitry Andric typedef basic_istream<_CharT, _Traits> _Istream;
251fe6060f1SDimitry Andric __is.flags(_Istream::dec | _Istream::skipws);
252fe6060f1SDimitry Andric result_type __a;
253fe6060f1SDimitry Andric result_type __b;
254fe6060f1SDimitry Andric __is >> __a >> __b;
255fe6060f1SDimitry Andric if (!__is.fail())
256fe6060f1SDimitry Andric __x.param(param_type(__a, __b));
257fe6060f1SDimitry Andric return __is;
258fe6060f1SDimitry Andric }
259fe6060f1SDimitry Andric
260fe6060f1SDimitry Andric _LIBCPP_END_NAMESPACE_STD
261fe6060f1SDimitry Andric
262fe6060f1SDimitry Andric _LIBCPP_POP_MACROS
263fe6060f1SDimitry Andric
264fe6060f1SDimitry Andric #endif // _LIBCPP___RANDOM_UNIFORM_INT_DISTRIBUTION_H
265