The Tor Browser: js/src/tests/test262/ch11/11.7/11.7.2/S11.7.2_A4

     1 // Copyright 2009 the Sputnik authors.  All rights reserved.

     2 // This code is governed by the BSD license found in the LICENSE file.

     4 /**

     5  * Check x >> y operator in distinct points

     6  *

     7  * @path ch11/11.7/11.7.2/S11.7.2_A4_T2.js

     8  * @description ShiftExpression = 2^n - 1, n = 16...31

     9  */

    11 //CHECK

    13 if (-1 >> 16 !== -1) {

    14   $ERROR('#513: -1 >> 16 === -1. Actual: ' + (-1 >> 16));

    15 }

    18 if (-2 >> 16 !== -1) {

    19   $ERROR('#514: -2 >> 16 === -1. Actual: ' + (-2 >> 16));

    20 }

    23 if (-4 >> 16 !== -1) {

    24   $ERROR('#515: -4 >> 16 === -1. Actual: ' + (-4 >> 16));

    25 }

    28 if (-8 >> 16 !== -1) {

    29   $ERROR('#516: -8 >> 16 === -1. Actual: ' + (-8 >> 16));

    30 }

    33 if (-16 >> 16 !== -1) {

    34   $ERROR('#517: -16 >> 16 === -1. Actual: ' + (-16 >> 16));

    35 }

    38 if (-32 >> 16 !== -1) {

    39   $ERROR('#518: -32 >> 16 === -1. Actual: ' + (-32 >> 16));

    40 }

    43 if (-64 >> 16 !== -1) {

    44   $ERROR('#519: -64 >> 16 === -1. Actual: ' + (-64 >> 16));

    45 }

    48 if (-128 >> 16 !== -1) {

    49   $ERROR('#520: -128 >> 16 === -1. Actual: ' + (-128 >> 16));

    50 }

    53 if (-256 >> 16 !== -1) {

    54   $ERROR('#521: -256 >> 16 === -1. Actual: ' + (-256 >> 16));

    55 }

    58 if (-512 >> 16 !== -1) {

    59   $ERROR('#522: -512 >> 16 === -1. Actual: ' + (-512 >> 16));

    60 }

    63 if (-1024 >> 16 !== -1) {

    64   $ERROR('#523: -1024 >> 16 === -1. Actual: ' + (-1024 >> 16));

    65 }

    68 if (-2048 >> 16 !== -1) {

    69   $ERROR('#524: -2048 >> 16 === -1. Actual: ' + (-2048 >> 16));

    70 }

    73 if (-4096 >> 16 !== -1) {

    74   $ERROR('#525: -4096 >> 16 === -1. Actual: ' + (-4096 >> 16));

    75 }

    78 if (-8192 >> 16 !== -1) {

    79   $ERROR('#526: -8192 >> 16 === -1. Actual: ' + (-8192 >> 16));

    80 }

    83 if (-16384 >> 16 !== -1) {

    84   $ERROR('#527: -16384 >> 16 === -1. Actual: ' + (-16384 >> 16));

    85 }

    88 if (-32768 >> 16 !== -1) {

    89   $ERROR('#528: -32768 >> 16 === -1. Actual: ' + (-32768 >> 16));

    90 }

    93 if (-65536 >> 16 !== -1) {

    94   $ERROR('#529: -65536 >> 16 === -1. Actual: ' + (-65536 >> 16));

    95 }

    98 if (-131072 >> 16 !== -2) {

    99   $ERROR('#530: -131072 >> 16 === -2. Actual: ' + (-131072 >> 16));

   100 }

   103 if (-262144 >> 16 !== -4) {

   104   $ERROR('#531: -262144 >> 16 === -4. Actual: ' + (-262144 >> 16));

   105 }

   108 if (-524288 >> 16 !== -8) {

   109   $ERROR('#532: -524288 >> 16 === -8. Actual: ' + (-524288 >> 16));

   110 }

   113 if (-1048576 >> 16 !== -16) {

   114   $ERROR('#533: -1048576 >> 16 === -16. Actual: ' + (-1048576 >> 16));

   115 }

   118 if (-2097152 >> 16 !== -32) {

   119   $ERROR('#534: -2097152 >> 16 === -32. Actual: ' + (-2097152 >> 16));

   120 }

   123 if (-4194304 >> 16 !== -64) {

   124   $ERROR('#535: -4194304 >> 16 === -64. Actual: ' + (-4194304 >> 16));

   125 }

   128 if (-8388608 >> 16 !== -128) {

   129   $ERROR('#536: -8388608 >> 16 === -128. Actual: ' + (-8388608 >> 16));

   130 }

   133 if (-16777216 >> 16 !== -256) {

   134   $ERROR('#537: -16777216 >> 16 === -256. Actual: ' + (-16777216 >> 16));

   135 }

   138 if (-33554432 >> 16 !== -512) {

   139   $ERROR('#538: -33554432 >> 16 === -512. Actual: ' + (-33554432 >> 16));

   140 }

   143 if (-67108864 >> 16 !== -1024) {

   144   $ERROR('#539: -67108864 >> 16 === -1024. Actual: ' + (-67108864 >> 16));

   145 }

   148 if (-134217728 >> 16 !== -2048) {

   149   $ERROR('#540: -134217728 >> 16 === -2048. Actual: ' + (-134217728 >> 16));

   150 }

   153 if (-268435456 >> 16 !== -4096) {

   154   $ERROR('#541: -268435456 >> 16 === -4096. Actual: ' + (-268435456 >> 16));

   155 }

   158 if (-536870912 >> 16 !== -8192) {

   159   $ERROR('#542: -536870912 >> 16 === -8192. Actual: ' + (-536870912 >> 16));

   160 }

   163 if (-1073741824 >> 16 !== -16384) {

   164   $ERROR('#543: -1073741824 >> 16 === -16384. Actual: ' + (-1073741824 >> 16));

   165 }

   168 if (-2147483648 >> 16 !== -32768) {

   169   $ERROR('#544: -2147483648 >> 16 === -32768. Actual: ' + (-2147483648 >> 16));

   170 }

   173 if (-1 >> 17 !== -1) {

   174   $ERROR('#545: -1 >> 17 === -1. Actual: ' + (-1 >> 17));

   175 }

   178 if (-2 >> 17 !== -1) {

   179   $ERROR('#546: -2 >> 17 === -1. Actual: ' + (-2 >> 17));

   180 }

   183 if (-4 >> 17 !== -1) {

   184   $ERROR('#547: -4 >> 17 === -1. Actual: ' + (-4 >> 17));

   185 }

   188 if (-8 >> 17 !== -1) {

   189   $ERROR('#548: -8 >> 17 === -1. Actual: ' + (-8 >> 17));

   190 }

   193 if (-16 >> 17 !== -1) {

   194   $ERROR('#549: -16 >> 17 === -1. Actual: ' + (-16 >> 17));

   195 }

   198 if (-32 >> 17 !== -1) {

   199   $ERROR('#550: -32 >> 17 === -1. Actual: ' + (-32 >> 17));

   200 }

   203 if (-64 >> 17 !== -1) {

   204   $ERROR('#551: -64 >> 17 === -1. Actual: ' + (-64 >> 17));

   205 }

   208 if (-128 >> 17 !== -1) {

   209   $ERROR('#552: -128 >> 17 === -1. Actual: ' + (-128 >> 17));

   210 }

   213 if (-256 >> 17 !== -1) {

   214   $ERROR('#553: -256 >> 17 === -1. Actual: ' + (-256 >> 17));

   215 }

   218 if (-512 >> 17 !== -1) {

   219   $ERROR('#554: -512 >> 17 === -1. Actual: ' + (-512 >> 17));

   220 }

   223 if (-1024 >> 17 !== -1) {

   224   $ERROR('#555: -1024 >> 17 === -1. Actual: ' + (-1024 >> 17));

   225 }

   228 if (-2048 >> 17 !== -1) {

   229   $ERROR('#556: -2048 >> 17 === -1. Actual: ' + (-2048 >> 17));

   230 }

   233 if (-4096 >> 17 !== -1) {

   234   $ERROR('#557: -4096 >> 17 === -1. Actual: ' + (-4096 >> 17));

   235 }

   238 if (-8192 >> 17 !== -1) {

   239   $ERROR('#558: -8192 >> 17 === -1. Actual: ' + (-8192 >> 17));

   240 }

   243 if (-16384 >> 17 !== -1) {

   244   $ERROR('#559: -16384 >> 17 === -1. Actual: ' + (-16384 >> 17));

   245 }

   248 if (-32768 >> 17 !== -1) {

   249   $ERROR('#560: -32768 >> 17 === -1. Actual: ' + (-32768 >> 17));

   250 }

   253 if (-65536 >> 17 !== -1) {

   254   $ERROR('#561: -65536 >> 17 === -1. Actual: ' + (-65536 >> 17));

   255 }

   258 if (-131072 >> 17 !== -1) {

   259   $ERROR('#562: -131072 >> 17 === -1. Actual: ' + (-131072 >> 17));

   260 }

   263 if (-262144 >> 17 !== -2) {

   264   $ERROR('#563: -262144 >> 17 === -2. Actual: ' + (-262144 >> 17));

   265 }

   268 if (-524288 >> 17 !== -4) {

   269   $ERROR('#564: -524288 >> 17 === -4. Actual: ' + (-524288 >> 17));

   270 }

   273 if (-1048576 >> 17 !== -8) {

   274   $ERROR('#565: -1048576 >> 17 === -8. Actual: ' + (-1048576 >> 17));

   275 }

   278 if (-2097152 >> 17 !== -16) {

   279   $ERROR('#566: -2097152 >> 17 === -16. Actual: ' + (-2097152 >> 17));

   280 }

   283 if (-4194304 >> 17 !== -32) {

   284   $ERROR('#567: -4194304 >> 17 === -32. Actual: ' + (-4194304 >> 17));

   285 }

   288 if (-8388608 >> 17 !== -64) {

   289   $ERROR('#568: -8388608 >> 17 === -64. Actual: ' + (-8388608 >> 17));

   290 }

   293 if (-16777216 >> 17 !== -128) {

   294   $ERROR('#569: -16777216 >> 17 === -128. Actual: ' + (-16777216 >> 17));

   295 }

   298 if (-33554432 >> 17 !== -256) {

   299   $ERROR('#570: -33554432 >> 17 === -256. Actual: ' + (-33554432 >> 17));

   300 }

   303 if (-67108864 >> 17 !== -512) {

   304   $ERROR('#571: -67108864 >> 17 === -512. Actual: ' + (-67108864 >> 17));

   305 }

   308 if (-134217728 >> 17 !== -1024) {

   309   $ERROR('#572: -134217728 >> 17 === -1024. Actual: ' + (-134217728 >> 17));

   310 }

   313 if (-268435456 >> 17 !== -2048) {

   314   $ERROR('#573: -268435456 >> 17 === -2048. Actual: ' + (-268435456 >> 17));

   315 }

   318 if (-536870912 >> 17 !== -4096) {

   319   $ERROR('#574: -536870912 >> 17 === -4096. Actual: ' + (-536870912 >> 17));

   320 }

   323 if (-1073741824 >> 17 !== -8192) {

   324   $ERROR('#575: -1073741824 >> 17 === -8192. Actual: ' + (-1073741824 >> 17));

   325 }

   328 if (-2147483648 >> 17 !== -16384) {

   329   $ERROR('#576: -2147483648 >> 17 === -16384. Actual: ' + (-2147483648 >> 17));

   330 }

   333 if (-1 >> 18 !== -1) {

   334   $ERROR('#577: -1 >> 18 === -1. Actual: ' + (-1 >> 18));

   335 }

   338 if (-2 >> 18 !== -1) {

   339   $ERROR('#578: -2 >> 18 === -1. Actual: ' + (-2 >> 18));

   340 }

   343 if (-4 >> 18 !== -1) {

   344   $ERROR('#579: -4 >> 18 === -1. Actual: ' + (-4 >> 18));

   345 }

   348 if (-8 >> 18 !== -1) {

   349   $ERROR('#580: -8 >> 18 === -1. Actual: ' + (-8 >> 18));

   350 }

   353 if (-16 >> 18 !== -1) {

   354   $ERROR('#581: -16 >> 18 === -1. Actual: ' + (-16 >> 18));

   355 }

   358 if (-32 >> 18 !== -1) {

   359   $ERROR('#582: -32 >> 18 === -1. Actual: ' + (-32 >> 18));

   360 }

   363 if (-64 >> 18 !== -1) {

   364   $ERROR('#583: -64 >> 18 === -1. Actual: ' + (-64 >> 18));

   365 }

   368 if (-128 >> 18 !== -1) {

   369   $ERROR('#584: -128 >> 18 === -1. Actual: ' + (-128 >> 18));

   370 }

   373 if (-256 >> 18 !== -1) {

   374   $ERROR('#585: -256 >> 18 === -1. Actual: ' + (-256 >> 18));

   375 }

   378 if (-512 >> 18 !== -1) {

   379   $ERROR('#586: -512 >> 18 === -1. Actual: ' + (-512 >> 18));

   380 }

   383 if (-1024 >> 18 !== -1) {

   384   $ERROR('#587: -1024 >> 18 === -1. Actual: ' + (-1024 >> 18));

   385 }

   388 if (-2048 >> 18 !== -1) {

   389   $ERROR('#588: -2048 >> 18 === -1. Actual: ' + (-2048 >> 18));

   390 }

   393 if (-4096 >> 18 !== -1) {

   394   $ERROR('#589: -4096 >> 18 === -1. Actual: ' + (-4096 >> 18));

   395 }

   398 if (-8192 >> 18 !== -1) {

   399   $ERROR('#590: -8192 >> 18 === -1. Actual: ' + (-8192 >> 18));

   400 }

   403 if (-16384 >> 18 !== -1) {

   404   $ERROR('#591: -16384 >> 18 === -1. Actual: ' + (-16384 >> 18));

   405 }

   408 if (-32768 >> 18 !== -1) {

   409   $ERROR('#592: -32768 >> 18 === -1. Actual: ' + (-32768 >> 18));

   410 }

   413 if (-65536 >> 18 !== -1) {

   414   $ERROR('#593: -65536 >> 18 === -1. Actual: ' + (-65536 >> 18));

   415 }

   418 if (-131072 >> 18 !== -1) {

   419   $ERROR('#594: -131072 >> 18 === -1. Actual: ' + (-131072 >> 18));

   420 }

   423 if (-262144 >> 18 !== -1) {

   424   $ERROR('#595: -262144 >> 18 === -1. Actual: ' + (-262144 >> 18));

   425 }

   428 if (-524288 >> 18 !== -2) {

   429   $ERROR('#596: -524288 >> 18 === -2. Actual: ' + (-524288 >> 18));

   430 }

   433 if (-1048576 >> 18 !== -4) {

   434   $ERROR('#597: -1048576 >> 18 === -4. Actual: ' + (-1048576 >> 18));

   435 }

   438 if (-2097152 >> 18 !== -8) {

   439   $ERROR('#598: -2097152 >> 18 === -8. Actual: ' + (-2097152 >> 18));

   440 }

   443 if (-4194304 >> 18 !== -16) {

   444   $ERROR('#599: -4194304 >> 18 === -16. Actual: ' + (-4194304 >> 18));

   445 }

   448 if (-8388608 >> 18 !== -32) {

   449   $ERROR('#600: -8388608 >> 18 === -32. Actual: ' + (-8388608 >> 18));

   450 }

   453 if (-16777216 >> 18 !== -64) {

   454   $ERROR('#601: -16777216 >> 18 === -64. Actual: ' + (-16777216 >> 18));

   455 }

   458 if (-33554432 >> 18 !== -128) {

   459   $ERROR('#602: -33554432 >> 18 === -128. Actual: ' + (-33554432 >> 18));

   460 }

   463 if (-67108864 >> 18 !== -256) {

   464   $ERROR('#603: -67108864 >> 18 === -256. Actual: ' + (-67108864 >> 18));

   465 }

   468 if (-134217728 >> 18 !== -512) {

   469   $ERROR('#604: -134217728 >> 18 === -512. Actual: ' + (-134217728 >> 18));

   470 }

   473 if (-268435456 >> 18 !== -1024) {

   474   $ERROR('#605: -268435456 >> 18 === -1024. Actual: ' + (-268435456 >> 18));

   475 }

   478 if (-536870912 >> 18 !== -2048) {

   479   $ERROR('#606: -536870912 >> 18 === -2048. Actual: ' + (-536870912 >> 18));

   480 }

   483 if (-1073741824 >> 18 !== -4096) {

   484   $ERROR('#607: -1073741824 >> 18 === -4096. Actual: ' + (-1073741824 >> 18));

   485 }

   488 if (-2147483648 >> 18 !== -8192) {

   489   $ERROR('#608: -2147483648 >> 18 === -8192. Actual: ' + (-2147483648 >> 18));

   490 }

   493 if (-1 >> 19 !== -1) {

   494   $ERROR('#609: -1 >> 19 === -1. Actual: ' + (-1 >> 19));

   495 }

   498 if (-2 >> 19 !== -1) {

   499   $ERROR('#610: -2 >> 19 === -1. Actual: ' + (-2 >> 19));

   500 }

   503 if (-4 >> 19 !== -1) {

   504   $ERROR('#611: -4 >> 19 === -1. Actual: ' + (-4 >> 19));

   505 }

   508 if (-8 >> 19 !== -1) {

   509   $ERROR('#612: -8 >> 19 === -1. Actual: ' + (-8 >> 19));

   510 }

   513 if (-16 >> 19 !== -1) {

   514   $ERROR('#613: -16 >> 19 === -1. Actual: ' + (-16 >> 19));

   515 }

   518 if (-32 >> 19 !== -1) {

   519   $ERROR('#614: -32 >> 19 === -1. Actual: ' + (-32 >> 19));

   520 }

   523 if (-64 >> 19 !== -1) {

   524   $ERROR('#615: -64 >> 19 === -1. Actual: ' + (-64 >> 19));

   525 }

   528 if (-128 >> 19 !== -1) {

   529   $ERROR('#616: -128 >> 19 === -1. Actual: ' + (-128 >> 19));

   530 }

   533 if (-256 >> 19 !== -1) {

   534   $ERROR('#617: -256 >> 19 === -1. Actual: ' + (-256 >> 19));

   535 }

   538 if (-512 >> 19 !== -1) {

   539   $ERROR('#618: -512 >> 19 === -1. Actual: ' + (-512 >> 19));

   540 }

   543 if (-1024 >> 19 !== -1) {

   544   $ERROR('#619: -1024 >> 19 === -1. Actual: ' + (-1024 >> 19));

   545 }

   548 if (-2048 >> 19 !== -1) {

   549   $ERROR('#620: -2048 >> 19 === -1. Actual: ' + (-2048 >> 19));

   550 }

   553 if (-4096 >> 19 !== -1) {

   554   $ERROR('#621: -4096 >> 19 === -1. Actual: ' + (-4096 >> 19));

   555 }

   558 if (-8192 >> 19 !== -1) {

   559   $ERROR('#622: -8192 >> 19 === -1. Actual: ' + (-8192 >> 19));

   560 }

   563 if (-16384 >> 19 !== -1) {

   564   $ERROR('#623: -16384 >> 19 === -1. Actual: ' + (-16384 >> 19));

   565 }

   568 if (-32768 >> 19 !== -1) {

   569   $ERROR('#624: -32768 >> 19 === -1. Actual: ' + (-32768 >> 19));

   570 }

   573 if (-65536 >> 19 !== -1) {

   574   $ERROR('#625: -65536 >> 19 === -1. Actual: ' + (-65536 >> 19));

   575 }

   578 if (-131072 >> 19 !== -1) {

   579   $ERROR('#626: -131072 >> 19 === -1. Actual: ' + (-131072 >> 19));

   580 }

   583 if (-262144 >> 19 !== -1) {

   584   $ERROR('#627: -262144 >> 19 === -1. Actual: ' + (-262144 >> 19));

   585 }

   588 if (-524288 >> 19 !== -1) {

   589   $ERROR('#628: -524288 >> 19 === -1. Actual: ' + (-524288 >> 19));

   590 }

   593 if (-1048576 >> 19 !== -2) {

   594   $ERROR('#629: -1048576 >> 19 === -2. Actual: ' + (-1048576 >> 19));

   595 }

   598 if (-2097152 >> 19 !== -4) {

   599   $ERROR('#630: -2097152 >> 19 === -4. Actual: ' + (-2097152 >> 19));

   600 }

   603 if (-4194304 >> 19 !== -8) {

   604   $ERROR('#631: -4194304 >> 19 === -8. Actual: ' + (-4194304 >> 19));

   605 }

   608 if (-8388608 >> 19 !== -16) {

   609   $ERROR('#632: -8388608 >> 19 === -16. Actual: ' + (-8388608 >> 19));

   610 }

   613 if (-16777216 >> 19 !== -32) {

   614   $ERROR('#633: -16777216 >> 19 === -32. Actual: ' + (-16777216 >> 19));

   615 }

   618 if (-33554432 >> 19 !== -64) {

   619   $ERROR('#634: -33554432 >> 19 === -64. Actual: ' + (-33554432 >> 19));

   620 }

   623 if (-67108864 >> 19 !== -128) {

   624   $ERROR('#635: -67108864 >> 19 === -128. Actual: ' + (-67108864 >> 19));

   625 }

   628 if (-134217728 >> 19 !== -256) {

   629   $ERROR('#636: -134217728 >> 19 === -256. Actual: ' + (-134217728 >> 19));

   630 }

   633 if (-268435456 >> 19 !== -512) {

   634   $ERROR('#637: -268435456 >> 19 === -512. Actual: ' + (-268435456 >> 19));

   635 }

   638 if (-536870912 >> 19 !== -1024) {

   639   $ERROR('#638: -536870912 >> 19 === -1024. Actual: ' + (-536870912 >> 19));

   640 }

   643 if (-1073741824 >> 19 !== -2048) {

   644   $ERROR('#639: -1073741824 >> 19 === -2048. Actual: ' + (-1073741824 >> 19));

   645 }

   648 if (-2147483648 >> 19 !== -4096) {

   649   $ERROR('#640: -2147483648 >> 19 === -4096. Actual: ' + (-2147483648 >> 19));

   650 }

   653 if (-1 >> 20 !== -1) {

   654   $ERROR('#641: -1 >> 20 === -1. Actual: ' + (-1 >> 20));

   655 }

   658 if (-2 >> 20 !== -1) {

   659   $ERROR('#642: -2 >> 20 === -1. Actual: ' + (-2 >> 20));

   660 }

   663 if (-4 >> 20 !== -1) {

   664   $ERROR('#643: -4 >> 20 === -1. Actual: ' + (-4 >> 20));

   665 }

   668 if (-8 >> 20 !== -1) {

   669   $ERROR('#644: -8 >> 20 === -1. Actual: ' + (-8 >> 20));

   670 }

   673 if (-16 >> 20 !== -1) {

   674   $ERROR('#645: -16 >> 20 === -1. Actual: ' + (-16 >> 20));

   675 }

   678 if (-32 >> 20 !== -1) {

   679   $ERROR('#646: -32 >> 20 === -1. Actual: ' + (-32 >> 20));

   680 }

   683 if (-64 >> 20 !== -1) {

   684   $ERROR('#647: -64 >> 20 === -1. Actual: ' + (-64 >> 20));

   685 }

   688 if (-128 >> 20 !== -1) {

   689   $ERROR('#648: -128 >> 20 === -1. Actual: ' + (-128 >> 20));

   690 }

   693 if (-256 >> 20 !== -1) {

   694   $ERROR('#649: -256 >> 20 === -1. Actual: ' + (-256 >> 20));

   695 }

   698 if (-512 >> 20 !== -1) {

   699   $ERROR('#650: -512 >> 20 === -1. Actual: ' + (-512 >> 20));

   700 }

   703 if (-1024 >> 20 !== -1) {

   704   $ERROR('#651: -1024 >> 20 === -1. Actual: ' + (-1024 >> 20));

   705 }

   708 if (-2048 >> 20 !== -1) {

   709   $ERROR('#652: -2048 >> 20 === -1. Actual: ' + (-2048 >> 20));

   710 }

   713 if (-4096 >> 20 !== -1) {

   714   $ERROR('#653: -4096 >> 20 === -1. Actual: ' + (-4096 >> 20));

   715 }

   718 if (-8192 >> 20 !== -1) {

   719   $ERROR('#654: -8192 >> 20 === -1. Actual: ' + (-8192 >> 20));

   720 }

   723 if (-16384 >> 20 !== -1) {

   724   $ERROR('#655: -16384 >> 20 === -1. Actual: ' + (-16384 >> 20));

   725 }

   728 if (-32768 >> 20 !== -1) {

   729   $ERROR('#656: -32768 >> 20 === -1. Actual: ' + (-32768 >> 20));

   730 }

   733 if (-65536 >> 20 !== -1) {

   734   $ERROR('#657: -65536 >> 20 === -1. Actual: ' + (-65536 >> 20));

   735 }

   738 if (-131072 >> 20 !== -1) {

   739   $ERROR('#658: -131072 >> 20 === -1. Actual: ' + (-131072 >> 20));

   740 }

   743 if (-262144 >> 20 !== -1) {

   744   $ERROR('#659: -262144 >> 20 === -1. Actual: ' + (-262144 >> 20));

   745 }

   748 if (-524288 >> 20 !== -1) {

   749   $ERROR('#660: -524288 >> 20 === -1. Actual: ' + (-524288 >> 20));

   750 }

   753 if (-1048576 >> 20 !== -1) {

   754   $ERROR('#661: -1048576 >> 20 === -1. Actual: ' + (-1048576 >> 20));

   755 }

   758 if (-2097152 >> 20 !== -2) {

   759   $ERROR('#662: -2097152 >> 20 === -2. Actual: ' + (-2097152 >> 20));

   760 }

   763 if (-4194304 >> 20 !== -4) {

   764   $ERROR('#663: -4194304 >> 20 === -4. Actual: ' + (-4194304 >> 20));

   765 }

   768 if (-8388608 >> 20 !== -8) {

   769   $ERROR('#664: -8388608 >> 20 === -8. Actual: ' + (-8388608 >> 20));

   770 }

   773 if (-16777216 >> 20 !== -16) {

   774   $ERROR('#665: -16777216 >> 20 === -16. Actual: ' + (-16777216 >> 20));

   775 }

   778 if (-33554432 >> 20 !== -32) {

   779   $ERROR('#666: -33554432 >> 20 === -32. Actual: ' + (-33554432 >> 20));

   780 }

   783 if (-67108864 >> 20 !== -64) {

   784   $ERROR('#667: -67108864 >> 20 === -64. Actual: ' + (-67108864 >> 20));

   785 }

   788 if (-134217728 >> 20 !== -128) {

   789   $ERROR('#668: -134217728 >> 20 === -128. Actual: ' + (-134217728 >> 20));

   790 }

   793 if (-268435456 >> 20 !== -256) {

   794   $ERROR('#669: -268435456 >> 20 === -256. Actual: ' + (-268435456 >> 20));

   795 }

   798 if (-536870912 >> 20 !== -512) {

   799   $ERROR('#670: -536870912 >> 20 === -512. Actual: ' + (-536870912 >> 20));

   800 }

   803 if (-1073741824 >> 20 !== -1024) {

   804   $ERROR('#671: -1073741824 >> 20 === -1024. Actual: ' + (-1073741824 >> 20));

   805 }

   808 if (-2147483648 >> 20 !== -2048) {

   809   $ERROR('#672: -2147483648 >> 20 === -2048. Actual: ' + (-2147483648 >> 20));

   810 }

   813 if (-1 >> 21 !== -1) {

   814   $ERROR('#673: -1 >> 21 === -1. Actual: ' + (-1 >> 21));

   815 }

   818 if (-2 >> 21 !== -1) {

   819   $ERROR('#674: -2 >> 21 === -1. Actual: ' + (-2 >> 21));

   820 }

   823 if (-4 >> 21 !== -1) {

   824   $ERROR('#675: -4 >> 21 === -1. Actual: ' + (-4 >> 21));

   825 }

   828 if (-8 >> 21 !== -1) {

   829   $ERROR('#676: -8 >> 21 === -1. Actual: ' + (-8 >> 21));

   830 }

   833 if (-16 >> 21 !== -1) {

   834   $ERROR('#677: -16 >> 21 === -1. Actual: ' + (-16 >> 21));

   835 }

   838 if (-32 >> 21 !== -1) {

   839   $ERROR('#678: -32 >> 21 === -1. Actual: ' + (-32 >> 21));

   840 }

   843 if (-64 >> 21 !== -1) {

   844   $ERROR('#679: -64 >> 21 === -1. Actual: ' + (-64 >> 21));

   845 }

   848 if (-128 >> 21 !== -1) {

   849   $ERROR('#680: -128 >> 21 === -1. Actual: ' + (-128 >> 21));

   850 }

   853 if (-256 >> 21 !== -1) {

   854   $ERROR('#681: -256 >> 21 === -1. Actual: ' + (-256 >> 21));

   855 }

   858 if (-512 >> 21 !== -1) {

   859   $ERROR('#682: -512 >> 21 === -1. Actual: ' + (-512 >> 21));

   860 }

   863 if (-1024 >> 21 !== -1) {

   864   $ERROR('#683: -1024 >> 21 === -1. Actual: ' + (-1024 >> 21));

   865 }

   868 if (-2048 >> 21 !== -1) {

   869   $ERROR('#684: -2048 >> 21 === -1. Actual: ' + (-2048 >> 21));

   870 }

   873 if (-4096 >> 21 !== -1) {

   874   $ERROR('#685: -4096 >> 21 === -1. Actual: ' + (-4096 >> 21));

   875 }

   878 if (-8192 >> 21 !== -1) {

   879   $ERROR('#686: -8192 >> 21 === -1. Actual: ' + (-8192 >> 21));

   880 }

   883 if (-16384 >> 21 !== -1) {

   884   $ERROR('#687: -16384 >> 21 === -1. Actual: ' + (-16384 >> 21));

   885 }

   888 if (-32768 >> 21 !== -1) {

   889   $ERROR('#688: -32768 >> 21 === -1. Actual: ' + (-32768 >> 21));

   890 }

   893 if (-65536 >> 21 !== -1) {

   894   $ERROR('#689: -65536 >> 21 === -1. Actual: ' + (-65536 >> 21));

   895 }

   898 if (-131072 >> 21 !== -1) {

   899   $ERROR('#690: -131072 >> 21 === -1. Actual: ' + (-131072 >> 21));

   900 }

   903 if (-262144 >> 21 !== -1) {

   904   $ERROR('#691: -262144 >> 21 === -1. Actual: ' + (-262144 >> 21));

   905 }

   908 if (-524288 >> 21 !== -1) {

   909   $ERROR('#692: -524288 >> 21 === -1. Actual: ' + (-524288 >> 21));

   910 }

   913 if (-1048576 >> 21 !== -1) {

   914   $ERROR('#693: -1048576 >> 21 === -1. Actual: ' + (-1048576 >> 21));

   915 }

   918 if (-2097152 >> 21 !== -1) {

   919   $ERROR('#694: -2097152 >> 21 === -1. Actual: ' + (-2097152 >> 21));

   920 }

   923 if (-4194304 >> 21 !== -2) {

   924   $ERROR('#695: -4194304 >> 21 === -2. Actual: ' + (-4194304 >> 21));

   925 }

   928 if (-8388608 >> 21 !== -4) {

   929   $ERROR('#696: -8388608 >> 21 === -4. Actual: ' + (-8388608 >> 21));

   930 }

   933 if (-16777216 >> 21 !== -8) {

   934   $ERROR('#697: -16777216 >> 21 === -8. Actual: ' + (-16777216 >> 21));

   935 }

   938 if (-33554432 >> 21 !== -16) {

   939   $ERROR('#698: -33554432 >> 21 === -16. Actual: ' + (-33554432 >> 21));

   940 }

   943 if (-67108864 >> 21 !== -32) {

   944   $ERROR('#699: -67108864 >> 21 === -32. Actual: ' + (-67108864 >> 21));

   945 }

   948 if (-134217728 >> 21 !== -64) {

   949   $ERROR('#700: -134217728 >> 21 === -64. Actual: ' + (-134217728 >> 21));

   950 }

   953 if (-268435456 >> 21 !== -128) {

   954   $ERROR('#701: -268435456 >> 21 === -128. Actual: ' + (-268435456 >> 21));

   955 }

   958 if (-536870912 >> 21 !== -256) {

   959   $ERROR('#702: -536870912 >> 21 === -256. Actual: ' + (-536870912 >> 21));

   960 }

   963 if (-1073741824 >> 21 !== -512) {

   964   $ERROR('#703: -1073741824 >> 21 === -512. Actual: ' + (-1073741824 >> 21));

   965 }

   968 if (-2147483648 >> 21 !== -1024) {

   969   $ERROR('#704: -2147483648 >> 21 === -1024. Actual: ' + (-2147483648 >> 21));

   970 }

   973 if (-1 >> 22 !== -1) {

   974   $ERROR('#705: -1 >> 22 === -1. Actual: ' + (-1 >> 22));

   975 }

   978 if (-2 >> 22 !== -1) {

   979   $ERROR('#706: -2 >> 22 === -1. Actual: ' + (-2 >> 22));

   980 }

   983 if (-4 >> 22 !== -1) {

   984   $ERROR('#707: -4 >> 22 === -1. Actual: ' + (-4 >> 22));

   985 }

   988 if (-8 >> 22 !== -1) {

   989   $ERROR('#708: -8 >> 22 === -1. Actual: ' + (-8 >> 22));

   990 }

   993 if (-16 >> 22 !== -1) {

   994   $ERROR('#709: -16 >> 22 === -1. Actual: ' + (-16 >> 22));

   995 }

   998 if (-32 >> 22 !== -1) {

   999   $ERROR('#710: -32 >> 22 === -1. Actual: ' + (-32 >> 22));

  1000 }

  1003 if (-64 >> 22 !== -1) {

  1004   $ERROR('#711: -64 >> 22 === -1. Actual: ' + (-64 >> 22));

  1005 }

  1008 if (-128 >> 22 !== -1) {

  1009   $ERROR('#712: -128 >> 22 === -1. Actual: ' + (-128 >> 22));

  1010 }

  1013 if (-256 >> 22 !== -1) {

  1014   $ERROR('#713: -256 >> 22 === -1. Actual: ' + (-256 >> 22));

  1015 }

  1018 if (-512 >> 22 !== -1) {

  1019   $ERROR('#714: -512 >> 22 === -1. Actual: ' + (-512 >> 22));

  1020 }

  1023 if (-1024 >> 22 !== -1) {

  1024   $ERROR('#715: -1024 >> 22 === -1. Actual: ' + (-1024 >> 22));

  1025 }

  1028 if (-2048 >> 22 !== -1) {

  1029   $ERROR('#716: -2048 >> 22 === -1. Actual: ' + (-2048 >> 22));

  1030 }

  1033 if (-4096 >> 22 !== -1) {

  1034   $ERROR('#717: -4096 >> 22 === -1. Actual: ' + (-4096 >> 22));

  1035 }

  1038 if (-8192 >> 22 !== -1) {

  1039   $ERROR('#718: -8192 >> 22 === -1. Actual: ' + (-8192 >> 22));

  1040 }

  1043 if (-16384 >> 22 !== -1) {

  1044   $ERROR('#719: -16384 >> 22 === -1. Actual: ' + (-16384 >> 22));

  1045 }

  1048 if (-32768 >> 22 !== -1) {

  1049   $ERROR('#720: -32768 >> 22 === -1. Actual: ' + (-32768 >> 22));

  1050 }

  1053 if (-65536 >> 22 !== -1) {

  1054   $ERROR('#721: -65536 >> 22 === -1. Actual: ' + (-65536 >> 22));

  1055 }

  1058 if (-131072 >> 22 !== -1) {

  1059   $ERROR('#722: -131072 >> 22 === -1. Actual: ' + (-131072 >> 22));

  1060 }

  1063 if (-262144 >> 22 !== -1) {

  1064   $ERROR('#723: -262144 >> 22 === -1. Actual: ' + (-262144 >> 22));

  1065 }

  1068 if (-524288 >> 22 !== -1) {

  1069   $ERROR('#724: -524288 >> 22 === -1. Actual: ' + (-524288 >> 22));

  1070 }

  1073 if (-1048576 >> 22 !== -1) {

  1074   $ERROR('#725: -1048576 >> 22 === -1. Actual: ' + (-1048576 >> 22));

  1075 }

  1078 if (-2097152 >> 22 !== -1) {

  1079   $ERROR('#726: -2097152 >> 22 === -1. Actual: ' + (-2097152 >> 22));

  1080 }

  1083 if (-4194304 >> 22 !== -1) {

  1084   $ERROR('#727: -4194304 >> 22 === -1. Actual: ' + (-4194304 >> 22));

  1085 }

  1088 if (-8388608 >> 22 !== -2) {

  1089   $ERROR('#728: -8388608 >> 22 === -2. Actual: ' + (-8388608 >> 22));

  1090 }

  1093 if (-16777216 >> 22 !== -4) {

  1094   $ERROR('#729: -16777216 >> 22 === -4. Actual: ' + (-16777216 >> 22));

  1095 }

  1098 if (-33554432 >> 22 !== -8) {

  1099   $ERROR('#730: -33554432 >> 22 === -8. Actual: ' + (-33554432 >> 22));

  1100 }

  1103 if (-67108864 >> 22 !== -16) {

  1104   $ERROR('#731: -67108864 >> 22 === -16. Actual: ' + (-67108864 >> 22));

  1105 }

  1108 if (-134217728 >> 22 !== -32) {

  1109   $ERROR('#732: -134217728 >> 22 === -32. Actual: ' + (-134217728 >> 22));

  1110 }

  1113 if (-268435456 >> 22 !== -64) {

  1114   $ERROR('#733: -268435456 >> 22 === -64. Actual: ' + (-268435456 >> 22));

  1115 }

  1118 if (-536870912 >> 22 !== -128) {

  1119   $ERROR('#734: -536870912 >> 22 === -128. Actual: ' + (-536870912 >> 22));

  1120 }

  1123 if (-1073741824 >> 22 !== -256) {

  1124   $ERROR('#735: -1073741824 >> 22 === -256. Actual: ' + (-1073741824 >> 22));

  1125 }

  1128 if (-2147483648 >> 22 !== -512) {

  1129   $ERROR('#736: -2147483648 >> 22 === -512. Actual: ' + (-2147483648 >> 22));

  1130 }

  1133 if (-1 >> 23 !== -1) {

  1134   $ERROR('#737: -1 >> 23 === -1. Actual: ' + (-1 >> 23));

  1135 }

  1138 if (-2 >> 23 !== -1) {

  1139   $ERROR('#738: -2 >> 23 === -1. Actual: ' + (-2 >> 23));

  1140 }

  1143 if (-4 >> 23 !== -1) {

  1144   $ERROR('#739: -4 >> 23 === -1. Actual: ' + (-4 >> 23));

  1145 }

  1148 if (-8 >> 23 !== -1) {

  1149   $ERROR('#740: -8 >> 23 === -1. Actual: ' + (-8 >> 23));

  1150 }

  1153 if (-16 >> 23 !== -1) {

  1154   $ERROR('#741: -16 >> 23 === -1. Actual: ' + (-16 >> 23));

  1155 }

  1158 if (-32 >> 23 !== -1) {

  1159   $ERROR('#742: -32 >> 23 === -1. Actual: ' + (-32 >> 23));

  1160 }

  1163 if (-64 >> 23 !== -1) {

  1164   $ERROR('#743: -64 >> 23 === -1. Actual: ' + (-64 >> 23));

  1165 }

  1168 if (-128 >> 23 !== -1) {

  1169   $ERROR('#744: -128 >> 23 === -1. Actual: ' + (-128 >> 23));

  1170 }

  1173 if (-256 >> 23 !== -1) {

  1174   $ERROR('#745: -256 >> 23 === -1. Actual: ' + (-256 >> 23));

  1175 }

  1178 if (-512 >> 23 !== -1) {

  1179   $ERROR('#746: -512 >> 23 === -1. Actual: ' + (-512 >> 23));

  1180 }

  1183 if (-1024 >> 23 !== -1) {

  1184   $ERROR('#747: -1024 >> 23 === -1. Actual: ' + (-1024 >> 23));

  1185 }

  1188 if (-2048 >> 23 !== -1) {

  1189   $ERROR('#748: -2048 >> 23 === -1. Actual: ' + (-2048 >> 23));

  1190 }

  1193 if (-4096 >> 23 !== -1) {

  1194   $ERROR('#749: -4096 >> 23 === -1. Actual: ' + (-4096 >> 23));

  1195 }

  1198 if (-8192 >> 23 !== -1) {

  1199   $ERROR('#750: -8192 >> 23 === -1. Actual: ' + (-8192 >> 23));

  1200 }

  1203 if (-16384 >> 23 !== -1) {

  1204   $ERROR('#751: -16384 >> 23 === -1. Actual: ' + (-16384 >> 23));

  1205 }

  1208 if (-32768 >> 23 !== -1) {

  1209   $ERROR('#752: -32768 >> 23 === -1. Actual: ' + (-32768 >> 23));

  1210 }

  1213 if (-65536 >> 23 !== -1) {

  1214   $ERROR('#753: -65536 >> 23 === -1. Actual: ' + (-65536 >> 23));

  1215 }

  1218 if (-131072 >> 23 !== -1) {

  1219   $ERROR('#754: -131072 >> 23 === -1. Actual: ' + (-131072 >> 23));

  1220 }

  1223 if (-262144 >> 23 !== -1) {

  1224   $ERROR('#755: -262144 >> 23 === -1. Actual: ' + (-262144 >> 23));

  1225 }

  1228 if (-524288 >> 23 !== -1) {

  1229   $ERROR('#756: -524288 >> 23 === -1. Actual: ' + (-524288 >> 23));

  1230 }

  1233 if (-1048576 >> 23 !== -1) {

  1234   $ERROR('#757: -1048576 >> 23 === -1. Actual: ' + (-1048576 >> 23));

  1235 }

  1238 if (-2097152 >> 23 !== -1) {

  1239   $ERROR('#758: -2097152 >> 23 === -1. Actual: ' + (-2097152 >> 23));

  1240 }

  1243 if (-4194304 >> 23 !== -1) {

  1244   $ERROR('#759: -4194304 >> 23 === -1. Actual: ' + (-4194304 >> 23));

  1245 }

  1248 if (-8388608 >> 23 !== -1) {

  1249   $ERROR('#760: -8388608 >> 23 === -1. Actual: ' + (-8388608 >> 23));

  1250 }

  1253 if (-16777216 >> 23 !== -2) {

  1254   $ERROR('#761: -16777216 >> 23 === -2. Actual: ' + (-16777216 >> 23));

  1255 }

  1258 if (-33554432 >> 23 !== -4) {

  1259   $ERROR('#762: -33554432 >> 23 === -4. Actual: ' + (-33554432 >> 23));

  1260 }

  1263 if (-67108864 >> 23 !== -8) {

  1264   $ERROR('#763: -67108864 >> 23 === -8. Actual: ' + (-67108864 >> 23));

  1265 }

  1268 if (-134217728 >> 23 !== -16) {

  1269   $ERROR('#764: -134217728 >> 23 === -16. Actual: ' + (-134217728 >> 23));

  1270 }

  1273 if (-268435456 >> 23 !== -32) {

  1274   $ERROR('#765: -268435456 >> 23 === -32. Actual: ' + (-268435456 >> 23));

  1275 }

  1278 if (-536870912 >> 23 !== -64) {

  1279   $ERROR('#766: -536870912 >> 23 === -64. Actual: ' + (-536870912 >> 23));

  1280 }

  1283 if (-1073741824 >> 23 !== -128) {

  1284   $ERROR('#767: -1073741824 >> 23 === -128. Actual: ' + (-1073741824 >> 23));

  1285 }

  1288 if (-2147483648 >> 23 !== -256) {

  1289   $ERROR('#768: -2147483648 >> 23 === -256. Actual: ' + (-2147483648 >> 23));

  1290 }

  1293 if (-1 >> 24 !== -1) {

  1294   $ERROR('#769: -1 >> 24 === -1. Actual: ' + (-1 >> 24));

  1295 }

  1298 if (-2 >> 24 !== -1) {

  1299   $ERROR('#770: -2 >> 24 === -1. Actual: ' + (-2 >> 24));

  1300 }

  1303 if (-4 >> 24 !== -1) {

  1304   $ERROR('#771: -4 >> 24 === -1. Actual: ' + (-4 >> 24));

  1305 }

  1308 if (-8 >> 24 !== -1) {

  1309   $ERROR('#772: -8 >> 24 === -1. Actual: ' + (-8 >> 24));

  1310 }

  1313 if (-16 >> 24 !== -1) {

  1314   $ERROR('#773: -16 >> 24 === -1. Actual: ' + (-16 >> 24));

  1315 }

  1318 if (-32 >> 24 !== -1) {

  1319   $ERROR('#774: -32 >> 24 === -1. Actual: ' + (-32 >> 24));

  1320 }

  1323 if (-64 >> 24 !== -1) {

  1324   $ERROR('#775: -64 >> 24 === -1. Actual: ' + (-64 >> 24));

  1325 }

  1328 if (-128 >> 24 !== -1) {

  1329   $ERROR('#776: -128 >> 24 === -1. Actual: ' + (-128 >> 24));

  1330 }

  1333 if (-256 >> 24 !== -1) {

  1334   $ERROR('#777: -256 >> 24 === -1. Actual: ' + (-256 >> 24));

  1335 }

  1338 if (-512 >> 24 !== -1) {

  1339   $ERROR('#778: -512 >> 24 === -1. Actual: ' + (-512 >> 24));

  1340 }

  1343 if (-1024 >> 24 !== -1) {

  1344   $ERROR('#779: -1024 >> 24 === -1. Actual: ' + (-1024 >> 24));

  1345 }

  1348 if (-2048 >> 24 !== -1) {

  1349   $ERROR('#780: -2048 >> 24 === -1. Actual: ' + (-2048 >> 24));

  1350 }

  1353 if (-4096 >> 24 !== -1) {

  1354   $ERROR('#781: -4096 >> 24 === -1. Actual: ' + (-4096 >> 24));

  1355 }

  1358 if (-8192 >> 24 !== -1) {

  1359   $ERROR('#782: -8192 >> 24 === -1. Actual: ' + (-8192 >> 24));

  1360 }

  1363 if (-16384 >> 24 !== -1) {

  1364   $ERROR('#783: -16384 >> 24 === -1. Actual: ' + (-16384 >> 24));

  1365 }

  1368 if (-32768 >> 24 !== -1) {

  1369   $ERROR('#784: -32768 >> 24 === -1. Actual: ' + (-32768 >> 24));

  1370 }

  1373 if (-65536 >> 24 !== -1) {

  1374   $ERROR('#785: -65536 >> 24 === -1. Actual: ' + (-65536 >> 24));

  1375 }

  1378 if (-131072 >> 24 !== -1) {

  1379   $ERROR('#786: -131072 >> 24 === -1. Actual: ' + (-131072 >> 24));

  1380 }

  1383 if (-262144 >> 24 !== -1) {

  1384   $ERROR('#787: -262144 >> 24 === -1. Actual: ' + (-262144 >> 24));

  1385 }

  1388 if (-524288 >> 24 !== -1) {

  1389   $ERROR('#788: -524288 >> 24 === -1. Actual: ' + (-524288 >> 24));

  1390 }

  1393 if (-1048576 >> 24 !== -1) {

  1394   $ERROR('#789: -1048576 >> 24 === -1. Actual: ' + (-1048576 >> 24));

  1395 }

  1398 if (-2097152 >> 24 !== -1) {

  1399   $ERROR('#790: -2097152 >> 24 === -1. Actual: ' + (-2097152 >> 24));

  1400 }

  1403 if (-4194304 >> 24 !== -1) {

  1404   $ERROR('#791: -4194304 >> 24 === -1. Actual: ' + (-4194304 >> 24));

  1405 }

  1408 if (-8388608 >> 24 !== -1) {

  1409   $ERROR('#792: -8388608 >> 24 === -1. Actual: ' + (-8388608 >> 24));

  1410 }

  1413 if (-16777216 >> 24 !== -1) {

  1414   $ERROR('#793: -16777216 >> 24 === -1. Actual: ' + (-16777216 >> 24));

  1415 }

  1418 if (-33554432 >> 24 !== -2) {

  1419   $ERROR('#794: -33554432 >> 24 === -2. Actual: ' + (-33554432 >> 24));

  1420 }

  1423 if (-67108864 >> 24 !== -4) {

  1424   $ERROR('#795: -67108864 >> 24 === -4. Actual: ' + (-67108864 >> 24));

  1425 }

  1428 if (-134217728 >> 24 !== -8) {

  1429   $ERROR('#796: -134217728 >> 24 === -8. Actual: ' + (-134217728 >> 24));

  1430 }

  1433 if (-268435456 >> 24 !== -16) {

  1434   $ERROR('#797: -268435456 >> 24 === -16. Actual: ' + (-268435456 >> 24));

  1435 }

  1438 if (-536870912 >> 24 !== -32) {

  1439   $ERROR('#798: -536870912 >> 24 === -32. Actual: ' + (-536870912 >> 24));

  1440 }

  1443 if (-1073741824 >> 24 !== -64) {

  1444   $ERROR('#799: -1073741824 >> 24 === -64. Actual: ' + (-1073741824 >> 24));

  1445 }

  1448 if (-2147483648 >> 24 !== -128) {

  1449   $ERROR('#800: -2147483648 >> 24 === -128. Actual: ' + (-2147483648 >> 24));

  1450 }

  1453 if (-1 >> 25 !== -1) {

  1454   $ERROR('#801: -1 >> 25 === -1. Actual: ' + (-1 >> 25));

  1455 }

  1458 if (-2 >> 25 !== -1) {

  1459   $ERROR('#802: -2 >> 25 === -1. Actual: ' + (-2 >> 25));

  1460 }

  1463 if (-4 >> 25 !== -1) {

  1464   $ERROR('#803: -4 >> 25 === -1. Actual: ' + (-4 >> 25));

  1465 }

  1468 if (-8 >> 25 !== -1) {

  1469   $ERROR('#804: -8 >> 25 === -1. Actual: ' + (-8 >> 25));

  1470 }

  1473 if (-16 >> 25 !== -1) {

  1474   $ERROR('#805: -16 >> 25 === -1. Actual: ' + (-16 >> 25));

  1475 }

  1478 if (-32 >> 25 !== -1) {

  1479   $ERROR('#806: -32 >> 25 === -1. Actual: ' + (-32 >> 25));

  1480 }

  1483 if (-64 >> 25 !== -1) {

  1484   $ERROR('#807: -64 >> 25 === -1. Actual: ' + (-64 >> 25));

  1485 }

  1488 if (-128 >> 25 !== -1) {

  1489   $ERROR('#808: -128 >> 25 === -1. Actual: ' + (-128 >> 25));

  1490 }

  1493 if (-256 >> 25 !== -1) {

  1494   $ERROR('#809: -256 >> 25 === -1. Actual: ' + (-256 >> 25));

  1495 }

  1498 if (-512 >> 25 !== -1) {

  1499   $ERROR('#810: -512 >> 25 === -1. Actual: ' + (-512 >> 25));

  1500 }

  1503 if (-1024 >> 25 !== -1) {

  1504   $ERROR('#811: -1024 >> 25 === -1. Actual: ' + (-1024 >> 25));

  1505 }

  1508 if (-2048 >> 25 !== -1) {

  1509   $ERROR('#812: -2048 >> 25 === -1. Actual: ' + (-2048 >> 25));

  1510 }

  1513 if (-4096 >> 25 !== -1) {

  1514   $ERROR('#813: -4096 >> 25 === -1. Actual: ' + (-4096 >> 25));

  1515 }

  1518 if (-8192 >> 25 !== -1) {

  1519   $ERROR('#814: -8192 >> 25 === -1. Actual: ' + (-8192 >> 25));

  1520 }

  1523 if (-16384 >> 25 !== -1) {

  1524   $ERROR('#815: -16384 >> 25 === -1. Actual: ' + (-16384 >> 25));

  1525 }

  1528 if (-32768 >> 25 !== -1) {

  1529   $ERROR('#816: -32768 >> 25 === -1. Actual: ' + (-32768 >> 25));

  1530 }

  1533 if (-65536 >> 25 !== -1) {

  1534   $ERROR('#817: -65536 >> 25 === -1. Actual: ' + (-65536 >> 25));

  1535 }

  1538 if (-131072 >> 25 !== -1) {

  1539   $ERROR('#818: -131072 >> 25 === -1. Actual: ' + (-131072 >> 25));

  1540 }

  1543 if (-262144 >> 25 !== -1) {

  1544   $ERROR('#819: -262144 >> 25 === -1. Actual: ' + (-262144 >> 25));

  1545 }

  1548 if (-524288 >> 25 !== -1) {

  1549   $ERROR('#820: -524288 >> 25 === -1. Actual: ' + (-524288 >> 25));

  1550 }

  1553 if (-1048576 >> 25 !== -1) {

  1554   $ERROR('#821: -1048576 >> 25 === -1. Actual: ' + (-1048576 >> 25));

  1555 }

  1558 if (-2097152 >> 25 !== -1) {

  1559   $ERROR('#822: -2097152 >> 25 === -1. Actual: ' + (-2097152 >> 25));

  1560 }

  1563 if (-4194304 >> 25 !== -1) {

  1564   $ERROR('#823: -4194304 >> 25 === -1. Actual: ' + (-4194304 >> 25));

  1565 }

  1568 if (-8388608 >> 25 !== -1) {

  1569   $ERROR('#824: -8388608 >> 25 === -1. Actual: ' + (-8388608 >> 25));

  1570 }

  1573 if (-16777216 >> 25 !== -1) {

  1574   $ERROR('#825: -16777216 >> 25 === -1. Actual: ' + (-16777216 >> 25));

  1575 }

  1578 if (-33554432 >> 25 !== -1) {

  1579   $ERROR('#826: -33554432 >> 25 === -1. Actual: ' + (-33554432 >> 25));

  1580 }

  1583 if (-67108864 >> 25 !== -2) {

  1584   $ERROR('#827: -67108864 >> 25 === -2. Actual: ' + (-67108864 >> 25));

  1585 }

  1588 if (-134217728 >> 25 !== -4) {

  1589   $ERROR('#828: -134217728 >> 25 === -4. Actual: ' + (-134217728 >> 25));

  1590 }

  1593 if (-268435456 >> 25 !== -8) {

  1594   $ERROR('#829: -268435456 >> 25 === -8. Actual: ' + (-268435456 >> 25));

  1595 }

  1598 if (-536870912 >> 25 !== -16) {

  1599   $ERROR('#830: -536870912 >> 25 === -16. Actual: ' + (-536870912 >> 25));

  1600 }

  1603 if (-1073741824 >> 25 !== -32) {

  1604   $ERROR('#831: -1073741824 >> 25 === -32. Actual: ' + (-1073741824 >> 25));

  1605 }

  1608 if (-2147483648 >> 25 !== -64) {

  1609   $ERROR('#832: -2147483648 >> 25 === -64. Actual: ' + (-2147483648 >> 25));

  1610 }

  1613 if (-1 >> 26 !== -1) {

  1614   $ERROR('#833: -1 >> 26 === -1. Actual: ' + (-1 >> 26));

  1615 }

  1618 if (-2 >> 26 !== -1) {

  1619   $ERROR('#834: -2 >> 26 === -1. Actual: ' + (-2 >> 26));

  1620 }

  1623 if (-4 >> 26 !== -1) {

  1624   $ERROR('#835: -4 >> 26 === -1. Actual: ' + (-4 >> 26));

  1625 }

  1628 if (-8 >> 26 !== -1) {

  1629   $ERROR('#836: -8 >> 26 === -1. Actual: ' + (-8 >> 26));

  1630 }

  1633 if (-16 >> 26 !== -1) {

  1634   $ERROR('#837: -16 >> 26 === -1. Actual: ' + (-16 >> 26));

  1635 }

  1638 if (-32 >> 26 !== -1) {

  1639   $ERROR('#838: -32 >> 26 === -1. Actual: ' + (-32 >> 26));

  1640 }

  1643 if (-64 >> 26 !== -1) {

  1644   $ERROR('#839: -64 >> 26 === -1. Actual: ' + (-64 >> 26));

  1645 }

  1648 if (-128 >> 26 !== -1) {

  1649   $ERROR('#840: -128 >> 26 === -1. Actual: ' + (-128 >> 26));

  1650 }

  1653 if (-256 >> 26 !== -1) {

  1654   $ERROR('#841: -256 >> 26 === -1. Actual: ' + (-256 >> 26));

  1655 }

  1658 if (-512 >> 26 !== -1) {

  1659   $ERROR('#842: -512 >> 26 === -1. Actual: ' + (-512 >> 26));

  1660 }

  1663 if (-1024 >> 26 !== -1) {

  1664   $ERROR('#843: -1024 >> 26 === -1. Actual: ' + (-1024 >> 26));

  1665 }

  1668 if (-2048 >> 26 !== -1) {

  1669   $ERROR('#844: -2048 >> 26 === -1. Actual: ' + (-2048 >> 26));

  1670 }

  1673 if (-4096 >> 26 !== -1) {

  1674   $ERROR('#845: -4096 >> 26 === -1. Actual: ' + (-4096 >> 26));

  1675 }

  1678 if (-8192 >> 26 !== -1) {

  1679   $ERROR('#846: -8192 >> 26 === -1. Actual: ' + (-8192 >> 26));

  1680 }

  1683 if (-16384 >> 26 !== -1) {

  1684   $ERROR('#847: -16384 >> 26 === -1. Actual: ' + (-16384 >> 26));

  1685 }

  1688 if (-32768 >> 26 !== -1) {

  1689   $ERROR('#848: -32768 >> 26 === -1. Actual: ' + (-32768 >> 26));

  1690 }

  1693 if (-65536 >> 26 !== -1) {

  1694   $ERROR('#849: -65536 >> 26 === -1. Actual: ' + (-65536 >> 26));

  1695 }

  1698 if (-131072 >> 26 !== -1) {

  1699   $ERROR('#850: -131072 >> 26 === -1. Actual: ' + (-131072 >> 26));

  1700 }

  1703 if (-262144 >> 26 !== -1) {

  1704   $ERROR('#851: -262144 >> 26 === -1. Actual: ' + (-262144 >> 26));

  1705 }

  1708 if (-524288 >> 26 !== -1) {

  1709   $ERROR('#852: -524288 >> 26 === -1. Actual: ' + (-524288 >> 26));

  1710 }

  1713 if (-1048576 >> 26 !== -1) {

  1714   $ERROR('#853: -1048576 >> 26 === -1. Actual: ' + (-1048576 >> 26));

  1715 }

  1718 if (-2097152 >> 26 !== -1) {

  1719   $ERROR('#854: -2097152 >> 26 === -1. Actual: ' + (-2097152 >> 26));

  1720 }

  1723 if (-4194304 >> 26 !== -1) {

  1724   $ERROR('#855: -4194304 >> 26 === -1. Actual: ' + (-4194304 >> 26));

  1725 }

  1728 if (-8388608 >> 26 !== -1) {

  1729   $ERROR('#856: -8388608 >> 26 === -1. Actual: ' + (-8388608 >> 26));

  1730 }

  1733 if (-16777216 >> 26 !== -1) {

  1734   $ERROR('#857: -16777216 >> 26 === -1. Actual: ' + (-16777216 >> 26));

  1735 }

  1738 if (-33554432 >> 26 !== -1) {

  1739   $ERROR('#858: -33554432 >> 26 === -1. Actual: ' + (-33554432 >> 26));

  1740 }

  1743 if (-67108864 >> 26 !== -1) {

  1744   $ERROR('#859: -67108864 >> 26 === -1. Actual: ' + (-67108864 >> 26));

  1745 }

  1748 if (-134217728 >> 26 !== -2) {

  1749   $ERROR('#860: -134217728 >> 26 === -2. Actual: ' + (-134217728 >> 26));

  1750 }

  1753 if (-268435456 >> 26 !== -4) {

  1754   $ERROR('#861: -268435456 >> 26 === -4. Actual: ' + (-268435456 >> 26));

  1755 }

  1758 if (-536870912 >> 26 !== -8) {

  1759   $ERROR('#862: -536870912 >> 26 === -8. Actual: ' + (-536870912 >> 26));

  1760 }

  1763 if (-1073741824 >> 26 !== -16) {

  1764   $ERROR('#863: -1073741824 >> 26 === -16. Actual: ' + (-1073741824 >> 26));

  1765 }

  1768 if (-2147483648 >> 26 !== -32) {

  1769   $ERROR('#864: -2147483648 >> 26 === -32. Actual: ' + (-2147483648 >> 26));

  1770 }

  1773 if (-1 >> 27 !== -1) {

  1774   $ERROR('#865: -1 >> 27 === -1. Actual: ' + (-1 >> 27));

  1775 }

  1778 if (-2 >> 27 !== -1) {

  1779   $ERROR('#866: -2 >> 27 === -1. Actual: ' + (-2 >> 27));

  1780 }

  1783 if (-4 >> 27 !== -1) {

  1784   $ERROR('#867: -4 >> 27 === -1. Actual: ' + (-4 >> 27));

  1785 }

  1788 if (-8 >> 27 !== -1) {

  1789   $ERROR('#868: -8 >> 27 === -1. Actual: ' + (-8 >> 27));

  1790 }

  1793 if (-16 >> 27 !== -1) {

  1794   $ERROR('#869: -16 >> 27 === -1. Actual: ' + (-16 >> 27));

  1795 }

  1798 if (-32 >> 27 !== -1) {

  1799   $ERROR('#870: -32 >> 27 === -1. Actual: ' + (-32 >> 27));

  1800 }

  1803 if (-64 >> 27 !== -1) {

  1804   $ERROR('#871: -64 >> 27 === -1. Actual: ' + (-64 >> 27));

  1805 }

  1808 if (-128 >> 27 !== -1) {

  1809   $ERROR('#872: -128 >> 27 === -1. Actual: ' + (-128 >> 27));

  1810 }

  1813 if (-256 >> 27 !== -1) {

  1814   $ERROR('#873: -256 >> 27 === -1. Actual: ' + (-256 >> 27));

  1815 }

  1818 if (-512 >> 27 !== -1) {

  1819   $ERROR('#874: -512 >> 27 === -1. Actual: ' + (-512 >> 27));

  1820 }

  1823 if (-1024 >> 27 !== -1) {

  1824   $ERROR('#875: -1024 >> 27 === -1. Actual: ' + (-1024 >> 27));

  1825 }

  1828 if (-2048 >> 27 !== -1) {

  1829   $ERROR('#876: -2048 >> 27 === -1. Actual: ' + (-2048 >> 27));

  1830 }

  1833 if (-4096 >> 27 !== -1) {

  1834   $ERROR('#877: -4096 >> 27 === -1. Actual: ' + (-4096 >> 27));

  1835 }

  1838 if (-8192 >> 27 !== -1) {

  1839   $ERROR('#878: -8192 >> 27 === -1. Actual: ' + (-8192 >> 27));

  1840 }

  1843 if (-16384 >> 27 !== -1) {

  1844   $ERROR('#879: -16384 >> 27 === -1. Actual: ' + (-16384 >> 27));

  1845 }

  1848 if (-32768 >> 27 !== -1) {

  1849   $ERROR('#880: -32768 >> 27 === -1. Actual: ' + (-32768 >> 27));

  1850 }

  1853 if (-65536 >> 27 !== -1) {

  1854   $ERROR('#881: -65536 >> 27 === -1. Actual: ' + (-65536 >> 27));

  1855 }

  1858 if (-131072 >> 27 !== -1) {

  1859   $ERROR('#882: -131072 >> 27 === -1. Actual: ' + (-131072 >> 27));

  1860 }

  1863 if (-262144 >> 27 !== -1) {

  1864   $ERROR('#883: -262144 >> 27 === -1. Actual: ' + (-262144 >> 27));

  1865 }

  1868 if (-524288 >> 27 !== -1) {

  1869   $ERROR('#884: -524288 >> 27 === -1. Actual: ' + (-524288 >> 27));

  1870 }

  1873 if (-1048576 >> 27 !== -1) {

  1874   $ERROR('#885: -1048576 >> 27 === -1. Actual: ' + (-1048576 >> 27));

  1875 }

  1878 if (-2097152 >> 27 !== -1) {

  1879   $ERROR('#886: -2097152 >> 27 === -1. Actual: ' + (-2097152 >> 27));

  1880 }

  1883 if (-4194304 >> 27 !== -1) {

  1884   $ERROR('#887: -4194304 >> 27 === -1. Actual: ' + (-4194304 >> 27));

  1885 }

  1888 if (-8388608 >> 27 !== -1) {

  1889   $ERROR('#888: -8388608 >> 27 === -1. Actual: ' + (-8388608 >> 27));

  1890 }

  1893 if (-16777216 >> 27 !== -1) {

  1894   $ERROR('#889: -16777216 >> 27 === -1. Actual: ' + (-16777216 >> 27));

  1895 }

  1898 if (-33554432 >> 27 !== -1) {

  1899   $ERROR('#890: -33554432 >> 27 === -1. Actual: ' + (-33554432 >> 27));

  1900 }

  1903 if (-67108864 >> 27 !== -1) {

  1904   $ERROR('#891: -67108864 >> 27 === -1. Actual: ' + (-67108864 >> 27));

  1905 }

  1908 if (-134217728 >> 27 !== -1) {

  1909   $ERROR('#892: -134217728 >> 27 === -1. Actual: ' + (-134217728 >> 27));

  1910 }

  1913 if (-268435456 >> 27 !== -2) {

  1914   $ERROR('#893: -268435456 >> 27 === -2. Actual: ' + (-268435456 >> 27));

  1915 }

  1918 if (-536870912 >> 27 !== -4) {

  1919   $ERROR('#894: -536870912 >> 27 === -4. Actual: ' + (-536870912 >> 27));

  1920 }

  1923 if (-1073741824 >> 27 !== -8) {

  1924   $ERROR('#895: -1073741824 >> 27 === -8. Actual: ' + (-1073741824 >> 27));

  1925 }

  1928 if (-2147483648 >> 27 !== -16) {

  1929   $ERROR('#896: -2147483648 >> 27 === -16. Actual: ' + (-2147483648 >> 27));

  1930 }

  1933 if (-1 >> 28 !== -1) {

  1934   $ERROR('#897: -1 >> 28 === -1. Actual: ' + (-1 >> 28));

  1935 }

  1938 if (-2 >> 28 !== -1) {

  1939   $ERROR('#898: -2 >> 28 === -1. Actual: ' + (-2 >> 28));

  1940 }

  1943 if (-4 >> 28 !== -1) {

  1944   $ERROR('#899: -4 >> 28 === -1. Actual: ' + (-4 >> 28));

  1945 }

  1948 if (-8 >> 28 !== -1) {

  1949   $ERROR('#900: -8 >> 28 === -1. Actual: ' + (-8 >> 28));

  1950 }

  1953 if (-16 >> 28 !== -1) {

  1954   $ERROR('#901: -16 >> 28 === -1. Actual: ' + (-16 >> 28));

  1955 }

  1958 if (-32 >> 28 !== -1) {

  1959   $ERROR('#902: -32 >> 28 === -1. Actual: ' + (-32 >> 28));

  1960 }

  1963 if (-64 >> 28 !== -1) {

  1964   $ERROR('#903: -64 >> 28 === -1. Actual: ' + (-64 >> 28));

  1965 }

  1968 if (-128 >> 28 !== -1) {

  1969   $ERROR('#904: -128 >> 28 === -1. Actual: ' + (-128 >> 28));

  1970 }

  1973 if (-256 >> 28 !== -1) {

  1974   $ERROR('#905: -256 >> 28 === -1. Actual: ' + (-256 >> 28));

  1975 }

  1978 if (-512 >> 28 !== -1) {

  1979   $ERROR('#906: -512 >> 28 === -1. Actual: ' + (-512 >> 28));

  1980 }

  1983 if (-1024 >> 28 !== -1) {

  1984   $ERROR('#907: -1024 >> 28 === -1. Actual: ' + (-1024 >> 28));

  1985 }

  1988 if (-2048 >> 28 !== -1) {

  1989   $ERROR('#908: -2048 >> 28 === -1. Actual: ' + (-2048 >> 28));

  1990 }

  1993 if (-4096 >> 28 !== -1) {

  1994   $ERROR('#909: -4096 >> 28 === -1. Actual: ' + (-4096 >> 28));

  1995 }

  1998 if (-8192 >> 28 !== -1) {

  1999   $ERROR('#910: -8192 >> 28 === -1. Actual: ' + (-8192 >> 28));

  2000 }

  2003 if (-16384 >> 28 !== -1) {

  2004   $ERROR('#911: -16384 >> 28 === -1. Actual: ' + (-16384 >> 28));

  2005 }

  2008 if (-32768 >> 28 !== -1) {

  2009   $ERROR('#912: -32768 >> 28 === -1. Actual: ' + (-32768 >> 28));

  2010 }

  2013 if (-65536 >> 28 !== -1) {

  2014   $ERROR('#913: -65536 >> 28 === -1. Actual: ' + (-65536 >> 28));

  2015 }

  2018 if (-131072 >> 28 !== -1) {

  2019   $ERROR('#914: -131072 >> 28 === -1. Actual: ' + (-131072 >> 28));

  2020 }

  2023 if (-262144 >> 28 !== -1) {

  2024   $ERROR('#915: -262144 >> 28 === -1. Actual: ' + (-262144 >> 28));

  2025 }

  2028 if (-524288 >> 28 !== -1) {

  2029   $ERROR('#916: -524288 >> 28 === -1. Actual: ' + (-524288 >> 28));

  2030 }

  2033 if (-1048576 >> 28 !== -1) {

  2034   $ERROR('#917: -1048576 >> 28 === -1. Actual: ' + (-1048576 >> 28));

  2035 }

  2038 if (-2097152 >> 28 !== -1) {

  2039   $ERROR('#918: -2097152 >> 28 === -1. Actual: ' + (-2097152 >> 28));

  2040 }

  2043 if (-4194304 >> 28 !== -1) {

  2044   $ERROR('#919: -4194304 >> 28 === -1. Actual: ' + (-4194304 >> 28));

  2045 }

  2048 if (-8388608 >> 28 !== -1) {

  2049   $ERROR('#920: -8388608 >> 28 === -1. Actual: ' + (-8388608 >> 28));

  2050 }

  2053 if (-16777216 >> 28 !== -1) {

  2054   $ERROR('#921: -16777216 >> 28 === -1. Actual: ' + (-16777216 >> 28));

  2055 }

  2058 if (-33554432 >> 28 !== -1) {

  2059   $ERROR('#922: -33554432 >> 28 === -1. Actual: ' + (-33554432 >> 28));

  2060 }

  2063 if (-67108864 >> 28 !== -1) {

  2064   $ERROR('#923: -67108864 >> 28 === -1. Actual: ' + (-67108864 >> 28));

  2065 }

  2068 if (-134217728 >> 28 !== -1) {

  2069   $ERROR('#924: -134217728 >> 28 === -1. Actual: ' + (-134217728 >> 28));

  2070 }

  2073 if (-268435456 >> 28 !== -1) {

  2074   $ERROR('#925: -268435456 >> 28 === -1. Actual: ' + (-268435456 >> 28));

  2075 }

  2078 if (-536870912 >> 28 !== -2) {

  2079   $ERROR('#926: -536870912 >> 28 === -2. Actual: ' + (-536870912 >> 28));

  2080 }

  2083 if (-1073741824 >> 28 !== -4) {

  2084   $ERROR('#927: -1073741824 >> 28 === -4. Actual: ' + (-1073741824 >> 28));

  2085 }

  2088 if (-2147483648 >> 28 !== -8) {

  2089   $ERROR('#928: -2147483648 >> 28 === -8. Actual: ' + (-2147483648 >> 28));

  2090 }

  2093 if (-1 >> 29 !== -1) {

  2094   $ERROR('#929: -1 >> 29 === -1. Actual: ' + (-1 >> 29));

  2095 }

  2098 if (-2 >> 29 !== -1) {

  2099   $ERROR('#930: -2 >> 29 === -1. Actual: ' + (-2 >> 29));

  2100 }

  2103 if (-4 >> 29 !== -1) {

  2104   $ERROR('#931: -4 >> 29 === -1. Actual: ' + (-4 >> 29));

  2105 }

  2108 if (-8 >> 29 !== -1) {

  2109   $ERROR('#932: -8 >> 29 === -1. Actual: ' + (-8 >> 29));

  2110 }

  2113 if (-16 >> 29 !== -1) {

  2114   $ERROR('#933: -16 >> 29 === -1. Actual: ' + (-16 >> 29));

  2115 }

  2118 if (-32 >> 29 !== -1) {

  2119   $ERROR('#934: -32 >> 29 === -1. Actual: ' + (-32 >> 29));

  2120 }

  2123 if (-64 >> 29 !== -1) {

  2124   $ERROR('#935: -64 >> 29 === -1. Actual: ' + (-64 >> 29));

  2125 }

  2128 if (-128 >> 29 !== -1) {

  2129   $ERROR('#936: -128 >> 29 === -1. Actual: ' + (-128 >> 29));

  2130 }

  2133 if (-256 >> 29 !== -1) {

  2134   $ERROR('#937: -256 >> 29 === -1. Actual: ' + (-256 >> 29));

  2135 }

  2138 if (-512 >> 29 !== -1) {

  2139   $ERROR('#938: -512 >> 29 === -1. Actual: ' + (-512 >> 29));

  2140 }

  2143 if (-1024 >> 29 !== -1) {

  2144   $ERROR('#939: -1024 >> 29 === -1. Actual: ' + (-1024 >> 29));

  2145 }

  2148 if (-2048 >> 29 !== -1) {

  2149   $ERROR('#940: -2048 >> 29 === -1. Actual: ' + (-2048 >> 29));

  2150 }

  2153 if (-4096 >> 29 !== -1) {

  2154   $ERROR('#941: -4096 >> 29 === -1. Actual: ' + (-4096 >> 29));

  2155 }

  2158 if (-8192 >> 29 !== -1) {

  2159   $ERROR('#942: -8192 >> 29 === -1. Actual: ' + (-8192 >> 29));

  2160 }

  2163 if (-16384 >> 29 !== -1) {

  2164   $ERROR('#943: -16384 >> 29 === -1. Actual: ' + (-16384 >> 29));

  2165 }

  2168 if (-32768 >> 29 !== -1) {

  2169   $ERROR('#944: -32768 >> 29 === -1. Actual: ' + (-32768 >> 29));

  2170 }

  2173 if (-65536 >> 29 !== -1) {

  2174   $ERROR('#945: -65536 >> 29 === -1. Actual: ' + (-65536 >> 29));

  2175 }

  2178 if (-131072 >> 29 !== -1) {

  2179   $ERROR('#946: -131072 >> 29 === -1. Actual: ' + (-131072 >> 29));

  2180 }

  2183 if (-262144 >> 29 !== -1) {

  2184   $ERROR('#947: -262144 >> 29 === -1. Actual: ' + (-262144 >> 29));

  2185 }

  2188 if (-524288 >> 29 !== -1) {

  2189   $ERROR('#948: -524288 >> 29 === -1. Actual: ' + (-524288 >> 29));

  2190 }

  2193 if (-1048576 >> 29 !== -1) {

  2194   $ERROR('#949: -1048576 >> 29 === -1. Actual: ' + (-1048576 >> 29));

  2195 }

  2198 if (-2097152 >> 29 !== -1) {

  2199   $ERROR('#950: -2097152 >> 29 === -1. Actual: ' + (-2097152 >> 29));

  2200 }

  2203 if (-4194304 >> 29 !== -1) {

  2204   $ERROR('#951: -4194304 >> 29 === -1. Actual: ' + (-4194304 >> 29));

  2205 }

  2208 if (-8388608 >> 29 !== -1) {

  2209   $ERROR('#952: -8388608 >> 29 === -1. Actual: ' + (-8388608 >> 29));

  2210 }

  2213 if (-16777216 >> 29 !== -1) {

  2214   $ERROR('#953: -16777216 >> 29 === -1. Actual: ' + (-16777216 >> 29));

  2215 }

  2218 if (-33554432 >> 29 !== -1) {

  2219   $ERROR('#954: -33554432 >> 29 === -1. Actual: ' + (-33554432 >> 29));

  2220 }

  2223 if (-67108864 >> 29 !== -1) {

  2224   $ERROR('#955: -67108864 >> 29 === -1. Actual: ' + (-67108864 >> 29));

  2225 }

  2228 if (-134217728 >> 29 !== -1) {

  2229   $ERROR('#956: -134217728 >> 29 === -1. Actual: ' + (-134217728 >> 29));

  2230 }

  2233 if (-268435456 >> 29 !== -1) {

  2234   $ERROR('#957: -268435456 >> 29 === -1. Actual: ' + (-268435456 >> 29));

  2235 }

  2238 if (-536870912 >> 29 !== -1) {

  2239   $ERROR('#958: -536870912 >> 29 === -1. Actual: ' + (-536870912 >> 29));

  2240 }

  2243 if (-1073741824 >> 29 !== -2) {

  2244   $ERROR('#959: -1073741824 >> 29 === -2. Actual: ' + (-1073741824 >> 29));

  2245 }

  2248 if (-2147483648 >> 29 !== -4) {

  2249   $ERROR('#960: -2147483648 >> 29 === -4. Actual: ' + (-2147483648 >> 29));

  2250 }

  2253 if (-1 >> 30 !== -1) {

  2254   $ERROR('#961: -1 >> 30 === -1. Actual: ' + (-1 >> 30));

  2255 }

  2258 if (-2 >> 30 !== -1) {

  2259   $ERROR('#962: -2 >> 30 === -1. Actual: ' + (-2 >> 30));

  2260 }

  2263 if (-4 >> 30 !== -1) {

  2264   $ERROR('#963: -4 >> 30 === -1. Actual: ' + (-4 >> 30));

  2265 }

  2268 if (-8 >> 30 !== -1) {

  2269   $ERROR('#964: -8 >> 30 === -1. Actual: ' + (-8 >> 30));

  2270 }

  2273 if (-16 >> 30 !== -1) {

  2274   $ERROR('#965: -16 >> 30 === -1. Actual: ' + (-16 >> 30));

  2275 }

  2278 if (-32 >> 30 !== -1) {

  2279   $ERROR('#966: -32 >> 30 === -1. Actual: ' + (-32 >> 30));

  2280 }

  2283 if (-64 >> 30 !== -1) {

  2284   $ERROR('#967: -64 >> 30 === -1. Actual: ' + (-64 >> 30));

  2285 }

  2288 if (-128 >> 30 !== -1) {

  2289   $ERROR('#968: -128 >> 30 === -1. Actual: ' + (-128 >> 30));

  2290 }

  2293 if (-256 >> 30 !== -1) {

  2294   $ERROR('#969: -256 >> 30 === -1. Actual: ' + (-256 >> 30));

  2295 }

  2298 if (-512 >> 30 !== -1) {

  2299   $ERROR('#970: -512 >> 30 === -1. Actual: ' + (-512 >> 30));

  2300 }

  2303 if (-1024 >> 30 !== -1) {

  2304   $ERROR('#971: -1024 >> 30 === -1. Actual: ' + (-1024 >> 30));

  2305 }

  2308 if (-2048 >> 30 !== -1) {

  2309   $ERROR('#972: -2048 >> 30 === -1. Actual: ' + (-2048 >> 30));

  2310 }

  2313 if (-4096 >> 30 !== -1) {

  2314   $ERROR('#973: -4096 >> 30 === -1. Actual: ' + (-4096 >> 30));

  2315 }

  2318 if (-8192 >> 30 !== -1) {

  2319   $ERROR('#974: -8192 >> 30 === -1. Actual: ' + (-8192 >> 30));

  2320 }

  2323 if (-16384 >> 30 !== -1) {

  2324   $ERROR('#975: -16384 >> 30 === -1. Actual: ' + (-16384 >> 30));

  2325 }

  2328 if (-32768 >> 30 !== -1) {

  2329   $ERROR('#976: -32768 >> 30 === -1. Actual: ' + (-32768 >> 30));

  2330 }

  2333 if (-65536 >> 30 !== -1) {

  2334   $ERROR('#977: -65536 >> 30 === -1. Actual: ' + (-65536 >> 30));

  2335 }

  2338 if (-131072 >> 30 !== -1) {

  2339   $ERROR('#978: -131072 >> 30 === -1. Actual: ' + (-131072 >> 30));

  2340 }

  2343 if (-262144 >> 30 !== -1) {

  2344   $ERROR('#979: -262144 >> 30 === -1. Actual: ' + (-262144 >> 30));

  2345 }

  2348 if (-524288 >> 30 !== -1) {

  2349   $ERROR('#980: -524288 >> 30 === -1. Actual: ' + (-524288 >> 30));

  2350 }

  2353 if (-1048576 >> 30 !== -1) {

  2354   $ERROR('#981: -1048576 >> 30 === -1. Actual: ' + (-1048576 >> 30));

  2355 }

  2358 if (-2097152 >> 30 !== -1) {

  2359   $ERROR('#982: -2097152 >> 30 === -1. Actual: ' + (-2097152 >> 30));

  2360 }

  2363 if (-4194304 >> 30 !== -1) {

  2364   $ERROR('#983: -4194304 >> 30 === -1. Actual: ' + (-4194304 >> 30));

  2365 }

  2368 if (-8388608 >> 30 !== -1) {

  2369   $ERROR('#984: -8388608 >> 30 === -1. Actual: ' + (-8388608 >> 30));

  2370 }

  2373 if (-16777216 >> 30 !== -1) {

  2374   $ERROR('#985: -16777216 >> 30 === -1. Actual: ' + (-16777216 >> 30));

  2375 }

  2378 if (-33554432 >> 30 !== -1) {

  2379   $ERROR('#986: -33554432 >> 30 === -1. Actual: ' + (-33554432 >> 30));

  2380 }

  2383 if (-67108864 >> 30 !== -1) {

  2384   $ERROR('#987: -67108864 >> 30 === -1. Actual: ' + (-67108864 >> 30));

  2385 }

  2388 if (-134217728 >> 30 !== -1) {

  2389   $ERROR('#988: -134217728 >> 30 === -1. Actual: ' + (-134217728 >> 30));

  2390 }

  2393 if (-268435456 >> 30 !== -1) {

  2394   $ERROR('#989: -268435456 >> 30 === -1. Actual: ' + (-268435456 >> 30));

  2395 }

  2398 if (-536870912 >> 30 !== -1) {

  2399   $ERROR('#990: -536870912 >> 30 === -1. Actual: ' + (-536870912 >> 30));

  2400 }

  2403 if (-1073741824 >> 30 !== -1) {

  2404   $ERROR('#991: -1073741824 >> 30 === -1. Actual: ' + (-1073741824 >> 30));

  2405 }

  2408 if (-2147483648 >> 30 !== -2) {

  2409   $ERROR('#992: -2147483648 >> 30 === -2. Actual: ' + (-2147483648 >> 30));

  2410 }

  2413 if (-1 >> 31 !== -1) {

  2414   $ERROR('#993: -1 >> 31 === -1. Actual: ' + (-1 >> 31));

  2415 }

  2418 if (-2 >> 31 !== -1) {

  2419   $ERROR('#994: -2 >> 31 === -1. Actual: ' + (-2 >> 31));

  2420 }

  2423 if (-4 >> 31 !== -1) {

  2424   $ERROR('#995: -4 >> 31 === -1. Actual: ' + (-4 >> 31));

  2425 }

  2428 if (-8 >> 31 !== -1) {

  2429   $ERROR('#996: -8 >> 31 === -1. Actual: ' + (-8 >> 31));

  2430 }

  2433 if (-16 >> 31 !== -1) {

  2434   $ERROR('#997: -16 >> 31 === -1. Actual: ' + (-16 >> 31));

  2435 }

  2438 if (-32 >> 31 !== -1) {

  2439   $ERROR('#998: -32 >> 31 === -1. Actual: ' + (-32 >> 31));

  2440 }

  2443 if (-64 >> 31 !== -1) {

  2444   $ERROR('#999: -64 >> 31 === -1. Actual: ' + (-64 >> 31));

  2445 }

  2448 if (-128 >> 31 !== -1) {

  2449   $ERROR('#1000: -128 >> 31 === -1. Actual: ' + (-128 >> 31));

  2450 }

  2453 if (-256 >> 31 !== -1) {

  2454   $ERROR('#1001: -256 >> 31 === -1. Actual: ' + (-256 >> 31));

  2455 }

  2458 if (-512 >> 31 !== -1) {

  2459   $ERROR('#1002: -512 >> 31 === -1. Actual: ' + (-512 >> 31));

  2460 }

  2463 if (-1024 >> 31 !== -1) {

  2464   $ERROR('#1003: -1024 >> 31 === -1. Actual: ' + (-1024 >> 31));

  2465 }

  2468 if (-2048 >> 31 !== -1) {

  2469   $ERROR('#1004: -2048 >> 31 === -1. Actual: ' + (-2048 >> 31));

  2470 }

  2473 if (-4096 >> 31 !== -1) {

  2474   $ERROR('#1005: -4096 >> 31 === -1. Actual: ' + (-4096 >> 31));

  2475 }

  2478 if (-8192 >> 31 !== -1) {

  2479   $ERROR('#1006: -8192 >> 31 === -1. Actual: ' + (-8192 >> 31));

  2480 }

  2483 if (-16384 >> 31 !== -1) {

  2484   $ERROR('#1007: -16384 >> 31 === -1. Actual: ' + (-16384 >> 31));

  2485 }

  2488 if (-32768 >> 31 !== -1) {

  2489   $ERROR('#1008: -32768 >> 31 === -1. Actual: ' + (-32768 >> 31));

  2490 }

  2493 if (-65536 >> 31 !== -1) {

  2494   $ERROR('#1009: -65536 >> 31 === -1. Actual: ' + (-65536 >> 31));

  2495 }

  2498 if (-131072 >> 31 !== -1) {

  2499   $ERROR('#1010: -131072 >> 31 === -1. Actual: ' + (-131072 >> 31));

  2500 }

  2503 if (-262144 >> 31 !== -1) {

  2504   $ERROR('#1011: -262144 >> 31 === -1. Actual: ' + (-262144 >> 31));

  2505 }

  2508 if (-524288 >> 31 !== -1) {

  2509   $ERROR('#1012: -524288 >> 31 === -1. Actual: ' + (-524288 >> 31));

  2510 }

  2513 if (-1048576 >> 31 !== -1) {

  2514   $ERROR('#1013: -1048576 >> 31 === -1. Actual: ' + (-1048576 >> 31));

  2515 }

  2518 if (-2097152 >> 31 !== -1) {

  2519   $ERROR('#1014: -2097152 >> 31 === -1. Actual: ' + (-2097152 >> 31));

  2520 }

  2523 if (-4194304 >> 31 !== -1) {

  2524   $ERROR('#1015: -4194304 >> 31 === -1. Actual: ' + (-4194304 >> 31));

  2525 }

  2528 if (-8388608 >> 31 !== -1) {

  2529   $ERROR('#1016: -8388608 >> 31 === -1. Actual: ' + (-8388608 >> 31));

  2530 }

  2533 if (-16777216 >> 31 !== -1) {

  2534   $ERROR('#1017: -16777216 >> 31 === -1. Actual: ' + (-16777216 >> 31));

  2535 }

  2538 if (-33554432 >> 31 !== -1) {

  2539   $ERROR('#1018: -33554432 >> 31 === -1. Actual: ' + (-33554432 >> 31));

  2540 }

  2543 if (-67108864 >> 31 !== -1) {

  2544   $ERROR('#1019: -67108864 >> 31 === -1. Actual: ' + (-67108864 >> 31));

  2545 }

  2548 if (-134217728 >> 31 !== -1) {

  2549   $ERROR('#1020: -134217728 >> 31 === -1. Actual: ' + (-134217728 >> 31));

  2550 }

  2553 if (-268435456 >> 31 !== -1) {

  2554   $ERROR('#1021: -268435456 >> 31 === -1. Actual: ' + (-268435456 >> 31));

  2555 }

  2558 if (-536870912 >> 31 !== -1) {

  2559   $ERROR('#1022: -536870912 >> 31 === -1. Actual: ' + (-536870912 >> 31));

  2560 }

  2563 if (-1073741824 >> 31 !== -1) {

  2564   $ERROR('#1023: -1073741824 >> 31 === -1. Actual: ' + (-1073741824 >> 31));

  2565 }

  2568 if (-2147483648 >> 31 !== -1) {

  2569   $ERROR('#1024: -2147483648 >> 31 === -1. Actual: ' + (-2147483648 >> 31));

  2570 }

The Tor Browser / file revision

js/src/tests/test262/ch11/11.7/11.7.2/S11.7.2_A4_T2.js@8bccb770b82d

js/src/tests/test262/ch11/11.7/11.7.2/S11.7.2_A4_T2.js