| Index: lib/runtime/dart/math.js
|
| diff --git a/lib/runtime/dart/math.js b/lib/runtime/dart/math.js
|
| index 40e4033ef1b0c66efeb7b1d1b311ec326d7cd7e1..b167cdec406e5d50f9df2dddbcf09536f6d8b1c8 100644
|
| --- a/lib/runtime/dart/math.js
|
| +++ b/lib/runtime/dart/math.js
|
| @@ -320,10 +320,7 @@ var math;
|
| _JSRandom[dart.implements] = () => [Random];
|
| let _lo = Symbol('_lo');
|
| let _hi = Symbol('_hi');
|
| - let _MASK32 = Symbol('_MASK32');
|
| let _nextState = Symbol('_nextState');
|
| - let _POW2_27_D = Symbol('_POW2_27_D');
|
| - let _POW2_53_D = Symbol('_POW2_53_D');
|
| class _Random extends core.Object {
|
| _Random(seed) {
|
| this[_lo] = 0;
|
| @@ -333,29 +330,29 @@ var math;
|
| empty_seed = -1;
|
| }
|
| do {
|
| - let low = dart.notNull(seed) & dart.notNull(_Random[_MASK32]);
|
| + let low = dart.notNull(seed) & dart.notNull(_Random._MASK32);
|
| seed = ((dart.notNull(seed) - dart.notNull(low)) / dart.notNull(_POW2_32)).truncate();
|
| - let high = dart.notNull(seed) & dart.notNull(_Random[_MASK32]);
|
| + let high = dart.notNull(seed) & dart.notNull(_Random._MASK32);
|
| seed = ((dart.notNull(seed) - dart.notNull(high)) / dart.notNull(_POW2_32)).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]);
|
| + 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);
|
| 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]);
|
| + 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);
|
| 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]);
|
| + 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);
|
| tmphigh = dart.notNull(high) >> 28;
|
| tmplow = dart.notNull(low) >> 28 | dart.notNull(high) << 4;
|
| low = dart.notNull(low) ^ dart.notNull(tmplow);
|
| @@ -363,11 +360,11 @@ var math;
|
| tmplow = dart.notNull(low) << 31;
|
| 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]);
|
| + 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);
|
| 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[_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[_lo] = dart.notNull(this[_lo]) ^ dart.notNull(low);
|
| this[_hi] = dart.notNull(this[_hi]) ^ dart.notNull(high);
|
| } while (seed != empty_seed);
|
| @@ -381,15 +378,15 @@ var math;
|
| }
|
| [_nextState]() {
|
| let tmpHi = 4294901760 * dart.notNull(this[_lo]);
|
| - let tmpHiLo = dart.notNull(tmpHi) & dart.notNull(_Random[_MASK32]);
|
| + let tmpHiLo = dart.notNull(tmpHi) & dart.notNull(_Random._MASK32);
|
| let tmpHiHi = dart.notNull(tmpHi) - dart.notNull(tmpHiLo);
|
| let tmpLo = 55905 * dart.notNull(this[_lo]);
|
| - let tmpLoLo = dart.notNull(tmpLo) & dart.notNull(_Random[_MASK32]);
|
| + let tmpLoLo = dart.notNull(tmpLo) & dart.notNull(_Random._MASK32);
|
| let tmpLoHi = dart.notNull(tmpLo) - dart.notNull(tmpLoLo);
|
| let newLo = dart.notNull(tmpLoLo) + dart.notNull(tmpHiLo) + dart.notNull(this[_hi]);
|
| - this[_lo] = dart.notNull(newLo) & dart.notNull(_Random[_MASK32]);
|
| + 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)).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));
|
| }
|
| @@ -415,7 +412,7 @@ var math;
|
| let bits26 = dart.notNull(this[_lo]) & (1 << 26) - 1;
|
| this[_nextState]();
|
| let bits27 = dart.notNull(this[_lo]) & (1 << 27) - 1;
|
| - return (dart.notNull(bits26) * dart.notNull(_Random[_POW2_27_D]) + dart.notNull(bits27)) / dart.notNull(_Random[_POW2_53_D]);
|
| + return (dart.notNull(bits26) * dart.notNull(_Random._POW2_27_D) + dart.notNull(bits27)) / dart.notNull(_Random._POW2_53_D);
|
| }
|
| nextBool() {
|
| this[_nextState]();
|
|
|