use core::convert::Infallible;
use rand_core::{Rng, SeedableRng, TryRng, utils};
#[cfg(feature = "serde")]
use serde::{Deserialize, Serialize};
use crate::Seed512;
#[derive(Debug, Clone, PartialEq, Eq)]
#[cfg_attr(feature = "serde", derive(Serialize, Deserialize))]
pub struct Xoshiro512PlusPlus {
s: [u64; 8],
}
impl Xoshiro512PlusPlus {
pub fn jump(&mut self) {
impl_jump!(
u64,
self,
[
0x33ed89b6e7a353f9,
0x760083d7955323be,
0x2837f2fbb5f22fae,
0x4b8c5674d309511c,
0xb11ac47a7ba28c25,
0xf1be7667092bcc1c,
0x53851efdb6df0aaf,
0x1ebbc8b23eaf25db
]
);
}
pub fn long_jump(&mut self) {
impl_jump!(
u64,
self,
[
0x11467fef8f921d28,
0xa2a819f2e79c8ea8,
0xa8299fc284b3959a,
0xb4d347340ca63ee1,
0x1cb0940bedbff6ce,
0xd956c5c4fa1f8e17,
0x915e38fd4eda93bc,
0x5b3ccdfa5d7daca5
]
);
}
}
impl SeedableRng for Xoshiro512PlusPlus {
type Seed = Seed512;
#[inline]
fn from_seed(seed: Seed512) -> Xoshiro512PlusPlus {
deal_with_zero_seed!(seed, Self);
Xoshiro512PlusPlus {
s: utils::read_words(seed.as_ref()),
}
}
fn seed_from_u64(seed: u64) -> Xoshiro512PlusPlus {
from_splitmix!(seed)
}
}
impl TryRng for Xoshiro512PlusPlus {
type Error = Infallible;
#[inline]
fn try_next_u32(&mut self) -> Result<u32, Self::Error> {
Ok((self.next_u64() >> 32) as u32)
}
#[inline]
fn try_next_u64(&mut self) -> Result<u64, Self::Error> {
let result_plusplus = plusplus_u64!(self.s[2], self.s[0], 17);
impl_xoshiro_large!(self);
Ok(result_plusplus)
}
#[inline]
fn try_fill_bytes(&mut self, dest: &mut [u8]) -> Result<(), Self::Error> {
utils::fill_bytes_via_next_word(dest, || self.try_next_u64())
}
}
#[cfg(test)]
mod tests {
use super::*;
#[test]
fn reference() {
let mut rng = Xoshiro512PlusPlus::from_seed(Seed512([
1, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 3, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 0, 0,
0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 0, 0, 0, 0, 0, 7, 0, 0, 0, 0, 0, 0, 0, 8, 0,
0, 0, 0, 0, 0, 0,
]));
let expected = [
524291,
1048578,
539099140,
3299073855497,
6917532603230064654,
7494048333530275843,
14418333309547923463,
10960079161595355914,
18279570946505382726,
10209173166699159237,
];
for &e in &expected {
assert_eq!(rng.next_u64(), e);
}
}
}