blob: 7077af8530139cef5b0ff140c509e77abfe64090 [file] [log] [blame]
// 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_T2.js
* @description ShiftExpression = 2^n - 1, n = 16...31
*/
//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));
}