seed_seq.h 5.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153
  1. //===----------------------------------------------------------------------===//
  2. //
  3. // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
  4. // See https://llvm.org/LICENSE.txt for license information.
  5. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  6. //
  7. //===----------------------------------------------------------------------===//
  8. #ifndef _LIBCPP___RANDOM_SEED_SEQ_H
  9. #define _LIBCPP___RANDOM_SEED_SEQ_H
  10. #include <__algorithm/copy.h>
  11. #include <__algorithm/fill.h>
  12. #include <__algorithm/max.h>
  13. #include <__config>
  14. #include <initializer_list>
  15. #include <vector>
  16. #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
  17. # pragma GCC system_header
  18. #endif
  19. _LIBCPP_PUSH_MACROS
  20. #include <__undef_macros>
  21. _LIBCPP_BEGIN_NAMESPACE_STD
  22. class _LIBCPP_TEMPLATE_VIS seed_seq
  23. {
  24. public:
  25. // types
  26. typedef uint32_t result_type;
  27. // constructors
  28. _LIBCPP_INLINE_VISIBILITY
  29. seed_seq() _NOEXCEPT {}
  30. #ifndef _LIBCPP_CXX03_LANG
  31. template<class _Tp, __enable_if_t<is_integral<_Tp>::value>* = nullptr>
  32. _LIBCPP_INLINE_VISIBILITY
  33. seed_seq(initializer_list<_Tp> __il) {
  34. __init(__il.begin(), __il.end());
  35. }
  36. #endif // _LIBCPP_CXX03_LANG
  37. template<class _InputIterator>
  38. _LIBCPP_INLINE_VISIBILITY
  39. seed_seq(_InputIterator __first, _InputIterator __last) {
  40. static_assert(is_integral<typename iterator_traits<_InputIterator>::value_type>::value,
  41. "Mandates: iterator_traits<InputIterator>::value_type is an integer type");
  42. __init(__first, __last);
  43. }
  44. // generating functions
  45. template<class _RandomAccessIterator>
  46. void generate(_RandomAccessIterator __first, _RandomAccessIterator __last);
  47. // property functions
  48. _LIBCPP_INLINE_VISIBILITY
  49. size_t size() const _NOEXCEPT {return __v_.size();}
  50. template<class _OutputIterator>
  51. _LIBCPP_INLINE_VISIBILITY
  52. void param(_OutputIterator __dest) const
  53. {_VSTD::copy(__v_.begin(), __v_.end(), __dest);}
  54. seed_seq(const seed_seq&) = delete;
  55. void operator=(const seed_seq&) = delete;
  56. _LIBCPP_INLINE_VISIBILITY
  57. static result_type _Tp(result_type __x) {return __x ^ (__x >> 27);}
  58. private:
  59. template<class _InputIterator>
  60. void __init(_InputIterator __first, _InputIterator __last);
  61. vector<result_type> __v_;
  62. };
  63. template<class _InputIterator>
  64. void
  65. seed_seq::__init(_InputIterator __first, _InputIterator __last)
  66. {
  67. for (_InputIterator __s = __first; __s != __last; ++__s)
  68. __v_.push_back(*__s & 0xFFFFFFFF);
  69. }
  70. template<class _RandomAccessIterator>
  71. void
  72. seed_seq::generate(_RandomAccessIterator __first, _RandomAccessIterator __last)
  73. {
  74. if (__first != __last)
  75. {
  76. _VSTD::fill(__first, __last, 0x8b8b8b8b);
  77. const size_t __n = static_cast<size_t>(__last - __first);
  78. const size_t __s = __v_.size();
  79. const size_t __t = (__n >= 623) ? 11
  80. : (__n >= 68) ? 7
  81. : (__n >= 39) ? 5
  82. : (__n >= 7) ? 3
  83. : (__n - 1) / 2;
  84. const size_t __p = (__n - __t) / 2;
  85. const size_t __q = __p + __t;
  86. const size_t __m = _VSTD::max(__s + 1, __n);
  87. // __k = 0;
  88. {
  89. result_type __r = 1664525 * _Tp(__first[0] ^ __first[__p]
  90. ^ __first[__n - 1]);
  91. __first[__p] += __r;
  92. __r += __s;
  93. __first[__q] += __r;
  94. __first[0] = __r;
  95. }
  96. for (size_t __k = 1; __k <= __s; ++__k)
  97. {
  98. const size_t __kmodn = __k % __n;
  99. const size_t __kpmodn = (__k + __p) % __n;
  100. result_type __r = 1664525 * _Tp(__first[__kmodn] ^ __first[__kpmodn]
  101. ^ __first[(__k - 1) % __n]);
  102. __first[__kpmodn] += __r;
  103. __r += __kmodn + __v_[__k-1];
  104. __first[(__k + __q) % __n] += __r;
  105. __first[__kmodn] = __r;
  106. }
  107. for (size_t __k = __s + 1; __k < __m; ++__k)
  108. {
  109. const size_t __kmodn = __k % __n;
  110. const size_t __kpmodn = (__k + __p) % __n;
  111. result_type __r = 1664525 * _Tp(__first[__kmodn] ^ __first[__kpmodn]
  112. ^ __first[(__k - 1) % __n]);
  113. __first[__kpmodn] += __r;
  114. __r += __kmodn;
  115. __first[(__k + __q) % __n] += __r;
  116. __first[__kmodn] = __r;
  117. }
  118. for (size_t __k = __m; __k < __m + __n; ++__k)
  119. {
  120. const size_t __kmodn = __k % __n;
  121. const size_t __kpmodn = (__k + __p) % __n;
  122. result_type __r = 1566083941 * _Tp(__first[__kmodn] +
  123. __first[__kpmodn] +
  124. __first[(__k - 1) % __n]);
  125. __first[__kpmodn] ^= __r;
  126. __r -= __kmodn;
  127. __first[(__k + __q) % __n] ^= __r;
  128. __first[__kmodn] = __r;
  129. }
  130. }
  131. }
  132. _LIBCPP_END_NAMESPACE_STD
  133. _LIBCPP_POP_MACROS
  134. #endif // _LIBCPP___RANDOM_SEED_SEQ_H