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

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

/*---
info: Check x >> y operator in distinct points
es5id: 11.7.2_A4_T1
description: ShiftExpression = -2^n, n = 0...15
---*/

//CHECK

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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


if (-32 >> 2 !== -8) { 
  throw new Test262Error('#70: -32 >> 2 === -8. Actual: ' + (-32 >> 2)); 
} 


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


if (-128 >> 2 !== -32) { 
  throw new Test262Error('#72: -128 >> 2 === -32. Actual: ' + (-128 >> 2)); 
} 


if (-256 >> 2 !== -64) { 
  throw new Test262Error('#73: -256 >> 2 === -64. Actual: ' + (-256 >> 2)); 
} 


if (-512 >> 2 !== -128) { 
  throw new Test262Error('#74: -512 >> 2 === -128. Actual: ' + (-512 >> 2)); 
} 


if (-1024 >> 2 !== -256) { 
  throw new Test262Error('#75: -1024 >> 2 === -256. Actual: ' + (-1024 >> 2)); 
} 


if (-2048 >> 2 !== -512) { 
  throw new Test262Error('#76: -2048 >> 2 === -512. Actual: ' + (-2048 >> 2)); 
} 


if (-4096 >> 2 !== -1024) { 
  throw new Test262Error('#77: -4096 >> 2 === -1024. Actual: ' + (-4096 >> 2)); 
} 


if (-8192 >> 2 !== -2048) { 
  throw new Test262Error('#78: -8192 >> 2 === -2048. Actual: ' + (-8192 >> 2)); 
} 


if (-16384 >> 2 !== -4096) { 
  throw new Test262Error('#79: -16384 >> 2 === -4096. Actual: ' + (-16384 >> 2)); 
} 


if (-32768 >> 2 !== -8192) { 
  throw new Test262Error('#80: -32768 >> 2 === -8192. Actual: ' + (-32768 >> 2)); 
} 


if (-65536 >> 2 !== -16384) { 
  throw new Test262Error('#81: -65536 >> 2 === -16384. Actual: ' + (-65536 >> 2)); 
} 


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


if (-32 >> 3 !== -4) { 
  throw new Test262Error('#102: -32 >> 3 === -4. Actual: ' + (-32 >> 3)); 
} 


if (-64 >> 3 !== -8) { 
  throw new Test262Error('#103: -64 >> 3 === -8. Actual: ' + (-64 >> 3)); 
} 


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


if (-256 >> 3 !== -32) { 
  throw new Test262Error('#105: -256 >> 3 === -32. Actual: ' + (-256 >> 3)); 
} 


if (-512 >> 3 !== -64) { 
  throw new Test262Error('#106: -512 >> 3 === -64. Actual: ' + (-512 >> 3)); 
} 


if (-1024 >> 3 !== -128) { 
  throw new Test262Error('#107: -1024 >> 3 === -128. Actual: ' + (-1024 >> 3)); 
} 


if (-2048 >> 3 !== -256) { 
  throw new Test262Error('#108: -2048 >> 3 === -256. Actual: ' + (-2048 >> 3)); 
} 


if (-4096 >> 3 !== -512) { 
  throw new Test262Error('#109: -4096 >> 3 === -512. Actual: ' + (-4096 >> 3)); 
} 


if (-8192 >> 3 !== -1024) { 
  throw new Test262Error('#110: -8192 >> 3 === -1024. Actual: ' + (-8192 >> 3)); 
} 


if (-16384 >> 3 !== -2048) { 
  throw new Test262Error('#111: -16384 >> 3 === -2048. Actual: ' + (-16384 >> 3)); 
} 


if (-32768 >> 3 !== -4096) { 
  throw new Test262Error('#112: -32768 >> 3 === -4096. Actual: ' + (-32768 >> 3)); 
} 


if (-65536 >> 3 !== -8192) { 
  throw new Test262Error('#113: -65536 >> 3 === -8192. Actual: ' + (-65536 >> 3)); 
} 


if (-131072 >> 3 !== -16384) { 
  throw new Test262Error('#114: -131072 >> 3 === -16384. Actual: ' + (-131072 >> 3)); 
} 


if (-262144 >> 3 !== -32768) { 
  throw new Test262Error('#115: -262144 >> 3 === -32768. Actual: ' + (-262144 >> 3)); 
} 


if (-524288 >> 3 !== -65536) { 
  throw new Test262Error('#116: -524288 >> 3 === -65536. Actual: ' + (-524288 >> 3)); 
} 


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


if (-2097152 >> 3 !== -262144) { 
  throw new Test262Error('#118: -2097152 >> 3 === -262144. Actual: ' + (-2097152 >> 3)); 
} 


if (-4194304 >> 3 !== -524288) { 
  throw new Test262Error('#119: -4194304 >> 3 === -524288. Actual: ' + (-4194304 >> 3)); 
} 


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


if (-16777216 >> 3 !== -2097152) { 
  throw new Test262Error('#121: -16777216 >> 3 === -2097152. Actual: ' + (-16777216 >> 3)); 
} 


if (-33554432 >> 3 !== -4194304) { 
  throw new Test262Error('#122: -33554432 >> 3 === -4194304. Actual: ' + (-33554432 >> 3)); 
} 


if (-67108864 >> 3 !== -8388608) { 
  throw new Test262Error('#123: -67108864 >> 3 === -8388608. Actual: ' + (-67108864 >> 3)); 
} 


if (-134217728 >> 3 !== -16777216) { 
  throw new Test262Error('#124: -134217728 >> 3 === -16777216. Actual: ' + (-134217728 >> 3)); 
} 


if (-268435456 >> 3 !== -33554432) { 
  throw new Test262Error('#125: -268435456 >> 3 === -33554432. Actual: ' + (-268435456 >> 3)); 
} 


if (-536870912 >> 3 !== -67108864) { 
  throw new Test262Error('#126: -536870912 >> 3 === -67108864. Actual: ' + (-536870912 >> 3)); 
} 


if (-1073741824 >> 3 !== -134217728) { 
  throw new Test262Error('#127: -1073741824 >> 3 === -134217728. Actual: ' + (-1073741824 >> 3)); 
} 


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


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


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


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


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


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


if (-32 >> 4 !== -2) { 
  throw new Test262Error('#134: -32 >> 4 === -2. Actual: ' + (-32 >> 4)); 
} 


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


if (-128 >> 4 !== -8) { 
  throw new Test262Error('#136: -128 >> 4 === -8. Actual: ' + (-128 >> 4)); 
} 


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


if (-512 >> 4 !== -32) { 
  throw new Test262Error('#138: -512 >> 4 === -32. Actual: ' + (-512 >> 4)); 
} 


if (-1024 >> 4 !== -64) { 
  throw new Test262Error('#139: -1024 >> 4 === -64. Actual: ' + (-1024 >> 4)); 
} 


if (-2048 >> 4 !== -128) { 
  throw new Test262Error('#140: -2048 >> 4 === -128. Actual: ' + (-2048 >> 4)); 
} 


if (-4096 >> 4 !== -256) { 
  throw new Test262Error('#141: -4096 >> 4 === -256. Actual: ' + (-4096 >> 4)); 
} 


if (-8192 >> 4 !== -512) { 
  throw new Test262Error('#142: -8192 >> 4 === -512. Actual: ' + (-8192 >> 4)); 
} 


if (-16384 >> 4 !== -1024) { 
  throw new Test262Error('#143: -16384 >> 4 === -1024. Actual: ' + (-16384 >> 4)); 
} 


if (-32768 >> 4 !== -2048) { 
  throw new Test262Error('#144: -32768 >> 4 === -2048. Actual: ' + (-32768 >> 4)); 
} 


if (-65536 >> 4 !== -4096) { 
  throw new Test262Error('#145: -65536 >> 4 === -4096. Actual: ' + (-65536 >> 4)); 
} 


if (-131072 >> 4 !== -8192) { 
  throw new Test262Error('#146: -131072 >> 4 === -8192. Actual: ' + (-131072 >> 4)); 
} 


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


if (-64 >> 5 !== -2) { 
  throw new Test262Error('#167: -64 >> 5 === -2. Actual: ' + (-64 >> 5)); 
} 


if (-128 >> 5 !== -4) { 
  throw new Test262Error('#168: -128 >> 5 === -4. Actual: ' + (-128 >> 5)); 
} 


if (-256 >> 5 !== -8) { 
  throw new Test262Error('#169: -256 >> 5 === -8. Actual: ' + (-256 >> 5)); 
} 


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


if (-1024 >> 5 !== -32) { 
  throw new Test262Error('#171: -1024 >> 5 === -32. Actual: ' + (-1024 >> 5)); 
} 


if (-2048 >> 5 !== -64) { 
  throw new Test262Error('#172: -2048 >> 5 === -64. Actual: ' + (-2048 >> 5)); 
} 


if (-4096 >> 5 !== -128) { 
  throw new Test262Error('#173: -4096 >> 5 === -128. Actual: ' + (-4096 >> 5)); 
} 


if (-8192 >> 5 !== -256) { 
  throw new Test262Error('#174: -8192 >> 5 === -256. Actual: ' + (-8192 >> 5)); 
} 


if (-16384 >> 5 !== -512) { 
  throw new Test262Error('#175: -16384 >> 5 === -512. Actual: ' + (-16384 >> 5)); 
} 


if (-32768 >> 5 !== -1024) { 
  throw new Test262Error('#176: -32768 >> 5 === -1024. Actual: ' + (-32768 >> 5)); 
} 


if (-65536 >> 5 !== -2048) { 
  throw new Test262Error('#177: -65536 >> 5 === -2048. Actual: ' + (-65536 >> 5)); 
} 


if (-131072 >> 5 !== -4096) { 
  throw new Test262Error('#178: -131072 >> 5 === -4096. Actual: ' + (-131072 >> 5)); 
} 


if (-262144 >> 5 !== -8192) { 
  throw new Test262Error('#179: -262144 >> 5 === -8192. Actual: ' + (-262144 >> 5)); 
} 


if (-524288 >> 5 !== -16384) { 
  throw new Test262Error('#180: -524288 >> 5 === -16384. Actual: ' + (-524288 >> 5)); 
} 


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


if (-2097152 >> 5 !== -65536) { 
  throw new Test262Error('#182: -2097152 >> 5 === -65536. Actual: ' + (-2097152 >> 5)); 
} 


if (-4194304 >> 5 !== -131072) { 
  throw new Test262Error('#183: -4194304 >> 5 === -131072. Actual: ' + (-4194304 >> 5)); 
} 


if (-8388608 >> 5 !== -262144) { 
  throw new Test262Error('#184: -8388608 >> 5 === -262144. Actual: ' + (-8388608 >> 5)); 
} 


if (-16777216 >> 5 !== -524288) { 
  throw new Test262Error('#185: -16777216 >> 5 === -524288. Actual: ' + (-16777216 >> 5)); 
} 


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


if (-67108864 >> 5 !== -2097152) { 
  throw new Test262Error('#187: -67108864 >> 5 === -2097152. Actual: ' + (-67108864 >> 5)); 
} 


if (-134217728 >> 5 !== -4194304) { 
  throw new Test262Error('#188: -134217728 >> 5 === -4194304. Actual: ' + (-134217728 >> 5)); 
} 


if (-268435456 >> 5 !== -8388608) { 
  throw new Test262Error('#189: -268435456 >> 5 === -8388608. Actual: ' + (-268435456 >> 5)); 
} 


if (-536870912 >> 5 !== -16777216) { 
  throw new Test262Error('#190: -536870912 >> 5 === -16777216. Actual: ' + (-536870912 >> 5)); 
} 


if (-1073741824 >> 5 !== -33554432) { 
  throw new Test262Error('#191: -1073741824 >> 5 === -33554432. Actual: ' + (-1073741824 >> 5)); 
} 


if (-2147483648 >> 5 !== -67108864) { 
  throw new Test262Error('#192: -2147483648 >> 5 === -67108864. Actual: ' + (-2147483648 >> 5)); 
} 


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


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


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


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


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


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


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


if (-128 >> 6 !== -2) { 
  throw new Test262Error('#200: -128 >> 6 === -2. Actual: ' + (-128 >> 6)); 
} 


if (-256 >> 6 !== -4) { 
  throw new Test262Error('#201: -256 >> 6 === -4. Actual: ' + (-256 >> 6)); 
} 


if (-512 >> 6 !== -8) { 
  throw new Test262Error('#202: -512 >> 6 === -8. Actual: ' + (-512 >> 6)); 
} 


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


if (-2048 >> 6 !== -32) { 
  throw new Test262Error('#204: -2048 >> 6 === -32. Actual: ' + (-2048 >> 6)); 
} 


if (-4096 >> 6 !== -64) { 
  throw new Test262Error('#205: -4096 >> 6 === -64. Actual: ' + (-4096 >> 6)); 
} 


if (-8192 >> 6 !== -128) { 
  throw new Test262Error('#206: -8192 >> 6 === -128. Actual: ' + (-8192 >> 6)); 
} 


if (-16384 >> 6 !== -256) { 
  throw new Test262Error('#207: -16384 >> 6 === -256. Actual: ' + (-16384 >> 6)); 
} 


if (-32768 >> 6 !== -512) { 
  throw new Test262Error('#208: -32768 >> 6 === -512. Actual: ' + (-32768 >> 6)); 
} 


if (-65536 >> 6 !== -1024) { 
  throw new Test262Error('#209: -65536 >> 6 === -1024. Actual: ' + (-65536 >> 6)); 
} 


if (-131072 >> 6 !== -2048) { 
  throw new Test262Error('#210: -131072 >> 6 === -2048. Actual: ' + (-131072 >> 6)); 
} 


if (-262144 >> 6 !== -4096) { 
  throw new Test262Error('#211: -262144 >> 6 === -4096. Actual: ' + (-262144 >> 6)); 
} 


if (-524288 >> 6 !== -8192) { 
  throw new Test262Error('#212: -524288 >> 6 === -8192. Actual: ' + (-524288 >> 6)); 
} 


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


if (-2097152 >> 6 !== -32768) { 
  throw new Test262Error('#214: -2097152 >> 6 === -32768. Actual: ' + (-2097152 >> 6)); 
} 


if (-4194304 >> 6 !== -65536) { 
  throw new Test262Error('#215: -4194304 >> 6 === -65536. Actual: ' + (-4194304 >> 6)); 
} 


if (-8388608 >> 6 !== -131072) { 
  throw new Test262Error('#216: -8388608 >> 6 === -131072. Actual: ' + (-8388608 >> 6)); 
} 


if (-16777216 >> 6 !== -262144) { 
  throw new Test262Error('#217: -16777216 >> 6 === -262144. Actual: ' + (-16777216 >> 6)); 
} 


if (-33554432 >> 6 !== -524288) { 
  throw new Test262Error('#218: -33554432 >> 6 === -524288. Actual: ' + (-33554432 >> 6)); 
} 


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


if (-134217728 >> 6 !== -2097152) { 
  throw new Test262Error('#220: -134217728 >> 6 === -2097152. Actual: ' + (-134217728 >> 6)); 
} 


if (-268435456 >> 6 !== -4194304) { 
  throw new Test262Error('#221: -268435456 >> 6 === -4194304. Actual: ' + (-268435456 >> 6)); 
} 


if (-536870912 >> 6 !== -8388608) { 
  throw new Test262Error('#222: -536870912 >> 6 === -8388608. Actual: ' + (-536870912 >> 6)); 
} 


if (-1073741824 >> 6 !== -16777216) { 
  throw new Test262Error('#223: -1073741824 >> 6 === -16777216. Actual: ' + (-1073741824 >> 6)); 
} 


if (-2147483648 >> 6 !== -33554432) { 
  throw new Test262Error('#224: -2147483648 >> 6 === -33554432. Actual: ' + (-2147483648 >> 6)); 
} 


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


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


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


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


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


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


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


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


if (-256 >> 7 !== -2) { 
  throw new Test262Error('#233: -256 >> 7 === -2. Actual: ' + (-256 >> 7)); 
} 


if (-512 >> 7 !== -4) { 
  throw new Test262Error('#234: -512 >> 7 === -4. Actual: ' + (-512 >> 7)); 
} 


if (-1024 >> 7 !== -8) { 
  throw new Test262Error('#235: -1024 >> 7 === -8. Actual: ' + (-1024 >> 7)); 
} 


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


if (-4096 >> 7 !== -32) { 
  throw new Test262Error('#237: -4096 >> 7 === -32. Actual: ' + (-4096 >> 7)); 
} 


if (-8192 >> 7 !== -64) { 
  throw new Test262Error('#238: -8192 >> 7 === -64. Actual: ' + (-8192 >> 7)); 
} 


if (-16384 >> 7 !== -128) { 
  throw new Test262Error('#239: -16384 >> 7 === -128. Actual: ' + (-16384 >> 7)); 
} 


if (-32768 >> 7 !== -256) { 
  throw new Test262Error('#240: -32768 >> 7 === -256. Actual: ' + (-32768 >> 7)); 
} 


if (-65536 >> 7 !== -512) { 
  throw new Test262Error('#241: -65536 >> 7 === -512. Actual: ' + (-65536 >> 7)); 
} 


if (-131072 >> 7 !== -1024) { 
  throw new Test262Error('#242: -131072 >> 7 === -1024. Actual: ' + (-131072 >> 7)); 
} 


if (-262144 >> 7 !== -2048) { 
  throw new Test262Error('#243: -262144 >> 7 === -2048. Actual: ' + (-262144 >> 7)); 
} 


if (-524288 >> 7 !== -4096) { 
  throw new Test262Error('#244: -524288 >> 7 === -4096. Actual: ' + (-524288 >> 7)); 
} 


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


if (-2097152 >> 7 !== -16384) { 
  throw new Test262Error('#246: -2097152 >> 7 === -16384. Actual: ' + (-2097152 >> 7)); 
} 


if (-4194304 >> 7 !== -32768) { 
  throw new Test262Error('#247: -4194304 >> 7 === -32768. Actual: ' + (-4194304 >> 7)); 
} 


if (-8388608 >> 7 !== -65536) { 
  throw new Test262Error('#248: -8388608 >> 7 === -65536. Actual: ' + (-8388608 >> 7)); 
} 


if (-16777216 >> 7 !== -131072) { 
  throw new Test262Error('#249: -16777216 >> 7 === -131072. Actual: ' + (-16777216 >> 7)); 
} 


if (-33554432 >> 7 !== -262144) { 
  throw new Test262Error('#250: -33554432 >> 7 === -262144. Actual: ' + (-33554432 >> 7)); 
} 


if (-67108864 >> 7 !== -524288) { 
  throw new Test262Error('#251: -67108864 >> 7 === -524288. Actual: ' + (-67108864 >> 7)); 
} 


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


if (-268435456 >> 7 !== -2097152) { 
  throw new Test262Error('#253: -268435456 >> 7 === -2097152. Actual: ' + (-268435456 >> 7)); 
} 


if (-536870912 >> 7 !== -4194304) { 
  throw new Test262Error('#254: -536870912 >> 7 === -4194304. Actual: ' + (-536870912 >> 7)); 
} 


if (-1073741824 >> 7 !== -8388608) { 
  throw new Test262Error('#255: -1073741824 >> 7 === -8388608. Actual: ' + (-1073741824 >> 7)); 
} 


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


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


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


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


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


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


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


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


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


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


if (-512 >> 8 !== -2) { 
  throw new Test262Error('#266: -512 >> 8 === -2. Actual: ' + (-512 >> 8)); 
} 


if (-1024 >> 8 !== -4) { 
  throw new Test262Error('#267: -1024 >> 8 === -4. Actual: ' + (-1024 >> 8)); 
} 


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


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


if (-8192 >> 8 !== -32) { 
  throw new Test262Error('#270: -8192 >> 8 === -32. Actual: ' + (-8192 >> 8)); 
} 


if (-16384 >> 8 !== -64) { 
  throw new Test262Error('#271: -16384 >> 8 === -64. Actual: ' + (-16384 >> 8)); 
} 


if (-32768 >> 8 !== -128) { 
  throw new Test262Error('#272: -32768 >> 8 === -128. Actual: ' + (-32768 >> 8)); 
} 


if (-65536 >> 8 !== -256) { 
  throw new Test262Error('#273: -65536 >> 8 === -256. Actual: ' + (-65536 >> 8)); 
} 


if (-131072 >> 8 !== -512) { 
  throw new Test262Error('#274: -131072 >> 8 === -512. Actual: ' + (-131072 >> 8)); 
} 


if (-262144 >> 8 !== -1024) { 
  throw new Test262Error('#275: -262144 >> 8 === -1024. Actual: ' + (-262144 >> 8)); 
} 


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


if (-1024 >> 9 !== -2) { 
  throw new Test262Error('#299: -1024 >> 9 === -2. Actual: ' + (-1024 >> 9)); 
} 


if (-2048 >> 9 !== -4) { 
  throw new Test262Error('#300: -2048 >> 9 === -4. Actual: ' + (-2048 >> 9)); 
} 


if (-4096 >> 9 !== -8) { 
  throw new Test262Error('#301: -4096 >> 9 === -8. Actual: ' + (-4096 >> 9)); 
} 


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


if (-16384 >> 9 !== -32) { 
  throw new Test262Error('#303: -16384 >> 9 === -32. Actual: ' + (-16384 >> 9)); 
} 


if (-32768 >> 9 !== -64) { 
  throw new Test262Error('#304: -32768 >> 9 === -64. Actual: ' + (-32768 >> 9)); 
} 


if (-65536 >> 9 !== -128) { 
  throw new Test262Error('#305: -65536 >> 9 === -128. Actual: ' + (-65536 >> 9)); 
} 


if (-131072 >> 9 !== -256) { 
  throw new Test262Error('#306: -131072 >> 9 === -256. Actual: ' + (-131072 >> 9)); 
} 


if (-262144 >> 9 !== -512) { 
  throw new Test262Error('#307: -262144 >> 9 === -512. Actual: ' + (-262144 >> 9)); 
} 


if (-524288 >> 9 !== -1024) { 
  throw new Test262Error('#308: -524288 >> 9 === -1024. Actual: ' + (-524288 >> 9)); 
} 


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


if (-2097152 >> 9 !== -4096) { 
  throw new Test262Error('#310: -2097152 >> 9 === -4096. Actual: ' + (-2097152 >> 9)); 
} 


if (-4194304 >> 9 !== -8192) { 
  throw new Test262Error('#311: -4194304 >> 9 === -8192. Actual: ' + (-4194304 >> 9)); 
} 


if (-8388608 >> 9 !== -16384) { 
  throw new Test262Error('#312: -8388608 >> 9 === -16384. Actual: ' + (-8388608 >> 9)); 
} 


if (-16777216 >> 9 !== -32768) { 
  throw new Test262Error('#313: -16777216 >> 9 === -32768. Actual: ' + (-16777216 >> 9)); 
} 


if (-33554432 >> 9 !== -65536) { 
  throw new Test262Error('#314: -33554432 >> 9 === -65536. Actual: ' + (-33554432 >> 9)); 
} 


if (-67108864 >> 9 !== -131072) { 
  throw new Test262Error('#315: -67108864 >> 9 === -131072. Actual: ' + (-67108864 >> 9)); 
} 


if (-134217728 >> 9 !== -262144) { 
  throw new Test262Error('#316: -134217728 >> 9 === -262144. Actual: ' + (-134217728 >> 9)); 
} 


if (-268435456 >> 9 !== -524288) { 
  throw new Test262Error('#317: -268435456 >> 9 === -524288. Actual: ' + (-268435456 >> 9)); 
} 


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


if (-1073741824 >> 9 !== -2097152) { 
  throw new Test262Error('#319: -1073741824 >> 9 === -2097152. Actual: ' + (-1073741824 >> 9)); 
} 


if (-2147483648 >> 9 !== -4194304) { 
  throw new Test262Error('#320: -2147483648 >> 9 === -4194304. Actual: ' + (-2147483648 >> 9)); 
} 


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


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


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


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


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


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


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


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


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


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


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


if (-2048 >> 10 !== -2) { 
  throw new Test262Error('#332: -2048 >> 10 === -2. Actual: ' + (-2048 >> 10)); 
} 


if (-4096 >> 10 !== -4) { 
  throw new Test262Error('#333: -4096 >> 10 === -4. Actual: ' + (-4096 >> 10)); 
} 


if (-8192 >> 10 !== -8) { 
  throw new Test262Error('#334: -8192 >> 10 === -8. Actual: ' + (-8192 >> 10)); 
} 


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


if (-32768 >> 10 !== -32) { 
  throw new Test262Error('#336: -32768 >> 10 === -32. Actual: ' + (-32768 >> 10)); 
} 


if (-65536 >> 10 !== -64) { 
  throw new Test262Error('#337: -65536 >> 10 === -64. Actual: ' + (-65536 >> 10)); 
} 


if (-131072 >> 10 !== -128) { 
  throw new Test262Error('#338: -131072 >> 10 === -128. Actual: ' + (-131072 >> 10)); 
} 


if (-262144 >> 10 !== -256) { 
  throw new Test262Error('#339: -262144 >> 10 === -256. Actual: ' + (-262144 >> 10)); 
} 


if (-524288 >> 10 !== -512) { 
  throw new Test262Error('#340: -524288 >> 10 === -512. Actual: ' + (-524288 >> 10)); 
} 


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


if (-2097152 >> 10 !== -2048) { 
  throw new Test262Error('#342: -2097152 >> 10 === -2048. Actual: ' + (-2097152 >> 10)); 
} 


if (-4194304 >> 10 !== -4096) { 
  throw new Test262Error('#343: -4194304 >> 10 === -4096. Actual: ' + (-4194304 >> 10)); 
} 


if (-8388608 >> 10 !== -8192) { 
  throw new Test262Error('#344: -8388608 >> 10 === -8192. Actual: ' + (-8388608 >> 10)); 
} 


if (-16777216 >> 10 !== -16384) { 
  throw new Test262Error('#345: -16777216 >> 10 === -16384. Actual: ' + (-16777216 >> 10)); 
} 


if (-33554432 >> 10 !== -32768) { 
  throw new Test262Error('#346: -33554432 >> 10 === -32768. Actual: ' + (-33554432 >> 10)); 
} 


if (-67108864 >> 10 !== -65536) { 
  throw new Test262Error('#347: -67108864 >> 10 === -65536. Actual: ' + (-67108864 >> 10)); 
} 


if (-134217728 >> 10 !== -131072) { 
  throw new Test262Error('#348: -134217728 >> 10 === -131072. Actual: ' + (-134217728 >> 10)); 
} 


if (-268435456 >> 10 !== -262144) { 
  throw new Test262Error('#349: -268435456 >> 10 === -262144. Actual: ' + (-268435456 >> 10)); 
} 


if (-536870912 >> 10 !== -524288) { 
  throw new Test262Error('#350: -536870912 >> 10 === -524288. Actual: ' + (-536870912 >> 10)); 
} 


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


if (-2147483648 >> 10 !== -2097152) { 
  throw new Test262Error('#352: -2147483648 >> 10 === -2097152. Actual: ' + (-2147483648 >> 10)); 
} 


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


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


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


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


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


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


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


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


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


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


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


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


if (-4096 >> 11 !== -2) { 
  throw new Test262Error('#365: -4096 >> 11 === -2. Actual: ' + (-4096 >> 11)); 
} 


if (-8192 >> 11 !== -4) { 
  throw new Test262Error('#366: -8192 >> 11 === -4. Actual: ' + (-8192 >> 11)); 
} 


if (-16384 >> 11 !== -8) { 
  throw new Test262Error('#367: -16384 >> 11 === -8. Actual: ' + (-16384 >> 11)); 
} 


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


if (-65536 >> 11 !== -32) { 
  throw new Test262Error('#369: -65536 >> 11 === -32. Actual: ' + (-65536 >> 11)); 
} 


if (-131072 >> 11 !== -64) { 
  throw new Test262Error('#370: -131072 >> 11 === -64. Actual: ' + (-131072 >> 11)); 
} 


if (-262144 >> 11 !== -128) { 
  throw new Test262Error('#371: -262144 >> 11 === -128. Actual: ' + (-262144 >> 11)); 
} 


if (-524288 >> 11 !== -256) { 
  throw new Test262Error('#372: -524288 >> 11 === -256. Actual: ' + (-524288 >> 11)); 
} 


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


if (-2097152 >> 11 !== -1024) { 
  throw new Test262Error('#374: -2097152 >> 11 === -1024. Actual: ' + (-2097152 >> 11)); 
} 


if (-4194304 >> 11 !== -2048) { 
  throw new Test262Error('#375: -4194304 >> 11 === -2048. Actual: ' + (-4194304 >> 11)); 
} 


if (-8388608 >> 11 !== -4096) { 
  throw new Test262Error('#376: -8388608 >> 11 === -4096. Actual: ' + (-8388608 >> 11)); 
} 


if (-16777216 >> 11 !== -8192) { 
  throw new Test262Error('#377: -16777216 >> 11 === -8192. Actual: ' + (-16777216 >> 11)); 
} 


if (-33554432 >> 11 !== -16384) { 
  throw new Test262Error('#378: -33554432 >> 11 === -16384. Actual: ' + (-33554432 >> 11)); 
} 


if (-67108864 >> 11 !== -32768) { 
  throw new Test262Error('#379: -67108864 >> 11 === -32768. Actual: ' + (-67108864 >> 11)); 
} 


if (-134217728 >> 11 !== -65536) { 
  throw new Test262Error('#380: -134217728 >> 11 === -65536. Actual: ' + (-134217728 >> 11)); 
} 


if (-268435456 >> 11 !== -131072) { 
  throw new Test262Error('#381: -268435456 >> 11 === -131072. Actual: ' + (-268435456 >> 11)); 
} 


if (-536870912 >> 11 !== -262144) { 
  throw new Test262Error('#382: -536870912 >> 11 === -262144. Actual: ' + (-536870912 >> 11)); 
} 


if (-1073741824 >> 11 !== -524288) { 
  throw new Test262Error('#383: -1073741824 >> 11 === -524288. Actual: ' + (-1073741824 >> 11)); 
} 


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


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


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


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


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


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


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


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


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


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


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


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


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


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


if (-8192 >> 12 !== -2) { 
  throw new Test262Error('#398: -8192 >> 12 === -2. Actual: ' + (-8192 >> 12)); 
} 


if (-16384 >> 12 !== -4) { 
  throw new Test262Error('#399: -16384 >> 12 === -4. Actual: ' + (-16384 >> 12)); 
} 


if (-32768 >> 12 !== -8) { 
  throw new Test262Error('#400: -32768 >> 12 === -8. Actual: ' + (-32768 >> 12)); 
} 


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


if (-131072 >> 12 !== -32) { 
  throw new Test262Error('#402: -131072 >> 12 === -32. Actual: ' + (-131072 >> 12)); 
} 


if (-262144 >> 12 !== -64) { 
  throw new Test262Error('#403: -262144 >> 12 === -64. Actual: ' + (-262144 >> 12)); 
} 


if (-524288 >> 12 !== -128) { 
  throw new Test262Error('#404: -524288 >> 12 === -128. Actual: ' + (-524288 >> 12)); 
} 


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


if (-2097152 >> 12 !== -512) { 
  throw new Test262Error('#406: -2097152 >> 12 === -512. Actual: ' + (-2097152 >> 12)); 
} 


if (-4194304 >> 12 !== -1024) { 
  throw new Test262Error('#407: -4194304 >> 12 === -1024. Actual: ' + (-4194304 >> 12)); 
} 


if (-8388608 >> 12 !== -2048) { 
  throw new Test262Error('#408: -8388608 >> 12 === -2048. Actual: ' + (-8388608 >> 12)); 
} 


if (-16777216 >> 12 !== -4096) { 
  throw new Test262Error('#409: -16777216 >> 12 === -4096. Actual: ' + (-16777216 >> 12)); 
} 


if (-33554432 >> 12 !== -8192) { 
  throw new Test262Error('#410: -33554432 >> 12 === -8192. Actual: ' + (-33554432 >> 12)); 
} 


if (-67108864 >> 12 !== -16384) { 
  throw new Test262Error('#411: -67108864 >> 12 === -16384. Actual: ' + (-67108864 >> 12)); 
} 


if (-134217728 >> 12 !== -32768) { 
  throw new Test262Error('#412: -134217728 >> 12 === -32768. Actual: ' + (-134217728 >> 12)); 
} 


if (-268435456 >> 12 !== -65536) { 
  throw new Test262Error('#413: -268435456 >> 12 === -65536. Actual: ' + (-268435456 >> 12)); 
} 


if (-536870912 >> 12 !== -131072) { 
  throw new Test262Error('#414: -536870912 >> 12 === -131072. Actual: ' + (-536870912 >> 12)); 
} 


if (-1073741824 >> 12 !== -262144) { 
  throw new Test262Error('#415: -1073741824 >> 12 === -262144. Actual: ' + (-1073741824 >> 12)); 
} 


if (-2147483648 >> 12 !== -524288) { 
  throw new Test262Error('#416: -2147483648 >> 12 === -524288. Actual: ' + (-2147483648 >> 12)); 
} 


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


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


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


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


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


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


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


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


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


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


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


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


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


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


if (-16384 >> 13 !== -2) { 
  throw new Test262Error('#431: -16384 >> 13 === -2. Actual: ' + (-16384 >> 13)); 
} 


if (-32768 >> 13 !== -4) { 
  throw new Test262Error('#432: -32768 >> 13 === -4. Actual: ' + (-32768 >> 13)); 
} 


if (-65536 >> 13 !== -8) { 
  throw new Test262Error('#433: -65536 >> 13 === -8. Actual: ' + (-65536 >> 13)); 
} 


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


if (-262144 >> 13 !== -32) { 
  throw new Test262Error('#435: -262144 >> 13 === -32. Actual: ' + (-262144 >> 13)); 
} 


if (-524288 >> 13 !== -64) { 
  throw new Test262Error('#436: -524288 >> 13 === -64. Actual: ' + (-524288 >> 13)); 
} 


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


if (-2097152 >> 13 !== -256) { 
  throw new Test262Error('#438: -2097152 >> 13 === -256. Actual: ' + (-2097152 >> 13)); 
} 


if (-4194304 >> 13 !== -512) { 
  throw new Test262Error('#439: -4194304 >> 13 === -512. Actual: ' + (-4194304 >> 13)); 
} 


if (-8388608 >> 13 !== -1024) { 
  throw new Test262Error('#440: -8388608 >> 13 === -1024. Actual: ' + (-8388608 >> 13)); 
} 


if (-16777216 >> 13 !== -2048) { 
  throw new Test262Error('#441: -16777216 >> 13 === -2048. Actual: ' + (-16777216 >> 13)); 
} 


if (-33554432 >> 13 !== -4096) { 
  throw new Test262Error('#442: -33554432 >> 13 === -4096. Actual: ' + (-33554432 >> 13)); 
} 


if (-67108864 >> 13 !== -8192) { 
  throw new Test262Error('#443: -67108864 >> 13 === -8192. Actual: ' + (-67108864 >> 13)); 
} 


if (-134217728 >> 13 !== -16384) { 
  throw new Test262Error('#444: -134217728 >> 13 === -16384. Actual: ' + (-134217728 >> 13)); 
} 


if (-268435456 >> 13 !== -32768) { 
  throw new Test262Error('#445: -268435456 >> 13 === -32768. Actual: ' + (-268435456 >> 13)); 
} 


if (-536870912 >> 13 !== -65536) { 
  throw new Test262Error('#446: -536870912 >> 13 === -65536. Actual: ' + (-536870912 >> 13)); 
} 


if (-1073741824 >> 13 !== -131072) { 
  throw new Test262Error('#447: -1073741824 >> 13 === -131072. Actual: ' + (-1073741824 >> 13)); 
} 


if (-2147483648 >> 13 !== -262144) { 
  throw new Test262Error('#448: -2147483648 >> 13 === -262144. Actual: ' + (-2147483648 >> 13)); 
} 


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


if (-32768 >> 14 !== -2) { 
  throw new Test262Error('#464: -32768 >> 14 === -2. Actual: ' + (-32768 >> 14)); 
} 


if (-65536 >> 14 !== -4) { 
  throw new Test262Error('#465: -65536 >> 14 === -4. Actual: ' + (-65536 >> 14)); 
} 


if (-131072 >> 14 !== -8) { 
  throw new Test262Error('#466: -131072 >> 14 === -8. Actual: ' + (-131072 >> 14)); 
} 


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


if (-524288 >> 14 !== -32) { 
  throw new Test262Error('#468: -524288 >> 14 === -32. Actual: ' + (-524288 >> 14)); 
} 


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


if (-2097152 >> 14 !== -128) { 
  throw new Test262Error('#470: -2097152 >> 14 === -128. Actual: ' + (-2097152 >> 14)); 
} 


if (-4194304 >> 14 !== -256) { 
  throw new Test262Error('#471: -4194304 >> 14 === -256. Actual: ' + (-4194304 >> 14)); 
} 


if (-8388608 >> 14 !== -512) { 
  throw new Test262Error('#472: -8388608 >> 14 === -512. Actual: ' + (-8388608 >> 14)); 
} 


if (-16777216 >> 14 !== -1024) { 
  throw new Test262Error('#473: -16777216 >> 14 === -1024. Actual: ' + (-16777216 >> 14)); 
} 


if (-33554432 >> 14 !== -2048) { 
  throw new Test262Error('#474: -33554432 >> 14 === -2048. Actual: ' + (-33554432 >> 14)); 
} 


if (-67108864 >> 14 !== -4096) { 
  throw new Test262Error('#475: -67108864 >> 14 === -4096. Actual: ' + (-67108864 >> 14)); 
} 


if (-134217728 >> 14 !== -8192) { 
  throw new Test262Error('#476: -134217728 >> 14 === -8192. Actual: ' + (-134217728 >> 14)); 
} 


if (-268435456 >> 14 !== -16384) { 
  throw new Test262Error('#477: -268435456 >> 14 === -16384. Actual: ' + (-268435456 >> 14)); 
} 


if (-536870912 >> 14 !== -32768) { 
  throw new Test262Error('#478: -536870912 >> 14 === -32768. Actual: ' + (-536870912 >> 14)); 
} 


if (-1073741824 >> 14 !== -65536) { 
  throw new Test262Error('#479: -1073741824 >> 14 === -65536. Actual: ' + (-1073741824 >> 14)); 
} 


if (-2147483648 >> 14 !== -131072) { 
  throw new Test262Error('#480: -2147483648 >> 14 === -131072. Actual: ' + (-2147483648 >> 14)); 
} 


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


if (-65536 >> 15 !== -2) { 
  throw new Test262Error('#497: -65536 >> 15 === -2. Actual: ' + (-65536 >> 15)); 
} 


if (-131072 >> 15 !== -4) { 
  throw new Test262Error('#498: -131072 >> 15 === -4. Actual: ' + (-131072 >> 15)); 
} 


if (-262144 >> 15 !== -8) { 
  throw new Test262Error('#499: -262144 >> 15 === -8. Actual: ' + (-262144 >> 15)); 
} 


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


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


if (-2097152 >> 15 !== -64) { 
  throw new Test262Error('#502: -2097152 >> 15 === -64. Actual: ' + (-2097152 >> 15)); 
} 


if (-4194304 >> 15 !== -128) { 
  throw new Test262Error('#503: -4194304 >> 15 === -128. Actual: ' + (-4194304 >> 15)); 
} 


if (-8388608 >> 15 !== -256) { 
  throw new Test262Error('#504: -8388608 >> 15 === -256. Actual: ' + (-8388608 >> 15)); 
} 


if (-16777216 >> 15 !== -512) { 
  throw new Test262Error('#505: -16777216 >> 15 === -512. Actual: ' + (-16777216 >> 15)); 
} 


if (-33554432 >> 15 !== -1024) { 
  throw new Test262Error('#506: -33554432 >> 15 === -1024. Actual: ' + (-33554432 >> 15)); 
} 


if (-67108864 >> 15 !== -2048) { 
  throw new Test262Error('#507: -67108864 >> 15 === -2048. Actual: ' + (-67108864 >> 15)); 
} 


if (-134217728 >> 15 !== -4096) { 
  throw new Test262Error('#508: -134217728 >> 15 === -4096. Actual: ' + (-134217728 >> 15)); 
} 


if (-268435456 >> 15 !== -8192) { 
  throw new Test262Error('#509: -268435456 >> 15 === -8192. Actual: ' + (-268435456 >> 15)); 
} 


if (-536870912 >> 15 !== -16384) { 
  throw new Test262Error('#510: -536870912 >> 15 === -16384. Actual: ' + (-536870912 >> 15)); 
} 


if (-1073741824 >> 15 !== -32768) { 
  throw new Test262Error('#511: -1073741824 >> 15 === -32768. Actual: ' + (-1073741824 >> 15)); 
} 


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