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:  * Compute result modulo 2^32
michael@0:  *
michael@0:  * @path ch09/9.6/S9.6_A2.2.js
michael@0:  * @description Use operator >>>0
michael@0:  */
michael@0: 
michael@0: // CHECK#1
michael@0: if ((-2147483647 >>> 0) !== 2147483649) {
michael@0:   $ERROR('#1: (-2147483647 >>> 0) === 2147483649. Actual: ' + ((-2147483647 >>> 0)));
michael@0: }
michael@0: 
michael@0: // CHECK#2
michael@0: if ((-2147483648 >>> 0) !== 2147483648) {
michael@0:   $ERROR('#2: (-2147483648 >>> 0) === 2147483648. Actual: ' + ((-2147483648 >>> 0)));
michael@0: }
michael@0: 
michael@0: // CHECK#3
michael@0: if ((-2147483649 >>> 0) !== 2147483647) {
michael@0:   $ERROR('#3: (-2147483649 >>> 0) === 2147483647. Actual: ' + ((-2147483649 >>> 0)));
michael@0: }
michael@0: 
michael@0: // CHECK#4
michael@0: if ((-4294967295 >>> 0) !== 1) {
michael@0:   $ERROR('#4: (-4294967295 >>> 0) === 1. Actual: ' + ((-4294967295 >>> 0)));
michael@0: }
michael@0: 
michael@0: // CHECK#5
michael@0: if ((-4294967296 >>> 0) !== 0) {
michael@0:   $ERROR('#5: (-4294967296 >>> 0) === 0. Actual: ' + ((-4294967296 >>> 0)));
michael@0: }
michael@0: 
michael@0: // CHECK#6
michael@0: if ((-4294967297 >>> 0) !== 4294967295) {
michael@0:   $ERROR('#6: (-4294967297 >>> 0) === 4294967295. Actual: ' + ((-4294967297 >>> 0)));
michael@0: }
michael@0: 
michael@0: // CHECK#7
michael@0: if ((4294967295 >>> 0) !== 4294967295) {
michael@0:   $ERROR('#7: (4294967295 >>> 0) === 4294967295. Actual: ' + ((4294967295 >>> 0)));
michael@0: }
michael@0: 
michael@0: // CHECK#8
michael@0: if ((4294967296 >>> 0) !== 0) {
michael@0:   $ERROR('#8: (4294967296 >>> 0) === 0. Actual: ' + ((4294967296 >>> 0)));
michael@0: }
michael@0: 
michael@0: // CHECK#9
michael@0: if ((4294967297 >>> 0) !== 1) {
michael@0:   $ERROR('#9: (4294967297 >>> 0) === 1. Actual: ' + ((4294967297 >>> 0)));
michael@0: }
michael@0: 
michael@0: // CHECK#10
michael@0: if ((8589934591 >>> 0) !== 4294967295) {
michael@0:   $ERROR('#10: (8589934591 >>> 0) === 4294967295. Actual: ' + ((8589934591 >>> 0)));
michael@0: }
michael@0: 
michael@0: // CHECK#11
michael@0: if ((8589934592 >>> 0) !== 0) {
michael@0:   $ERROR('#11: (8589934592 >>> 0) === 0. Actual: ' + ((8589934592 >>> 0)));
michael@0: }
michael@0: 
michael@0: // CHECK#12
michael@0: if ((8589934593 >>> 0) !== 1) {
michael@0:   $ERROR('#12: (8589934593 >>> 0) === 1. Actual: ' + ((8589934593 >>> 0)));
michael@0: }
michael@0: