Skip to content

<random>: Optimized divisionless implementation of minstd_rand, minstd_rand0 #5256

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 6 commits into from
Mar 13, 2025
Merged

<random>: Optimized divisionless implementation of minstd_rand, minstd_rand0 #5256

Changes from 3 commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
2b58429
Optimized divisionless implementation of minstd
mirounga Jan 27, 2025
33dcc0a
Formatting updates
mirounga Jan 28, 2025
7165215
switched to if constexpr
mirounga Jan 31, 2025
bb4b32a
Merge branch 'main' into mirounga/main
StephanTLavavej Mar 3, 2025
468a296
We don't need to widen `_Ax` and `_Mx`.
StephanTLavavej Mar 3, 2025
7b0905f
Expand comment.
StephanTLavavej Mar 3, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 10 additions & 0 deletions stl/inc/random
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -490,6 +490,16 @@ _NODISCARD _Uint _Next_linear_congruential_value(_Uint _Prev) noexcept {
// numeric_limits<result_type>::max() plus 1." That is: Just do the multiply
// and let normal unsigned modulo take care of it
return static_cast<_Uint>(static_cast<_Uint>(_Ax * _Prev) + _Cx);
} else if constexpr (_Cx == 0 && _Mx == 2147483647) {
// minstd_rand
constexpr unsigned long long _All = static_cast<unsigned long long>(_Ax);
constexpr unsigned long long _Mll = static_cast<unsigned long long>(_Mx);

auto _Mul = static_cast<unsigned long long>(_Prev) * _All;
_Mul = (_Mul >> 31) + (_Mul & _Mll);
_Mul = _Mul < _Mll ? _Mul : _Mul - _Mll;

return static_cast<_Uint>(_Mul);
} else if constexpr (_Cx <= UINT_MAX && static_cast<_Uint>(_Mx - 1) <= (UINT_MAX - _Cx) / _Ax) {
// unsigned int is sufficient to store intermediate calculation
const auto _Mul =
Expand Down