JSTests/test262/test/language/expressions/right-shift/S11.7.2_A4_T2.js

// Copyright 2009 the Sputnik authors.  All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.

/*---
info: Check x >> y operator in distinct points
es5id: 11.7.2_A4_T2
description: ShiftExpression = 2^n - 1, n = 16...31
---*/

//CHECK
 
if (-1 >> 16 !== -1) { 
  throw new Test262Error('#513: -1 >> 16 === -1. Actual: ' + (-1 >> 16)); 
} 


if (-2 >> 16 !== -1) { 
  throw new Test262Error('#514: -2 >> 16 === -1. Actual: ' + (-2 >> 16)); 
} 


if (-4 >> 16 !== -1) { 
  throw new Test262Error('#515: -4 >> 16 === -1. Actual: ' + (-4 >> 16)); 
} 


if (-8 >> 16 !== -1) { 
  throw new Test262Error('#516: -8 >> 16 === -1. Actual: ' + (-8 >> 16)); 
} 


if (-16 >> 16 !== -1) { 
  throw new Test262Error('#517: -16 >> 16 === -1. Actual: ' + (-16 >> 16)); 
} 


if (-32 >> 16 !== -1) { 
  throw new Test262Error('#518: -32 >> 16 === -1. Actual: ' + (-32 >> 16)); 
} 


if (-64 >> 16 !== -1) { 
  throw new Test262Error('#519: -64 >> 16 === -1. Actual: ' + (-64 >> 16)); 
} 


if (-128 >> 16 !== -1) { 
  throw new Test262Error('#520: -128 >> 16 === -1. Actual: ' + (-128 >> 16)); 
} 


if (-256 >> 16 !== -1) { 
  throw new Test262Error('#521: -256 >> 16 === -1. Actual: ' + (-256 >> 16)); 
} 


if (-512 >> 16 !== -1) { 
  throw new Test262Error('#522: -512 >> 16 === -1. Actual: ' + (-512 >> 16)); 
} 


if (-1024 >> 16 !== -1) { 
  throw new Test262Error('#523: -1024 >> 16 === -1. Actual: ' + (-1024 >> 16)); 
} 


if (-2048 >> 16 !== -1) { 
  throw new Test262Error('#524: -2048 >> 16 === -1. Actual: ' + (-2048 >> 16)); 
} 


if (-4096 >> 16 !== -1) { 
  throw new Test262Error('#525: -4096 >> 16 === -1. Actual: ' + (-4096 >> 16)); 
} 


if (-8192 >> 16 !== -1) { 
  throw new Test262Error('#526: -8192 >> 16 === -1. Actual: ' + (-8192 >> 16)); 
} 


if (-16384 >> 16 !== -1) { 
  throw new Test262Error('#527: -16384 >> 16 === -1. Actual: ' + (-16384 >> 16)); 
} 


if (-32768 >> 16 !== -1) { 
  throw new Test262Error('#528: -32768 >> 16 === -1. Actual: ' + (-32768 >> 16)); 
} 


if (-65536 >> 16 !== -1) { 
  throw new Test262Error('#529: -65536 >> 16 === -1. Actual: ' + (-65536 >> 16)); 
} 


if (-131072 >> 16 !== -2) { 
  throw new Test262Error('#530: -131072 >> 16 === -2. Actual: ' + (-131072 >> 16)); 
} 


if (-262144 >> 16 !== -4) { 
  throw new Test262Error('#531: -262144 >> 16 === -4. Actual: ' + (-262144 >> 16)); 
} 


if (-524288 >> 16 !== -8) { 
  throw new Test262Error('#532: -524288 >> 16 === -8. Actual: ' + (-524288 >> 16)); 
} 


if (-1048576 >> 16 !== -16) { 
  throw new Test262Error('#533: -1048576 >> 16 === -16. Actual: ' + (-1048576 >> 16)); 
} 


if (-2097152 >> 16 !== -32) { 
  throw new Test262Error('#534: -2097152 >> 16 === -32. Actual: ' + (-2097152 >> 16)); 
} 


if (-4194304 >> 16 !== -64) { 
  throw new Test262Error('#535: -4194304 >> 16 === -64. Actual: ' + (-4194304 >> 16)); 
} 


if (-8388608 >> 16 !== -128) { 
  throw new Test262Error('#536: -8388608 >> 16 === -128. Actual: ' + (-8388608 >> 16)); 
} 


if (-16777216 >> 16 !== -256) { 
  throw new Test262Error('#537: -16777216 >> 16 === -256. Actual: ' + (-16777216 >> 16)); 
} 


if (-33554432 >> 16 !== -512) { 
  throw new Test262Error('#538: -33554432 >> 16 === -512. Actual: ' + (-33554432 >> 16)); 
} 


if (-67108864 >> 16 !== -1024) { 
  throw new Test262Error('#539: -67108864 >> 16 === -1024. Actual: ' + (-67108864 >> 16)); 
} 


if (-134217728 >> 16 !== -2048) { 
  throw new Test262Error('#540: -134217728 >> 16 === -2048. Actual: ' + (-134217728 >> 16)); 
} 


if (-268435456 >> 16 !== -4096) { 
  throw new Test262Error('#541: -268435456 >> 16 === -4096. Actual: ' + (-268435456 >> 16)); 
} 


if (-536870912 >> 16 !== -8192) { 
  throw new Test262Error('#542: -536870912 >> 16 === -8192. Actual: ' + (-536870912 >> 16)); 
} 


if (-1073741824 >> 16 !== -16384) { 
  throw new Test262Error('#543: -1073741824 >> 16 === -16384. Actual: ' + (-1073741824 >> 16)); 
} 


if (-2147483648 >> 16 !== -32768) { 
  throw new Test262Error('#544: -2147483648 >> 16 === -32768. Actual: ' + (-2147483648 >> 16)); 
} 


if (-1 >> 17 !== -1) { 
  throw new Test262Error('#545: -1 >> 17 === -1. Actual: ' + (-1 >> 17)); 
} 


if (-2 >> 17 !== -1) { 
  throw new Test262Error('#546: -2 >> 17 === -1. Actual: ' + (-2 >> 17)); 
} 


if (-4 >> 17 !== -1) { 
  throw new Test262Error('#547: -4 >> 17 === -1. Actual: ' + (-4 >> 17)); 
} 


if (-8 >> 17 !== -1) { 
  throw new Test262Error('#548: -8 >> 17 === -1. Actual: ' + (-8 >> 17)); 
} 


if (-16 >> 17 !== -1) { 
  throw new Test262Error('#549: -16 >> 17 === -1. Actual: ' + (-16 >> 17)); 
} 


if (-32 >> 17 !== -1) { 
  throw new Test262Error('#550: -32 >> 17 === -1. Actual: ' + (-32 >> 17)); 
} 


if (-64 >> 17 !== -1) { 
  throw new Test262Error('#551: -64 >> 17 === -1. Actual: ' + (-64 >> 17)); 
} 


if (-128 >> 17 !== -1) { 
  throw new Test262Error('#552: -128 >> 17 === -1. Actual: ' + (-128 >> 17)); 
} 


if (-256 >> 17 !== -1) { 
  throw new Test262Error('#553: -256 >> 17 === -1. Actual: ' + (-256 >> 17)); 
} 


if (-512 >> 17 !== -1) { 
  throw new Test262Error('#554: -512 >> 17 === -1. Actual: ' + (-512 >> 17)); 
} 


if (-1024 >> 17 !== -1) { 
  throw new Test262Error('#555: -1024 >> 17 === -1. Actual: ' + (-1024 >> 17)); 
} 


if (-2048 >> 17 !== -1) { 
  throw new Test262Error('#556: -2048 >> 17 === -1. Actual: ' + (-2048 >> 17)); 
} 


if (-4096 >> 17 !== -1) { 
  throw new Test262Error('#557: -4096 >> 17 === -1. Actual: ' + (-4096 >> 17)); 
} 


if (-8192 >> 17 !== -1) { 
  throw new Test262Error('#558: -8192 >> 17 === -1. Actual: ' + (-8192 >> 17)); 
} 


if (-16384 >> 17 !== -1) { 
  throw new Test262Error('#559: -16384 >> 17 === -1. Actual: ' + (-16384 >> 17)); 
} 


if (-32768 >> 17 !== -1) { 
  throw new Test262Error('#560: -32768 >> 17 === -1. Actual: ' + (-32768 >> 17)); 
} 


if (-65536 >> 17 !== -1) { 
  throw new Test262Error('#561: -65536 >> 17 === -1. Actual: ' + (-65536 >> 17)); 
} 


if (-131072 >> 17 !== -1) { 
  throw new Test262Error('#562: -131072 >> 17 === -1. Actual: ' + (-131072 >> 17)); 
} 


if (-262144 >> 17 !== -2) { 
  throw new Test262Error('#563: -262144 >> 17 === -2. Actual: ' + (-262144 >> 17)); 
} 


if (-524288 >> 17 !== -4) { 
  throw new Test262Error('#564: -524288 >> 17 === -4. Actual: ' + (-524288 >> 17)); 
} 


if (-1048576 >> 17 !== -8) { 
  throw new Test262Error('#565: -1048576 >> 17 === -8. Actual: ' + (-1048576 >> 17)); 
} 


if (-2097152 >> 17 !== -16) { 
  throw new Test262Error('#566: -2097152 >> 17 === -16. Actual: ' + (-2097152 >> 17)); 
} 


if (-4194304 >> 17 !== -32) { 
  throw new Test262Error('#567: -4194304 >> 17 === -32. Actual: ' + (-4194304 >> 17)); 
} 


if (-8388608 >> 17 !== -64) { 
  throw new Test262Error('#568: -8388608 >> 17 === -64. Actual: ' + (-8388608 >> 17)); 
} 


if (-16777216 >> 17 !== -128) { 
  throw new Test262Error('#569: -16777216 >> 17 === -128. Actual: ' + (-16777216 >> 17)); 
} 


if (-33554432 >> 17 !== -256) { 
  throw new Test262Error('#570: -33554432 >> 17 === -256. Actual: ' + (-33554432 >> 17)); 
} 


if (-67108864 >> 17 !== -512) { 
  throw new Test262Error('#571: -67108864 >> 17 === -512. Actual: ' + (-67108864 >> 17)); 
} 


if (-134217728 >> 17 !== -1024) { 
  throw new Test262Error('#572: -134217728 >> 17 === -1024. Actual: ' + (-134217728 >> 17)); 
} 


if (-268435456 >> 17 !== -2048) { 
  throw new Test262Error('#573: -268435456 >> 17 === -2048. Actual: ' + (-268435456 >> 17)); 
} 


if (-536870912 >> 17 !== -4096) { 
  throw new Test262Error('#574: -536870912 >> 17 === -4096. Actual: ' + (-536870912 >> 17)); 
} 


if (-1073741824 >> 17 !== -8192) { 
  throw new Test262Error('#575: -1073741824 >> 17 === -8192. Actual: ' + (-1073741824 >> 17)); 
} 


if (-2147483648 >> 17 !== -16384) { 
  throw new Test262Error('#576: -2147483648 >> 17 === -16384. Actual: ' + (-2147483648 >> 17)); 
} 


if (-1 >> 18 !== -1) { 
  throw new Test262Error('#577: -1 >> 18 === -1. Actual: ' + (-1 >> 18)); 
} 


if (-2 >> 18 !== -1) { 
  throw new Test262Error('#578: -2 >> 18 === -1. Actual: ' + (-2 >> 18)); 
} 


if (-4 >> 18 !== -1) { 
  throw new Test262Error('#579: -4 >> 18 === -1. Actual: ' + (-4 >> 18)); 
} 


if (-8 >> 18 !== -1) { 
  throw new Test262Error('#580: -8 >> 18 === -1. Actual: ' + (-8 >> 18)); 
} 


if (-16 >> 18 !== -1) { 
  throw new Test262Error('#581: -16 >> 18 === -1. Actual: ' + (-16 >> 18)); 
} 


if (-32 >> 18 !== -1) { 
  throw new Test262Error('#582: -32 >> 18 === -1. Actual: ' + (-32 >> 18)); 
} 


if (-64 >> 18 !== -1) { 
  throw new Test262Error('#583: -64 >> 18 === -1. Actual: ' + (-64 >> 18)); 
} 


if (-128 >> 18 !== -1) { 
  throw new Test262Error('#584: -128 >> 18 === -1. Actual: ' + (-128 >> 18)); 
} 


if (-256 >> 18 !== -1) { 
  throw new Test262Error('#585: -256 >> 18 === -1. Actual: ' + (-256 >> 18)); 
} 


if (-512 >> 18 !== -1) { 
  throw new Test262Error('#586: -512 >> 18 === -1. Actual: ' + (-512 >> 18)); 
} 


if (-1024 >> 18 !== -1) { 
  throw new Test262Error('#587: -1024 >> 18 === -1. Actual: ' + (-1024 >> 18)); 
} 


if (-2048 >> 18 !== -1) { 
  throw new Test262Error('#588: -2048 >> 18 === -1. Actual: ' + (-2048 >> 18)); 
} 


if (-4096 >> 18 !== -1) { 
  throw new Test262Error('#589: -4096 >> 18 === -1. Actual: ' + (-4096 >> 18)); 
} 


if (-8192 >> 18 !== -1) { 
  throw new Test262Error('#590: -8192 >> 18 === -1. Actual: ' + (-8192 >> 18)); 
} 


if (-16384 >> 18 !== -1) { 
  throw new Test262Error('#591: -16384 >> 18 === -1. Actual: ' + (-16384 >> 18)); 
} 


if (-32768 >> 18 !== -1) { 
  throw new Test262Error('#592: -32768 >> 18 === -1. Actual: ' + (-32768 >> 18)); 
} 


if (-65536 >> 18 !== -1) { 
  throw new Test262Error('#593: -65536 >> 18 === -1. Actual: ' + (-65536 >> 18)); 
} 


if (-131072 >> 18 !== -1) { 
  throw new Test262Error('#594: -131072 >> 18 === -1. Actual: ' + (-131072 >> 18)); 
} 


if (-262144 >> 18 !== -1) { 
  throw new Test262Error('#595: -262144 >> 18 === -1. Actual: ' + (-262144 >> 18)); 
} 


if (-524288 >> 18 !== -2) { 
  throw new Test262Error('#596: -524288 >> 18 === -2. Actual: ' + (-524288 >> 18)); 
} 


if (-1048576 >> 18 !== -4) { 
  throw new Test262Error('#597: -1048576 >> 18 === -4. Actual: ' + (-1048576 >> 18)); 
} 


if (-2097152 >> 18 !== -8) { 
  throw new Test262Error('#598: -2097152 >> 18 === -8. Actual: ' + (-2097152 >> 18)); 
} 


if (-4194304 >> 18 !== -16) { 
  throw new Test262Error('#599: -4194304 >> 18 === -16. Actual: ' + (-4194304 >> 18)); 
} 


if (-8388608 >> 18 !== -32) { 
  throw new Test262Error('#600: -8388608 >> 18 === -32. Actual: ' + (-8388608 >> 18)); 
} 


if (-16777216 >> 18 !== -64) { 
  throw new Test262Error('#601: -16777216 >> 18 === -64. Actual: ' + (-16777216 >> 18)); 
} 


if (-33554432 >> 18 !== -128) { 
  throw new Test262Error('#602: -33554432 >> 18 === -128. Actual: ' + (-33554432 >> 18)); 
} 


if (-67108864 >> 18 !== -256) { 
  throw new Test262Error('#603: -67108864 >> 18 === -256. Actual: ' + (-67108864 >> 18)); 
} 


if (-134217728 >> 18 !== -512) { 
  throw new Test262Error('#604: -134217728 >> 18 === -512. Actual: ' + (-134217728 >> 18)); 
} 


if (-268435456 >> 18 !== -1024) { 
  throw new Test262Error('#605: -268435456 >> 18 === -1024. Actual: ' + (-268435456 >> 18)); 
} 


if (-536870912 >> 18 !== -2048) { 
  throw new Test262Error('#606: -536870912 >> 18 === -2048. Actual: ' + (-536870912 >> 18)); 
} 


if (-1073741824 >> 18 !== -4096) { 
  throw new Test262Error('#607: -1073741824 >> 18 === -4096. Actual: ' + (-1073741824 >> 18)); 
} 


if (-2147483648 >> 18 !== -8192) { 
  throw new Test262Error('#608: -2147483648 >> 18 === -8192. Actual: ' + (-2147483648 >> 18)); 
} 


if (-1 >> 19 !== -1) { 
  throw new Test262Error('#609: -1 >> 19 === -1. Actual: ' + (-1 >> 19)); 
} 


if (-2 >> 19 !== -1) { 
  throw new Test262Error('#610: -2 >> 19 === -1. Actual: ' + (-2 >> 19)); 
} 


if (-4 >> 19 !== -1) { 
  throw new Test262Error('#611: -4 >> 19 === -1. Actual: ' + (-4 >> 19)); 
} 


if (-8 >> 19 !== -1) { 
  throw new Test262Error('#612: -8 >> 19 === -1. Actual: ' + (-8 >> 19)); 
} 


if (-16 >> 19 !== -1) { 
  throw new Test262Error('#613: -16 >> 19 === -1. Actual: ' + (-16 >> 19)); 
} 


if (-32 >> 19 !== -1) { 
  throw new Test262Error('#614: -32 >> 19 === -1. Actual: ' + (-32 >> 19)); 
} 


if (-64 >> 19 !== -1) { 
  throw new Test262Error('#615: -64 >> 19 === -1. Actual: ' + (-64 >> 19)); 
} 


if (-128 >> 19 !== -1) { 
  throw new Test262Error('#616: -128 >> 19 === -1. Actual: ' + (-128 >> 19)); 
} 


if (-256 >> 19 !== -1) { 
  throw new Test262Error('#617: -256 >> 19 === -1. Actual: ' + (-256 >> 19)); 
} 


if (-512 >> 19 !== -1) { 
  throw new Test262Error('#618: -512 >> 19 === -1. Actual: ' + (-512 >> 19)); 
} 


if (-1024 >> 19 !== -1) { 
  throw new Test262Error('#619: -1024 >> 19 === -1. Actual: ' + (-1024 >> 19)); 
} 


if (-2048 >> 19 !== -1) { 
  throw new Test262Error('#620: -2048 >> 19 === -1. Actual: ' + (-2048 >> 19)); 
} 


if (-4096 >> 19 !== -1) { 
  throw new Test262Error('#621: -4096 >> 19 === -1. Actual: ' + (-4096 >> 19)); 
} 


if (-8192 >> 19 !== -1) { 
  throw new Test262Error('#622: -8192 >> 19 === -1. Actual: ' + (-8192 >> 19)); 
} 


if (-16384 >> 19 !== -1) { 
  throw new Test262Error('#623: -16384 >> 19 === -1. Actual: ' + (-16384 >> 19)); 
} 


if (-32768 >> 19 !== -1) { 
  throw new Test262Error('#624: -32768 >> 19 === -1. Actual: ' + (-32768 >> 19)); 
} 


if (-65536 >> 19 !== -1) { 
  throw new Test262Error('#625: -65536 >> 19 === -1. Actual: ' + (-65536 >> 19)); 
} 


if (-131072 >> 19 !== -1) { 
  throw new Test262Error('#626: -131072 >> 19 === -1. Actual: ' + (-131072 >> 19)); 
} 


if (-262144 >> 19 !== -1) { 
  throw new Test262Error('#627: -262144 >> 19 === -1. Actual: ' + (-262144 >> 19)); 
} 


if (-524288 >> 19 !== -1) { 
  throw new Test262Error('#628: -524288 >> 19 === -1. Actual: ' + (-524288 >> 19)); 
} 


if (-1048576 >> 19 !== -2) { 
  throw new Test262Error('#629: -1048576 >> 19 === -2. Actual: ' + (-1048576 >> 19)); 
} 


if (-2097152 >> 19 !== -4) { 
  throw new Test262Error('#630: -2097152 >> 19 === -4. Actual: ' + (-2097152 >> 19)); 
} 


if (-4194304 >> 19 !== -8) { 
  throw new Test262Error('#631: -4194304 >> 19 === -8. Actual: ' + (-4194304 >> 19)); 
} 


if (-8388608 >> 19 !== -16) { 
  throw new Test262Error('#632: -8388608 >> 19 === -16. Actual: ' + (-8388608 >> 19)); 
} 


if (-16777216 >> 19 !== -32) { 
  throw new Test262Error('#633: -16777216 >> 19 === -32. Actual: ' + (-16777216 >> 19)); 
} 


if (-33554432 >> 19 !== -64) { 
  throw new Test262Error('#634: -33554432 >> 19 === -64. Actual: ' + (-33554432 >> 19)); 
} 


if (-67108864 >> 19 !== -128) { 
  throw new Test262Error('#635: -67108864 >> 19 === -128. Actual: ' + (-67108864 >> 19)); 
} 


if (-134217728 >> 19 !== -256) { 
  throw new Test262Error('#636: -134217728 >> 19 === -256. Actual: ' + (-134217728 >> 19)); 
} 


if (-268435456 >> 19 !== -512) { 
  throw new Test262Error('#637: -268435456 >> 19 === -512. Actual: ' + (-268435456 >> 19)); 
} 


if (-536870912 >> 19 !== -1024) { 
  throw new Test262Error('#638: -536870912 >> 19 === -1024. Actual: ' + (-536870912 >> 19)); 
} 


if (-1073741824 >> 19 !== -2048) { 
  throw new Test262Error('#639: -1073741824 >> 19 === -2048. Actual: ' + (-1073741824 >> 19)); 
} 


if (-2147483648 >> 19 !== -4096) { 
  throw new Test262Error('#640: -2147483648 >> 19 === -4096. Actual: ' + (-2147483648 >> 19)); 
} 


if (-1 >> 20 !== -1) { 
  throw new Test262Error('#641: -1 >> 20 === -1. Actual: ' + (-1 >> 20)); 
} 


if (-2 >> 20 !== -1) { 
  throw new Test262Error('#642: -2 >> 20 === -1. Actual: ' + (-2 >> 20)); 
} 


if (-4 >> 20 !== -1) { 
  throw new Test262Error('#643: -4 >> 20 === -1. Actual: ' + (-4 >> 20)); 
} 


if (-8 >> 20 !== -1) { 
  throw new Test262Error('#644: -8 >> 20 === -1. Actual: ' + (-8 >> 20)); 
} 


if (-16 >> 20 !== -1) { 
  throw new Test262Error('#645: -16 >> 20 === -1. Actual: ' + (-16 >> 20)); 
} 


if (-32 >> 20 !== -1) { 
  throw new Test262Error('#646: -32 >> 20 === -1. Actual: ' + (-32 >> 20)); 
} 


if (-64 >> 20 !== -1) { 
  throw new Test262Error('#647: -64 >> 20 === -1. Actual: ' + (-64 >> 20)); 
} 


if (-128 >> 20 !== -1) { 
  throw new Test262Error('#648: -128 >> 20 === -1. Actual: ' + (-128 >> 20)); 
} 


if (-256 >> 20 !== -1) { 
  throw new Test262Error('#649: -256 >> 20 === -1. Actual: ' + (-256 >> 20)); 
} 


if (-512 >> 20 !== -1) { 
  throw new Test262Error('#650: -512 >> 20 === -1. Actual: ' + (-512 >> 20)); 
} 


if (-1024 >> 20 !== -1) { 
  throw new Test262Error('#651: -1024 >> 20 === -1. Actual: ' + (-1024 >> 20)); 
} 


if (-2048 >> 20 !== -1) { 
  throw new Test262Error('#652: -2048 >> 20 === -1. Actual: ' + (-2048 >> 20)); 
} 


if (-4096 >> 20 !== -1) { 
  throw new Test262Error('#653: -4096 >> 20 === -1. Actual: ' + (-4096 >> 20)); 
} 


if (-8192 >> 20 !== -1) { 
  throw new Test262Error('#654: -8192 >> 20 === -1. Actual: ' + (-8192 >> 20)); 
} 


if (-16384 >> 20 !== -1) { 
  throw new Test262Error('#655: -16384 >> 20 === -1. Actual: ' + (-16384 >> 20)); 
} 


if (-32768 >> 20 !== -1) { 
  throw new Test262Error('#656: -32768 >> 20 === -1. Actual: ' + (-32768 >> 20)); 
} 


if (-65536 >> 20 !== -1) { 
  throw new Test262Error('#657: -65536 >> 20 === -1. Actual: ' + (-65536 >> 20)); 
} 


if (-131072 >> 20 !== -1) { 
  throw new Test262Error('#658: -131072 >> 20 === -1. Actual: ' + (-131072 >> 20)); 
} 


if (-262144 >> 20 !== -1) { 
  throw new Test262Error('#659: -262144 >> 20 === -1. Actual: ' + (-262144 >> 20)); 
} 


if (-524288 >> 20 !== -1) { 
  throw new Test262Error('#660: -524288 >> 20 === -1. Actual: ' + (-524288 >> 20)); 
} 


if (-1048576 >> 20 !== -1) { 
  throw new Test262Error('#661: -1048576 >> 20 === -1. Actual: ' + (-1048576 >> 20)); 
} 


if (-2097152 >> 20 !== -2) { 
  throw new Test262Error('#662: -2097152 >> 20 === -2. Actual: ' + (-2097152 >> 20)); 
} 


if (-4194304 >> 20 !== -4) { 
  throw new Test262Error('#663: -4194304 >> 20 === -4. Actual: ' + (-4194304 >> 20)); 
} 


if (-8388608 >> 20 !== -8) { 
  throw new Test262Error('#664: -8388608 >> 20 === -8. Actual: ' + (-8388608 >> 20)); 
} 


if (-16777216 >> 20 !== -16) { 
  throw new Test262Error('#665: -16777216 >> 20 === -16. Actual: ' + (-16777216 >> 20)); 
} 


if (-33554432 >> 20 !== -32) { 
  throw new Test262Error('#666: -33554432 >> 20 === -32. Actual: ' + (-33554432 >> 20)); 
} 


if (-67108864 >> 20 !== -64) { 
  throw new Test262Error('#667: -67108864 >> 20 === -64. Actual: ' + (-67108864 >> 20)); 
} 


if (-134217728 >> 20 !== -128) { 
  throw new Test262Error('#668: -134217728 >> 20 === -128. Actual: ' + (-134217728 >> 20)); 
} 


if (-268435456 >> 20 !== -256) { 
  throw new Test262Error('#669: -268435456 >> 20 === -256. Actual: ' + (-268435456 >> 20)); 
} 


if (-536870912 >> 20 !== -512) { 
  throw new Test262Error('#670: -536870912 >> 20 === -512. Actual: ' + (-536870912 >> 20)); 
} 


if (-1073741824 >> 20 !== -1024) { 
  throw new Test262Error('#671: -1073741824 >> 20 === -1024. Actual: ' + (-1073741824 >> 20)); 
} 


if (-2147483648 >> 20 !== -2048) { 
  throw new Test262Error('#672: -2147483648 >> 20 === -2048. Actual: ' + (-2147483648 >> 20)); 
} 


if (-1 >> 21 !== -1) { 
  throw new Test262Error('#673: -1 >> 21 === -1. Actual: ' + (-1 >> 21)); 
} 


if (-2 >> 21 !== -1) { 
  throw new Test262Error('#674: -2 >> 21 === -1. Actual: ' + (-2 >> 21)); 
} 


if (-4 >> 21 !== -1) { 
  throw new Test262Error('#675: -4 >> 21 === -1. Actual: ' + (-4 >> 21)); 
} 


if (-8 >> 21 !== -1) { 
  throw new Test262Error('#676: -8 >> 21 === -1. Actual: ' + (-8 >> 21)); 
} 


if (-16 >> 21 !== -1) { 
  throw new Test262Error('#677: -16 >> 21 === -1. Actual: ' + (-16 >> 21)); 
} 


if (-32 >> 21 !== -1) { 
  throw new Test262Error('#678: -32 >> 21 === -1. Actual: ' + (-32 >> 21)); 
} 


if (-64 >> 21 !== -1) { 
  throw new Test262Error('#679: -64 >> 21 === -1. Actual: ' + (-64 >> 21)); 
} 


if (-128 >> 21 !== -1) { 
  throw new Test262Error('#680: -128 >> 21 === -1. Actual: ' + (-128 >> 21)); 
} 


if (-256 >> 21 !== -1) { 
  throw new Test262Error('#681: -256 >> 21 === -1. Actual: ' + (-256 >> 21)); 
} 


if (-512 >> 21 !== -1) { 
  throw new Test262Error('#682: -512 >> 21 === -1. Actual: ' + (-512 >> 21)); 
} 


if (-1024 >> 21 !== -1) { 
  throw new Test262Error('#683: -1024 >> 21 === -1. Actual: ' + (-1024 >> 21)); 
} 


if (-2048 >> 21 !== -1) { 
  throw new Test262Error('#684: -2048 >> 21 === -1. Actual: ' + (-2048 >> 21)); 
} 


if (-4096 >> 21 !== -1) { 
  throw new Test262Error('#685: -4096 >> 21 === -1. Actual: ' + (-4096 >> 21)); 
} 


if (-8192 >> 21 !== -1) { 
  throw new Test262Error('#686: -8192 >> 21 === -1. Actual: ' + (-8192 >> 21)); 
} 


if (-16384 >> 21 !== -1) { 
  throw new Test262Error('#687: -16384 >> 21 === -1. Actual: ' + (-16384 >> 21)); 
} 


if (-32768 >> 21 !== -1) { 
  throw new Test262Error('#688: -32768 >> 21 === -1. Actual: ' + (-32768 >> 21)); 
} 


if (-65536 >> 21 !== -1) { 
  throw new Test262Error('#689: -65536 >> 21 === -1. Actual: ' + (-65536 >> 21)); 
} 


if (-131072 >> 21 !== -1) { 
  throw new Test262Error('#690: -131072 >> 21 === -1. Actual: ' + (-131072 >> 21)); 
} 


if (-262144 >> 21 !== -1) { 
  throw new Test262Error('#691: -262144 >> 21 === -1. Actual: ' + (-262144 >> 21)); 
} 


if (-524288 >> 21 !== -1) { 
  throw new Test262Error('#692: -524288 >> 21 === -1. Actual: ' + (-524288 >> 21)); 
} 


if (-1048576 >> 21 !== -1) { 
  throw new Test262Error('#693: -1048576 >> 21 === -1. Actual: ' + (-1048576 >> 21)); 
} 


if (-2097152 >> 21 !== -1) { 
  throw new Test262Error('#694: -2097152 >> 21 === -1. Actual: ' + (-2097152 >> 21)); 
} 


if (-4194304 >> 21 !== -2) { 
  throw new Test262Error('#695: -4194304 >> 21 === -2. Actual: ' + (-4194304 >> 21)); 
} 


if (-8388608 >> 21 !== -4) { 
  throw new Test262Error('#696: -8388608 >> 21 === -4. Actual: ' + (-8388608 >> 21)); 
} 


if (-16777216 >> 21 !== -8) { 
  throw new Test262Error('#697: -16777216 >> 21 === -8. Actual: ' + (-16777216 >> 21)); 
} 


if (-33554432 >> 21 !== -16) { 
  throw new Test262Error('#698: -33554432 >> 21 === -16. Actual: ' + (-33554432 >> 21)); 
} 


if (-67108864 >> 21 !== -32) { 
  throw new Test262Error('#699: -67108864 >> 21 === -32. Actual: ' + (-67108864 >> 21)); 
} 


if (-134217728 >> 21 !== -64) { 
  throw new Test262Error('#700: -134217728 >> 21 === -64. Actual: ' + (-134217728 >> 21)); 
} 


if (-268435456 >> 21 !== -128) { 
  throw new Test262Error('#701: -268435456 >> 21 === -128. Actual: ' + (-268435456 >> 21)); 
} 


if (-536870912 >> 21 !== -256) { 
  throw new Test262Error('#702: -536870912 >> 21 === -256. Actual: ' + (-536870912 >> 21)); 
} 


if (-1073741824 >> 21 !== -512) { 
  throw new Test262Error('#703: -1073741824 >> 21 === -512. Actual: ' + (-1073741824 >> 21)); 
} 


if (-2147483648 >> 21 !== -1024) { 
  throw new Test262Error('#704: -2147483648 >> 21 === -1024. Actual: ' + (-2147483648 >> 21)); 
} 


if (-1 >> 22 !== -1) { 
  throw new Test262Error('#705: -1 >> 22 === -1. Actual: ' + (-1 >> 22)); 
} 


if (-2 >> 22 !== -1) { 
  throw new Test262Error('#706: -2 >> 22 === -1. Actual: ' + (-2 >> 22)); 
} 


if (-4 >> 22 !== -1) { 
  throw new Test262Error('#707: -4 >> 22 === -1. Actual: ' + (-4 >> 22)); 
} 


if (-8 >> 22 !== -1) { 
  throw new Test262Error('#708: -8 >> 22 === -1. Actual: ' + (-8 >> 22)); 
} 


if (-16 >> 22 !== -1) { 
  throw new Test262Error('#709: -16 >> 22 === -1. Actual: ' + (-16 >> 22)); 
} 


if (-32 >> 22 !== -1) { 
  throw new Test262Error('#710: -32 >> 22 === -1. Actual: ' + (-32 >> 22)); 
} 


if (-64 >> 22 !== -1) { 
  throw new Test262Error('#711: -64 >> 22 === -1. Actual: ' + (-64 >> 22)); 
} 


if (-128 >> 22 !== -1) { 
  throw new Test262Error('#712: -128 >> 22 === -1. Actual: ' + (-128 >> 22)); 
} 


if (-256 >> 22 !== -1) { 
  throw new Test262Error('#713: -256 >> 22 === -1. Actual: ' + (-256 >> 22)); 
} 


if (-512 >> 22 !== -1) { 
  throw new Test262Error('#714: -512 >> 22 === -1. Actual: ' + (-512 >> 22)); 
} 


if (-1024 >> 22 !== -1) { 
  throw new Test262Error('#715: -1024 >> 22 === -1. Actual: ' + (-1024 >> 22)); 
} 


if (-2048 >> 22 !== -1) { 
  throw new Test262Error('#716: -2048 >> 22 === -1. Actual: ' + (-2048 >> 22)); 
} 


if (-4096 >> 22 !== -1) { 
  throw new Test262Error('#717: -4096 >> 22 === -1. Actual: ' + (-4096 >> 22)); 
} 


if (-8192 >> 22 !== -1) { 
  throw new Test262Error('#718: -8192 >> 22 === -1. Actual: ' + (-8192 >> 22)); 
} 


if (-16384 >> 22 !== -1) { 
  throw new Test262Error('#719: -16384 >> 22 === -1. Actual: ' + (-16384 >> 22)); 
} 


if (-32768 >> 22 !== -1) { 
  throw new Test262Error('#720: -32768 >> 22 === -1. Actual: ' + (-32768 >> 22)); 
} 


if (-65536 >> 22 !== -1) { 
  throw new Test262Error('#721: -65536 >> 22 === -1. Actual: ' + (-65536 >> 22)); 
} 


if (-131072 >> 22 !== -1) { 
  throw new Test262Error('#722: -131072 >> 22 === -1. Actual: ' + (-131072 >> 22)); 
} 


if (-262144 >> 22 !== -1) { 
  throw new Test262Error('#723: -262144 >> 22 === -1. Actual: ' + (-262144 >> 22)); 
} 


if (-524288 >> 22 !== -1) { 
  throw new Test262Error('#724: -524288 >> 22 === -1. Actual: ' + (-524288 >> 22)); 
} 


if (-1048576 >> 22 !== -1) { 
  throw new Test262Error('#725: -1048576 >> 22 === -1. Actual: ' + (-1048576 >> 22)); 
} 


if (-2097152 >> 22 !== -1) { 
  throw new Test262Error('#726: -2097152 >> 22 === -1. Actual: ' + (-2097152 >> 22)); 
} 


if (-4194304 >> 22 !== -1) { 
  throw new Test262Error('#727: -4194304 >> 22 === -1. Actual: ' + (-4194304 >> 22)); 
} 


if (-8388608 >> 22 !== -2) { 
  throw new Test262Error('#728: -8388608 >> 22 === -2. Actual: ' + (-8388608 >> 22)); 
} 


if (-16777216 >> 22 !== -4) { 
  throw new Test262Error('#729: -16777216 >> 22 === -4. Actual: ' + (-16777216 >> 22)); 
} 


if (-33554432 >> 22 !== -8) { 
  throw new Test262Error('#730: -33554432 >> 22 === -8. Actual: ' + (-33554432 >> 22)); 
} 


if (-67108864 >> 22 !== -16) { 
  throw new Test262Error('#731: -67108864 >> 22 === -16. Actual: ' + (-67108864 >> 22)); 
} 


if (-134217728 >> 22 !== -32) { 
  throw new Test262Error('#732: -134217728 >> 22 === -32. Actual: ' + (-134217728 >> 22)); 
} 


if (-268435456 >> 22 !== -64) { 
  throw new Test262Error('#733: -268435456 >> 22 === -64. Actual: ' + (-268435456 >> 22)); 
} 


if (-536870912 >> 22 !== -128) { 
  throw new Test262Error('#734: -536870912 >> 22 === -128. Actual: ' + (-536870912 >> 22)); 
} 


if (-1073741824 >> 22 !== -256) { 
  throw new Test262Error('#735: -1073741824 >> 22 === -256. Actual: ' + (-1073741824 >> 22)); 
} 


if (-2147483648 >> 22 !== -512) { 
  throw new Test262Error('#736: -2147483648 >> 22 === -512. Actual: ' + (-2147483648 >> 22)); 
} 


if (-1 >> 23 !== -1) { 
  throw new Test262Error('#737: -1 >> 23 === -1. Actual: ' + (-1 >> 23)); 
} 


if (-2 >> 23 !== -1) { 
  throw new Test262Error('#738: -2 >> 23 === -1. Actual: ' + (-2 >> 23)); 
} 


if (-4 >> 23 !== -1) { 
  throw new Test262Error('#739: -4 >> 23 === -1. Actual: ' + (-4 >> 23)); 
} 


if (-8 >> 23 !== -1) { 
  throw new Test262Error('#740: -8 >> 23 === -1. Actual: ' + (-8 >> 23)); 
} 


if (-16 >> 23 !== -1) { 
  throw new Test262Error('#741: -16 >> 23 === -1. Actual: ' + (-16 >> 23)); 
} 


if (-32 >> 23 !== -1) { 
  throw new Test262Error('#742: -32 >> 23 === -1. Actual: ' + (-32 >> 23)); 
} 


if (-64 >> 23 !== -1) { 
  throw new Test262Error('#743: -64 >> 23 === -1. Actual: ' + (-64 >> 23)); 
} 


if (-128 >> 23 !== -1) { 
  throw new Test262Error('#744: -128 >> 23 === -1. Actual: ' + (-128 >> 23)); 
} 


if (-256 >> 23 !== -1) { 
  throw new Test262Error('#745: -256 >> 23 === -1. Actual: ' + (-256 >> 23)); 
} 


if (-512 >> 23 !== -1) { 
  throw new Test262Error('#746: -512 >> 23 === -1. Actual: ' + (-512 >> 23)); 
} 


if (-1024 >> 23 !== -1) { 
  throw new Test262Error('#747: -1024 >> 23 === -1. Actual: ' + (-1024 >> 23)); 
} 


if (-2048 >> 23 !== -1) { 
  throw new Test262Error('#748: -2048 >> 23 === -1. Actual: ' + (-2048 >> 23)); 
} 


if (-4096 >> 23 !== -1) { 
  throw new Test262Error('#749: -4096 >> 23 === -1. Actual: ' + (-4096 >> 23)); 
} 


if (-8192 >> 23 !== -1) { 
  throw new Test262Error('#750: -8192 >> 23 === -1. Actual: ' + (-8192 >> 23)); 
} 


if (-16384 >> 23 !== -1) { 
  throw new Test262Error('#751: -16384 >> 23 === -1. Actual: ' + (-16384 >> 23)); 
} 


if (-32768 >> 23 !== -1) { 
  throw new Test262Error('#752: -32768 >> 23 === -1. Actual: ' + (-32768 >> 23)); 
} 


if (-65536 >> 23 !== -1) { 
  throw new Test262Error('#753: -65536 >> 23 === -1. Actual: ' + (-65536 >> 23)); 
} 


if (-131072 >> 23 !== -1) { 
  throw new Test262Error('#754: -131072 >> 23 === -1. Actual: ' + (-131072 >> 23)); 
} 


if (-262144 >> 23 !== -1) { 
  throw new Test262Error('#755: -262144 >> 23 === -1. Actual: ' + (-262144 >> 23)); 
} 


if (-524288 >> 23 !== -1) { 
  throw new Test262Error('#756: -524288 >> 23 === -1. Actual: ' + (-524288 >> 23)); 
} 


if (-1048576 >> 23 !== -1) { 
  throw new Test262Error('#757: -1048576 >> 23 === -1. Actual: ' + (-1048576 >> 23)); 
} 


if (-2097152 >> 23 !== -1) { 
  throw new Test262Error('#758: -2097152 >> 23 === -1. Actual: ' + (-2097152 >> 23)); 
} 


if (-4194304 >> 23 !== -1) { 
  throw new Test262Error('#759: -4194304 >> 23 === -1. Actual: ' + (-4194304 >> 23)); 
} 


if (-8388608 >> 23 !== -1) { 
  throw new Test262Error('#760: -8388608 >> 23 === -1. Actual: ' + (-8388608 >> 23)); 
} 


if (-16777216 >> 23 !== -2) { 
  throw new Test262Error('#761: -16777216 >> 23 === -2. Actual: ' + (-16777216 >> 23)); 
} 


if (-33554432 >> 23 !== -4) { 
  throw new Test262Error('#762: -33554432 >> 23 === -4. Actual: ' + (-33554432 >> 23)); 
} 


if (-67108864 >> 23 !== -8) { 
  throw new Test262Error('#763: -67108864 >> 23 === -8. Actual: ' + (-67108864 >> 23)); 
} 


if (-134217728 >> 23 !== -16) { 
  throw new Test262Error('#764: -134217728 >> 23 === -16. Actual: ' + (-134217728 >> 23)); 
} 


if (-268435456 >> 23 !== -32) { 
  throw new Test262Error('#765: -268435456 >> 23 === -32. Actual: ' + (-268435456 >> 23)); 
} 


if (-536870912 >> 23 !== -64) { 
  throw new Test262Error('#766: -536870912 >> 23 === -64. Actual: ' + (-536870912 >> 23)); 
} 


if (-1073741824 >> 23 !== -128) { 
  throw new Test262Error('#767: -1073741824 >> 23 === -128. Actual: ' + (-1073741824 >> 23)); 
} 


if (-2147483648 >> 23 !== -256) { 
  throw new Test262Error('#768: -2147483648 >> 23 === -256. Actual: ' + (-2147483648 >> 23)); 
} 


if (-1 >> 24 !== -1) { 
  throw new Test262Error('#769: -1 >> 24 === -1. Actual: ' + (-1 >> 24)); 
} 


if (-2 >> 24 !== -1) { 
  throw new Test262Error('#770: -2 >> 24 === -1. Actual: ' + (-2 >> 24)); 
} 


if (-4 >> 24 !== -1) { 
  throw new Test262Error('#771: -4 >> 24 === -1. Actual: ' + (-4 >> 24)); 
} 


if (-8 >> 24 !== -1) { 
  throw new Test262Error('#772: -8 >> 24 === -1. Actual: ' + (-8 >> 24)); 
} 


if (-16 >> 24 !== -1) { 
  throw new Test262Error('#773: -16 >> 24 === -1. Actual: ' + (-16 >> 24)); 
} 


if (-32 >> 24 !== -1) { 
  throw new Test262Error('#774: -32 >> 24 === -1. Actual: ' + (-32 >> 24)); 
} 


if (-64 >> 24 !== -1) { 
  throw new Test262Error('#775: -64 >> 24 === -1. Actual: ' + (-64 >> 24)); 
} 


if (-128 >> 24 !== -1) { 
  throw new Test262Error('#776: -128 >> 24 === -1. Actual: ' + (-128 >> 24)); 
} 


if (-256 >> 24 !== -1) { 
  throw new Test262Error('#777: -256 >> 24 === -1. Actual: ' + (-256 >> 24)); 
} 


if (-512 >> 24 !== -1) { 
  throw new Test262Error('#778: -512 >> 24 === -1. Actual: ' + (-512 >> 24)); 
} 


if (-1024 >> 24 !== -1) { 
  throw new Test262Error('#779: -1024 >> 24 === -1. Actual: ' + (-1024 >> 24)); 
} 


if (-2048 >> 24 !== -1) { 
  throw new Test262Error('#780: -2048 >> 24 === -1. Actual: ' + (-2048 >> 24)); 
} 


if (-4096 >> 24 !== -1) { 
  throw new Test262Error('#781: -4096 >> 24 === -1. Actual: ' + (-4096 >> 24)); 
} 


if (-8192 >> 24 !== -1) { 
  throw new Test262Error('#782: -8192 >> 24 === -1. Actual: ' + (-8192 >> 24)); 
} 


if (-16384 >> 24 !== -1) { 
  throw new Test262Error('#783: -16384 >> 24 === -1. Actual: ' + (-16384 >> 24)); 
} 


if (-32768 >> 24 !== -1) { 
  throw new Test262Error('#784: -32768 >> 24 === -1. Actual: ' + (-32768 >> 24)); 
} 


if (-65536 >> 24 !== -1) { 
  throw new Test262Error('#785: -65536 >> 24 === -1. Actual: ' + (-65536 >> 24)); 
} 


if (-131072 >> 24 !== -1) { 
  throw new Test262Error('#786: -131072 >> 24 === -1. Actual: ' + (-131072 >> 24)); 
} 


if (-262144 >> 24 !== -1) { 
  throw new Test262Error('#787: -262144 >> 24 === -1. Actual: ' + (-262144 >> 24)); 
} 


if (-524288 >> 24 !== -1) { 
  throw new Test262Error('#788: -524288 >> 24 === -1. Actual: ' + (-524288 >> 24)); 
} 


if (-1048576 >> 24 !== -1) { 
  throw new Test262Error('#789: -1048576 >> 24 === -1. Actual: ' + (-1048576 >> 24)); 
} 


if (-2097152 >> 24 !== -1) { 
  throw new Test262Error('#790: -2097152 >> 24 === -1. Actual: ' + (-2097152 >> 24)); 
} 


if (-4194304 >> 24 !== -1) { 
  throw new Test262Error('#791: -4194304 >> 24 === -1. Actual: ' + (-4194304 >> 24)); 
} 


if (-8388608 >> 24 !== -1) { 
  throw new Test262Error('#792: -8388608 >> 24 === -1. Actual: ' + (-8388608 >> 24)); 
} 


if (-16777216 >> 24 !== -1) { 
  throw new Test262Error('#793: -16777216 >> 24 === -1. Actual: ' + (-16777216 >> 24)); 
} 


if (-33554432 >> 24 !== -2) { 
  throw new Test262Error('#794: -33554432 >> 24 === -2. Actual: ' + (-33554432 >> 24)); 
} 


if (-67108864 >> 24 !== -4) { 
  throw new Test262Error('#795: -67108864 >> 24 === -4. Actual: ' + (-67108864 >> 24)); 
} 


if (-134217728 >> 24 !== -8) { 
  throw new Test262Error('#796: -134217728 >> 24 === -8. Actual: ' + (-134217728 >> 24)); 
} 


if (-268435456 >> 24 !== -16) { 
  throw new Test262Error('#797: -268435456 >> 24 === -16. Actual: ' + (-268435456 >> 24)); 
} 


if (-536870912 >> 24 !== -32) { 
  throw new Test262Error('#798: -536870912 >> 24 === -32. Actual: ' + (-536870912 >> 24)); 
} 


if (-1073741824 >> 24 !== -64) { 
  throw new Test262Error('#799: -1073741824 >> 24 === -64. Actual: ' + (-1073741824 >> 24)); 
} 


if (-2147483648 >> 24 !== -128) { 
  throw new Test262Error('#800: -2147483648 >> 24 === -128. Actual: ' + (-2147483648 >> 24)); 
} 


if (-1 >> 25 !== -1) { 
  throw new Test262Error('#801: -1 >> 25 === -1. Actual: ' + (-1 >> 25)); 
} 


if (-2 >> 25 !== -1) { 
  throw new Test262Error('#802: -2 >> 25 === -1. Actual: ' + (-2 >> 25)); 
} 


if (-4 >> 25 !== -1) { 
  throw new Test262Error('#803: -4 >> 25 === -1. Actual: ' + (-4 >> 25)); 
} 


if (-8 >> 25 !== -1) { 
  throw new Test262Error('#804: -8 >> 25 === -1. Actual: ' + (-8 >> 25)); 
} 


if (-16 >> 25 !== -1) { 
  throw new Test262Error('#805: -16 >> 25 === -1. Actual: ' + (-16 >> 25)); 
} 


if (-32 >> 25 !== -1) { 
  throw new Test262Error('#806: -32 >> 25 === -1. Actual: ' + (-32 >> 25)); 
} 


if (-64 >> 25 !== -1) { 
  throw new Test262Error('#807: -64 >> 25 === -1. Actual: ' + (-64 >> 25)); 
} 


if (-128 >> 25 !== -1) { 
  throw new Test262Error('#808: -128 >> 25 === -1. Actual: ' + (-128 >> 25)); 
} 


if (-256 >> 25 !== -1) { 
  throw new Test262Error('#809: -256 >> 25 === -1. Actual: ' + (-256 >> 25)); 
} 


if (-512 >> 25 !== -1) { 
  throw new Test262Error('#810: -512 >> 25 === -1. Actual: ' + (-512 >> 25)); 
} 


if (-1024 >> 25 !== -1) { 
  throw new Test262Error('#811: -1024 >> 25 === -1. Actual: ' + (-1024 >> 25)); 
} 


if (-2048 >> 25 !== -1) { 
  throw new Test262Error('#812: -2048 >> 25 === -1. Actual: ' + (-2048 >> 25)); 
} 


if (-4096 >> 25 !== -1) { 
  throw new Test262Error('#813: -4096 >> 25 === -1. Actual: ' + (-4096 >> 25)); 
} 


if (-8192 >> 25 !== -1) { 
  throw new Test262Error('#814: -8192 >> 25 === -1. Actual: ' + (-8192 >> 25)); 
} 


if (-16384 >> 25 !== -1) { 
  throw new Test262Error('#815: -16384 >> 25 === -1. Actual: ' + (-16384 >> 25)); 
} 


if (-32768 >> 25 !== -1) { 
  throw new Test262Error('#816: -32768 >> 25 === -1. Actual: ' + (-32768 >> 25)); 
} 


if (-65536 >> 25 !== -1) { 
  throw new Test262Error('#817: -65536 >> 25 === -1. Actual: ' + (-65536 >> 25)); 
} 


if (-131072 >> 25 !== -1) { 
  throw new Test262Error('#818: -131072 >> 25 === -1. Actual: ' + (-131072 >> 25)); 
} 


if (-262144 >> 25 !== -1) { 
  throw new Test262Error('#819: -262144 >> 25 === -1. Actual: ' + (-262144 >> 25)); 
} 


if (-524288 >> 25 !== -1) { 
  throw new Test262Error('#820: -524288 >> 25 === -1. Actual: ' + (-524288 >> 25)); 
} 


if (-1048576 >> 25 !== -1) { 
  throw new Test262Error('#821: -1048576 >> 25 === -1. Actual: ' + (-1048576 >> 25)); 
} 


if (-2097152 >> 25 !== -1) { 
  throw new Test262Error('#822: -2097152 >> 25 === -1. Actual: ' + (-2097152 >> 25)); 
} 


if (-4194304 >> 25 !== -1) { 
  throw new Test262Error('#823: -4194304 >> 25 === -1. Actual: ' + (-4194304 >> 25)); 
} 


if (-8388608 >> 25 !== -1) { 
  throw new Test262Error('#824: -8388608 >> 25 === -1. Actual: ' + (-8388608 >> 25)); 
} 


if (-16777216 >> 25 !== -1) { 
  throw new Test262Error('#825: -16777216 >> 25 === -1. Actual: ' + (-16777216 >> 25)); 
} 


if (-33554432 >> 25 !== -1) { 
  throw new Test262Error('#826: -33554432 >> 25 === -1. Actual: ' + (-33554432 >> 25)); 
} 


if (-67108864 >> 25 !== -2) { 
  throw new Test262Error('#827: -67108864 >> 25 === -2. Actual: ' + (-67108864 >> 25)); 
} 


if (-134217728 >> 25 !== -4) { 
  throw new Test262Error('#828: -134217728 >> 25 === -4. Actual: ' + (-134217728 >> 25)); 
} 


if (-268435456 >> 25 !== -8) { 
  throw new Test262Error('#829: -268435456 >> 25 === -8. Actual: ' + (-268435456 >> 25)); 
} 


if (-536870912 >> 25 !== -16) { 
  throw new Test262Error('#830: -536870912 >> 25 === -16. Actual: ' + (-536870912 >> 25)); 
} 


if (-1073741824 >> 25 !== -32) { 
  throw new Test262Error('#831: -1073741824 >> 25 === -32. Actual: ' + (-1073741824 >> 25)); 
} 


if (-2147483648 >> 25 !== -64) { 
  throw new Test262Error('#832: -2147483648 >> 25 === -64. Actual: ' + (-2147483648 >> 25)); 
} 


if (-1 >> 26 !== -1) { 
  throw new Test262Error('#833: -1 >> 26 === -1. Actual: ' + (-1 >> 26)); 
} 


if (-2 >> 26 !== -1) { 
  throw new Test262Error('#834: -2 >> 26 === -1. Actual: ' + (-2 >> 26)); 
} 


if (-4 >> 26 !== -1) { 
  throw new Test262Error('#835: -4 >> 26 === -1. Actual: ' + (-4 >> 26)); 
} 


if (-8 >> 26 !== -1) { 
  throw new Test262Error('#836: -8 >> 26 === -1. Actual: ' + (-8 >> 26)); 
} 


if (-16 >> 26 !== -1) { 
  throw new Test262Error('#837: -16 >> 26 === -1. Actual: ' + (-16 >> 26)); 
} 


if (-32 >> 26 !== -1) { 
  throw new Test262Error('#838: -32 >> 26 === -1. Actual: ' + (-32 >> 26)); 
} 


if (-64 >> 26 !== -1) { 
  throw new Test262Error('#839: -64 >> 26 === -1. Actual: ' + (-64 >> 26)); 
} 


if (-128 >> 26 !== -1) { 
  throw new Test262Error('#840: -128 >> 26 === -1. Actual: ' + (-128 >> 26)); 
} 


if (-256 >> 26 !== -1) { 
  throw new Test262Error('#841: -256 >> 26 === -1. Actual: ' + (-256 >> 26)); 
} 


if (-512 >> 26 !== -1) { 
  throw new Test262Error('#842: -512 >> 26 === -1. Actual: ' + (-512 >> 26)); 
} 


if (-1024 >> 26 !== -1) { 
  throw new Test262Error('#843: -1024 >> 26 === -1. Actual: ' + (-1024 >> 26)); 
} 


if (-2048 >> 26 !== -1) { 
  throw new Test262Error('#844: -2048 >> 26 === -1. Actual: ' + (-2048 >> 26)); 
} 


if (-4096 >> 26 !== -1) { 
  throw new Test262Error('#845: -4096 >> 26 === -1. Actual: ' + (-4096 >> 26)); 
} 


if (-8192 >> 26 !== -1) { 
  throw new Test262Error('#846: -8192 >> 26 === -1. Actual: ' + (-8192 >> 26)); 
} 


if (-16384 >> 26 !== -1) { 
  throw new Test262Error('#847: -16384 >> 26 === -1. Actual: ' + (-16384 >> 26)); 
} 


if (-32768 >> 26 !== -1) { 
  throw new Test262Error('#848: -32768 >> 26 === -1. Actual: ' + (-32768 >> 26)); 
} 


if (-65536 >> 26 !== -1) { 
  throw new Test262Error('#849: -65536 >> 26 === -1. Actual: ' + (-65536 >> 26)); 
} 


if (-131072 >> 26 !== -1) { 
  throw new Test262Error('#850: -131072 >> 26 === -1. Actual: ' + (-131072 >> 26)); 
} 


if (-262144 >> 26 !== -1) { 
  throw new Test262Error('#851: -262144 >> 26 === -1. Actual: ' + (-262144 >> 26)); 
} 


if (-524288 >> 26 !== -1) { 
  throw new Test262Error('#852: -524288 >> 26 === -1. Actual: ' + (-524288 >> 26)); 
} 


if (-1048576 >> 26 !== -1) { 
  throw new Test262Error('#853: -1048576 >> 26 === -1. Actual: ' + (-1048576 >> 26)); 
} 


if (-2097152 >> 26 !== -1) { 
  throw new Test262Error('#854: -2097152 >> 26 === -1. Actual: ' + (-2097152 >> 26)); 
} 


if (-4194304 >> 26 !== -1) { 
  throw new Test262Error('#855: -4194304 >> 26 === -1. Actual: ' + (-4194304 >> 26)); 
} 


if (-8388608 >> 26 !== -1) { 
  throw new Test262Error('#856: -8388608 >> 26 === -1. Actual: ' + (-8388608 >> 26)); 
} 


if (-16777216 >> 26 !== -1) { 
  throw new Test262Error('#857: -16777216 >> 26 === -1. Actual: ' + (-16777216 >> 26)); 
} 


if (-33554432 >> 26 !== -1) { 
  throw new Test262Error('#858: -33554432 >> 26 === -1. Actual: ' + (-33554432 >> 26)); 
} 


if (-67108864 >> 26 !== -1) { 
  throw new Test262Error('#859: -67108864 >> 26 === -1. Actual: ' + (-67108864 >> 26)); 
} 


if (-134217728 >> 26 !== -2) { 
  throw new Test262Error('#860: -134217728 >> 26 === -2. Actual: ' + (-134217728 >> 26)); 
} 


if (-268435456 >> 26 !== -4) { 
  throw new Test262Error('#861: -268435456 >> 26 === -4. Actual: ' + (-268435456 >> 26)); 
} 


if (-536870912 >> 26 !== -8) { 
  throw new Test262Error('#862: -536870912 >> 26 === -8. Actual: ' + (-536870912 >> 26)); 
} 


if (-1073741824 >> 26 !== -16) { 
  throw new Test262Error('#863: -1073741824 >> 26 === -16. Actual: ' + (-1073741824 >> 26)); 
} 


if (-2147483648 >> 26 !== -32) { 
  throw new Test262Error('#864: -2147483648 >> 26 === -32. Actual: ' + (-2147483648 >> 26)); 
} 


if (-1 >> 27 !== -1) { 
  throw new Test262Error('#865: -1 >> 27 === -1. Actual: ' + (-1 >> 27)); 
} 


if (-2 >> 27 !== -1) { 
  throw new Test262Error('#866: -2 >> 27 === -1. Actual: ' + (-2 >> 27)); 
} 


if (-4 >> 27 !== -1) { 
  throw new Test262Error('#867: -4 >> 27 === -1. Actual: ' + (-4 >> 27)); 
} 


if (-8 >> 27 !== -1) { 
  throw new Test262Error('#868: -8 >> 27 === -1. Actual: ' + (-8 >> 27)); 
} 


if (-16 >> 27 !== -1) { 
  throw new Test262Error('#869: -16 >> 27 === -1. Actual: ' + (-16 >> 27)); 
} 


if (-32 >> 27 !== -1) { 
  throw new Test262Error('#870: -32 >> 27 === -1. Actual: ' + (-32 >> 27)); 
} 


if (-64 >> 27 !== -1) { 
  throw new Test262Error('#871: -64 >> 27 === -1. Actual: ' + (-64 >> 27)); 
} 


if (-128 >> 27 !== -1) { 
  throw new Test262Error('#872: -128 >> 27 === -1. Actual: ' + (-128 >> 27)); 
} 


if (-256 >> 27 !== -1) { 
  throw new Test262Error('#873: -256 >> 27 === -1. Actual: ' + (-256 >> 27)); 
} 


if (-512 >> 27 !== -1) { 
  throw new Test262Error('#874: -512 >> 27 === -1. Actual: ' + (-512 >> 27)); 
} 


if (-1024 >> 27 !== -1) { 
  throw new Test262Error('#875: -1024 >> 27 === -1. Actual: ' + (-1024 >> 27)); 
} 


if (-2048 >> 27 !== -1) { 
  throw new Test262Error('#876: -2048 >> 27 === -1. Actual: ' + (-2048 >> 27)); 
} 


if (-4096 >> 27 !== -1) { 
  throw new Test262Error('#877: -4096 >> 27 === -1. Actual: ' + (-4096 >> 27)); 
} 


if (-8192 >> 27 !== -1) { 
  throw new Test262Error('#878: -8192 >> 27 === -1. Actual: ' + (-8192 >> 27)); 
} 


if (-16384 >> 27 !== -1) { 
  throw new Test262Error('#879: -16384 >> 27 === -1. Actual: ' + (-16384 >> 27)); 
} 


if (-32768 >> 27 !== -1) { 
  throw new Test262Error('#880: -32768 >> 27 === -1. Actual: ' + (-32768 >> 27)); 
} 


if (-65536 >> 27 !== -1) { 
  throw new Test262Error('#881: -65536 >> 27 === -1. Actual: ' + (-65536 >> 27)); 
} 


if (-131072 >> 27 !== -1) { 
  throw new Test262Error('#882: -131072 >> 27 === -1. Actual: ' + (-131072 >> 27)); 
} 


if (-262144 >> 27 !== -1) { 
  throw new Test262Error('#883: -262144 >> 27 === -1. Actual: ' + (-262144 >> 27)); 
} 


if (-524288 >> 27 !== -1) { 
  throw new Test262Error('#884: -524288 >> 27 === -1. Actual: ' + (-524288 >> 27)); 
} 


if (-1048576 >> 27 !== -1) { 
  throw new Test262Error('#885: -1048576 >> 27 === -1. Actual: ' + (-1048576 >> 27)); 
} 


if (-2097152 >> 27 !== -1) { 
  throw new Test262Error('#886: -2097152 >> 27 === -1. Actual: ' + (-2097152 >> 27)); 
} 


if (-4194304 >> 27 !== -1) { 
  throw new Test262Error('#887: -4194304 >> 27 === -1. Actual: ' + (-4194304 >> 27)); 
} 


if (-8388608 >> 27 !== -1) { 
  throw new Test262Error('#888: -8388608 >> 27 === -1. Actual: ' + (-8388608 >> 27)); 
} 


if (-16777216 >> 27 !== -1) { 
  throw new Test262Error('#889: -16777216 >> 27 === -1. Actual: ' + (-16777216 >> 27)); 
} 


if (-33554432 >> 27 !== -1) { 
  throw new Test262Error('#890: -33554432 >> 27 === -1. Actual: ' + (-33554432 >> 27)); 
} 


if (-67108864 >> 27 !== -1) { 
  throw new Test262Error('#891: -67108864 >> 27 === -1. Actual: ' + (-67108864 >> 27)); 
} 


if (-134217728 >> 27 !== -1) { 
  throw new Test262Error('#892: -134217728 >> 27 === -1. Actual: ' + (-134217728 >> 27)); 
} 


if (-268435456 >> 27 !== -2) { 
  throw new Test262Error('#893: -268435456 >> 27 === -2. Actual: ' + (-268435456 >> 27)); 
} 


if (-536870912 >> 27 !== -4) { 
  throw new Test262Error('#894: -536870912 >> 27 === -4. Actual: ' + (-536870912 >> 27)); 
} 


if (-1073741824 >> 27 !== -8) { 
  throw new Test262Error('#895: -1073741824 >> 27 === -8. Actual: ' + (-1073741824 >> 27)); 
} 


if (-2147483648 >> 27 !== -16) { 
  throw new Test262Error('#896: -2147483648 >> 27 === -16. Actual: ' + (-2147483648 >> 27)); 
} 


if (-1 >> 28 !== -1) { 
  throw new Test262Error('#897: -1 >> 28 === -1. Actual: ' + (-1 >> 28)); 
} 


if (-2 >> 28 !== -1) { 
  throw new Test262Error('#898: -2 >> 28 === -1. Actual: ' + (-2 >> 28)); 
} 


if (-4 >> 28 !== -1) { 
  throw new Test262Error('#899: -4 >> 28 === -1. Actual: ' + (-4 >> 28)); 
} 


if (-8 >> 28 !== -1) { 
  throw new Test262Error('#900: -8 >> 28 === -1. Actual: ' + (-8 >> 28)); 
} 


if (-16 >> 28 !== -1) { 
  throw new Test262Error('#901: -16 >> 28 === -1. Actual: ' + (-16 >> 28)); 
} 


if (-32 >> 28 !== -1) { 
  throw new Test262Error('#902: -32 >> 28 === -1. Actual: ' + (-32 >> 28)); 
} 


if (-64 >> 28 !== -1) { 
  throw new Test262Error('#903: -64 >> 28 === -1. Actual: ' + (-64 >> 28)); 
} 


if (-128 >> 28 !== -1) { 
  throw new Test262Error('#904: -128 >> 28 === -1. Actual: ' + (-128 >> 28)); 
} 


if (-256 >> 28 !== -1) { 
  throw new Test262Error('#905: -256 >> 28 === -1. Actual: ' + (-256 >> 28)); 
} 


if (-512 >> 28 !== -1) { 
  throw new Test262Error('#906: -512 >> 28 === -1. Actual: ' + (-512 >> 28)); 
} 


if (-1024 >> 28 !== -1) { 
  throw new Test262Error('#907: -1024 >> 28 === -1. Actual: ' + (-1024 >> 28)); 
} 


if (-2048 >> 28 !== -1) { 
  throw new Test262Error('#908: -2048 >> 28 === -1. Actual: ' + (-2048 >> 28)); 
} 


if (-4096 >> 28 !== -1) { 
  throw new Test262Error('#909: -4096 >> 28 === -1. Actual: ' + (-4096 >> 28)); 
} 


if (-8192 >> 28 !== -1) { 
  throw new Test262Error('#910: -8192 >> 28 === -1. Actual: ' + (-8192 >> 28)); 
} 


if (-16384 >> 28 !== -1) { 
  throw new Test262Error('#911: -16384 >> 28 === -1. Actual: ' + (-16384 >> 28)); 
} 


if (-32768 >> 28 !== -1) { 
  throw new Test262Error('#912: -32768 >> 28 === -1. Actual: ' + (-32768 >> 28)); 
} 


if (-65536 >> 28 !== -1) { 
  throw new Test262Error('#913: -65536 >> 28 === -1. Actual: ' + (-65536 >> 28)); 
} 


if (-131072 >> 28 !== -1) { 
  throw new Test262Error('#914: -131072 >> 28 === -1. Actual: ' + (-131072 >> 28)); 
} 


if (-262144 >> 28 !== -1) { 
  throw new Test262Error('#915: -262144 >> 28 === -1. Actual: ' + (-262144 >> 28)); 
} 


if (-524288 >> 28 !== -1) { 
  throw new Test262Error('#916: -524288 >> 28 === -1. Actual: ' + (-524288 >> 28)); 
} 


if (-1048576 >> 28 !== -1) { 
  throw new Test262Error('#917: -1048576 >> 28 === -1. Actual: ' + (-1048576 >> 28)); 
} 


if (-2097152 >> 28 !== -1) { 
  throw new Test262Error('#918: -2097152 >> 28 === -1. Actual: ' + (-2097152 >> 28)); 
} 


if (-4194304 >> 28 !== -1) { 
  throw new Test262Error('#919: -4194304 >> 28 === -1. Actual: ' + (-4194304 >> 28)); 
} 


if (-8388608 >> 28 !== -1) { 
  throw new Test262Error('#920: -8388608 >> 28 === -1. Actual: ' + (-8388608 >> 28)); 
} 


if (-16777216 >> 28 !== -1) { 
  throw new Test262Error('#921: -16777216 >> 28 === -1. Actual: ' + (-16777216 >> 28)); 
} 


if (-33554432 >> 28 !== -1) { 
  throw new Test262Error('#922: -33554432 >> 28 === -1. Actual: ' + (-33554432 >> 28)); 
} 


if (-67108864 >> 28 !== -1) { 
  throw new Test262Error('#923: -67108864 >> 28 === -1. Actual: ' + (-67108864 >> 28)); 
} 


if (-134217728 >> 28 !== -1) { 
  throw new Test262Error('#924: -134217728 >> 28 === -1. Actual: ' + (-134217728 >> 28)); 
} 


if (-268435456 >> 28 !== -1) { 
  throw new Test262Error('#925: -268435456 >> 28 === -1. Actual: ' + (-268435456 >> 28)); 
} 


if (-536870912 >> 28 !== -2) { 
  throw new Test262Error('#926: -536870912 >> 28 === -2. Actual: ' + (-536870912 >> 28)); 
} 


if (-1073741824 >> 28 !== -4) { 
  throw new Test262Error('#927: -1073741824 >> 28 === -4. Actual: ' + (-1073741824 >> 28)); 
} 


if (-2147483648 >> 28 !== -8) { 
  throw new Test262Error('#928: -2147483648 >> 28 === -8. Actual: ' + (-2147483648 >> 28)); 
} 


if (-1 >> 29 !== -1) { 
  throw new Test262Error('#929: -1 >> 29 === -1. Actual: ' + (-1 >> 29)); 
} 


if (-2 >> 29 !== -1) { 
  throw new Test262Error('#930: -2 >> 29 === -1. Actual: ' + (-2 >> 29)); 
} 


if (-4 >> 29 !== -1) { 
  throw new Test262Error('#931: -4 >> 29 === -1. Actual: ' + (-4 >> 29)); 
} 


if (-8 >> 29 !== -1) { 
  throw new Test262Error('#932: -8 >> 29 === -1. Actual: ' + (-8 >> 29)); 
} 


if (-16 >> 29 !== -1) { 
  throw new Test262Error('#933: -16 >> 29 === -1. Actual: ' + (-16 >> 29)); 
} 


if (-32 >> 29 !== -1) { 
  throw new Test262Error('#934: -32 >> 29 === -1. Actual: ' + (-32 >> 29)); 
} 


if (-64 >> 29 !== -1) { 
  throw new Test262Error('#935: -64 >> 29 === -1. Actual: ' + (-64 >> 29)); 
} 


if (-128 >> 29 !== -1) { 
  throw new Test262Error('#936: -128 >> 29 === -1. Actual: ' + (-128 >> 29)); 
} 


if (-256 >> 29 !== -1) { 
  throw new Test262Error('#937: -256 >> 29 === -1. Actual: ' + (-256 >> 29)); 
} 


if (-512 >> 29 !== -1) { 
  throw new Test262Error('#938: -512 >> 29 === -1. Actual: ' + (-512 >> 29)); 
} 


if (-1024 >> 29 !== -1) { 
  throw new Test262Error('#939: -1024 >> 29 === -1. Actual: ' + (-1024 >> 29)); 
} 


if (-2048 >> 29 !== -1) { 
  throw new Test262Error('#940: -2048 >> 29 === -1. Actual: ' + (-2048 >> 29)); 
} 


if (-4096 >> 29 !== -1) { 
  throw new Test262Error('#941: -4096 >> 29 === -1. Actual: ' + (-4096 >> 29)); 
} 


if (-8192 >> 29 !== -1) { 
  throw new Test262Error('#942: -8192 >> 29 === -1. Actual: ' + (-8192 >> 29)); 
} 


if (-16384 >> 29 !== -1) { 
  throw new Test262Error('#943: -16384 >> 29 === -1. Actual: ' + (-16384 >> 29)); 
} 


if (-32768 >> 29 !== -1) { 
  throw new Test262Error('#944: -32768 >> 29 === -1. Actual: ' + (-32768 >> 29)); 
} 


if (-65536 >> 29 !== -1) { 
  throw new Test262Error('#945: -65536 >> 29 === -1. Actual: ' + (-65536 >> 29)); 
} 


if (-131072 >> 29 !== -1) { 
  throw new Test262Error('#946: -131072 >> 29 === -1. Actual: ' + (-131072 >> 29)); 
} 


if (-262144 >> 29 !== -1) { 
  throw new Test262Error('#947: -262144 >> 29 === -1. Actual: ' + (-262144 >> 29)); 
} 


if (-524288 >> 29 !== -1) { 
  throw new Test262Error('#948: -524288 >> 29 === -1. Actual: ' + (-524288 >> 29)); 
} 


if (-1048576 >> 29 !== -1) { 
  throw new Test262Error('#949: -1048576 >> 29 === -1. Actual: ' + (-1048576 >> 29)); 
} 


if (-2097152 >> 29 !== -1) { 
  throw new Test262Error('#950: -2097152 >> 29 === -1. Actual: ' + (-2097152 >> 29)); 
} 


if (-4194304 >> 29 !== -1) { 
  throw new Test262Error('#951: -4194304 >> 29 === -1. Actual: ' + (-4194304 >> 29)); 
} 


if (-8388608 >> 29 !== -1) { 
  throw new Test262Error('#952: -8388608 >> 29 === -1. Actual: ' + (-8388608 >> 29)); 
} 


if (-16777216 >> 29 !== -1) { 
  throw new Test262Error('#953: -16777216 >> 29 === -1. Actual: ' + (-16777216 >> 29)); 
} 


if (-33554432 >> 29 !== -1) { 
  throw new Test262Error('#954: -33554432 >> 29 === -1. Actual: ' + (-33554432 >> 29)); 
} 


if (-67108864 >> 29 !== -1) { 
  throw new Test262Error('#955: -67108864 >> 29 === -1. Actual: ' + (-67108864 >> 29)); 
} 


if (-134217728 >> 29 !== -1) { 
  throw new Test262Error('#956: -134217728 >> 29 === -1. Actual: ' + (-134217728 >> 29)); 
} 


if (-268435456 >> 29 !== -1) { 
  throw new Test262Error('#957: -268435456 >> 29 === -1. Actual: ' + (-268435456 >> 29)); 
} 


if (-536870912 >> 29 !== -1) { 
  throw new Test262Error('#958: -536870912 >> 29 === -1. Actual: ' + (-536870912 >> 29)); 
} 


if (-1073741824 >> 29 !== -2) { 
  throw new Test262Error('#959: -1073741824 >> 29 === -2. Actual: ' + (-1073741824 >> 29)); 
} 


if (-2147483648 >> 29 !== -4) { 
  throw new Test262Error('#960: -2147483648 >> 29 === -4. Actual: ' + (-2147483648 >> 29)); 
} 


if (-1 >> 30 !== -1) { 
  throw new Test262Error('#961: -1 >> 30 === -1. Actual: ' + (-1 >> 30)); 
} 


if (-2 >> 30 !== -1) { 
  throw new Test262Error('#962: -2 >> 30 === -1. Actual: ' + (-2 >> 30)); 
} 


if (-4 >> 30 !== -1) { 
  throw new Test262Error('#963: -4 >> 30 === -1. Actual: ' + (-4 >> 30)); 
} 


if (-8 >> 30 !== -1) { 
  throw new Test262Error('#964: -8 >> 30 === -1. Actual: ' + (-8 >> 30)); 
} 


if (-16 >> 30 !== -1) { 
  throw new Test262Error('#965: -16 >> 30 === -1. Actual: ' + (-16 >> 30)); 
} 


if (-32 >> 30 !== -1) { 
  throw new Test262Error('#966: -32 >> 30 === -1. Actual: ' + (-32 >> 30)); 
} 


if (-64 >> 30 !== -1) { 
  throw new Test262Error('#967: -64 >> 30 === -1. Actual: ' + (-64 >> 30)); 
} 


if (-128 >> 30 !== -1) { 
  throw new Test262Error('#968: -128 >> 30 === -1. Actual: ' + (-128 >> 30)); 
} 


if (-256 >> 30 !== -1) { 
  throw new Test262Error('#969: -256 >> 30 === -1. Actual: ' + (-256 >> 30)); 
} 


if (-512 >> 30 !== -1) { 
  throw new Test262Error('#970: -512 >> 30 === -1. Actual: ' + (-512 >> 30)); 
} 


if (-1024 >> 30 !== -1) { 
  throw new Test262Error('#971: -1024 >> 30 === -1. Actual: ' + (-1024 >> 30)); 
} 


if (-2048 >> 30 !== -1) { 
  throw new Test262Error('#972: -2048 >> 30 === -1. Actual: ' + (-2048 >> 30)); 
} 


if (-4096 >> 30 !== -1) { 
  throw new Test262Error('#973: -4096 >> 30 === -1. Actual: ' + (-4096 >> 30)); 
} 


if (-8192 >> 30 !== -1) { 
  throw new Test262Error('#974: -8192 >> 30 === -1. Actual: ' + (-8192 >> 30)); 
} 


if (-16384 >> 30 !== -1) { 
  throw new Test262Error('#975: -16384 >> 30 === -1. Actual: ' + (-16384 >> 30)); 
} 


if (-32768 >> 30 !== -1) { 
  throw new Test262Error('#976: -32768 >> 30 === -1. Actual: ' + (-32768 >> 30)); 
} 


if (-65536 >> 30 !== -1) { 
  throw new Test262Error('#977: -65536 >> 30 === -1. Actual: ' + (-65536 >> 30)); 
} 


if (-131072 >> 30 !== -1) { 
  throw new Test262Error('#978: -131072 >> 30 === -1. Actual: ' + (-131072 >> 30)); 
} 


if (-262144 >> 30 !== -1) { 
  throw new Test262Error('#979: -262144 >> 30 === -1. Actual: ' + (-262144 >> 30)); 
} 


if (-524288 >> 30 !== -1) { 
  throw new Test262Error('#980: -524288 >> 30 === -1. Actual: ' + (-524288 >> 30)); 
} 


if (-1048576 >> 30 !== -1) { 
  throw new Test262Error('#981: -1048576 >> 30 === -1. Actual: ' + (-1048576 >> 30)); 
} 


if (-2097152 >> 30 !== -1) { 
  throw new Test262Error('#982: -2097152 >> 30 === -1. Actual: ' + (-2097152 >> 30)); 
} 


if (-4194304 >> 30 !== -1) { 
  throw new Test262Error('#983: -4194304 >> 30 === -1. Actual: ' + (-4194304 >> 30)); 
} 


if (-8388608 >> 30 !== -1) { 
  throw new Test262Error('#984: -8388608 >> 30 === -1. Actual: ' + (-8388608 >> 30)); 
} 


if (-16777216 >> 30 !== -1) { 
  throw new Test262Error('#985: -16777216 >> 30 === -1. Actual: ' + (-16777216 >> 30)); 
} 


if (-33554432 >> 30 !== -1) { 
  throw new Test262Error('#986: -33554432 >> 30 === -1. Actual: ' + (-33554432 >> 30)); 
} 


if (-67108864 >> 30 !== -1) { 
  throw new Test262Error('#987: -67108864 >> 30 === -1. Actual: ' + (-67108864 >> 30)); 
} 


if (-134217728 >> 30 !== -1) { 
  throw new Test262Error('#988: -134217728 >> 30 === -1. Actual: ' + (-134217728 >> 30)); 
} 


if (-268435456 >> 30 !== -1) { 
  throw new Test262Error('#989: -268435456 >> 30 === -1. Actual: ' + (-268435456 >> 30)); 
} 


if (-536870912 >> 30 !== -1) { 
  throw new Test262Error('#990: -536870912 >> 30 === -1. Actual: ' + (-536870912 >> 30)); 
} 


if (-1073741824 >> 30 !== -1) { 
  throw new Test262Error('#991: -1073741824 >> 30 === -1. Actual: ' + (-1073741824 >> 30)); 
} 


if (-2147483648 >> 30 !== -2) { 
  throw new Test262Error('#992: -2147483648 >> 30 === -2. Actual: ' + (-2147483648 >> 30)); 
} 


if (-1 >> 31 !== -1) { 
  throw new Test262Error('#993: -1 >> 31 === -1. Actual: ' + (-1 >> 31)); 
} 


if (-2 >> 31 !== -1) { 
  throw new Test262Error('#994: -2 >> 31 === -1. Actual: ' + (-2 >> 31)); 
} 


if (-4 >> 31 !== -1) { 
  throw new Test262Error('#995: -4 >> 31 === -1. Actual: ' + (-4 >> 31)); 
} 


if (-8 >> 31 !== -1) { 
  throw new Test262Error('#996: -8 >> 31 === -1. Actual: ' + (-8 >> 31)); 
} 


if (-16 >> 31 !== -1) { 
  throw new Test262Error('#997: -16 >> 31 === -1. Actual: ' + (-16 >> 31)); 
} 


if (-32 >> 31 !== -1) { 
  throw new Test262Error('#998: -32 >> 31 === -1. Actual: ' + (-32 >> 31)); 
} 


if (-64 >> 31 !== -1) { 
  throw new Test262Error('#999: -64 >> 31 === -1. Actual: ' + (-64 >> 31)); 
} 


if (-128 >> 31 !== -1) { 
  throw new Test262Error('#1000: -128 >> 31 === -1. Actual: ' + (-128 >> 31)); 
} 


if (-256 >> 31 !== -1) { 
  throw new Test262Error('#1001: -256 >> 31 === -1. Actual: ' + (-256 >> 31)); 
} 


if (-512 >> 31 !== -1) { 
  throw new Test262Error('#1002: -512 >> 31 === -1. Actual: ' + (-512 >> 31)); 
} 


if (-1024 >> 31 !== -1) { 
  throw new Test262Error('#1003: -1024 >> 31 === -1. Actual: ' + (-1024 >> 31)); 
} 


if (-2048 >> 31 !== -1) { 
  throw new Test262Error('#1004: -2048 >> 31 === -1. Actual: ' + (-2048 >> 31)); 
} 


if (-4096 >> 31 !== -1) { 
  throw new Test262Error('#1005: -4096 >> 31 === -1. Actual: ' + (-4096 >> 31)); 
} 


if (-8192 >> 31 !== -1) { 
  throw new Test262Error('#1006: -8192 >> 31 === -1. Actual: ' + (-8192 >> 31)); 
} 


if (-16384 >> 31 !== -1) { 
  throw new Test262Error('#1007: -16384 >> 31 === -1. Actual: ' + (-16384 >> 31)); 
} 


if (-32768 >> 31 !== -1) { 
  throw new Test262Error('#1008: -32768 >> 31 === -1. Actual: ' + (-32768 >> 31)); 
} 


if (-65536 >> 31 !== -1) { 
  throw new Test262Error('#1009: -65536 >> 31 === -1. Actual: ' + (-65536 >> 31)); 
} 


if (-131072 >> 31 !== -1) { 
  throw new Test262Error('#1010: -131072 >> 31 === -1. Actual: ' + (-131072 >> 31)); 
} 


if (-262144 >> 31 !== -1) { 
  throw new Test262Error('#1011: -262144 >> 31 === -1. Actual: ' + (-262144 >> 31)); 
} 


if (-524288 >> 31 !== -1) { 
  throw new Test262Error('#1012: -524288 >> 31 === -1. Actual: ' + (-524288 >> 31)); 
} 


if (-1048576 >> 31 !== -1) { 
  throw new Test262Error('#1013: -1048576 >> 31 === -1. Actual: ' + (-1048576 >> 31)); 
} 


if (-2097152 >> 31 !== -1) { 
  throw new Test262Error('#1014: -2097152 >> 31 === -1. Actual: ' + (-2097152 >> 31)); 
} 


if (-4194304 >> 31 !== -1) { 
  throw new Test262Error('#1015: -4194304 >> 31 === -1. Actual: ' + (-4194304 >> 31)); 
} 


if (-8388608 >> 31 !== -1) { 
  throw new Test262Error('#1016: -8388608 >> 31 === -1. Actual: ' + (-8388608 >> 31)); 
} 


if (-16777216 >> 31 !== -1) { 
  throw new Test262Error('#1017: -16777216 >> 31 === -1. Actual: ' + (-16777216 >> 31)); 
} 


if (-33554432 >> 31 !== -1) { 
  throw new Test262Error('#1018: -33554432 >> 31 === -1. Actual: ' + (-33554432 >> 31)); 
} 


if (-67108864 >> 31 !== -1) { 
  throw new Test262Error('#1019: -67108864 >> 31 === -1. Actual: ' + (-67108864 >> 31)); 
} 


if (-134217728 >> 31 !== -1) { 
  throw new Test262Error('#1020: -134217728 >> 31 === -1. Actual: ' + (-134217728 >> 31)); 
} 


if (-268435456 >> 31 !== -1) { 
  throw new Test262Error('#1021: -268435456 >> 31 === -1. Actual: ' + (-268435456 >> 31)); 
} 


if (-536870912 >> 31 !== -1) { 
  throw new Test262Error('#1022: -536870912 >> 31 === -1. Actual: ' + (-536870912 >> 31)); 
} 


if (-1073741824 >> 31 !== -1) { 
  throw new Test262Error('#1023: -1073741824 >> 31 === -1. Actual: ' + (-1073741824 >> 31)); 
} 


if (-2147483648 >> 31 !== -1) { 
  throw new Test262Error('#1024: -2147483648 >> 31 === -1. Actual: ' + (-2147483648 >> 31)); 
}