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