This changes the sequences generated by Random for a given seed,
since the internal state will not be the same as for the unmixed
seed.
It is consistent between VM and dart2js.
The provided integer seed is hashed as follows:
uint64 hash = 0;
while (seed > 0) {
hash = hash * 1037 + mix64((int64)seed);
seed >>= 64;
}
where mix64 mixes the bits of a 64-bit value.
The hash is used to initialize the random generator's internal state.
R=floitsch@google.com, iposva@google.com
Review URL: https://codereview.chromium.org//156533002
git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge/dart@32412 260f80e4-7a28-3924-810f-c04153c831b5
lrn@google.com
d63af4cdc8