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