blob: dfa16c66a0348c5ed3a01c8d67e89628c952418a [file] [log] [blame]
// Copyright 2009 the Sputnik authors. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
info: Check x >> y operator in distinct points
es5id: 11.7.2_A4_T3
description: ShiftExpression = 2^n - 1, n = 0...15
---*/
//CHECK
if (0 >> 0 !== 0) {
$ERROR('#1: 0 >> 0 === 0. Actual: ' + (0 >> 0));
}
if (1 >> 0 !== 1) {
$ERROR('#2: 1 >> 0 === 1. Actual: ' + (1 >> 0));
}
if (3 >> 0 !== 3) {
$ERROR('#3: 3 >> 0 === 3. Actual: ' + (3 >> 0));
}
if (7 >> 0 !== 7) {
$ERROR('#4: 7 >> 0 === 7. Actual: ' + (7 >> 0));
}
if (15 >> 0 !== 15) {
$ERROR('#5: 15 >> 0 === 15. Actual: ' + (15 >> 0));
}
if (31 >> 0 !== 31) {
$ERROR('#6: 31 >> 0 === 31. Actual: ' + (31 >> 0));
}
if (63 >> 0 !== 63) {
$ERROR('#7: 63 >> 0 === 63. Actual: ' + (63 >> 0));
}
if (127 >> 0 !== 127) {
$ERROR('#8: 127 >> 0 === 127. Actual: ' + (127 >> 0));
}
if (255 >> 0 !== 255) {
$ERROR('#9: 255 >> 0 === 255. Actual: ' + (255 >> 0));
}
if (511 >> 0 !== 511) {
$ERROR('#10: 511 >> 0 === 511. Actual: ' + (511 >> 0));
}
if (1023 >> 0 !== 1023) {
$ERROR('#11: 1023 >> 0 === 1023. Actual: ' + (1023 >> 0));
}
if (2047 >> 0 !== 2047) {
$ERROR('#12: 2047 >> 0 === 2047. Actual: ' + (2047 >> 0));
}
if (4095 >> 0 !== 4095) {
$ERROR('#13: 4095 >> 0 === 4095. Actual: ' + (4095 >> 0));
}
if (8191 >> 0 !== 8191) {
$ERROR('#14: 8191 >> 0 === 8191. Actual: ' + (8191 >> 0));
}
if (16383 >> 0 !== 16383) {
$ERROR('#15: 16383 >> 0 === 16383. Actual: ' + (16383 >> 0));
}
if (32767 >> 0 !== 32767) {
$ERROR('#16: 32767 >> 0 === 32767. Actual: ' + (32767 >> 0));
}
if (65535 >> 0 !== 65535) {
$ERROR('#17: 65535 >> 0 === 65535. Actual: ' + (65535 >> 0));
}
if (131071 >> 0 !== 131071) {
$ERROR('#18: 131071 >> 0 === 131071. Actual: ' + (131071 >> 0));
}
if (262143 >> 0 !== 262143) {
$ERROR('#19: 262143 >> 0 === 262143. Actual: ' + (262143 >> 0));
}
if (524287 >> 0 !== 524287) {
$ERROR('#20: 524287 >> 0 === 524287. Actual: ' + (524287 >> 0));
}
if (1048575 >> 0 !== 1048575) {
$ERROR('#21: 1048575 >> 0 === 1048575. Actual: ' + (1048575 >> 0));
}
if (2097151 >> 0 !== 2097151) {
$ERROR('#22: 2097151 >> 0 === 2097151. Actual: ' + (2097151 >> 0));
}
if (4194303 >> 0 !== 4194303) {
$ERROR('#23: 4194303 >> 0 === 4194303. Actual: ' + (4194303 >> 0));
}
if (8388607 >> 0 !== 8388607) {
$ERROR('#24: 8388607 >> 0 === 8388607. Actual: ' + (8388607 >> 0));
}
if (16777215 >> 0 !== 16777215) {
$ERROR('#25: 16777215 >> 0 === 16777215. Actual: ' + (16777215 >> 0));
}
if (33554431 >> 0 !== 33554431) {
$ERROR('#26: 33554431 >> 0 === 33554431. Actual: ' + (33554431 >> 0));
}
if (67108863 >> 0 !== 67108863) {
$ERROR('#27: 67108863 >> 0 === 67108863. Actual: ' + (67108863 >> 0));
}
if (134217727 >> 0 !== 134217727) {
$ERROR('#28: 134217727 >> 0 === 134217727. Actual: ' + (134217727 >> 0));
}
if (268435455 >> 0 !== 268435455) {
$ERROR('#29: 268435455 >> 0 === 268435455. Actual: ' + (268435455 >> 0));
}
if (536870911 >> 0 !== 536870911) {
$ERROR('#30: 536870911 >> 0 === 536870911. Actual: ' + (536870911 >> 0));
}
if (1073741823 >> 0 !== 1073741823) {
$ERROR('#31: 1073741823 >> 0 === 1073741823. Actual: ' + (1073741823 >> 0));
}
if (2147483647 >> 0 !== 2147483647) {
$ERROR('#32: 2147483647 >> 0 === 2147483647. Actual: ' + (2147483647 >> 0));
}
if (0 >> 1 !== 0) {
$ERROR('#33: 0 >> 1 === 0. Actual: ' + (0 >> 1));
}
if (1 >> 1 !== 0) {
$ERROR('#34: 1 >> 1 === 0. Actual: ' + (1 >> 1));
}
if (3 >> 1 !== 1) {
$ERROR('#35: 3 >> 1 === 1. Actual: ' + (3 >> 1));
}
if (7 >> 1 !== 3) {
$ERROR('#36: 7 >> 1 === 3. Actual: ' + (7 >> 1));
}
if (15 >> 1 !== 7) {
$ERROR('#37: 15 >> 1 === 7. Actual: ' + (15 >> 1));
}
if (31 >> 1 !== 15) {
$ERROR('#38: 31 >> 1 === 15. Actual: ' + (31 >> 1));
}
if (63 >> 1 !== 31) {
$ERROR('#39: 63 >> 1 === 31. Actual: ' + (63 >> 1));
}
if (127 >> 1 !== 63) {
$ERROR('#40: 127 >> 1 === 63. Actual: ' + (127 >> 1));
}
if (255 >> 1 !== 127) {
$ERROR('#41: 255 >> 1 === 127. Actual: ' + (255 >> 1));
}
if (511 >> 1 !== 255) {
$ERROR('#42: 511 >> 1 === 255. Actual: ' + (511 >> 1));
}
if (1023 >> 1 !== 511) {
$ERROR('#43: 1023 >> 1 === 511. Actual: ' + (1023 >> 1));
}
if (2047 >> 1 !== 1023) {
$ERROR('#44: 2047 >> 1 === 1023. Actual: ' + (2047 >> 1));
}
if (4095 >> 1 !== 2047) {
$ERROR('#45: 4095 >> 1 === 2047. Actual: ' + (4095 >> 1));
}
if (8191 >> 1 !== 4095) {
$ERROR('#46: 8191 >> 1 === 4095. Actual: ' + (8191 >> 1));
}
if (16383 >> 1 !== 8191) {
$ERROR('#47: 16383 >> 1 === 8191. Actual: ' + (16383 >> 1));
}
if (32767 >> 1 !== 16383) {
$ERROR('#48: 32767 >> 1 === 16383. Actual: ' + (32767 >> 1));
}
if (65535 >> 1 !== 32767) {
$ERROR('#49: 65535 >> 1 === 32767. Actual: ' + (65535 >> 1));
}
if (131071 >> 1 !== 65535) {
$ERROR('#50: 131071 >> 1 === 65535. Actual: ' + (131071 >> 1));
}
if (262143 >> 1 !== 131071) {
$ERROR('#51: 262143 >> 1 === 131071. Actual: ' + (262143 >> 1));
}
if (524287 >> 1 !== 262143) {
$ERROR('#52: 524287 >> 1 === 262143. Actual: ' + (524287 >> 1));
}
if (1048575 >> 1 !== 524287) {
$ERROR('#53: 1048575 >> 1 === 524287. Actual: ' + (1048575 >> 1));
}
if (2097151 >> 1 !== 1048575) {
$ERROR('#54: 2097151 >> 1 === 1048575. Actual: ' + (2097151 >> 1));
}
if (4194303 >> 1 !== 2097151) {
$ERROR('#55: 4194303 >> 1 === 2097151. Actual: ' + (4194303 >> 1));
}
if (8388607 >> 1 !== 4194303) {
$ERROR('#56: 8388607 >> 1 === 4194303. Actual: ' + (8388607 >> 1));
}
if (16777215 >> 1 !== 8388607) {
$ERROR('#57: 16777215 >> 1 === 8388607. Actual: ' + (16777215 >> 1));
}
if (33554431 >> 1 !== 16777215) {
$ERROR('#58: 33554431 >> 1 === 16777215. Actual: ' + (33554431 >> 1));
}
if (67108863 >> 1 !== 33554431) {
$ERROR('#59: 67108863 >> 1 === 33554431. Actual: ' + (67108863 >> 1));
}
if (134217727 >> 1 !== 67108863) {
$ERROR('#60: 134217727 >> 1 === 67108863. Actual: ' + (134217727 >> 1));
}
if (268435455 >> 1 !== 134217727) {
$ERROR('#61: 268435455 >> 1 === 134217727. Actual: ' + (268435455 >> 1));
}
if (536870911 >> 1 !== 268435455) {
$ERROR('#62: 536870911 >> 1 === 268435455. Actual: ' + (536870911 >> 1));
}
if (1073741823 >> 1 !== 536870911) {
$ERROR('#63: 1073741823 >> 1 === 536870911. Actual: ' + (1073741823 >> 1));
}
if (2147483647 >> 1 !== 1073741823) {
$ERROR('#64: 2147483647 >> 1 === 1073741823. Actual: ' + (2147483647 >> 1));
}
if (0 >> 2 !== 0) {
$ERROR('#65: 0 >> 2 === 0. Actual: ' + (0 >> 2));
}
if (1 >> 2 !== 0) {
$ERROR('#66: 1 >> 2 === 0. Actual: ' + (1 >> 2));
}
if (3 >> 2 !== 0) {
$ERROR('#67: 3 >> 2 === 0. Actual: ' + (3 >> 2));
}
if (7 >> 2 !== 1) {
$ERROR('#68: 7 >> 2 === 1. Actual: ' + (7 >> 2));
}
if (15 >> 2 !== 3) {
$ERROR('#69: 15 >> 2 === 3. Actual: ' + (15 >> 2));
}
if (31 >> 2 !== 7) {
$ERROR('#70: 31 >> 2 === 7. Actual: ' + (31 >> 2));
}
if (63 >> 2 !== 15) {
$ERROR('#71: 63 >> 2 === 15. Actual: ' + (63 >> 2));
}
if (127 >> 2 !== 31) {
$ERROR('#72: 127 >> 2 === 31. Actual: ' + (127 >> 2));
}
if (255 >> 2 !== 63) {
$ERROR('#73: 255 >> 2 === 63. Actual: ' + (255 >> 2));
}
if (511 >> 2 !== 127) {
$ERROR('#74: 511 >> 2 === 127. Actual: ' + (511 >> 2));
}
if (1023 >> 2 !== 255) {
$ERROR('#75: 1023 >> 2 === 255. Actual: ' + (1023 >> 2));
}
if (2047 >> 2 !== 511) {
$ERROR('#76: 2047 >> 2 === 511. Actual: ' + (2047 >> 2));
}
if (4095 >> 2 !== 1023) {
$ERROR('#77: 4095 >> 2 === 1023. Actual: ' + (4095 >> 2));
}
if (8191 >> 2 !== 2047) {
$ERROR('#78: 8191 >> 2 === 2047. Actual: ' + (8191 >> 2));
}
if (16383 >> 2 !== 4095) {
$ERROR('#79: 16383 >> 2 === 4095. Actual: ' + (16383 >> 2));
}
if (32767 >> 2 !== 8191) {
$ERROR('#80: 32767 >> 2 === 8191. Actual: ' + (32767 >> 2));
}
if (65535 >> 2 !== 16383) {
$ERROR('#81: 65535 >> 2 === 16383. Actual: ' + (65535 >> 2));
}
if (131071 >> 2 !== 32767) {
$ERROR('#82: 131071 >> 2 === 32767. Actual: ' + (131071 >> 2));
}
if (262143 >> 2 !== 65535) {
$ERROR('#83: 262143 >> 2 === 65535. Actual: ' + (262143 >> 2));
}
if (524287 >> 2 !== 131071) {
$ERROR('#84: 524287 >> 2 === 131071. Actual: ' + (524287 >> 2));
}
if (1048575 >> 2 !== 262143) {
$ERROR('#85: 1048575 >> 2 === 262143. Actual: ' + (1048575 >> 2));
}
if (2097151 >> 2 !== 524287) {
$ERROR('#86: 2097151 >> 2 === 524287. Actual: ' + (2097151 >> 2));
}
if (4194303 >> 2 !== 1048575) {
$ERROR('#87: 4194303 >> 2 === 1048575. Actual: ' + (4194303 >> 2));
}
if (8388607 >> 2 !== 2097151) {
$ERROR('#88: 8388607 >> 2 === 2097151. Actual: ' + (8388607 >> 2));
}
if (16777215 >> 2 !== 4194303) {
$ERROR('#89: 16777215 >> 2 === 4194303. Actual: ' + (16777215 >> 2));
}
if (33554431 >> 2 !== 8388607) {
$ERROR('#90: 33554431 >> 2 === 8388607. Actual: ' + (33554431 >> 2));
}
if (67108863 >> 2 !== 16777215) {
$ERROR('#91: 67108863 >> 2 === 16777215. Actual: ' + (67108863 >> 2));
}
if (134217727 >> 2 !== 33554431) {
$ERROR('#92: 134217727 >> 2 === 33554431. Actual: ' + (134217727 >> 2));
}
if (268435455 >> 2 !== 67108863) {
$ERROR('#93: 268435455 >> 2 === 67108863. Actual: ' + (268435455 >> 2));
}
if (536870911 >> 2 !== 134217727) {
$ERROR('#94: 536870911 >> 2 === 134217727. Actual: ' + (536870911 >> 2));
}
if (1073741823 >> 2 !== 268435455) {
$ERROR('#95: 1073741823 >> 2 === 268435455. Actual: ' + (1073741823 >> 2));
}
if (2147483647 >> 2 !== 536870911) {
$ERROR('#96: 2147483647 >> 2 === 536870911. Actual: ' + (2147483647 >> 2));
}
if (0 >> 3 !== 0) {
$ERROR('#97: 0 >> 3 === 0. Actual: ' + (0 >> 3));
}
if (1 >> 3 !== 0) {
$ERROR('#98: 1 >> 3 === 0. Actual: ' + (1 >> 3));
}
if (3 >> 3 !== 0) {
$ERROR('#99: 3 >> 3 === 0. Actual: ' + (3 >> 3));
}
if (7 >> 3 !== 0) {
$ERROR('#100: 7 >> 3 === 0. Actual: ' + (7 >> 3));
}
if (15 >> 3 !== 1) {
$ERROR('#101: 15 >> 3 === 1. Actual: ' + (15 >> 3));
}
if (31 >> 3 !== 3) {
$ERROR('#102: 31 >> 3 === 3. Actual: ' + (31 >> 3));
}
if (63 >> 3 !== 7) {
$ERROR('#103: 63 >> 3 === 7. Actual: ' + (63 >> 3));
}
if (127 >> 3 !== 15) {
$ERROR('#104: 127 >> 3 === 15. Actual: ' + (127 >> 3));
}
if (255 >> 3 !== 31) {
$ERROR('#105: 255 >> 3 === 31. Actual: ' + (255 >> 3));
}
if (511 >> 3 !== 63) {
$ERROR('#106: 511 >> 3 === 63. Actual: ' + (511 >> 3));
}
if (1023 >> 3 !== 127) {
$ERROR('#107: 1023 >> 3 === 127. Actual: ' + (1023 >> 3));
}
if (2047 >> 3 !== 255) {
$ERROR('#108: 2047 >> 3 === 255. Actual: ' + (2047 >> 3));
}
if (4095 >> 3 !== 511) {
$ERROR('#109: 4095 >> 3 === 511. Actual: ' + (4095 >> 3));
}
if (8191 >> 3 !== 1023) {
$ERROR('#110: 8191 >> 3 === 1023. Actual: ' + (8191 >> 3));
}
if (16383 >> 3 !== 2047) {
$ERROR('#111: 16383 >> 3 === 2047. Actual: ' + (16383 >> 3));
}
if (32767 >> 3 !== 4095) {
$ERROR('#112: 32767 >> 3 === 4095. Actual: ' + (32767 >> 3));
}
if (65535 >> 3 !== 8191) {
$ERROR('#113: 65535 >> 3 === 8191. Actual: ' + (65535 >> 3));
}
if (131071 >> 3 !== 16383) {
$ERROR('#114: 131071 >> 3 === 16383. Actual: ' + (131071 >> 3));
}
if (262143 >> 3 !== 32767) {
$ERROR('#115: 262143 >> 3 === 32767. Actual: ' + (262143 >> 3));
}
if (524287 >> 3 !== 65535) {
$ERROR('#116: 524287 >> 3 === 65535. Actual: ' + (524287 >> 3));
}
if (1048575 >> 3 !== 131071) {
$ERROR('#117: 1048575 >> 3 === 131071. Actual: ' + (1048575 >> 3));
}
if (2097151 >> 3 !== 262143) {
$ERROR('#118: 2097151 >> 3 === 262143. Actual: ' + (2097151 >> 3));
}
if (4194303 >> 3 !== 524287) {
$ERROR('#119: 4194303 >> 3 === 524287. Actual: ' + (4194303 >> 3));
}
if (8388607 >> 3 !== 1048575) {
$ERROR('#120: 8388607 >> 3 === 1048575. Actual: ' + (8388607 >> 3));
}
if (16777215 >> 3 !== 2097151) {
$ERROR('#121: 16777215 >> 3 === 2097151. Actual: ' + (16777215 >> 3));
}
if (33554431 >> 3 !== 4194303) {
$ERROR('#122: 33554431 >> 3 === 4194303. Actual: ' + (33554431 >> 3));
}
if (67108863 >> 3 !== 8388607) {
$ERROR('#123: 67108863 >> 3 === 8388607. Actual: ' + (67108863 >> 3));
}
if (134217727 >> 3 !== 16777215) {
$ERROR('#124: 134217727 >> 3 === 16777215. Actual: ' + (134217727 >> 3));
}
if (268435455 >> 3 !== 33554431) {
$ERROR('#125: 268435455 >> 3 === 33554431. Actual: ' + (268435455 >> 3));
}
if (536870911 >> 3 !== 67108863) {
$ERROR('#126: 536870911 >> 3 === 67108863. Actual: ' + (536870911 >> 3));
}
if (1073741823 >> 3 !== 134217727) {
$ERROR('#127: 1073741823 >> 3 === 134217727. Actual: ' + (1073741823 >> 3));
}
if (2147483647 >> 3 !== 268435455) {
$ERROR('#128: 2147483647 >> 3 === 268435455. Actual: ' + (2147483647 >> 3));
}
if (0 >> 4 !== 0) {
$ERROR('#129: 0 >> 4 === 0. Actual: ' + (0 >> 4));
}
if (1 >> 4 !== 0) {
$ERROR('#130: 1 >> 4 === 0. Actual: ' + (1 >> 4));
}
if (3 >> 4 !== 0) {
$ERROR('#131: 3 >> 4 === 0. Actual: ' + (3 >> 4));
}
if (7 >> 4 !== 0) {
$ERROR('#132: 7 >> 4 === 0. Actual: ' + (7 >> 4));
}
if (15 >> 4 !== 0) {
$ERROR('#133: 15 >> 4 === 0. Actual: ' + (15 >> 4));
}
if (31 >> 4 !== 1) {
$ERROR('#134: 31 >> 4 === 1. Actual: ' + (31 >> 4));
}
if (63 >> 4 !== 3) {
$ERROR('#135: 63 >> 4 === 3. Actual: ' + (63 >> 4));
}
if (127 >> 4 !== 7) {
$ERROR('#136: 127 >> 4 === 7. Actual: ' + (127 >> 4));
}
if (255 >> 4 !== 15) {
$ERROR('#137: 255 >> 4 === 15. Actual: ' + (255 >> 4));
}
if (511 >> 4 !== 31) {
$ERROR('#138: 511 >> 4 === 31. Actual: ' + (511 >> 4));
}
if (1023 >> 4 !== 63) {
$ERROR('#139: 1023 >> 4 === 63. Actual: ' + (1023 >> 4));
}
if (2047 >> 4 !== 127) {
$ERROR('#140: 2047 >> 4 === 127. Actual: ' + (2047 >> 4));
}
if (4095 >> 4 !== 255) {
$ERROR('#141: 4095 >> 4 === 255. Actual: ' + (4095 >> 4));
}
if (8191 >> 4 !== 511) {
$ERROR('#142: 8191 >> 4 === 511. Actual: ' + (8191 >> 4));
}
if (16383 >> 4 !== 1023) {
$ERROR('#143: 16383 >> 4 === 1023. Actual: ' + (16383 >> 4));
}
if (32767 >> 4 !== 2047) {
$ERROR('#144: 32767 >> 4 === 2047. Actual: ' + (32767 >> 4));
}
if (65535 >> 4 !== 4095) {
$ERROR('#145: 65535 >> 4 === 4095. Actual: ' + (65535 >> 4));
}
if (131071 >> 4 !== 8191) {
$ERROR('#146: 131071 >> 4 === 8191. Actual: ' + (131071 >> 4));
}
if (262143 >> 4 !== 16383) {
$ERROR('#147: 262143 >> 4 === 16383. Actual: ' + (262143 >> 4));
}
if (524287 >> 4 !== 32767) {
$ERROR('#148: 524287 >> 4 === 32767. Actual: ' + (524287 >> 4));
}
if (1048575 >> 4 !== 65535) {
$ERROR('#149: 1048575 >> 4 === 65535. Actual: ' + (1048575 >> 4));
}
if (2097151 >> 4 !== 131071) {
$ERROR('#150: 2097151 >> 4 === 131071. Actual: ' + (2097151 >> 4));
}
if (4194303 >> 4 !== 262143) {
$ERROR('#151: 4194303 >> 4 === 262143. Actual: ' + (4194303 >> 4));
}
if (8388607 >> 4 !== 524287) {
$ERROR('#152: 8388607 >> 4 === 524287. Actual: ' + (8388607 >> 4));
}
if (16777215 >> 4 !== 1048575) {
$ERROR('#153: 16777215 >> 4 === 1048575. Actual: ' + (16777215 >> 4));
}
if (33554431 >> 4 !== 2097151) {
$ERROR('#154: 33554431 >> 4 === 2097151. Actual: ' + (33554431 >> 4));
}
if (67108863 >> 4 !== 4194303) {
$ERROR('#155: 67108863 >> 4 === 4194303. Actual: ' + (67108863 >> 4));
}
if (134217727 >> 4 !== 8388607) {
$ERROR('#156: 134217727 >> 4 === 8388607. Actual: ' + (134217727 >> 4));
}
if (268435455 >> 4 !== 16777215) {
$ERROR('#157: 268435455 >> 4 === 16777215. Actual: ' + (268435455 >> 4));
}
if (536870911 >> 4 !== 33554431) {
$ERROR('#158: 536870911 >> 4 === 33554431. Actual: ' + (536870911 >> 4));
}
if (1073741823 >> 4 !== 67108863) {
$ERROR('#159: 1073741823 >> 4 === 67108863. Actual: ' + (1073741823 >> 4));
}
if (2147483647 >> 4 !== 134217727) {
$ERROR('#160: 2147483647 >> 4 === 134217727. Actual: ' + (2147483647 >> 4));
}
if (0 >> 5 !== 0) {
$ERROR('#161: 0 >> 5 === 0. Actual: ' + (0 >> 5));
}
if (1 >> 5 !== 0) {
$ERROR('#162: 1 >> 5 === 0. Actual: ' + (1 >> 5));
}
if (3 >> 5 !== 0) {
$ERROR('#163: 3 >> 5 === 0. Actual: ' + (3 >> 5));
}
if (7 >> 5 !== 0) {
$ERROR('#164: 7 >> 5 === 0. Actual: ' + (7 >> 5));
}
if (15 >> 5 !== 0) {
$ERROR('#165: 15 >> 5 === 0. Actual: ' + (15 >> 5));
}
if (31 >> 5 !== 0) {
$ERROR('#166: 31 >> 5 === 0. Actual: ' + (31 >> 5));
}
if (63 >> 5 !== 1) {
$ERROR('#167: 63 >> 5 === 1. Actual: ' + (63 >> 5));
}
if (127 >> 5 !== 3) {
$ERROR('#168: 127 >> 5 === 3. Actual: ' + (127 >> 5));
}
if (255 >> 5 !== 7) {
$ERROR('#169: 255 >> 5 === 7. Actual: ' + (255 >> 5));
}
if (511 >> 5 !== 15) {
$ERROR('#170: 511 >> 5 === 15. Actual: ' + (511 >> 5));
}
if (1023 >> 5 !== 31) {
$ERROR('#171: 1023 >> 5 === 31. Actual: ' + (1023 >> 5));
}
if (2047 >> 5 !== 63) {
$ERROR('#172: 2047 >> 5 === 63. Actual: ' + (2047 >> 5));
}
if (4095 >> 5 !== 127) {
$ERROR('#173: 4095 >> 5 === 127. Actual: ' + (4095 >> 5));
}
if (8191 >> 5 !== 255) {
$ERROR('#174: 8191 >> 5 === 255. Actual: ' + (8191 >> 5));
}
if (16383 >> 5 !== 511) {
$ERROR('#175: 16383 >> 5 === 511. Actual: ' + (16383 >> 5));
}
if (32767 >> 5 !== 1023) {
$ERROR('#176: 32767 >> 5 === 1023. Actual: ' + (32767 >> 5));
}
if (65535 >> 5 !== 2047) {
$ERROR('#177: 65535 >> 5 === 2047. Actual: ' + (65535 >> 5));
}
if (131071 >> 5 !== 4095) {
$ERROR('#178: 131071 >> 5 === 4095. Actual: ' + (131071 >> 5));
}
if (262143 >> 5 !== 8191) {
$ERROR('#179: 262143 >> 5 === 8191. Actual: ' + (262143 >> 5));
}
if (524287 >> 5 !== 16383) {
$ERROR('#180: 524287 >> 5 === 16383. Actual: ' + (524287 >> 5));
}
if (1048575 >> 5 !== 32767) {
$ERROR('#181: 1048575 >> 5 === 32767. Actual: ' + (1048575 >> 5));
}
if (2097151 >> 5 !== 65535) {
$ERROR('#182: 2097151 >> 5 === 65535. Actual: ' + (2097151 >> 5));
}
if (4194303 >> 5 !== 131071) {
$ERROR('#183: 4194303 >> 5 === 131071. Actual: ' + (4194303 >> 5));
}
if (8388607 >> 5 !== 262143) {
$ERROR('#184: 8388607 >> 5 === 262143. Actual: ' + (8388607 >> 5));
}
if (16777215 >> 5 !== 524287) {
$ERROR('#185: 16777215 >> 5 === 524287. Actual: ' + (16777215 >> 5));
}
if (33554431 >> 5 !== 1048575) {
$ERROR('#186: 33554431 >> 5 === 1048575. Actual: ' + (33554431 >> 5));
}
if (67108863 >> 5 !== 2097151) {
$ERROR('#187: 67108863 >> 5 === 2097151. Actual: ' + (67108863 >> 5));
}
if (134217727 >> 5 !== 4194303) {
$ERROR('#188: 134217727 >> 5 === 4194303. Actual: ' + (134217727 >> 5));
}
if (268435455 >> 5 !== 8388607) {
$ERROR('#189: 268435455 >> 5 === 8388607. Actual: ' + (268435455 >> 5));
}
if (536870911 >> 5 !== 16777215) {
$ERROR('#190: 536870911 >> 5 === 16777215. Actual: ' + (536870911 >> 5));
}
if (1073741823 >> 5 !== 33554431) {
$ERROR('#191: 1073741823 >> 5 === 33554431. Actual: ' + (1073741823 >> 5));
}
if (2147483647 >> 5 !== 67108863) {
$ERROR('#192: 2147483647 >> 5 === 67108863. Actual: ' + (2147483647 >> 5));
}
if (0 >> 6 !== 0) {
$ERROR('#193: 0 >> 6 === 0. Actual: ' + (0 >> 6));
}
if (1 >> 6 !== 0) {
$ERROR('#194: 1 >> 6 === 0. Actual: ' + (1 >> 6));
}
if (3 >> 6 !== 0) {
$ERROR('#195: 3 >> 6 === 0. Actual: ' + (3 >> 6));
}
if (7 >> 6 !== 0) {
$ERROR('#196: 7 >> 6 === 0. Actual: ' + (7 >> 6));
}
if (15 >> 6 !== 0) {
$ERROR('#197: 15 >> 6 === 0. Actual: ' + (15 >> 6));
}
if (31 >> 6 !== 0) {
$ERROR('#198: 31 >> 6 === 0. Actual: ' + (31 >> 6));
}
if (63 >> 6 !== 0) {
$ERROR('#199: 63 >> 6 === 0. Actual: ' + (63 >> 6));
}
if (127 >> 6 !== 1) {
$ERROR('#200: 127 >> 6 === 1. Actual: ' + (127 >> 6));
}
if (255 >> 6 !== 3) {
$ERROR('#201: 255 >> 6 === 3. Actual: ' + (255 >> 6));
}
if (511 >> 6 !== 7) {
$ERROR('#202: 511 >> 6 === 7. Actual: ' + (511 >> 6));
}
if (1023 >> 6 !== 15) {
$ERROR('#203: 1023 >> 6 === 15. Actual: ' + (1023 >> 6));
}
if (2047 >> 6 !== 31) {
$ERROR('#204: 2047 >> 6 === 31. Actual: ' + (2047 >> 6));
}
if (4095 >> 6 !== 63) {
$ERROR('#205: 4095 >> 6 === 63. Actual: ' + (4095 >> 6));
}
if (8191 >> 6 !== 127) {
$ERROR('#206: 8191 >> 6 === 127. Actual: ' + (8191 >> 6));
}
if (16383 >> 6 !== 255) {
$ERROR('#207: 16383 >> 6 === 255. Actual: ' + (16383 >> 6));
}
if (32767 >> 6 !== 511) {
$ERROR('#208: 32767 >> 6 === 511. Actual: ' + (32767 >> 6));
}
if (65535 >> 6 !== 1023) {
$ERROR('#209: 65535 >> 6 === 1023. Actual: ' + (65535 >> 6));
}
if (131071 >> 6 !== 2047) {
$ERROR('#210: 131071 >> 6 === 2047. Actual: ' + (131071 >> 6));
}
if (262143 >> 6 !== 4095) {
$ERROR('#211: 262143 >> 6 === 4095. Actual: ' + (262143 >> 6));
}
if (524287 >> 6 !== 8191) {
$ERROR('#212: 524287 >> 6 === 8191. Actual: ' + (524287 >> 6));
}
if (1048575 >> 6 !== 16383) {
$ERROR('#213: 1048575 >> 6 === 16383. Actual: ' + (1048575 >> 6));
}
if (2097151 >> 6 !== 32767) {
$ERROR('#214: 2097151 >> 6 === 32767. Actual: ' + (2097151 >> 6));
}
if (4194303 >> 6 !== 65535) {
$ERROR('#215: 4194303 >> 6 === 65535. Actual: ' + (4194303 >> 6));
}
if (8388607 >> 6 !== 131071) {
$ERROR('#216: 8388607 >> 6 === 131071. Actual: ' + (8388607 >> 6));
}
if (16777215 >> 6 !== 262143) {
$ERROR('#217: 16777215 >> 6 === 262143. Actual: ' + (16777215 >> 6));
}
if (33554431 >> 6 !== 524287) {
$ERROR('#218: 33554431 >> 6 === 524287. Actual: ' + (33554431 >> 6));
}
if (67108863 >> 6 !== 1048575) {
$ERROR('#219: 67108863 >> 6 === 1048575. Actual: ' + (67108863 >> 6));
}
if (134217727 >> 6 !== 2097151) {
$ERROR('#220: 134217727 >> 6 === 2097151. Actual: ' + (134217727 >> 6));
}
if (268435455 >> 6 !== 4194303) {
$ERROR('#221: 268435455 >> 6 === 4194303. Actual: ' + (268435455 >> 6));
}
if (536870911 >> 6 !== 8388607) {
$ERROR('#222: 536870911 >> 6 === 8388607. Actual: ' + (536870911 >> 6));
}
if (1073741823 >> 6 !== 16777215) {
$ERROR('#223: 1073741823 >> 6 === 16777215. Actual: ' + (1073741823 >> 6));
}
if (2147483647 >> 6 !== 33554431) {
$ERROR('#224: 2147483647 >> 6 === 33554431. Actual: ' + (2147483647 >> 6));
}
if (0 >> 7 !== 0) {
$ERROR('#225: 0 >> 7 === 0. Actual: ' + (0 >> 7));
}
if (1 >> 7 !== 0) {
$ERROR('#226: 1 >> 7 === 0. Actual: ' + (1 >> 7));
}
if (3 >> 7 !== 0) {
$ERROR('#227: 3 >> 7 === 0. Actual: ' + (3 >> 7));
}
if (7 >> 7 !== 0) {
$ERROR('#228: 7 >> 7 === 0. Actual: ' + (7 >> 7));
}
if (15 >> 7 !== 0) {
$ERROR('#229: 15 >> 7 === 0. Actual: ' + (15 >> 7));
}
if (31 >> 7 !== 0) {
$ERROR('#230: 31 >> 7 === 0. Actual: ' + (31 >> 7));
}
if (63 >> 7 !== 0) {
$ERROR('#231: 63 >> 7 === 0. Actual: ' + (63 >> 7));
}
if (127 >> 7 !== 0) {
$ERROR('#232: 127 >> 7 === 0. Actual: ' + (127 >> 7));
}
if (255 >> 7 !== 1) {
$ERROR('#233: 255 >> 7 === 1. Actual: ' + (255 >> 7));
}
if (511 >> 7 !== 3) {
$ERROR('#234: 511 >> 7 === 3. Actual: ' + (511 >> 7));
}
if (1023 >> 7 !== 7) {
$ERROR('#235: 1023 >> 7 === 7. Actual: ' + (1023 >> 7));
}
if (2047 >> 7 !== 15) {
$ERROR('#236: 2047 >> 7 === 15. Actual: ' + (2047 >> 7));
}
if (4095 >> 7 !== 31) {
$ERROR('#237: 4095 >> 7 === 31. Actual: ' + (4095 >> 7));
}
if (8191 >> 7 !== 63) {
$ERROR('#238: 8191 >> 7 === 63. Actual: ' + (8191 >> 7));
}
if (16383 >> 7 !== 127) {
$ERROR('#239: 16383 >> 7 === 127. Actual: ' + (16383 >> 7));
}
if (32767 >> 7 !== 255) {
$ERROR('#240: 32767 >> 7 === 255. Actual: ' + (32767 >> 7));
}
if (65535 >> 7 !== 511) {
$ERROR('#241: 65535 >> 7 === 511. Actual: ' + (65535 >> 7));
}
if (131071 >> 7 !== 1023) {
$ERROR('#242: 131071 >> 7 === 1023. Actual: ' + (131071 >> 7));
}
if (262143 >> 7 !== 2047) {
$ERROR('#243: 262143 >> 7 === 2047. Actual: ' + (262143 >> 7));
}
if (524287 >> 7 !== 4095) {
$ERROR('#244: 524287 >> 7 === 4095. Actual: ' + (524287 >> 7));
}
if (1048575 >> 7 !== 8191) {
$ERROR('#245: 1048575 >> 7 === 8191. Actual: ' + (1048575 >> 7));
}
if (2097151 >> 7 !== 16383) {
$ERROR('#246: 2097151 >> 7 === 16383. Actual: ' + (2097151 >> 7));
}
if (4194303 >> 7 !== 32767) {
$ERROR('#247: 4194303 >> 7 === 32767. Actual: ' + (4194303 >> 7));
}
if (8388607 >> 7 !== 65535) {
$ERROR('#248: 8388607 >> 7 === 65535. Actual: ' + (8388607 >> 7));
}
if (16777215 >> 7 !== 131071) {
$ERROR('#249: 16777215 >> 7 === 131071. Actual: ' + (16777215 >> 7));
}
if (33554431 >> 7 !== 262143) {
$ERROR('#250: 33554431 >> 7 === 262143. Actual: ' + (33554431 >> 7));
}
if (67108863 >> 7 !== 524287) {
$ERROR('#251: 67108863 >> 7 === 524287. Actual: ' + (67108863 >> 7));
}
if (134217727 >> 7 !== 1048575) {
$ERROR('#252: 134217727 >> 7 === 1048575. Actual: ' + (134217727 >> 7));
}
if (268435455 >> 7 !== 2097151) {
$ERROR('#253: 268435455 >> 7 === 2097151. Actual: ' + (268435455 >> 7));
}
if (536870911 >> 7 !== 4194303) {
$ERROR('#254: 536870911 >> 7 === 4194303. Actual: ' + (536870911 >> 7));
}
if (1073741823 >> 7 !== 8388607) {
$ERROR('#255: 1073741823 >> 7 === 8388607. Actual: ' + (1073741823 >> 7));
}
if (2147483647 >> 7 !== 16777215) {
$ERROR('#256: 2147483647 >> 7 === 16777215. Actual: ' + (2147483647 >> 7));
}
if (0 >> 8 !== 0) {
$ERROR('#257: 0 >> 8 === 0. Actual: ' + (0 >> 8));
}
if (1 >> 8 !== 0) {
$ERROR('#258: 1 >> 8 === 0. Actual: ' + (1 >> 8));
}
if (3 >> 8 !== 0) {
$ERROR('#259: 3 >> 8 === 0. Actual: ' + (3 >> 8));
}
if (7 >> 8 !== 0) {
$ERROR('#260: 7 >> 8 === 0. Actual: ' + (7 >> 8));
}
if (15 >> 8 !== 0) {
$ERROR('#261: 15 >> 8 === 0. Actual: ' + (15 >> 8));
}
if (31 >> 8 !== 0) {
$ERROR('#262: 31 >> 8 === 0. Actual: ' + (31 >> 8));
}
if (63 >> 8 !== 0) {
$ERROR('#263: 63 >> 8 === 0. Actual: ' + (63 >> 8));
}
if (127 >> 8 !== 0) {
$ERROR('#264: 127 >> 8 === 0. Actual: ' + (127 >> 8));
}
if (255 >> 8 !== 0) {
$ERROR('#265: 255 >> 8 === 0. Actual: ' + (255 >> 8));
}
if (511 >> 8 !== 1) {
$ERROR('#266: 511 >> 8 === 1. Actual: ' + (511 >> 8));
}
if (1023 >> 8 !== 3) {
$ERROR('#267: 1023 >> 8 === 3. Actual: ' + (1023 >> 8));
}
if (2047 >> 8 !== 7) {
$ERROR('#268: 2047 >> 8 === 7. Actual: ' + (2047 >> 8));
}
if (4095 >> 8 !== 15) {
$ERROR('#269: 4095 >> 8 === 15. Actual: ' + (4095 >> 8));
}
if (8191 >> 8 !== 31) {
$ERROR('#270: 8191 >> 8 === 31. Actual: ' + (8191 >> 8));
}
if (16383 >> 8 !== 63) {
$ERROR('#271: 16383 >> 8 === 63. Actual: ' + (16383 >> 8));
}
if (32767 >> 8 !== 127) {
$ERROR('#272: 32767 >> 8 === 127. Actual: ' + (32767 >> 8));
}
if (65535 >> 8 !== 255) {
$ERROR('#273: 65535 >> 8 === 255. Actual: ' + (65535 >> 8));
}
if (131071 >> 8 !== 511) {
$ERROR('#274: 131071 >> 8 === 511. Actual: ' + (131071 >> 8));
}
if (262143 >> 8 !== 1023) {
$ERROR('#275: 262143 >> 8 === 1023. Actual: ' + (262143 >> 8));
}
if (524287 >> 8 !== 2047) {
$ERROR('#276: 524287 >> 8 === 2047. Actual: ' + (524287 >> 8));
}
if (1048575 >> 8 !== 4095) {
$ERROR('#277: 1048575 >> 8 === 4095. Actual: ' + (1048575 >> 8));
}
if (2097151 >> 8 !== 8191) {
$ERROR('#278: 2097151 >> 8 === 8191. Actual: ' + (2097151 >> 8));
}
if (4194303 >> 8 !== 16383) {
$ERROR('#279: 4194303 >> 8 === 16383. Actual: ' + (4194303 >> 8));
}
if (8388607 >> 8 !== 32767) {
$ERROR('#280: 8388607 >> 8 === 32767. Actual: ' + (8388607 >> 8));
}
if (16777215 >> 8 !== 65535) {
$ERROR('#281: 16777215 >> 8 === 65535. Actual: ' + (16777215 >> 8));
}
if (33554431 >> 8 !== 131071) {
$ERROR('#282: 33554431 >> 8 === 131071. Actual: ' + (33554431 >> 8));
}
if (67108863 >> 8 !== 262143) {
$ERROR('#283: 67108863 >> 8 === 262143. Actual: ' + (67108863 >> 8));
}
if (134217727 >> 8 !== 524287) {
$ERROR('#284: 134217727 >> 8 === 524287. Actual: ' + (134217727 >> 8));
}
if (268435455 >> 8 !== 1048575) {
$ERROR('#285: 268435455 >> 8 === 1048575. Actual: ' + (268435455 >> 8));
}
if (536870911 >> 8 !== 2097151) {
$ERROR('#286: 536870911 >> 8 === 2097151. Actual: ' + (536870911 >> 8));
}
if (1073741823 >> 8 !== 4194303) {
$ERROR('#287: 1073741823 >> 8 === 4194303. Actual: ' + (1073741823 >> 8));
}
if (2147483647 >> 8 !== 8388607) {
$ERROR('#288: 2147483647 >> 8 === 8388607. Actual: ' + (2147483647 >> 8));
}
if (0 >> 9 !== 0) {
$ERROR('#289: 0 >> 9 === 0. Actual: ' + (0 >> 9));
}
if (1 >> 9 !== 0) {
$ERROR('#290: 1 >> 9 === 0. Actual: ' + (1 >> 9));
}
if (3 >> 9 !== 0) {
$ERROR('#291: 3 >> 9 === 0. Actual: ' + (3 >> 9));
}
if (7 >> 9 !== 0) {
$ERROR('#292: 7 >> 9 === 0. Actual: ' + (7 >> 9));
}
if (15 >> 9 !== 0) {
$ERROR('#293: 15 >> 9 === 0. Actual: ' + (15 >> 9));
}
if (31 >> 9 !== 0) {
$ERROR('#294: 31 >> 9 === 0. Actual: ' + (31 >> 9));
}
if (63 >> 9 !== 0) {
$ERROR('#295: 63 >> 9 === 0. Actual: ' + (63 >> 9));
}
if (127 >> 9 !== 0) {
$ERROR('#296: 127 >> 9 === 0. Actual: ' + (127 >> 9));
}
if (255 >> 9 !== 0) {
$ERROR('#297: 255 >> 9 === 0. Actual: ' + (255 >> 9));
}
if (511 >> 9 !== 0) {
$ERROR('#298: 511 >> 9 === 0. Actual: ' + (511 >> 9));
}
if (1023 >> 9 !== 1) {
$ERROR('#299: 1023 >> 9 === 1. Actual: ' + (1023 >> 9));
}
if (2047 >> 9 !== 3) {
$ERROR('#300: 2047 >> 9 === 3. Actual: ' + (2047 >> 9));
}
if (4095 >> 9 !== 7) {
$ERROR('#301: 4095 >> 9 === 7. Actual: ' + (4095 >> 9));
}
if (8191 >> 9 !== 15) {
$ERROR('#302: 8191 >> 9 === 15. Actual: ' + (8191 >> 9));
}
if (16383 >> 9 !== 31) {
$ERROR('#303: 16383 >> 9 === 31. Actual: ' + (16383 >> 9));
}
if (32767 >> 9 !== 63) {
$ERROR('#304: 32767 >> 9 === 63. Actual: ' + (32767 >> 9));
}
if (65535 >> 9 !== 127) {
$ERROR('#305: 65535 >> 9 === 127. Actual: ' + (65535 >> 9));
}
if (131071 >> 9 !== 255) {
$ERROR('#306: 131071 >> 9 === 255. Actual: ' + (131071 >> 9));
}
if (262143 >> 9 !== 511) {
$ERROR('#307: 262143 >> 9 === 511. Actual: ' + (262143 >> 9));
}
if (524287 >> 9 !== 1023) {
$ERROR('#308: 524287 >> 9 === 1023. Actual: ' + (524287 >> 9));
}
if (1048575 >> 9 !== 2047) {
$ERROR('#309: 1048575 >> 9 === 2047. Actual: ' + (1048575 >> 9));
}
if (2097151 >> 9 !== 4095) {
$ERROR('#310: 2097151 >> 9 === 4095. Actual: ' + (2097151 >> 9));
}
if (4194303 >> 9 !== 8191) {
$ERROR('#311: 4194303 >> 9 === 8191. Actual: ' + (4194303 >> 9));
}
if (8388607 >> 9 !== 16383) {
$ERROR('#312: 8388607 >> 9 === 16383. Actual: ' + (8388607 >> 9));
}
if (16777215 >> 9 !== 32767) {
$ERROR('#313: 16777215 >> 9 === 32767. Actual: ' + (16777215 >> 9));
}
if (33554431 >> 9 !== 65535) {
$ERROR('#314: 33554431 >> 9 === 65535. Actual: ' + (33554431 >> 9));
}
if (67108863 >> 9 !== 131071) {
$ERROR('#315: 67108863 >> 9 === 131071. Actual: ' + (67108863 >> 9));
}
if (134217727 >> 9 !== 262143) {
$ERROR('#316: 134217727 >> 9 === 262143. Actual: ' + (134217727 >> 9));
}
if (268435455 >> 9 !== 524287) {
$ERROR('#317: 268435455 >> 9 === 524287. Actual: ' + (268435455 >> 9));
}
if (536870911 >> 9 !== 1048575) {
$ERROR('#318: 536870911 >> 9 === 1048575. Actual: ' + (536870911 >> 9));
}
if (1073741823 >> 9 !== 2097151) {
$ERROR('#319: 1073741823 >> 9 === 2097151. Actual: ' + (1073741823 >> 9));
}
if (2147483647 >> 9 !== 4194303) {
$ERROR('#320: 2147483647 >> 9 === 4194303. Actual: ' + (2147483647 >> 9));
}
if (0 >> 10 !== 0) {
$ERROR('#321: 0 >> 10 === 0. Actual: ' + (0 >> 10));
}
if (1 >> 10 !== 0) {
$ERROR('#322: 1 >> 10 === 0. Actual: ' + (1 >> 10));
}
if (3 >> 10 !== 0) {
$ERROR('#323: 3 >> 10 === 0. Actual: ' + (3 >> 10));
}
if (7 >> 10 !== 0) {
$ERROR('#324: 7 >> 10 === 0. Actual: ' + (7 >> 10));
}
if (15 >> 10 !== 0) {
$ERROR('#325: 15 >> 10 === 0. Actual: ' + (15 >> 10));
}
if (31 >> 10 !== 0) {
$ERROR('#326: 31 >> 10 === 0. Actual: ' + (31 >> 10));
}
if (63 >> 10 !== 0) {
$ERROR('#327: 63 >> 10 === 0. Actual: ' + (63 >> 10));
}
if (127 >> 10 !== 0) {
$ERROR('#328: 127 >> 10 === 0. Actual: ' + (127 >> 10));
}
if (255 >> 10 !== 0) {
$ERROR('#329: 255 >> 10 === 0. Actual: ' + (255 >> 10));
}
if (511 >> 10 !== 0) {
$ERROR('#330: 511 >> 10 === 0. Actual: ' + (511 >> 10));
}
if (1023 >> 10 !== 0) {
$ERROR('#331: 1023 >> 10 === 0. Actual: ' + (1023 >> 10));
}
if (2047 >> 10 !== 1) {
$ERROR('#332: 2047 >> 10 === 1. Actual: ' + (2047 >> 10));
}
if (4095 >> 10 !== 3) {
$ERROR('#333: 4095 >> 10 === 3. Actual: ' + (4095 >> 10));
}
if (8191 >> 10 !== 7) {
$ERROR('#334: 8191 >> 10 === 7. Actual: ' + (8191 >> 10));
}
if (16383 >> 10 !== 15) {
$ERROR('#335: 16383 >> 10 === 15. Actual: ' + (16383 >> 10));
}
if (32767 >> 10 !== 31) {
$ERROR('#336: 32767 >> 10 === 31. Actual: ' + (32767 >> 10));
}
if (65535 >> 10 !== 63) {
$ERROR('#337: 65535 >> 10 === 63. Actual: ' + (65535 >> 10));
}
if (131071 >> 10 !== 127) {
$ERROR('#338: 131071 >> 10 === 127. Actual: ' + (131071 >> 10));
}
if (262143 >> 10 !== 255) {
$ERROR('#339: 262143 >> 10 === 255. Actual: ' + (262143 >> 10));
}
if (524287 >> 10 !== 511) {
$ERROR('#340: 524287 >> 10 === 511. Actual: ' + (524287 >> 10));
}
if (1048575 >> 10 !== 1023) {
$ERROR('#341: 1048575 >> 10 === 1023. Actual: ' + (1048575 >> 10));
}
if (2097151 >> 10 !== 2047) {
$ERROR('#342: 2097151 >> 10 === 2047. Actual: ' + (2097151 >> 10));
}
if (4194303 >> 10 !== 4095) {
$ERROR('#343: 4194303 >> 10 === 4095. Actual: ' + (4194303 >> 10));
}
if (8388607 >> 10 !== 8191) {
$ERROR('#344: 8388607 >> 10 === 8191. Actual: ' + (8388607 >> 10));
}
if (16777215 >> 10 !== 16383) {
$ERROR('#345: 16777215 >> 10 === 16383. Actual: ' + (16777215 >> 10));
}
if (33554431 >> 10 !== 32767) {
$ERROR('#346: 33554431 >> 10 === 32767. Actual: ' + (33554431 >> 10));
}
if (67108863 >> 10 !== 65535) {
$ERROR('#347: 67108863 >> 10 === 65535. Actual: ' + (67108863 >> 10));
}
if (134217727 >> 10 !== 131071) {
$ERROR('#348: 134217727 >> 10 === 131071. Actual: ' + (134217727 >> 10));
}
if (268435455 >> 10 !== 262143) {
$ERROR('#349: 268435455 >> 10 === 262143. Actual: ' + (268435455 >> 10));
}
if (536870911 >> 10 !== 524287) {
$ERROR('#350: 536870911 >> 10 === 524287. Actual: ' + (536870911 >> 10));
}
if (1073741823 >> 10 !== 1048575) {
$ERROR('#351: 1073741823 >> 10 === 1048575. Actual: ' + (1073741823 >> 10));
}
if (2147483647 >> 10 !== 2097151) {
$ERROR('#352: 2147483647 >> 10 === 2097151. Actual: ' + (2147483647 >> 10));
}
if (0 >> 11 !== 0) {
$ERROR('#353: 0 >> 11 === 0. Actual: ' + (0 >> 11));
}
if (1 >> 11 !== 0) {
$ERROR('#354: 1 >> 11 === 0. Actual: ' + (1 >> 11));
}
if (3 >> 11 !== 0) {
$ERROR('#355: 3 >> 11 === 0. Actual: ' + (3 >> 11));
}
if (7 >> 11 !== 0) {
$ERROR('#356: 7 >> 11 === 0. Actual: ' + (7 >> 11));
}
if (15 >> 11 !== 0) {
$ERROR('#357: 15 >> 11 === 0. Actual: ' + (15 >> 11));
}
if (31 >> 11 !== 0) {
$ERROR('#358: 31 >> 11 === 0. Actual: ' + (31 >> 11));
}
if (63 >> 11 !== 0) {
$ERROR('#359: 63 >> 11 === 0. Actual: ' + (63 >> 11));
}
if (127 >> 11 !== 0) {
$ERROR('#360: 127 >> 11 === 0. Actual: ' + (127 >> 11));
}
if (255 >> 11 !== 0) {
$ERROR('#361: 255 >> 11 === 0. Actual: ' + (255 >> 11));
}
if (511 >> 11 !== 0) {
$ERROR('#362: 511 >> 11 === 0. Actual: ' + (511 >> 11));
}
if (1023 >> 11 !== 0) {
$ERROR('#363: 1023 >> 11 === 0. Actual: ' + (1023 >> 11));
}
if (2047 >> 11 !== 0) {
$ERROR('#364: 2047 >> 11 === 0. Actual: ' + (2047 >> 11));
}
if (4095 >> 11 !== 1) {
$ERROR('#365: 4095 >> 11 === 1. Actual: ' + (4095 >> 11));
}
if (8191 >> 11 !== 3) {
$ERROR('#366: 8191 >> 11 === 3. Actual: ' + (8191 >> 11));
}
if (16383 >> 11 !== 7) {
$ERROR('#367: 16383 >> 11 === 7. Actual: ' + (16383 >> 11));
}
if (32767 >> 11 !== 15) {
$ERROR('#368: 32767 >> 11 === 15. Actual: ' + (32767 >> 11));
}
if (65535 >> 11 !== 31) {
$ERROR('#369: 65535 >> 11 === 31. Actual: ' + (65535 >> 11));
}
if (131071 >> 11 !== 63) {
$ERROR('#370: 131071 >> 11 === 63. Actual: ' + (131071 >> 11));
}
if (262143 >> 11 !== 127) {
$ERROR('#371: 262143 >> 11 === 127. Actual: ' + (262143 >> 11));
}
if (524287 >> 11 !== 255) {
$ERROR('#372: 524287 >> 11 === 255. Actual: ' + (524287 >> 11));
}
if (1048575 >> 11 !== 511) {
$ERROR('#373: 1048575 >> 11 === 511. Actual: ' + (1048575 >> 11));
}
if (2097151 >> 11 !== 1023) {
$ERROR('#374: 2097151 >> 11 === 1023. Actual: ' + (2097151 >> 11));
}
if (4194303 >> 11 !== 2047) {
$ERROR('#375: 4194303 >> 11 === 2047. Actual: ' + (4194303 >> 11));
}
if (8388607 >> 11 !== 4095) {
$ERROR('#376: 8388607 >> 11 === 4095. Actual: ' + (8388607 >> 11));
}
if (16777215 >> 11 !== 8191) {
$ERROR('#377: 16777215 >> 11 === 8191. Actual: ' + (16777215 >> 11));
}
if (33554431 >> 11 !== 16383) {
$ERROR('#378: 33554431 >> 11 === 16383. Actual: ' + (33554431 >> 11));
}
if (67108863 >> 11 !== 32767) {
$ERROR('#379: 67108863 >> 11 === 32767. Actual: ' + (67108863 >> 11));
}
if (134217727 >> 11 !== 65535) {
$ERROR('#380: 134217727 >> 11 === 65535. Actual: ' + (134217727 >> 11));
}
if (268435455 >> 11 !== 131071) {
$ERROR('#381: 268435455 >> 11 === 131071. Actual: ' + (268435455 >> 11));
}
if (536870911 >> 11 !== 262143) {
$ERROR('#382: 536870911 >> 11 === 262143. Actual: ' + (536870911 >> 11));
}
if (1073741823 >> 11 !== 524287) {
$ERROR('#383: 1073741823 >> 11 === 524287. Actual: ' + (1073741823 >> 11));
}
if (2147483647 >> 11 !== 1048575) {
$ERROR('#384: 2147483647 >> 11 === 1048575. Actual: ' + (2147483647 >> 11));
}
if (0 >> 12 !== 0) {
$ERROR('#385: 0 >> 12 === 0. Actual: ' + (0 >> 12));
}
if (1 >> 12 !== 0) {
$ERROR('#386: 1 >> 12 === 0. Actual: ' + (1 >> 12));
}
if (3 >> 12 !== 0) {
$ERROR('#387: 3 >> 12 === 0. Actual: ' + (3 >> 12));
}
if (7 >> 12 !== 0) {
$ERROR('#388: 7 >> 12 === 0. Actual: ' + (7 >> 12));
}
if (15 >> 12 !== 0) {
$ERROR('#389: 15 >> 12 === 0. Actual: ' + (15 >> 12));
}
if (31 >> 12 !== 0) {
$ERROR('#390: 31 >> 12 === 0. Actual: ' + (31 >> 12));
}
if (63 >> 12 !== 0) {
$ERROR('#391: 63 >> 12 === 0. Actual: ' + (63 >> 12));
}
if (127 >> 12 !== 0) {
$ERROR('#392: 127 >> 12 === 0. Actual: ' + (127 >> 12));
}
if (255 >> 12 !== 0) {
$ERROR('#393: 255 >> 12 === 0. Actual: ' + (255 >> 12));
}
if (511 >> 12 !== 0) {
$ERROR('#394: 511 >> 12 === 0. Actual: ' + (511 >> 12));
}
if (1023 >> 12 !== 0) {
$ERROR('#395: 1023 >> 12 === 0. Actual: ' + (1023 >> 12));
}
if (2047 >> 12 !== 0) {
$ERROR('#396: 2047 >> 12 === 0. Actual: ' + (2047 >> 12));
}
if (4095 >> 12 !== 0) {
$ERROR('#397: 4095 >> 12 === 0. Actual: ' + (4095 >> 12));
}
if (8191 >> 12 !== 1) {
$ERROR('#398: 8191 >> 12 === 1. Actual: ' + (8191 >> 12));
}
if (16383 >> 12 !== 3) {
$ERROR('#399: 16383 >> 12 === 3. Actual: ' + (16383 >> 12));
}
if (32767 >> 12 !== 7) {
$ERROR('#400: 32767 >> 12 === 7. Actual: ' + (32767 >> 12));
}
if (65535 >> 12 !== 15) {
$ERROR('#401: 65535 >> 12 === 15. Actual: ' + (65535 >> 12));
}
if (131071 >> 12 !== 31) {
$ERROR('#402: 131071 >> 12 === 31. Actual: ' + (131071 >> 12));
}
if (262143 >> 12 !== 63) {
$ERROR('#403: 262143 >> 12 === 63. Actual: ' + (262143 >> 12));
}
if (524287 >> 12 !== 127) {
$ERROR('#404: 524287 >> 12 === 127. Actual: ' + (524287 >> 12));
}
if (1048575 >> 12 !== 255) {
$ERROR('#405: 1048575 >> 12 === 255. Actual: ' + (1048575 >> 12));
}
if (2097151 >> 12 !== 511) {
$ERROR('#406: 2097151 >> 12 === 511. Actual: ' + (2097151 >> 12));
}
if (4194303 >> 12 !== 1023) {
$ERROR('#407: 4194303 >> 12 === 1023. Actual: ' + (4194303 >> 12));
}
if (8388607 >> 12 !== 2047) {
$ERROR('#408: 8388607 >> 12 === 2047. Actual: ' + (8388607 >> 12));
}
if (16777215 >> 12 !== 4095) {
$ERROR('#409: 16777215 >> 12 === 4095. Actual: ' + (16777215 >> 12));
}
if (33554431 >> 12 !== 8191) {
$ERROR('#410: 33554431 >> 12 === 8191. Actual: ' + (33554431 >> 12));
}
if (67108863 >> 12 !== 16383) {
$ERROR('#411: 67108863 >> 12 === 16383. Actual: ' + (67108863 >> 12));
}
if (134217727 >> 12 !== 32767) {
$ERROR('#412: 134217727 >> 12 === 32767. Actual: ' + (134217727 >> 12));
}
if (268435455 >> 12 !== 65535) {
$ERROR('#413: 268435455 >> 12 === 65535. Actual: ' + (268435455 >> 12));
}
if (536870911 >> 12 !== 131071) {
$ERROR('#414: 536870911 >> 12 === 131071. Actual: ' + (536870911 >> 12));
}
if (1073741823 >> 12 !== 262143) {
$ERROR('#415: 1073741823 >> 12 === 262143. Actual: ' + (1073741823 >> 12));
}
if (2147483647 >> 12 !== 524287) {
$ERROR('#416: 2147483647 >> 12 === 524287. Actual: ' + (2147483647 >> 12));
}
if (0 >> 13 !== 0) {
$ERROR('#417: 0 >> 13 === 0. Actual: ' + (0 >> 13));
}
if (1 >> 13 !== 0) {
$ERROR('#418: 1 >> 13 === 0. Actual: ' + (1 >> 13));
}
if (3 >> 13 !== 0) {
$ERROR('#419: 3 >> 13 === 0. Actual: ' + (3 >> 13));
}
if (7 >> 13 !== 0) {
$ERROR('#420: 7 >> 13 === 0. Actual: ' + (7 >> 13));
}
if (15 >> 13 !== 0) {
$ERROR('#421: 15 >> 13 === 0. Actual: ' + (15 >> 13));
}
if (31 >> 13 !== 0) {
$ERROR('#422: 31 >> 13 === 0. Actual: ' + (31 >> 13));
}
if (63 >> 13 !== 0) {
$ERROR('#423: 63 >> 13 === 0. Actual: ' + (63 >> 13));
}
if (127 >> 13 !== 0) {
$ERROR('#424: 127 >> 13 === 0. Actual: ' + (127 >> 13));
}
if (255 >> 13 !== 0) {
$ERROR('#425: 255 >> 13 === 0. Actual: ' + (255 >> 13));
}
if (511 >> 13 !== 0) {
$ERROR('#426: 511 >> 13 === 0. Actual: ' + (511 >> 13));
}
if (1023 >> 13 !== 0) {
$ERROR('#427: 1023 >> 13 === 0. Actual: ' + (1023 >> 13));
}
if (2047 >> 13 !== 0) {
$ERROR('#428: 2047 >> 13 === 0. Actual: ' + (2047 >> 13));
}
if (4095 >> 13 !== 0) {
$ERROR('#429: 4095 >> 13 === 0. Actual: ' + (4095 >> 13));
}
if (8191 >> 13 !== 0) {
$ERROR('#430: 8191 >> 13 === 0. Actual: ' + (8191 >> 13));
}
if (16383 >> 13 !== 1) {
$ERROR('#431: 16383 >> 13 === 1. Actual: ' + (16383 >> 13));
}
if (32767 >> 13 !== 3) {
$ERROR('#432: 32767 >> 13 === 3. Actual: ' + (32767 >> 13));
}
if (65535 >> 13 !== 7) {
$ERROR('#433: 65535 >> 13 === 7. Actual: ' + (65535 >> 13));
}
if (131071 >> 13 !== 15) {
$ERROR('#434: 131071 >> 13 === 15. Actual: ' + (131071 >> 13));
}
if (262143 >> 13 !== 31) {
$ERROR('#435: 262143 >> 13 === 31. Actual: ' + (262143 >> 13));
}
if (524287 >> 13 !== 63) {
$ERROR('#436: 524287 >> 13 === 63. Actual: ' + (524287 >> 13));
}
if (1048575 >> 13 !== 127) {
$ERROR('#437: 1048575 >> 13 === 127. Actual: ' + (1048575 >> 13));
}
if (2097151 >> 13 !== 255) {
$ERROR('#438: 2097151 >> 13 === 255. Actual: ' + (2097151 >> 13));
}
if (4194303 >> 13 !== 511) {
$ERROR('#439: 4194303 >> 13 === 511. Actual: ' + (4194303 >> 13));
}
if (8388607 >> 13 !== 1023) {
$ERROR('#440: 8388607 >> 13 === 1023. Actual: ' + (8388607 >> 13));
}
if (16777215 >> 13 !== 2047) {
$ERROR('#441: 16777215 >> 13 === 2047. Actual: ' + (16777215 >> 13));
}
if (33554431 >> 13 !== 4095) {
$ERROR('#442: 33554431 >> 13 === 4095. Actual: ' + (33554431 >> 13));
}
if (67108863 >> 13 !== 8191) {
$ERROR('#443: 67108863 >> 13 === 8191. Actual: ' + (67108863 >> 13));
}
if (134217727 >> 13 !== 16383) {
$ERROR('#444: 134217727 >> 13 === 16383. Actual: ' + (134217727 >> 13));
}
if (268435455 >> 13 !== 32767) {
$ERROR('#445: 268435455 >> 13 === 32767. Actual: ' + (268435455 >> 13));
}
if (536870911 >> 13 !== 65535) {
$ERROR('#446: 536870911 >> 13 === 65535. Actual: ' + (536870911 >> 13));
}
if (1073741823 >> 13 !== 131071) {
$ERROR('#447: 1073741823 >> 13 === 131071. Actual: ' + (1073741823 >> 13));
}
if (2147483647 >> 13 !== 262143) {
$ERROR('#448: 2147483647 >> 13 === 262143. Actual: ' + (2147483647 >> 13));
}
if (0 >> 14 !== 0) {
$ERROR('#449: 0 >> 14 === 0. Actual: ' + (0 >> 14));
}
if (1 >> 14 !== 0) {
$ERROR('#450: 1 >> 14 === 0. Actual: ' + (1 >> 14));
}
if (3 >> 14 !== 0) {
$ERROR('#451: 3 >> 14 === 0. Actual: ' + (3 >> 14));
}
if (7 >> 14 !== 0) {
$ERROR('#452: 7 >> 14 === 0. Actual: ' + (7 >> 14));
}
if (15 >> 14 !== 0) {
$ERROR('#453: 15 >> 14 === 0. Actual: ' + (15 >> 14));
}
if (31 >> 14 !== 0) {
$ERROR('#454: 31 >> 14 === 0. Actual: ' + (31 >> 14));
}
if (63 >> 14 !== 0) {
$ERROR('#455: 63 >> 14 === 0. Actual: ' + (63 >> 14));
}
if (127 >> 14 !== 0) {
$ERROR('#456: 127 >> 14 === 0. Actual: ' + (127 >> 14));
}
if (255 >> 14 !== 0) {
$ERROR('#457: 255 >> 14 === 0. Actual: ' + (255 >> 14));
}
if (511 >> 14 !== 0) {
$ERROR('#458: 511 >> 14 === 0. Actual: ' + (511 >> 14));
}
if (1023 >> 14 !== 0) {
$ERROR('#459: 1023 >> 14 === 0. Actual: ' + (1023 >> 14));
}
if (2047 >> 14 !== 0) {
$ERROR('#460: 2047 >> 14 === 0. Actual: ' + (2047 >> 14));
}
if (4095 >> 14 !== 0) {
$ERROR('#461: 4095 >> 14 === 0. Actual: ' + (4095 >> 14));
}
if (8191 >> 14 !== 0) {
$ERROR('#462: 8191 >> 14 === 0. Actual: ' + (8191 >> 14));
}
if (16383 >> 14 !== 0) {
$ERROR('#463: 16383 >> 14 === 0. Actual: ' + (16383 >> 14));
}
if (32767 >> 14 !== 1) {
$ERROR('#464: 32767 >> 14 === 1. Actual: ' + (32767 >> 14));
}
if (65535 >> 14 !== 3) {
$ERROR('#465: 65535 >> 14 === 3. Actual: ' + (65535 >> 14));
}
if (131071 >> 14 !== 7) {
$ERROR('#466: 131071 >> 14 === 7. Actual: ' + (131071 >> 14));
}
if (262143 >> 14 !== 15) {
$ERROR('#467: 262143 >> 14 === 15. Actual: ' + (262143 >> 14));
}
if (524287 >> 14 !== 31) {
$ERROR('#468: 524287 >> 14 === 31. Actual: ' + (524287 >> 14));
}
if (1048575 >> 14 !== 63) {
$ERROR('#469: 1048575 >> 14 === 63. Actual: ' + (1048575 >> 14));
}
if (2097151 >> 14 !== 127) {
$ERROR('#470: 2097151 >> 14 === 127. Actual: ' + (2097151 >> 14));
}
if (4194303 >> 14 !== 255) {
$ERROR('#471: 4194303 >> 14 === 255. Actual: ' + (4194303 >> 14));
}
if (8388607 >> 14 !== 511) {
$ERROR('#472: 8388607 >> 14 === 511. Actual: ' + (8388607 >> 14));
}
if (16777215 >> 14 !== 1023) {
$ERROR('#473: 16777215 >> 14 === 1023. Actual: ' + (16777215 >> 14));
}
if (33554431 >> 14 !== 2047) {
$ERROR('#474: 33554431 >> 14 === 2047. Actual: ' + (33554431 >> 14));
}
if (67108863 >> 14 !== 4095) {
$ERROR('#475: 67108863 >> 14 === 4095. Actual: ' + (67108863 >> 14));
}
if (134217727 >> 14 !== 8191) {
$ERROR('#476: 134217727 >> 14 === 8191. Actual: ' + (134217727 >> 14));
}
if (268435455 >> 14 !== 16383) {
$ERROR('#477: 268435455 >> 14 === 16383. Actual: ' + (268435455 >> 14));
}
if (536870911 >> 14 !== 32767) {
$ERROR('#478: 536870911 >> 14 === 32767. Actual: ' + (536870911 >> 14));
}
if (1073741823 >> 14 !== 65535) {
$ERROR('#479: 1073741823 >> 14 === 65535. Actual: ' + (1073741823 >> 14));
}
if (2147483647 >> 14 !== 131071) {
$ERROR('#480: 2147483647 >> 14 === 131071. Actual: ' + (2147483647 >> 14));
}
if (0 >> 15 !== 0) {
$ERROR('#481: 0 >> 15 === 0. Actual: ' + (0 >> 15));
}
if (1 >> 15 !== 0) {
$ERROR('#482: 1 >> 15 === 0. Actual: ' + (1 >> 15));
}
if (3 >> 15 !== 0) {
$ERROR('#483: 3 >> 15 === 0. Actual: ' + (3 >> 15));
}
if (7 >> 15 !== 0) {
$ERROR('#484: 7 >> 15 === 0. Actual: ' + (7 >> 15));
}
if (15 >> 15 !== 0) {
$ERROR('#485: 15 >> 15 === 0. Actual: ' + (15 >> 15));
}
if (31 >> 15 !== 0) {
$ERROR('#486: 31 >> 15 === 0. Actual: ' + (31 >> 15));
}
if (63 >> 15 !== 0) {
$ERROR('#487: 63 >> 15 === 0. Actual: ' + (63 >> 15));
}
if (127 >> 15 !== 0) {
$ERROR('#488: 127 >> 15 === 0. Actual: ' + (127 >> 15));
}
if (255 >> 15 !== 0) {
$ERROR('#489: 255 >> 15 === 0. Actual: ' + (255 >> 15));
}
if (511 >> 15 !== 0) {
$ERROR('#490: 511 >> 15 === 0. Actual: ' + (511 >> 15));
}
if (1023 >> 15 !== 0) {
$ERROR('#491: 1023 >> 15 === 0. Actual: ' + (1023 >> 15));
}
if (2047 >> 15 !== 0) {
$ERROR('#492: 2047 >> 15 === 0. Actual: ' + (2047 >> 15));
}
if (4095 >> 15 !== 0) {
$ERROR('#493: 4095 >> 15 === 0. Actual: ' + (4095 >> 15));
}
if (8191 >> 15 !== 0) {
$ERROR('#494: 8191 >> 15 === 0. Actual: ' + (8191 >> 15));
}
if (16383 >> 15 !== 0) {
$ERROR('#495: 16383 >> 15 === 0. Actual: ' + (16383 >> 15));
}
if (32767 >> 15 !== 0) {
$ERROR('#496: 32767 >> 15 === 0. Actual: ' + (32767 >> 15));
}
if (65535 >> 15 !== 1) {
$ERROR('#497: 65535 >> 15 === 1. Actual: ' + (65535 >> 15));
}
if (131071 >> 15 !== 3) {
$ERROR('#498: 131071 >> 15 === 3. Actual: ' + (131071 >> 15));
}
if (262143 >> 15 !== 7) {
$ERROR('#499: 262143 >> 15 === 7. Actual: ' + (262143 >> 15));
}
if (524287 >> 15 !== 15) {
$ERROR('#500: 524287 >> 15 === 15. Actual: ' + (524287 >> 15));
}
if (1048575 >> 15 !== 31) {
$ERROR('#501: 1048575 >> 15 === 31. Actual: ' + (1048575 >> 15));
}
if (2097151 >> 15 !== 63) {
$ERROR('#502: 2097151 >> 15 === 63. Actual: ' + (2097151 >> 15));
}
if (4194303 >> 15 !== 127) {
$ERROR('#503: 4194303 >> 15 === 127. Actual: ' + (4194303 >> 15));
}
if (8388607 >> 15 !== 255) {
$ERROR('#504: 8388607 >> 15 === 255. Actual: ' + (8388607 >> 15));
}
if (16777215 >> 15 !== 511) {
$ERROR('#505: 16777215 >> 15 === 511. Actual: ' + (16777215 >> 15));
}
if (33554431 >> 15 !== 1023) {
$ERROR('#506: 33554431 >> 15 === 1023. Actual: ' + (33554431 >> 15));
}
if (67108863 >> 15 !== 2047) {
$ERROR('#507: 67108863 >> 15 === 2047. Actual: ' + (67108863 >> 15));
}
if (134217727 >> 15 !== 4095) {
$ERROR('#508: 134217727 >> 15 === 4095. Actual: ' + (134217727 >> 15));
}
if (268435455 >> 15 !== 8191) {
$ERROR('#509: 268435455 >> 15 === 8191. Actual: ' + (268435455 >> 15));
}
if (536870911 >> 15 !== 16383) {
$ERROR('#510: 536870911 >> 15 === 16383. Actual: ' + (536870911 >> 15));
}
if (1073741823 >> 15 !== 32767) {
$ERROR('#511: 1073741823 >> 15 === 32767. Actual: ' + (1073741823 >> 15));
}
if (2147483647 >> 15 !== 65535) {
$ERROR('#512: 2147483647 >> 15 === 65535. Actual: ' + (2147483647 >> 15));
}