! https://www.pcg-random.org/
! The state is an array of four u64 values in this order: x1, x2, x3, c.
-TUPLE: Mwc256XXA64 state ;
+! Since we are only returning 32 bits per step of this 64-bit PRNG, the rest are
+! saved in the rem field.
+TUPLE: Mwc256XXA64 state rem ;
<PRIVATE
: next-u64 ( obj -- n )
dup state>> third multiply [ pick state>> first3 permute ] keep
- swap [ update-state ] dip ;
+ swap [ update-state ] dip ; inline
+
+! If cache is f, use quot to produce a new pair of values from obj: one to be
+! cached, and one to be used. Otherwise return cache as value and cache' = f.
+: cache ( obj cache/f quot: ( obj -- n1 n2 ) -- value cache' )
+ [ nip f ] swap if* ; inline
PRIVATE>
: <Mwc256XXA64> ( key1 key2 -- obj )
- 0xcafef00dd15ea5e5 0x14057B7EF767814F 4array \ Mwc256XXA64 boa
- 6 [ dup next-u64 drop ] times ; inline
+ 0xcafef00dd15ea5e5 0x14057B7EF767814F 4array f \ Mwc256XXA64 boa
+ 6 [ dup next-u64 drop ] times ;
M: Mwc256XXA64 random-32*
- next-u64 32 bits ;
+ dup [ [ next-u64 d>w/w ] cache ] change-rem drop ;
! https://github.com/tkaitchuck/Mwc256XXA64/blob/main/impl/src/gen64.rs
! https://www.pcg-random.org/
-STRUCT: Mwc256XXA64
- { x1 ulonglong } { x2 ulonglong } { x3 ulonglong } { c ulonglong } ;
+! Since we are only returning 32 bits per step of this 64-bit PRNG, the rest are
+! saved in the rem field.
+TUPLE: Mwc256XXA64 x1 x2 x3 c rem ;
<PRIVATE
: permute ( high x1 x2 x3 -- n )
[ bitxor ] 2bi@ W+ ; inline
-:: rot-state ( struct x1 c -- struct' )
- struct
- struct x2>> >>x3
- struct x1>> >>x2
+:: rot-state ( obj x1 c -- struct' )
+ obj
+ obj x2>> >>x3
+ obj x1>> >>x2
x1 >>x1
c >>c ; inline
-: update-state ( struct low high -- )
+: update-state ( obj low high -- )
[ over c>> + big>d/d ] dip W+ rot-state drop ; inline
-: next-u64 ( struct -- n )
+: next-u64 ( obj -- n )
dup x3>> multiply [ pick [ x1>> ] [ x2>> ] [ x3>> ] tri permute ] keep
- swap [ update-state ] dip ;
+ swap [ update-state ] dip ; inline
+
+! If cache is f, use quot to produce a new pair of values from obj: one to be
+! cached, and one to be used. Otherwise return cache as value and cache' = f.
+: cache ( obj cache/f quot: ( obj -- n1 n2 ) -- value cache' )
+ [ nip f ] swap if* ; inline
PRIVATE>
: <Mwc256XXA64> ( key1 key2 -- obj )
- 0xcafef00dd15ea5e5 0x14057B7EF767814F Mwc256XXA64 <struct-boa>
+ 0xcafef00dd15ea5e5 0x14057B7EF767814F f Mwc256XXA64 boa
6 [ dup next-u64 drop ] times ;
M: Mwc256XXA64 random-32*
- next-u64 32 bits ;
+ dup [ [ next-u64 d>w/w ] cache ] change-rem drop ;
! USING: random random.pcg-mwc random.pcg-mwc-vec ;
! gc 0 0 random.pcg-mwc:<Mwc256XXA64> [ 10,000,000 [ dup random-32* drop ] times ] time drop
-! gc 0 0 random.pcg-mwc-vec:<Mwc256XXA64> [ 10,000,000 [ dup random-32* drop ] times ] time drop
\ No newline at end of file
+! gc 0 0 random.pcg-mwc-vec:<Mwc256XXA64> [ 10,000,000 [ dup random-32* drop ] times ] time drop