| Index: lib/runtime/dart/math.js
|
| diff --git a/lib/runtime/dart/math.js b/lib/runtime/dart/math.js
|
| index b7415d7492b2f359876cc85c57f406d2262275ce..5c172e8e7cf57965dc037bbdd067d34d2feb37ad 100644
|
| --- a/lib/runtime/dart/math.js
|
| +++ b/lib/runtime/dart/math.js
|
| @@ -394,28 +394,28 @@ dart_library.library('dart/math', null, /* Imports */[
|
| }
|
| do {
|
| let low = dart.notNull(seed) & dart.notNull(_Random._MASK32);
|
| - seed = ((dart.notNull(seed) - dart.notNull(low)) / dart.notNull(_POW2_32)).truncate();
|
| + seed = ((dart.notNull(seed) - dart.notNull(low)) / dart.notNull(_POW2_32))[dartx.truncate]();
|
| let high = dart.notNull(seed) & dart.notNull(_Random._MASK32);
|
| - seed = ((dart.notNull(seed) - dart.notNull(high)) / dart.notNull(_POW2_32)).truncate();
|
| + seed = ((dart.notNull(seed) - dart.notNull(high)) / dart.notNull(_POW2_32))[dartx.truncate]();
|
| let tmplow = dart.notNull(low) << 21;
|
| let tmphigh = dart.notNull(high) << 21 | dart.notNull(low) >> 11;
|
| tmplow = (~dart.notNull(low) & dart.notNull(_Random._MASK32)) + dart.notNull(tmplow);
|
| low = dart.notNull(tmplow) & dart.notNull(_Random._MASK32);
|
| - high = ~dart.notNull(high) + dart.notNull(tmphigh) + ((dart.notNull(tmplow) - dart.notNull(low)) / 4294967296).truncate() & dart.notNull(_Random._MASK32);
|
| + high = ~dart.notNull(high) + dart.notNull(tmphigh) + ((dart.notNull(tmplow) - dart.notNull(low)) / 4294967296)[dartx.truncate]() & dart.notNull(_Random._MASK32);
|
| tmphigh = dart.notNull(high) >> 24;
|
| tmplow = dart.notNull(low) >> 24 | dart.notNull(high) << 8;
|
| low = dart.notNull(low) ^ dart.notNull(tmplow);
|
| high = dart.notNull(high) ^ dart.notNull(tmphigh);
|
| tmplow = dart.notNull(low) * 265;
|
| low = dart.notNull(tmplow) & dart.notNull(_Random._MASK32);
|
| - high = dart.notNull(high) * 265 + ((dart.notNull(tmplow) - dart.notNull(low)) / 4294967296).truncate() & dart.notNull(_Random._MASK32);
|
| + high = dart.notNull(high) * 265 + ((dart.notNull(tmplow) - dart.notNull(low)) / 4294967296)[dartx.truncate]() & dart.notNull(_Random._MASK32);
|
| tmphigh = dart.notNull(high) >> 14;
|
| tmplow = dart.notNull(low) >> 14 | dart.notNull(high) << 18;
|
| low = dart.notNull(low) ^ dart.notNull(tmplow);
|
| high = dart.notNull(high) ^ dart.notNull(tmphigh);
|
| tmplow = dart.notNull(low) * 21;
|
| low = dart.notNull(tmplow) & dart.notNull(_Random._MASK32);
|
| - high = dart.notNull(high) * 21 + ((dart.notNull(tmplow) - dart.notNull(low)) / 4294967296).truncate() & dart.notNull(_Random._MASK32);
|
| + high = dart.notNull(high) * 21 + ((dart.notNull(tmplow) - dart.notNull(low)) / 4294967296)[dartx.truncate]() & dart.notNull(_Random._MASK32);
|
| tmphigh = dart.notNull(high) >> 28;
|
| tmplow = dart.notNull(low) >> 28 | dart.notNull(high) << 4;
|
| low = dart.notNull(low) ^ dart.notNull(tmplow);
|
| @@ -424,10 +424,10 @@ dart_library.library('dart/math', null, /* Imports */[
|
| tmphigh = dart.notNull(high) << 31 | dart.notNull(low) >> 1;
|
| tmplow = dart.notNull(tmplow) + dart.notNull(low);
|
| low = dart.notNull(tmplow) & dart.notNull(_Random._MASK32);
|
| - high = dart.notNull(high) + dart.notNull(tmphigh) + ((dart.notNull(tmplow) - dart.notNull(low)) / 4294967296).truncate() & dart.notNull(_Random._MASK32);
|
| + high = dart.notNull(high) + dart.notNull(tmphigh) + ((dart.notNull(tmplow) - dart.notNull(low)) / 4294967296)[dartx.truncate]() & dart.notNull(_Random._MASK32);
|
| tmplow = dart.notNull(this[_lo]) * 1037;
|
| this[_lo] = dart.notNull(tmplow) & dart.notNull(_Random._MASK32);
|
| - this[_hi] = dart.notNull(this[_hi]) * 1037 + ((dart.notNull(tmplow) - dart.notNull(this[_lo])) / 4294967296).truncate() & dart.notNull(_Random._MASK32);
|
| + this[_hi] = dart.notNull(this[_hi]) * 1037 + ((dart.notNull(tmplow) - dart.notNull(this[_lo])) / 4294967296)[dartx.truncate]() & dart.notNull(_Random._MASK32);
|
| this[_lo] = dart.notNull(this[_lo]) ^ dart.notNull(low);
|
| this[_hi] = dart.notNull(this[_hi]) ^ dart.notNull(high);
|
| } while (seed != empty_seed);
|
| @@ -449,7 +449,7 @@ dart_library.library('dart/math', null, /* Imports */[
|
| let newLo = dart.notNull(tmpLoLo) + dart.notNull(tmpHiLo) + dart.notNull(this[_hi]);
|
| this[_lo] = dart.notNull(newLo) & dart.notNull(_Random._MASK32);
|
| let newLoHi = dart.notNull(newLo) - dart.notNull(this[_lo]);
|
| - this[_hi] = ((dart.notNull(tmpLoHi) + dart.notNull(tmpHiHi) + dart.notNull(newLoHi)) / dart.notNull(_POW2_32)).truncate() & dart.notNull(_Random._MASK32);
|
| + this[_hi] = ((dart.notNull(tmpLoHi) + dart.notNull(tmpHiHi) + dart.notNull(newLoHi)) / dart.notNull(_POW2_32))[dartx.truncate]() & dart.notNull(_Random._MASK32);
|
| dart.assert(dart.notNull(this[_lo]) < dart.notNull(_POW2_32));
|
| dart.assert(dart.notNull(this[_hi]) < dart.notNull(_POW2_32));
|
| }
|
|
|