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](); |