michael@0: // Copyright 2009 the Sputnik authors.  All rights reserved.
michael@0: // This code is governed by the BSD license found in the LICENSE file.
michael@0: 
michael@0: /**
michael@0:  * Operator x >> y uses ToUint32(AdditiveExpression) & 31
michael@0:  *
michael@0:  * @path ch11/11.7/11.7.2/S11.7.2_A5.2_T1.js
michael@0:  * @description Checking distinct points
michael@0:  */
michael@0: 
michael@0: //CHECK#1
michael@0: if (2147483647 >> -32.1 !== 2147483647) { 
michael@0:   $ERROR('#1: 2147483647 >> -32.1 === 2147483647. Actual: ' + (2147483647 >> -32.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#2
michael@0: if (2147483647 >> -31.1 !== 1073741823) { 
michael@0:   $ERROR('#2: 2147483647 >> -31.1 === 1073741823. Actual: ' + (2147483647 >> -31.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#3
michael@0: if (2147483647 >> -30.1 !== 536870911) { 
michael@0:   $ERROR('#3: 2147483647 >> -30.1 === 536870911. Actual: ' + (2147483647 >> -30.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#4
michael@0: if (2147483647 >> -29.1 !== 268435455) { 
michael@0:   $ERROR('#4: 2147483647 >> -29.1 === 268435455. Actual: ' + (2147483647 >> -29.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#5
michael@0: if (2147483647 >> -28.1 !== 134217727) { 
michael@0:   $ERROR('#5: 2147483647 >> -28.1 === 134217727. Actual: ' + (2147483647 >> -28.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#6
michael@0: if (2147483647 >> -27.1 !== 67108863) { 
michael@0:   $ERROR('#6: 2147483647 >> -27.1 === 67108863. Actual: ' + (2147483647 >> -27.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#7
michael@0: if (2147483647 >> -26.1 !== 33554431) { 
michael@0:   $ERROR('#7: 2147483647 >> -26.1 === 33554431. Actual: ' + (2147483647 >> -26.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#8
michael@0: if (2147483647 >> -25.1 !== 16777215) { 
michael@0:   $ERROR('#8: 2147483647 >> -25.1 === 16777215. Actual: ' + (2147483647 >> -25.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#9
michael@0: if (2147483647 >> -24.1 !== 8388607) { 
michael@0:   $ERROR('#9: 2147483647 >> -24.1 === 8388607. Actual: ' + (2147483647 >> -24.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#10
michael@0: if (2147483647 >> -23.1 !== 4194303) { 
michael@0:   $ERROR('#10: 2147483647 >> -23.1 === 4194303. Actual: ' + (2147483647 >> -23.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#11
michael@0: if (2147483647 >> -22.1 !== 2097151) { 
michael@0:   $ERROR('#11: 2147483647 >> -22.1 === 2097151. Actual: ' + (2147483647 >> -22.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#12
michael@0: if (2147483647 >> -21.1 !== 1048575) { 
michael@0:   $ERROR('#12: 2147483647 >> -21.1 === 1048575. Actual: ' + (2147483647 >> -21.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#13
michael@0: if (2147483647 >> -20.1 !== 524287) { 
michael@0:   $ERROR('#13: 2147483647 >> -20.1 === 524287. Actual: ' + (2147483647 >> -20.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#14
michael@0: if (2147483647 >> -19.1 !== 262143) { 
michael@0:   $ERROR('#14: 2147483647 >> -19.1 === 262143. Actual: ' + (2147483647 >> -19.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#15
michael@0: if (2147483647 >> -18.1 !== 131071) { 
michael@0:   $ERROR('#15: 2147483647 >> -18.1 === 131071. Actual: ' + (2147483647 >> -18.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#16
michael@0: if (2147483647 >> -17.1 !== 65535) { 
michael@0:   $ERROR('#16: 2147483647 >> -17.1 === 65535. Actual: ' + (2147483647 >> -17.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#17
michael@0: if (2147483647 >> -16.1 !== 32767) { 
michael@0:   $ERROR('#17: 2147483647 >> -16.1 === 32767. Actual: ' + (2147483647 >> -16.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#18
michael@0: if (2147483647 >> -15.1 !== 16383) { 
michael@0:   $ERROR('#18: 2147483647 >> -15.1 === 16383. Actual: ' + (2147483647 >> -15.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#19
michael@0: if (2147483647 >> -14.1 !== 8191) { 
michael@0:   $ERROR('#19: 2147483647 >> -14.1 === 8191. Actual: ' + (2147483647 >> -14.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#20
michael@0: if (2147483647 >> -13.1 !== 4095) { 
michael@0:   $ERROR('#20: 2147483647 >> -13.1 === 4095. Actual: ' + (2147483647 >> -13.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#21
michael@0: if (2147483647 >> -12.1 !== 2047) { 
michael@0:   $ERROR('#21: 2147483647 >> -12.1 === 2047. Actual: ' + (2147483647 >> -12.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#22
michael@0: if (2147483647 >> -11.1 !== 1023) { 
michael@0:   $ERROR('#22: 2147483647 >> -11.1 === 1023. Actual: ' + (2147483647 >> -11.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#23
michael@0: if (2147483647 >> -10.1 !== 511) { 
michael@0:   $ERROR('#23: 2147483647 >> -10.1 === 511. Actual: ' + (2147483647 >> -10.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#24
michael@0: if (2147483647 >> -9.1 !== 255) { 
michael@0:   $ERROR('#24: 2147483647 >> -9.1 === 255. Actual: ' + (2147483647 >> -9.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#25
michael@0: if (2147483647 >> -8.1 !== 127) { 
michael@0:   $ERROR('#25: 2147483647 >> -8.1 === 127. Actual: ' + (2147483647 >> -8.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#26
michael@0: if (2147483647 >> -7.1 !== 63) { 
michael@0:   $ERROR('#26: 2147483647 >> -7.1 === 63. Actual: ' + (2147483647 >> -7.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#27
michael@0: if (2147483647 >> -6.1 !== 31) { 
michael@0:   $ERROR('#27: 2147483647 >> -6.1 === 31. Actual: ' + (2147483647 >> -6.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#28
michael@0: if (2147483647 >> -5.1 !== 15) { 
michael@0:   $ERROR('#28: 2147483647 >> -5.1 === 15. Actual: ' + (2147483647 >> -5.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#29
michael@0: if (2147483647 >> -4.1 !== 7) { 
michael@0:   $ERROR('#29: 2147483647 >> -4.1 === 7. Actual: ' + (2147483647 >> -4.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#30
michael@0: if (2147483647 >> -3.1 !== 3) { 
michael@0:   $ERROR('#30: 2147483647 >> -3.1 === 3. Actual: ' + (2147483647 >> -3.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#31
michael@0: if (2147483647 >> -2.1 !== 1) { 
michael@0:   $ERROR('#31: 2147483647 >> -2.1 === 1. Actual: ' + (2147483647 >> -2.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#32
michael@0: if (2147483647 >> -1.1 !== 0) { 
michael@0:   $ERROR('#32: 2147483647 >> -1.1 === 0. Actual: ' + (2147483647 >> -1.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#33
michael@0: if (2147483647 >> 32.1 !== 2147483647) { 
michael@0:   $ERROR('#33: 2147483647 >> 32.1 === 2147483647. Actual: ' + (2147483647 >> 32.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#34
michael@0: if (2147483647 >> 33.1 !== 1073741823) { 
michael@0:   $ERROR('#34: 2147483647 >> 33.1 === 1073741823. Actual: ' + (2147483647 >> 33.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#35
michael@0: if (2147483647 >> 34.1 !== 536870911) { 
michael@0:   $ERROR('#35: 2147483647 >> 34.1 === 536870911. Actual: ' + (2147483647 >> 34.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#36
michael@0: if (2147483647 >> 35.1 !== 268435455) { 
michael@0:   $ERROR('#36: 2147483647 >> 35.1 === 268435455. Actual: ' + (2147483647 >> 35.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#37
michael@0: if (2147483647 >> 36.1 !== 134217727) { 
michael@0:   $ERROR('#37: 2147483647 >> 36.1 === 134217727. Actual: ' + (2147483647 >> 36.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#38
michael@0: if (2147483647 >> 37.1 !== 67108863) { 
michael@0:   $ERROR('#38: 2147483647 >> 37.1 === 67108863. Actual: ' + (2147483647 >> 37.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#39
michael@0: if (2147483647 >> 38.1 !== 33554431) { 
michael@0:   $ERROR('#39: 2147483647 >> 38.1 === 33554431. Actual: ' + (2147483647 >> 38.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#40
michael@0: if (2147483647 >> 39.1 !== 16777215) { 
michael@0:   $ERROR('#40: 2147483647 >> 39.1 === 16777215. Actual: ' + (2147483647 >> 39.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#41
michael@0: if (2147483647 >> 40.1 !== 8388607) { 
michael@0:   $ERROR('#41: 2147483647 >> 40.1 === 8388607. Actual: ' + (2147483647 >> 40.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#42
michael@0: if (2147483647 >> 41.1 !== 4194303) { 
michael@0:   $ERROR('#42: 2147483647 >> 41.1 === 4194303. Actual: ' + (2147483647 >> 41.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#43
michael@0: if (2147483647 >> 42.1 !== 2097151) { 
michael@0:   $ERROR('#43: 2147483647 >> 42.1 === 2097151. Actual: ' + (2147483647 >> 42.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#44
michael@0: if (2147483647 >> 43.1 !== 1048575) { 
michael@0:   $ERROR('#44: 2147483647 >> 43.1 === 1048575. Actual: ' + (2147483647 >> 43.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#45
michael@0: if (2147483647 >> 44.1 !== 524287) { 
michael@0:   $ERROR('#45: 2147483647 >> 44.1 === 524287. Actual: ' + (2147483647 >> 44.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#46
michael@0: if (2147483647 >> 45.1 !== 262143) { 
michael@0:   $ERROR('#46: 2147483647 >> 45.1 === 262143. Actual: ' + (2147483647 >> 45.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#47
michael@0: if (2147483647 >> 46.1 !== 131071) { 
michael@0:   $ERROR('#47: 2147483647 >> 46.1 === 131071. Actual: ' + (2147483647 >> 46.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#48
michael@0: if (2147483647 >> 47.1 !== 65535) { 
michael@0:   $ERROR('#48: 2147483647 >> 47.1 === 65535. Actual: ' + (2147483647 >> 47.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#49
michael@0: if (2147483647 >> 48.1 !== 32767) { 
michael@0:   $ERROR('#49: 2147483647 >> 48.1 === 32767. Actual: ' + (2147483647 >> 48.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#50
michael@0: if (2147483647 >> 49.1 !== 16383) { 
michael@0:   $ERROR('#50: 2147483647 >> 49.1 === 16383. Actual: ' + (2147483647 >> 49.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#51
michael@0: if (2147483647 >> 50.1 !== 8191) { 
michael@0:   $ERROR('#51: 2147483647 >> 50.1 === 8191. Actual: ' + (2147483647 >> 50.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#52
michael@0: if (2147483647 >> 51.1 !== 4095) { 
michael@0:   $ERROR('#52: 2147483647 >> 51.1 === 4095. Actual: ' + (2147483647 >> 51.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#53
michael@0: if (2147483647 >> 52.1 !== 2047) { 
michael@0:   $ERROR('#53: 2147483647 >> 52.1 === 2047. Actual: ' + (2147483647 >> 52.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#54
michael@0: if (2147483647 >> 53.1 !== 1023) { 
michael@0:   $ERROR('#54: 2147483647 >> 53.1 === 1023. Actual: ' + (2147483647 >> 53.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#55
michael@0: if (2147483647 >> 54.1 !== 511) { 
michael@0:   $ERROR('#55: 2147483647 >> 54.1 === 511. Actual: ' + (2147483647 >> 54.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#56
michael@0: if (2147483647 >> 55.1 !== 255) { 
michael@0:   $ERROR('#56: 2147483647 >> 55.1 === 255. Actual: ' + (2147483647 >> 55.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#57
michael@0: if (2147483647 >> 56.1 !== 127) { 
michael@0:   $ERROR('#57: 2147483647 >> 56.1 === 127. Actual: ' + (2147483647 >> 56.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#58
michael@0: if (2147483647 >> 57.1 !== 63) { 
michael@0:   $ERROR('#58: 2147483647 >> 57.1 === 63. Actual: ' + (2147483647 >> 57.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#59
michael@0: if (2147483647 >> 58.1 !== 31) { 
michael@0:   $ERROR('#59: 2147483647 >> 58.1 === 31. Actual: ' + (2147483647 >> 58.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#60
michael@0: if (2147483647 >> 59.1 !== 15) { 
michael@0:   $ERROR('#60: 2147483647 >> 59.1 === 15. Actual: ' + (2147483647 >> 59.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#61
michael@0: if (2147483647 >> 60.1 !== 7) { 
michael@0:   $ERROR('#61: 2147483647 >> 60.1 === 7. Actual: ' + (2147483647 >> 60.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#62
michael@0: if (2147483647 >> 61.1 !== 3) { 
michael@0:   $ERROR('#62: 2147483647 >> 61.1 === 3. Actual: ' + (2147483647 >> 61.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#63
michael@0: if (2147483647 >> 62.1 !== 1) { 
michael@0:   $ERROR('#63: 2147483647 >> 62.1 === 1. Actual: ' + (2147483647 >> 62.1)); 
michael@0: } 
michael@0: 
michael@0: //CHECK#64
michael@0: if (2147483647 >> 63.1 !== 0) { 
michael@0:   $ERROR('#64: 2147483647 >> 63.1 === 0. Actual: ' + (2147483647 >> 63.1)); 
michael@0: } 
michael@0: