blob: 4640af15d2ca2aabe3e823a0c56606c902755c10 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
// Copyright 2009 the Sputnik authors. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/**
* @name: S9.6_A2.1;
* @section: 9.6, 11.7.3;
* @assertion: ToUint32 returns values between 0 and 2^32-1;
* @description: Converting numbers, which are in\outside of Uint32 scopes, with >>>0 operator;
*/
// CHECK#1
if ((0 >>> 0) !== 0) {
$ERROR('#1: (0 >>> 0) === 0. Actual: ' + ((0 >>> 0)));
}
// CHECK#2
if ((1 >>> 0) !== 1) {
$ERROR('#2: (1 >>> 0) === 1. Actual: ' + ((1 >>> 0)));
}
// CHECK#3
if ((-1 >>> 0) !== 4294967295) {
$ERROR('#3: (-1 >>> 0) === 4294967295. Actual: ' + ((-1 >>> 0)));
}
// CHECK#4
if ((4294967295 >>> 0) !== 4294967295) {
$ERROR('#4: (4294967295 >>> 0) === 4294967295. Actual: ' + ((4294967295 >>> 0)));
}
// CHECK#5
if ((4294967294 >>> 0) !== 4294967294) {
$ERROR('#5: (4294967294 >>> 0) === 4294967294. Actual: ' + ((4294967294 >>> 0)));
}
// CHECK#6
if ((4294967296 >>> 0) !== 0) {
$ERROR('#6: (4294967296 >>> 0) === 0. Actual: ' + ((4294967296 >>> 0)));
}
|
