diff options
Diffstat (limited to 'test/suite/sputnik_converted/11_Expressions/11.7_Bitwise_Shift_Operators/11.7.3_The_Unsigned_Right_Shift_Operator/S11.7.3_A4_T4.js')
| -rw-r--r-- | test/suite/sputnik_converted/11_Expressions/11.7_Bitwise_Shift_Operators/11.7.3_The_Unsigned_Right_Shift_Operator/S11.7.3_A4_T4.js | 2667 |
1 files changed, 0 insertions, 2667 deletions
diff --git a/test/suite/sputnik_converted/11_Expressions/11.7_Bitwise_Shift_Operators/11.7.3_The_Unsigned_Right_Shift_Operator/S11.7.3_A4_T4.js b/test/suite/sputnik_converted/11_Expressions/11.7_Bitwise_Shift_Operators/11.7.3_The_Unsigned_Right_Shift_Operator/S11.7.3_A4_T4.js deleted file mode 100644 index 78d5d1fce..000000000 --- a/test/suite/sputnik_converted/11_Expressions/11.7_Bitwise_Shift_Operators/11.7.3_The_Unsigned_Right_Shift_Operator/S11.7.3_A4_T4.js +++ /dev/null @@ -1,2667 +0,0 @@ -// Copyright 2009 the Sputnik authors. All rights reserved.
-// This code is governed by the BSD license found in the LICENSE file.
-
-/**
- * @name: S11.7.3_A4_T4;
- * @section: 11.7.3;
- * @assertion: Check operator x >>> y in distinct points;
- * @description: ShiftExpression = 2^n - 1, n = 16...31;
- */
-
-
-// Converted for Test262 from original Sputnik source
-
-ES5Harness.registerTest( {
-id: "S11.7.3_A4_T4",
-
-path: "TestCases/11_Expressions/11.7_Bitwise_Shift_Operators/11.7.3_The_Unsigned_Right_Shift_Operator/S11.7.3_A4_T4.js",
-
-assertion: "Check operator x >>> y in distinct points",
-
-description: "ShiftExpression = 2^n - 1, n = 16...31",
-
-test: function testcase() {
- //CHECK
-
-if (0 >>> 16 !== 0) {
- $ERROR('#529: 0 >>> 16 === 0. Actual: ' + (0 >>> 16));
-}
-
-
-if (1 >>> 16 !== 0) {
- $ERROR('#530: 1 >>> 16 === 0. Actual: ' + (1 >>> 16));
-}
-
-
-if (3 >>> 16 !== 0) {
- $ERROR('#531: 3 >>> 16 === 0. Actual: ' + (3 >>> 16));
-}
-
-
-if (7 >>> 16 !== 0) {
- $ERROR('#532: 7 >>> 16 === 0. Actual: ' + (7 >>> 16));
-}
-
-
-if (15 >>> 16 !== 0) {
- $ERROR('#533: 15 >>> 16 === 0. Actual: ' + (15 >>> 16));
-}
-
-
-if (31 >>> 16 !== 0) {
- $ERROR('#534: 31 >>> 16 === 0. Actual: ' + (31 >>> 16));
-}
-
-
-if (63 >>> 16 !== 0) {
- $ERROR('#535: 63 >>> 16 === 0. Actual: ' + (63 >>> 16));
-}
-
-
-if (127 >>> 16 !== 0) {
- $ERROR('#536: 127 >>> 16 === 0. Actual: ' + (127 >>> 16));
-}
-
-
-if (255 >>> 16 !== 0) {
- $ERROR('#537: 255 >>> 16 === 0. Actual: ' + (255 >>> 16));
-}
-
-
-if (511 >>> 16 !== 0) {
- $ERROR('#538: 511 >>> 16 === 0. Actual: ' + (511 >>> 16));
-}
-
-
-if (1023 >>> 16 !== 0) {
- $ERROR('#539: 1023 >>> 16 === 0. Actual: ' + (1023 >>> 16));
-}
-
-
-if (2047 >>> 16 !== 0) {
- $ERROR('#540: 2047 >>> 16 === 0. Actual: ' + (2047 >>> 16));
-}
-
-
-if (4095 >>> 16 !== 0) {
- $ERROR('#541: 4095 >>> 16 === 0. Actual: ' + (4095 >>> 16));
-}
-
-
-if (8191 >>> 16 !== 0) {
- $ERROR('#542: 8191 >>> 16 === 0. Actual: ' + (8191 >>> 16));
-}
-
-
-if (16383 >>> 16 !== 0) {
- $ERROR('#543: 16383 >>> 16 === 0. Actual: ' + (16383 >>> 16));
-}
-
-
-if (32767 >>> 16 !== 0) {
- $ERROR('#544: 32767 >>> 16 === 0. Actual: ' + (32767 >>> 16));
-}
-
-
-if (65535 >>> 16 !== 0) {
- $ERROR('#545: 65535 >>> 16 === 0. Actual: ' + (65535 >>> 16));
-}
-
-
-if (131071 >>> 16 !== 1) {
- $ERROR('#546: 131071 >>> 16 === 1. Actual: ' + (131071 >>> 16));
-}
-
-
-if (262143 >>> 16 !== 3) {
- $ERROR('#547: 262143 >>> 16 === 3. Actual: ' + (262143 >>> 16));
-}
-
-
-if (524287 >>> 16 !== 7) {
- $ERROR('#548: 524287 >>> 16 === 7. Actual: ' + (524287 >>> 16));
-}
-
-
-if (1048575 >>> 16 !== 15) {
- $ERROR('#549: 1048575 >>> 16 === 15. Actual: ' + (1048575 >>> 16));
-}
-
-
-if (2097151 >>> 16 !== 31) {
- $ERROR('#550: 2097151 >>> 16 === 31. Actual: ' + (2097151 >>> 16));
-}
-
-
-if (4194303 >>> 16 !== 63) {
- $ERROR('#551: 4194303 >>> 16 === 63. Actual: ' + (4194303 >>> 16));
-}
-
-
-if (8388607 >>> 16 !== 127) {
- $ERROR('#552: 8388607 >>> 16 === 127. Actual: ' + (8388607 >>> 16));
-}
-
-
-if (16777215 >>> 16 !== 255) {
- $ERROR('#553: 16777215 >>> 16 === 255. Actual: ' + (16777215 >>> 16));
-}
-
-
-if (33554431 >>> 16 !== 511) {
- $ERROR('#554: 33554431 >>> 16 === 511. Actual: ' + (33554431 >>> 16));
-}
-
-
-if (67108863 >>> 16 !== 1023) {
- $ERROR('#555: 67108863 >>> 16 === 1023. Actual: ' + (67108863 >>> 16));
-}
-
-
-if (134217727 >>> 16 !== 2047) {
- $ERROR('#556: 134217727 >>> 16 === 2047. Actual: ' + (134217727 >>> 16));
-}
-
-
-if (268435455 >>> 16 !== 4095) {
- $ERROR('#557: 268435455 >>> 16 === 4095. Actual: ' + (268435455 >>> 16));
-}
-
-
-if (536870911 >>> 16 !== 8191) {
- $ERROR('#558: 536870911 >>> 16 === 8191. Actual: ' + (536870911 >>> 16));
-}
-
-
-if (1073741823 >>> 16 !== 16383) {
- $ERROR('#559: 1073741823 >>> 16 === 16383. Actual: ' + (1073741823 >>> 16));
-}
-
-
-if (2147483647 >>> 16 !== 32767) {
- $ERROR('#560: 2147483647 >>> 16 === 32767. Actual: ' + (2147483647 >>> 16));
-}
-
-
-if (4294967295 >>> 16 !== 65535) {
- $ERROR('#561: 4294967295 >>> 16 === 65535. Actual: ' + (4294967295 >>> 16));
-}
-
-
-if (0 >>> 17 !== 0) {
- $ERROR('#562: 0 >>> 17 === 0. Actual: ' + (0 >>> 17));
-}
-
-
-if (1 >>> 17 !== 0) {
- $ERROR('#563: 1 >>> 17 === 0. Actual: ' + (1 >>> 17));
-}
-
-
-if (3 >>> 17 !== 0) {
- $ERROR('#564: 3 >>> 17 === 0. Actual: ' + (3 >>> 17));
-}
-
-
-if (7 >>> 17 !== 0) {
- $ERROR('#565: 7 >>> 17 === 0. Actual: ' + (7 >>> 17));
-}
-
-
-if (15 >>> 17 !== 0) {
- $ERROR('#566: 15 >>> 17 === 0. Actual: ' + (15 >>> 17));
-}
-
-
-if (31 >>> 17 !== 0) {
- $ERROR('#567: 31 >>> 17 === 0. Actual: ' + (31 >>> 17));
-}
-
-
-if (63 >>> 17 !== 0) {
- $ERROR('#568: 63 >>> 17 === 0. Actual: ' + (63 >>> 17));
-}
-
-
-if (127 >>> 17 !== 0) {
- $ERROR('#569: 127 >>> 17 === 0. Actual: ' + (127 >>> 17));
-}
-
-
-if (255 >>> 17 !== 0) {
- $ERROR('#570: 255 >>> 17 === 0. Actual: ' + (255 >>> 17));
-}
-
-
-if (511 >>> 17 !== 0) {
- $ERROR('#571: 511 >>> 17 === 0. Actual: ' + (511 >>> 17));
-}
-
-
-if (1023 >>> 17 !== 0) {
- $ERROR('#572: 1023 >>> 17 === 0. Actual: ' + (1023 >>> 17));
-}
-
-
-if (2047 >>> 17 !== 0) {
- $ERROR('#573: 2047 >>> 17 === 0. Actual: ' + (2047 >>> 17));
-}
-
-
-if (4095 >>> 17 !== 0) {
- $ERROR('#574: 4095 >>> 17 === 0. Actual: ' + (4095 >>> 17));
-}
-
-
-if (8191 >>> 17 !== 0) {
- $ERROR('#575: 8191 >>> 17 === 0. Actual: ' + (8191 >>> 17));
-}
-
-
-if (16383 >>> 17 !== 0) {
- $ERROR('#576: 16383 >>> 17 === 0. Actual: ' + (16383 >>> 17));
-}
-
-
-if (32767 >>> 17 !== 0) {
- $ERROR('#577: 32767 >>> 17 === 0. Actual: ' + (32767 >>> 17));
-}
-
-
-if (65535 >>> 17 !== 0) {
- $ERROR('#578: 65535 >>> 17 === 0. Actual: ' + (65535 >>> 17));
-}
-
-
-if (131071 >>> 17 !== 0) {
- $ERROR('#579: 131071 >>> 17 === 0. Actual: ' + (131071 >>> 17));
-}
-
-
-if (262143 >>> 17 !== 1) {
- $ERROR('#580: 262143 >>> 17 === 1. Actual: ' + (262143 >>> 17));
-}
-
-
-if (524287 >>> 17 !== 3) {
- $ERROR('#581: 524287 >>> 17 === 3. Actual: ' + (524287 >>> 17));
-}
-
-
-if (1048575 >>> 17 !== 7) {
- $ERROR('#582: 1048575 >>> 17 === 7. Actual: ' + (1048575 >>> 17));
-}
-
-
-if (2097151 >>> 17 !== 15) {
- $ERROR('#583: 2097151 >>> 17 === 15. Actual: ' + (2097151 >>> 17));
-}
-
-
-if (4194303 >>> 17 !== 31) {
- $ERROR('#584: 4194303 >>> 17 === 31. Actual: ' + (4194303 >>> 17));
-}
-
-
-if (8388607 >>> 17 !== 63) {
- $ERROR('#585: 8388607 >>> 17 === 63. Actual: ' + (8388607 >>> 17));
-}
-
-
-if (16777215 >>> 17 !== 127) {
- $ERROR('#586: 16777215 >>> 17 === 127. Actual: ' + (16777215 >>> 17));
-}
-
-
-if (33554431 >>> 17 !== 255) {
- $ERROR('#587: 33554431 >>> 17 === 255. Actual: ' + (33554431 >>> 17));
-}
-
-
-if (67108863 >>> 17 !== 511) {
- $ERROR('#588: 67108863 >>> 17 === 511. Actual: ' + (67108863 >>> 17));
-}
-
-
-if (134217727 >>> 17 !== 1023) {
- $ERROR('#589: 134217727 >>> 17 === 1023. Actual: ' + (134217727 >>> 17));
-}
-
-
-if (268435455 >>> 17 !== 2047) {
- $ERROR('#590: 268435455 >>> 17 === 2047. Actual: ' + (268435455 >>> 17));
-}
-
-
-if (536870911 >>> 17 !== 4095) {
- $ERROR('#591: 536870911 >>> 17 === 4095. Actual: ' + (536870911 >>> 17));
-}
-
-
-if (1073741823 >>> 17 !== 8191) {
- $ERROR('#592: 1073741823 >>> 17 === 8191. Actual: ' + (1073741823 >>> 17));
-}
-
-
-if (2147483647 >>> 17 !== 16383) {
- $ERROR('#593: 2147483647 >>> 17 === 16383. Actual: ' + (2147483647 >>> 17));
-}
-
-
-if (4294967295 >>> 17 !== 32767) {
- $ERROR('#594: 4294967295 >>> 17 === 32767. Actual: ' + (4294967295 >>> 17));
-}
-
-
-if (0 >>> 18 !== 0) {
- $ERROR('#595: 0 >>> 18 === 0. Actual: ' + (0 >>> 18));
-}
-
-
-if (1 >>> 18 !== 0) {
- $ERROR('#596: 1 >>> 18 === 0. Actual: ' + (1 >>> 18));
-}
-
-
-if (3 >>> 18 !== 0) {
- $ERROR('#597: 3 >>> 18 === 0. Actual: ' + (3 >>> 18));
-}
-
-
-if (7 >>> 18 !== 0) {
- $ERROR('#598: 7 >>> 18 === 0. Actual: ' + (7 >>> 18));
-}
-
-
-if (15 >>> 18 !== 0) {
- $ERROR('#599: 15 >>> 18 === 0. Actual: ' + (15 >>> 18));
-}
-
-
-if (31 >>> 18 !== 0) {
- $ERROR('#600: 31 >>> 18 === 0. Actual: ' + (31 >>> 18));
-}
-
-
-if (63 >>> 18 !== 0) {
- $ERROR('#601: 63 >>> 18 === 0. Actual: ' + (63 >>> 18));
-}
-
-
-if (127 >>> 18 !== 0) {
- $ERROR('#602: 127 >>> 18 === 0. Actual: ' + (127 >>> 18));
-}
-
-
-if (255 >>> 18 !== 0) {
- $ERROR('#603: 255 >>> 18 === 0. Actual: ' + (255 >>> 18));
-}
-
-
-if (511 >>> 18 !== 0) {
- $ERROR('#604: 511 >>> 18 === 0. Actual: ' + (511 >>> 18));
-}
-
-
-if (1023 >>> 18 !== 0) {
- $ERROR('#605: 1023 >>> 18 === 0. Actual: ' + (1023 >>> 18));
-}
-
-
-if (2047 >>> 18 !== 0) {
- $ERROR('#606: 2047 >>> 18 === 0. Actual: ' + (2047 >>> 18));
-}
-
-
-if (4095 >>> 18 !== 0) {
- $ERROR('#607: 4095 >>> 18 === 0. Actual: ' + (4095 >>> 18));
-}
-
-
-if (8191 >>> 18 !== 0) {
- $ERROR('#608: 8191 >>> 18 === 0. Actual: ' + (8191 >>> 18));
-}
-
-
-if (16383 >>> 18 !== 0) {
- $ERROR('#609: 16383 >>> 18 === 0. Actual: ' + (16383 >>> 18));
-}
-
-
-if (32767 >>> 18 !== 0) {
- $ERROR('#610: 32767 >>> 18 === 0. Actual: ' + (32767 >>> 18));
-}
-
-
-if (65535 >>> 18 !== 0) {
- $ERROR('#611: 65535 >>> 18 === 0. Actual: ' + (65535 >>> 18));
-}
-
-
-if (131071 >>> 18 !== 0) {
- $ERROR('#612: 131071 >>> 18 === 0. Actual: ' + (131071 >>> 18));
-}
-
-
-if (262143 >>> 18 !== 0) {
- $ERROR('#613: 262143 >>> 18 === 0. Actual: ' + (262143 >>> 18));
-}
-
-
-if (524287 >>> 18 !== 1) {
- $ERROR('#614: 524287 >>> 18 === 1. Actual: ' + (524287 >>> 18));
-}
-
-
-if (1048575 >>> 18 !== 3) {
- $ERROR('#615: 1048575 >>> 18 === 3. Actual: ' + (1048575 >>> 18));
-}
-
-
-if (2097151 >>> 18 !== 7) {
- $ERROR('#616: 2097151 >>> 18 === 7. Actual: ' + (2097151 >>> 18));
-}
-
-
-if (4194303 >>> 18 !== 15) {
- $ERROR('#617: 4194303 >>> 18 === 15. Actual: ' + (4194303 >>> 18));
-}
-
-
-if (8388607 >>> 18 !== 31) {
- $ERROR('#618: 8388607 >>> 18 === 31. Actual: ' + (8388607 >>> 18));
-}
-
-
-if (16777215 >>> 18 !== 63) {
- $ERROR('#619: 16777215 >>> 18 === 63. Actual: ' + (16777215 >>> 18));
-}
-
-
-if (33554431 >>> 18 !== 127) {
- $ERROR('#620: 33554431 >>> 18 === 127. Actual: ' + (33554431 >>> 18));
-}
-
-
-if (67108863 >>> 18 !== 255) {
- $ERROR('#621: 67108863 >>> 18 === 255. Actual: ' + (67108863 >>> 18));
-}
-
-
-if (134217727 >>> 18 !== 511) {
- $ERROR('#622: 134217727 >>> 18 === 511. Actual: ' + (134217727 >>> 18));
-}
-
-
-if (268435455 >>> 18 !== 1023) {
- $ERROR('#623: 268435455 >>> 18 === 1023. Actual: ' + (268435455 >>> 18));
-}
-
-
-if (536870911 >>> 18 !== 2047) {
- $ERROR('#624: 536870911 >>> 18 === 2047. Actual: ' + (536870911 >>> 18));
-}
-
-
-if (1073741823 >>> 18 !== 4095) {
- $ERROR('#625: 1073741823 >>> 18 === 4095. Actual: ' + (1073741823 >>> 18));
-}
-
-
-if (2147483647 >>> 18 !== 8191) {
- $ERROR('#626: 2147483647 >>> 18 === 8191. Actual: ' + (2147483647 >>> 18));
-}
-
-
-if (4294967295 >>> 18 !== 16383) {
- $ERROR('#627: 4294967295 >>> 18 === 16383. Actual: ' + (4294967295 >>> 18));
-}
-
-
-if (0 >>> 19 !== 0) {
- $ERROR('#628: 0 >>> 19 === 0. Actual: ' + (0 >>> 19));
-}
-
-
-if (1 >>> 19 !== 0) {
- $ERROR('#629: 1 >>> 19 === 0. Actual: ' + (1 >>> 19));
-}
-
-
-if (3 >>> 19 !== 0) {
- $ERROR('#630: 3 >>> 19 === 0. Actual: ' + (3 >>> 19));
-}
-
-
-if (7 >>> 19 !== 0) {
- $ERROR('#631: 7 >>> 19 === 0. Actual: ' + (7 >>> 19));
-}
-
-
-if (15 >>> 19 !== 0) {
- $ERROR('#632: 15 >>> 19 === 0. Actual: ' + (15 >>> 19));
-}
-
-
-if (31 >>> 19 !== 0) {
- $ERROR('#633: 31 >>> 19 === 0. Actual: ' + (31 >>> 19));
-}
-
-
-if (63 >>> 19 !== 0) {
- $ERROR('#634: 63 >>> 19 === 0. Actual: ' + (63 >>> 19));
-}
-
-
-if (127 >>> 19 !== 0) {
- $ERROR('#635: 127 >>> 19 === 0. Actual: ' + (127 >>> 19));
-}
-
-
-if (255 >>> 19 !== 0) {
- $ERROR('#636: 255 >>> 19 === 0. Actual: ' + (255 >>> 19));
-}
-
-
-if (511 >>> 19 !== 0) {
- $ERROR('#637: 511 >>> 19 === 0. Actual: ' + (511 >>> 19));
-}
-
-
-if (1023 >>> 19 !== 0) {
- $ERROR('#638: 1023 >>> 19 === 0. Actual: ' + (1023 >>> 19));
-}
-
-
-if (2047 >>> 19 !== 0) {
- $ERROR('#639: 2047 >>> 19 === 0. Actual: ' + (2047 >>> 19));
-}
-
-
-if (4095 >>> 19 !== 0) {
- $ERROR('#640: 4095 >>> 19 === 0. Actual: ' + (4095 >>> 19));
-}
-
-
-if (8191 >>> 19 !== 0) {
- $ERROR('#641: 8191 >>> 19 === 0. Actual: ' + (8191 >>> 19));
-}
-
-
-if (16383 >>> 19 !== 0) {
- $ERROR('#642: 16383 >>> 19 === 0. Actual: ' + (16383 >>> 19));
-}
-
-
-if (32767 >>> 19 !== 0) {
- $ERROR('#643: 32767 >>> 19 === 0. Actual: ' + (32767 >>> 19));
-}
-
-
-if (65535 >>> 19 !== 0) {
- $ERROR('#644: 65535 >>> 19 === 0. Actual: ' + (65535 >>> 19));
-}
-
-
-if (131071 >>> 19 !== 0) {
- $ERROR('#645: 131071 >>> 19 === 0. Actual: ' + (131071 >>> 19));
-}
-
-
-if (262143 >>> 19 !== 0) {
- $ERROR('#646: 262143 >>> 19 === 0. Actual: ' + (262143 >>> 19));
-}
-
-
-if (524287 >>> 19 !== 0) {
- $ERROR('#647: 524287 >>> 19 === 0. Actual: ' + (524287 >>> 19));
-}
-
-
-if (1048575 >>> 19 !== 1) {
- $ERROR('#648: 1048575 >>> 19 === 1. Actual: ' + (1048575 >>> 19));
-}
-
-
-if (2097151 >>> 19 !== 3) {
- $ERROR('#649: 2097151 >>> 19 === 3. Actual: ' + (2097151 >>> 19));
-}
-
-
-if (4194303 >>> 19 !== 7) {
- $ERROR('#650: 4194303 >>> 19 === 7. Actual: ' + (4194303 >>> 19));
-}
-
-
-if (8388607 >>> 19 !== 15) {
- $ERROR('#651: 8388607 >>> 19 === 15. Actual: ' + (8388607 >>> 19));
-}
-
-
-if (16777215 >>> 19 !== 31) {
- $ERROR('#652: 16777215 >>> 19 === 31. Actual: ' + (16777215 >>> 19));
-}
-
-
-if (33554431 >>> 19 !== 63) {
- $ERROR('#653: 33554431 >>> 19 === 63. Actual: ' + (33554431 >>> 19));
-}
-
-
-if (67108863 >>> 19 !== 127) {
- $ERROR('#654: 67108863 >>> 19 === 127. Actual: ' + (67108863 >>> 19));
-}
-
-
-if (134217727 >>> 19 !== 255) {
- $ERROR('#655: 134217727 >>> 19 === 255. Actual: ' + (134217727 >>> 19));
-}
-
-
-if (268435455 >>> 19 !== 511) {
- $ERROR('#656: 268435455 >>> 19 === 511. Actual: ' + (268435455 >>> 19));
-}
-
-
-if (536870911 >>> 19 !== 1023) {
- $ERROR('#657: 536870911 >>> 19 === 1023. Actual: ' + (536870911 >>> 19));
-}
-
-
-if (1073741823 >>> 19 !== 2047) {
- $ERROR('#658: 1073741823 >>> 19 === 2047. Actual: ' + (1073741823 >>> 19));
-}
-
-
-if (2147483647 >>> 19 !== 4095) {
- $ERROR('#659: 2147483647 >>> 19 === 4095. Actual: ' + (2147483647 >>> 19));
-}
-
-
-if (4294967295 >>> 19 !== 8191) {
- $ERROR('#660: 4294967295 >>> 19 === 8191. Actual: ' + (4294967295 >>> 19));
-}
-
-
-if (0 >>> 20 !== 0) {
- $ERROR('#661: 0 >>> 20 === 0. Actual: ' + (0 >>> 20));
-}
-
-
-if (1 >>> 20 !== 0) {
- $ERROR('#662: 1 >>> 20 === 0. Actual: ' + (1 >>> 20));
-}
-
-
-if (3 >>> 20 !== 0) {
- $ERROR('#663: 3 >>> 20 === 0. Actual: ' + (3 >>> 20));
-}
-
-
-if (7 >>> 20 !== 0) {
- $ERROR('#664: 7 >>> 20 === 0. Actual: ' + (7 >>> 20));
-}
-
-
-if (15 >>> 20 !== 0) {
- $ERROR('#665: 15 >>> 20 === 0. Actual: ' + (15 >>> 20));
-}
-
-
-if (31 >>> 20 !== 0) {
- $ERROR('#666: 31 >>> 20 === 0. Actual: ' + (31 >>> 20));
-}
-
-
-if (63 >>> 20 !== 0) {
- $ERROR('#667: 63 >>> 20 === 0. Actual: ' + (63 >>> 20));
-}
-
-
-if (127 >>> 20 !== 0) {
- $ERROR('#668: 127 >>> 20 === 0. Actual: ' + (127 >>> 20));
-}
-
-
-if (255 >>> 20 !== 0) {
- $ERROR('#669: 255 >>> 20 === 0. Actual: ' + (255 >>> 20));
-}
-
-
-if (511 >>> 20 !== 0) {
- $ERROR('#670: 511 >>> 20 === 0. Actual: ' + (511 >>> 20));
-}
-
-
-if (1023 >>> 20 !== 0) {
- $ERROR('#671: 1023 >>> 20 === 0. Actual: ' + (1023 >>> 20));
-}
-
-
-if (2047 >>> 20 !== 0) {
- $ERROR('#672: 2047 >>> 20 === 0. Actual: ' + (2047 >>> 20));
-}
-
-
-if (4095 >>> 20 !== 0) {
- $ERROR('#673: 4095 >>> 20 === 0. Actual: ' + (4095 >>> 20));
-}
-
-
-if (8191 >>> 20 !== 0) {
- $ERROR('#674: 8191 >>> 20 === 0. Actual: ' + (8191 >>> 20));
-}
-
-
-if (16383 >>> 20 !== 0) {
- $ERROR('#675: 16383 >>> 20 === 0. Actual: ' + (16383 >>> 20));
-}
-
-
-if (32767 >>> 20 !== 0) {
- $ERROR('#676: 32767 >>> 20 === 0. Actual: ' + (32767 >>> 20));
-}
-
-
-if (65535 >>> 20 !== 0) {
- $ERROR('#677: 65535 >>> 20 === 0. Actual: ' + (65535 >>> 20));
-}
-
-
-if (131071 >>> 20 !== 0) {
- $ERROR('#678: 131071 >>> 20 === 0. Actual: ' + (131071 >>> 20));
-}
-
-
-if (262143 >>> 20 !== 0) {
- $ERROR('#679: 262143 >>> 20 === 0. Actual: ' + (262143 >>> 20));
-}
-
-
-if (524287 >>> 20 !== 0) {
- $ERROR('#680: 524287 >>> 20 === 0. Actual: ' + (524287 >>> 20));
-}
-
-
-if (1048575 >>> 20 !== 0) {
- $ERROR('#681: 1048575 >>> 20 === 0. Actual: ' + (1048575 >>> 20));
-}
-
-
-if (2097151 >>> 20 !== 1) {
- $ERROR('#682: 2097151 >>> 20 === 1. Actual: ' + (2097151 >>> 20));
-}
-
-
-if (4194303 >>> 20 !== 3) {
- $ERROR('#683: 4194303 >>> 20 === 3. Actual: ' + (4194303 >>> 20));
-}
-
-
-if (8388607 >>> 20 !== 7) {
- $ERROR('#684: 8388607 >>> 20 === 7. Actual: ' + (8388607 >>> 20));
-}
-
-
-if (16777215 >>> 20 !== 15) {
- $ERROR('#685: 16777215 >>> 20 === 15. Actual: ' + (16777215 >>> 20));
-}
-
-
-if (33554431 >>> 20 !== 31) {
- $ERROR('#686: 33554431 >>> 20 === 31. Actual: ' + (33554431 >>> 20));
-}
-
-
-if (67108863 >>> 20 !== 63) {
- $ERROR('#687: 67108863 >>> 20 === 63. Actual: ' + (67108863 >>> 20));
-}
-
-
-if (134217727 >>> 20 !== 127) {
- $ERROR('#688: 134217727 >>> 20 === 127. Actual: ' + (134217727 >>> 20));
-}
-
-
-if (268435455 >>> 20 !== 255) {
- $ERROR('#689: 268435455 >>> 20 === 255. Actual: ' + (268435455 >>> 20));
-}
-
-
-if (536870911 >>> 20 !== 511) {
- $ERROR('#690: 536870911 >>> 20 === 511. Actual: ' + (536870911 >>> 20));
-}
-
-
-if (1073741823 >>> 20 !== 1023) {
- $ERROR('#691: 1073741823 >>> 20 === 1023. Actual: ' + (1073741823 >>> 20));
-}
-
-
-if (2147483647 >>> 20 !== 2047) {
- $ERROR('#692: 2147483647 >>> 20 === 2047. Actual: ' + (2147483647 >>> 20));
-}
-
-
-if (4294967295 >>> 20 !== 4095) {
- $ERROR('#693: 4294967295 >>> 20 === 4095. Actual: ' + (4294967295 >>> 20));
-}
-
-
-if (0 >>> 21 !== 0) {
- $ERROR('#694: 0 >>> 21 === 0. Actual: ' + (0 >>> 21));
-}
-
-
-if (1 >>> 21 !== 0) {
- $ERROR('#695: 1 >>> 21 === 0. Actual: ' + (1 >>> 21));
-}
-
-
-if (3 >>> 21 !== 0) {
- $ERROR('#696: 3 >>> 21 === 0. Actual: ' + (3 >>> 21));
-}
-
-
-if (7 >>> 21 !== 0) {
- $ERROR('#697: 7 >>> 21 === 0. Actual: ' + (7 >>> 21));
-}
-
-
-if (15 >>> 21 !== 0) {
- $ERROR('#698: 15 >>> 21 === 0. Actual: ' + (15 >>> 21));
-}
-
-
-if (31 >>> 21 !== 0) {
- $ERROR('#699: 31 >>> 21 === 0. Actual: ' + (31 >>> 21));
-}
-
-
-if (63 >>> 21 !== 0) {
- $ERROR('#700: 63 >>> 21 === 0. Actual: ' + (63 >>> 21));
-}
-
-
-if (127 >>> 21 !== 0) {
- $ERROR('#701: 127 >>> 21 === 0. Actual: ' + (127 >>> 21));
-}
-
-
-if (255 >>> 21 !== 0) {
- $ERROR('#702: 255 >>> 21 === 0. Actual: ' + (255 >>> 21));
-}
-
-
-if (511 >>> 21 !== 0) {
- $ERROR('#703: 511 >>> 21 === 0. Actual: ' + (511 >>> 21));
-}
-
-
-if (1023 >>> 21 !== 0) {
- $ERROR('#704: 1023 >>> 21 === 0. Actual: ' + (1023 >>> 21));
-}
-
-
-if (2047 >>> 21 !== 0) {
- $ERROR('#705: 2047 >>> 21 === 0. Actual: ' + (2047 >>> 21));
-}
-
-
-if (4095 >>> 21 !== 0) {
- $ERROR('#706: 4095 >>> 21 === 0. Actual: ' + (4095 >>> 21));
-}
-
-
-if (8191 >>> 21 !== 0) {
- $ERROR('#707: 8191 >>> 21 === 0. Actual: ' + (8191 >>> 21));
-}
-
-
-if (16383 >>> 21 !== 0) {
- $ERROR('#708: 16383 >>> 21 === 0. Actual: ' + (16383 >>> 21));
-}
-
-
-if (32767 >>> 21 !== 0) {
- $ERROR('#709: 32767 >>> 21 === 0. Actual: ' + (32767 >>> 21));
-}
-
-
-if (65535 >>> 21 !== 0) {
- $ERROR('#710: 65535 >>> 21 === 0. Actual: ' + (65535 >>> 21));
-}
-
-
-if (131071 >>> 21 !== 0) {
- $ERROR('#711: 131071 >>> 21 === 0. Actual: ' + (131071 >>> 21));
-}
-
-
-if (262143 >>> 21 !== 0) {
- $ERROR('#712: 262143 >>> 21 === 0. Actual: ' + (262143 >>> 21));
-}
-
-
-if (524287 >>> 21 !== 0) {
- $ERROR('#713: 524287 >>> 21 === 0. Actual: ' + (524287 >>> 21));
-}
-
-
-if (1048575 >>> 21 !== 0) {
- $ERROR('#714: 1048575 >>> 21 === 0. Actual: ' + (1048575 >>> 21));
-}
-
-
-if (2097151 >>> 21 !== 0) {
- $ERROR('#715: 2097151 >>> 21 === 0. Actual: ' + (2097151 >>> 21));
-}
-
-
-if (4194303 >>> 21 !== 1) {
- $ERROR('#716: 4194303 >>> 21 === 1. Actual: ' + (4194303 >>> 21));
-}
-
-
-if (8388607 >>> 21 !== 3) {
- $ERROR('#717: 8388607 >>> 21 === 3. Actual: ' + (8388607 >>> 21));
-}
-
-
-if (16777215 >>> 21 !== 7) {
- $ERROR('#718: 16777215 >>> 21 === 7. Actual: ' + (16777215 >>> 21));
-}
-
-
-if (33554431 >>> 21 !== 15) {
- $ERROR('#719: 33554431 >>> 21 === 15. Actual: ' + (33554431 >>> 21));
-}
-
-
-if (67108863 >>> 21 !== 31) {
- $ERROR('#720: 67108863 >>> 21 === 31. Actual: ' + (67108863 >>> 21));
-}
-
-
-if (134217727 >>> 21 !== 63) {
- $ERROR('#721: 134217727 >>> 21 === 63. Actual: ' + (134217727 >>> 21));
-}
-
-
-if (268435455 >>> 21 !== 127) {
- $ERROR('#722: 268435455 >>> 21 === 127. Actual: ' + (268435455 >>> 21));
-}
-
-
-if (536870911 >>> 21 !== 255) {
- $ERROR('#723: 536870911 >>> 21 === 255. Actual: ' + (536870911 >>> 21));
-}
-
-
-if (1073741823 >>> 21 !== 511) {
- $ERROR('#724: 1073741823 >>> 21 === 511. Actual: ' + (1073741823 >>> 21));
-}
-
-
-if (2147483647 >>> 21 !== 1023) {
- $ERROR('#725: 2147483647 >>> 21 === 1023. Actual: ' + (2147483647 >>> 21));
-}
-
-
-if (4294967295 >>> 21 !== 2047) {
- $ERROR('#726: 4294967295 >>> 21 === 2047. Actual: ' + (4294967295 >>> 21));
-}
-
-
-if (0 >>> 22 !== 0) {
- $ERROR('#727: 0 >>> 22 === 0. Actual: ' + (0 >>> 22));
-}
-
-
-if (1 >>> 22 !== 0) {
- $ERROR('#728: 1 >>> 22 === 0. Actual: ' + (1 >>> 22));
-}
-
-
-if (3 >>> 22 !== 0) {
- $ERROR('#729: 3 >>> 22 === 0. Actual: ' + (3 >>> 22));
-}
-
-
-if (7 >>> 22 !== 0) {
- $ERROR('#730: 7 >>> 22 === 0. Actual: ' + (7 >>> 22));
-}
-
-
-if (15 >>> 22 !== 0) {
- $ERROR('#731: 15 >>> 22 === 0. Actual: ' + (15 >>> 22));
-}
-
-
-if (31 >>> 22 !== 0) {
- $ERROR('#732: 31 >>> 22 === 0. Actual: ' + (31 >>> 22));
-}
-
-
-if (63 >>> 22 !== 0) {
- $ERROR('#733: 63 >>> 22 === 0. Actual: ' + (63 >>> 22));
-}
-
-
-if (127 >>> 22 !== 0) {
- $ERROR('#734: 127 >>> 22 === 0. Actual: ' + (127 >>> 22));
-}
-
-
-if (255 >>> 22 !== 0) {
- $ERROR('#735: 255 >>> 22 === 0. Actual: ' + (255 >>> 22));
-}
-
-
-if (511 >>> 22 !== 0) {
- $ERROR('#736: 511 >>> 22 === 0. Actual: ' + (511 >>> 22));
-}
-
-
-if (1023 >>> 22 !== 0) {
- $ERROR('#737: 1023 >>> 22 === 0. Actual: ' + (1023 >>> 22));
-}
-
-
-if (2047 >>> 22 !== 0) {
- $ERROR('#738: 2047 >>> 22 === 0. Actual: ' + (2047 >>> 22));
-}
-
-
-if (4095 >>> 22 !== 0) {
- $ERROR('#739: 4095 >>> 22 === 0. Actual: ' + (4095 >>> 22));
-}
-
-
-if (8191 >>> 22 !== 0) {
- $ERROR('#740: 8191 >>> 22 === 0. Actual: ' + (8191 >>> 22));
-}
-
-
-if (16383 >>> 22 !== 0) {
- $ERROR('#741: 16383 >>> 22 === 0. Actual: ' + (16383 >>> 22));
-}
-
-
-if (32767 >>> 22 !== 0) {
- $ERROR('#742: 32767 >>> 22 === 0. Actual: ' + (32767 >>> 22));
-}
-
-
-if (65535 >>> 22 !== 0) {
- $ERROR('#743: 65535 >>> 22 === 0. Actual: ' + (65535 >>> 22));
-}
-
-
-if (131071 >>> 22 !== 0) {
- $ERROR('#744: 131071 >>> 22 === 0. Actual: ' + (131071 >>> 22));
-}
-
-
-if (262143 >>> 22 !== 0) {
- $ERROR('#745: 262143 >>> 22 === 0. Actual: ' + (262143 >>> 22));
-}
-
-
-if (524287 >>> 22 !== 0) {
- $ERROR('#746: 524287 >>> 22 === 0. Actual: ' + (524287 >>> 22));
-}
-
-
-if (1048575 >>> 22 !== 0) {
- $ERROR('#747: 1048575 >>> 22 === 0. Actual: ' + (1048575 >>> 22));
-}
-
-
-if (2097151 >>> 22 !== 0) {
- $ERROR('#748: 2097151 >>> 22 === 0. Actual: ' + (2097151 >>> 22));
-}
-
-
-if (4194303 >>> 22 !== 0) {
- $ERROR('#749: 4194303 >>> 22 === 0. Actual: ' + (4194303 >>> 22));
-}
-
-
-if (8388607 >>> 22 !== 1) {
- $ERROR('#750: 8388607 >>> 22 === 1. Actual: ' + (8388607 >>> 22));
-}
-
-
-if (16777215 >>> 22 !== 3) {
- $ERROR('#751: 16777215 >>> 22 === 3. Actual: ' + (16777215 >>> 22));
-}
-
-
-if (33554431 >>> 22 !== 7) {
- $ERROR('#752: 33554431 >>> 22 === 7. Actual: ' + (33554431 >>> 22));
-}
-
-
-if (67108863 >>> 22 !== 15) {
- $ERROR('#753: 67108863 >>> 22 === 15. Actual: ' + (67108863 >>> 22));
-}
-
-
-if (134217727 >>> 22 !== 31) {
- $ERROR('#754: 134217727 >>> 22 === 31. Actual: ' + (134217727 >>> 22));
-}
-
-
-if (268435455 >>> 22 !== 63) {
- $ERROR('#755: 268435455 >>> 22 === 63. Actual: ' + (268435455 >>> 22));
-}
-
-
-if (536870911 >>> 22 !== 127) {
- $ERROR('#756: 536870911 >>> 22 === 127. Actual: ' + (536870911 >>> 22));
-}
-
-
-if (1073741823 >>> 22 !== 255) {
- $ERROR('#757: 1073741823 >>> 22 === 255. Actual: ' + (1073741823 >>> 22));
-}
-
-
-if (2147483647 >>> 22 !== 511) {
- $ERROR('#758: 2147483647 >>> 22 === 511. Actual: ' + (2147483647 >>> 22));
-}
-
-
-if (4294967295 >>> 22 !== 1023) {
- $ERROR('#759: 4294967295 >>> 22 === 1023. Actual: ' + (4294967295 >>> 22));
-}
-
-
-if (0 >>> 23 !== 0) {
- $ERROR('#760: 0 >>> 23 === 0. Actual: ' + (0 >>> 23));
-}
-
-
-if (1 >>> 23 !== 0) {
- $ERROR('#761: 1 >>> 23 === 0. Actual: ' + (1 >>> 23));
-}
-
-
-if (3 >>> 23 !== 0) {
- $ERROR('#762: 3 >>> 23 === 0. Actual: ' + (3 >>> 23));
-}
-
-
-if (7 >>> 23 !== 0) {
- $ERROR('#763: 7 >>> 23 === 0. Actual: ' + (7 >>> 23));
-}
-
-
-if (15 >>> 23 !== 0) {
- $ERROR('#764: 15 >>> 23 === 0. Actual: ' + (15 >>> 23));
-}
-
-
-if (31 >>> 23 !== 0) {
- $ERROR('#765: 31 >>> 23 === 0. Actual: ' + (31 >>> 23));
-}
-
-
-if (63 >>> 23 !== 0) {
- $ERROR('#766: 63 >>> 23 === 0. Actual: ' + (63 >>> 23));
-}
-
-
-if (127 >>> 23 !== 0) {
- $ERROR('#767: 127 >>> 23 === 0. Actual: ' + (127 >>> 23));
-}
-
-
-if (255 >>> 23 !== 0) {
- $ERROR('#768: 255 >>> 23 === 0. Actual: ' + (255 >>> 23));
-}
-
-
-if (511 >>> 23 !== 0) {
- $ERROR('#769: 511 >>> 23 === 0. Actual: ' + (511 >>> 23));
-}
-
-
-if (1023 >>> 23 !== 0) {
- $ERROR('#770: 1023 >>> 23 === 0. Actual: ' + (1023 >>> 23));
-}
-
-
-if (2047 >>> 23 !== 0) {
- $ERROR('#771: 2047 >>> 23 === 0. Actual: ' + (2047 >>> 23));
-}
-
-
-if (4095 >>> 23 !== 0) {
- $ERROR('#772: 4095 >>> 23 === 0. Actual: ' + (4095 >>> 23));
-}
-
-
-if (8191 >>> 23 !== 0) {
- $ERROR('#773: 8191 >>> 23 === 0. Actual: ' + (8191 >>> 23));
-}
-
-
-if (16383 >>> 23 !== 0) {
- $ERROR('#774: 16383 >>> 23 === 0. Actual: ' + (16383 >>> 23));
-}
-
-
-if (32767 >>> 23 !== 0) {
- $ERROR('#775: 32767 >>> 23 === 0. Actual: ' + (32767 >>> 23));
-}
-
-
-if (65535 >>> 23 !== 0) {
- $ERROR('#776: 65535 >>> 23 === 0. Actual: ' + (65535 >>> 23));
-}
-
-
-if (131071 >>> 23 !== 0) {
- $ERROR('#777: 131071 >>> 23 === 0. Actual: ' + (131071 >>> 23));
-}
-
-
-if (262143 >>> 23 !== 0) {
- $ERROR('#778: 262143 >>> 23 === 0. Actual: ' + (262143 >>> 23));
-}
-
-
-if (524287 >>> 23 !== 0) {
- $ERROR('#779: 524287 >>> 23 === 0. Actual: ' + (524287 >>> 23));
-}
-
-
-if (1048575 >>> 23 !== 0) {
- $ERROR('#780: 1048575 >>> 23 === 0. Actual: ' + (1048575 >>> 23));
-}
-
-
-if (2097151 >>> 23 !== 0) {
- $ERROR('#781: 2097151 >>> 23 === 0. Actual: ' + (2097151 >>> 23));
-}
-
-
-if (4194303 >>> 23 !== 0) {
- $ERROR('#782: 4194303 >>> 23 === 0. Actual: ' + (4194303 >>> 23));
-}
-
-
-if (8388607 >>> 23 !== 0) {
- $ERROR('#783: 8388607 >>> 23 === 0. Actual: ' + (8388607 >>> 23));
-}
-
-
-if (16777215 >>> 23 !== 1) {
- $ERROR('#784: 16777215 >>> 23 === 1. Actual: ' + (16777215 >>> 23));
-}
-
-
-if (33554431 >>> 23 !== 3) {
- $ERROR('#785: 33554431 >>> 23 === 3. Actual: ' + (33554431 >>> 23));
-}
-
-
-if (67108863 >>> 23 !== 7) {
- $ERROR('#786: 67108863 >>> 23 === 7. Actual: ' + (67108863 >>> 23));
-}
-
-
-if (134217727 >>> 23 !== 15) {
- $ERROR('#787: 134217727 >>> 23 === 15. Actual: ' + (134217727 >>> 23));
-}
-
-
-if (268435455 >>> 23 !== 31) {
- $ERROR('#788: 268435455 >>> 23 === 31. Actual: ' + (268435455 >>> 23));
-}
-
-
-if (536870911 >>> 23 !== 63) {
- $ERROR('#789: 536870911 >>> 23 === 63. Actual: ' + (536870911 >>> 23));
-}
-
-
-if (1073741823 >>> 23 !== 127) {
- $ERROR('#790: 1073741823 >>> 23 === 127. Actual: ' + (1073741823 >>> 23));
-}
-
-
-if (2147483647 >>> 23 !== 255) {
- $ERROR('#791: 2147483647 >>> 23 === 255. Actual: ' + (2147483647 >>> 23));
-}
-
-
-if (4294967295 >>> 23 !== 511) {
- $ERROR('#792: 4294967295 >>> 23 === 511. Actual: ' + (4294967295 >>> 23));
-}
-
-
-if (0 >>> 24 !== 0) {
- $ERROR('#793: 0 >>> 24 === 0. Actual: ' + (0 >>> 24));
-}
-
-
-if (1 >>> 24 !== 0) {
- $ERROR('#794: 1 >>> 24 === 0. Actual: ' + (1 >>> 24));
-}
-
-
-if (3 >>> 24 !== 0) {
- $ERROR('#795: 3 >>> 24 === 0. Actual: ' + (3 >>> 24));
-}
-
-
-if (7 >>> 24 !== 0) {
- $ERROR('#796: 7 >>> 24 === 0. Actual: ' + (7 >>> 24));
-}
-
-
-if (15 >>> 24 !== 0) {
- $ERROR('#797: 15 >>> 24 === 0. Actual: ' + (15 >>> 24));
-}
-
-
-if (31 >>> 24 !== 0) {
- $ERROR('#798: 31 >>> 24 === 0. Actual: ' + (31 >>> 24));
-}
-
-
-if (63 >>> 24 !== 0) {
- $ERROR('#799: 63 >>> 24 === 0. Actual: ' + (63 >>> 24));
-}
-
-
-if (127 >>> 24 !== 0) {
- $ERROR('#800: 127 >>> 24 === 0. Actual: ' + (127 >>> 24));
-}
-
-
-if (255 >>> 24 !== 0) {
- $ERROR('#801: 255 >>> 24 === 0. Actual: ' + (255 >>> 24));
-}
-
-
-if (511 >>> 24 !== 0) {
- $ERROR('#802: 511 >>> 24 === 0. Actual: ' + (511 >>> 24));
-}
-
-
-if (1023 >>> 24 !== 0) {
- $ERROR('#803: 1023 >>> 24 === 0. Actual: ' + (1023 >>> 24));
-}
-
-
-if (2047 >>> 24 !== 0) {
- $ERROR('#804: 2047 >>> 24 === 0. Actual: ' + (2047 >>> 24));
-}
-
-
-if (4095 >>> 24 !== 0) {
- $ERROR('#805: 4095 >>> 24 === 0. Actual: ' + (4095 >>> 24));
-}
-
-
-if (8191 >>> 24 !== 0) {
- $ERROR('#806: 8191 >>> 24 === 0. Actual: ' + (8191 >>> 24));
-}
-
-
-if (16383 >>> 24 !== 0) {
- $ERROR('#807: 16383 >>> 24 === 0. Actual: ' + (16383 >>> 24));
-}
-
-
-if (32767 >>> 24 !== 0) {
- $ERROR('#808: 32767 >>> 24 === 0. Actual: ' + (32767 >>> 24));
-}
-
-
-if (65535 >>> 24 !== 0) {
- $ERROR('#809: 65535 >>> 24 === 0. Actual: ' + (65535 >>> 24));
-}
-
-
-if (131071 >>> 24 !== 0) {
- $ERROR('#810: 131071 >>> 24 === 0. Actual: ' + (131071 >>> 24));
-}
-
-
-if (262143 >>> 24 !== 0) {
- $ERROR('#811: 262143 >>> 24 === 0. Actual: ' + (262143 >>> 24));
-}
-
-
-if (524287 >>> 24 !== 0) {
- $ERROR('#812: 524287 >>> 24 === 0. Actual: ' + (524287 >>> 24));
-}
-
-
-if (1048575 >>> 24 !== 0) {
- $ERROR('#813: 1048575 >>> 24 === 0. Actual: ' + (1048575 >>> 24));
-}
-
-
-if (2097151 >>> 24 !== 0) {
- $ERROR('#814: 2097151 >>> 24 === 0. Actual: ' + (2097151 >>> 24));
-}
-
-
-if (4194303 >>> 24 !== 0) {
- $ERROR('#815: 4194303 >>> 24 === 0. Actual: ' + (4194303 >>> 24));
-}
-
-
-if (8388607 >>> 24 !== 0) {
- $ERROR('#816: 8388607 >>> 24 === 0. Actual: ' + (8388607 >>> 24));
-}
-
-
-if (16777215 >>> 24 !== 0) {
- $ERROR('#817: 16777215 >>> 24 === 0. Actual: ' + (16777215 >>> 24));
-}
-
-
-if (33554431 >>> 24 !== 1) {
- $ERROR('#818: 33554431 >>> 24 === 1. Actual: ' + (33554431 >>> 24));
-}
-
-
-if (67108863 >>> 24 !== 3) {
- $ERROR('#819: 67108863 >>> 24 === 3. Actual: ' + (67108863 >>> 24));
-}
-
-
-if (134217727 >>> 24 !== 7) {
- $ERROR('#820: 134217727 >>> 24 === 7. Actual: ' + (134217727 >>> 24));
-}
-
-
-if (268435455 >>> 24 !== 15) {
- $ERROR('#821: 268435455 >>> 24 === 15. Actual: ' + (268435455 >>> 24));
-}
-
-
-if (536870911 >>> 24 !== 31) {
- $ERROR('#822: 536870911 >>> 24 === 31. Actual: ' + (536870911 >>> 24));
-}
-
-
-if (1073741823 >>> 24 !== 63) {
- $ERROR('#823: 1073741823 >>> 24 === 63. Actual: ' + (1073741823 >>> 24));
-}
-
-
-if (2147483647 >>> 24 !== 127) {
- $ERROR('#824: 2147483647 >>> 24 === 127. Actual: ' + (2147483647 >>> 24));
-}
-
-
-if (4294967295 >>> 24 !== 255) {
- $ERROR('#825: 4294967295 >>> 24 === 255. Actual: ' + (4294967295 >>> 24));
-}
-
-
-if (0 >>> 25 !== 0) {
- $ERROR('#826: 0 >>> 25 === 0. Actual: ' + (0 >>> 25));
-}
-
-
-if (1 >>> 25 !== 0) {
- $ERROR('#827: 1 >>> 25 === 0. Actual: ' + (1 >>> 25));
-}
-
-
-if (3 >>> 25 !== 0) {
- $ERROR('#828: 3 >>> 25 === 0. Actual: ' + (3 >>> 25));
-}
-
-
-if (7 >>> 25 !== 0) {
- $ERROR('#829: 7 >>> 25 === 0. Actual: ' + (7 >>> 25));
-}
-
-
-if (15 >>> 25 !== 0) {
- $ERROR('#830: 15 >>> 25 === 0. Actual: ' + (15 >>> 25));
-}
-
-
-if (31 >>> 25 !== 0) {
- $ERROR('#831: 31 >>> 25 === 0. Actual: ' + (31 >>> 25));
-}
-
-
-if (63 >>> 25 !== 0) {
- $ERROR('#832: 63 >>> 25 === 0. Actual: ' + (63 >>> 25));
-}
-
-
-if (127 >>> 25 !== 0) {
- $ERROR('#833: 127 >>> 25 === 0. Actual: ' + (127 >>> 25));
-}
-
-
-if (255 >>> 25 !== 0) {
- $ERROR('#834: 255 >>> 25 === 0. Actual: ' + (255 >>> 25));
-}
-
-
-if (511 >>> 25 !== 0) {
- $ERROR('#835: 511 >>> 25 === 0. Actual: ' + (511 >>> 25));
-}
-
-
-if (1023 >>> 25 !== 0) {
- $ERROR('#836: 1023 >>> 25 === 0. Actual: ' + (1023 >>> 25));
-}
-
-
-if (2047 >>> 25 !== 0) {
- $ERROR('#837: 2047 >>> 25 === 0. Actual: ' + (2047 >>> 25));
-}
-
-
-if (4095 >>> 25 !== 0) {
- $ERROR('#838: 4095 >>> 25 === 0. Actual: ' + (4095 >>> 25));
-}
-
-
-if (8191 >>> 25 !== 0) {
- $ERROR('#839: 8191 >>> 25 === 0. Actual: ' + (8191 >>> 25));
-}
-
-
-if (16383 >>> 25 !== 0) {
- $ERROR('#840: 16383 >>> 25 === 0. Actual: ' + (16383 >>> 25));
-}
-
-
-if (32767 >>> 25 !== 0) {
- $ERROR('#841: 32767 >>> 25 === 0. Actual: ' + (32767 >>> 25));
-}
-
-
-if (65535 >>> 25 !== 0) {
- $ERROR('#842: 65535 >>> 25 === 0. Actual: ' + (65535 >>> 25));
-}
-
-
-if (131071 >>> 25 !== 0) {
- $ERROR('#843: 131071 >>> 25 === 0. Actual: ' + (131071 >>> 25));
-}
-
-
-if (262143 >>> 25 !== 0) {
- $ERROR('#844: 262143 >>> 25 === 0. Actual: ' + (262143 >>> 25));
-}
-
-
-if (524287 >>> 25 !== 0) {
- $ERROR('#845: 524287 >>> 25 === 0. Actual: ' + (524287 >>> 25));
-}
-
-
-if (1048575 >>> 25 !== 0) {
- $ERROR('#846: 1048575 >>> 25 === 0. Actual: ' + (1048575 >>> 25));
-}
-
-
-if (2097151 >>> 25 !== 0) {
- $ERROR('#847: 2097151 >>> 25 === 0. Actual: ' + (2097151 >>> 25));
-}
-
-
-if (4194303 >>> 25 !== 0) {
- $ERROR('#848: 4194303 >>> 25 === 0. Actual: ' + (4194303 >>> 25));
-}
-
-
-if (8388607 >>> 25 !== 0) {
- $ERROR('#849: 8388607 >>> 25 === 0. Actual: ' + (8388607 >>> 25));
-}
-
-
-if (16777215 >>> 25 !== 0) {
- $ERROR('#850: 16777215 >>> 25 === 0. Actual: ' + (16777215 >>> 25));
-}
-
-
-if (33554431 >>> 25 !== 0) {
- $ERROR('#851: 33554431 >>> 25 === 0. Actual: ' + (33554431 >>> 25));
-}
-
-
-if (67108863 >>> 25 !== 1) {
- $ERROR('#852: 67108863 >>> 25 === 1. Actual: ' + (67108863 >>> 25));
-}
-
-
-if (134217727 >>> 25 !== 3) {
- $ERROR('#853: 134217727 >>> 25 === 3. Actual: ' + (134217727 >>> 25));
-}
-
-
-if (268435455 >>> 25 !== 7) {
- $ERROR('#854: 268435455 >>> 25 === 7. Actual: ' + (268435455 >>> 25));
-}
-
-
-if (536870911 >>> 25 !== 15) {
- $ERROR('#855: 536870911 >>> 25 === 15. Actual: ' + (536870911 >>> 25));
-}
-
-
-if (1073741823 >>> 25 !== 31) {
- $ERROR('#856: 1073741823 >>> 25 === 31. Actual: ' + (1073741823 >>> 25));
-}
-
-
-if (2147483647 >>> 25 !== 63) {
- $ERROR('#857: 2147483647 >>> 25 === 63. Actual: ' + (2147483647 >>> 25));
-}
-
-
-if (4294967295 >>> 25 !== 127) {
- $ERROR('#858: 4294967295 >>> 25 === 127. Actual: ' + (4294967295 >>> 25));
-}
-
-
-if (0 >>> 26 !== 0) {
- $ERROR('#859: 0 >>> 26 === 0. Actual: ' + (0 >>> 26));
-}
-
-
-if (1 >>> 26 !== 0) {
- $ERROR('#860: 1 >>> 26 === 0. Actual: ' + (1 >>> 26));
-}
-
-
-if (3 >>> 26 !== 0) {
- $ERROR('#861: 3 >>> 26 === 0. Actual: ' + (3 >>> 26));
-}
-
-
-if (7 >>> 26 !== 0) {
- $ERROR('#862: 7 >>> 26 === 0. Actual: ' + (7 >>> 26));
-}
-
-
-if (15 >>> 26 !== 0) {
- $ERROR('#863: 15 >>> 26 === 0. Actual: ' + (15 >>> 26));
-}
-
-
-if (31 >>> 26 !== 0) {
- $ERROR('#864: 31 >>> 26 === 0. Actual: ' + (31 >>> 26));
-}
-
-
-if (63 >>> 26 !== 0) {
- $ERROR('#865: 63 >>> 26 === 0. Actual: ' + (63 >>> 26));
-}
-
-
-if (127 >>> 26 !== 0) {
- $ERROR('#866: 127 >>> 26 === 0. Actual: ' + (127 >>> 26));
-}
-
-
-if (255 >>> 26 !== 0) {
- $ERROR('#867: 255 >>> 26 === 0. Actual: ' + (255 >>> 26));
-}
-
-
-if (511 >>> 26 !== 0) {
- $ERROR('#868: 511 >>> 26 === 0. Actual: ' + (511 >>> 26));
-}
-
-
-if (1023 >>> 26 !== 0) {
- $ERROR('#869: 1023 >>> 26 === 0. Actual: ' + (1023 >>> 26));
-}
-
-
-if (2047 >>> 26 !== 0) {
- $ERROR('#870: 2047 >>> 26 === 0. Actual: ' + (2047 >>> 26));
-}
-
-
-if (4095 >>> 26 !== 0) {
- $ERROR('#871: 4095 >>> 26 === 0. Actual: ' + (4095 >>> 26));
-}
-
-
-if (8191 >>> 26 !== 0) {
- $ERROR('#872: 8191 >>> 26 === 0. Actual: ' + (8191 >>> 26));
-}
-
-
-if (16383 >>> 26 !== 0) {
- $ERROR('#873: 16383 >>> 26 === 0. Actual: ' + (16383 >>> 26));
-}
-
-
-if (32767 >>> 26 !== 0) {
- $ERROR('#874: 32767 >>> 26 === 0. Actual: ' + (32767 >>> 26));
-}
-
-
-if (65535 >>> 26 !== 0) {
- $ERROR('#875: 65535 >>> 26 === 0. Actual: ' + (65535 >>> 26));
-}
-
-
-if (131071 >>> 26 !== 0) {
- $ERROR('#876: 131071 >>> 26 === 0. Actual: ' + (131071 >>> 26));
-}
-
-
-if (262143 >>> 26 !== 0) {
- $ERROR('#877: 262143 >>> 26 === 0. Actual: ' + (262143 >>> 26));
-}
-
-
-if (524287 >>> 26 !== 0) {
- $ERROR('#878: 524287 >>> 26 === 0. Actual: ' + (524287 >>> 26));
-}
-
-
-if (1048575 >>> 26 !== 0) {
- $ERROR('#879: 1048575 >>> 26 === 0. Actual: ' + (1048575 >>> 26));
-}
-
-
-if (2097151 >>> 26 !== 0) {
- $ERROR('#880: 2097151 >>> 26 === 0. Actual: ' + (2097151 >>> 26));
-}
-
-
-if (4194303 >>> 26 !== 0) {
- $ERROR('#881: 4194303 >>> 26 === 0. Actual: ' + (4194303 >>> 26));
-}
-
-
-if (8388607 >>> 26 !== 0) {
- $ERROR('#882: 8388607 >>> 26 === 0. Actual: ' + (8388607 >>> 26));
-}
-
-
-if (16777215 >>> 26 !== 0) {
- $ERROR('#883: 16777215 >>> 26 === 0. Actual: ' + (16777215 >>> 26));
-}
-
-
-if (33554431 >>> 26 !== 0) {
- $ERROR('#884: 33554431 >>> 26 === 0. Actual: ' + (33554431 >>> 26));
-}
-
-
-if (67108863 >>> 26 !== 0) {
- $ERROR('#885: 67108863 >>> 26 === 0. Actual: ' + (67108863 >>> 26));
-}
-
-
-if (134217727 >>> 26 !== 1) {
- $ERROR('#886: 134217727 >>> 26 === 1. Actual: ' + (134217727 >>> 26));
-}
-
-
-if (268435455 >>> 26 !== 3) {
- $ERROR('#887: 268435455 >>> 26 === 3. Actual: ' + (268435455 >>> 26));
-}
-
-
-if (536870911 >>> 26 !== 7) {
- $ERROR('#888: 536870911 >>> 26 === 7. Actual: ' + (536870911 >>> 26));
-}
-
-
-if (1073741823 >>> 26 !== 15) {
- $ERROR('#889: 1073741823 >>> 26 === 15. Actual: ' + (1073741823 >>> 26));
-}
-
-
-if (2147483647 >>> 26 !== 31) {
- $ERROR('#890: 2147483647 >>> 26 === 31. Actual: ' + (2147483647 >>> 26));
-}
-
-
-if (4294967295 >>> 26 !== 63) {
- $ERROR('#891: 4294967295 >>> 26 === 63. Actual: ' + (4294967295 >>> 26));
-}
-
-
-if (0 >>> 27 !== 0) {
- $ERROR('#892: 0 >>> 27 === 0. Actual: ' + (0 >>> 27));
-}
-
-
-if (1 >>> 27 !== 0) {
- $ERROR('#893: 1 >>> 27 === 0. Actual: ' + (1 >>> 27));
-}
-
-
-if (3 >>> 27 !== 0) {
- $ERROR('#894: 3 >>> 27 === 0. Actual: ' + (3 >>> 27));
-}
-
-
-if (7 >>> 27 !== 0) {
- $ERROR('#895: 7 >>> 27 === 0. Actual: ' + (7 >>> 27));
-}
-
-
-if (15 >>> 27 !== 0) {
- $ERROR('#896: 15 >>> 27 === 0. Actual: ' + (15 >>> 27));
-}
-
-
-if (31 >>> 27 !== 0) {
- $ERROR('#897: 31 >>> 27 === 0. Actual: ' + (31 >>> 27));
-}
-
-
-if (63 >>> 27 !== 0) {
- $ERROR('#898: 63 >>> 27 === 0. Actual: ' + (63 >>> 27));
-}
-
-
-if (127 >>> 27 !== 0) {
- $ERROR('#899: 127 >>> 27 === 0. Actual: ' + (127 >>> 27));
-}
-
-
-if (255 >>> 27 !== 0) {
- $ERROR('#900: 255 >>> 27 === 0. Actual: ' + (255 >>> 27));
-}
-
-
-if (511 >>> 27 !== 0) {
- $ERROR('#901: 511 >>> 27 === 0. Actual: ' + (511 >>> 27));
-}
-
-
-if (1023 >>> 27 !== 0) {
- $ERROR('#902: 1023 >>> 27 === 0. Actual: ' + (1023 >>> 27));
-}
-
-
-if (2047 >>> 27 !== 0) {
- $ERROR('#903: 2047 >>> 27 === 0. Actual: ' + (2047 >>> 27));
-}
-
-
-if (4095 >>> 27 !== 0) {
- $ERROR('#904: 4095 >>> 27 === 0. Actual: ' + (4095 >>> 27));
-}
-
-
-if (8191 >>> 27 !== 0) {
- $ERROR('#905: 8191 >>> 27 === 0. Actual: ' + (8191 >>> 27));
-}
-
-
-if (16383 >>> 27 !== 0) {
- $ERROR('#906: 16383 >>> 27 === 0. Actual: ' + (16383 >>> 27));
-}
-
-
-if (32767 >>> 27 !== 0) {
- $ERROR('#907: 32767 >>> 27 === 0. Actual: ' + (32767 >>> 27));
-}
-
-
-if (65535 >>> 27 !== 0) {
- $ERROR('#908: 65535 >>> 27 === 0. Actual: ' + (65535 >>> 27));
-}
-
-
-if (131071 >>> 27 !== 0) {
- $ERROR('#909: 131071 >>> 27 === 0. Actual: ' + (131071 >>> 27));
-}
-
-
-if (262143 >>> 27 !== 0) {
- $ERROR('#910: 262143 >>> 27 === 0. Actual: ' + (262143 >>> 27));
-}
-
-
-if (524287 >>> 27 !== 0) {
- $ERROR('#911: 524287 >>> 27 === 0. Actual: ' + (524287 >>> 27));
-}
-
-
-if (1048575 >>> 27 !== 0) {
- $ERROR('#912: 1048575 >>> 27 === 0. Actual: ' + (1048575 >>> 27));
-}
-
-
-if (2097151 >>> 27 !== 0) {
- $ERROR('#913: 2097151 >>> 27 === 0. Actual: ' + (2097151 >>> 27));
-}
-
-
-if (4194303 >>> 27 !== 0) {
- $ERROR('#914: 4194303 >>> 27 === 0. Actual: ' + (4194303 >>> 27));
-}
-
-
-if (8388607 >>> 27 !== 0) {
- $ERROR('#915: 8388607 >>> 27 === 0. Actual: ' + (8388607 >>> 27));
-}
-
-
-if (16777215 >>> 27 !== 0) {
- $ERROR('#916: 16777215 >>> 27 === 0. Actual: ' + (16777215 >>> 27));
-}
-
-
-if (33554431 >>> 27 !== 0) {
- $ERROR('#917: 33554431 >>> 27 === 0. Actual: ' + (33554431 >>> 27));
-}
-
-
-if (67108863 >>> 27 !== 0) {
- $ERROR('#918: 67108863 >>> 27 === 0. Actual: ' + (67108863 >>> 27));
-}
-
-
-if (134217727 >>> 27 !== 0) {
- $ERROR('#919: 134217727 >>> 27 === 0. Actual: ' + (134217727 >>> 27));
-}
-
-
-if (268435455 >>> 27 !== 1) {
- $ERROR('#920: 268435455 >>> 27 === 1. Actual: ' + (268435455 >>> 27));
-}
-
-
-if (536870911 >>> 27 !== 3) {
- $ERROR('#921: 536870911 >>> 27 === 3. Actual: ' + (536870911 >>> 27));
-}
-
-
-if (1073741823 >>> 27 !== 7) {
- $ERROR('#922: 1073741823 >>> 27 === 7. Actual: ' + (1073741823 >>> 27));
-}
-
-
-if (2147483647 >>> 27 !== 15) {
- $ERROR('#923: 2147483647 >>> 27 === 15. Actual: ' + (2147483647 >>> 27));
-}
-
-
-if (4294967295 >>> 27 !== 31) {
- $ERROR('#924: 4294967295 >>> 27 === 31. Actual: ' + (4294967295 >>> 27));
-}
-
-
-if (0 >>> 28 !== 0) {
- $ERROR('#925: 0 >>> 28 === 0. Actual: ' + (0 >>> 28));
-}
-
-
-if (1 >>> 28 !== 0) {
- $ERROR('#926: 1 >>> 28 === 0. Actual: ' + (1 >>> 28));
-}
-
-
-if (3 >>> 28 !== 0) {
- $ERROR('#927: 3 >>> 28 === 0. Actual: ' + (3 >>> 28));
-}
-
-
-if (7 >>> 28 !== 0) {
- $ERROR('#928: 7 >>> 28 === 0. Actual: ' + (7 >>> 28));
-}
-
-
-if (15 >>> 28 !== 0) {
- $ERROR('#929: 15 >>> 28 === 0. Actual: ' + (15 >>> 28));
-}
-
-
-if (31 >>> 28 !== 0) {
- $ERROR('#930: 31 >>> 28 === 0. Actual: ' + (31 >>> 28));
-}
-
-
-if (63 >>> 28 !== 0) {
- $ERROR('#931: 63 >>> 28 === 0. Actual: ' + (63 >>> 28));
-}
-
-
-if (127 >>> 28 !== 0) {
- $ERROR('#932: 127 >>> 28 === 0. Actual: ' + (127 >>> 28));
-}
-
-
-if (255 >>> 28 !== 0) {
- $ERROR('#933: 255 >>> 28 === 0. Actual: ' + (255 >>> 28));
-}
-
-
-if (511 >>> 28 !== 0) {
- $ERROR('#934: 511 >>> 28 === 0. Actual: ' + (511 >>> 28));
-}
-
-
-if (1023 >>> 28 !== 0) {
- $ERROR('#935: 1023 >>> 28 === 0. Actual: ' + (1023 >>> 28));
-}
-
-
-if (2047 >>> 28 !== 0) {
- $ERROR('#936: 2047 >>> 28 === 0. Actual: ' + (2047 >>> 28));
-}
-
-
-if (4095 >>> 28 !== 0) {
- $ERROR('#937: 4095 >>> 28 === 0. Actual: ' + (4095 >>> 28));
-}
-
-
-if (8191 >>> 28 !== 0) {
- $ERROR('#938: 8191 >>> 28 === 0. Actual: ' + (8191 >>> 28));
-}
-
-
-if (16383 >>> 28 !== 0) {
- $ERROR('#939: 16383 >>> 28 === 0. Actual: ' + (16383 >>> 28));
-}
-
-
-if (32767 >>> 28 !== 0) {
- $ERROR('#940: 32767 >>> 28 === 0. Actual: ' + (32767 >>> 28));
-}
-
-
-if (65535 >>> 28 !== 0) {
- $ERROR('#941: 65535 >>> 28 === 0. Actual: ' + (65535 >>> 28));
-}
-
-
-if (131071 >>> 28 !== 0) {
- $ERROR('#942: 131071 >>> 28 === 0. Actual: ' + (131071 >>> 28));
-}
-
-
-if (262143 >>> 28 !== 0) {
- $ERROR('#943: 262143 >>> 28 === 0. Actual: ' + (262143 >>> 28));
-}
-
-
-if (524287 >>> 28 !== 0) {
- $ERROR('#944: 524287 >>> 28 === 0. Actual: ' + (524287 >>> 28));
-}
-
-
-if (1048575 >>> 28 !== 0) {
- $ERROR('#945: 1048575 >>> 28 === 0. Actual: ' + (1048575 >>> 28));
-}
-
-
-if (2097151 >>> 28 !== 0) {
- $ERROR('#946: 2097151 >>> 28 === 0. Actual: ' + (2097151 >>> 28));
-}
-
-
-if (4194303 >>> 28 !== 0) {
- $ERROR('#947: 4194303 >>> 28 === 0. Actual: ' + (4194303 >>> 28));
-}
-
-
-if (8388607 >>> 28 !== 0) {
- $ERROR('#948: 8388607 >>> 28 === 0. Actual: ' + (8388607 >>> 28));
-}
-
-
-if (16777215 >>> 28 !== 0) {
- $ERROR('#949: 16777215 >>> 28 === 0. Actual: ' + (16777215 >>> 28));
-}
-
-
-if (33554431 >>> 28 !== 0) {
- $ERROR('#950: 33554431 >>> 28 === 0. Actual: ' + (33554431 >>> 28));
-}
-
-
-if (67108863 >>> 28 !== 0) {
- $ERROR('#951: 67108863 >>> 28 === 0. Actual: ' + (67108863 >>> 28));
-}
-
-
-if (134217727 >>> 28 !== 0) {
- $ERROR('#952: 134217727 >>> 28 === 0. Actual: ' + (134217727 >>> 28));
-}
-
-
-if (268435455 >>> 28 !== 0) {
- $ERROR('#953: 268435455 >>> 28 === 0. Actual: ' + (268435455 >>> 28));
-}
-
-
-if (536870911 >>> 28 !== 1) {
- $ERROR('#954: 536870911 >>> 28 === 1. Actual: ' + (536870911 >>> 28));
-}
-
-
-if (1073741823 >>> 28 !== 3) {
- $ERROR('#955: 1073741823 >>> 28 === 3. Actual: ' + (1073741823 >>> 28));
-}
-
-
-if (2147483647 >>> 28 !== 7) {
- $ERROR('#956: 2147483647 >>> 28 === 7. Actual: ' + (2147483647 >>> 28));
-}
-
-
-if (4294967295 >>> 28 !== 15) {
- $ERROR('#957: 4294967295 >>> 28 === 15. Actual: ' + (4294967295 >>> 28));
-}
-
-
-if (0 >>> 29 !== 0) {
- $ERROR('#958: 0 >>> 29 === 0. Actual: ' + (0 >>> 29));
-}
-
-
-if (1 >>> 29 !== 0) {
- $ERROR('#959: 1 >>> 29 === 0. Actual: ' + (1 >>> 29));
-}
-
-
-if (3 >>> 29 !== 0) {
- $ERROR('#960: 3 >>> 29 === 0. Actual: ' + (3 >>> 29));
-}
-
-
-if (7 >>> 29 !== 0) {
- $ERROR('#961: 7 >>> 29 === 0. Actual: ' + (7 >>> 29));
-}
-
-
-if (15 >>> 29 !== 0) {
- $ERROR('#962: 15 >>> 29 === 0. Actual: ' + (15 >>> 29));
-}
-
-
-if (31 >>> 29 !== 0) {
- $ERROR('#963: 31 >>> 29 === 0. Actual: ' + (31 >>> 29));
-}
-
-
-if (63 >>> 29 !== 0) {
- $ERROR('#964: 63 >>> 29 === 0. Actual: ' + (63 >>> 29));
-}
-
-
-if (127 >>> 29 !== 0) {
- $ERROR('#965: 127 >>> 29 === 0. Actual: ' + (127 >>> 29));
-}
-
-
-if (255 >>> 29 !== 0) {
- $ERROR('#966: 255 >>> 29 === 0. Actual: ' + (255 >>> 29));
-}
-
-
-if (511 >>> 29 !== 0) {
- $ERROR('#967: 511 >>> 29 === 0. Actual: ' + (511 >>> 29));
-}
-
-
-if (1023 >>> 29 !== 0) {
- $ERROR('#968: 1023 >>> 29 === 0. Actual: ' + (1023 >>> 29));
-}
-
-
-if (2047 >>> 29 !== 0) {
- $ERROR('#969: 2047 >>> 29 === 0. Actual: ' + (2047 >>> 29));
-}
-
-
-if (4095 >>> 29 !== 0) {
- $ERROR('#970: 4095 >>> 29 === 0. Actual: ' + (4095 >>> 29));
-}
-
-
-if (8191 >>> 29 !== 0) {
- $ERROR('#971: 8191 >>> 29 === 0. Actual: ' + (8191 >>> 29));
-}
-
-
-if (16383 >>> 29 !== 0) {
- $ERROR('#972: 16383 >>> 29 === 0. Actual: ' + (16383 >>> 29));
-}
-
-
-if (32767 >>> 29 !== 0) {
- $ERROR('#973: 32767 >>> 29 === 0. Actual: ' + (32767 >>> 29));
-}
-
-
-if (65535 >>> 29 !== 0) {
- $ERROR('#974: 65535 >>> 29 === 0. Actual: ' + (65535 >>> 29));
-}
-
-
-if (131071 >>> 29 !== 0) {
- $ERROR('#975: 131071 >>> 29 === 0. Actual: ' + (131071 >>> 29));
-}
-
-
-if (262143 >>> 29 !== 0) {
- $ERROR('#976: 262143 >>> 29 === 0. Actual: ' + (262143 >>> 29));
-}
-
-
-if (524287 >>> 29 !== 0) {
- $ERROR('#977: 524287 >>> 29 === 0. Actual: ' + (524287 >>> 29));
-}
-
-
-if (1048575 >>> 29 !== 0) {
- $ERROR('#978: 1048575 >>> 29 === 0. Actual: ' + (1048575 >>> 29));
-}
-
-
-if (2097151 >>> 29 !== 0) {
- $ERROR('#979: 2097151 >>> 29 === 0. Actual: ' + (2097151 >>> 29));
-}
-
-
-if (4194303 >>> 29 !== 0) {
- $ERROR('#980: 4194303 >>> 29 === 0. Actual: ' + (4194303 >>> 29));
-}
-
-
-if (8388607 >>> 29 !== 0) {
- $ERROR('#981: 8388607 >>> 29 === 0. Actual: ' + (8388607 >>> 29));
-}
-
-
-if (16777215 >>> 29 !== 0) {
- $ERROR('#982: 16777215 >>> 29 === 0. Actual: ' + (16777215 >>> 29));
-}
-
-
-if (33554431 >>> 29 !== 0) {
- $ERROR('#983: 33554431 >>> 29 === 0. Actual: ' + (33554431 >>> 29));
-}
-
-
-if (67108863 >>> 29 !== 0) {
- $ERROR('#984: 67108863 >>> 29 === 0. Actual: ' + (67108863 >>> 29));
-}
-
-
-if (134217727 >>> 29 !== 0) {
- $ERROR('#985: 134217727 >>> 29 === 0. Actual: ' + (134217727 >>> 29));
-}
-
-
-if (268435455 >>> 29 !== 0) {
- $ERROR('#986: 268435455 >>> 29 === 0. Actual: ' + (268435455 >>> 29));
-}
-
-
-if (536870911 >>> 29 !== 0) {
- $ERROR('#987: 536870911 >>> 29 === 0. Actual: ' + (536870911 >>> 29));
-}
-
-
-if (1073741823 >>> 29 !== 1) {
- $ERROR('#988: 1073741823 >>> 29 === 1. Actual: ' + (1073741823 >>> 29));
-}
-
-
-if (2147483647 >>> 29 !== 3) {
- $ERROR('#989: 2147483647 >>> 29 === 3. Actual: ' + (2147483647 >>> 29));
-}
-
-
-if (4294967295 >>> 29 !== 7) {
- $ERROR('#990: 4294967295 >>> 29 === 7. Actual: ' + (4294967295 >>> 29));
-}
-
-
-if (0 >>> 30 !== 0) {
- $ERROR('#991: 0 >>> 30 === 0. Actual: ' + (0 >>> 30));
-}
-
-
-if (1 >>> 30 !== 0) {
- $ERROR('#992: 1 >>> 30 === 0. Actual: ' + (1 >>> 30));
-}
-
-
-if (3 >>> 30 !== 0) {
- $ERROR('#993: 3 >>> 30 === 0. Actual: ' + (3 >>> 30));
-}
-
-
-if (7 >>> 30 !== 0) {
- $ERROR('#994: 7 >>> 30 === 0. Actual: ' + (7 >>> 30));
-}
-
-
-if (15 >>> 30 !== 0) {
- $ERROR('#995: 15 >>> 30 === 0. Actual: ' + (15 >>> 30));
-}
-
-
-if (31 >>> 30 !== 0) {
- $ERROR('#996: 31 >>> 30 === 0. Actual: ' + (31 >>> 30));
-}
-
-
-if (63 >>> 30 !== 0) {
- $ERROR('#997: 63 >>> 30 === 0. Actual: ' + (63 >>> 30));
-}
-
-
-if (127 >>> 30 !== 0) {
- $ERROR('#998: 127 >>> 30 === 0. Actual: ' + (127 >>> 30));
-}
-
-
-if (255 >>> 30 !== 0) {
- $ERROR('#999: 255 >>> 30 === 0. Actual: ' + (255 >>> 30));
-}
-
-
-if (511 >>> 30 !== 0) {
- $ERROR('#1000: 511 >>> 30 === 0. Actual: ' + (511 >>> 30));
-}
-
-
-if (1023 >>> 30 !== 0) {
- $ERROR('#1001: 1023 >>> 30 === 0. Actual: ' + (1023 >>> 30));
-}
-
-
-if (2047 >>> 30 !== 0) {
- $ERROR('#1002: 2047 >>> 30 === 0. Actual: ' + (2047 >>> 30));
-}
-
-
-if (4095 >>> 30 !== 0) {
- $ERROR('#1003: 4095 >>> 30 === 0. Actual: ' + (4095 >>> 30));
-}
-
-
-if (8191 >>> 30 !== 0) {
- $ERROR('#1004: 8191 >>> 30 === 0. Actual: ' + (8191 >>> 30));
-}
-
-
-if (16383 >>> 30 !== 0) {
- $ERROR('#1005: 16383 >>> 30 === 0. Actual: ' + (16383 >>> 30));
-}
-
-
-if (32767 >>> 30 !== 0) {
- $ERROR('#1006: 32767 >>> 30 === 0. Actual: ' + (32767 >>> 30));
-}
-
-
-if (65535 >>> 30 !== 0) {
- $ERROR('#1007: 65535 >>> 30 === 0. Actual: ' + (65535 >>> 30));
-}
-
-
-if (131071 >>> 30 !== 0) {
- $ERROR('#1008: 131071 >>> 30 === 0. Actual: ' + (131071 >>> 30));
-}
-
-
-if (262143 >>> 30 !== 0) {
- $ERROR('#1009: 262143 >>> 30 === 0. Actual: ' + (262143 >>> 30));
-}
-
-
-if (524287 >>> 30 !== 0) {
- $ERROR('#1010: 524287 >>> 30 === 0. Actual: ' + (524287 >>> 30));
-}
-
-
-if (1048575 >>> 30 !== 0) {
- $ERROR('#1011: 1048575 >>> 30 === 0. Actual: ' + (1048575 >>> 30));
-}
-
-
-if (2097151 >>> 30 !== 0) {
- $ERROR('#1012: 2097151 >>> 30 === 0. Actual: ' + (2097151 >>> 30));
-}
-
-
-if (4194303 >>> 30 !== 0) {
- $ERROR('#1013: 4194303 >>> 30 === 0. Actual: ' + (4194303 >>> 30));
-}
-
-
-if (8388607 >>> 30 !== 0) {
- $ERROR('#1014: 8388607 >>> 30 === 0. Actual: ' + (8388607 >>> 30));
-}
-
-
-if (16777215 >>> 30 !== 0) {
- $ERROR('#1015: 16777215 >>> 30 === 0. Actual: ' + (16777215 >>> 30));
-}
-
-
-if (33554431 >>> 30 !== 0) {
- $ERROR('#1016: 33554431 >>> 30 === 0. Actual: ' + (33554431 >>> 30));
-}
-
-
-if (67108863 >>> 30 !== 0) {
- $ERROR('#1017: 67108863 >>> 30 === 0. Actual: ' + (67108863 >>> 30));
-}
-
-
-if (134217727 >>> 30 !== 0) {
- $ERROR('#1018: 134217727 >>> 30 === 0. Actual: ' + (134217727 >>> 30));
-}
-
-
-if (268435455 >>> 30 !== 0) {
- $ERROR('#1019: 268435455 >>> 30 === 0. Actual: ' + (268435455 >>> 30));
-}
-
-
-if (536870911 >>> 30 !== 0) {
- $ERROR('#1020: 536870911 >>> 30 === 0. Actual: ' + (536870911 >>> 30));
-}
-
-
-if (1073741823 >>> 30 !== 0) {
- $ERROR('#1021: 1073741823 >>> 30 === 0. Actual: ' + (1073741823 >>> 30));
-}
-
-
-if (2147483647 >>> 30 !== 1) {
- $ERROR('#1022: 2147483647 >>> 30 === 1. Actual: ' + (2147483647 >>> 30));
-}
-
-
-if (4294967295 >>> 30 !== 3) {
- $ERROR('#1023: 4294967295 >>> 30 === 3. Actual: ' + (4294967295 >>> 30));
-}
-
-
-if (0 >>> 31 !== 0) {
- $ERROR('#1024: 0 >>> 31 === 0. Actual: ' + (0 >>> 31));
-}
-
-
-if (1 >>> 31 !== 0) {
- $ERROR('#1025: 1 >>> 31 === 0. Actual: ' + (1 >>> 31));
-}
-
-
-if (3 >>> 31 !== 0) {
- $ERROR('#1026: 3 >>> 31 === 0. Actual: ' + (3 >>> 31));
-}
-
-
-if (7 >>> 31 !== 0) {
- $ERROR('#1027: 7 >>> 31 === 0. Actual: ' + (7 >>> 31));
-}
-
-
-if (15 >>> 31 !== 0) {
- $ERROR('#1028: 15 >>> 31 === 0. Actual: ' + (15 >>> 31));
-}
-
-
-if (31 >>> 31 !== 0) {
- $ERROR('#1029: 31 >>> 31 === 0. Actual: ' + (31 >>> 31));
-}
-
-
-if (63 >>> 31 !== 0) {
- $ERROR('#1030: 63 >>> 31 === 0. Actual: ' + (63 >>> 31));
-}
-
-
-if (127 >>> 31 !== 0) {
- $ERROR('#1031: 127 >>> 31 === 0. Actual: ' + (127 >>> 31));
-}
-
-
-if (255 >>> 31 !== 0) {
- $ERROR('#1032: 255 >>> 31 === 0. Actual: ' + (255 >>> 31));
-}
-
-
-if (511 >>> 31 !== 0) {
- $ERROR('#1033: 511 >>> 31 === 0. Actual: ' + (511 >>> 31));
-}
-
-
-if (1023 >>> 31 !== 0) {
- $ERROR('#1034: 1023 >>> 31 === 0. Actual: ' + (1023 >>> 31));
-}
-
-
-if (2047 >>> 31 !== 0) {
- $ERROR('#1035: 2047 >>> 31 === 0. Actual: ' + (2047 >>> 31));
-}
-
-
-if (4095 >>> 31 !== 0) {
- $ERROR('#1036: 4095 >>> 31 === 0. Actual: ' + (4095 >>> 31));
-}
-
-
-if (8191 >>> 31 !== 0) {
- $ERROR('#1037: 8191 >>> 31 === 0. Actual: ' + (8191 >>> 31));
-}
-
-
-if (16383 >>> 31 !== 0) {
- $ERROR('#1038: 16383 >>> 31 === 0. Actual: ' + (16383 >>> 31));
-}
-
-
-if (32767 >>> 31 !== 0) {
- $ERROR('#1039: 32767 >>> 31 === 0. Actual: ' + (32767 >>> 31));
-}
-
-
-if (65535 >>> 31 !== 0) {
- $ERROR('#1040: 65535 >>> 31 === 0. Actual: ' + (65535 >>> 31));
-}
-
-
-if (131071 >>> 31 !== 0) {
- $ERROR('#1041: 131071 >>> 31 === 0. Actual: ' + (131071 >>> 31));
-}
-
-
-if (262143 >>> 31 !== 0) {
- $ERROR('#1042: 262143 >>> 31 === 0. Actual: ' + (262143 >>> 31));
-}
-
-
-if (524287 >>> 31 !== 0) {
- $ERROR('#1043: 524287 >>> 31 === 0. Actual: ' + (524287 >>> 31));
-}
-
-
-if (1048575 >>> 31 !== 0) {
- $ERROR('#1044: 1048575 >>> 31 === 0. Actual: ' + (1048575 >>> 31));
-}
-
-
-if (2097151 >>> 31 !== 0) {
- $ERROR('#1045: 2097151 >>> 31 === 0. Actual: ' + (2097151 >>> 31));
-}
-
-
-if (4194303 >>> 31 !== 0) {
- $ERROR('#1046: 4194303 >>> 31 === 0. Actual: ' + (4194303 >>> 31));
-}
-
-
-if (8388607 >>> 31 !== 0) {
- $ERROR('#1047: 8388607 >>> 31 === 0. Actual: ' + (8388607 >>> 31));
-}
-
-
-if (16777215 >>> 31 !== 0) {
- $ERROR('#1048: 16777215 >>> 31 === 0. Actual: ' + (16777215 >>> 31));
-}
-
-
-if (33554431 >>> 31 !== 0) {
- $ERROR('#1049: 33554431 >>> 31 === 0. Actual: ' + (33554431 >>> 31));
-}
-
-
-if (67108863 >>> 31 !== 0) {
- $ERROR('#1050: 67108863 >>> 31 === 0. Actual: ' + (67108863 >>> 31));
-}
-
-
-if (134217727 >>> 31 !== 0) {
- $ERROR('#1051: 134217727 >>> 31 === 0. Actual: ' + (134217727 >>> 31));
-}
-
-
-if (268435455 >>> 31 !== 0) {
- $ERROR('#1052: 268435455 >>> 31 === 0. Actual: ' + (268435455 >>> 31));
-}
-
-
-if (536870911 >>> 31 !== 0) {
- $ERROR('#1053: 536870911 >>> 31 === 0. Actual: ' + (536870911 >>> 31));
-}
-
-
-if (1073741823 >>> 31 !== 0) {
- $ERROR('#1054: 1073741823 >>> 31 === 0. Actual: ' + (1073741823 >>> 31));
-}
-
-
-if (2147483647 >>> 31 !== 0) {
- $ERROR('#1055: 2147483647 >>> 31 === 0. Actual: ' + (2147483647 >>> 31));
-}
-
-
-if (4294967295 >>> 31 !== 1) {
- $ERROR('#1056: 4294967295 >>> 31 === 1. Actual: ' + (4294967295 >>> 31));
-}
-
- }
-});
-
|