The Tor Browser: js/src/tests/test262/ch11/11.7/11.7.1/S11.7.1_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 operator x << y in distinct points

     6  *

     7  * @path ch11/11.7/11.7.1/S11.7.1_A4_T3.js

     8  * @description ShiftExpression = 2^n - 1, n = 0...15

     9  */

    11 //CHECK

    13 if (0 << 0 !== 0) {

    14   $ERROR('#1: 0 << 0 === 0. Actual: ' + (0 << 0));

    15 }

    18 if (1 << 0 !== 1) {

    19   $ERROR('#2: 1 << 0 === 1. Actual: ' + (1 << 0));

    20 }

    23 if (3 << 0 !== 3) {

    24   $ERROR('#3: 3 << 0 === 3. Actual: ' + (3 << 0));

    25 }

    28 if (7 << 0 !== 7) {

    29   $ERROR('#4: 7 << 0 === 7. Actual: ' + (7 << 0));

    30 }

    33 if (15 << 0 !== 15) {

    34   $ERROR('#5: 15 << 0 === 15. Actual: ' + (15 << 0));

    35 }

    38 if (31 << 0 !== 31) {

    39   $ERROR('#6: 31 << 0 === 31. Actual: ' + (31 << 0));

    40 }

    43 if (63 << 0 !== 63) {

    44   $ERROR('#7: 63 << 0 === 63. Actual: ' + (63 << 0));

    45 }

    48 if (127 << 0 !== 127) {

    49   $ERROR('#8: 127 << 0 === 127. Actual: ' + (127 << 0));

    50 }

    53 if (255 << 0 !== 255) {

    54   $ERROR('#9: 255 << 0 === 255. Actual: ' + (255 << 0));

    55 }

    58 if (511 << 0 !== 511) {

    59   $ERROR('#10: 511 << 0 === 511. Actual: ' + (511 << 0));

    60 }

    63 if (1023 << 0 !== 1023) {

    64   $ERROR('#11: 1023 << 0 === 1023. Actual: ' + (1023 << 0));

    65 }

    68 if (2047 << 0 !== 2047) {

    69   $ERROR('#12: 2047 << 0 === 2047. Actual: ' + (2047 << 0));

    70 }

    73 if (4095 << 0 !== 4095) {

    74   $ERROR('#13: 4095 << 0 === 4095. Actual: ' + (4095 << 0));

    75 }

    78 if (8191 << 0 !== 8191) {

    79   $ERROR('#14: 8191 << 0 === 8191. Actual: ' + (8191 << 0));

    80 }

    83 if (16383 << 0 !== 16383) {

    84   $ERROR('#15: 16383 << 0 === 16383. Actual: ' + (16383 << 0));

    85 }

    88 if (32767 << 0 !== 32767) {

    89   $ERROR('#16: 32767 << 0 === 32767. Actual: ' + (32767 << 0));

    90 }

    93 if (65535 << 0 !== 65535) {

    94   $ERROR('#17: 65535 << 0 === 65535. Actual: ' + (65535 << 0));

    95 }

    98 if (131071 << 0 !== 131071) {

    99   $ERROR('#18: 131071 << 0 === 131071. Actual: ' + (131071 << 0));

   100 }

   103 if (262143 << 0 !== 262143) {

   104   $ERROR('#19: 262143 << 0 === 262143. Actual: ' + (262143 << 0));

   105 }

   108 if (524287 << 0 !== 524287) {

   109   $ERROR('#20: 524287 << 0 === 524287. Actual: ' + (524287 << 0));

   110 }

   113 if (1048575 << 0 !== 1048575) {

   114   $ERROR('#21: 1048575 << 0 === 1048575. Actual: ' + (1048575 << 0));

   115 }

   118 if (2097151 << 0 !== 2097151) {

   119   $ERROR('#22: 2097151 << 0 === 2097151. Actual: ' + (2097151 << 0));

   120 }

   123 if (4194303 << 0 !== 4194303) {

   124   $ERROR('#23: 4194303 << 0 === 4194303. Actual: ' + (4194303 << 0));

   125 }

   128 if (8388607 << 0 !== 8388607) {

   129   $ERROR('#24: 8388607 << 0 === 8388607. Actual: ' + (8388607 << 0));

   130 }

   133 if (16777215 << 0 !== 16777215) {

   134   $ERROR('#25: 16777215 << 0 === 16777215. Actual: ' + (16777215 << 0));

   135 }

   138 if (33554431 << 0 !== 33554431) {

   139   $ERROR('#26: 33554431 << 0 === 33554431. Actual: ' + (33554431 << 0));

   140 }

   143 if (67108863 << 0 !== 67108863) {

   144   $ERROR('#27: 67108863 << 0 === 67108863. Actual: ' + (67108863 << 0));

   145 }

   148 if (134217727 << 0 !== 134217727) {

   149   $ERROR('#28: 134217727 << 0 === 134217727. Actual: ' + (134217727 << 0));

   150 }

   153 if (268435455 << 0 !== 268435455) {

   154   $ERROR('#29: 268435455 << 0 === 268435455. Actual: ' + (268435455 << 0));

   155 }

   158 if (536870911 << 0 !== 536870911) {

   159   $ERROR('#30: 536870911 << 0 === 536870911. Actual: ' + (536870911 << 0));

   160 }

   163 if (1073741823 << 0 !== 1073741823) {

   164   $ERROR('#31: 1073741823 << 0 === 1073741823. Actual: ' + (1073741823 << 0));

   165 }

   168 if (2147483647 << 0 !== 2147483647) {

   169   $ERROR('#32: 2147483647 << 0 === 2147483647. Actual: ' + (2147483647 << 0));

   170 }

   173 if (0 << 1 !== 0) {

   174   $ERROR('#33: 0 << 1 === 0. Actual: ' + (0 << 1));

   175 }

   178 if (1 << 1 !== 2) {

   179   $ERROR('#34: 1 << 1 === 2. Actual: ' + (1 << 1));

   180 }

   183 if (3 << 1 !== 6) {

   184   $ERROR('#35: 3 << 1 === 6. Actual: ' + (3 << 1));

   185 }

   188 if (7 << 1 !== 14) {

   189   $ERROR('#36: 7 << 1 === 14. Actual: ' + (7 << 1));

   190 }

   193 if (15 << 1 !== 30) {

   194   $ERROR('#37: 15 << 1 === 30. Actual: ' + (15 << 1));

   195 }

   198 if (31 << 1 !== 62) {

   199   $ERROR('#38: 31 << 1 === 62. Actual: ' + (31 << 1));

   200 }

   203 if (63 << 1 !== 126) {

   204   $ERROR('#39: 63 << 1 === 126. Actual: ' + (63 << 1));

   205 }

   208 if (127 << 1 !== 254) {

   209   $ERROR('#40: 127 << 1 === 254. Actual: ' + (127 << 1));

   210 }

   213 if (255 << 1 !== 510) {

   214   $ERROR('#41: 255 << 1 === 510. Actual: ' + (255 << 1));

   215 }

   218 if (511 << 1 !== 1022) {

   219   $ERROR('#42: 511 << 1 === 1022. Actual: ' + (511 << 1));

   220 }

   223 if (1023 << 1 !== 2046) {

   224   $ERROR('#43: 1023 << 1 === 2046. Actual: ' + (1023 << 1));

   225 }

   228 if (2047 << 1 !== 4094) {

   229   $ERROR('#44: 2047 << 1 === 4094. Actual: ' + (2047 << 1));

   230 }

   233 if (4095 << 1 !== 8190) {

   234   $ERROR('#45: 4095 << 1 === 8190. Actual: ' + (4095 << 1));

   235 }

   238 if (8191 << 1 !== 16382) {

   239   $ERROR('#46: 8191 << 1 === 16382. Actual: ' + (8191 << 1));

   240 }

   243 if (16383 << 1 !== 32766) {

   244   $ERROR('#47: 16383 << 1 === 32766. Actual: ' + (16383 << 1));

   245 }

   248 if (32767 << 1 !== 65534) {

   249   $ERROR('#48: 32767 << 1 === 65534. Actual: ' + (32767 << 1));

   250 }

   253 if (65535 << 1 !== 131070) {

   254   $ERROR('#49: 65535 << 1 === 131070. Actual: ' + (65535 << 1));

   255 }

   258 if (131071 << 1 !== 262142) {

   259   $ERROR('#50: 131071 << 1 === 262142. Actual: ' + (131071 << 1));

   260 }

   263 if (262143 << 1 !== 524286) {

   264   $ERROR('#51: 262143 << 1 === 524286. Actual: ' + (262143 << 1));

   265 }

   268 if (524287 << 1 !== 1048574) {

   269   $ERROR('#52: 524287 << 1 === 1048574. Actual: ' + (524287 << 1));

   270 }

   273 if (1048575 << 1 !== 2097150) {

   274   $ERROR('#53: 1048575 << 1 === 2097150. Actual: ' + (1048575 << 1));

   275 }

   278 if (2097151 << 1 !== 4194302) {

   279   $ERROR('#54: 2097151 << 1 === 4194302. Actual: ' + (2097151 << 1));

   280 }

   283 if (4194303 << 1 !== 8388606) {

   284   $ERROR('#55: 4194303 << 1 === 8388606. Actual: ' + (4194303 << 1));

   285 }

   288 if (8388607 << 1 !== 16777214) {

   289   $ERROR('#56: 8388607 << 1 === 16777214. Actual: ' + (8388607 << 1));

   290 }

   293 if (16777215 << 1 !== 33554430) {

   294   $ERROR('#57: 16777215 << 1 === 33554430. Actual: ' + (16777215 << 1));

   295 }

   298 if (33554431 << 1 !== 67108862) {

   299   $ERROR('#58: 33554431 << 1 === 67108862. Actual: ' + (33554431 << 1));

   300 }

   303 if (67108863 << 1 !== 134217726) {

   304   $ERROR('#59: 67108863 << 1 === 134217726. Actual: ' + (67108863 << 1));

   305 }

   308 if (134217727 << 1 !== 268435454) {

   309   $ERROR('#60: 134217727 << 1 === 268435454. Actual: ' + (134217727 << 1));

   310 }

   313 if (268435455 << 1 !== 536870910) {

   314   $ERROR('#61: 268435455 << 1 === 536870910. Actual: ' + (268435455 << 1));

   315 }

   318 if (536870911 << 1 !== 1073741822) {

   319   $ERROR('#62: 536870911 << 1 === 1073741822. Actual: ' + (536870911 << 1));

   320 }

   323 if (1073741823 << 1 !== 2147483646) {

   324   $ERROR('#63: 1073741823 << 1 === 2147483646. Actual: ' + (1073741823 << 1));

   325 }

   328 if (2147483647 << 1 !== -2) {

   329   $ERROR('#64: 2147483647 << 1 === -2. Actual: ' + (2147483647 << 1));

   330 }

   333 if (0 << 2 !== 0) {

   334   $ERROR('#65: 0 << 2 === 0. Actual: ' + (0 << 2));

   335 }

   338 if (1 << 2 !== 4) {

   339   $ERROR('#66: 1 << 2 === 4. Actual: ' + (1 << 2));

   340 }

   343 if (3 << 2 !== 12) {

   344   $ERROR('#67: 3 << 2 === 12. Actual: ' + (3 << 2));

   345 }

   348 if (7 << 2 !== 28) {

   349   $ERROR('#68: 7 << 2 === 28. Actual: ' + (7 << 2));

   350 }

   353 if (15 << 2 !== 60) {

   354   $ERROR('#69: 15 << 2 === 60. Actual: ' + (15 << 2));

   355 }

   358 if (31 << 2 !== 124) {

   359   $ERROR('#70: 31 << 2 === 124. Actual: ' + (31 << 2));

   360 }

   363 if (63 << 2 !== 252) {

   364   $ERROR('#71: 63 << 2 === 252. Actual: ' + (63 << 2));

   365 }

   368 if (127 << 2 !== 508) {

   369   $ERROR('#72: 127 << 2 === 508. Actual: ' + (127 << 2));

   370 }

   373 if (255 << 2 !== 1020) {

   374   $ERROR('#73: 255 << 2 === 1020. Actual: ' + (255 << 2));

   375 }

   378 if (511 << 2 !== 2044) {

   379   $ERROR('#74: 511 << 2 === 2044. Actual: ' + (511 << 2));

   380 }

   383 if (1023 << 2 !== 4092) {

   384   $ERROR('#75: 1023 << 2 === 4092. Actual: ' + (1023 << 2));

   385 }

   388 if (2047 << 2 !== 8188) {

   389   $ERROR('#76: 2047 << 2 === 8188. Actual: ' + (2047 << 2));

   390 }

   393 if (4095 << 2 !== 16380) {

   394   $ERROR('#77: 4095 << 2 === 16380. Actual: ' + (4095 << 2));

   395 }

   398 if (8191 << 2 !== 32764) {

   399   $ERROR('#78: 8191 << 2 === 32764. Actual: ' + (8191 << 2));

   400 }

   403 if (16383 << 2 !== 65532) {

   404   $ERROR('#79: 16383 << 2 === 65532. Actual: ' + (16383 << 2));

   405 }

   408 if (32767 << 2 !== 131068) {

   409   $ERROR('#80: 32767 << 2 === 131068. Actual: ' + (32767 << 2));

   410 }

   413 if (65535 << 2 !== 262140) {

   414   $ERROR('#81: 65535 << 2 === 262140. Actual: ' + (65535 << 2));

   415 }

   418 if (131071 << 2 !== 524284) {

   419   $ERROR('#82: 131071 << 2 === 524284. Actual: ' + (131071 << 2));

   420 }

   423 if (262143 << 2 !== 1048572) {

   424   $ERROR('#83: 262143 << 2 === 1048572. Actual: ' + (262143 << 2));

   425 }

   428 if (524287 << 2 !== 2097148) {

   429   $ERROR('#84: 524287 << 2 === 2097148. Actual: ' + (524287 << 2));

   430 }

   433 if (1048575 << 2 !== 4194300) {

   434   $ERROR('#85: 1048575 << 2 === 4194300. Actual: ' + (1048575 << 2));

   435 }

   438 if (2097151 << 2 !== 8388604) {

   439   $ERROR('#86: 2097151 << 2 === 8388604. Actual: ' + (2097151 << 2));

   440 }

   443 if (4194303 << 2 !== 16777212) {

   444   $ERROR('#87: 4194303 << 2 === 16777212. Actual: ' + (4194303 << 2));

   445 }

   448 if (8388607 << 2 !== 33554428) {

   449   $ERROR('#88: 8388607 << 2 === 33554428. Actual: ' + (8388607 << 2));

   450 }

   453 if (16777215 << 2 !== 67108860) {

   454   $ERROR('#89: 16777215 << 2 === 67108860. Actual: ' + (16777215 << 2));

   455 }

   458 if (33554431 << 2 !== 134217724) {

   459   $ERROR('#90: 33554431 << 2 === 134217724. Actual: ' + (33554431 << 2));

   460 }

   463 if (67108863 << 2 !== 268435452) {

   464   $ERROR('#91: 67108863 << 2 === 268435452. Actual: ' + (67108863 << 2));

   465 }

   468 if (134217727 << 2 !== 536870908) {

   469   $ERROR('#92: 134217727 << 2 === 536870908. Actual: ' + (134217727 << 2));

   470 }

   473 if (268435455 << 2 !== 1073741820) {

   474   $ERROR('#93: 268435455 << 2 === 1073741820. Actual: ' + (268435455 << 2));

   475 }

   478 if (536870911 << 2 !== 2147483644) {

   479   $ERROR('#94: 536870911 << 2 === 2147483644. Actual: ' + (536870911 << 2));

   480 }

   483 if (1073741823 << 2 !== -4) {

   484   $ERROR('#95: 1073741823 << 2 === -4. Actual: ' + (1073741823 << 2));

   485 }

   488 if (2147483647 << 2 !== -4) {

   489   $ERROR('#96: 2147483647 << 2 === -4. Actual: ' + (2147483647 << 2));

   490 }

   493 if (0 << 3 !== 0) {

   494   $ERROR('#97: 0 << 3 === 0. Actual: ' + (0 << 3));

   495 }

   498 if (1 << 3 !== 8) {

   499   $ERROR('#98: 1 << 3 === 8. Actual: ' + (1 << 3));

   500 }

   503 if (3 << 3 !== 24) {

   504   $ERROR('#99: 3 << 3 === 24. Actual: ' + (3 << 3));

   505 }

   508 if (7 << 3 !== 56) {

   509   $ERROR('#100: 7 << 3 === 56. Actual: ' + (7 << 3));

   510 }

   513 if (15 << 3 !== 120) {

   514   $ERROR('#101: 15 << 3 === 120. Actual: ' + (15 << 3));

   515 }

   518 if (31 << 3 !== 248) {

   519   $ERROR('#102: 31 << 3 === 248. Actual: ' + (31 << 3));

   520 }

   523 if (63 << 3 !== 504) {

   524   $ERROR('#103: 63 << 3 === 504. Actual: ' + (63 << 3));

   525 }

   528 if (127 << 3 !== 1016) {

   529   $ERROR('#104: 127 << 3 === 1016. Actual: ' + (127 << 3));

   530 }

   533 if (255 << 3 !== 2040) {

   534   $ERROR('#105: 255 << 3 === 2040. Actual: ' + (255 << 3));

   535 }

   538 if (511 << 3 !== 4088) {

   539   $ERROR('#106: 511 << 3 === 4088. Actual: ' + (511 << 3));

   540 }

   543 if (1023 << 3 !== 8184) {

   544   $ERROR('#107: 1023 << 3 === 8184. Actual: ' + (1023 << 3));

   545 }

   548 if (2047 << 3 !== 16376) {

   549   $ERROR('#108: 2047 << 3 === 16376. Actual: ' + (2047 << 3));

   550 }

   553 if (4095 << 3 !== 32760) {

   554   $ERROR('#109: 4095 << 3 === 32760. Actual: ' + (4095 << 3));

   555 }

   558 if (8191 << 3 !== 65528) {

   559   $ERROR('#110: 8191 << 3 === 65528. Actual: ' + (8191 << 3));

   560 }

   563 if (16383 << 3 !== 131064) {

   564   $ERROR('#111: 16383 << 3 === 131064. Actual: ' + (16383 << 3));

   565 }

   568 if (32767 << 3 !== 262136) {

   569   $ERROR('#112: 32767 << 3 === 262136. Actual: ' + (32767 << 3));

   570 }

   573 if (65535 << 3 !== 524280) {

   574   $ERROR('#113: 65535 << 3 === 524280. Actual: ' + (65535 << 3));

   575 }

   578 if (131071 << 3 !== 1048568) {

   579   $ERROR('#114: 131071 << 3 === 1048568. Actual: ' + (131071 << 3));

   580 }

   583 if (262143 << 3 !== 2097144) {

   584   $ERROR('#115: 262143 << 3 === 2097144. Actual: ' + (262143 << 3));

   585 }

   588 if (524287 << 3 !== 4194296) {

   589   $ERROR('#116: 524287 << 3 === 4194296. Actual: ' + (524287 << 3));

   590 }

   593 if (1048575 << 3 !== 8388600) {

   594   $ERROR('#117: 1048575 << 3 === 8388600. Actual: ' + (1048575 << 3));

   595 }

   598 if (2097151 << 3 !== 16777208) {

   599   $ERROR('#118: 2097151 << 3 === 16777208. Actual: ' + (2097151 << 3));

   600 }

   603 if (4194303 << 3 !== 33554424) {

   604   $ERROR('#119: 4194303 << 3 === 33554424. Actual: ' + (4194303 << 3));

   605 }

   608 if (8388607 << 3 !== 67108856) {

   609   $ERROR('#120: 8388607 << 3 === 67108856. Actual: ' + (8388607 << 3));

   610 }

   613 if (16777215 << 3 !== 134217720) {

   614   $ERROR('#121: 16777215 << 3 === 134217720. Actual: ' + (16777215 << 3));

   615 }

   618 if (33554431 << 3 !== 268435448) {

   619   $ERROR('#122: 33554431 << 3 === 268435448. Actual: ' + (33554431 << 3));

   620 }

   623 if (67108863 << 3 !== 536870904) {

   624   $ERROR('#123: 67108863 << 3 === 536870904. Actual: ' + (67108863 << 3));

   625 }

   628 if (134217727 << 3 !== 1073741816) {

   629   $ERROR('#124: 134217727 << 3 === 1073741816. Actual: ' + (134217727 << 3));

   630 }

   633 if (268435455 << 3 !== 2147483640) {

   634   $ERROR('#125: 268435455 << 3 === 2147483640. Actual: ' + (268435455 << 3));

   635 }

   638 if (536870911 << 3 !== -8) {

   639   $ERROR('#126: 536870911 << 3 === -8. Actual: ' + (536870911 << 3));

   640 }

   643 if (1073741823 << 3 !== -8) {

   644   $ERROR('#127: 1073741823 << 3 === -8. Actual: ' + (1073741823 << 3));

   645 }

   648 if (2147483647 << 3 !== -8) {

   649   $ERROR('#128: 2147483647 << 3 === -8. Actual: ' + (2147483647 << 3));

   650 }

   653 if (0 << 4 !== 0) {

   654   $ERROR('#129: 0 << 4 === 0. Actual: ' + (0 << 4));

   655 }

   658 if (1 << 4 !== 16) {

   659   $ERROR('#130: 1 << 4 === 16. Actual: ' + (1 << 4));

   660 }

   663 if (3 << 4 !== 48) {

   664   $ERROR('#131: 3 << 4 === 48. Actual: ' + (3 << 4));

   665 }

   668 if (7 << 4 !== 112) {

   669   $ERROR('#132: 7 << 4 === 112. Actual: ' + (7 << 4));

   670 }

   673 if (15 << 4 !== 240) {

   674   $ERROR('#133: 15 << 4 === 240. Actual: ' + (15 << 4));

   675 }

   678 if (31 << 4 !== 496) {

   679   $ERROR('#134: 31 << 4 === 496. Actual: ' + (31 << 4));

   680 }

   683 if (63 << 4 !== 1008) {

   684   $ERROR('#135: 63 << 4 === 1008. Actual: ' + (63 << 4));

   685 }

   688 if (127 << 4 !== 2032) {

   689   $ERROR('#136: 127 << 4 === 2032. Actual: ' + (127 << 4));

   690 }

   693 if (255 << 4 !== 4080) {

   694   $ERROR('#137: 255 << 4 === 4080. Actual: ' + (255 << 4));

   695 }

   698 if (511 << 4 !== 8176) {

   699   $ERROR('#138: 511 << 4 === 8176. Actual: ' + (511 << 4));

   700 }

   703 if (1023 << 4 !== 16368) {

   704   $ERROR('#139: 1023 << 4 === 16368. Actual: ' + (1023 << 4));

   705 }

   708 if (2047 << 4 !== 32752) {

   709   $ERROR('#140: 2047 << 4 === 32752. Actual: ' + (2047 << 4));

   710 }

   713 if (4095 << 4 !== 65520) {

   714   $ERROR('#141: 4095 << 4 === 65520. Actual: ' + (4095 << 4));

   715 }

   718 if (8191 << 4 !== 131056) {

   719   $ERROR('#142: 8191 << 4 === 131056. Actual: ' + (8191 << 4));

   720 }

   723 if (16383 << 4 !== 262128) {

   724   $ERROR('#143: 16383 << 4 === 262128. Actual: ' + (16383 << 4));

   725 }

   728 if (32767 << 4 !== 524272) {

   729   $ERROR('#144: 32767 << 4 === 524272. Actual: ' + (32767 << 4));

   730 }

   733 if (65535 << 4 !== 1048560) {

   734   $ERROR('#145: 65535 << 4 === 1048560. Actual: ' + (65535 << 4));

   735 }

   738 if (131071 << 4 !== 2097136) {

   739   $ERROR('#146: 131071 << 4 === 2097136. Actual: ' + (131071 << 4));

   740 }

   743 if (262143 << 4 !== 4194288) {

   744   $ERROR('#147: 262143 << 4 === 4194288. Actual: ' + (262143 << 4));

   745 }

   748 if (524287 << 4 !== 8388592) {

   749   $ERROR('#148: 524287 << 4 === 8388592. Actual: ' + (524287 << 4));

   750 }

   753 if (1048575 << 4 !== 16777200) {

   754   $ERROR('#149: 1048575 << 4 === 16777200. Actual: ' + (1048575 << 4));

   755 }

   758 if (2097151 << 4 !== 33554416) {

   759   $ERROR('#150: 2097151 << 4 === 33554416. Actual: ' + (2097151 << 4));

   760 }

   763 if (4194303 << 4 !== 67108848) {

   764   $ERROR('#151: 4194303 << 4 === 67108848. Actual: ' + (4194303 << 4));

   765 }

   768 if (8388607 << 4 !== 134217712) {

   769   $ERROR('#152: 8388607 << 4 === 134217712. Actual: ' + (8388607 << 4));

   770 }

   773 if (16777215 << 4 !== 268435440) {

   774   $ERROR('#153: 16777215 << 4 === 268435440. Actual: ' + (16777215 << 4));

   775 }

   778 if (33554431 << 4 !== 536870896) {

   779   $ERROR('#154: 33554431 << 4 === 536870896. Actual: ' + (33554431 << 4));

   780 }

   783 if (67108863 << 4 !== 1073741808) {

   784   $ERROR('#155: 67108863 << 4 === 1073741808. Actual: ' + (67108863 << 4));

   785 }

   788 if (134217727 << 4 !== 2147483632) {

   789   $ERROR('#156: 134217727 << 4 === 2147483632. Actual: ' + (134217727 << 4));

   790 }

   793 if (268435455 << 4 !== -16) {

   794   $ERROR('#157: 268435455 << 4 === -16. Actual: ' + (268435455 << 4));

   795 }

   798 if (536870911 << 4 !== -16) {

   799   $ERROR('#158: 536870911 << 4 === -16. Actual: ' + (536870911 << 4));

   800 }

   803 if (1073741823 << 4 !== -16) {

   804   $ERROR('#159: 1073741823 << 4 === -16. Actual: ' + (1073741823 << 4));

   805 }

   808 if (2147483647 << 4 !== -16) {

   809   $ERROR('#160: 2147483647 << 4 === -16. Actual: ' + (2147483647 << 4));

   810 }

   813 if (0 << 5 !== 0) {

   814   $ERROR('#161: 0 << 5 === 0. Actual: ' + (0 << 5));

   815 }

   818 if (1 << 5 !== 32) {

   819   $ERROR('#162: 1 << 5 === 32. Actual: ' + (1 << 5));

   820 }

   823 if (3 << 5 !== 96) {

   824   $ERROR('#163: 3 << 5 === 96. Actual: ' + (3 << 5));

   825 }

   828 if (7 << 5 !== 224) {

   829   $ERROR('#164: 7 << 5 === 224. Actual: ' + (7 << 5));

   830 }

   833 if (15 << 5 !== 480) {

   834   $ERROR('#165: 15 << 5 === 480. Actual: ' + (15 << 5));

   835 }

   838 if (31 << 5 !== 992) {

   839   $ERROR('#166: 31 << 5 === 992. Actual: ' + (31 << 5));

   840 }

   843 if (63 << 5 !== 2016) {

   844   $ERROR('#167: 63 << 5 === 2016. Actual: ' + (63 << 5));

   845 }

   848 if (127 << 5 !== 4064) {

   849   $ERROR('#168: 127 << 5 === 4064. Actual: ' + (127 << 5));

   850 }

   853 if (255 << 5 !== 8160) {

   854   $ERROR('#169: 255 << 5 === 8160. Actual: ' + (255 << 5));

   855 }

   858 if (511 << 5 !== 16352) {

   859   $ERROR('#170: 511 << 5 === 16352. Actual: ' + (511 << 5));

   860 }

   863 if (1023 << 5 !== 32736) {

   864   $ERROR('#171: 1023 << 5 === 32736. Actual: ' + (1023 << 5));

   865 }

   868 if (2047 << 5 !== 65504) {

   869   $ERROR('#172: 2047 << 5 === 65504. Actual: ' + (2047 << 5));

   870 }

   873 if (4095 << 5 !== 131040) {

   874   $ERROR('#173: 4095 << 5 === 131040. Actual: ' + (4095 << 5));

   875 }

   878 if (8191 << 5 !== 262112) {

   879   $ERROR('#174: 8191 << 5 === 262112. Actual: ' + (8191 << 5));

   880 }

   883 if (16383 << 5 !== 524256) {

   884   $ERROR('#175: 16383 << 5 === 524256. Actual: ' + (16383 << 5));

   885 }

   888 if (32767 << 5 !== 1048544) {

   889   $ERROR('#176: 32767 << 5 === 1048544. Actual: ' + (32767 << 5));

   890 }

   893 if (65535 << 5 !== 2097120) {

   894   $ERROR('#177: 65535 << 5 === 2097120. Actual: ' + (65535 << 5));

   895 }

   898 if (131071 << 5 !== 4194272) {

   899   $ERROR('#178: 131071 << 5 === 4194272. Actual: ' + (131071 << 5));

   900 }

   903 if (262143 << 5 !== 8388576) {

   904   $ERROR('#179: 262143 << 5 === 8388576. Actual: ' + (262143 << 5));

   905 }

   908 if (524287 << 5 !== 16777184) {

   909   $ERROR('#180: 524287 << 5 === 16777184. Actual: ' + (524287 << 5));

   910 }

   913 if (1048575 << 5 !== 33554400) {

   914   $ERROR('#181: 1048575 << 5 === 33554400. Actual: ' + (1048575 << 5));

   915 }

   918 if (2097151 << 5 !== 67108832) {

   919   $ERROR('#182: 2097151 << 5 === 67108832. Actual: ' + (2097151 << 5));

   920 }

   923 if (4194303 << 5 !== 134217696) {

   924   $ERROR('#183: 4194303 << 5 === 134217696. Actual: ' + (4194303 << 5));

   925 }

   928 if (8388607 << 5 !== 268435424) {

   929   $ERROR('#184: 8388607 << 5 === 268435424. Actual: ' + (8388607 << 5));

   930 }

   933 if (16777215 << 5 !== 536870880) {

   934   $ERROR('#185: 16777215 << 5 === 536870880. Actual: ' + (16777215 << 5));

   935 }

   938 if (33554431 << 5 !== 1073741792) {

   939   $ERROR('#186: 33554431 << 5 === 1073741792. Actual: ' + (33554431 << 5));

   940 }

   943 if (67108863 << 5 !== 2147483616) {

   944   $ERROR('#187: 67108863 << 5 === 2147483616. Actual: ' + (67108863 << 5));

   945 }

   948 if (134217727 << 5 !== -32) {

   949   $ERROR('#188: 134217727 << 5 === -32. Actual: ' + (134217727 << 5));

   950 }

   953 if (268435455 << 5 !== -32) {

   954   $ERROR('#189: 268435455 << 5 === -32. Actual: ' + (268435455 << 5));

   955 }

   958 if (536870911 << 5 !== -32) {

   959   $ERROR('#190: 536870911 << 5 === -32. Actual: ' + (536870911 << 5));

   960 }

   963 if (1073741823 << 5 !== -32) {

   964   $ERROR('#191: 1073741823 << 5 === -32. Actual: ' + (1073741823 << 5));

   965 }

   968 if (2147483647 << 5 !== -32) {

   969   $ERROR('#192: 2147483647 << 5 === -32. Actual: ' + (2147483647 << 5));

   970 }

   973 if (0 << 6 !== 0) {

   974   $ERROR('#193: 0 << 6 === 0. Actual: ' + (0 << 6));

   975 }

   978 if (1 << 6 !== 64) {

   979   $ERROR('#194: 1 << 6 === 64. Actual: ' + (1 << 6));

   980 }

   983 if (3 << 6 !== 192) {

   984   $ERROR('#195: 3 << 6 === 192. Actual: ' + (3 << 6));

   985 }

   988 if (7 << 6 !== 448) {

   989   $ERROR('#196: 7 << 6 === 448. Actual: ' + (7 << 6));

   990 }

   993 if (15 << 6 !== 960) {

   994   $ERROR('#197: 15 << 6 === 960. Actual: ' + (15 << 6));

   995 }

   998 if (31 << 6 !== 1984) {

   999   $ERROR('#198: 31 << 6 === 1984. Actual: ' + (31 << 6));

  1000 }

  1003 if (63 << 6 !== 4032) {

  1004   $ERROR('#199: 63 << 6 === 4032. Actual: ' + (63 << 6));

  1005 }

  1008 if (127 << 6 !== 8128) {

  1009   $ERROR('#200: 127 << 6 === 8128. Actual: ' + (127 << 6));

  1010 }

  1013 if (255 << 6 !== 16320) {

  1014   $ERROR('#201: 255 << 6 === 16320. Actual: ' + (255 << 6));

  1015 }

  1018 if (511 << 6 !== 32704) {

  1019   $ERROR('#202: 511 << 6 === 32704. Actual: ' + (511 << 6));

  1020 }

  1023 if (1023 << 6 !== 65472) {

  1024   $ERROR('#203: 1023 << 6 === 65472. Actual: ' + (1023 << 6));

  1025 }

  1028 if (2047 << 6 !== 131008) {

  1029   $ERROR('#204: 2047 << 6 === 131008. Actual: ' + (2047 << 6));

  1030 }

  1033 if (4095 << 6 !== 262080) {

  1034   $ERROR('#205: 4095 << 6 === 262080. Actual: ' + (4095 << 6));

  1035 }

  1038 if (8191 << 6 !== 524224) {

  1039   $ERROR('#206: 8191 << 6 === 524224. Actual: ' + (8191 << 6));

  1040 }

  1043 if (16383 << 6 !== 1048512) {

  1044   $ERROR('#207: 16383 << 6 === 1048512. Actual: ' + (16383 << 6));

  1045 }

  1048 if (32767 << 6 !== 2097088) {

  1049   $ERROR('#208: 32767 << 6 === 2097088. Actual: ' + (32767 << 6));

  1050 }

  1053 if (65535 << 6 !== 4194240) {

  1054   $ERROR('#209: 65535 << 6 === 4194240. Actual: ' + (65535 << 6));

  1055 }

  1058 if (131071 << 6 !== 8388544) {

  1059   $ERROR('#210: 131071 << 6 === 8388544. Actual: ' + (131071 << 6));

  1060 }

  1063 if (262143 << 6 !== 16777152) {

  1064   $ERROR('#211: 262143 << 6 === 16777152. Actual: ' + (262143 << 6));

  1065 }

  1068 if (524287 << 6 !== 33554368) {

  1069   $ERROR('#212: 524287 << 6 === 33554368. Actual: ' + (524287 << 6));

  1070 }

  1073 if (1048575 << 6 !== 67108800) {

  1074   $ERROR('#213: 1048575 << 6 === 67108800. Actual: ' + (1048575 << 6));

  1075 }

  1078 if (2097151 << 6 !== 134217664) {

  1079   $ERROR('#214: 2097151 << 6 === 134217664. Actual: ' + (2097151 << 6));

  1080 }

  1083 if (4194303 << 6 !== 268435392) {

  1084   $ERROR('#215: 4194303 << 6 === 268435392. Actual: ' + (4194303 << 6));

  1085 }

  1088 if (8388607 << 6 !== 536870848) {

  1089   $ERROR('#216: 8388607 << 6 === 536870848. Actual: ' + (8388607 << 6));

  1090 }

  1093 if (16777215 << 6 !== 1073741760) {

  1094   $ERROR('#217: 16777215 << 6 === 1073741760. Actual: ' + (16777215 << 6));

  1095 }

  1098 if (33554431 << 6 !== 2147483584) {

  1099   $ERROR('#218: 33554431 << 6 === 2147483584. Actual: ' + (33554431 << 6));

  1100 }

  1103 if (67108863 << 6 !== -64) {

  1104   $ERROR('#219: 67108863 << 6 === -64. Actual: ' + (67108863 << 6));

  1105 }

  1108 if (134217727 << 6 !== -64) {

  1109   $ERROR('#220: 134217727 << 6 === -64. Actual: ' + (134217727 << 6));

  1110 }

  1113 if (268435455 << 6 !== -64) {

  1114   $ERROR('#221: 268435455 << 6 === -64. Actual: ' + (268435455 << 6));

  1115 }

  1118 if (536870911 << 6 !== -64) {

  1119   $ERROR('#222: 536870911 << 6 === -64. Actual: ' + (536870911 << 6));

  1120 }

  1123 if (1073741823 << 6 !== -64) {

  1124   $ERROR('#223: 1073741823 << 6 === -64. Actual: ' + (1073741823 << 6));

  1125 }

  1128 if (2147483647 << 6 !== -64) {

  1129   $ERROR('#224: 2147483647 << 6 === -64. Actual: ' + (2147483647 << 6));

  1130 }

  1133 if (0 << 7 !== 0) {

  1134   $ERROR('#225: 0 << 7 === 0. Actual: ' + (0 << 7));

  1135 }

  1138 if (1 << 7 !== 128) {

  1139   $ERROR('#226: 1 << 7 === 128. Actual: ' + (1 << 7));

  1140 }

  1143 if (3 << 7 !== 384) {

  1144   $ERROR('#227: 3 << 7 === 384. Actual: ' + (3 << 7));

  1145 }

  1148 if (7 << 7 !== 896) {

  1149   $ERROR('#228: 7 << 7 === 896. Actual: ' + (7 << 7));

  1150 }

  1153 if (15 << 7 !== 1920) {

  1154   $ERROR('#229: 15 << 7 === 1920. Actual: ' + (15 << 7));

  1155 }

  1158 if (31 << 7 !== 3968) {

  1159   $ERROR('#230: 31 << 7 === 3968. Actual: ' + (31 << 7));

  1160 }

  1163 if (63 << 7 !== 8064) {

  1164   $ERROR('#231: 63 << 7 === 8064. Actual: ' + (63 << 7));

  1165 }

  1168 if (127 << 7 !== 16256) {

  1169   $ERROR('#232: 127 << 7 === 16256. Actual: ' + (127 << 7));

  1170 }

  1173 if (255 << 7 !== 32640) {

  1174   $ERROR('#233: 255 << 7 === 32640. Actual: ' + (255 << 7));

  1175 }

  1178 if (511 << 7 !== 65408) {

  1179   $ERROR('#234: 511 << 7 === 65408. Actual: ' + (511 << 7));

  1180 }

  1183 if (1023 << 7 !== 130944) {

  1184   $ERROR('#235: 1023 << 7 === 130944. Actual: ' + (1023 << 7));

  1185 }

  1188 if (2047 << 7 !== 262016) {

  1189   $ERROR('#236: 2047 << 7 === 262016. Actual: ' + (2047 << 7));

  1190 }

  1193 if (4095 << 7 !== 524160) {

  1194   $ERROR('#237: 4095 << 7 === 524160. Actual: ' + (4095 << 7));

  1195 }

  1198 if (8191 << 7 !== 1048448) {

  1199   $ERROR('#238: 8191 << 7 === 1048448. Actual: ' + (8191 << 7));

  1200 }

  1203 if (16383 << 7 !== 2097024) {

  1204   $ERROR('#239: 16383 << 7 === 2097024. Actual: ' + (16383 << 7));

  1205 }

  1208 if (32767 << 7 !== 4194176) {

  1209   $ERROR('#240: 32767 << 7 === 4194176. Actual: ' + (32767 << 7));

  1210 }

  1213 if (65535 << 7 !== 8388480) {

  1214   $ERROR('#241: 65535 << 7 === 8388480. Actual: ' + (65535 << 7));

  1215 }

  1218 if (131071 << 7 !== 16777088) {

  1219   $ERROR('#242: 131071 << 7 === 16777088. Actual: ' + (131071 << 7));

  1220 }

  1223 if (262143 << 7 !== 33554304) {

  1224   $ERROR('#243: 262143 << 7 === 33554304. Actual: ' + (262143 << 7));

  1225 }

  1228 if (524287 << 7 !== 67108736) {

  1229   $ERROR('#244: 524287 << 7 === 67108736. Actual: ' + (524287 << 7));

  1230 }

  1233 if (1048575 << 7 !== 134217600) {

  1234   $ERROR('#245: 1048575 << 7 === 134217600. Actual: ' + (1048575 << 7));

  1235 }

  1238 if (2097151 << 7 !== 268435328) {

  1239   $ERROR('#246: 2097151 << 7 === 268435328. Actual: ' + (2097151 << 7));

  1240 }

  1243 if (4194303 << 7 !== 536870784) {

  1244   $ERROR('#247: 4194303 << 7 === 536870784. Actual: ' + (4194303 << 7));

  1245 }

  1248 if (8388607 << 7 !== 1073741696) {

  1249   $ERROR('#248: 8388607 << 7 === 1073741696. Actual: ' + (8388607 << 7));

  1250 }

  1253 if (16777215 << 7 !== 2147483520) {

  1254   $ERROR('#249: 16777215 << 7 === 2147483520. Actual: ' + (16777215 << 7));

  1255 }

  1258 if (33554431 << 7 !== -128) {

  1259   $ERROR('#250: 33554431 << 7 === -128. Actual: ' + (33554431 << 7));

  1260 }

  1263 if (67108863 << 7 !== -128) {

  1264   $ERROR('#251: 67108863 << 7 === -128. Actual: ' + (67108863 << 7));

  1265 }

  1268 if (134217727 << 7 !== -128) {

  1269   $ERROR('#252: 134217727 << 7 === -128. Actual: ' + (134217727 << 7));

  1270 }

  1273 if (268435455 << 7 !== -128) {

  1274   $ERROR('#253: 268435455 << 7 === -128. Actual: ' + (268435455 << 7));

  1275 }

  1278 if (536870911 << 7 !== -128) {

  1279   $ERROR('#254: 536870911 << 7 === -128. Actual: ' + (536870911 << 7));

  1280 }

  1283 if (1073741823 << 7 !== -128) {

  1284   $ERROR('#255: 1073741823 << 7 === -128. Actual: ' + (1073741823 << 7));

  1285 }

  1288 if (2147483647 << 7 !== -128) {

  1289   $ERROR('#256: 2147483647 << 7 === -128. Actual: ' + (2147483647 << 7));

  1290 }

  1293 if (0 << 8 !== 0) {

  1294   $ERROR('#257: 0 << 8 === 0. Actual: ' + (0 << 8));

  1295 }

  1298 if (1 << 8 !== 256) {

  1299   $ERROR('#258: 1 << 8 === 256. Actual: ' + (1 << 8));

  1300 }

  1303 if (3 << 8 !== 768) {

  1304   $ERROR('#259: 3 << 8 === 768. Actual: ' + (3 << 8));

  1305 }

  1308 if (7 << 8 !== 1792) {

  1309   $ERROR('#260: 7 << 8 === 1792. Actual: ' + (7 << 8));

  1310 }

  1313 if (15 << 8 !== 3840) {

  1314   $ERROR('#261: 15 << 8 === 3840. Actual: ' + (15 << 8));

  1315 }

  1318 if (31 << 8 !== 7936) {

  1319   $ERROR('#262: 31 << 8 === 7936. Actual: ' + (31 << 8));

  1320 }

  1323 if (63 << 8 !== 16128) {

  1324   $ERROR('#263: 63 << 8 === 16128. Actual: ' + (63 << 8));

  1325 }

  1328 if (127 << 8 !== 32512) {

  1329   $ERROR('#264: 127 << 8 === 32512. Actual: ' + (127 << 8));

  1330 }

  1333 if (255 << 8 !== 65280) {

  1334   $ERROR('#265: 255 << 8 === 65280. Actual: ' + (255 << 8));

  1335 }

  1338 if (511 << 8 !== 130816) {

  1339   $ERROR('#266: 511 << 8 === 130816. Actual: ' + (511 << 8));

  1340 }

  1343 if (1023 << 8 !== 261888) {

  1344   $ERROR('#267: 1023 << 8 === 261888. Actual: ' + (1023 << 8));

  1345 }

  1348 if (2047 << 8 !== 524032) {

  1349   $ERROR('#268: 2047 << 8 === 524032. Actual: ' + (2047 << 8));

  1350 }

  1353 if (4095 << 8 !== 1048320) {

  1354   $ERROR('#269: 4095 << 8 === 1048320. Actual: ' + (4095 << 8));

  1355 }

  1358 if (8191 << 8 !== 2096896) {

  1359   $ERROR('#270: 8191 << 8 === 2096896. Actual: ' + (8191 << 8));

  1360 }

  1363 if (16383 << 8 !== 4194048) {

  1364   $ERROR('#271: 16383 << 8 === 4194048. Actual: ' + (16383 << 8));

  1365 }

  1368 if (32767 << 8 !== 8388352) {

  1369   $ERROR('#272: 32767 << 8 === 8388352. Actual: ' + (32767 << 8));

  1370 }

  1373 if (65535 << 8 !== 16776960) {

  1374   $ERROR('#273: 65535 << 8 === 16776960. Actual: ' + (65535 << 8));

  1375 }

  1378 if (131071 << 8 !== 33554176) {

  1379   $ERROR('#274: 131071 << 8 === 33554176. Actual: ' + (131071 << 8));

  1380 }

  1383 if (262143 << 8 !== 67108608) {

  1384   $ERROR('#275: 262143 << 8 === 67108608. Actual: ' + (262143 << 8));

  1385 }

  1388 if (524287 << 8 !== 134217472) {

  1389   $ERROR('#276: 524287 << 8 === 134217472. Actual: ' + (524287 << 8));

  1390 }

  1393 if (1048575 << 8 !== 268435200) {

  1394   $ERROR('#277: 1048575 << 8 === 268435200. Actual: ' + (1048575 << 8));

  1395 }

  1398 if (2097151 << 8 !== 536870656) {

  1399   $ERROR('#278: 2097151 << 8 === 536870656. Actual: ' + (2097151 << 8));

  1400 }

  1403 if (4194303 << 8 !== 1073741568) {

  1404   $ERROR('#279: 4194303 << 8 === 1073741568. Actual: ' + (4194303 << 8));

  1405 }

  1408 if (8388607 << 8 !== 2147483392) {

  1409   $ERROR('#280: 8388607 << 8 === 2147483392. Actual: ' + (8388607 << 8));

  1410 }

  1413 if (16777215 << 8 !== -256) {

  1414   $ERROR('#281: 16777215 << 8 === -256. Actual: ' + (16777215 << 8));

  1415 }

  1418 if (33554431 << 8 !== -256) {

  1419   $ERROR('#282: 33554431 << 8 === -256. Actual: ' + (33554431 << 8));

  1420 }

  1423 if (67108863 << 8 !== -256) {

  1424   $ERROR('#283: 67108863 << 8 === -256. Actual: ' + (67108863 << 8));

  1425 }

  1428 if (134217727 << 8 !== -256) {

  1429   $ERROR('#284: 134217727 << 8 === -256. Actual: ' + (134217727 << 8));

  1430 }

  1433 if (268435455 << 8 !== -256) {

  1434   $ERROR('#285: 268435455 << 8 === -256. Actual: ' + (268435455 << 8));

  1435 }

  1438 if (536870911 << 8 !== -256) {

  1439   $ERROR('#286: 536870911 << 8 === -256. Actual: ' + (536870911 << 8));

  1440 }

  1443 if (1073741823 << 8 !== -256) {

  1444   $ERROR('#287: 1073741823 << 8 === -256. Actual: ' + (1073741823 << 8));

  1445 }

  1448 if (2147483647 << 8 !== -256) {

  1449   $ERROR('#288: 2147483647 << 8 === -256. Actual: ' + (2147483647 << 8));

  1450 }

  1453 if (0 << 9 !== 0) {

  1454   $ERROR('#289: 0 << 9 === 0. Actual: ' + (0 << 9));

  1455 }

  1458 if (1 << 9 !== 512) {

  1459   $ERROR('#290: 1 << 9 === 512. Actual: ' + (1 << 9));

  1460 }

  1463 if (3 << 9 !== 1536) {

  1464   $ERROR('#291: 3 << 9 === 1536. Actual: ' + (3 << 9));

  1465 }

  1468 if (7 << 9 !== 3584) {

  1469   $ERROR('#292: 7 << 9 === 3584. Actual: ' + (7 << 9));

  1470 }

  1473 if (15 << 9 !== 7680) {

  1474   $ERROR('#293: 15 << 9 === 7680. Actual: ' + (15 << 9));

  1475 }

  1478 if (31 << 9 !== 15872) {

  1479   $ERROR('#294: 31 << 9 === 15872. Actual: ' + (31 << 9));

  1480 }

  1483 if (63 << 9 !== 32256) {

  1484   $ERROR('#295: 63 << 9 === 32256. Actual: ' + (63 << 9));

  1485 }

  1488 if (127 << 9 !== 65024) {

  1489   $ERROR('#296: 127 << 9 === 65024. Actual: ' + (127 << 9));

  1490 }

  1493 if (255 << 9 !== 130560) {

  1494   $ERROR('#297: 255 << 9 === 130560. Actual: ' + (255 << 9));

  1495 }

  1498 if (511 << 9 !== 261632) {

  1499   $ERROR('#298: 511 << 9 === 261632. Actual: ' + (511 << 9));

  1500 }

  1503 if (1023 << 9 !== 523776) {

  1504   $ERROR('#299: 1023 << 9 === 523776. Actual: ' + (1023 << 9));

  1505 }

  1508 if (2047 << 9 !== 1048064) {

  1509   $ERROR('#300: 2047 << 9 === 1048064. Actual: ' + (2047 << 9));

  1510 }

  1513 if (4095 << 9 !== 2096640) {

  1514   $ERROR('#301: 4095 << 9 === 2096640. Actual: ' + (4095 << 9));

  1515 }

  1518 if (8191 << 9 !== 4193792) {

  1519   $ERROR('#302: 8191 << 9 === 4193792. Actual: ' + (8191 << 9));

  1520 }

  1523 if (16383 << 9 !== 8388096) {

  1524   $ERROR('#303: 16383 << 9 === 8388096. Actual: ' + (16383 << 9));

  1525 }

  1528 if (32767 << 9 !== 16776704) {

  1529   $ERROR('#304: 32767 << 9 === 16776704. Actual: ' + (32767 << 9));

  1530 }

  1533 if (65535 << 9 !== 33553920) {

  1534   $ERROR('#305: 65535 << 9 === 33553920. Actual: ' + (65535 << 9));

  1535 }

  1538 if (131071 << 9 !== 67108352) {

  1539   $ERROR('#306: 131071 << 9 === 67108352. Actual: ' + (131071 << 9));

  1540 }

  1543 if (262143 << 9 !== 134217216) {

  1544   $ERROR('#307: 262143 << 9 === 134217216. Actual: ' + (262143 << 9));

  1545 }

  1548 if (524287 << 9 !== 268434944) {

  1549   $ERROR('#308: 524287 << 9 === 268434944. Actual: ' + (524287 << 9));

  1550 }

  1553 if (1048575 << 9 !== 536870400) {

  1554   $ERROR('#309: 1048575 << 9 === 536870400. Actual: ' + (1048575 << 9));

  1555 }

  1558 if (2097151 << 9 !== 1073741312) {

  1559   $ERROR('#310: 2097151 << 9 === 1073741312. Actual: ' + (2097151 << 9));

  1560 }

  1563 if (4194303 << 9 !== 2147483136) {

  1564   $ERROR('#311: 4194303 << 9 === 2147483136. Actual: ' + (4194303 << 9));

  1565 }

  1568 if (8388607 << 9 !== -512) {

  1569   $ERROR('#312: 8388607 << 9 === -512. Actual: ' + (8388607 << 9));

  1570 }

  1573 if (16777215 << 9 !== -512) {

  1574   $ERROR('#313: 16777215 << 9 === -512. Actual: ' + (16777215 << 9));

  1575 }

  1578 if (33554431 << 9 !== -512) {

  1579   $ERROR('#314: 33554431 << 9 === -512. Actual: ' + (33554431 << 9));

  1580 }

  1583 if (67108863 << 9 !== -512) {

  1584   $ERROR('#315: 67108863 << 9 === -512. Actual: ' + (67108863 << 9));

  1585 }

  1588 if (134217727 << 9 !== -512) {

  1589   $ERROR('#316: 134217727 << 9 === -512. Actual: ' + (134217727 << 9));

  1590 }

  1593 if (268435455 << 9 !== -512) {

  1594   $ERROR('#317: 268435455 << 9 === -512. Actual: ' + (268435455 << 9));

  1595 }

  1598 if (536870911 << 9 !== -512) {

  1599   $ERROR('#318: 536870911 << 9 === -512. Actual: ' + (536870911 << 9));

  1600 }

  1603 if (1073741823 << 9 !== -512) {

  1604   $ERROR('#319: 1073741823 << 9 === -512. Actual: ' + (1073741823 << 9));

  1605 }

  1608 if (2147483647 << 9 !== -512) {

  1609   $ERROR('#320: 2147483647 << 9 === -512. Actual: ' + (2147483647 << 9));

  1610 }

  1613 if (0 << 10 !== 0) {

  1614   $ERROR('#321: 0 << 10 === 0. Actual: ' + (0 << 10));

  1615 }

  1618 if (1 << 10 !== 1024) {

  1619   $ERROR('#322: 1 << 10 === 1024. Actual: ' + (1 << 10));

  1620 }

  1623 if (3 << 10 !== 3072) {

  1624   $ERROR('#323: 3 << 10 === 3072. Actual: ' + (3 << 10));

  1625 }

  1628 if (7 << 10 !== 7168) {

  1629   $ERROR('#324: 7 << 10 === 7168. Actual: ' + (7 << 10));

  1630 }

  1633 if (15 << 10 !== 15360) {

  1634   $ERROR('#325: 15 << 10 === 15360. Actual: ' + (15 << 10));

  1635 }

  1638 if (31 << 10 !== 31744) {

  1639   $ERROR('#326: 31 << 10 === 31744. Actual: ' + (31 << 10));

  1640 }

  1643 if (63 << 10 !== 64512) {

  1644   $ERROR('#327: 63 << 10 === 64512. Actual: ' + (63 << 10));

  1645 }

  1648 if (127 << 10 !== 130048) {

  1649   $ERROR('#328: 127 << 10 === 130048. Actual: ' + (127 << 10));

  1650 }

  1653 if (255 << 10 !== 261120) {

  1654   $ERROR('#329: 255 << 10 === 261120. Actual: ' + (255 << 10));

  1655 }

  1658 if (511 << 10 !== 523264) {

  1659   $ERROR('#330: 511 << 10 === 523264. Actual: ' + (511 << 10));

  1660 }

  1663 if (1023 << 10 !== 1047552) {

  1664   $ERROR('#331: 1023 << 10 === 1047552. Actual: ' + (1023 << 10));

  1665 }

  1668 if (2047 << 10 !== 2096128) {

  1669   $ERROR('#332: 2047 << 10 === 2096128. Actual: ' + (2047 << 10));

  1670 }

  1673 if (4095 << 10 !== 4193280) {

  1674   $ERROR('#333: 4095 << 10 === 4193280. Actual: ' + (4095 << 10));

  1675 }

  1678 if (8191 << 10 !== 8387584) {

  1679   $ERROR('#334: 8191 << 10 === 8387584. Actual: ' + (8191 << 10));

  1680 }

  1683 if (16383 << 10 !== 16776192) {

  1684   $ERROR('#335: 16383 << 10 === 16776192. Actual: ' + (16383 << 10));

  1685 }

  1688 if (32767 << 10 !== 33553408) {

  1689   $ERROR('#336: 32767 << 10 === 33553408. Actual: ' + (32767 << 10));

  1690 }

  1693 if (65535 << 10 !== 67107840) {

  1694   $ERROR('#337: 65535 << 10 === 67107840. Actual: ' + (65535 << 10));

  1695 }

  1698 if (131071 << 10 !== 134216704) {

  1699   $ERROR('#338: 131071 << 10 === 134216704. Actual: ' + (131071 << 10));

  1700 }

  1703 if (262143 << 10 !== 268434432) {

  1704   $ERROR('#339: 262143 << 10 === 268434432. Actual: ' + (262143 << 10));

  1705 }

  1708 if (524287 << 10 !== 536869888) {

  1709   $ERROR('#340: 524287 << 10 === 536869888. Actual: ' + (524287 << 10));

  1710 }

  1713 if (1048575 << 10 !== 1073740800) {

  1714   $ERROR('#341: 1048575 << 10 === 1073740800. Actual: ' + (1048575 << 10));

  1715 }

  1718 if (2097151 << 10 !== 2147482624) {

  1719   $ERROR('#342: 2097151 << 10 === 2147482624. Actual: ' + (2097151 << 10));

  1720 }

  1723 if (4194303 << 10 !== -1024) {

  1724   $ERROR('#343: 4194303 << 10 === -1024. Actual: ' + (4194303 << 10));

  1725 }

  1728 if (8388607 << 10 !== -1024) {

  1729   $ERROR('#344: 8388607 << 10 === -1024. Actual: ' + (8388607 << 10));

  1730 }

  1733 if (16777215 << 10 !== -1024) {

  1734   $ERROR('#345: 16777215 << 10 === -1024. Actual: ' + (16777215 << 10));

  1735 }

  1738 if (33554431 << 10 !== -1024) {

  1739   $ERROR('#346: 33554431 << 10 === -1024. Actual: ' + (33554431 << 10));

  1740 }

  1743 if (67108863 << 10 !== -1024) {

  1744   $ERROR('#347: 67108863 << 10 === -1024. Actual: ' + (67108863 << 10));

  1745 }

  1748 if (134217727 << 10 !== -1024) {

  1749   $ERROR('#348: 134217727 << 10 === -1024. Actual: ' + (134217727 << 10));

  1750 }

  1753 if (268435455 << 10 !== -1024) {

  1754   $ERROR('#349: 268435455 << 10 === -1024. Actual: ' + (268435455 << 10));

  1755 }

  1758 if (536870911 << 10 !== -1024) {

  1759   $ERROR('#350: 536870911 << 10 === -1024. Actual: ' + (536870911 << 10));

  1760 }

  1763 if (1073741823 << 10 !== -1024) {

  1764   $ERROR('#351: 1073741823 << 10 === -1024. Actual: ' + (1073741823 << 10));

  1765 }

  1768 if (2147483647 << 10 !== -1024) {

  1769   $ERROR('#352: 2147483647 << 10 === -1024. Actual: ' + (2147483647 << 10));

  1770 }

  1773 if (0 << 11 !== 0) {

  1774   $ERROR('#353: 0 << 11 === 0. Actual: ' + (0 << 11));

  1775 }

  1778 if (1 << 11 !== 2048) {

  1779   $ERROR('#354: 1 << 11 === 2048. Actual: ' + (1 << 11));

  1780 }

  1783 if (3 << 11 !== 6144) {

  1784   $ERROR('#355: 3 << 11 === 6144. Actual: ' + (3 << 11));

  1785 }

  1788 if (7 << 11 !== 14336) {

  1789   $ERROR('#356: 7 << 11 === 14336. Actual: ' + (7 << 11));

  1790 }

  1793 if (15 << 11 !== 30720) {

  1794   $ERROR('#357: 15 << 11 === 30720. Actual: ' + (15 << 11));

  1795 }

  1798 if (31 << 11 !== 63488) {

  1799   $ERROR('#358: 31 << 11 === 63488. Actual: ' + (31 << 11));

  1800 }

  1803 if (63 << 11 !== 129024) {

  1804   $ERROR('#359: 63 << 11 === 129024. Actual: ' + (63 << 11));

  1805 }

  1808 if (127 << 11 !== 260096) {

  1809   $ERROR('#360: 127 << 11 === 260096. Actual: ' + (127 << 11));

  1810 }

  1813 if (255 << 11 !== 522240) {

  1814   $ERROR('#361: 255 << 11 === 522240. Actual: ' + (255 << 11));

  1815 }

  1818 if (511 << 11 !== 1046528) {

  1819   $ERROR('#362: 511 << 11 === 1046528. Actual: ' + (511 << 11));

  1820 }

  1823 if (1023 << 11 !== 2095104) {

  1824   $ERROR('#363: 1023 << 11 === 2095104. Actual: ' + (1023 << 11));

  1825 }

  1828 if (2047 << 11 !== 4192256) {

  1829   $ERROR('#364: 2047 << 11 === 4192256. Actual: ' + (2047 << 11));

  1830 }

  1833 if (4095 << 11 !== 8386560) {

  1834   $ERROR('#365: 4095 << 11 === 8386560. Actual: ' + (4095 << 11));

  1835 }

  1838 if (8191 << 11 !== 16775168) {

  1839   $ERROR('#366: 8191 << 11 === 16775168. Actual: ' + (8191 << 11));

  1840 }

  1843 if (16383 << 11 !== 33552384) {

  1844   $ERROR('#367: 16383 << 11 === 33552384. Actual: ' + (16383 << 11));

  1845 }

  1848 if (32767 << 11 !== 67106816) {

  1849   $ERROR('#368: 32767 << 11 === 67106816. Actual: ' + (32767 << 11));

  1850 }

  1853 if (65535 << 11 !== 134215680) {

  1854   $ERROR('#369: 65535 << 11 === 134215680. Actual: ' + (65535 << 11));

  1855 }

  1858 if (131071 << 11 !== 268433408) {

  1859   $ERROR('#370: 131071 << 11 === 268433408. Actual: ' + (131071 << 11));

  1860 }

  1863 if (262143 << 11 !== 536868864) {

  1864   $ERROR('#371: 262143 << 11 === 536868864. Actual: ' + (262143 << 11));

  1865 }

  1868 if (524287 << 11 !== 1073739776) {

  1869   $ERROR('#372: 524287 << 11 === 1073739776. Actual: ' + (524287 << 11));

  1870 }

  1873 if (1048575 << 11 !== 2147481600) {

  1874   $ERROR('#373: 1048575 << 11 === 2147481600. Actual: ' + (1048575 << 11));

  1875 }

  1878 if (2097151 << 11 !== -2048) {

  1879   $ERROR('#374: 2097151 << 11 === -2048. Actual: ' + (2097151 << 11));

  1880 }

  1883 if (4194303 << 11 !== -2048) {

  1884   $ERROR('#375: 4194303 << 11 === -2048. Actual: ' + (4194303 << 11));

  1885 }

  1888 if (8388607 << 11 !== -2048) {

  1889   $ERROR('#376: 8388607 << 11 === -2048. Actual: ' + (8388607 << 11));

  1890 }

  1893 if (16777215 << 11 !== -2048) {

  1894   $ERROR('#377: 16777215 << 11 === -2048. Actual: ' + (16777215 << 11));

  1895 }

  1898 if (33554431 << 11 !== -2048) {

  1899   $ERROR('#378: 33554431 << 11 === -2048. Actual: ' + (33554431 << 11));

  1900 }

  1903 if (67108863 << 11 !== -2048) {

  1904   $ERROR('#379: 67108863 << 11 === -2048. Actual: ' + (67108863 << 11));

  1905 }

  1908 if (134217727 << 11 !== -2048) {

  1909   $ERROR('#380: 134217727 << 11 === -2048. Actual: ' + (134217727 << 11));

  1910 }

  1913 if (268435455 << 11 !== -2048) {

  1914   $ERROR('#381: 268435455 << 11 === -2048. Actual: ' + (268435455 << 11));

  1915 }

  1918 if (536870911 << 11 !== -2048) {

  1919   $ERROR('#382: 536870911 << 11 === -2048. Actual: ' + (536870911 << 11));

  1920 }

  1923 if (1073741823 << 11 !== -2048) {

  1924   $ERROR('#383: 1073741823 << 11 === -2048. Actual: ' + (1073741823 << 11));

  1925 }

  1928 if (2147483647 << 11 !== -2048) {

  1929   $ERROR('#384: 2147483647 << 11 === -2048. Actual: ' + (2147483647 << 11));

  1930 }

  1933 if (0 << 12 !== 0) {

  1934   $ERROR('#385: 0 << 12 === 0. Actual: ' + (0 << 12));

  1935 }

  1938 if (1 << 12 !== 4096) {

  1939   $ERROR('#386: 1 << 12 === 4096. Actual: ' + (1 << 12));

  1940 }

  1943 if (3 << 12 !== 12288) {

  1944   $ERROR('#387: 3 << 12 === 12288. Actual: ' + (3 << 12));

  1945 }

  1948 if (7 << 12 !== 28672) {

  1949   $ERROR('#388: 7 << 12 === 28672. Actual: ' + (7 << 12));

  1950 }

  1953 if (15 << 12 !== 61440) {

  1954   $ERROR('#389: 15 << 12 === 61440. Actual: ' + (15 << 12));

  1955 }

  1958 if (31 << 12 !== 126976) {

  1959   $ERROR('#390: 31 << 12 === 126976. Actual: ' + (31 << 12));

  1960 }

  1963 if (63 << 12 !== 258048) {

  1964   $ERROR('#391: 63 << 12 === 258048. Actual: ' + (63 << 12));

  1965 }

  1968 if (127 << 12 !== 520192) {

  1969   $ERROR('#392: 127 << 12 === 520192. Actual: ' + (127 << 12));

  1970 }

  1973 if (255 << 12 !== 1044480) {

  1974   $ERROR('#393: 255 << 12 === 1044480. Actual: ' + (255 << 12));

  1975 }

  1978 if (511 << 12 !== 2093056) {

  1979   $ERROR('#394: 511 << 12 === 2093056. Actual: ' + (511 << 12));

  1980 }

  1983 if (1023 << 12 !== 4190208) {

  1984   $ERROR('#395: 1023 << 12 === 4190208. Actual: ' + (1023 << 12));

  1985 }

  1988 if (2047 << 12 !== 8384512) {

  1989   $ERROR('#396: 2047 << 12 === 8384512. Actual: ' + (2047 << 12));

  1990 }

  1993 if (4095 << 12 !== 16773120) {

  1994   $ERROR('#397: 4095 << 12 === 16773120. Actual: ' + (4095 << 12));

  1995 }

  1998 if (8191 << 12 !== 33550336) {

  1999   $ERROR('#398: 8191 << 12 === 33550336. Actual: ' + (8191 << 12));

  2000 }

  2003 if (16383 << 12 !== 67104768) {

  2004   $ERROR('#399: 16383 << 12 === 67104768. Actual: ' + (16383 << 12));

  2005 }

  2008 if (32767 << 12 !== 134213632) {

  2009   $ERROR('#400: 32767 << 12 === 134213632. Actual: ' + (32767 << 12));

  2010 }

  2013 if (65535 << 12 !== 268431360) {

  2014   $ERROR('#401: 65535 << 12 === 268431360. Actual: ' + (65535 << 12));

  2015 }

  2018 if (131071 << 12 !== 536866816) {

  2019   $ERROR('#402: 131071 << 12 === 536866816. Actual: ' + (131071 << 12));

  2020 }

  2023 if (262143 << 12 !== 1073737728) {

  2024   $ERROR('#403: 262143 << 12 === 1073737728. Actual: ' + (262143 << 12));

  2025 }

  2028 if (524287 << 12 !== 2147479552) {

  2029   $ERROR('#404: 524287 << 12 === 2147479552. Actual: ' + (524287 << 12));

  2030 }

  2033 if (1048575 << 12 !== -4096) {

  2034   $ERROR('#405: 1048575 << 12 === -4096. Actual: ' + (1048575 << 12));

  2035 }

  2038 if (2097151 << 12 !== -4096) {

  2039   $ERROR('#406: 2097151 << 12 === -4096. Actual: ' + (2097151 << 12));

  2040 }

  2043 if (4194303 << 12 !== -4096) {

  2044   $ERROR('#407: 4194303 << 12 === -4096. Actual: ' + (4194303 << 12));

  2045 }

  2048 if (8388607 << 12 !== -4096) {

  2049   $ERROR('#408: 8388607 << 12 === -4096. Actual: ' + (8388607 << 12));

  2050 }

  2053 if (16777215 << 12 !== -4096) {

  2054   $ERROR('#409: 16777215 << 12 === -4096. Actual: ' + (16777215 << 12));

  2055 }

  2058 if (33554431 << 12 !== -4096) {

  2059   $ERROR('#410: 33554431 << 12 === -4096. Actual: ' + (33554431 << 12));

  2060 }

  2063 if (67108863 << 12 !== -4096) {

  2064   $ERROR('#411: 67108863 << 12 === -4096. Actual: ' + (67108863 << 12));

  2065 }

  2068 if (134217727 << 12 !== -4096) {

  2069   $ERROR('#412: 134217727 << 12 === -4096. Actual: ' + (134217727 << 12));

  2070 }

  2073 if (268435455 << 12 !== -4096) {

  2074   $ERROR('#413: 268435455 << 12 === -4096. Actual: ' + (268435455 << 12));

  2075 }

  2078 if (536870911 << 12 !== -4096) {

  2079   $ERROR('#414: 536870911 << 12 === -4096. Actual: ' + (536870911 << 12));

  2080 }

  2083 if (1073741823 << 12 !== -4096) {

  2084   $ERROR('#415: 1073741823 << 12 === -4096. Actual: ' + (1073741823 << 12));

  2085 }

  2088 if (2147483647 << 12 !== -4096) {

  2089   $ERROR('#416: 2147483647 << 12 === -4096. Actual: ' + (2147483647 << 12));

  2090 }

  2093 if (0 << 13 !== 0) {

  2094   $ERROR('#417: 0 << 13 === 0. Actual: ' + (0 << 13));

  2095 }

  2098 if (1 << 13 !== 8192) {

  2099   $ERROR('#418: 1 << 13 === 8192. Actual: ' + (1 << 13));

  2100 }

  2103 if (3 << 13 !== 24576) {

  2104   $ERROR('#419: 3 << 13 === 24576. Actual: ' + (3 << 13));

  2105 }

  2108 if (7 << 13 !== 57344) {

  2109   $ERROR('#420: 7 << 13 === 57344. Actual: ' + (7 << 13));

  2110 }

  2113 if (15 << 13 !== 122880) {

  2114   $ERROR('#421: 15 << 13 === 122880. Actual: ' + (15 << 13));

  2115 }

  2118 if (31 << 13 !== 253952) {

  2119   $ERROR('#422: 31 << 13 === 253952. Actual: ' + (31 << 13));

  2120 }

  2123 if (63 << 13 !== 516096) {

  2124   $ERROR('#423: 63 << 13 === 516096. Actual: ' + (63 << 13));

  2125 }

  2128 if (127 << 13 !== 1040384) {

  2129   $ERROR('#424: 127 << 13 === 1040384. Actual: ' + (127 << 13));

  2130 }

  2133 if (255 << 13 !== 2088960) {

  2134   $ERROR('#425: 255 << 13 === 2088960. Actual: ' + (255 << 13));

  2135 }

  2138 if (511 << 13 !== 4186112) {

  2139   $ERROR('#426: 511 << 13 === 4186112. Actual: ' + (511 << 13));

  2140 }

  2143 if (1023 << 13 !== 8380416) {

  2144   $ERROR('#427: 1023 << 13 === 8380416. Actual: ' + (1023 << 13));

  2145 }

  2148 if (2047 << 13 !== 16769024) {

  2149   $ERROR('#428: 2047 << 13 === 16769024. Actual: ' + (2047 << 13));

  2150 }

  2153 if (4095 << 13 !== 33546240) {

  2154   $ERROR('#429: 4095 << 13 === 33546240. Actual: ' + (4095 << 13));

  2155 }

  2158 if (8191 << 13 !== 67100672) {

  2159   $ERROR('#430: 8191 << 13 === 67100672. Actual: ' + (8191 << 13));

  2160 }

  2163 if (16383 << 13 !== 134209536) {

  2164   $ERROR('#431: 16383 << 13 === 134209536. Actual: ' + (16383 << 13));

  2165 }

  2168 if (32767 << 13 !== 268427264) {

  2169   $ERROR('#432: 32767 << 13 === 268427264. Actual: ' + (32767 << 13));

  2170 }

  2173 if (65535 << 13 !== 536862720) {

  2174   $ERROR('#433: 65535 << 13 === 536862720. Actual: ' + (65535 << 13));

  2175 }

  2178 if (131071 << 13 !== 1073733632) {

  2179   $ERROR('#434: 131071 << 13 === 1073733632. Actual: ' + (131071 << 13));

  2180 }

  2183 if (262143 << 13 !== 2147475456) {

  2184   $ERROR('#435: 262143 << 13 === 2147475456. Actual: ' + (262143 << 13));

  2185 }

  2188 if (524287 << 13 !== -8192) {

  2189   $ERROR('#436: 524287 << 13 === -8192. Actual: ' + (524287 << 13));

  2190 }

  2193 if (1048575 << 13 !== -8192) {

  2194   $ERROR('#437: 1048575 << 13 === -8192. Actual: ' + (1048575 << 13));

  2195 }

  2198 if (2097151 << 13 !== -8192) {

  2199   $ERROR('#438: 2097151 << 13 === -8192. Actual: ' + (2097151 << 13));

  2200 }

  2203 if (4194303 << 13 !== -8192) {

  2204   $ERROR('#439: 4194303 << 13 === -8192. Actual: ' + (4194303 << 13));

  2205 }

  2208 if (8388607 << 13 !== -8192) {

  2209   $ERROR('#440: 8388607 << 13 === -8192. Actual: ' + (8388607 << 13));

  2210 }

  2213 if (16777215 << 13 !== -8192) {

  2214   $ERROR('#441: 16777215 << 13 === -8192. Actual: ' + (16777215 << 13));

  2215 }

  2218 if (33554431 << 13 !== -8192) {

  2219   $ERROR('#442: 33554431 << 13 === -8192. Actual: ' + (33554431 << 13));

  2220 }

  2223 if (67108863 << 13 !== -8192) {

  2224   $ERROR('#443: 67108863 << 13 === -8192. Actual: ' + (67108863 << 13));

  2225 }

  2228 if (134217727 << 13 !== -8192) {

  2229   $ERROR('#444: 134217727 << 13 === -8192. Actual: ' + (134217727 << 13));

  2230 }

  2233 if (268435455 << 13 !== -8192) {

  2234   $ERROR('#445: 268435455 << 13 === -8192. Actual: ' + (268435455 << 13));

  2235 }

  2238 if (536870911 << 13 !== -8192) {

  2239   $ERROR('#446: 536870911 << 13 === -8192. Actual: ' + (536870911 << 13));

  2240 }

  2243 if (1073741823 << 13 !== -8192) {

  2244   $ERROR('#447: 1073741823 << 13 === -8192. Actual: ' + (1073741823 << 13));

  2245 }

  2248 if (2147483647 << 13 !== -8192) {

  2249   $ERROR('#448: 2147483647 << 13 === -8192. Actual: ' + (2147483647 << 13));

  2250 }

  2253 if (0 << 14 !== 0) {

  2254   $ERROR('#449: 0 << 14 === 0. Actual: ' + (0 << 14));

  2255 }

  2258 if (1 << 14 !== 16384) {

  2259   $ERROR('#450: 1 << 14 === 16384. Actual: ' + (1 << 14));

  2260 }

  2263 if (3 << 14 !== 49152) {

  2264   $ERROR('#451: 3 << 14 === 49152. Actual: ' + (3 << 14));

  2265 }

  2268 if (7 << 14 !== 114688) {

  2269   $ERROR('#452: 7 << 14 === 114688. Actual: ' + (7 << 14));

  2270 }

  2273 if (15 << 14 !== 245760) {

  2274   $ERROR('#453: 15 << 14 === 245760. Actual: ' + (15 << 14));

  2275 }

  2278 if (31 << 14 !== 507904) {

  2279   $ERROR('#454: 31 << 14 === 507904. Actual: ' + (31 << 14));

  2280 }

  2283 if (63 << 14 !== 1032192) {

  2284   $ERROR('#455: 63 << 14 === 1032192. Actual: ' + (63 << 14));

  2285 }

  2288 if (127 << 14 !== 2080768) {

  2289   $ERROR('#456: 127 << 14 === 2080768. Actual: ' + (127 << 14));

  2290 }

  2293 if (255 << 14 !== 4177920) {

  2294   $ERROR('#457: 255 << 14 === 4177920. Actual: ' + (255 << 14));

  2295 }

  2298 if (511 << 14 !== 8372224) {

  2299   $ERROR('#458: 511 << 14 === 8372224. Actual: ' + (511 << 14));

  2300 }

  2303 if (1023 << 14 !== 16760832) {

  2304   $ERROR('#459: 1023 << 14 === 16760832. Actual: ' + (1023 << 14));

  2305 }

  2308 if (2047 << 14 !== 33538048) {

  2309   $ERROR('#460: 2047 << 14 === 33538048. Actual: ' + (2047 << 14));

  2310 }

  2313 if (4095 << 14 !== 67092480) {

  2314   $ERROR('#461: 4095 << 14 === 67092480. Actual: ' + (4095 << 14));

  2315 }

  2318 if (8191 << 14 !== 134201344) {

  2319   $ERROR('#462: 8191 << 14 === 134201344. Actual: ' + (8191 << 14));

  2320 }

  2323 if (16383 << 14 !== 268419072) {

  2324   $ERROR('#463: 16383 << 14 === 268419072. Actual: ' + (16383 << 14));

  2325 }

  2328 if (32767 << 14 !== 536854528) {

  2329   $ERROR('#464: 32767 << 14 === 536854528. Actual: ' + (32767 << 14));

  2330 }

  2333 if (65535 << 14 !== 1073725440) {

  2334   $ERROR('#465: 65535 << 14 === 1073725440. Actual: ' + (65535 << 14));

  2335 }

  2338 if (131071 << 14 !== 2147467264) {

  2339   $ERROR('#466: 131071 << 14 === 2147467264. Actual: ' + (131071 << 14));

  2340 }

  2343 if (262143 << 14 !== -16384) {

  2344   $ERROR('#467: 262143 << 14 === -16384. Actual: ' + (262143 << 14));

  2345 }

  2348 if (524287 << 14 !== -16384) {

  2349   $ERROR('#468: 524287 << 14 === -16384. Actual: ' + (524287 << 14));

  2350 }

  2353 if (1048575 << 14 !== -16384) {

  2354   $ERROR('#469: 1048575 << 14 === -16384. Actual: ' + (1048575 << 14));

  2355 }

  2358 if (2097151 << 14 !== -16384) {

  2359   $ERROR('#470: 2097151 << 14 === -16384. Actual: ' + (2097151 << 14));

  2360 }

  2363 if (4194303 << 14 !== -16384) {

  2364   $ERROR('#471: 4194303 << 14 === -16384. Actual: ' + (4194303 << 14));

  2365 }

  2368 if (8388607 << 14 !== -16384) {

  2369   $ERROR('#472: 8388607 << 14 === -16384. Actual: ' + (8388607 << 14));

  2370 }

  2373 if (16777215 << 14 !== -16384) {

  2374   $ERROR('#473: 16777215 << 14 === -16384. Actual: ' + (16777215 << 14));

  2375 }

  2378 if (33554431 << 14 !== -16384) {

  2379   $ERROR('#474: 33554431 << 14 === -16384. Actual: ' + (33554431 << 14));

  2380 }

  2383 if (67108863 << 14 !== -16384) {

  2384   $ERROR('#475: 67108863 << 14 === -16384. Actual: ' + (67108863 << 14));

  2385 }

  2388 if (134217727 << 14 !== -16384) {

  2389   $ERROR('#476: 134217727 << 14 === -16384. Actual: ' + (134217727 << 14));

  2390 }

  2393 if (268435455 << 14 !== -16384) {

  2394   $ERROR('#477: 268435455 << 14 === -16384. Actual: ' + (268435455 << 14));

  2395 }

  2398 if (536870911 << 14 !== -16384) {

  2399   $ERROR('#478: 536870911 << 14 === -16384. Actual: ' + (536870911 << 14));

  2400 }

  2403 if (1073741823 << 14 !== -16384) {

  2404   $ERROR('#479: 1073741823 << 14 === -16384. Actual: ' + (1073741823 << 14));

  2405 }

  2408 if (2147483647 << 14 !== -16384) {

  2409   $ERROR('#480: 2147483647 << 14 === -16384. Actual: ' + (2147483647 << 14));

  2410 }

  2413 if (0 << 15 !== 0) {

  2414   $ERROR('#481: 0 << 15 === 0. Actual: ' + (0 << 15));

  2415 }

  2418 if (1 << 15 !== 32768) {

  2419   $ERROR('#482: 1 << 15 === 32768. Actual: ' + (1 << 15));

  2420 }

  2423 if (3 << 15 !== 98304) {

  2424   $ERROR('#483: 3 << 15 === 98304. Actual: ' + (3 << 15));

  2425 }

  2428 if (7 << 15 !== 229376) {

  2429   $ERROR('#484: 7 << 15 === 229376. Actual: ' + (7 << 15));

  2430 }

  2433 if (15 << 15 !== 491520) {

  2434   $ERROR('#485: 15 << 15 === 491520. Actual: ' + (15 << 15));

  2435 }

  2438 if (31 << 15 !== 1015808) {

  2439   $ERROR('#486: 31 << 15 === 1015808. Actual: ' + (31 << 15));

  2440 }

  2443 if (63 << 15 !== 2064384) {

  2444   $ERROR('#487: 63 << 15 === 2064384. Actual: ' + (63 << 15));

  2445 }

  2448 if (127 << 15 !== 4161536) {

  2449   $ERROR('#488: 127 << 15 === 4161536. Actual: ' + (127 << 15));

  2450 }

  2453 if (255 << 15 !== 8355840) {

  2454   $ERROR('#489: 255 << 15 === 8355840. Actual: ' + (255 << 15));

  2455 }

  2458 if (511 << 15 !== 16744448) {

  2459   $ERROR('#490: 511 << 15 === 16744448. Actual: ' + (511 << 15));

  2460 }

  2463 if (1023 << 15 !== 33521664) {

  2464   $ERROR('#491: 1023 << 15 === 33521664. Actual: ' + (1023 << 15));

  2465 }

  2468 if (2047 << 15 !== 67076096) {

  2469   $ERROR('#492: 2047 << 15 === 67076096. Actual: ' + (2047 << 15));

  2470 }

  2473 if (4095 << 15 !== 134184960) {

  2474   $ERROR('#493: 4095 << 15 === 134184960. Actual: ' + (4095 << 15));

  2475 }

  2478 if (8191 << 15 !== 268402688) {

  2479   $ERROR('#494: 8191 << 15 === 268402688. Actual: ' + (8191 << 15));

  2480 }

  2483 if (16383 << 15 !== 536838144) {

  2484   $ERROR('#495: 16383 << 15 === 536838144. Actual: ' + (16383 << 15));

  2485 }

  2488 if (32767 << 15 !== 1073709056) {

  2489   $ERROR('#496: 32767 << 15 === 1073709056. Actual: ' + (32767 << 15));

  2490 }

  2493 if (65535 << 15 !== 2147450880) {

  2494   $ERROR('#497: 65535 << 15 === 2147450880. Actual: ' + (65535 << 15));

  2495 }

  2498 if (131071 << 15 !== -32768) {

  2499   $ERROR('#498: 131071 << 15 === -32768. Actual: ' + (131071 << 15));

  2500 }

  2503 if (262143 << 15 !== -32768) {

  2504   $ERROR('#499: 262143 << 15 === -32768. Actual: ' + (262143 << 15));

  2505 }

  2508 if (524287 << 15 !== -32768) {

  2509   $ERROR('#500: 524287 << 15 === -32768. Actual: ' + (524287 << 15));

  2510 }

  2513 if (1048575 << 15 !== -32768) {

  2514   $ERROR('#501: 1048575 << 15 === -32768. Actual: ' + (1048575 << 15));

  2515 }

  2518 if (2097151 << 15 !== -32768) {

  2519   $ERROR('#502: 2097151 << 15 === -32768. Actual: ' + (2097151 << 15));

  2520 }

  2523 if (4194303 << 15 !== -32768) {

  2524   $ERROR('#503: 4194303 << 15 === -32768. Actual: ' + (4194303 << 15));

  2525 }

  2528 if (8388607 << 15 !== -32768) {

  2529   $ERROR('#504: 8388607 << 15 === -32768. Actual: ' + (8388607 << 15));

  2530 }

  2533 if (16777215 << 15 !== -32768) {

  2534   $ERROR('#505: 16777215 << 15 === -32768. Actual: ' + (16777215 << 15));

  2535 }

  2538 if (33554431 << 15 !== -32768) {

  2539   $ERROR('#506: 33554431 << 15 === -32768. Actual: ' + (33554431 << 15));

  2540 }

  2543 if (67108863 << 15 !== -32768) {

  2544   $ERROR('#507: 67108863 << 15 === -32768. Actual: ' + (67108863 << 15));

  2545 }

  2548 if (134217727 << 15 !== -32768) {

  2549   $ERROR('#508: 134217727 << 15 === -32768. Actual: ' + (134217727 << 15));

  2550 }

  2553 if (268435455 << 15 !== -32768) {

  2554   $ERROR('#509: 268435455 << 15 === -32768. Actual: ' + (268435455 << 15));

  2555 }

  2558 if (536870911 << 15 !== -32768) {

  2559   $ERROR('#510: 536870911 << 15 === -32768. Actual: ' + (536870911 << 15));

  2560 }

  2563 if (1073741823 << 15 !== -32768) {

  2564   $ERROR('#511: 1073741823 << 15 === -32768. Actual: ' + (1073741823 << 15));

  2565 }

  2568 if (2147483647 << 15 !== -32768) {

  2569   $ERROR('#512: 2147483647 << 15 === -32768. Actual: ' + (2147483647 << 15));

  2570 }

The Tor Browser / file revision

js/src/tests/test262/ch11/11.7/11.7.1/S11.7.1_A4_T3.js@8bccb770b82d

js/src/tests/test262/ch11/11.7/11.7.1/S11.7.1_A4_T3.js