Source code
Revision control
Copy as Markdown
Other Tools
// Copyright 2009 the Sputnik authors. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
info: Check operator x >>> y in distinct points
es5id: 11.7.3_A4_T2
description: ShiftExpression = 2^n - 1, n = 16...31
---*/
//CHECK
if (1 >>> 16 !== 0) {
throw new Test262Error('#513: 1 >>> 16 === 0. Actual: ' + (1 >>> 16));
}
if (2 >>> 16 !== 0) {
throw new Test262Error('#514: 2 >>> 16 === 0. Actual: ' + (2 >>> 16));
}
if (4 >>> 16 !== 0) {
throw new Test262Error('#515: 4 >>> 16 === 0. Actual: ' + (4 >>> 16));
}
if (8 >>> 16 !== 0) {
throw new Test262Error('#516: 8 >>> 16 === 0. Actual: ' + (8 >>> 16));
}
if (16 >>> 16 !== 0) {
throw new Test262Error('#517: 16 >>> 16 === 0. Actual: ' + (16 >>> 16));
}
if (32 >>> 16 !== 0) {
throw new Test262Error('#518: 32 >>> 16 === 0. Actual: ' + (32 >>> 16));
}
if (64 >>> 16 !== 0) {
throw new Test262Error('#519: 64 >>> 16 === 0. Actual: ' + (64 >>> 16));
}
if (128 >>> 16 !== 0) {
throw new Test262Error('#520: 128 >>> 16 === 0. Actual: ' + (128 >>> 16));
}
if (256 >>> 16 !== 0) {
throw new Test262Error('#521: 256 >>> 16 === 0. Actual: ' + (256 >>> 16));
}
if (512 >>> 16 !== 0) {
throw new Test262Error('#522: 512 >>> 16 === 0. Actual: ' + (512 >>> 16));
}
if (1024 >>> 16 !== 0) {
throw new Test262Error('#523: 1024 >>> 16 === 0. Actual: ' + (1024 >>> 16));
}
if (2048 >>> 16 !== 0) {
throw new Test262Error('#524: 2048 >>> 16 === 0. Actual: ' + (2048 >>> 16));
}
if (4096 >>> 16 !== 0) {
throw new Test262Error('#525: 4096 >>> 16 === 0. Actual: ' + (4096 >>> 16));
}
if (8192 >>> 16 !== 0) {
throw new Test262Error('#526: 8192 >>> 16 === 0. Actual: ' + (8192 >>> 16));
}
if (16384 >>> 16 !== 0) {
throw new Test262Error('#527: 16384 >>> 16 === 0. Actual: ' + (16384 >>> 16));
}
if (32768 >>> 16 !== 0) {
throw new Test262Error('#528: 32768 >>> 16 === 0. Actual: ' + (32768 >>> 16));
}
if (65536 >>> 16 !== 1) {
throw new Test262Error('#529: 65536 >>> 16 === 1. Actual: ' + (65536 >>> 16));
}
if (131072 >>> 16 !== 2) {
throw new Test262Error('#530: 131072 >>> 16 === 2. Actual: ' + (131072 >>> 16));
}
if (262144 >>> 16 !== 4) {
throw new Test262Error('#531: 262144 >>> 16 === 4. Actual: ' + (262144 >>> 16));
}
if (524288 >>> 16 !== 8) {
throw new Test262Error('#532: 524288 >>> 16 === 8. Actual: ' + (524288 >>> 16));
}
if (1048576 >>> 16 !== 16) {
throw new Test262Error('#533: 1048576 >>> 16 === 16. Actual: ' + (1048576 >>> 16));
}
if (2097152 >>> 16 !== 32) {
throw new Test262Error('#534: 2097152 >>> 16 === 32. Actual: ' + (2097152 >>> 16));
}
if (4194304 >>> 16 !== 64) {
throw new Test262Error('#535: 4194304 >>> 16 === 64. Actual: ' + (4194304 >>> 16));
}
if (8388608 >>> 16 !== 128) {
throw new Test262Error('#536: 8388608 >>> 16 === 128. Actual: ' + (8388608 >>> 16));
}
if (16777216 >>> 16 !== 256) {
throw new Test262Error('#537: 16777216 >>> 16 === 256. Actual: ' + (16777216 >>> 16));
}
if (33554432 >>> 16 !== 512) {
throw new Test262Error('#538: 33554432 >>> 16 === 512. Actual: ' + (33554432 >>> 16));
}
if (67108864 >>> 16 !== 1024) {
throw new Test262Error('#539: 67108864 >>> 16 === 1024. Actual: ' + (67108864 >>> 16));
}
if (134217728 >>> 16 !== 2048) {
throw new Test262Error('#540: 134217728 >>> 16 === 2048. Actual: ' + (134217728 >>> 16));
}
if (268435456 >>> 16 !== 4096) {
throw new Test262Error('#541: 268435456 >>> 16 === 4096. Actual: ' + (268435456 >>> 16));
}
if (536870912 >>> 16 !== 8192) {
throw new Test262Error('#542: 536870912 >>> 16 === 8192. Actual: ' + (536870912 >>> 16));
}
if (1073741824 >>> 16 !== 16384) {
throw new Test262Error('#543: 1073741824 >>> 16 === 16384. Actual: ' + (1073741824 >>> 16));
}
if (2147483648 >>> 16 !== 32768) {
throw new Test262Error('#544: 2147483648 >>> 16 === 32768. Actual: ' + (2147483648 >>> 16));
}
if (1 >>> 17 !== 0) {
throw new Test262Error('#545: 1 >>> 17 === 0. Actual: ' + (1 >>> 17));
}
if (2 >>> 17 !== 0) {
throw new Test262Error('#546: 2 >>> 17 === 0. Actual: ' + (2 >>> 17));
}
if (4 >>> 17 !== 0) {
throw new Test262Error('#547: 4 >>> 17 === 0. Actual: ' + (4 >>> 17));
}
if (8 >>> 17 !== 0) {
throw new Test262Error('#548: 8 >>> 17 === 0. Actual: ' + (8 >>> 17));
}
if (16 >>> 17 !== 0) {
throw new Test262Error('#549: 16 >>> 17 === 0. Actual: ' + (16 >>> 17));
}
if (32 >>> 17 !== 0) {
throw new Test262Error('#550: 32 >>> 17 === 0. Actual: ' + (32 >>> 17));
}
if (64 >>> 17 !== 0) {
throw new Test262Error('#551: 64 >>> 17 === 0. Actual: ' + (64 >>> 17));
}
if (128 >>> 17 !== 0) {
throw new Test262Error('#552: 128 >>> 17 === 0. Actual: ' + (128 >>> 17));
}
if (256 >>> 17 !== 0) {
throw new Test262Error('#553: 256 >>> 17 === 0. Actual: ' + (256 >>> 17));
}
if (512 >>> 17 !== 0) {
throw new Test262Error('#554: 512 >>> 17 === 0. Actual: ' + (512 >>> 17));
}
if (1024 >>> 17 !== 0) {
throw new Test262Error('#555: 1024 >>> 17 === 0. Actual: ' + (1024 >>> 17));
}
if (2048 >>> 17 !== 0) {
throw new Test262Error('#556: 2048 >>> 17 === 0. Actual: ' + (2048 >>> 17));
}
if (4096 >>> 17 !== 0) {
throw new Test262Error('#557: 4096 >>> 17 === 0. Actual: ' + (4096 >>> 17));
}
if (8192 >>> 17 !== 0) {
throw new Test262Error('#558: 8192 >>> 17 === 0. Actual: ' + (8192 >>> 17));
}
if (16384 >>> 17 !== 0) {
throw new Test262Error('#559: 16384 >>> 17 === 0. Actual: ' + (16384 >>> 17));
}
if (32768 >>> 17 !== 0) {
throw new Test262Error('#560: 32768 >>> 17 === 0. Actual: ' + (32768 >>> 17));
}
if (65536 >>> 17 !== 0) {
throw new Test262Error('#561: 65536 >>> 17 === 0. Actual: ' + (65536 >>> 17));
}
if (131072 >>> 17 !== 1) {
throw new Test262Error('#562: 131072 >>> 17 === 1. Actual: ' + (131072 >>> 17));
}
if (262144 >>> 17 !== 2) {
throw new Test262Error('#563: 262144 >>> 17 === 2. Actual: ' + (262144 >>> 17));
}
if (524288 >>> 17 !== 4) {
throw new Test262Error('#564: 524288 >>> 17 === 4. Actual: ' + (524288 >>> 17));
}
if (1048576 >>> 17 !== 8) {
throw new Test262Error('#565: 1048576 >>> 17 === 8. Actual: ' + (1048576 >>> 17));
}
if (2097152 >>> 17 !== 16) {
throw new Test262Error('#566: 2097152 >>> 17 === 16. Actual: ' + (2097152 >>> 17));
}
if (4194304 >>> 17 !== 32) {
throw new Test262Error('#567: 4194304 >>> 17 === 32. Actual: ' + (4194304 >>> 17));
}
if (8388608 >>> 17 !== 64) {
throw new Test262Error('#568: 8388608 >>> 17 === 64. Actual: ' + (8388608 >>> 17));
}
if (16777216 >>> 17 !== 128) {
throw new Test262Error('#569: 16777216 >>> 17 === 128. Actual: ' + (16777216 >>> 17));
}
if (33554432 >>> 17 !== 256) {
throw new Test262Error('#570: 33554432 >>> 17 === 256. Actual: ' + (33554432 >>> 17));
}
if (67108864 >>> 17 !== 512) {
throw new Test262Error('#571: 67108864 >>> 17 === 512. Actual: ' + (67108864 >>> 17));
}
if (134217728 >>> 17 !== 1024) {
throw new Test262Error('#572: 134217728 >>> 17 === 1024. Actual: ' + (134217728 >>> 17));
}
if (268435456 >>> 17 !== 2048) {
throw new Test262Error('#573: 268435456 >>> 17 === 2048. Actual: ' + (268435456 >>> 17));
}
if (536870912 >>> 17 !== 4096) {
throw new Test262Error('#574: 536870912 >>> 17 === 4096. Actual: ' + (536870912 >>> 17));
}
if (1073741824 >>> 17 !== 8192) {
throw new Test262Error('#575: 1073741824 >>> 17 === 8192. Actual: ' + (1073741824 >>> 17));
}
if (2147483648 >>> 17 !== 16384) {
throw new Test262Error('#576: 2147483648 >>> 17 === 16384. Actual: ' + (2147483648 >>> 17));
}
if (1 >>> 18 !== 0) {
throw new Test262Error('#577: 1 >>> 18 === 0. Actual: ' + (1 >>> 18));
}
if (2 >>> 18 !== 0) {
throw new Test262Error('#578: 2 >>> 18 === 0. Actual: ' + (2 >>> 18));
}
if (4 >>> 18 !== 0) {
throw new Test262Error('#579: 4 >>> 18 === 0. Actual: ' + (4 >>> 18));
}
if (8 >>> 18 !== 0) {
throw new Test262Error('#580: 8 >>> 18 === 0. Actual: ' + (8 >>> 18));
}
if (16 >>> 18 !== 0) {
throw new Test262Error('#581: 16 >>> 18 === 0. Actual: ' + (16 >>> 18));
}
if (32 >>> 18 !== 0) {
throw new Test262Error('#582: 32 >>> 18 === 0. Actual: ' + (32 >>> 18));
}
if (64 >>> 18 !== 0) {
throw new Test262Error('#583: 64 >>> 18 === 0. Actual: ' + (64 >>> 18));
}
if (128 >>> 18 !== 0) {
throw new Test262Error('#584: 128 >>> 18 === 0. Actual: ' + (128 >>> 18));
}
if (256 >>> 18 !== 0) {
throw new Test262Error('#585: 256 >>> 18 === 0. Actual: ' + (256 >>> 18));
}
if (512 >>> 18 !== 0) {
throw new Test262Error('#586: 512 >>> 18 === 0. Actual: ' + (512 >>> 18));
}
if (1024 >>> 18 !== 0) {
throw new Test262Error('#587: 1024 >>> 18 === 0. Actual: ' + (1024 >>> 18));
}
if (2048 >>> 18 !== 0) {
throw new Test262Error('#588: 2048 >>> 18 === 0. Actual: ' + (2048 >>> 18));
}
if (4096 >>> 18 !== 0) {
throw new Test262Error('#589: 4096 >>> 18 === 0. Actual: ' + (4096 >>> 18));
}
if (8192 >>> 18 !== 0) {
throw new Test262Error('#590: 8192 >>> 18 === 0. Actual: ' + (8192 >>> 18));
}
if (16384 >>> 18 !== 0) {
throw new Test262Error('#591: 16384 >>> 18 === 0. Actual: ' + (16384 >>> 18));
}
if (32768 >>> 18 !== 0) {
throw new Test262Error('#592: 32768 >>> 18 === 0. Actual: ' + (32768 >>> 18));
}
if (65536 >>> 18 !== 0) {
throw new Test262Error('#593: 65536 >>> 18 === 0. Actual: ' + (65536 >>> 18));
}
if (131072 >>> 18 !== 0) {
throw new Test262Error('#594: 131072 >>> 18 === 0. Actual: ' + (131072 >>> 18));
}
if (262144 >>> 18 !== 1) {
throw new Test262Error('#595: 262144 >>> 18 === 1. Actual: ' + (262144 >>> 18));
}
if (524288 >>> 18 !== 2) {
throw new Test262Error('#596: 524288 >>> 18 === 2. Actual: ' + (524288 >>> 18));
}
if (1048576 >>> 18 !== 4) {
throw new Test262Error('#597: 1048576 >>> 18 === 4. Actual: ' + (1048576 >>> 18));
}
if (2097152 >>> 18 !== 8) {
throw new Test262Error('#598: 2097152 >>> 18 === 8. Actual: ' + (2097152 >>> 18));
}
if (4194304 >>> 18 !== 16) {
throw new Test262Error('#599: 4194304 >>> 18 === 16. Actual: ' + (4194304 >>> 18));
}
if (8388608 >>> 18 !== 32) {
throw new Test262Error('#600: 8388608 >>> 18 === 32. Actual: ' + (8388608 >>> 18));
}
if (16777216 >>> 18 !== 64) {
throw new Test262Error('#601: 16777216 >>> 18 === 64. Actual: ' + (16777216 >>> 18));
}
if (33554432 >>> 18 !== 128) {
throw new Test262Error('#602: 33554432 >>> 18 === 128. Actual: ' + (33554432 >>> 18));
}
if (67108864 >>> 18 !== 256) {
throw new Test262Error('#603: 67108864 >>> 18 === 256. Actual: ' + (67108864 >>> 18));
}
if (134217728 >>> 18 !== 512) {
throw new Test262Error('#604: 134217728 >>> 18 === 512. Actual: ' + (134217728 >>> 18));
}
if (268435456 >>> 18 !== 1024) {
throw new Test262Error('#605: 268435456 >>> 18 === 1024. Actual: ' + (268435456 >>> 18));
}
if (536870912 >>> 18 !== 2048) {
throw new Test262Error('#606: 536870912 >>> 18 === 2048. Actual: ' + (536870912 >>> 18));
}
if (1073741824 >>> 18 !== 4096) {
throw new Test262Error('#607: 1073741824 >>> 18 === 4096. Actual: ' + (1073741824 >>> 18));
}
if (2147483648 >>> 18 !== 8192) {
throw new Test262Error('#608: 2147483648 >>> 18 === 8192. Actual: ' + (2147483648 >>> 18));
}
if (1 >>> 19 !== 0) {
throw new Test262Error('#609: 1 >>> 19 === 0. Actual: ' + (1 >>> 19));
}
if (2 >>> 19 !== 0) {
throw new Test262Error('#610: 2 >>> 19 === 0. Actual: ' + (2 >>> 19));
}
if (4 >>> 19 !== 0) {
throw new Test262Error('#611: 4 >>> 19 === 0. Actual: ' + (4 >>> 19));
}
if (8 >>> 19 !== 0) {
throw new Test262Error('#612: 8 >>> 19 === 0. Actual: ' + (8 >>> 19));
}
if (16 >>> 19 !== 0) {
throw new Test262Error('#613: 16 >>> 19 === 0. Actual: ' + (16 >>> 19));
}
if (32 >>> 19 !== 0) {
throw new Test262Error('#614: 32 >>> 19 === 0. Actual: ' + (32 >>> 19));
}
if (64 >>> 19 !== 0) {
throw new Test262Error('#615: 64 >>> 19 === 0. Actual: ' + (64 >>> 19));
}
if (128 >>> 19 !== 0) {
throw new Test262Error('#616: 128 >>> 19 === 0. Actual: ' + (128 >>> 19));
}
if (256 >>> 19 !== 0) {
throw new Test262Error('#617: 256 >>> 19 === 0. Actual: ' + (256 >>> 19));
}
if (512 >>> 19 !== 0) {
throw new Test262Error('#618: 512 >>> 19 === 0. Actual: ' + (512 >>> 19));
}
if (1024 >>> 19 !== 0) {
throw new Test262Error('#619: 1024 >>> 19 === 0. Actual: ' + (1024 >>> 19));
}
if (2048 >>> 19 !== 0) {
throw new Test262Error('#620: 2048 >>> 19 === 0. Actual: ' + (2048 >>> 19));
}
if (4096 >>> 19 !== 0) {
throw new Test262Error('#621: 4096 >>> 19 === 0. Actual: ' + (4096 >>> 19));
}
if (8192 >>> 19 !== 0) {
throw new Test262Error('#622: 8192 >>> 19 === 0. Actual: ' + (8192 >>> 19));
}
if (16384 >>> 19 !== 0) {
throw new Test262Error('#623: 16384 >>> 19 === 0. Actual: ' + (16384 >>> 19));
}
if (32768 >>> 19 !== 0) {
throw new Test262Error('#624: 32768 >>> 19 === 0. Actual: ' + (32768 >>> 19));
}
if (65536 >>> 19 !== 0) {
throw new Test262Error('#625: 65536 >>> 19 === 0. Actual: ' + (65536 >>> 19));
}
if (131072 >>> 19 !== 0) {
throw new Test262Error('#626: 131072 >>> 19 === 0. Actual: ' + (131072 >>> 19));
}
if (262144 >>> 19 !== 0) {
throw new Test262Error('#627: 262144 >>> 19 === 0. Actual: ' + (262144 >>> 19));
}
if (524288 >>> 19 !== 1) {
throw new Test262Error('#628: 524288 >>> 19 === 1. Actual: ' + (524288 >>> 19));
}
if (1048576 >>> 19 !== 2) {
throw new Test262Error('#629: 1048576 >>> 19 === 2. Actual: ' + (1048576 >>> 19));
}
if (2097152 >>> 19 !== 4) {
throw new Test262Error('#630: 2097152 >>> 19 === 4. Actual: ' + (2097152 >>> 19));
}
if (4194304 >>> 19 !== 8) {
throw new Test262Error('#631: 4194304 >>> 19 === 8. Actual: ' + (4194304 >>> 19));
}
if (8388608 >>> 19 !== 16) {
throw new Test262Error('#632: 8388608 >>> 19 === 16. Actual: ' + (8388608 >>> 19));
}
if (16777216 >>> 19 !== 32) {
throw new Test262Error('#633: 16777216 >>> 19 === 32. Actual: ' + (16777216 >>> 19));
}
if (33554432 >>> 19 !== 64) {
throw new Test262Error('#634: 33554432 >>> 19 === 64. Actual: ' + (33554432 >>> 19));
}
if (67108864 >>> 19 !== 128) {
throw new Test262Error('#635: 67108864 >>> 19 === 128. Actual: ' + (67108864 >>> 19));
}
if (134217728 >>> 19 !== 256) {
throw new Test262Error('#636: 134217728 >>> 19 === 256. Actual: ' + (134217728 >>> 19));
}
if (268435456 >>> 19 !== 512) {
throw new Test262Error('#637: 268435456 >>> 19 === 512. Actual: ' + (268435456 >>> 19));
}
if (536870912 >>> 19 !== 1024) {
throw new Test262Error('#638: 536870912 >>> 19 === 1024. Actual: ' + (536870912 >>> 19));
}
if (1073741824 >>> 19 !== 2048) {
throw new Test262Error('#639: 1073741824 >>> 19 === 2048. Actual: ' + (1073741824 >>> 19));
}
if (2147483648 >>> 19 !== 4096) {
throw new Test262Error('#640: 2147483648 >>> 19 === 4096. Actual: ' + (2147483648 >>> 19));
}
if (1 >>> 20 !== 0) {
throw new Test262Error('#641: 1 >>> 20 === 0. Actual: ' + (1 >>> 20));
}
if (2 >>> 20 !== 0) {
throw new Test262Error('#642: 2 >>> 20 === 0. Actual: ' + (2 >>> 20));
}
if (4 >>> 20 !== 0) {
throw new Test262Error('#643: 4 >>> 20 === 0. Actual: ' + (4 >>> 20));
}
if (8 >>> 20 !== 0) {
throw new Test262Error('#644: 8 >>> 20 === 0. Actual: ' + (8 >>> 20));
}
if (16 >>> 20 !== 0) {
throw new Test262Error('#645: 16 >>> 20 === 0. Actual: ' + (16 >>> 20));
}
if (32 >>> 20 !== 0) {
throw new Test262Error('#646: 32 >>> 20 === 0. Actual: ' + (32 >>> 20));
}
if (64 >>> 20 !== 0) {
throw new Test262Error('#647: 64 >>> 20 === 0. Actual: ' + (64 >>> 20));
}
if (128 >>> 20 !== 0) {
throw new Test262Error('#648: 128 >>> 20 === 0. Actual: ' + (128 >>> 20));
}
if (256 >>> 20 !== 0) {
throw new Test262Error('#649: 256 >>> 20 === 0. Actual: ' + (256 >>> 20));
}
if (512 >>> 20 !== 0) {
throw new Test262Error('#650: 512 >>> 20 === 0. Actual: ' + (512 >>> 20));
}
if (1024 >>> 20 !== 0) {
throw new Test262Error('#651: 1024 >>> 20 === 0. Actual: ' + (1024 >>> 20));
}
if (2048 >>> 20 !== 0) {
throw new Test262Error('#652: 2048 >>> 20 === 0. Actual: ' + (2048 >>> 20));
}
if (4096 >>> 20 !== 0) {
throw new Test262Error('#653: 4096 >>> 20 === 0. Actual: ' + (4096 >>> 20));
}
if (8192 >>> 20 !== 0) {
throw new Test262Error('#654: 8192 >>> 20 === 0. Actual: ' + (8192 >>> 20));
}
if (16384 >>> 20 !== 0) {
throw new Test262Error('#655: 16384 >>> 20 === 0. Actual: ' + (16384 >>> 20));
}
if (32768 >>> 20 !== 0) {
throw new Test262Error('#656: 32768 >>> 20 === 0. Actual: ' + (32768 >>> 20));
}
if (65536 >>> 20 !== 0) {
throw new Test262Error('#657: 65536 >>> 20 === 0. Actual: ' + (65536 >>> 20));
}
if (131072 >>> 20 !== 0) {
throw new Test262Error('#658: 131072 >>> 20 === 0. Actual: ' + (131072 >>> 20));
}
if (262144 >>> 20 !== 0) {
throw new Test262Error('#659: 262144 >>> 20 === 0. Actual: ' + (262144 >>> 20));
}
if (524288 >>> 20 !== 0) {
throw new Test262Error('#660: 524288 >>> 20 === 0. Actual: ' + (524288 >>> 20));
}
if (1048576 >>> 20 !== 1) {
throw new Test262Error('#661: 1048576 >>> 20 === 1. Actual: ' + (1048576 >>> 20));
}
if (2097152 >>> 20 !== 2) {
throw new Test262Error('#662: 2097152 >>> 20 === 2. Actual: ' + (2097152 >>> 20));
}
if (4194304 >>> 20 !== 4) {
throw new Test262Error('#663: 4194304 >>> 20 === 4. Actual: ' + (4194304 >>> 20));
}
if (8388608 >>> 20 !== 8) {
throw new Test262Error('#664: 8388608 >>> 20 === 8. Actual: ' + (8388608 >>> 20));
}
if (16777216 >>> 20 !== 16) {
throw new Test262Error('#665: 16777216 >>> 20 === 16. Actual: ' + (16777216 >>> 20));
}
if (33554432 >>> 20 !== 32) {
throw new Test262Error('#666: 33554432 >>> 20 === 32. Actual: ' + (33554432 >>> 20));
}
if (67108864 >>> 20 !== 64) {
throw new Test262Error('#667: 67108864 >>> 20 === 64. Actual: ' + (67108864 >>> 20));
}
if (134217728 >>> 20 !== 128) {
throw new Test262Error('#668: 134217728 >>> 20 === 128. Actual: ' + (134217728 >>> 20));
}
if (268435456 >>> 20 !== 256) {
throw new Test262Error('#669: 268435456 >>> 20 === 256. Actual: ' + (268435456 >>> 20));
}
if (536870912 >>> 20 !== 512) {
throw new Test262Error('#670: 536870912 >>> 20 === 512. Actual: ' + (536870912 >>> 20));
}
if (1073741824 >>> 20 !== 1024) {
throw new Test262Error('#671: 1073741824 >>> 20 === 1024. Actual: ' + (1073741824 >>> 20));
}
if (2147483648 >>> 20 !== 2048) {
throw new Test262Error('#672: 2147483648 >>> 20 === 2048. Actual: ' + (2147483648 >>> 20));
}
if (1 >>> 21 !== 0) {
throw new Test262Error('#673: 1 >>> 21 === 0. Actual: ' + (1 >>> 21));
}
if (2 >>> 21 !== 0) {
throw new Test262Error('#674: 2 >>> 21 === 0. Actual: ' + (2 >>> 21));
}
if (4 >>> 21 !== 0) {
throw new Test262Error('#675: 4 >>> 21 === 0. Actual: ' + (4 >>> 21));
}
if (8 >>> 21 !== 0) {
throw new Test262Error('#676: 8 >>> 21 === 0. Actual: ' + (8 >>> 21));
}
if (16 >>> 21 !== 0) {
throw new Test262Error('#677: 16 >>> 21 === 0. Actual: ' + (16 >>> 21));
}
if (32 >>> 21 !== 0) {
throw new Test262Error('#678: 32 >>> 21 === 0. Actual: ' + (32 >>> 21));
}
if (64 >>> 21 !== 0) {
throw new Test262Error('#679: 64 >>> 21 === 0. Actual: ' + (64 >>> 21));
}
if (128 >>> 21 !== 0) {
throw new Test262Error('#680: 128 >>> 21 === 0. Actual: ' + (128 >>> 21));
}
if (256 >>> 21 !== 0) {
throw new Test262Error('#681: 256 >>> 21 === 0. Actual: ' + (256 >>> 21));
}
if (512 >>> 21 !== 0) {
throw new Test262Error('#682: 512 >>> 21 === 0. Actual: ' + (512 >>> 21));
}
if (1024 >>> 21 !== 0) {
throw new Test262Error('#683: 1024 >>> 21 === 0. Actual: ' + (1024 >>> 21));
}
if (2048 >>> 21 !== 0) {
throw new Test262Error('#684: 2048 >>> 21 === 0. Actual: ' + (2048 >>> 21));
}
if (4096 >>> 21 !== 0) {
throw new Test262Error('#685: 4096 >>> 21 === 0. Actual: ' + (4096 >>> 21));
}
if (8192 >>> 21 !== 0) {
throw new Test262Error('#686: 8192 >>> 21 === 0. Actual: ' + (8192 >>> 21));
}
if (16384 >>> 21 !== 0) {
throw new Test262Error('#687: 16384 >>> 21 === 0. Actual: ' + (16384 >>> 21));
}
if (32768 >>> 21 !== 0) {
throw new Test262Error('#688: 32768 >>> 21 === 0. Actual: ' + (32768 >>> 21));
}
if (65536 >>> 21 !== 0) {
throw new Test262Error('#689: 65536 >>> 21 === 0. Actual: ' + (65536 >>> 21));
}
if (131072 >>> 21 !== 0) {
throw new Test262Error('#690: 131072 >>> 21 === 0. Actual: ' + (131072 >>> 21));
}
if (262144 >>> 21 !== 0) {
throw new Test262Error('#691: 262144 >>> 21 === 0. Actual: ' + (262144 >>> 21));
}
if (524288 >>> 21 !== 0) {
throw new Test262Error('#692: 524288 >>> 21 === 0. Actual: ' + (524288 >>> 21));
}
if (1048576 >>> 21 !== 0) {
throw new Test262Error('#693: 1048576 >>> 21 === 0. Actual: ' + (1048576 >>> 21));
}
if (2097152 >>> 21 !== 1) {
throw new Test262Error('#694: 2097152 >>> 21 === 1. Actual: ' + (2097152 >>> 21));
}
if (4194304 >>> 21 !== 2) {
throw new Test262Error('#695: 4194304 >>> 21 === 2. Actual: ' + (4194304 >>> 21));
}
if (8388608 >>> 21 !== 4) {
throw new Test262Error('#696: 8388608 >>> 21 === 4. Actual: ' + (8388608 >>> 21));
}
if (16777216 >>> 21 !== 8) {
throw new Test262Error('#697: 16777216 >>> 21 === 8. Actual: ' + (16777216 >>> 21));
}
if (33554432 >>> 21 !== 16) {
throw new Test262Error('#698: 33554432 >>> 21 === 16. Actual: ' + (33554432 >>> 21));
}
if (67108864 >>> 21 !== 32) {
throw new Test262Error('#699: 67108864 >>> 21 === 32. Actual: ' + (67108864 >>> 21));
}
if (134217728 >>> 21 !== 64) {
throw new Test262Error('#700: 134217728 >>> 21 === 64. Actual: ' + (134217728 >>> 21));
}
if (268435456 >>> 21 !== 128) {
throw new Test262Error('#701: 268435456 >>> 21 === 128. Actual: ' + (268435456 >>> 21));
}
if (536870912 >>> 21 !== 256) {
throw new Test262Error('#702: 536870912 >>> 21 === 256. Actual: ' + (536870912 >>> 21));
}
if (1073741824 >>> 21 !== 512) {
throw new Test262Error('#703: 1073741824 >>> 21 === 512. Actual: ' + (1073741824 >>> 21));
}
if (2147483648 >>> 21 !== 1024) {
throw new Test262Error('#704: 2147483648 >>> 21 === 1024. Actual: ' + (2147483648 >>> 21));
}
if (1 >>> 22 !== 0) {
throw new Test262Error('#705: 1 >>> 22 === 0. Actual: ' + (1 >>> 22));
}
if (2 >>> 22 !== 0) {
throw new Test262Error('#706: 2 >>> 22 === 0. Actual: ' + (2 >>> 22));
}
if (4 >>> 22 !== 0) {
throw new Test262Error('#707: 4 >>> 22 === 0. Actual: ' + (4 >>> 22));
}
if (8 >>> 22 !== 0) {
throw new Test262Error('#708: 8 >>> 22 === 0. Actual: ' + (8 >>> 22));
}
if (16 >>> 22 !== 0) {
throw new Test262Error('#709: 16 >>> 22 === 0. Actual: ' + (16 >>> 22));
}
if (32 >>> 22 !== 0) {
throw new Test262Error('#710: 32 >>> 22 === 0. Actual: ' + (32 >>> 22));
}
if (64 >>> 22 !== 0) {
throw new Test262Error('#711: 64 >>> 22 === 0. Actual: ' + (64 >>> 22));
}
if (128 >>> 22 !== 0) {
throw new Test262Error('#712: 128 >>> 22 === 0. Actual: ' + (128 >>> 22));
}
if (256 >>> 22 !== 0) {
throw new Test262Error('#713: 256 >>> 22 === 0. Actual: ' + (256 >>> 22));
}
if (512 >>> 22 !== 0) {
throw new Test262Error('#714: 512 >>> 22 === 0. Actual: ' + (512 >>> 22));
}
if (1024 >>> 22 !== 0) {
throw new Test262Error('#715: 1024 >>> 22 === 0. Actual: ' + (1024 >>> 22));
}
if (2048 >>> 22 !== 0) {
throw new Test262Error('#716: 2048 >>> 22 === 0. Actual: ' + (2048 >>> 22));
}
if (4096 >>> 22 !== 0) {
throw new Test262Error('#717: 4096 >>> 22 === 0. Actual: ' + (4096 >>> 22));
}
if (8192 >>> 22 !== 0) {
throw new Test262Error('#718: 8192 >>> 22 === 0. Actual: ' + (8192 >>> 22));
}
if (16384 >>> 22 !== 0) {
throw new Test262Error('#719: 16384 >>> 22 === 0. Actual: ' + (16384 >>> 22));
}
if (32768 >>> 22 !== 0) {
throw new Test262Error('#720: 32768 >>> 22 === 0. Actual: ' + (32768 >>> 22));
}
if (65536 >>> 22 !== 0) {
throw new Test262Error('#721: 65536 >>> 22 === 0. Actual: ' + (65536 >>> 22));
}
if (131072 >>> 22 !== 0) {
throw new Test262Error('#722: 131072 >>> 22 === 0. Actual: ' + (131072 >>> 22));
}
if (262144 >>> 22 !== 0) {
throw new Test262Error('#723: 262144 >>> 22 === 0. Actual: ' + (262144 >>> 22));
}
if (524288 >>> 22 !== 0) {
throw new Test262Error('#724: 524288 >>> 22 === 0. Actual: ' + (524288 >>> 22));
}
if (1048576 >>> 22 !== 0) {
throw new Test262Error('#725: 1048576 >>> 22 === 0. Actual: ' + (1048576 >>> 22));
}
if (2097152 >>> 22 !== 0) {
throw new Test262Error('#726: 2097152 >>> 22 === 0. Actual: ' + (2097152 >>> 22));
}
if (4194304 >>> 22 !== 1) {
throw new Test262Error('#727: 4194304 >>> 22 === 1. Actual: ' + (4194304 >>> 22));
}
if (8388608 >>> 22 !== 2) {
throw new Test262Error('#728: 8388608 >>> 22 === 2. Actual: ' + (8388608 >>> 22));
}
if (16777216 >>> 22 !== 4) {
throw new Test262Error('#729: 16777216 >>> 22 === 4. Actual: ' + (16777216 >>> 22));
}
if (33554432 >>> 22 !== 8) {
throw new Test262Error('#730: 33554432 >>> 22 === 8. Actual: ' + (33554432 >>> 22));
}
if (67108864 >>> 22 !== 16) {
throw new Test262Error('#731: 67108864 >>> 22 === 16. Actual: ' + (67108864 >>> 22));
}
if (134217728 >>> 22 !== 32) {
throw new Test262Error('#732: 134217728 >>> 22 === 32. Actual: ' + (134217728 >>> 22));
}
if (268435456 >>> 22 !== 64) {
throw new Test262Error('#733: 268435456 >>> 22 === 64. Actual: ' + (268435456 >>> 22));
}
if (536870912 >>> 22 !== 128) {
throw new Test262Error('#734: 536870912 >>> 22 === 128. Actual: ' + (536870912 >>> 22));
}
if (1073741824 >>> 22 !== 256) {
throw new Test262Error('#735: 1073741824 >>> 22 === 256. Actual: ' + (1073741824 >>> 22));
}
if (2147483648 >>> 22 !== 512) {
throw new Test262Error('#736: 2147483648 >>> 22 === 512. Actual: ' + (2147483648 >>> 22));
}
if (1 >>> 23 !== 0) {
throw new Test262Error('#737: 1 >>> 23 === 0. Actual: ' + (1 >>> 23));
}
if (2 >>> 23 !== 0) {
throw new Test262Error('#738: 2 >>> 23 === 0. Actual: ' + (2 >>> 23));
}
if (4 >>> 23 !== 0) {
throw new Test262Error('#739: 4 >>> 23 === 0. Actual: ' + (4 >>> 23));
}
if (8 >>> 23 !== 0) {
throw new Test262Error('#740: 8 >>> 23 === 0. Actual: ' + (8 >>> 23));
}
if (16 >>> 23 !== 0) {
throw new Test262Error('#741: 16 >>> 23 === 0. Actual: ' + (16 >>> 23));
}
if (32 >>> 23 !== 0) {
throw new Test262Error('#742: 32 >>> 23 === 0. Actual: ' + (32 >>> 23));
}
if (64 >>> 23 !== 0) {
throw new Test262Error('#743: 64 >>> 23 === 0. Actual: ' + (64 >>> 23));
}
if (128 >>> 23 !== 0) {
throw new Test262Error('#744: 128 >>> 23 === 0. Actual: ' + (128 >>> 23));
}
if (256 >>> 23 !== 0) {
throw new Test262Error('#745: 256 >>> 23 === 0. Actual: ' + (256 >>> 23));
}
if (512 >>> 23 !== 0) {
throw new Test262Error('#746: 512 >>> 23 === 0. Actual: ' + (512 >>> 23));
}
if (1024 >>> 23 !== 0) {
throw new Test262Error('#747: 1024 >>> 23 === 0. Actual: ' + (1024 >>> 23));
}
if (2048 >>> 23 !== 0) {
throw new Test262Error('#748: 2048 >>> 23 === 0. Actual: ' + (2048 >>> 23));
}
if (4096 >>> 23 !== 0) {
throw new Test262Error('#749: 4096 >>> 23 === 0. Actual: ' + (4096 >>> 23));
}
if (8192 >>> 23 !== 0) {
throw new Test262Error('#750: 8192 >>> 23 === 0. Actual: ' + (8192 >>> 23));
}
if (16384 >>> 23 !== 0) {
throw new Test262Error('#751: 16384 >>> 23 === 0. Actual: ' + (16384 >>> 23));
}
if (32768 >>> 23 !== 0) {
throw new Test262Error('#752: 32768 >>> 23 === 0. Actual: ' + (32768 >>> 23));
}
if (65536 >>> 23 !== 0) {
throw new Test262Error('#753: 65536 >>> 23 === 0. Actual: ' + (65536 >>> 23));
}
if (131072 >>> 23 !== 0) {
throw new Test262Error('#754: 131072 >>> 23 === 0. Actual: ' + (131072 >>> 23));
}
if (262144 >>> 23 !== 0) {
throw new Test262Error('#755: 262144 >>> 23 === 0. Actual: ' + (262144 >>> 23));
}
if (524288 >>> 23 !== 0) {
throw new Test262Error('#756: 524288 >>> 23 === 0. Actual: ' + (524288 >>> 23));
}
if (1048576 >>> 23 !== 0) {
throw new Test262Error('#757: 1048576 >>> 23 === 0. Actual: ' + (1048576 >>> 23));
}
if (2097152 >>> 23 !== 0) {
throw new Test262Error('#758: 2097152 >>> 23 === 0. Actual: ' + (2097152 >>> 23));
}
if (4194304 >>> 23 !== 0) {
throw new Test262Error('#759: 4194304 >>> 23 === 0. Actual: ' + (4194304 >>> 23));
}
if (8388608 >>> 23 !== 1) {
throw new Test262Error('#760: 8388608 >>> 23 === 1. Actual: ' + (8388608 >>> 23));
}
if (16777216 >>> 23 !== 2) {
throw new Test262Error('#761: 16777216 >>> 23 === 2. Actual: ' + (16777216 >>> 23));
}
if (33554432 >>> 23 !== 4) {
throw new Test262Error('#762: 33554432 >>> 23 === 4. Actual: ' + (33554432 >>> 23));
}
if (67108864 >>> 23 !== 8) {
throw new Test262Error('#763: 67108864 >>> 23 === 8. Actual: ' + (67108864 >>> 23));
}
if (134217728 >>> 23 !== 16) {
throw new Test262Error('#764: 134217728 >>> 23 === 16. Actual: ' + (134217728 >>> 23));
}
if (268435456 >>> 23 !== 32) {
throw new Test262Error('#765: 268435456 >>> 23 === 32. Actual: ' + (268435456 >>> 23));
}
if (536870912 >>> 23 !== 64) {
throw new Test262Error('#766: 536870912 >>> 23 === 64. Actual: ' + (536870912 >>> 23));
}
if (1073741824 >>> 23 !== 128) {
throw new Test262Error('#767: 1073741824 >>> 23 === 128. Actual: ' + (1073741824 >>> 23));
}
if (2147483648 >>> 23 !== 256) {
throw new Test262Error('#768: 2147483648 >>> 23 === 256. Actual: ' + (2147483648 >>> 23));
}
if (1 >>> 24 !== 0) {
throw new Test262Error('#769: 1 >>> 24 === 0. Actual: ' + (1 >>> 24));
}
if (2 >>> 24 !== 0) {
throw new Test262Error('#770: 2 >>> 24 === 0. Actual: ' + (2 >>> 24));
}
if (4 >>> 24 !== 0) {
throw new Test262Error('#771: 4 >>> 24 === 0. Actual: ' + (4 >>> 24));
}
if (8 >>> 24 !== 0) {
throw new Test262Error('#772: 8 >>> 24 === 0. Actual: ' + (8 >>> 24));
}
if (16 >>> 24 !== 0) {
throw new Test262Error('#773: 16 >>> 24 === 0. Actual: ' + (16 >>> 24));
}
if (32 >>> 24 !== 0) {
throw new Test262Error('#774: 32 >>> 24 === 0. Actual: ' + (32 >>> 24));
}
if (64 >>> 24 !== 0) {
throw new Test262Error('#775: 64 >>> 24 === 0. Actual: ' + (64 >>> 24));
}
if (128 >>> 24 !== 0) {
throw new Test262Error('#776: 128 >>> 24 === 0. Actual: ' + (128 >>> 24));
}
if (256 >>> 24 !== 0) {
throw new Test262Error('#777: 256 >>> 24 === 0. Actual: ' + (256 >>> 24));
}
if (512 >>> 24 !== 0) {
throw new Test262Error('#778: 512 >>> 24 === 0. Actual: ' + (512 >>> 24));
}
if (1024 >>> 24 !== 0) {
throw new Test262Error('#779: 1024 >>> 24 === 0. Actual: ' + (1024 >>> 24));
}
if (2048 >>> 24 !== 0) {
throw new Test262Error('#780: 2048 >>> 24 === 0. Actual: ' + (2048 >>> 24));
}
if (4096 >>> 24 !== 0) {
throw new Test262Error('#781: 4096 >>> 24 === 0. Actual: ' + (4096 >>> 24));
}
if (8192 >>> 24 !== 0) {
throw new Test262Error('#782: 8192 >>> 24 === 0. Actual: ' + (8192 >>> 24));
}
if (16384 >>> 24 !== 0) {
throw new Test262Error('#783: 16384 >>> 24 === 0. Actual: ' + (16384 >>> 24));
}
if (32768 >>> 24 !== 0) {
throw new Test262Error('#784: 32768 >>> 24 === 0. Actual: ' + (32768 >>> 24));
}
if (65536 >>> 24 !== 0) {
throw new Test262Error('#785: 65536 >>> 24 === 0. Actual: ' + (65536 >>> 24));
}
if (131072 >>> 24 !== 0) {
throw new Test262Error('#786: 131072 >>> 24 === 0. Actual: ' + (131072 >>> 24));
}
if (262144 >>> 24 !== 0) {
throw new Test262Error('#787: 262144 >>> 24 === 0. Actual: ' + (262144 >>> 24));
}
if (524288 >>> 24 !== 0) {
throw new Test262Error('#788: 524288 >>> 24 === 0. Actual: ' + (524288 >>> 24));
}
if (1048576 >>> 24 !== 0) {
throw new Test262Error('#789: 1048576 >>> 24 === 0. Actual: ' + (1048576 >>> 24));
}
if (2097152 >>> 24 !== 0) {
throw new Test262Error('#790: 2097152 >>> 24 === 0. Actual: ' + (2097152 >>> 24));
}
if (4194304 >>> 24 !== 0) {
throw new Test262Error('#791: 4194304 >>> 24 === 0. Actual: ' + (4194304 >>> 24));
}
if (8388608 >>> 24 !== 0) {
throw new Test262Error('#792: 8388608 >>> 24 === 0. Actual: ' + (8388608 >>> 24));
}
if (16777216 >>> 24 !== 1) {
throw new Test262Error('#793: 16777216 >>> 24 === 1. Actual: ' + (16777216 >>> 24));
}
if (33554432 >>> 24 !== 2) {
throw new Test262Error('#794: 33554432 >>> 24 === 2. Actual: ' + (33554432 >>> 24));
}
if (67108864 >>> 24 !== 4) {
throw new Test262Error('#795: 67108864 >>> 24 === 4. Actual: ' + (67108864 >>> 24));
}
if (134217728 >>> 24 !== 8) {
throw new Test262Error('#796: 134217728 >>> 24 === 8. Actual: ' + (134217728 >>> 24));
}
if (268435456 >>> 24 !== 16) {
throw new Test262Error('#797: 268435456 >>> 24 === 16. Actual: ' + (268435456 >>> 24));
}
if (536870912 >>> 24 !== 32) {
throw new Test262Error('#798: 536870912 >>> 24 === 32. Actual: ' + (536870912 >>> 24));
}
if (1073741824 >>> 24 !== 64) {
throw new Test262Error('#799: 1073741824 >>> 24 === 64. Actual: ' + (1073741824 >>> 24));
}
if (2147483648 >>> 24 !== 128) {
throw new Test262Error('#800: 2147483648 >>> 24 === 128. Actual: ' + (2147483648 >>> 24));
}
if (1 >>> 25 !== 0) {
throw new Test262Error('#801: 1 >>> 25 === 0. Actual: ' + (1 >>> 25));
}
if (2 >>> 25 !== 0) {
throw new Test262Error('#802: 2 >>> 25 === 0. Actual: ' + (2 >>> 25));
}
if (4 >>> 25 !== 0) {
throw new Test262Error('#803: 4 >>> 25 === 0. Actual: ' + (4 >>> 25));
}
if (8 >>> 25 !== 0) {
throw new Test262Error('#804: 8 >>> 25 === 0. Actual: ' + (8 >>> 25));
}
if (16 >>> 25 !== 0) {
throw new Test262Error('#805: 16 >>> 25 === 0. Actual: ' + (16 >>> 25));
}
if (32 >>> 25 !== 0) {
throw new Test262Error('#806: 32 >>> 25 === 0. Actual: ' + (32 >>> 25));
}
if (64 >>> 25 !== 0) {
throw new Test262Error('#807: 64 >>> 25 === 0. Actual: ' + (64 >>> 25));
}
if (128 >>> 25 !== 0) {
throw new Test262Error('#808: 128 >>> 25 === 0. Actual: ' + (128 >>> 25));
}
if (256 >>> 25 !== 0) {
throw new Test262Error('#809: 256 >>> 25 === 0. Actual: ' + (256 >>> 25));
}
if (512 >>> 25 !== 0) {
throw new Test262Error('#810: 512 >>> 25 === 0. Actual: ' + (512 >>> 25));
}
if (1024 >>> 25 !== 0) {
throw new Test262Error('#811: 1024 >>> 25 === 0. Actual: ' + (1024 >>> 25));
}
if (2048 >>> 25 !== 0) {
throw new Test262Error('#812: 2048 >>> 25 === 0. Actual: ' + (2048 >>> 25));
}
if (4096 >>> 25 !== 0) {
throw new Test262Error('#813: 4096 >>> 25 === 0. Actual: ' + (4096 >>> 25));
}
if (8192 >>> 25 !== 0) {
throw new Test262Error('#814: 8192 >>> 25 === 0. Actual: ' + (8192 >>> 25));
}
if (16384 >>> 25 !== 0) {
throw new Test262Error('#815: 16384 >>> 25 === 0. Actual: ' + (16384 >>> 25));
}
if (32768 >>> 25 !== 0) {
throw new Test262Error('#816: 32768 >>> 25 === 0. Actual: ' + (32768 >>> 25));
}
if (65536 >>> 25 !== 0) {
throw new Test262Error('#817: 65536 >>> 25 === 0. Actual: ' + (65536 >>> 25));
}
if (131072 >>> 25 !== 0) {
throw new Test262Error('#818: 131072 >>> 25 === 0. Actual: ' + (131072 >>> 25));
}
if (262144 >>> 25 !== 0) {
throw new Test262Error('#819: 262144 >>> 25 === 0. Actual: ' + (262144 >>> 25));
}
if (524288 >>> 25 !== 0) {
throw new Test262Error('#820: 524288 >>> 25 === 0. Actual: ' + (524288 >>> 25));
}
if (1048576 >>> 25 !== 0) {
throw new Test262Error('#821: 1048576 >>> 25 === 0. Actual: ' + (1048576 >>> 25));
}
if (2097152 >>> 25 !== 0) {
throw new Test262Error('#822: 2097152 >>> 25 === 0. Actual: ' + (2097152 >>> 25));
}
if (4194304 >>> 25 !== 0) {
throw new Test262Error('#823: 4194304 >>> 25 === 0. Actual: ' + (4194304 >>> 25));
}
if (8388608 >>> 25 !== 0) {
throw new Test262Error('#824: 8388608 >>> 25 === 0. Actual: ' + (8388608 >>> 25));
}
if (16777216 >>> 25 !== 0) {
throw new Test262Error('#825: 16777216 >>> 25 === 0. Actual: ' + (16777216 >>> 25));
}
if (33554432 >>> 25 !== 1) {
throw new Test262Error('#826: 33554432 >>> 25 === 1. Actual: ' + (33554432 >>> 25));
}
if (67108864 >>> 25 !== 2) {
throw new Test262Error('#827: 67108864 >>> 25 === 2. Actual: ' + (67108864 >>> 25));
}
if (134217728 >>> 25 !== 4) {
throw new Test262Error('#828: 134217728 >>> 25 === 4. Actual: ' + (134217728 >>> 25));
}
if (268435456 >>> 25 !== 8) {
throw new Test262Error('#829: 268435456 >>> 25 === 8. Actual: ' + (268435456 >>> 25));
}
if (536870912 >>> 25 !== 16) {
throw new Test262Error('#830: 536870912 >>> 25 === 16. Actual: ' + (536870912 >>> 25));
}
if (1073741824 >>> 25 !== 32) {
throw new Test262Error('#831: 1073741824 >>> 25 === 32. Actual: ' + (1073741824 >>> 25));
}
if (2147483648 >>> 25 !== 64) {
throw new Test262Error('#832: 2147483648 >>> 25 === 64. Actual: ' + (2147483648 >>> 25));
}
if (1 >>> 26 !== 0) {
throw new Test262Error('#833: 1 >>> 26 === 0. Actual: ' + (1 >>> 26));
}
if (2 >>> 26 !== 0) {
throw new Test262Error('#834: 2 >>> 26 === 0. Actual: ' + (2 >>> 26));
}
if (4 >>> 26 !== 0) {
throw new Test262Error('#835: 4 >>> 26 === 0. Actual: ' + (4 >>> 26));
}
if (8 >>> 26 !== 0) {
throw new Test262Error('#836: 8 >>> 26 === 0. Actual: ' + (8 >>> 26));
}
if (16 >>> 26 !== 0) {
throw new Test262Error('#837: 16 >>> 26 === 0. Actual: ' + (16 >>> 26));
}
if (32 >>> 26 !== 0) {
throw new Test262Error('#838: 32 >>> 26 === 0. Actual: ' + (32 >>> 26));
}
if (64 >>> 26 !== 0) {
throw new Test262Error('#839: 64 >>> 26 === 0. Actual: ' + (64 >>> 26));
}
if (128 >>> 26 !== 0) {
throw new Test262Error('#840: 128 >>> 26 === 0. Actual: ' + (128 >>> 26));
}
if (256 >>> 26 !== 0) {
throw new Test262Error('#841: 256 >>> 26 === 0. Actual: ' + (256 >>> 26));
}
if (512 >>> 26 !== 0) {
throw new Test262Error('#842: 512 >>> 26 === 0. Actual: ' + (512 >>> 26));
}
if (1024 >>> 26 !== 0) {
throw new Test262Error('#843: 1024 >>> 26 === 0. Actual: ' + (1024 >>> 26));
}
if (2048 >>> 26 !== 0) {
throw new Test262Error('#844: 2048 >>> 26 === 0. Actual: ' + (2048 >>> 26));
}
if (4096 >>> 26 !== 0) {
throw new Test262Error('#845: 4096 >>> 26 === 0. Actual: ' + (4096 >>> 26));
}
if (8192 >>> 26 !== 0) {
throw new Test262Error('#846: 8192 >>> 26 === 0. Actual: ' + (8192 >>> 26));
}
if (16384 >>> 26 !== 0) {
throw new Test262Error('#847: 16384 >>> 26 === 0. Actual: ' + (16384 >>> 26));
}
if (32768 >>> 26 !== 0) {
throw new Test262Error('#848: 32768 >>> 26 === 0. Actual: ' + (32768 >>> 26));
}
if (65536 >>> 26 !== 0) {
throw new Test262Error('#849: 65536 >>> 26 === 0. Actual: ' + (65536 >>> 26));
}
if (131072 >>> 26 !== 0) {
throw new Test262Error('#850: 131072 >>> 26 === 0. Actual: ' + (131072 >>> 26));
}
if (262144 >>> 26 !== 0) {
throw new Test262Error('#851: 262144 >>> 26 === 0. Actual: ' + (262144 >>> 26));
}
if (524288 >>> 26 !== 0) {
throw new Test262Error('#852: 524288 >>> 26 === 0. Actual: ' + (524288 >>> 26));
}
if (1048576 >>> 26 !== 0) {
throw new Test262Error('#853: 1048576 >>> 26 === 0. Actual: ' + (1048576 >>> 26));
}
if (2097152 >>> 26 !== 0) {
throw new Test262Error('#854: 2097152 >>> 26 === 0. Actual: ' + (2097152 >>> 26));
}
if (4194304 >>> 26 !== 0) {
throw new Test262Error('#855: 4194304 >>> 26 === 0. Actual: ' + (4194304 >>> 26));
}
if (8388608 >>> 26 !== 0) {
throw new Test262Error('#856: 8388608 >>> 26 === 0. Actual: ' + (8388608 >>> 26));
}
if (16777216 >>> 26 !== 0) {
throw new Test262Error('#857: 16777216 >>> 26 === 0. Actual: ' + (16777216 >>> 26));
}
if (33554432 >>> 26 !== 0) {
throw new Test262Error('#858: 33554432 >>> 26 === 0. Actual: ' + (33554432 >>> 26));
}
if (67108864 >>> 26 !== 1) {
throw new Test262Error('#859: 67108864 >>> 26 === 1. Actual: ' + (67108864 >>> 26));
}
if (134217728 >>> 26 !== 2) {
throw new Test262Error('#860: 134217728 >>> 26 === 2. Actual: ' + (134217728 >>> 26));
}
if (268435456 >>> 26 !== 4) {
throw new Test262Error('#861: 268435456 >>> 26 === 4. Actual: ' + (268435456 >>> 26));
}
if (536870912 >>> 26 !== 8) {
throw new Test262Error('#862: 536870912 >>> 26 === 8. Actual: ' + (536870912 >>> 26));
}
if (1073741824 >>> 26 !== 16) {
throw new Test262Error('#863: 1073741824 >>> 26 === 16. Actual: ' + (1073741824 >>> 26));
}
if (2147483648 >>> 26 !== 32) {
throw new Test262Error('#864: 2147483648 >>> 26 === 32. Actual: ' + (2147483648 >>> 26));
}
if (1 >>> 27 !== 0) {
throw new Test262Error('#865: 1 >>> 27 === 0. Actual: ' + (1 >>> 27));
}
if (2 >>> 27 !== 0) {
throw new Test262Error('#866: 2 >>> 27 === 0. Actual: ' + (2 >>> 27));
}
if (4 >>> 27 !== 0) {
throw new Test262Error('#867: 4 >>> 27 === 0. Actual: ' + (4 >>> 27));
}
if (8 >>> 27 !== 0) {
throw new Test262Error('#868: 8 >>> 27 === 0. Actual: ' + (8 >>> 27));
}
if (16 >>> 27 !== 0) {
throw new Test262Error('#869: 16 >>> 27 === 0. Actual: ' + (16 >>> 27));
}
if (32 >>> 27 !== 0) {
throw new Test262Error('#870: 32 >>> 27 === 0. Actual: ' + (32 >>> 27));
}
if (64 >>> 27 !== 0) {
throw new Test262Error('#871: 64 >>> 27 === 0. Actual: ' + (64 >>> 27));
}
if (128 >>> 27 !== 0) {
throw new Test262Error('#872: 128 >>> 27 === 0. Actual: ' + (128 >>> 27));
}
if (256 >>> 27 !== 0) {
throw new Test262Error('#873: 256 >>> 27 === 0. Actual: ' + (256 >>> 27));
}
if (512 >>> 27 !== 0) {
throw new Test262Error('#874: 512 >>> 27 === 0. Actual: ' + (512 >>> 27));
}
if (1024 >>> 27 !== 0) {
throw new Test262Error('#875: 1024 >>> 27 === 0. Actual: ' + (1024 >>> 27));
}
if (2048 >>> 27 !== 0) {
throw new Test262Error('#876: 2048 >>> 27 === 0. Actual: ' + (2048 >>> 27));
}
if (4096 >>> 27 !== 0) {
throw new Test262Error('#877: 4096 >>> 27 === 0. Actual: ' + (4096 >>> 27));
}
if (8192 >>> 27 !== 0) {
throw new Test262Error('#878: 8192 >>> 27 === 0. Actual: ' + (8192 >>> 27));
}
if (16384 >>> 27 !== 0) {
throw new Test262Error('#879: 16384 >>> 27 === 0. Actual: ' + (16384 >>> 27));
}
if (32768 >>> 27 !== 0) {
throw new Test262Error('#880: 32768 >>> 27 === 0. Actual: ' + (32768 >>> 27));
}
if (65536 >>> 27 !== 0) {
throw new Test262Error('#881: 65536 >>> 27 === 0. Actual: ' + (65536 >>> 27));
}
if (131072 >>> 27 !== 0) {
throw new Test262Error('#882: 131072 >>> 27 === 0. Actual: ' + (131072 >>> 27));
}
if (262144 >>> 27 !== 0) {
throw new Test262Error('#883: 262144 >>> 27 === 0. Actual: ' + (262144 >>> 27));
}
if (524288 >>> 27 !== 0) {
throw new Test262Error('#884: 524288 >>> 27 === 0. Actual: ' + (524288 >>> 27));
}
if (1048576 >>> 27 !== 0) {
throw new Test262Error('#885: 1048576 >>> 27 === 0. Actual: ' + (1048576 >>> 27));
}
if (2097152 >>> 27 !== 0) {
throw new Test262Error('#886: 2097152 >>> 27 === 0. Actual: ' + (2097152 >>> 27));
}
if (4194304 >>> 27 !== 0) {
throw new Test262Error('#887: 4194304 >>> 27 === 0. Actual: ' + (4194304 >>> 27));
}
if (8388608 >>> 27 !== 0) {
throw new Test262Error('#888: 8388608 >>> 27 === 0. Actual: ' + (8388608 >>> 27));
}
if (16777216 >>> 27 !== 0) {
throw new Test262Error('#889: 16777216 >>> 27 === 0. Actual: ' + (16777216 >>> 27));
}
if (33554432 >>> 27 !== 0) {
throw new Test262Error('#890: 33554432 >>> 27 === 0. Actual: ' + (33554432 >>> 27));
}
if (67108864 >>> 27 !== 0) {
throw new Test262Error('#891: 67108864 >>> 27 === 0. Actual: ' + (67108864 >>> 27));
}
if (134217728 >>> 27 !== 1) {
throw new Test262Error('#892: 134217728 >>> 27 === 1. Actual: ' + (134217728 >>> 27));
}
if (268435456 >>> 27 !== 2) {
throw new Test262Error('#893: 268435456 >>> 27 === 2. Actual: ' + (268435456 >>> 27));
}
if (536870912 >>> 27 !== 4) {
throw new Test262Error('#894: 536870912 >>> 27 === 4. Actual: ' + (536870912 >>> 27));
}
if (1073741824 >>> 27 !== 8) {
throw new Test262Error('#895: 1073741824 >>> 27 === 8. Actual: ' + (1073741824 >>> 27));
}
if (2147483648 >>> 27 !== 16) {
throw new Test262Error('#896: 2147483648 >>> 27 === 16. Actual: ' + (2147483648 >>> 27));
}
if (1 >>> 28 !== 0) {
throw new Test262Error('#897: 1 >>> 28 === 0. Actual: ' + (1 >>> 28));
}
if (2 >>> 28 !== 0) {
throw new Test262Error('#898: 2 >>> 28 === 0. Actual: ' + (2 >>> 28));
}
if (4 >>> 28 !== 0) {
throw new Test262Error('#899: 4 >>> 28 === 0. Actual: ' + (4 >>> 28));
}
if (8 >>> 28 !== 0) {
throw new Test262Error('#900: 8 >>> 28 === 0. Actual: ' + (8 >>> 28));
}
if (16 >>> 28 !== 0) {
throw new Test262Error('#901: 16 >>> 28 === 0. Actual: ' + (16 >>> 28));
}
if (32 >>> 28 !== 0) {
throw new Test262Error('#902: 32 >>> 28 === 0. Actual: ' + (32 >>> 28));
}
if (64 >>> 28 !== 0) {
throw new Test262Error('#903: 64 >>> 28 === 0. Actual: ' + (64 >>> 28));
}
if (128 >>> 28 !== 0) {
throw new Test262Error('#904: 128 >>> 28 === 0. Actual: ' + (128 >>> 28));
}
if (256 >>> 28 !== 0) {
throw new Test262Error('#905: 256 >>> 28 === 0. Actual: ' + (256 >>> 28));
}
if (512 >>> 28 !== 0) {
throw new Test262Error('#906: 512 >>> 28 === 0. Actual: ' + (512 >>> 28));
}
if (1024 >>> 28 !== 0) {
throw new Test262Error('#907: 1024 >>> 28 === 0. Actual: ' + (1024 >>> 28));
}
if (2048 >>> 28 !== 0) {
throw new Test262Error('#908: 2048 >>> 28 === 0. Actual: ' + (2048 >>> 28));
}
if (4096 >>> 28 !== 0) {
throw new Test262Error('#909: 4096 >>> 28 === 0. Actual: ' + (4096 >>> 28));
}
if (8192 >>> 28 !== 0) {
throw new Test262Error('#910: 8192 >>> 28 === 0. Actual: ' + (8192 >>> 28));
}
if (16384 >>> 28 !== 0) {
throw new Test262Error('#911: 16384 >>> 28 === 0. Actual: ' + (16384 >>> 28));
}
if (32768 >>> 28 !== 0) {
throw new Test262Error('#912: 32768 >>> 28 === 0. Actual: ' + (32768 >>> 28));
}
if (65536 >>> 28 !== 0) {
throw new Test262Error('#913: 65536 >>> 28 === 0. Actual: ' + (65536 >>> 28));
}
if (131072 >>> 28 !== 0) {
throw new Test262Error('#914: 131072 >>> 28 === 0. Actual: ' + (131072 >>> 28));
}
if (262144 >>> 28 !== 0) {
throw new Test262Error('#915: 262144 >>> 28 === 0. Actual: ' + (262144 >>> 28));
}
if (524288 >>> 28 !== 0) {
throw new Test262Error('#916: 524288 >>> 28 === 0. Actual: ' + (524288 >>> 28));
}
if (1048576 >>> 28 !== 0) {
throw new Test262Error('#917: 1048576 >>> 28 === 0. Actual: ' + (1048576 >>> 28));
}
if (2097152 >>> 28 !== 0) {
throw new Test262Error('#918: 2097152 >>> 28 === 0. Actual: ' + (2097152 >>> 28));
}
if (4194304 >>> 28 !== 0) {
throw new Test262Error('#919: 4194304 >>> 28 === 0. Actual: ' + (4194304 >>> 28));
}
if (8388608 >>> 28 !== 0) {
throw new Test262Error('#920: 8388608 >>> 28 === 0. Actual: ' + (8388608 >>> 28));
}
if (16777216 >>> 28 !== 0) {
throw new Test262Error('#921: 16777216 >>> 28 === 0. Actual: ' + (16777216 >>> 28));
}
if (33554432 >>> 28 !== 0) {
throw new Test262Error('#922: 33554432 >>> 28 === 0. Actual: ' + (33554432 >>> 28));
}
if (67108864 >>> 28 !== 0) {
throw new Test262Error('#923: 67108864 >>> 28 === 0. Actual: ' + (67108864 >>> 28));
}
if (134217728 >>> 28 !== 0) {
throw new Test262Error('#924: 134217728 >>> 28 === 0. Actual: ' + (134217728 >>> 28));
}
if (268435456 >>> 28 !== 1) {
throw new Test262Error('#925: 268435456 >>> 28 === 1. Actual: ' + (268435456 >>> 28));
}
if (536870912 >>> 28 !== 2) {
throw new Test262Error('#926: 536870912 >>> 28 === 2. Actual: ' + (536870912 >>> 28));
}
if (1073741824 >>> 28 !== 4) {
throw new Test262Error('#927: 1073741824 >>> 28 === 4. Actual: ' + (1073741824 >>> 28));
}
if (2147483648 >>> 28 !== 8) {
throw new Test262Error('#928: 2147483648 >>> 28 === 8. Actual: ' + (2147483648 >>> 28));
}
if (1 >>> 29 !== 0) {
throw new Test262Error('#929: 1 >>> 29 === 0. Actual: ' + (1 >>> 29));
}
if (2 >>> 29 !== 0) {
throw new Test262Error('#930: 2 >>> 29 === 0. Actual: ' + (2 >>> 29));
}
if (4 >>> 29 !== 0) {
throw new Test262Error('#931: 4 >>> 29 === 0. Actual: ' + (4 >>> 29));
}
if (8 >>> 29 !== 0) {
throw new Test262Error('#932: 8 >>> 29 === 0. Actual: ' + (8 >>> 29));
}
if (16 >>> 29 !== 0) {
throw new Test262Error('#933: 16 >>> 29 === 0. Actual: ' + (16 >>> 29));
}
if (32 >>> 29 !== 0) {
throw new Test262Error('#934: 32 >>> 29 === 0. Actual: ' + (32 >>> 29));
}
if (64 >>> 29 !== 0) {
throw new Test262Error('#935: 64 >>> 29 === 0. Actual: ' + (64 >>> 29));
}
if (128 >>> 29 !== 0) {
throw new Test262Error('#936: 128 >>> 29 === 0. Actual: ' + (128 >>> 29));
}
if (256 >>> 29 !== 0) {
throw new Test262Error('#937: 256 >>> 29 === 0. Actual: ' + (256 >>> 29));
}
if (512 >>> 29 !== 0) {
throw new Test262Error('#938: 512 >>> 29 === 0. Actual: ' + (512 >>> 29));
}
if (1024 >>> 29 !== 0) {
throw new Test262Error('#939: 1024 >>> 29 === 0. Actual: ' + (1024 >>> 29));
}
if (2048 >>> 29 !== 0) {
throw new Test262Error('#940: 2048 >>> 29 === 0. Actual: ' + (2048 >>> 29));
}
if (4096 >>> 29 !== 0) {
throw new Test262Error('#941: 4096 >>> 29 === 0. Actual: ' + (4096 >>> 29));
}
if (8192 >>> 29 !== 0) {
throw new Test262Error('#942: 8192 >>> 29 === 0. Actual: ' + (8192 >>> 29));
}
if (16384 >>> 29 !== 0) {
throw new Test262Error('#943: 16384 >>> 29 === 0. Actual: ' + (16384 >>> 29));
}
if (32768 >>> 29 !== 0) {
throw new Test262Error('#944: 32768 >>> 29 === 0. Actual: ' + (32768 >>> 29));
}
if (65536 >>> 29 !== 0) {
throw new Test262Error('#945: 65536 >>> 29 === 0. Actual: ' + (65536 >>> 29));
}
if (131072 >>> 29 !== 0) {
throw new Test262Error('#946: 131072 >>> 29 === 0. Actual: ' + (131072 >>> 29));
}
if (262144 >>> 29 !== 0) {
throw new Test262Error('#947: 262144 >>> 29 === 0. Actual: ' + (262144 >>> 29));
}
if (524288 >>> 29 !== 0) {
throw new Test262Error('#948: 524288 >>> 29 === 0. Actual: ' + (524288 >>> 29));
}
if (1048576 >>> 29 !== 0) {
throw new Test262Error('#949: 1048576 >>> 29 === 0. Actual: ' + (1048576 >>> 29));
}
if (2097152 >>> 29 !== 0) {
throw new Test262Error('#950: 2097152 >>> 29 === 0. Actual: ' + (2097152 >>> 29));
}
if (4194304 >>> 29 !== 0) {
throw new Test262Error('#951: 4194304 >>> 29 === 0. Actual: ' + (4194304 >>> 29));
}
if (8388608 >>> 29 !== 0) {
throw new Test262Error('#952: 8388608 >>> 29 === 0. Actual: ' + (8388608 >>> 29));
}
if (16777216 >>> 29 !== 0) {
throw new Test262Error('#953: 16777216 >>> 29 === 0. Actual: ' + (16777216 >>> 29));
}
if (33554432 >>> 29 !== 0) {
throw new Test262Error('#954: 33554432 >>> 29 === 0. Actual: ' + (33554432 >>> 29));
}
if (67108864 >>> 29 !== 0) {
throw new Test262Error('#955: 67108864 >>> 29 === 0. Actual: ' + (67108864 >>> 29));
}
if (134217728 >>> 29 !== 0) {
throw new Test262Error('#956: 134217728 >>> 29 === 0. Actual: ' + (134217728 >>> 29));
}
if (268435456 >>> 29 !== 0) {
throw new Test262Error('#957: 268435456 >>> 29 === 0. Actual: ' + (268435456 >>> 29));
}
if (536870912 >>> 29 !== 1) {
throw new Test262Error('#958: 536870912 >>> 29 === 1. Actual: ' + (536870912 >>> 29));
}
if (1073741824 >>> 29 !== 2) {
throw new Test262Error('#959: 1073741824 >>> 29 === 2. Actual: ' + (1073741824 >>> 29));
}
if (2147483648 >>> 29 !== 4) {
throw new Test262Error('#960: 2147483648 >>> 29 === 4. Actual: ' + (2147483648 >>> 29));
}
if (1 >>> 30 !== 0) {
throw new Test262Error('#961: 1 >>> 30 === 0. Actual: ' + (1 >>> 30));
}
if (2 >>> 30 !== 0) {
throw new Test262Error('#962: 2 >>> 30 === 0. Actual: ' + (2 >>> 30));
}
if (4 >>> 30 !== 0) {
throw new Test262Error('#963: 4 >>> 30 === 0. Actual: ' + (4 >>> 30));
}
if (8 >>> 30 !== 0) {
throw new Test262Error('#964: 8 >>> 30 === 0. Actual: ' + (8 >>> 30));
}
if (16 >>> 30 !== 0) {
throw new Test262Error('#965: 16 >>> 30 === 0. Actual: ' + (16 >>> 30));
}
if (32 >>> 30 !== 0) {
throw new Test262Error('#966: 32 >>> 30 === 0. Actual: ' + (32 >>> 30));
}
if (64 >>> 30 !== 0) {
throw new Test262Error('#967: 64 >>> 30 === 0. Actual: ' + (64 >>> 30));
}
if (128 >>> 30 !== 0) {
throw new Test262Error('#968: 128 >>> 30 === 0. Actual: ' + (128 >>> 30));
}
if (256 >>> 30 !== 0) {
throw new Test262Error('#969: 256 >>> 30 === 0. Actual: ' + (256 >>> 30));
}
if (512 >>> 30 !== 0) {
throw new Test262Error('#970: 512 >>> 30 === 0. Actual: ' + (512 >>> 30));
}
if (1024 >>> 30 !== 0) {
throw new Test262Error('#971: 1024 >>> 30 === 0. Actual: ' + (1024 >>> 30));
}
if (2048 >>> 30 !== 0) {
throw new Test262Error('#972: 2048 >>> 30 === 0. Actual: ' + (2048 >>> 30));
}
if (4096 >>> 30 !== 0) {
throw new Test262Error('#973: 4096 >>> 30 === 0. Actual: ' + (4096 >>> 30));
}
if (8192 >>> 30 !== 0) {
throw new Test262Error('#974: 8192 >>> 30 === 0. Actual: ' + (8192 >>> 30));
}
if (16384 >>> 30 !== 0) {
throw new Test262Error('#975: 16384 >>> 30 === 0. Actual: ' + (16384 >>> 30));
}
if (32768 >>> 30 !== 0) {
throw new Test262Error('#976: 32768 >>> 30 === 0. Actual: ' + (32768 >>> 30));
}
if (65536 >>> 30 !== 0) {
throw new Test262Error('#977: 65536 >>> 30 === 0. Actual: ' + (65536 >>> 30));
}
if (131072 >>> 30 !== 0) {
throw new Test262Error('#978: 131072 >>> 30 === 0. Actual: ' + (131072 >>> 30));
}
if (262144 >>> 30 !== 0) {
throw new Test262Error('#979: 262144 >>> 30 === 0. Actual: ' + (262144 >>> 30));
}
if (524288 >>> 30 !== 0) {
throw new Test262Error('#980: 524288 >>> 30 === 0. Actual: ' + (524288 >>> 30));
}
if (1048576 >>> 30 !== 0) {
throw new Test262Error('#981: 1048576 >>> 30 === 0. Actual: ' + (1048576 >>> 30));
}
if (2097152 >>> 30 !== 0) {
throw new Test262Error('#982: 2097152 >>> 30 === 0. Actual: ' + (2097152 >>> 30));
}
if (4194304 >>> 30 !== 0) {
throw new Test262Error('#983: 4194304 >>> 30 === 0. Actual: ' + (4194304 >>> 30));
}
if (8388608 >>> 30 !== 0) {
throw new Test262Error('#984: 8388608 >>> 30 === 0. Actual: ' + (8388608 >>> 30));
}
if (16777216 >>> 30 !== 0) {
throw new Test262Error('#985: 16777216 >>> 30 === 0. Actual: ' + (16777216 >>> 30));
}
if (33554432 >>> 30 !== 0) {
throw new Test262Error('#986: 33554432 >>> 30 === 0. Actual: ' + (33554432 >>> 30));
}
if (67108864 >>> 30 !== 0) {
throw new Test262Error('#987: 67108864 >>> 30 === 0. Actual: ' + (67108864 >>> 30));
}
if (134217728 >>> 30 !== 0) {
throw new Test262Error('#988: 134217728 >>> 30 === 0. Actual: ' + (134217728 >>> 30));
}
if (268435456 >>> 30 !== 0) {
throw new Test262Error('#989: 268435456 >>> 30 === 0. Actual: ' + (268435456 >>> 30));
}
if (536870912 >>> 30 !== 0) {
throw new Test262Error('#990: 536870912 >>> 30 === 0. Actual: ' + (536870912 >>> 30));
}
if (1073741824 >>> 30 !== 1) {
throw new Test262Error('#991: 1073741824 >>> 30 === 1. Actual: ' + (1073741824 >>> 30));
}
if (2147483648 >>> 30 !== 2) {
throw new Test262Error('#992: 2147483648 >>> 30 === 2. Actual: ' + (2147483648 >>> 30));
}
if (1 >>> 31 !== 0) {
throw new Test262Error('#993: 1 >>> 31 === 0. Actual: ' + (1 >>> 31));
}
if (2 >>> 31 !== 0) {
throw new Test262Error('#994: 2 >>> 31 === 0. Actual: ' + (2 >>> 31));
}
if (4 >>> 31 !== 0) {
throw new Test262Error('#995: 4 >>> 31 === 0. Actual: ' + (4 >>> 31));
}
if (8 >>> 31 !== 0) {
throw new Test262Error('#996: 8 >>> 31 === 0. Actual: ' + (8 >>> 31));
}
if (16 >>> 31 !== 0) {
throw new Test262Error('#997: 16 >>> 31 === 0. Actual: ' + (16 >>> 31));
}
if (32 >>> 31 !== 0) {
throw new Test262Error('#998: 32 >>> 31 === 0. Actual: ' + (32 >>> 31));
}
if (64 >>> 31 !== 0) {
throw new Test262Error('#999: 64 >>> 31 === 0. Actual: ' + (64 >>> 31));
}
if (128 >>> 31 !== 0) {
throw new Test262Error('#1000: 128 >>> 31 === 0. Actual: ' + (128 >>> 31));
}
if (256 >>> 31 !== 0) {
throw new Test262Error('#1001: 256 >>> 31 === 0. Actual: ' + (256 >>> 31));
}
if (512 >>> 31 !== 0) {
throw new Test262Error('#1002: 512 >>> 31 === 0. Actual: ' + (512 >>> 31));
}
if (1024 >>> 31 !== 0) {
throw new Test262Error('#1003: 1024 >>> 31 === 0. Actual: ' + (1024 >>> 31));
}
if (2048 >>> 31 !== 0) {
throw new Test262Error('#1004: 2048 >>> 31 === 0. Actual: ' + (2048 >>> 31));
}
if (4096 >>> 31 !== 0) {
throw new Test262Error('#1005: 4096 >>> 31 === 0. Actual: ' + (4096 >>> 31));
}
if (8192 >>> 31 !== 0) {
throw new Test262Error('#1006: 8192 >>> 31 === 0. Actual: ' + (8192 >>> 31));
}
if (16384 >>> 31 !== 0) {
throw new Test262Error('#1007: 16384 >>> 31 === 0. Actual: ' + (16384 >>> 31));
}
if (32768 >>> 31 !== 0) {
throw new Test262Error('#1008: 32768 >>> 31 === 0. Actual: ' + (32768 >>> 31));
}
if (65536 >>> 31 !== 0) {
throw new Test262Error('#1009: 65536 >>> 31 === 0. Actual: ' + (65536 >>> 31));
}
if (131072 >>> 31 !== 0) {
throw new Test262Error('#1010: 131072 >>> 31 === 0. Actual: ' + (131072 >>> 31));
}
if (262144 >>> 31 !== 0) {
throw new Test262Error('#1011: 262144 >>> 31 === 0. Actual: ' + (262144 >>> 31));
}
if (524288 >>> 31 !== 0) {
throw new Test262Error('#1012: 524288 >>> 31 === 0. Actual: ' + (524288 >>> 31));
}
if (1048576 >>> 31 !== 0) {
throw new Test262Error('#1013: 1048576 >>> 31 === 0. Actual: ' + (1048576 >>> 31));
}
if (2097152 >>> 31 !== 0) {
throw new Test262Error('#1014: 2097152 >>> 31 === 0. Actual: ' + (2097152 >>> 31));
}
if (4194304 >>> 31 !== 0) {
throw new Test262Error('#1015: 4194304 >>> 31 === 0. Actual: ' + (4194304 >>> 31));
}
if (8388608 >>> 31 !== 0) {
throw new Test262Error('#1016: 8388608 >>> 31 === 0. Actual: ' + (8388608 >>> 31));
}
if (16777216 >>> 31 !== 0) {
throw new Test262Error('#1017: 16777216 >>> 31 === 0. Actual: ' + (16777216 >>> 31));
}
if (33554432 >>> 31 !== 0) {
throw new Test262Error('#1018: 33554432 >>> 31 === 0. Actual: ' + (33554432 >>> 31));
}
if (67108864 >>> 31 !== 0) {
throw new Test262Error('#1019: 67108864 >>> 31 === 0. Actual: ' + (67108864 >>> 31));
}
if (134217728 >>> 31 !== 0) {
throw new Test262Error('#1020: 134217728 >>> 31 === 0. Actual: ' + (134217728 >>> 31));
}
if (268435456 >>> 31 !== 0) {
throw new Test262Error('#1021: 268435456 >>> 31 === 0. Actual: ' + (268435456 >>> 31));
}
if (536870912 >>> 31 !== 0) {
throw new Test262Error('#1022: 536870912 >>> 31 === 0. Actual: ' + (536870912 >>> 31));
}
if (1073741824 >>> 31 !== 0) {
throw new Test262Error('#1023: 1073741824 >>> 31 === 0. Actual: ' + (1073741824 >>> 31));
}
if (2147483648 >>> 31 !== 1) {
throw new Test262Error('#1024: 2147483648 >>> 31 === 1. Actual: ' + (2147483648 >>> 31));
}
reportCompare(0, 0);